CH

CIRISHolon Unified Studio

STO-3G Physics · Stratified QVM · Live Retract Bridge
DISCOVER:
READY t = 0.0 a.u.
Touch atom to drag spring · 2-finger pinch zoom · Orbit in 3D
Live Physics & Environment Controls
QUICK TEMPERATURE:
QUICK SIM SPEED:
dt × 1.0
Periodic Palette · H…Ne STO-3G Computed
Selected Species
H (1H)
Atomic Number (Z)
1
Mass
1837.2 mₑ
Drawn Radius
0.529 a₀
Solver Route
FCI Exact
Conservation Gates (1 & 2)
E-GATE: — P-GATE: —
Ekin
—
Epair
—
Ethree
—
Ewall
—
Espring
—
Wext (hand)
—
E − Wext (Ledger)
—
Peak Drift
—
Drift Bound (ω·dt)²/4
—
Drift / Bound: — Momentum Residual: —
Exact STO-3G Potential U(R) & Clocks EXACT
Current Sep (R)
—
Relative Energy
—
Outer Turning Pt
—
Physics dt
—
Reference dt
—
Vibration Period
—
Holon Census (Composite Layer) 0 Molecules
Micro (Atoms)
—
Candidate Evals
—
Formations
—
Dissolutions
—
Closure Rejections
—
Bond Sector Energy
—
PRESET:
INSERT GATE:
TIER ROUTER: STATEVECTOR (2^N)
2 Qubits · 4 Gates · T-count: 0
QVM Execution Engine Status CONVERGED
Routing Tier
Statevector Exact
Complexity
O(2ᴺ) carrier
Hilbert Space Dim
4
State Purity Tr(ρ²)
1.000000
Von Neumann Entropy
0.0000 bit
Retract Status
Closed
Interactive ZX-Calculus Spider Diagram T-count: 0 → 0
Z-Spiders (Green)
0
X-Spiders (Red)
0
Hadamard Edges
0
T-Count Before/After
0 / 0
Gate Reduction
0%
Exact Global Phase
ω⁰ (+1)
Selected Micro / Bond Subsystem H₂ BOND (0-1)
Bond Separation R
1.4010 a₀
Equilibrium Rₑ
1.4010 a₀
Bond Energy E_bond
-0.1652 Eh
Well Depth Dₑ
0.1652 Eh
Pair Rel Velocity
0.0000 a.u.
Outer Turning Point
3.2450 a₀
Quantum FCI / MPS Statevector & Spin Sector ⟨S²⟩ = 0.000 (Singlet)
|1σg²⟩ (|00⟩)
0.9930
Prob: 98.6% · Singlet
|1σu²⟩ (|11⟩)
-0.1181
Prob: 1.4% · Antibonding
|σg σu⟩ (open)
0.0000
Prob: 0.0% · Singlet S=0
MPS Bond (χ=2)
λ₀=0.993, λ₁=0.118
Entanglement S: 0.10
Spin Sector ⟨S²⟩
0.00000
Total Spin S
0.0 (Singlet)
Magnetic Sz
0.0000
Bonding Occup n_σg
1.972
Antibonding n_σu
0.028
Heitler-London Covalent
99.3%
Holon Commuting Square Telemetry (OBJECT.md) CLOSED (v∘T = h∘v)
Micro State X(t)
─── Verlet Step T ───▶
Micro State X(t+dt)
▼ View v ▼ View v
Coarse Holon C(t)
─── Holon Step h ───▶
Coarse Holon C(t+dt)
Closure Defect δ = 2.4e-6 < 0.01 · Condition Number κ = 1.02
Closure Defect (δ)
2.41e-6
Defect Max Bound
1.00e-2
Condition Number (κ)
1.024
Chart Coherence
0.976
Maintenance Rent (W*)
4.18e-5 Eh/s
Retention Fixed Pt G∞
0.9998
Born Measurement Live Histogram
Sampled Shots
0
Empirical Fidelity
100.0%
Sampling Mode
Exact + Monte Carlo
Most Probable State
|00⟩

Deep Theory & Lean 4 Proofs

1. The Commuting Square Contract (lean/CIRISHolon/Object.lean)

A tier is a Closed view of the micro-state below: Closed v T ≔ ∃ h, v ∘ T = h ∘ v. Failure has a normal form: a view fails closure if and only if there exist micro-states it cannot distinguish that the motion sends to distinguishable coarse readings (a witness pair).

2. Quantum Retract Relation (BornView.lean, Stabilizer.lean)

The quantum-classical bridge is the retract: classical basis states embed diagonally, and Born readout is closed under classical operations. Coherence is the exact boundary where the classical tier ends: diag_not_closed_under_coherence proves why superposition requires stratified quantum carriers.

3. Chart Conditioning & Coherence (sum_perturb_le)

A signed aggregate amplifies per-term perturbations by condition number κ = 1 / coherence. During thermalization, signed momentum charts exhibit coherence decay (e.g. 0.998 → 0.125), while non-negative charts remain exactly 1.0.

4. Maintenance Rent Law (Rent.lean: Wstar, Ginf)

Structure retention under decay rate λ and dose q converges to fixed point G∞ = q / ((1 - λ) + q·λ). Maintaining autonomous composite holons against kinetic noise requires active work flow W*.