Cross-domain validation dossier

From Fundamental Shape to Quantum Error Correction#

A component-by-component test of whether the frozen Shape carries independent engineering information#

Integrated from Shape V8.1, the current GUT authority, and the current Quantum engineering bridge - 2026-08-06

1. The experiment we actually want to run#

Executive thesis#

The central experiment is deliberately simple. The physics program has already committed a typed Shape: a Stage, a Rulebook, Actors, Co-Actors, invariant class relations, and a full-precision 13D instance. Instead of tuning that Shape to a quantum-computing benchmark, this dossier freezes it and asks what happens when a compiler is required to consume every component while constructing a fault-tolerant logical memory and its supporting control architecture.

The proposed evidence is not that the Shape uniquely forces a code. Uniqueness is unnecessary. A bridge beam is load-bearing if removing it changes what the structure can carry after the remaining structure has been allowed to settle. The analogous test here is ablate -> legally re-optimize -> measure -> restore. A component earns a load-bearing label only if its removal causes the preregistered failure signature, the loss survives legal re-optimization, and restoring the original component restores the capability. If a substitute geometry recovers the capability, the component is load-bearing but not unique. If nothing changes, it is redundant at the tested scope.

The existing source corpus is especially useful because it already contains a no-feedback firewall: the quantum-computing numbers are external/simulated and may not feed back into GUT gate statuses or geometry selection. That separation is not an inconvenience; it is what makes a prospective cross-domain test interpretable. The engineering bridge cannot have been used to choose the physics answer if the freeze and hash chronology are respected.

QuestionWhat counts as a positive result?What does not count?
Is Shape used?The compiler consumes a named Shape object and its output changes when that object changes.A paragraph that merely analogizes a geometry term to a coding term.
Is it load-bearing?Ablation causes a preregistered loss that survives equal re-optimization; restoration reverses the loss.Deleting a module and observing that software crashes.
Is the particular 13D component special?Strong substitutes fail to recover the same Pareto combination or require materially more complexity.Beating a deliberately weak baseline.
Does this prove fundamental correctness?No single engineering test can. It adds independent consilience evidence.Calling a simulated code a proof of a GUT.

Source freeze and reproducibility#

AuthoritySHA-256Use in this dossier
Shape V8.1 package32a9b6de405da319710fbef60a9876ca22b0abe5cbb5e0a6f88a249368c470d9Universal Stage/Rulebook/Actor/Co-Actor ontology and registries
Current GUT.mdf1fb418c93f004afac1d307ee585a5b1390949d84e3496df77353ecaba89e658Full-precision 13D instance, term dossiers, Standard-Model and flavor reconstruction
Current Quantum paperc3215ce154c294c6d0f2a2efdc8e440271aefa1fe96bc1a79e9d0996f5b07d63Existing engineering-bridge claim boundary and legacy simulated QC metrics

2. Quantum-error-correction target and common mathematical language#

1.1 Minimal quantum-error-correction language#

A quantum error-correcting code is a protected subspace (or subsystem) of a larger physical Hilbert space. In stabilizer language, commuting observables define the code by a simultaneous eigenspace. If the stabilizer generators are S_i, the ideal projector onto the +1 code sector is

P_{\mathcal C}=\prod_{i=1}^{r}\frac{I+S_i}{2},\qquad [S_i,S_j]=0.

This equation is the most direct external analogue of the existing engineering bridge in the GUT/Quantum corpus: admit one eigenspace, reject the rest. It is standard stabilizer-code mathematics, not a new physics claim. The bridge is interesting only because the same operation appears upstream as an admissibility/chamber operation on the frozen Shape.

For a correctable error set {E_a}, the Knill-Laflamme condition can be written

P_{\mathcal C}E_a^{\dagger}E_bP_{\mathcal C}=c_{ab}P_{\mathcal C}.

The design problem is therefore naturally a typed one: define a support, define allowed operators, define the protected sector, define the error complement, and define a recovery map. Those five jobs align closely with Stage, Rulebook, Actors, Co-Actors, and Dynamics without requiring the claim that the two theories are identical.

1.2 Exact micro-certificate: the projector really is an admissibility operation#

As a sanity check, consider the three-qubit repetition-code stabilizers S_1=Z_1Z_2 and S_2=Z_2Z_3. The projector

2026-08-07T01:36:40.144697 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

has P^2=P exactly and trace(P)=2, so it admits a two-dimensional code sector and annihilates the orthogonal syndrome sectors. The numerical check used while assembling this dossier returned an idempotence residual of 0.0 at machine precision and trace 2.0. This is not evidence for the 13D geometry; it is the exact coding operation that makes the chamber translation mathematically concrete.

1.3 Target engineering gate#

The worked engineering gate used throughout the dossier is QC-G1: protected logical memory under realistic error channels with minimum total implementation cost. The gate is intentionally narrower than "build a universal quantum computer." A candidate must specify the protected subspace, syndrome/error complement, allowed couplings, boundary/control interfaces, recovery/decoder interface, and a resource ledger. Later logical gates are treated as a downstream extension.

Gate fieldBinding requirement
InputFrozen Shape plus externally declared hardware/noise model.
OutputA complete memory architecture and code projector with recovery interface.
Primary scoreLogical failure probability at fixed physical error model and fixed total resource ledger.
Secondary scoresPhysical/logical overhead, check weight, connectivity, circuit depth, decoder cost, leakage, correlated-fault sensitivity, fabrication tolerance.
Anti-fitting ruleNo Shape term, tensor, error model, or objective may be changed after held-out benchmark results are read.
Load-bearing testAblate one Shape component, fully re-optimize under identical permissions, compare, restore.

3. Compiler architecture: how every Shape component is allowed to matter#

2.1 The Shape-to-QEC compiler contract#

The compiler is not allowed to treat "13D" as a magic scalar. It must consume the typed content. Its output is a code/architecture tuple

\mathfrak Q=\big(\mathcal H_{\rm phys},\;\mathcal S,\;P_{\mathcal C},\;\mathcal E,\;\mathcal R,\;\mathcal G,\;\mathcal B,\;\mathcal D\big),

where H_phys is the physical Hilbert space, S the stabilizer or constraint algebra, P_C the protected-space projector, E the error set, R the recovery interface, G the interaction/connectivity graph, B the boundary/control interface, and D the decoder/dynamics contract. Every output field must name which Shape rows constrained it.

Shape objectCompiler consumption ruleQuantum design object
Stage support/topologyDefine where degrees of freedom and checks may live; preserve quotient/boundary incidence.Physical support graph/cell complex and boundary types
Stage automorphismsIdentify physically equivalent placements and symmetry orbits.Symmetry-reduced search and repeated code cells
Rulebook admissibilityConvert allowed/forbidden sectors into algebraic constraints.Code projector, check algebra, forbidden coupling list
Finite F+ chamberProvide finite sector basis, projectors, order-three structure and phase data.Finite logical-sector routing and phase schedule
ActorsAssign independent ownership of information carriers, couplers, protected transformations, and safety projectors.Data modes, syndrome/control modes, logical gate actor, firewall actor
Co-ActorsInstantiate complements and falsifiers of each Actor clause.Error alphabet, leakage classes, correlated faults, invalid architectures
RigidityTest whether the selected design is isolated/robust under allowed deformations.Sensitivity Jacobian and perturbation margin
InterdependencePropagate an upstream Shape change through every dependent design object.Mandatory recompile/re-evaluate graph

2.2 Nature-derived tensors enter after the Shape, not instead of it#

The user-defined design workflow adds another independent source of constraint. For each engineering challenge, identify several natural systems that solve an analogous functional problem, abstract the common mechanism, represent it as a tensor/constraint, and search only inside the reduced admissible space. The tensor is not allowed to overwrite Shape; it is attached to the relevant Stage/Rulebook/Actor slots.

\Omega_{j+1}=\{x\in\Omega_j:\;C_j(x)=0,\;A_j(x)\succeq0,\;L_j(x)\le L_{\max}\}.

Examples include a locality tensor L_ij for wiring cost, an error-covariance tensor C_ij for correlated noise, a propagation tensor G^k_ij for fault spread, a redundancy/incidence tensor B for alternate recovery paths, and a projector P_adm for admissible states or architectures. These are engineering constraints. Their role is to reduce the search space, while the Shape supplies the structural coordinate system in which they are placed.

4. Observer spacetime M4 - causal support, not a decorative prefactor#

SOURCE-CONFIRMED / QC-DESIGN-COMMITMENTAuthority: shape/01_CORE/01_STAGE/stage.md - S-01, S-21; assumptions ledger A-08

Physics function#

Shape V8.1 defines M4 as the four-dimensional Lorentzian comparison surface with dynamic metric g_mu_nu(x). It owns local causal support and the dimensional surface on which records are compared; it does not own the dynamics or the measurement map. In the physics program this prevents raw internal or 13D objects from being compared directly with a four-dimensional observable without a declared projection.

X_{13}=\mathcal M_4\times K_6\times S^2\times I_Y
\text{comparison tuple}=(d_{\rm theory},d_{\rm observer},\text{frame},\text{projection},\text{normalization})

Worked physics example#

The SG-8 history recorded in the project assumptions ledger is the canonical same-ruler example: a raw 13D flavor amplitude was initially compared directly with a one-chamber 4D running mass. The repair was not to dissolve the measured quark mass; it was to supply the missing 13D-to-4D projection coefficient. This shows why observer support is a real structural field rather than prose.

Quantum-design consumption#

In QC-G1, M4 is consumed as the rule that hardware operations must admit a causal scheduling and locality interpretation. The compiler may use nonlocal graph edges only if the hardware model explicitly pays for transport/coupler resources and timing. The Shape does not forbid abstract nonlocal codes; it forbids hiding the physical realization cost.

Load-bearing intervention#

StepOperation
AblateRemove the causal/support requirement while leaving the graph-search objective unchanged. Allow nonlocal checks to be cost-free.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreReinstate M4 support and its same-ruler resource accounting; recompile the same candidate set.
FalsifierIf the optimized architecture, total resource ledger, and causal schedule are unchanged across realistic locality-constrained hardware models, M4 has not been shown load-bearing for QC-G1.

Required cross-layer dependencies#

5. K6 = SU(3)/T2 - the strongest direct geometric bridge#

EXISTING QC BRIDGE + SOURCE-CONFIRMED PHYSICSAuthority: GUT.md Appendix C2; shape Stage S-02, S-13, S-16, S-20

Physics function#

K6 is the six-dimensional complete flag manifold SU(3)/T^2. In the current physics construction it supplies the color/family carrier, the A2 root-plane tangent decomposition, the Weyl structure, a nontrivial cohomology shelf, and the spin-C family-index stage. Shape V8.1 freezes the isotropic metric point (u1,u2,u3)=(1,1,1), radius R6=R0, Euler characteristic 6, and exact normalized curvature invariants.

2026-08-07T01:36:40.246194 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:40.268272 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
TK_6=\mathfrak m_1\oplus\mathfrak m_2\oplus\mathfrak m_3
\operatorname{Ric}_i=\frac{5}{12},\quad \operatorname{Scal}=\frac52,\quad |\operatorname{Riem}|^2=\frac{23}{12}

Worked physics example#

The term dossier records that removing K6 simultaneously removes the internal stage for the SU(3) color carrier and detaches the topological family-count mechanism. The relevant line-bundle/spin-C index is recorded as -3 in the current GUT certificate chain. Importantly, the dossier does not claim K6 alone closes the Standard Model; it names the bundle and Rulebook dependencies separately.

Quantum-design consumption#

The existing engineering bridge already names K6 as part of the QC translation, so this component is not introduced after the fact for this dossier. The compiler uses three distinct K6 structures: (i) the six Weyl chambers/S3 action to define symmetry-equivalent routing sectors; (ii) the three A2 root planes to define three sparse interaction families; and (iii) the nontrivial topology/symmetry to restrict candidate code cells before numerical search.

Load-bearing intervention#

StepOperation
AblateReplace K6 by (a) CP^2=SU(3)/U(2), (b) a degree-matched random interaction graph with the same number of local resources, and (c) a K6 copy whose Weyl orbit labels are randomized so that S3 equivalence is unavailable. Keep all downstream optimization permissions equal.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the original K6 Weyl/root-plane incidence and rerun from the same frozen seeds.
FalsifierIf the same Pareto frontier is recovered with no increase in parameters, search evaluations, connectivity, or logical-failure rate under all three substitutions, K6 is not demonstrated load-bearing for the QEC design.

Required cross-layer dependencies#

6. S2 - weak-sector sphere as a paired representation/routing primitive#

SOURCE-CONFIRMED PHYSICS / PROSPECTIVE QC CONSUMPTIONAuthority: GUT.md Appendix C3; shape Stage S-03

Physics function#

The round two-sphere is the two-dimensional weak-sector carrier. Its rotational symmetry lifts to SU(2) on spinors; the Cartan generator supplies T3, and the bundle/monopole-sector structure distinguishes singlets from doublets. The term dossier makes the layer boundary explicit: the manifold is Stage, while the principal SU(2)L bundle and representation modules are Actor/tensor data.

S^2\cong SU(2)/U(1),\qquad \dim_{\mathbb R}S^2=2
2026-08-07T01:36:40.338081 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
3\left(\frac16\right)-\frac12=0

Worked physics example#

The worked Standard-Model example is the doublet/singlet routing. Q_L, L_L and the Higgs occupy weak-doublet sectors, while u_R, d_R and e_R are singlets. The mixed SU(2)^2-U(1) anomaly trace vanishes on one generation because 3(1/6)-1/2=0. The calculation does not prove the geometry, but it demonstrates that the sphere-associated representation structure is used quantitatively downstream.

Quantum-design consumption#

The QC compiler consumes the SU(2)-type structure as a paired complementary-channel primitive: a protected local cell has a two-component syndrome/control representation, while the three generators specify rotations among equivalent local bases. This is useful when an error mechanism is basis-dependent: the design is scored on performance across the SU(2)-related basis family rather than one hand-picked axis.

Load-bearing intervention#

StepOperation
AblateReplace the S2-derived covariance constraint with a single fixed-axis syndrome objective; separately replace S2 by a torus-like Abelian two-parameter control family.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the rotationally related doublet/covariance requirement and rerun.
FalsifierIf basis-robustness, syndrome overhead, and logical failure under rotated/biased noise are unchanged, S2 has not been shown to add independent engineering information.

Required cross-layer dependencies#

7. Parent circle S1Y - periodic phase and winding information#

SOURCE-CONFIRMED COVER / PROSPECTIVE QC CONSUMPTIONAuthority: shape Stage S-04, S-07, S-09; GUT Appendix C4

Physics function#

S1Y is the parent hypercharge cover. It carries a closed one-cycle before the Z2 quotient and is the natural home for periodic phase/winding data. Shape V8.1 carefully separates the cover from the active interval: importing a closed-cycle result into the quotient without parity and normalization conversion is forbidden.

2026-08-07T01:36:40.379490 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
U_{\gamma}=\mathcal P\exp\left(i\oint_{\gamma}A\right)

Worked physics example#

In the physics construction, the circle/cover structure is tied to the hypercharge presentation and to Wilson/holonomy data used elsewhere. The exact role depends on whether a statement is cover-level or quotient-level; the current Stage file explicitly forbids silently treating the active interval as if it retained the parent closed cycle.

Quantum-design consumption#

The QC compiler uses the parent-circle information only for operations that genuinely require a periodic control coordinate: phase-space cycles, cyclic syndrome schedules, or holonomic control loops. This is deliberately separated from the quotient/parity filter in the next chapter.

Load-bearing intervention#

StepOperation
AblateReplace the periodic coordinate by an unconstrained real parameter with no identified winding/cycle class, while leaving the optimizer free to tune the parameter.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the periodic identification and rerun the same gate-synthesis search.
FalsifierIf phase-gate robustness, control complexity, and sensitivity to drift are unchanged, the parent-cycle information is not load-bearing in the tested gate.

Required cross-layer dependencies#

8. IY = S1Y/Z2 and fixed strata - projection as a physical design operation#

SOURCE-CONFIRMED / HIGH-VALUE QC HYPOTHESISAuthority: shape Stage S-05, S-11, S-12, S-15; GUT Appendix C4 and Appendix E

Physics function#

The active orbifold interval is obtained by the reflection theta -> -theta. It has two fixed endpoints and no active closed one-cycle. In the physics chain, parity and boundary-domain data remove unwanted mirror modes and participate in the chirality certificate. This is one of the cleanest "geometry does work" examples because the quotient changes the allowed spectrum rather than merely renaming coordinates.

I_Y=S^1_Y/\mathbb Z_2\cong[0,\pi],\qquad \theta\mapsto-\theta
P_{\pm}=\frac12(I\pm\Pi),\qquad P_{\pm}^2=P_{\pm}
(n_L,n_R)=(3,0)\quad\text{(source certificate claim)}

Worked physics example#

The current chirality narrative combines the K6 index with the interval projection: the index counts three family copies and the boundary/parity projection removes the mirror. The two fixed strata F0 and Fpi carry opposite normal orientations and are therefore not interchangeable when operator domains or inflow terms are evaluated.

Quantum-design consumption#

In QC-G1, the quotient becomes an explicit leakage/error-sector projection rule. A parity operator Pi splits the local Hilbert space; the code admits the desired parity sector and treats the complement as a Co-Actor. Fixed strata become privileged syndrome/reset/control interfaces rather than additional data sites.

Load-bearing intervention#

StepOperation
AblateCompile the same local architecture on the unquotiented parent circle, keeping both parity sectors dynamically available, and separately compile a quotient where endpoint-specific controls are forbidden.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the quotient, the two fixed boundary types, and the parity projector.
FalsifierIf leakage, syndrome ambiguity, boundary-control cost, and logical failure do not worsen under equal re-optimization, the quotient/fixed-strata structure is not load-bearing for the engineering design.

Required cross-layer dependencies#

9. Product Stage X9/X13 and block metric - modular ownership without hidden cross-couplings#

SOURCE-CONFIRMED / QC-DESIGN-COMMITMENTAuthority: shape Stage S-06, S-08, S-14

Physics function#

The active internal Stage is X9=K6 x S2 x IY and the complete Stage is X13=M4 x X9. The frozen metric is block-product; undeclared external/internal mixed metric components and undeclared off-diagonal internal terms are outside the current physical Stage. This is a strong ownership statement: different structural jobs have distinct carriers, and cross-couplings must be declared rather than appearing implicitly.

X_9=K_6\times S^2\times I_Y,\qquad X_{13}=\mathcal M_4\times X_9
2026-08-07T01:36:40.464989 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

Worked physics example#

In the physics model, this factorization keeps the color/family, weak, and hypercharge/chirality jobs distinct while still allowing them to meet through the Rulebook and bundle Actors. The term dossiers explicitly reject the idea that one carrier can be silently used as another.

Quantum-design consumption#

The QEC compiler uses the same principle as modular architectural factorization: inner bosonic protection, finite chamber selection, topological outer protection, and modular scaling are typed as different modules with explicit interfaces. A coupling between modules is charged as an interface Actor rather than hidden inside one module's local cost.

Load-bearing intervention#

StepOperation
AblateAllow arbitrary cross-module couplings at zero ownership cost and permit the optimizer to merge modules freely.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore typed module boundaries and require every cross-module interaction to have an Actor, support, and resource cost.
FalsifierIf the same design and resource count survive with or without typed factorization, the block-product architecture is not load-bearing at the tested engineering scope.

Required cross-layer dependencies#

10. A2 root-plane decomposition - three structured coupling families#

SOURCE-CONFIRMED / PROSPECTIVE QC CONSUMPTIONAuthority: shape Stage S-13; GUT Appendix A1/C2

Physics function#

At the homogeneous level, the tangent space of K6 decomposes into three real two-planes associated with the three positive A2 roots. Shape V8.1 identifies this as the complete homogeneous metric-extension basis and uses it in the rigidity calculation. It is therefore more detailed than merely saying "there is an SU(3) symmetry."

TK_6=\mathfrak m_{\alpha_1}\oplus\mathfrak m_{\alpha_2}\oplus\mathfrak m_{\alpha_1+\alpha_2}
\alpha_1+\alpha_2-\alpha_3=0\quad\text{(A2 root relation, schematic)}

Worked physics example#

The physics use is the allowed homogeneous deformation/coupling basis: changing the three root-plane scales spans the current invariant metric deformation space, and the exact Shape constraint system subsequently removes the physical tangent directions at the frozen point.

Quantum-design consumption#

The QC compiler treats the three root-plane families as a sparse interaction template. Rather than searching all pairwise couplings among local degrees of freedom, candidate checks/couplers are assigned to one of three symmetry-related interaction families. This reduces the topology search while retaining enough noncommutativity to mix sectors.

Load-bearing intervention#

StepOperation
AblateRandomize the root-family incidence while preserving degree, number of vertices, and total edge count.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the A2 incidence relations.
FalsifierIf random incidence performs identically across the preregistered metric vector, the root-plane structure is not load-bearing; a raw reduction in search size alone is not enough unless it preserves or improves the held-out Pareto frontier.

Required cross-layer dependencies#

11. Topology, cohomology and automorphisms - the part QEC already knows can be physical#

SOURCE-CONFIRMED + EXTERNALLY ESTABLISHED QEC MECHANISMAuthority: shape Stage S-16, S-17; GUT geometry primer; standard surface-code literature

Physics function#

The Shape Stage carries exact topology and cohomology information, including the Poincare polynomial and Betti numbers of X9, plus a symmetry/automorphism ledger. In topological quantum error correction, homology classes are not descriptive decoration: they label logical operators and code sectors. This is therefore the least speculative cross-domain bridge in the dossier.

2026-08-07T01:36:40.527697 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:40.549920 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
k_{\rm toric}=2g\quad\text{for a closed orientable surface of genus }g

Worked physics example#

For the active internal Stage, b1(X9)=0 and pi1(X9)=0. That matters because it explicitly prevents the active quotient from silently supplying a topological one-cycle. The physics source keeps parent-cover cycles and active-quotient topology separate. This is exactly the kind of distinction a topological code compiler must preserve if logical sectors are to be trusted.

Quantum-design consumption#

The QC compiler converts Stage topology into a chain complex and computes candidate logical sectors from kernels/modulo images rather than from local stabilizer count alone. Automorphisms are used to quotient duplicate placements before expensive decoding simulation.

Load-bearing intervention#

StepOperation
AblateErase the global topology labels while preserving all local neighborhood data; separately collapse automorphism-equivalent candidates only after simulation rather than before.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the chain-complex/global-sector computation and symmetry quotient.
FalsifierIf the same logical-sector count, search cost, and held-out performance are recovered from local data alone on topology-twin cases, the explicit topology ledger is redundant for that task. If topology twins collapse incorrectly, Stage topology is load-bearing.

Required cross-layer dependencies#

12. Rigidity and the full-precision scalar packet - robustness instead of a razor-thin optimum#

SOURCE-CONFIRMED / SUPPORTING BUILDING BLOCKAuthority: shape Stage S-18-S-20; rigidity(5).zip; GUT A1/F

Physics function#

Shape V8.1 distinguishes constitutive rigidity from dynamical stabilization. In the active metric/radius basis q=(log u1,log u2,log u3,log R2,log RY), five exact constraints have Jacobian rank five and determinant two, leaving zero physical metric tangent dimension under the declared Shape constraints. The unrestricted control still contains a negative mode m^2=-1/3; the source therefore does not pretend that a constrained direction is dynamically stabilized.

2026-08-07T01:36:40.583148 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:40.615562 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:40.654836 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

Worked physics example#

The worked physics point is methodological: the source explicitly carries both the full-rank constraint result and the unrestricted negative control. That is stronger than reporting only the favorable constrained calculation, because it tells a reviewer what kind of stability is actually being claimed.

Quantum-design consumption#

In the QC compiler, Rigidity supplies a perturbation test around each selected architecture. Let x parameterize couplings, check weights, phase settings and fabrication-sensitive control values; let C(x)=0 denote hard code constraints. The Jacobian and the smallest singular value of the relevant response map are used to reject solutions that sit on an artificially thin admissible needle.

Load-bearing intervention#

StepOperation
AblateRemove the rigidity screen and allow the optimizer to select arbitrarily sharp optima.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the perturbation/Jacobian margin requirement.
FalsifierIf the winning architecture remains equally robust and the same candidate is selected, Rigidity is not load-bearing for this gate. If only the rigidity-aware search avoids brittle false wins, it is load-bearing as a supporting building block rather than as a new Stage component.

Required cross-layer dependencies#

13. F+ finite chamber - a finite operator geometry that actually generates structured outputs#

SOURCE-CONFIRMED PHYSICS / MAJOR QC DESIGN COMMITMENTAuthority: GUT.md Appendix C5, Appendix I, Appendix J; shape Rulebook R-21-R-24

Physics function#

F+ is a finite, non-propagating Rulebook/operator chamber. Its current object includes the order-three modular point tau=omega, a three-dimensional generation module, sector projectors, four chamber operators, action ladders, phases, normalizations and a deterministic Yukawa map. It contributes zero metric dimensions but is explicitly load-bearing in the flavor claim.

\tau=\omega=e^{2\pi i/3},\qquad \kappa=e^{-\pi\sqrt3}=0.004333420509983131
2026-08-07T01:36:40.733184 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:40.756764 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:40.791433 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

Worked physics example#

The physics worked example is the quark pipeline. The up and down chamber operators are frozen from the action ladders; the two declared flavor calibrations are y_t(MZ) and |V_us|; the source then diagonalizes the generated Yukawa matrices and compares the resulting quark masses, CKM data, CP phase and Jarlskog invariant. Whatever one thinks of the underlying theory, the operator chamber is doing explicit mathematical work rather than serving as a label.

Quantum-design consumption#

The QC compiler uses F+ as a finite logical-sector chamber. The three-state generation module becomes a finite routing basis for three equivalence classes of syndrome/control responses; sector projectors enforce orthogonality; the order-three phase structure supplies a small discrete gate/phase alphabet; and family-level normalization knobs are forbidden for the same anti-fitting reason they are forbidden in the flavor construction.

Load-bearing intervention#

StepOperation
AblateDelete F+ and replace it with a generic trainable finite operator block with equal or greater parameter budget. Also test tau moved away from the order-three fixed point while preserving dimension and parameter count.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the frozen finite chamber and its projector/phase algebra.
FalsifierIf the generic operator block matches or exceeds performance with no extra complexity and the same robustness/generalization, F+ is not load-bearing for QC. If F+ helps only because it has fewer parameters, that is an economy result, not evidence of geometric correctness unless held-out performance also improves.

Required cross-layer dependencies#

14. C_admiss - the direct admit-one-eigenspace/reject-the-rest bridge#

EXISTING QC BRIDGE / HIGHEST-CONFIDENCE TRANSLATIONAuthority: GUT.md Section 11 and Appendix C6; shape Rulebook R-04, R-20

Physics function#

C_admiss is the finite admissibility Rulebook and anti-fitting firewall. It owns what configurations are allowed, which objects are frozen before comparison, layer-smuggling prohibitions, and the downgrade/reopen discipline. The GUT and Quantum sources explicitly identify the shared engineering operation: admit one eigenspace of a constrained operator and reject the rest.

P_{\rm adm}^2=P_{\rm adm},\qquad \operatorname{im}P_{\rm adm}=\mathcal H_{\rm allowed}
P_{\mathcal C}=\prod_i\frac{I+S_i}{2}

Worked physics example#

In the physics workflow, admissibility prevents a branch from being rescued by silently changing the metric, bundle, chamber, comparison ruler or parameter set after an observable has been read. It is a governance/Rulebook object, not a metric dimension.

Quantum-design consumption#

In QC-G1, C_admiss becomes the code-space and architecture firewall. The compiler first rejects candidates that violate commutation, domain, connectivity, error-correction or resource constraints; expensive decoder simulation is run only on candidates inside the admissible class. At the state level, the stabilizer projector is the exact eigenspace-admission operation.

Load-bearing intervention#

StepOperation
AblateRemove the admissibility prefilter and give the optimizer the same number of expensive simulations. Permit invalid/noncommuting/check-domain candidates to consume budget, but do not otherwise handicap it.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the admissibility projector and candidate firewall.
FalsifierIf the same number and quality of valid held-out designs are obtained at the same expensive-evaluation budget, C_admiss is not computationally load-bearing. If it merely saves compute but does not change the attainable Pareto frontier, the correct conclusion is "search accelerator," not "unique geometry."

Required cross-layer dependencies#

15. Sector projectors and invariant class connections - structure that survives renaming#

SOURCE-CONFIRMED / QC-DESIGN-COMMITMENTAuthority: GUT Appendix C5/A2; shape Actor/Co-Actor registries and matrix

Physics function#

The finite chamber carries orthogonal sector projectors, while Shape V8.1 separately builds Actor classes, Co-Actor classes and a 13x18 Actor-Co-Actor envelope. The important idea is not the names of individual particles or devices but invariant relations: ownership, support, domain, complement, spectrum, interaction, rigidity and scale roles persist under a change of concrete identity.

2026-08-07T01:36:40.843563 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:40.862869 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

Worked physics example#

In the particle-physics construction, the projectors separate up/down/lepton/neutrino sectors and the macro-projector identity is used in the no-mediator/FCNC story. The Actor ontology then says a field is not fully specified until support, owner, domain, quotient, spectrum, dynamics and other clauses are assigned.

Quantum-design consumption#

The QC compiler uses invariant classes to prevent implementation labels from becoming hidden parameters. Data-mode Actor A and data-mode Actor B must satisfy the same applicable clause set even if one is a cavity mode and the other a transmon. Co-Actor classes define the corresponding failure envelope. A valid design should therefore be invariant under relabelings that preserve the typed incidence graph.

Load-bearing intervention#

StepOperation
AblateDelete the class/invariant connection layer and allow per-identity rules or learned weights while holding the nominal parameter budget fixed.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore class-level ownership and orthogonal projector relations.
FalsifierIf relabeling invariance and held-out generalization are unchanged, the class layer is not load-bearing. If every Actor class must be individually tuned, the claimed invariant connection has failed.

Required cross-layer dependencies#

16. Matter Actors - explicit ownership of the information-bearing degrees of freedom#

SOURCE-CONFIRMED / QC ROLE = DATA CARRIERSAuthority: shape Actor file A-QL, A-UR, A-DR, A-LL, A-ER, A-NUR; GUT Appendix C7

Physics function#

The current Shape Actor registry contains separate chiral matter modules for Q_L, u_R, d_R, L_L, e_R and nu_R, each with family multiplicity and an eighteen-clause witness envelope. The purpose is not merely particle naming: it prevents support, representation, domain, chirality, spectrum and interaction ownership from being smeared across unrelated terms.

\mathcal E_{\rm matter}=\bigoplus_{f}\mathcal E_f,\qquad f\in\{Q_L,u_R,d_R,L_L,e_R,\nu_R\}
n_{\rm family}=3\quad\text{(source index result)}

Worked physics example#

The physics worked example is that the K6 family index and the orbifold chirality projector require an actual bundle/Actor space on which to act. Without E_matter, an index count and a parity operator are symbolic statements with no domain. This is why the source classifies the tensor/Actor layer as load-bearing rather than bookkeeping.

Quantum-design consumption#

The QC compiler maps this role to information-bearing data degrees of freedom. A data Actor must declare physical support, code-sector membership, measurement accessibility, leakage space, interaction ports and logical ownership. Syndrome ancillas and couplers are not allowed to masquerade as data resources, and vice versa.

Load-bearing intervention#

StepOperation
AblateCollapse all physical modes into one untyped "qubit resource" class and permit the optimizer to exchange data, ancilla and coupler roles without explicit redefinition.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore Actor ownership and rerun resource accounting and architecture search.
FalsifierIf the winning architecture and common-ruler cost are unchanged, Actor typing is not load-bearing for QC-G1. If the untyped run obtains an artificial win by double-counting or hiding resources, Actor ownership is load-bearing as an accounting/physics interface.

Required cross-layer dependencies#

17. Gauge Actors - interactions and syndrome/control channels must have an owner#

SOURCE-CONFIRMED / QC ROLE = CONTROL & SYNDROME CHANNELSAuthority: shape Actor A-G3/A-G2/A-G1Y; GUT Appendix C8

Physics function#

The gauge Actor layer contains separate SU(3)c, SU(2)L and U(1)Y connection modules. In the physics construction these are the force-mediating connections on the appropriate bundles; the geometry supplies carriers while the Actor layer supplies the connection/field content. This separation is central to the project rule that isometry is not identical to gauge symmetry.

2026-08-07T01:36:40.898537 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:40.912485 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

Worked physics example#

The term dossier emphasizes that C8 is not self-sufficient: it consumes the geometry, matter reps, global quotient and threshold packet but does not itself derive family count, flavor or proton safety. That explicit dependency discipline is the transferable feature.

Quantum-design consumption#

In the QC compiler, gauge Actors become interaction/control/syndrome channels. Every multi-mode check must be realized by a named coupling channel with support, range, schedule and error model. The code graph can propose an abstract stabilizer, but the gauge/control Actor is what turns it into a physical circuit cost.

Load-bearing intervention#

StepOperation
AblateScore abstract stabilizers as zero-cost operators with no owned control channel.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore explicit interaction Actors and circuit expansion.
FalsifierIf the architecture ranking and total resource/error metrics are unchanged, control-Actor ownership is not load-bearing. If low-weight/locality advantages disappear after physical expansion, the unexpanded ranking was not a valid engineering result.

Required cross-layer dependencies#

18. Higgs/Wilson Actor - protected transformations via holonomy#

SOURCE-CONFIRMED PHYSICS / EXTERNALLY KNOWN QC MECHANISMAuthority: shape Actor A-EW; GUT Appendix C9/H

Physics function#

The electroweak/Higgs Actor is represented in the current GUT source as a Wilson-line/Hosotani mode with an integer winding label. The source claims one-loop protection for the named sector and explicitly downgrades higher-loop all-orders protection to diagnostic. That scope discipline is important: topological/holonomic protection can be real without implying unlimited immunity.

W_{\gamma}=\mathcal P\exp\left(i\oint_{\gamma}A\right),\qquad n_H\in\mathbb Z
U_{\rm hol}(\gamma)=\mathcal P\exp\left(i\oint_{\gamma}\mathcal A\right)

Worked physics example#

The physics worked example records n_H=1, a finite chamber determinant eta_BK, and frozen predictions for v and m_h under the declared assumptions, while making the loop-level claim boundary explicit. The key structural idea is that a transformation can be encoded in a global path/holonomy rather than a locally tuned scalar parameter.

Quantum-design consumption#

Holonomic quantum computation is an established external concept: adiabatic or otherwise controlled loops in a parameter manifold can implement logical unitaries through geometric holonomy on a protected subspace. The QC compiler therefore assigns the Higgs/Wilson Actor to protected logical transformations, separate from passive memory protection.

Load-bearing intervention#

StepOperation
AblateReplace the path/holonomy constraint by free endpoint-calibrated pulses with the same nominal gate time and hardware resources.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the protected loop class and repeat the drift ensemble.
FalsifierIf drift robustness and synthesis complexity are unchanged, the Wilson/holonomy structure is not load-bearing for logical operations. A memory-code result alone cannot validate this Actor.

Required cross-layer dependencies#

19. Proton-safety projector - forbid catastrophic cross-sector channels by construction#

SOURCE-CONFIRMED PHYSICS / STRONG QC FIREWALL HYPOTHESISAuthority: GUT Appendix C10/L; F+ projector identity; Shape interaction Rulebook R-17

Physics function#

The proton-safety term encodes a no-mediator/sector-orthogonality structure. A representative identity in the source is Pi_q M Pi_l=0: the dangerous cross-sector block is forced to vanish at the operator level for the declared class. This is more useful for engineering translation than the specific baryon-physics interpretation.

2026-08-07T01:36:40.862869 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
P_L H_{\rm err}P_E=0\quad\text{(engineering firewall target)}

Worked physics example#

The physics worked example is the distinction between suppressing a dangerous rate and eliminating an operator class. The source claims the latter only for a scoped class and treats numerical proton lifetime more cautiously. That operator-class scoping is exactly how the QC analogue should be written.

Quantum-design consumption#

In QC-G1, define P_L for the protected logical sector and P_E for a catastrophic leakage/correlated-error sector. The safety Actor imposes a design constraint that the first-order implementation Hamiltonian has no direct block connecting those sectors for the named interaction class. Errors can still occur through higher-order or unscoped channels; those remain Co-Actors.

Load-bearing intervention#

StepOperation
AblatePermit direct protected-to-catastrophic couplings provided the optimizer compensates with stronger decoding later.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the block-zero/no-single-fault-path requirement.
FalsifierIf the same logical failure and resource overhead are achieved without the firewall, the safety projector is not load-bearing. If performance improves only because an unrealistic interaction was forbidden, the result must be checked against the actual hardware Hamiltonian.

Required cross-layer dependencies#

20. Co-Actors - the negative space is part of Shape#

SOURCE-CONFIRMED / PRIOR COMPUTATIONAL SUPPORTAuthority: shape/01_CORE/03_ACTORS/co-actor.md; ACTOR_COACTOR_MATRIX

Physics function#

Shape V8.1 defines eighteen universal Co-Actor complement classes: parent validity, provenance, owner, type, domain, quotient, chirality, global topology/anomaly, measure, spectrum, observer, dynamics, interaction, rigidity, scale, canonical decomposition, regulator, and exhaustion. A Co-Actor is not merely "an error"; it is the concrete complement/falsifier of an Actor clause.

\mathcal E_{\rm total}=\mathcal E_{\rm modeled}\cup\mathcal E_{\rm complement}
\Pr(\text{logical fail})=\sum_{e\in\mathcal E_{\rm complement}}\Pr(e)\,\Pr(\text{fail}\mid e)

Worked physics example#

In the physics workflow, Co-Actors force a gate to name what would invalidate the Actor claim: wrong domain, missing global lift, mirror sector, anomaly phase, negative norm, hidden pole, causal violation, hidden scale, and so forth. This is the project-wide embodiment of "publish the failure mode."

Quantum-design consumption#

In QC design, Co-Actors are the explicit error/failure envelope. They include ordinary Pauli/displacement noise but also leakage, correlated faults, missing reset, nonlocal control assumptions, invalid boundary domains, decoder model mismatch, calibration drift, fabrication defects, and resource-accounting omissions. The compiler is not allowed to report a code without a typed complement set.

Load-bearing intervention#

StepOperation
AblateRemove explicit Co-Actor generation and test only the nominal error model supplied by the candidate designer.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the full applicable complement envelope and rerun.
FalsifierIf architecture ranking, logical failure and search efficiency are unchanged across held-out adversarial error classes, Co-Actors are not load-bearing. If the only benefit is that more error cases were tested, the correct claim is "test-completeness machinery" rather than a unique geometric effect.

Required cross-layer dependencies#

21. The complete Stage + Rulebook + Actors object - why the layers must be tested together#

SOURCE-CONFIRMED ONTOLOGY / CENTRAL LOAD-BEARING TESTAuthority: shape Stage/Rulebook/Actor/Co-Actor core; GUT Appendix A2/B2

Physics function#

The current Shape ontology says the Stage alone is not the physical object. Stage supplies supports/topology/incidence; Rulebook supplies admissibility/domains/quotients/equivalence; Actors supply independently owned degrees of freedom and interactions; Co-Actors supply the complement/falsifier space. The GUT A2/B2 discussion similarly argues that a finite chamber without tensor domains is under-specified.

\mathfrak B_{\rm active}=\underbrace{X_{13}}_{\times}\oplus\underbrace{(F^+\oplus\mathcal C_{\rm admiss})}_{\oplus}\otimes\underbrace{(\mathcal E_{\rm matter}\oplus\mathcal E_{\rm gauge}\oplus\mathcal E_{\rm Higgs}\oplus\mathcal E_{\rm proton})}_{\otimes}

Worked physics example#

The physics worked example is chirality/family structure: K6 topology can supply an index, and the interval quotient can supply a parity projection, but those operations still require a matter bundle/domain on which to act and a Rulebook declaring the domain/parity. The claim is inherently cross-layer.

Quantum-design consumption#

QC-G1 is therefore compiled only from the complete typed object. A support graph without a check/admissibility Rulebook is just hardware connectivity; a check algebra without data/control Actors has no physical implementation; data/control Actors without an error complement have no hostile benchmark. The full Shape is a closure package rather than one geometry picture.

Load-bearing intervention#

StepOperation
AblateRun true information ablations: remove the Stage topology/incidence facts, Rulebook constraints, Actor ownership/domain facts, or Co-Actor error classes from the compiler input - not merely their labels - while keeping all other information fixed and giving equal re-optimization budget.
Re-optimizeGive the modified Shape the same search budget, hardware/noise model, and nature-derived tensors. No hidden restoration of the removed information is allowed.
MeasureRecord the preregistered subsystem metric and the global common-ruler metrics.
RestoreRestore the complete typed object and verify deterministic reconstruction of the original design class.
FalsifierIf Full Shape never changes design quality, search cost, robustness, or audit completeness relative to a strong generic solver supplied the same raw facts, the correct result is that Shape is an explicit representation, not an independently load-bearing structure. The test is allowed to return that null.

Required cross-layer dependencies#

22. Worked design gate: building QC-G1 from challenges, nature-derived tensors, and the frozen Shape#

22.1 Challenge ledger#

The proposed quantum architecture is not obtained by asking a black-box optimizer to search every code. It is constructed gate by gate. For each challenge the team records several natural mechanisms, extracts the invariant functional principle, expresses it as a tensor/constraint, routes it to a Shape component, and only then searches the reduced space.

GateChallengeNature-derived invariantTensor/constraintPrimary Shape owner
Q1Detect errors without reading logical informationProofreading separates state verification from payload destructionSyndrome map H with kernel containing logical tangentC_admiss + gauge/control Actor
Q2Prevent local faults from spreading globallyCompartmentalization and bounded interfacesPropagation tensor G with bounded off-module normProton-safety Actor + Co-Actors
Q3Handle correlated errorsDistributed immune/network response tracks correlationsError covariance C_ij and cluster envelopeCo-Actors + Interdependence
Q4Protect information nonlocallyTopology stores information in global equivalence classesChain complex / homology constraintsStage topology/cohomology
Q5Suppress leakageSelective membranes admit classes and reject complementsProjector P_admIY quotient + C_admiss
Q6Stay useful under component lossBiological degeneracy/alternate pathwaysRedundancy incidence BK6 Weyl/root-plane + Actor classes
Q7Keep control physically realizableNervous/vascular distribution uses bounded transportLocality/cost tensor L_ijM4 + gauge/control Actor
Q8Avoid fine-tuned designsHomeostasis has stable operating regionsResponse Jacobian / margin sigma_minRigidity
Q9Perform protected transformationsCyclic conformational/phase processes exploit path structureHolonomy U_gammaS1 cover + Higgs/Wilson Actor
Q10Scale without topology being redesigned at every sizeModular biological organization repeats typed unitsComposition law and module interface tensorX9/X13 product + invariant classes

22.2 Search-space reduction is useful, but it is not the proof#

The search-space reduction is an engineering benefit. It is not what makes Shape load-bearing. A component can be load-bearing even if a generic solver could eventually rediscover the same solution, provided that removing the component from the frozen Shape changes the compiled architecture or the cost of legal recovery. Conversely, a component that merely makes search faster but never affects the attainable solution class should be described as a computational accelerator, not as evidence that the physical geometry is unique.

\text{load-bearing evidence}\neq\text{"found faster"};\qquad \text{load-bearing evidence}=\text{ablation loss}+\text{restoration recovery}+\text{specificity}.

22.3 Proposed architecture stack#

The current project corpus already describes a simulated hybrid stack and reports legacy memory-floor and decoder-channel metrics. Because the complete replay artifacts are not in the presently accessible bundle, this dossier treats those numbers as legacy simulated evidence requiring re-certification. The new compiler retains the same broad architecture pattern but makes resource ownership explicit:

LayerFunctionShape information consumedCommon-ruler resources that must be counted
Inner physical/bosonic layerSuppress small displacement/local noiseM4 support, S1 periodic phase where applicable, data Actor domainOscillator/cavity mode, ancilla, pumps, measurement, reset, nonlinearity
Finite chamber layerSelect legal eigenspace/sectors and reject leakageK6 symmetry, IY parity, F+, C_admiss, projectorsChecks/projectors, control interactions, syndrome outcomes
Topological outer layerConvert local errors into global logical protectionStage chain complex/topology, boundaries, Co-Actor clustersData + syndrome resources, connectivity, extraction depth, decoder
Modular scale layerRepeat cells without overhead exploding with logical countX9/X13 factorization, invariant classes, InterdependenceInter-module links, routing, latency, classical processing

23. The actual load-bearing proof protocol#

23.1 Intervention semantics#

For each component X, define a frozen baseline Shape S and an intervention I_X(S). The modified compiler is allowed to re-optimize every downstream degree of freedom that is not itself frozen by the experiment. It is not allowed to reintroduce X under a new name or to change the measured hardware/noise anchors.

\Delta_X=\mathcal M\!\left(\operatorname*{argmin}_{q\in\mathcal Q(I_X(S))}\mathcal L(q)\right)-\mathcal M\!\left(\operatorname*{argmin}_{q\in\mathcal Q(S)}\mathcal L(q)\right).

Here M is the preregistered metric vector, not one scalar score. A component earns "load-bearing" only when Delta_X has the predicted direction on the named subsystem and the effect survives equal re-optimization.

23.2 Metric vector#

MetricReason it is needed
Logical failure per round/cyclePrimary protection target
Total physical resources/logicalPrevents hiding ancillas/couplers/modes
Maximum check/coupling weightCaptures implementation difficulty and correlated-fault risk
Connectivity/routing costMakes nonlocal codes pay for nonlocality
Syndrome-extraction depthCaptures time exposure and control complexity
Decoder latency/complexityPrevents offloading impossible work to classical control
Leakage probabilityDirect test of quotient/admissibility claims
Correlated-fault sensitivityDirect test of safety/Co-Actor claims
Perturbation/fabrication robustnessDirect test of Rigidity
Search evaluations to valid frontierSecondary computational-utility measure

23.3 Placebo controls#

A valid ablation experiment must also include interventions that should not change physics or engineering performance: coordinate relabelings, Actor renamings, stabilizer-generator reordering, symmetry-equivalent Weyl permutations, and basis changes accompanied by the correct conjugation of operators. These should produce the same compiled architecture up to isomorphism and the same metric distribution.

S\xrightarrow{\text{placebo}}S^{\prime}\sim S\quad\Rightarrow\quad \mathcal M(Q(S^{\prime}))\simeq\mathcal M(Q(S)).

23.4 Restoration controls#

Every destructive intervention is paired with a restoration run. The sequence is baseline -> ablate/substitute -> fully re-optimize -> restore -> recompile. A causal-looking signature is a reversible degradation in the predicted subsystem. A degradation that does not recover after restoration is more likely to be stochastic search drift or harness contamination.

23.5 Substitution controls#

Ablation tests whether information matters; substitution tests whether the specific information matters. K6 should therefore be compared with explicit rival carriers, the quotient with the unquotiented circle, the structured finite chamber with equal-parameter generic finite operators, and the root-plane interaction template with degree-matched random/alternative templates. The conclusion ladder is:

  1. Redundant: removal changes nothing.
  2. Useful: removal hurts but a simple substitute restores performance.
  3. Load-bearing: removal causes a specific loss; nontrivial substitutes or added complexity are required to recover.
  4. Cross-domain consilient: the same independently selected structure is load-bearing in physics and in QC under separate evidence chains.
  5. Not established by this experiment: uniqueness of the geometry or theorem-level proof that nature must use it.

24. Upstream physics freeze: Standard Model and quark reconstruction#

24.1 Why the Standard-Model reconstruction belongs in this dossier#

The cross-domain argument is only interesting if the Shape was doing real work before the quantum example. The current GUT source therefore serves as the upstream record. This section does not independently certify the GUT; it summarizes the mechanism that was frozen before the engineering test so a reviewer can see what information was already present.

24.2 Gauge/family/chirality chain#

K_6\times S^2\times(S_Y^1/\mathbb Z_2)\longrightarrow SU(3)_c\times SU(2)_L\times U(1)_Y\quad\text{(source certificate claim)}

K6 carries the SU(3)/family stage, S2 supplies the weak carrier/T3 structure, and the orbifold interval supplies parity/fixed-boundary information. The matter and gauge Actors place fields and connections on those supports. The source keeps the global Z6 quotient, anomaly ledgers, and bundle data in separate authority rows rather than pretending the bare product manifold is sufficient.

24.3 Quark/flavor chain#

2026-08-07T01:36:41.048907 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

For the quark sector, the frozen chamber data include tau=omega, kappa=exp(-pi sqrt(3)), up/down action ladders, a sector-level normalization rule and a deterministic Yukawa map. The current quark appendix records y_t(MZ)=0.9665 and |V_us|=0.22436 as the two declared flavor calibrations for the overall construction, then treats the remaining masses/mixings as generated/comparison outputs under the stated assumptions.

2026-08-07T01:36:41.084406 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
2026-08-07T01:36:41.132060 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/
Frozen/source quantityCurrent value or role
tauomega = exp(2 pi i / 3)
kappa0.004333420509983131
a_u(2,1,0)
a_d(4/3,2/3,0)
N_u1.000 (overall up-sector calibration via y_t)
N_d0.024 in the current chamber manifest
CKM phase structureraw order-three holonomy -2pi/3; source compares a Wolfenstein-aligned +60 deg value
Current source statuscertificate-complete under declared assumptions; not external endorsement

24.4 Why this matters for the QC test#

The engineering compiler is not allowed to change tau, the K6 topology, the quotient action, the Actor classes, or the projectors in order to obtain a better QC benchmark. If it did, the experiment would no longer be a transfer test of the frozen Shape. The cross-domain value comes from asking whether the structure already carrying these physics responsibilities also constrains a useful code architecture.

25. Master component-to-quantum-design ledger#

This table is the compact statement the public-facing page can eventually use. The long chapters above are the technical authority behind each row.

Shape componentPhysics workQC design workAblationEvidence grade
M44D causal/observer supportPhysical locality and timing/resource ledgerRemove locality costDESIGN-COMMITMENT
K6Color/family flag manifold; Weyl/root structureSymmetry sectors, structured redundancy, coupling templateReplace by CP2/random/rewired competitorEXISTING-BRIDGE + TEST
S2Weak SU(2) carrier/doublet routingBasis-covariant paired syndrome primitiveFixed-axis/Abelian replacementPROSPECTIVE
S1Y coverPeriodic phase/winding supportClosed control/phase loopUnconstrained real phasePROSPECTIVE
IY quotientParity/fixed-boundary projectionLeakage/error-sector rejectionUnquotiented parent/no endpoint specializationHIGH-VALUE TEST
X9/X13 productTyped factorization and support ownershipModular code stack and charged interfacesFree module merge/cross-couplingDESIGN-COMMITMENT
A2 root planesThree invariant tangent/coupling familiesSparse structured coupling graphDegree-matched random rewiringPROSPECTIVE
Topology/cohomologyGlobal cycles/sectors and exact Betti ledgerLogical homology/global code sectorsLocal-only topology-blind inputEXTERNALLY ESTABLISHED MECHANISM
Rigidity/scale packetConstraint rank/deformation dispositionRobustness screen, no needle optimaRemove perturbation marginSUPPORTING BLOCK
F+Finite 3-sector operator chamberFinite logical routing, discrete phase alphabetGeneric equal-parameter operator blockMAJOR TEST
C_admissAdmissibility/freeze firewallStabilizer/code-space and architecture projectorNo prefilter / invalid candidates allowedEXISTING-BRIDGE
Sector projectors/classesOrthogonal sectors and invariant relationsLabel-invariant code/control rolesPer-identity tuningMAJOR TEST
Matter ActorsFields/bundle domainsData-mode ownershipUntyped resource poolDESIGN-COMMITMENT
Gauge ActorsInteraction connectionsSyndrome/control/coupler ownershipFree abstract stabilizersDESIGN-COMMITMENT
Higgs/Wilson ActorProtected holonomy modeHolonomic logical operationsEndpoint-calibrated free pulsesDOWNSTREAM GATE
Proton-safety ActorNo-mediator operator classNo-direct-path fault firewallAllow direct catastrophic couplingSTRONG TEST
Co-ActorsExplicit complement/falsifier classesError/leakage/correlated-fault envelopeDesigner-supplied nominal errors onlyMAJOR TEST
Invariant class linksCross-identity structural relationsRelabeling/instrument invarianceDelete class relationsMAJOR TEST

25A. Parameter collapse: the computational consequence of a structured Shape#

Why parameter collapse is a separate load-bearing claim#

The component chapters above establish a route by which each piece of Shape can constrain a quantum design. A second, distinct claim is more computational: the geometry can collapse the number of independent coordinates that a topology or architecture search must explore. This is not the claim that Shape forces a unique quantum computer. It is the claim that the frozen structure identifies equivalences, forbidden directions, invariant sectors, typed interfaces and low-dimensional tensor families before an expensive search begins.

That distinction matters. A topology search can be impossible in practice even when the final design is simple, because the raw representation contains enormous redundancy. Two candidate graphs may differ only by relabeling; three coupling blocks may be copies related by symmetry; a dense operator parameterization may contain cross-sector matrix elements that the Rulebook later projects to zero; a continuous deformation may be gauge or coordinate rather than physical. Searching all of those coordinates treats the same physical design as many different candidates. Shape is useful if it removes those redundancies before optimization and does so without removing the true optimum.

Source status#

IngredientFrozen source supportWhat this Part adds
Quotients / redundanciesShape Rulebook and RIG-C02 require gauge/constraint redundancies to be removed before physical deformations are counted.A mixed discrete/continuous search-space measure.
Weyl/invariant structureK6 carries an S3 Weyl structure and three A2 root-plane families; the isotropic metric point freezes u1=u2=u3.Orbit reduction and tied-parameter examples.
Projectors / admissibilityF+ and C_admiss contain sector projectors and admit/reject operations.Operator-block parameter counts and invalid-architecture pruning.
Topology / cohomologyStage stores topology, strata, gluing and cohomology data.Exact graph/cell-complex counting examples.
Actor classes / invariant linksShape explicitly stores typed Actors, Co-Actors and invariant class relations.Parameter sharing and typed architecture coordinates.
RigidityRIG-C02 and the rigidity machinery remove redundancies and compute physical deformation rank.Local effective-dimension formula and search implications.
Nature-derived tensorsEngineering workflow, not a frozen physics theorem.Low-rank/tensor parameterization layered on top of Shape.

Claim ceiling#

Parameter collapse is beneficial only if the reduced parameterization remains sufficiently expressive. A smaller search space can be worse if it excludes high-quality designs. Therefore this Part defines two obligations that must be tested together: collapse (fewer independent candidates/coordinates) and coverage (the reduced space still contains strong solutions). A search-speed improvement without a coverage audit is not evidence that the Shape parameterization is correct.

25B. Formal search-space measure and effective dimension#

A mixed discrete/continuous definition#

Let a raw quantum-design description contain a discrete topology tau in a candidate set T and a continuous parameter vector theta in a p-dimensional region X_tau. Shape supplies exact constraints F=0, inequalities A>=0, typed-domain conditions D, and an equivalence relation generated by a symmetry or redundancy group G. The physically admissible search object is not the raw Cartesian product; it is the quotient of the admissible subset:

\mathfrak X_{\rm Shape}=\Big\{(\tau,\theta):\tau\in\mathcal T,\;F(\tau,\theta)=0,\;A(\tau,\theta)\succeq0,\;D(\tau,\theta)=1\Big\}/G.

For a finite discrete search, the exact discrete collapse factor is simply the ratio of raw candidates to admissible equivalence classes. For continuous coordinates there is no finite count without a ruler, so the clean comparison uses a fixed external resolution epsilon. This deliberately prevents Granularity from receiving credit in the Shape-only test: epsilon is supplied identically to every representation.

C_{\rm disc}=\frac{|\mathcal T_{\rm raw}|}{|\mathcal T_{\rm Shape}/G|},\qquad C_{\epsilon}=\frac{N_{\epsilon}(\mathfrak X_{\rm raw})}{N_{\epsilon}(\mathfrak X_{\rm Shape})},\qquad B_{\epsilon}=\log_2 C_{\epsilon}.

Here N_epsilon is an epsilon-covering number under a preregistered metric. B_epsilon is conveniently read as the number of search bits removed by Shape at that resolution. The use of bits does not assert a fundamental information ontology; it is only an accounting device for comparing search sizes.

Local continuous dimension#

Near a regular point, if r independent equality constraints are active and the redundancy group has an orbit of dimension g_orb, the local physical search dimension is

2026-08-07T01:52:02.994267 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

This is the differential-geometric version of parameter collapse: equality constraints remove normal directions and the quotient removes tangent directions that change the coordinates but not the physical design. The regularity assumptions are load-bearing. Rank-changing strata must be handled separately rather than averaged into a flattering dimension count.

Why dimension matters computationally#

On a simple hypercubic grid with q samples per independent coordinate, exhaustive sampling scales as q^d. This is not a model of every optimizer, but it is an exact illustration of the curse of dimensionality. Collapsing from p coordinates to d effective coordinates changes the grid count by q^(p-d).

2026-08-07T01:52:03.031701 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

25C. Symmetry quotienting: Weyl orbits and tied quantum-design parameters#

Finite-group orbit collapse#

The safest parameter collapse is the removal of designs that are physically equivalent by an exact finite symmetry. If a finite group G acts on a discrete candidate set X, the number of inequivalent candidates is given exactly by Burnside's lemma:

2026-08-07T01:52:03.078111 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

When the action is free, no nonidentity group element fixes a candidate and the quotient reduces the count by exactly |G|. When fixed points exist, the reduction is smaller and Burnside's formula prevents us from simply dividing by the group order. This is the correct way to credit symmetry without double-counting highly symmetric architectures.

K6/Weyl worked example#

The frozen K6 factor has Weyl group S3 with six elements. Its three invariant root-plane metric weights (u1,u2,u3) are permuted by S3. A general invariant homogeneous metric may assign three positive weights, but the Weyl-invariant isotropic point satisfies

2026-08-07T01:52:03.103377 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

At the level of Shape ratios this collapses a three-coordinate positive cone to one common coordinate; when Scale is held external and fixed, the two independent squashing ratios are removed entirely from the Shape search. This is a direct parameter-collapse example already present in the frozen geometry: symmetry does not merely decorate the answer, it identifies directions that the selected branch refuses to tune independently.

Quantum-design translation#

The prospective QEC compiler can use the same rule to tie parameters of symmetry-related coupling/check motifs. If three root-plane families each carried q independently tuned real coefficients, an unconstrained parameterization would expose 3q reals. Enforcing the frozen S3 equivalence permits one q-dimensional template plus the discrete group action:

\theta=(\theta^{(1)},\theta^{(2)},\theta^{(3)})\in\mathbb R^{3q}\quad\longrightarrow\quad \theta^{(1)}=\theta^{(2)}=\theta^{(3)}\equiv\vartheta\in\mathbb R^q.

This is a factor-three continuous parameter collapse if the symmetry is truly respected by the hardware/noise model. If fabrication or noise explicitly distinguishes the three families, tying them would be an unjustified overconstraint. The load-bearing test must therefore include a symmetry-breaking noise arm.

Test armWhat is frozenExpected interpretation
Symmetric hardware/noiseS3-related resources receive the same physical model.Parameter tying should preserve the best symmetric solution while reducing search.
Mild symmetry breakingSmall preregistered perturbations distinguish sectors.Rigid tying may incur regret; a soft equivariant parameterization may be preferable.
Strong symmetry breakingIndependent hardware channels.No claim that S3 tying remains optimal. A null/negative result limits the engineering scope.

25D. Representation-theoretic collapse: searching the commutant instead of all operators#

From representation theory to a smaller operator algebra#

Symmetry can collapse not only labels but entire operator spaces. Let a group representation decompose a Hilbert space as a direct sum of irreducible representation spaces V_lambda with multiplicity spaces M_lambda:

\mathcal H\cong\bigoplus_{\lambda} V_{\lambda}\otimes M_{\lambda}.

Any operator that commutes with the group action lies in the commutant. For ordinary complex irreducible representations, Schur's lemma gives the block form

2026-08-07T01:52:03.153573 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

A generic Hermitian operator on a d-dimensional complex Hilbert space has d^2 real parameters. An equivariant Hermitian operator has only the parameters in the multiplicity-space Hermitian blocks; the real dimension is sum m_lambda^2 under the standard complex case. This is a structural parameter reduction, not a numerical fit.

Exact S3 regular-representation micro-example#

The six-dimensional regular representation of S3 decomposes into the trivial irrep once, the sign irrep once, and the two-dimensional standard irrep twice. Thus the multiplicities are (1,1,2). A completely generic Hermitian 6x6 operator carries 36 real parameters; an S3-equivariant Hermitian operator carries

1^2+1^2+2^2=6\quad\text{real multiplicity-space parameters},

a six-fold parameter reduction in this exact toy representation. The numerical factor six is especially transparent because the same group order appears in the K6 Weyl structure, but the mechanism is representation-theoretic: the group forces repeated matrix elements and zeros in an appropriate basis.

A QEC architecture search frequently alternates between discrete topology and continuous operator/control choices. If every candidate topology is followed by a dense 6x6 operator optimization, the inner loop is 36-dimensional. If the Stage/Rulebook certifies S3-equivariance, the inner loop can be parameterized directly by six real numbers. The outer topology search is unchanged, but every candidate becomes much cheaper to evaluate and less prone to finding physically equivalent variants.

25E. Projector and admissibility collapse: remove forbidden matrix directions before search#

Projectors turn a dense matrix problem into typed blocks#

The Rulebook and finite chamber contain sector projectors. In a basis adapted to mutually orthogonal projectors P_a with sector dimensions n_a, a generic Hermitian operator on total dimension n=sum n_a has n^2 real parameters. If the admissibility rule requires block preservation, P_a O P_b=0 for a!=b, the allowed operator has only

N_{\rm block}=\sum_a n_a^2\quad\text{real Hermitian parameters},\qquad N_{\rm dense}=\left(\sum_a n_a\right)^2.

For three equal sectors of dimension m, the reduction is exact:

2026-08-07T01:52:03.207997 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

so two thirds of the dense matrix directions are removed before optimization. Those removed directions are precisely cross-sector couplings. If a safety projector forbids direct transitions between protected and catastrophic sectors, those zeros are simultaneously a physics/safety statement and a computational search reduction.

Admissibility as architecture pruning#

The same logic applies before any continuous optimizer runs. Let A(x) be a deterministic admissibility predicate for a candidate architecture x. Instead of allocating expensive simulation to every x in the generator output, the compiler evaluates A first and sends only A=1 candidates downstream:

2026-08-07T01:52:03.221704 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

If N0 candidates are generated and N1 survive, the exact discrete collapse is N0/N1 for that stage. No independence assumption is required. With multiple nested filters the survivor counts N0>=N1>=...>=Nk are directly measurable, and the total collapse is N0/Nk regardless of correlations between filters.

Connection to the Round-2 lesson#

The earlier computational tournament already suggested that explicit failure-envelope filtering can save expensive evaluations, but that result tested a particular executor rather than the fundamental geometry. The parameter-collapse experiment proposed here is stronger: each admissibility predicate must be traced to a frozen Shape component or a separately declared nature-derived tensor, and the expensive-evaluation savings are measured only after coverage and regret are checked.

25F. Topological parameter collapse: from all graphs to invariant-compatible complexes#

The raw graph space is enormous#

For n labeled hardware or syndrome nodes, a simple undirected graph has M=n(n-1)/2 possible edges, so the completely unconstrained topology space contains

|\mathcal G_n|=2^{\binom n2}.

Already at n=24 this is 2^276 labeled graphs. A topology-first quantum-design program therefore cannot rely on blind enumeration. Shape can help only if its invariants translate into necessary structural conditions that eliminate large classes without using the target benchmark score.

Exact Betti-number edge-count screen#

For a connected graph regarded as a one-dimensional cell complex, the first Betti number is beta1=m-n+1, where m is the number of edges. Requiring a target cycle rank b therefore fixes the edge count to m=n-1+b. This condition is necessary but not sufficient for connectedness and the desired topology, which makes the following count a conservative upper bound on survivors.

2026-08-07T01:52:03.266054 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

Take n=24 and b=2. Then M=276 and m=25. The raw labeled-graph space has 276 search bits. Restricting only to the required edge count leaves at most binom(276,25) candidates, whose base-two logarithm is approximately 117.415. Thus this single topological invariant removes at least 158.585 bits of labeled-graph search before connectedness, isomorphism, hardware locality, stabilizer commutation, distance, or fault-tolerance constraints are applied.

Quantityn=24, beta1=2 example
Potential edges M276
Raw labeled graphs2^276
Required edges m25
Edge-count candidate upper boundC(276,25) = 221,513,118,721,038,109,403,920,776,199,441,536
log2 upper bound117.415 bits
Minimum collapse from this necessary condition158.585 bits

This calculation does not say that beta1=2 is the correct target for our final QEC architecture. It is an exact worked example showing why topological invariants can be computationally powerful: they convert a free edge search into a sharply restricted combinatorial shell.

Cell-complex generalization#

For higher-dimensional topological codes, incidence matrices boundary_k obey boundary_{k-1} boundary_k=0. Instead of searching arbitrary parity-check matrices, a compiler may search cell-complex generators whose chain-complex identity enforces commutation structurally. The search variables become cells, incidences, quotient/gluing data and a smaller set of weights rather than every matrix bit independently.

2026-08-07T01:52:03.303940 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

25G. Constraint compilation for CSS/QEC searches#

Raw CSS-matrix coordinates versus generated incidence coordinates#

A CSS stabilizer code can be represented by binary check matrices H_X and H_Z satisfying the symplectic commutation condition H_X H_Z^T=0 over F2. If one naively exposes every matrix entry as a binary design variable, the raw coordinate count is n(r_X+r_Z) bits before commutation, row-basis equivalence, hardware locality or distance are enforced.

H_XH_Z^{\mathsf T}=0\pmod 2.

A topological compiler can instead generate H_X and H_Z from incidence/boundary operators of a typed complex. Then commutation follows from boundary-squared-zero rather than being rediscovered by rejecting matrix pairs. This is a canonical example of constraint compilation: a theorem or structural identity is built into the parameterization so invalid coordinates never exist.

Why this is more than prefiltering#

Prefiltering samples an invalid point and throws it away. A compiled parameterization never proposes that point. This distinction matters when the invalid fraction is enormous. The ideal Shape-driven search therefore moves constraints as far upstream as possible: topology and group representation define the generator; Rulebook projectors define legal operator blocks; Actors define typed ownership; Co-Actors define negative controls; only then does numerical optimization choose remaining continuous coefficients.

Search accounting to record#

Ledger fieldMeaning
Raw coordinate bits/realsSize of the unconstrained representation that a generic solver could be given.
Compiled latent variablesIndependent variables exposed by the Shape compiler.
Generated candidate countHow many unique candidates the generator emits.
Invalid-candidate rateShould approach zero for constraints compiled into the generator.
Equivalence duplicatesCandidates isomorphic/gauge-equivalent to an earlier candidate.
Expensive simulationsDecoder/circuit simulations actually run.
Best-frontier regretDifference from the best strong baseline at equal physical ruler.

25H. Actor classes and Co-Actors: collapse by typed ownership and invariant relations#

Typing removes meaningless permutations of ownership#

The current Shape does not treat every object as an interchangeable node. Actors own different kinds of physical work: data/matter-like degrees of freedom, gauge/control connections, protected transformation channels, and safety projectors; Co-Actors own complements, leakage, quotient, rigidity and failure witnesses. In a design search this typing can collapse parameter permutations that differ only by assigning the same numerical module to physically inequivalent roles.

Let q resource instances be partitioned into k fixed role classes with counts q1,...,qk. If an untyped architecture generator redundantly explores every reassignment of those roles to labeled resources, the number of role labelings is the multinomial coefficient

2026-08-07T01:52:03.330774 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

A typed Stage/Actor compiler can choose the role partition once and search parameters within each role, rather than re-learning the same ownership relation for every candidate. This is parameter collapse only when the role assignment is independently justified; otherwise it is a modeling assumption that must be tested by allowing role-swaps in a control arm.

Invariant-class sharing#

If several Actors belong to the same invariant class for a particular rule, a class-level parameter may replace one independent parameter per identity. If N identities are partitioned into K invariant classes and a scalar coefficient is truly class-invariant, the coordinate count collapses from N to K. For q coefficients per identity the count changes from qN to qK.

2026-08-07T01:52:03.355343 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

The earlier Round-2 diagnostic found that the present binary Actor-Co-Actor applicability patterns are coarse and do not uniquely distinguish every Actor. That is not a reason to abandon class sharing; it is a reason to enrich the invariant relation with owner basis, carrier, representation/domain, witness status and constraint clause before using it as a parameter-sharing theorem.

Co-Actors as negative-space collapse#

Co-Actors collapse the search by representing ways a candidate can be invalid or unsafe before expensive evaluation. The crucial control is to keep a held-out error/failure suite. If Co-Actor pruning only removes candidates that fail the designer-visible error model but increases failure on hidden channels, the apparent collapse is target-loaded and must be rejected.

25I. Rigidity collapse: search only physical deformation directions#

Rigidity is the local differential audit of parameter collapse#

After discrete topology and symmetry reduction, a candidate may still have many continuous coordinates. The Rigidity block asks which infinitesimal variations are genuine physical deformations. Let C(theta)=0 be the active equality constraints and J=dC/dtheta their Jacobian. At a regular point, tangent deformations lie in ker J. Gauge/redundancy directions are then quotiented before physical deformation rank is counted.

T_{\theta}\mathcal M_{\rm adm}=\ker J(\theta),\qquad T_{\theta}\mathcal M_{\rm phys}=\ker J(\theta)/\operatorname{im}R_{\rm gauge}.

If theta has p components, rank J=r and the independent redundancy image inside the tangent space has dimension g, the regular local physical dimension is p-r-g. A full-rank Jacobian can therefore certify that a set of apparent knobs is locally fixed, while a null vector identifies an unresolved design degree that should remain in the optimizer.

Search consequence#

A black-box optimizer given p raw coordinates wastes evaluations moving along constraint-normal directions that are immediately projected back and along gauge/equivalent directions that do not change the design. A rigidity-aware parameterization chooses a basis V for the physical nullspace and searches latent coordinates z:

\delta\theta=Vz,\qquad V\subset\ker J,\qquad z\in\mathbb R^{d_{\rm eff}}.

This is especially useful for topology refinement: once a discrete architecture is selected, each local continuous optimization is carried out only in its physical deformation directions. If a rank change occurs, the candidate has crossed to a new stratum and must be reclassified rather than silently continuing with a stale latent basis.

Robustness rather than only speed#

The same Jacobian/Hessian information distinguishes a broad admissible basin from a razor-thin optimum. Parameter collapse should therefore be scored together with perturbation margin. A design that uses very few parameters because it sits at an unstable singular point is not an engineering success.

25J. Nature-derived tensors layered onto Shape#

Nature-derived tensors as a second stage of collapse#

The user-defined design method adds functional constraints discovered by comparing several natural systems that solve an analogous problem. The common mechanism is encoded as a tensor or invariant relation and attached to the frozen Shape. This is not evidence for fundamental geometry by itself; it is an engineering strategy for turning qualitative biological/physical lessons into auditable mathematical restrictions.

Suppose a raw n-by-n coupling matrix W is treated as n^2 independent real entries. A nature-derived mechanism may suggest that legal couplings lie in the span of r frozen basis tensors B_alpha determined by locality, compartment boundaries, redundancy or conservation:

2026-08-07T01:52:03.414397 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

The optimizer then searches r scalar coefficients rather than n^2 matrix entries. Shape determines where each B_alpha is allowed to have support and which Actors it connects; the nature-derived tensor determines the functional pattern within that support. The two sources of structure are therefore compositional rather than interchangeable.

Sequential challenge gates#

Let Omega_0 be the compiler space before engineering challenge gates. Challenge j adds a deterministic admissibility condition C_j. The spaces are nested:

2026-08-07T01:52:03.446447 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

For finite enumerated pools, no independence assumption is needed: if N_j=|Omega_j|, then the empirical collapse at gate j is N_{j-1}/N_j and the total is N_0/N_J. For generative spaces, the same accounting is estimated from frozen samples and accompanied by confidence intervals.

Examples of functional tensors to test#

ChallengeNature-level abstractionCandidate tensor/constraintShape attachment
Contain correlated faultsCompartmentalizationPropagation/cut tensor limiting cross-module amplificationStage interfaces + Co-Actors
Sparse reliable repairProofreading networksSparse incidence/recovery tensorGauge/control Actors
Graceful degradationDegenerate alternate pathwaysRedundancy/path tensorTopology + matter/data Actors
Selective leakage controlMembrane/channel selectivityProjector/admissibility tensorIY parity + C_admiss
Homeostatic robustnessFeedback around invariant setSensitivity/response tensorRigidity + Dynamics

25K. Hierarchical collapse: a compiler that shrinks the search before simulation#

The complete collapse ladder#

The strongest version of the design method does not ask one optimizer to discover topology, symmetry, role assignment, admissibility, safety and continuous control simultaneously. It compiles those decisions in an ordered ladder, while preserving a record of which upstream fact removed each candidate or coordinate.

\mathfrak X_0\xrightarrow{\rm topology}\mathfrak X_1\xrightarrow{\rm quotient}\mathfrak X_2\xrightarrow{\rm projectors}\mathfrak X_3\xrightarrow{\rm typing}\mathfrak X_4\xrightarrow{\rm CoActor}\mathfrak X_5\xrightarrow{\rm rigidity}\mathfrak X_6\xrightarrow{\rm nature\ tensors}\mathfrak X_7.
LayerWhat is removedWhat must be preserved
Topology/cohomologyGraphs/complexes with wrong global sectors or gluing.Coverage of target logical-sector requirements.
Symmetry quotientRelabelings and symmetry-equivalent copies.One representative of every physical orbit.
Projectors/admissibilityForbidden cross-sector operators/states.Every legal operator class needed for QEC.
Actor typingMeaningless role permutations and ownerless operations.Legitimate alternate ownership patterns in a control arm.
Co-Actor envelopeArchitectures with known failure channels.Held-out failure coverage; no target-visible pruning only.
Rigidity quotientConstraint-normal and redundancy directions.All physical null directions.
Nature tensorsFunctionally implausible high-dimensional couplings.A strong unconstrained baseline to measure regret.

Why the order matters#

Cheap exact constraints should act before expensive simulation. Topological identities, group orbits and projector zeros are exact and deterministic; they should not be rediscovered by a Monte Carlo decoder. Conversely, a noise-dependent performance preference should remain downstream and should not be promoted into a fundamental Shape rule. This separation prevents the search method from laundering benchmark information into the frozen geometry.

Log-space accounting#

Because discrete topology counts can span hundreds or thousands of bits, the ledger should report log2 candidate counts or covering numbers. For nested finite sets the collapse bits add exactly:

2026-08-07T01:52:03.481346 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

This additive ledger lets a reviewer see whether most of the reduction comes from a mathematically justified quotient or from a late, target-sensitive heuristic. The former is strong evidence of genuine parameter collapse; the latter is merely optimization.

25L. Worked six-sector parameter-collapse experiment#

Worked design study: structured six-sector logical-memory module#

This section defines a concrete, reproducible toy architecture search intended to test the parameter-collapse machinery before the full hardware campaign. It is not presented as the final quantum computer. The purpose is to make every reduction countable.

Raw parameterization#

Begin with six labeled sectors, motivated only as a convenient testbed for the six Weyl chambers. Let a Hermitian interaction/control matrix H act on one effective mode per sector. A generic H has 36 real parameters. Independently, allow a simple undirected inter-sector support graph with 15 possible edges, for 2^15 topologies. The raw mixed search is therefore a 36-dimensional continuous family over 32,768 labeled support graphs.

H=H^{\dagger}\in\mathbb C^{6\times6},\qquad p_{\rm raw}=36,\qquad |\mathcal T_{\rm raw}|=2^{15}=32768.

Shape collapse 1: S3-equivariant operator#

Impose the exact S3 regular-representation equivariance discussed above. The Hermitian operator dimension collapses from 36 to 6 real parameters.

Shape collapse 2: topology orbit quotient#

Let S3 act on the six sectors according to the frozen chamber action and quotient support graphs by this action. The exact number of orbits is computed by Burnside's lemma in the executable test rather than assumed to be 32768/6, because some graphs have nontrivial stabilizers.

Shape collapse 3: admissibility/projector constraints#

Declare protected and control sectors through frozen projectors and forbid direct protected-to-catastrophic blocks. Candidate supports violating the block-zero rule are never generated. Record the number of surviving graph orbits exactly.

Shape collapse 4: nature-derived sparse propagation tensor#

Add a preregistered propagation constraint limiting the number and arrangement of cross-module fault channels. This is explicitly an engineering tensor, not fundamental Shape. It is applied after the Shape quotient so its incremental effect can be separated.

What is measured#

MetricWhy it matters
Continuous dimension 36 -> dDirect parameter-collapse certificate.
Graph count 32768 -> orbit/admissible countDirect topology-collapse certificate.
Unique physical architectures evaluatedTests duplicate removal.
Decoder/circuit simulations to reach frontierTests computational utility.
Best logical-error/resource Pareto frontierCoverage/regret control.
Held-out symmetry-breaking noise performanceTests whether tying was too aggressive.
Ablation/restoration responseTests whether each collapsed information class is load-bearing.

The study is successful if the Shape parameterization reaches the same or a better valid Pareto frontier with materially fewer unique expensive evaluations, and if the gain disappears selectively when the relevant Shape constraint is removed. It fails if the reduced space has high regret, if the generic solver finds better valid architectures outside it, or if the alleged reduction consists mostly of relabeling already handled cheaply by the baseline.

25M. Production quantum-design search: proving collapse without assuming optimality#

The production experiment scales the same accounting to the actual modular QEC architecture. The raw generator is intentionally broad enough to include strong conventional motifs, while the Shape compiler generates a structured subfamily. Both arms receive the same physical noise, connectivity, resource and decoder models. The objective is not to make the Shape arm win; it is to determine whether the Shape subfamily is a high-quality low-dimensional chart on the useful part of design space.

Three search arms#

ArmRepresentationPurpose
RAW-STRONGGeneric graph/operator representation with exact constraint solver and symmetry/isomorphism handling where standard.Prevents a weak straw-man baseline.
SHAPE-COMPILEDFrozen Shape compiler plus declared nature-derived tensors.Measures parameter collapse and search efficiency.
SHAPE-ABLATE-iSame compiler with one information class removed and the remaining space fully reoptimized.Attributes the gain to specific Shape components.

Equal-budget protocol#

Each arm receives identical wall-clock or simulator-call budgets, identical held-out seeds and identical access to standard mathematical preprocessing. The strong raw arm is permitted to discover an equivalent low-dimensional representation; if it does, that shows the collapse is a useful representation but not unique to the Shape vocabulary. The load-bearing claim concerns the information encoded by the Shape, not proprietary terminology.

Primary statistical outputs#

OutputDefinition
Collapse bitslog2 raw covering/candidate count minus log2 compiled count at frozen resolution.
Effective dimensionRank/nullspace-based continuous dimension after exact constraints and quotients.
Evaluation efficiencyUnique expensive simulations required to hit a preregistered frontier threshold.
RegretDifference between best valid Shape result and best strong-baseline result under common ruler.
Duplicate rateFraction of generated candidates isomorphic/equivalent to prior candidates.
Invalid rateFraction violating exact conditions that could have been compiled upstream.
Robustness marginPerformance degradation under frozen perturbation suite.

What would be a convincing result#

A persuasive result is not merely “Shape searched fewer points.” It is a multi-part certificate: (1) exact or reproducible counts show large collapse; (2) the compiled space retains the strong frontier with low regret; (3) ablation selectively expands the search or worsens efficiency; (4) restoration recovers the effect; (5) placebo transformations do not change it; and (6) independent replay obtains the same counts and rankings.

25N. Upstream precedent: parameter collapse in the Standard-Model/flavor construction#

The upstream physics already uses the same idea#

The proposed QEC compiler is not introducing parameter collapse from nowhere. The physics construction already relies on structured parameterization: the K6 invariant metric has symmetry-related directions; quotient/parity data remove sectors; projectors enforce representation domains; the finite chamber generates Yukawa structures from a restricted operator family rather than four arbitrary dense complex matrices. The cross-domain hypothesis is that the same kind of structural compression is useful in engineering.

Flavor example with an explicit claim boundary#

A general complex 3x3 matrix contains 18 real parameters. The diagonal chamber expression used as one stage of the current quark construction,

2026-08-07T01:52:03.526123 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

is specified by a normalization and the common hierarchy parameter at that stage, before the full mixing/operator machinery is applied. This is a dramatic local parameter collapse relative to an arbitrary matrix, but it must not be misreported as the complete flavor parameter economy. The current GUT audit explicitly retired the older “four inputs to twenty-two outputs” oversimplification and records additional injected reals and structural data. The honest lesson for QEC is methodological: structured geometry can replace arbitrary matrix entries with invariant coordinates, but every remaining coordinate must still be charged.

Why cross-domain recurrence would matter#

If independently frozen physics structure repeatedly produces low-dimensional, high-coverage coordinate charts in quantum engineering, that is stronger than observing one numerical coincidence. The same mechanism would be doing two conceptually different jobs: reducing arbitrary free parameterization in particle physics and reducing arbitrary architecture parameterization in QEC. That recurrence is the consilience target.

25O. Failure modes and hostile-review controls for parameter collapse#

How parameter collapse can fool us#

A constrained search almost always looks more efficient if one ignores what it excluded. The validation therefore treats overconstraint as a primary failure mode, not a secondary caveat.

Failure modeHow it produces a false winRequired control
Target-loaded constraintA rule is chosen after seeing the benchmark and removes losing candidates.Freeze chronology; blind held-out objectives.
Symmetry overreachParameters are tied despite hardware/noise breaking the symmetry.Symmetry-breaking benchmark arms.
Hidden parameter migrationA deleted parameter reappears as decoder, boundary or calibration freedom.Full parameter/resource ledger after every compile.
Duplicate baselineRaw baseline wastes time on relabelings that any competent solver would quotient.Give RAW-STRONG standard isomorphism/symmetry tools.
Coverage collapseSmall space misses the actual good architectures.Regret and known-architecture coverage tests.
Singular rigidityApparent low dimension comes from an unstable rank-changing point.Rank-stratified rigidity and perturbation margins.
Cheap proxy mismatchCollapse is scored on a proxy that does not predict circuit-level performance.Final common-ruler circuit/noise replay.

The no-free-lunch interpretation#

Shape can improve search only by injecting prior information. The scientific question is whether that prior information was independently justified by the physics and whether it generalizes to held-out engineering conditions. If it does, the collapse is evidence that the Shape encodes reusable structure. If it does not, the smaller search space is merely a bias.

Null results that remain valuable#

25P. Pre-registration and certificate format for the parameter-collapse claim#

Parameter-collapse certificate to publish for every production run#

FieldRequired record
Raw design grammarExact discrete generators, continuous coordinates and allowed standard preprocessing.
Shape compiler hashContent hash of topology, quotient, projector, Actor/Co-Actor and tensor rules.
External resolution epsilonFixed common ruler for continuous covering-number comparisons.
Discrete count/orbit methodExact enumeration, Burnside/isomorphism method, or statistically justified estimator.
Constraint JacobianRank and stratum information for continuous collapse.
Latent parameter listEvery continuous/discrete coordinate still optimized after compilation.
Parameter migration auditProof that removed degrees did not reappear downstream.
Coverage setKnown strong architectures/solutions that the compiler must represent or explicitly exclude.
Held-out suiteNoise, hardware perturbation and adversarial channels hidden until final scoring.
Search budgetSimulator calls, decoder calls, CPU/GPU time and random seeds.
Frontier/regret resultCommon-ruler performance of Shape and RAW-STRONG arms.
Ablation/restoration resultPer-component causal attribution.

Minimum positive result#

For a component X to receive a PARAMETER-COLLAPSE LOAD-BEARING label in the engineering dossier, all of the following should hold:

  1. X removes a mathematically identifiable equivalence, forbidden direction, typed redundancy or constrained degree of freedom.
  2. The reduction is measured as a discrete count, covering-number reduction, rank reduction, or exact latent-coordinate reduction.
  3. The compiled space retains a preregistered performance frontier within tolerance of the strong raw baseline.
  4. Removing X expands the search or raises evaluation cost in the predicted way after equal reoptimization.
  5. Restoring X restores the collapse/efficiency effect.
  6. Placebo transformations leave the result invariant.
  7. The effect survives held-out hardware/noise perturbations within the claimed scope.
  8. An independent replay reproduces the result from the frozen compiler and seeds.

Stronger cross-domain label#

A component may be called CROSS-DOMAIN LOAD-BEARING only if its upstream physics role is independently certified at the claimed level and its downstream QEC parameter-collapse or performance role passes the engineering protocol. This wording still does not mean “unique geometry proven.” It means the same frozen structural information carries demonstrable load in two independent chains.

25Q. Narrative synthesis: Shape as a coordinate system for difficult design searches#

The scientific excitement is in the scoreboard that follows. If the reduced formation reaches the same or better Pareto frontier with orders-of-magnitude fewer unique expensive trials, and if removing the specific Shape structures gives those efficiencies back, the geometry is doing measurable engineering work. If the unconstrained team simply finds better plays outside the Shape formation, the geometry has overconstrained the problem and the result belongs in the loss column.

That is why parameter collapse is such a useful cross-domain test. It does not require the geometry to force a unique solution. It asks a more modest and more falsifiable question: did the geometry correctly identify coordinates that never needed to be searched independently? Every exact yes is a piece of load-bearing evidence. Every no tells us which claimed structural relation does not transfer.

Public-facing statement if the experiment succeeds#

26. Hostile-review objections and what would actually answer them#

26.1 "You designed the QC analogy after seeing the answer"#

Answer: freeze the component-to-compiler mapping, objective, hardware/noise model and held-out tests before running the final simulation. Preserve hashes. Any later improvement is a new branch and cannot be credited to the frozen test.

26.2 "These are generic mathematical ideas, not evidence for your geometry"#

Partly correct. Projectors, topology, holonomy and symmetry are widely used in QEC. The experiment becomes informative only if the specific combination and detailed frozen structure selected in the upstream physics provides predictive engineering constraints, and component-specific ablations produce component-specific losses. Generic usefulness is not enough.

26.3 "A sufficiently powerful optimizer can rediscover all of this"#

That does not automatically defeat load-bearingness. If the optimizer is given the same structural information under another representation, then a tie shows representational equivalence. If the information is genuinely removed and the optimizer reconstructs an equivalent structure from independent data, then the component is substitutable. The correct conclusion is not unique forcing. The experiment is designed to distinguish those cases.

26.4 "You can make any component look useful by choosing a favorable metric"#

Use a vector of preregistered metrics and publish all of them. A component earns load-bearing status only on the subsystem effect predicted before the run and only if the result survives the common-ruler resource ledger. No single weighted aggregate may hide a regression elsewhere.

26.5 "The physics claims themselves are disputed"#

The QC experiment does not cure that. It is an independent cross-witness. If a GUT gate fails later, the engineering result remains an engineering result; if the QC design fails, the physics certificate cannot cite it as a rescue. The no-feedback firewall is binding in both directions.

26.6 "A simulation is not hardware"#

Correct. Simulation can establish mathematical consistency, code properties under declared noise, and comparative resource projections. Hardware validation is a later evidence tier. The report therefore uses SIMULATED, REPLAYED, and HARDWARE-VALIDATED as distinct labels.

27. Evidence and claim ladder#

27.1 Evidence tiers#

TierRequired evidenceAllowed wording
T0 - AnalogyA verbal structural resemblance only"suggests a design analogy"
T1 - Exact translationA mathematical map and exact toy/micro-certificate"the component can be compiled into..."
T2 - Simulated useComplete code/circuit/decoder simulation on declared noise"simulated engineering evidence"
T3 - Ablation load-bearingAblate -> equal re-optimize -> predicted loss -> restore"load-bearing at the tested simulated scope"
T4 - Independent replayExternal team reproduces frozen run"independently reproduced load-bearing effect"
T5 - HardwarePhysical device or bench demonstrates predicted effect"hardware-validated engineering transfer"
Physics conclusionRequires independent physics evidence beyond QCNever infer uniqueness/fundamental truth solely from T0-T5

27.2 Decision rule for each Shape row#

Each component ends in one of five states: NOT-USED, USED-NOT-LOAD-BEARING, SEARCH-ACCELERATOR, LOAD-BEARING-SUBSTITUTABLE, or LOAD-BEARING-DIFFICULT-TO-SUBSTITUTE. The public narrative should print the state next to the component rather than converting every result into a success.

27.3 What would be genuinely surprising#

The most compelling outcome would not be a single headline ratio. It would be a pattern of orthogonal, preregistered effects: K6 symmetry changes routing/redundancy; the quotient changes leakage; Co-Actors change correlated-fault resilience; the safety projector changes catastrophic propagation; Rigidity changes fabrication sensitivity; and placebo relabelings change nothing. A multi-component pattern is harder to explain as one lucky code optimization.

Appendix A - Full-precision Shape packet and unresolved convention#

A.1 Stage constants carried by the current Shape source#

QuantityFrozen/current valueStatus
R01.591549430918954e-17 GeV^-1source-confirmed
R6R0source-confirmed
R2R0source-confirmed
RYR0/2 = 7.957747154594769e-18 GeV^-1manifest/source-confirmed; conflicts with legacy interval-volume numeric table
Vol(K6)2.327554010848277e-99 GeV^-6source-confirmed
Vol(S2)3.183098861837907e-33 GeV^-2source-confirmed
Ric_i normalized K65/12exact in normalized center
Scal normalized K65/2exact in normalized center
|Ric|^225/24exact
|Riem|^223/12exact
|nabla Riem|^21/4exact; non-locally-symmetric witness
chi(K6), chi(S2), chi(IY)6, 2, 1topological
chi(X9)12derived
Betti(X9)(1,0,3,0,4,0,3,0,1)source ledger
constraint Jacobianrank 5, det 2constitutive/exact-constrained rigidity
unrestricted control modem^2=-1/3negative control retained

A.2 Flavor/chamber constants used in the upstream physics#

QuantityCurrent value/role
tauomega = exp(2pi i/3)
kappa0.004333420509983131
eta_BK0.009721281516312024 (current A1 value)
K_tb^crit0.7117081304239685
a_u(2,1,0)
a_d(4/3,2/3,0)
y_t(MZ)0.9665 declared flavor calibration
|V_us|0.22436 declared mixing calibration
raw order-three phase-2pi/3; source uses Wolfenstein-aligned +60 deg comparison

A.3 Scale conflict that must not be hidden#

The Stage source gives Vol(IY)=pi RY. With RY=R0/2, this is 2.5e-17 GeV^-1 and Vol(X9)=1.852208630699352e-148 GeV^-9. A legacy SG-1/GUT numerical table prints twice those values, corresponding to RY=R0. This is an exact factor-of-two convention conflict. Until ratified, any engineering translation that needs an absolute interval scale must show both branches or remain dimensionless.

Appendix B - Current Actor and Co-Actor registries#

B.1 Primary Actor registry#

IDNameClassOwnerCarrierStatus
A-GRAVFour-dimensional metric/graviton response moduleDYNAMIC-CARRIEROWN-GRAVLorentzian 4D metric response moduleCONFIRMED-PRIMARY
A-G3SU(3)_c connection moduleDYNAMIC-CARRIEROWN-G3Eight-dimensional adjoint connection moduleCONFIRMED-PRIMARY
A-G2SU(2)_L connection moduleDYNAMIC-CARRIEROWN-G2Three-dimensional adjoint connection moduleCONFIRMED-PRIMARY
A-G1YU(1)_Y connection moduleDYNAMIC-CARRIEROWN-G1YOne-dimensional abelian connection moduleCONFIRMED-PRIMARY
A-QLQ_L chiral matter module with family multiplicity threeDYNAMIC-CARRIEROWN-QLChiral matter section moduleCONFIRMED-PRIMARY
A-URu_R chiral matter module with family multiplicity threeDYNAMIC-CARRIEROWN-URChiral matter section moduleCONFIRMED-PRIMARY
A-DRd_R chiral matter module with family multiplicity threeDYNAMIC-CARRIEROWN-DRChiral matter section moduleCONFIRMED-PRIMARY
A-LLL_L chiral matter module with family multiplicity threeDYNAMIC-CARRIEROWN-LLChiral matter section moduleCONFIRMED-PRIMARY
A-ERe_R chiral matter module with family multiplicity threeDYNAMIC-CARRIEROWN-ERChiral matter section moduleCONFIRMED-PRIMARY
A-NURnu_R chiral matter module with family multiplicity threeDYNAMIC-CARRIEROWN-NURGauge-singlet chiral matter section moduleCONFIRMED-PRIMARY
A-EWElectroweak Higgs/Wilson response moduleDYNAMIC-OR-PROTECTED-CARRIEROWN-EWOne electroweak order-parameter/holonomy response sectorCONFIRMED-IDENTITY; REALIZATION-CONDITIONAL
A-GAGA-CA-1 Geometric Admissibility constraint-reaction moduleSTRUCTURAL-CONSTRAINT-ACTOROWN-GAConstraint/reaction response moduleCONFIRMED-STRUCTURAL
A-CDOXi_CDO Chiral-Domain and Orbifold-Parity moduleSTRUCTURAL-DOMAIN-ACTOROWN-CDOFolded interval, parity/domain, cutoff projector, admitted Hilbert space, and 4D chiral readoutCONFIRMED-STRUCTURAL-SCOPED

B.2 Universal Co-Actor class registry#

IDNameDefinition
CA-PARENTParent/background validity complementBackground equations, vacuum/reaction solvability, and branch consistency that can preserve, invalidate, or reopen an Actor.
CA-PROVENANCEProvenance/freeze complementLayer, source, freeze, target-independence, and branch-lineage tests.
CA-OWNEROwner/equation complementTests that every Actor or claimed new sector has one independent owner and a complete equation disposition.
CA-TYPECarrier/type/global-lift complementSupport, carrier, representation, bundle, and global-lift tests.
CA-DOMAINBoundary/domain/descent complementParity, self-adjoint domain, ellipticity, restriction, fixed-set, edge, and gluing tests.
CA-QUOTIENTGauge/constraint/BRST complementGauge, exact-constraint, projection, and redundancy classifiers.
CA-CHIRALITYChirality/family/mirror complementTests the chiral kernel, family multiplicity, mirror sources, regulator mirrors, and parity-compatible moves.
CA-GLOBALTopology/anomaly/determinant/inflow complementGlobal quotient, characteristic/topological class, local anomaly, inflow, determinant-line, bordism, and gluing tests.
CA-MEASUREPhysical pairing/measure/positivity complementReduced symplectic pairing, Dirac/FP/BV determinants, reflection positivity, probability, and null/negative-norm tests.
CA-SPECTRUMSpectrum/gap/tail complementZero modes, boundary modes, topological modes, KK towers, gaps, tails, and hidden-light-sector tests.
CA-OBSERVERObserver/response complementParent-to-record map, kernel/image, normalization, wrong-ruler, alias, and inaccessible-sector tests.
CA-DYNAMICSDynamics/causality/conservation complementEvolution invariance, Ward identities, causal response, conservation, and time-consistency tests.
CA-INTERACTIONInteraction/source complementParent-owned gauge, Yukawa, gravity, source, selection, and claimed-zero interaction tests.
CA-RIGIDITYRigidity/deformation complementMetric, bundle, Wilson, boundary, Actor, Rulebook, Observer, and mixed-sector deformation tests.
CA-SCALEScale/Granularity complementUnits, radii, cutoffs, same-ruler transport, operational equivalence, and scope-change tests.
CA-CANONICALCanonical split/merge complementIndecomposability, duplicate-owner, basis alias, over-compression, and phase-dependent split/merge tests.
CA-REGULATORRegulator/refinement complementGhost, counterterm, doubler, auxiliary-sector, quantum refinement, and regulator-invariance tests.
CA-EXHAUSTIONGrammar exhaustion/reopen complementCandidate generation, omitted-rival controls, saturation counters, source completeness, and versioned reopening.

The full Actor-Co-Actor matrix contains 13 x 18 = 234 cells. This dossier uses the matrix as an applicability/provenance aid but does not treat a binary applicability pattern by itself as sufficient evidence of invariant structure. Rich witness fields and named systems are required in the final QC replay.

Appendix C - Exact micro-certificates used by the compiler#

C.1 Stabilizer/code-space projector#

P=\frac14(I+Z_1Z_2)(I+Z_2Z_3),\quad P^2=P,\quad \operatorname{tr}P=2.

Verified numerically during dossier assembly: idempotence residual 0.0; trace 2.0.

C.2 Parity projector#

\Pi=\operatorname{diag}(1,-1,1,-1),\quad P_+=\frac12(I+\Pi),\quad P_+^2=P_+,\quad\operatorname{tr}P_+=2.

Verified numerically: idempotence residual 0.0; trace 2.0.

C.3 S3 symmetrizer#

2026-08-07T01:36:41.200963 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

On three qubits, the exact permutation symmetrizer has trace 4; the numerical idempotence residual used here is 0.0. This demonstrates how a Weyl/permutation equivalence can be turned into an actual code-space restriction rather than a labeling convention.

C.4 No-direct-path block#

2026-08-07T01:36:41.231269 image/svg+xml Matplotlib v3.10.8, https://matplotlib.org/

For a block-diagonal toy Hamiltonian the cross-block norm is exactly zero. Adding an explicit off-block epsilon supplies a continuous falsification knob. This is the miniature version of the proton-safety-to-fault-firewall translation.

Appendix D - Source register and reproducibility requirements#

D.1 Internal source register#

D.2 Standard external QEC references used for context#

D.3 Reproducibility rule#

A final public version should ship with: the exact Shape source hashes above; the compiler source; generated candidate registries; the complete hardware/noise manifest; frozen seeds; full code/circuit/decoder outputs; ablation/restoration runs; placebo runs; and a machine-readable component-to-output dependency graph. Any result that cannot be regenerated from that package should be downgraded to narrative-only.

Appendix E - Complete Shape registry carried into the cross-domain test#

E.1 Complete current Stage-instance registry#

The table below is source-derived from Shape V8.1. It is included so a reviewer can verify that the QC compiler has not quietly reduced "Shape" to the four-factor product label. Every row is a potential dependency or ablation surface.

IDStage instanceSource statusSource definition
S-01Observer spacetime `M4`CONFIRMED / DYNAMICFour-dimensional Lorentzian observer spacetime with dynamic metric `g_mu_nu(x)`. It is the comparison surface for four-dimensional records and local gravity.
S-02Color/family carrier `K6 = SU(3)/T^2`CONFIRMED / EXACT-CONSTRAINEDSix-dimensional compact full flag manifold with three real root-plane tangent modules and frozen isotropic metric at `(u1,u2,u3)=(1,1,1)` and radius `R6=R0`.
S-03Weak carrier `S2`CONFIRMED / SCALE-CONSTRAINEDTwo-dimensional round sphere with radius `R2=R0`, Euler characteristic two, and geometric `SO(3)`/`SU(2)` weak-carrier support.
S-04Parent hypercharge cover `S1_Y`CONFIRMED COVER / NOT ACTIVE QUOTIENTOne-dimensional circle carrying the reflection action `theta -> -theta`; it has a closed one-cycle and supplies the covering presentation only.
S-05Active orbifold interval `I_Y = S1_Y/Z2`CONFIRMED / QUOTIENT-FIXEDOne-dimensional active interval with two fixed endpoints, radius `RY=R0/2`, contractible topology, and no active closed one-cycle.
S-06Active internal Stage `X9`CONFIRMED`X9=K6 x S2 x I_Y`, dimension nine, compact with two boundary components and Poincare polynomial `1+3t^2+4t^4+3t^6+t^8`.
S-07Parent internal cover `X9_tilde`CONFIRMED COVER`X9_tilde=K6 x S2 x S1_Y`; it is boundaryless in the circle direction and has cover-only `b1=1`.
S-08Complete active Stage `X13`CONFIRMED`X13=M4 x K6 x S2 x I_Y`, total metric dimension thirteen. Rulebook and Actor layers add no metric dimensions.
S-09Complete parent cover `X13_tilde`CONFIRMED COVER`X13_tilde=M4 x K6 x S2 x S1_Y`, used for cover-to-quotient construction and parity/gluing checks.
S-10Regular bulk stratumCONFIRMED`M4 x K6 x S2 x Int(I_Y)`, dimension thirteen, with no interval isotropy away from the fixed endpoints.
S-11Fixed stratum `F0`CONFIRMED; BND-A/B DOMAIN WITNESSES SCOPED`F0=M4 x K6 x S2 x {0}`, dimension twelve; inward/outward normal and parity/domain data are required at this support.
S-12Fixed stratum `Fpi`CONFIRMED; BND-A/B DOMAIN WITNESSES SCOPED`Fpi=M4 x K6 x S2 x {pi}`, dimension twelve, with opposite interval-normal orientation from `F0`.
S-13K6 root-plane tangent decompositionCONFIRMED`T(K6)=m1 direct-sum m2 direct-sum m3`, each `mi` a real two-plane associated with one positive `A2` root; this is the complete homogeneous metric-extension basis used by the rigidity calculation.
S-14Frozen block-product metricCONFIRMED / MIXED MODES EXCLUDED`G13=g4 direct-sum R6^2 h_*(K6) direct-sum R2^2 gamma_round direct-sum RY^2 dtheta^2`; undeclared mixed external/internal and off-diagonal internal components are outside the physical Stage.
S-15Boundary incidence and normal-orientation ledgerCLASSIFICATION-CLOSED; OPERATOR-DOMAIN EXECUTION SCOPEDThe active Stage has exactly two disjoint interval fixed strata, no mobile brane-position coordinate, no interval corners beyond the endpoints, and opposite normal orientations.
S-16Topology and cohomology ledgerCONFIRMED EXACT`chi(K6)=6`, `chi(S2)=2`, `chi(I_Y)=1`, hence `chi(X9)=12`; `pi1(X9)=0`, `b1(X9)=0`, with Betti numbers `(1,0,3,0,4,0,3,0,1)`.
S-17Stage symmetry and automorphism ledgerCONFIRMED STRUCTURALThe physical symmetry is restricted to transformations preserving the complete frozen Stage, schematically `Diff(M4) semidirect (Aut(X9,h_*) semidirect G_bundle)` with orbifold restrictions; Stage-changing diffeomorphisms are not gauge.
S-18Physical Stage configuration spaceCONFIRMED CONSTITUTIVE RIGIDITYThe five metric/radius directions have exact constraint-Jacobian rank five, determinant two, and zero physical tangent dimension. This is constitutive/exact-constrained rigidity, not dynamical stabilization.
S-19Geometric Scale and volume packetRADIUS CONFIRMED; INTERVAL-LENGTH/VOLUME CONVENTION CONFLICT OPEN`R6=R2=R0=1.591549430918954e-17 GeV^-1` and `RY=R0/2` are explicit in the current manifest. The dossier numeric interval-length and total-volume table instead evaluates as if `RY=R0`; this conflict is recorded below and must be owner-ratified.
S-20Curvature and non-symmetric-geometry ledgerCONFIRMED AT NORMALIZED K6 CENTERAt the normalized isotropic `K6` center: `Ric_i=5/12`, `Scal=5/2`, `|Ric|^2=25/24`, `|Riem|^2=23/12`, and `|nabla Riem|^2=1/4`; therefore `K6` is homogeneous Einstein but not locally symmetric.
S-21Observer and local-relativity supportCONFIRMED LOCAL / GLOBAL CONDITIONALLocal Lorentz/SR structure follows on the four-dimensional Lorentzian support; global SR requires the separately certified flat-vacuum branch.
S-22Stage rival and equivalence grammarCLASSIFICATION-CLOSED; ABSOLUTE UNIQUENESS OPENCoordinate, chart, cover, and isometric duplicates are merged; rival topologies or factor structures remain separate branches. The selected Stage is closed as a constrained construction, not proved absolutely unique among all geometries.

E.2 Complete current Rulebook-instance registry#

Likewise, the Rulebook is broader than the finite flavor chamber. The current Shape source classifies domain, quotient, anomaly, positivity, spectrum, dynamics, rigidity, ruler, observer, interaction, equivalence, regulator and evidence/freeze rules as part of the complete typed object.

IDRulebook instanceSource statusSource definition
R-01Typed three-layer parent manifestCONFIRMED-STRUCTURAL
R-02Layer/provenance and no-smuggling ledgerCONFIRMED-STRUCTURAL
R-03Variational ownership and displaced-equation ruleCONFIRMED-STRUCTURAL
R-04Exact internal-geometric admissibilityCONFIRMED-STRUCTURAL
R-05Complete strata, parity, domain, and descent ruleCLASSIFICATION-CLOSED; BND-A/B WITNESSES-SCOPED
R-06Carrier, bundle, and representation admissionCONFIRMED-STRUCTURAL
R-07Global gauge form and charge latticeSCOPED-EXACT
R-08Orbifold chirality and mirror-exclusion ruleCONFIRMED-STRUCTURAL-SCOPED
R-09Gauge/constraint physical quotientCONFIRMED-STRUCTURAL; FULL QUANTUM WITNESS-SCOPED
R-10Global anomaly, inflow, and determinant-line ruleCLASSIFICATION-CLOSED; BND-B EXECUTION-SCOPED
R-11Physical measure, positivity, and probability ruleCLASSIFICATION-CLOSED; FULL MEASURE-CERTIFICATE-SCOPED
R-12Complete spectrum, no-excess, gap, and tail ruleCLASSIFICATION-CLOSED; FULL-TOWER EXECUTION-SCOPED
R-13Dynamics, causal response, and conservation ruleCONFIRMED-STRUCTURAL; SECTOR WITNESSES-SCOPED
R-14Rigidity, deformation, and protected-scalar ruleCONFIRMED-STRUCTURAL; MIXED/FULL-TOWER WITNESSES-SCOPED
R-15Scale, ruler, provenance, and operational-equivalence ruleCONFIRMED-STRUCTURAL
R-16Observer projection and calibration firewallCONFIRMED-STRUCTURAL; CONTINUOUS MAPS-SCOPED
R-17Interaction/source and proton-safety selection ruleCONFIRMED-CLASSIFICATION; FULL INTERACTION HYPERGRAPH-SCOPED
R-18Canonical physical equivalence and one-owner ruleCONFIRMED-STRUCTURAL
R-19Regulator/refinement and no-new-pole ruleCLASSIFICATION-CLOSED; REGULATOR-INDEPENDENCE WITNESSES-SCOPED
R-20Candidate-neutral freeze, evidence, exhaustion, and reopen ruleCONFIRMED-GOVERNANCE-RULEBOOK
R-21Finite modular chamberDECLARED-FROZEN
R-22Generation basis and sector-projector algebraDECLARED-FROZEN; DOWNSTREAM FLAVOR CERTIFICATES-SCOPED
R-23Flavor ladder and normalization firewallDECLARED/CALIBRATED; PREDICTIVE CLAIMS-SCOPED
R-24Finite phase, holonomy, and RG transport dataDECLARED/CALIBRATED; PHENOMENOLOGICAL CERTIFICATES-SCOPED
R-25Singular electroweak-owner realization ruleIDENTITY-CLOSED; REALIZATION-CONDITIONAL
R-26Vacuum/background and constant-shift scope ruleCLASSIFICATION-CLOSED; PHYSICAL VACUUM CERTIFICATES-SCOPED

E.3 How these registries are used in the QC replay#

A QC run does not need to instantiate every physics-specific rule literally. It must, however, disposition every row: CONSUMED, TRANSLATED, NOT-APPLICABLE-BY-GRAMMAR, or DEFERRED-TO-DOWNSTREAM-GATE. A row may not disappear silently. This is the same no-smuggling discipline the Shape source applies to physics.

DispositionMeaning in the cross-domain compiler
CONSUMEDThe exact structural datum constrains the QC architecture or its resource/error ledger.
TRANSLATEDThe invariant role is used but the concrete physics identity changes; e.g., interaction ownership becomes coupler ownership.
NOT-APPLICABLE-BY-GRAMMARThe physics-specific row has no lawful QC counterpart; the compiler explicitly records why.
DEFERRED-TO-DOWNSTREAM-GATEThe row belongs to logical-gate, full-processor, or hardware validation rather than QC-G1 memory.

Appendix F - Pre-registered component-by-component ablation, repair, placebo and null rules#

F.1 M4 causal support#

FieldPre-registered content
Ablation/substitutionRemove locality/causal scheduling cost but keep abstract code algebra.
Allowed re-optimizationAll code/circuit/decoder variables may re-optimize; hardware graph and physical error anchors stay frozen.
Forbidden repairDo not add a hidden long-range bus after the fact or change hardware connectivity.
Primary observableTotal routed interaction length / extraction depth at fixed logical failure.
Placebo controlCoordinate or device-label relabeling.
Null interpretationIf nonlocal-free and locality-charged optima are equivalent on the same hardware, M4 support is redundant for QC-G1.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.2 K6 Weyl/chamber structure#

FieldPre-registered content
Ablation/substitutionReplace S3/Weyl equivalence by degree- and resource-matched randomized sector relations.
Allowed re-optimizationCode checks, decoder and schedule may re-optimize.
Forbidden repairDo not preserve the original Weyl orbit under different labels.
Primary observableHeld-out logical failure plus parameter/search complexity and symmetry-breaking sensitivity.
Placebo controlPermutation within the true S3 orbit.
Null interpretationIf random/alternative relations reproduce the same frontier with no added cost, the K6 Weyl structure is substitutable or redundant.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.3 S2 SU(2) covariance#

FieldPre-registered content
Ablation/substitutionReplace rotationally related doublet test family with a single privileged basis or Abelian family.
Allowed re-optimizationSyndrome basis and decoder may re-optimize.
Forbidden repairDo not use rotated-noise training data to recreate the deleted covariance constraint.
Primary observableWorst-case logical failure over the preregistered orientation/noise-bias orbit.
Placebo controlGlobal basis rotation with correct conjugation of all operators.
Null interpretationNo change in worst-case basis robustness means S2 covariance is not load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.4 S1Y periodic phase#

FieldPre-registered content
Ablation/substitutionUnwrap the periodic phase coordinate to an unconstrained real control.
Allowed re-optimizationGate synthesis and pulse schedule may re-optimize.
Forbidden repairDo not reinsert a hidden modulo-2pi identification or topological winding penalty.
Primary observableClosed-loop gate error under calibration drift; control complexity.
Placebo controlShift the origin of the periodic coordinate.
Null interpretationIf winding/periodicity gives no robustness or complexity benefit, the parent-cycle datum is not load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.5 IY Z2 quotient / fixed strata#

FieldPre-registered content
Ablation/substitutionUse the unquotiented sector and/or remove endpoint-specific control roles.
Allowed re-optimizationDecoder, local checks and leakage-recovery circuitry may re-optimize.
Forbidden repairDo not impose the same parity projector under a new name.
Primary observableLeakage rate, syndrome ambiguity, reset/control resources, logical failure.
Placebo controlExchange equivalent endpoint labels together with normal orientation bookkeeping.
Null interpretationIf equal re-optimization erases the predicted leakage/boundary loss, the quotient is not load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.6 X9/X13 factorization#

FieldPre-registered content
Ablation/substitutionPermit free merging of modules and unowned cross-couplings.
Allowed re-optimizationAll module sizes and code choices may re-optimize.
Forbidden repairNo off-ledger couplers or resources may be omitted from the common ruler.
Primary observableTotal resource vector and correlated-fault propagation.
Placebo controlReorder independent product factors without changing incidence.
Null interpretationIf typed factorization never changes feasibility, cost, or fault propagation, it is representational rather than load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.7 A2 root-plane incidence#

FieldPre-registered content
Ablation/substitutionRandomly rewire the three coupling families while matching degree and edge count.
Allowed re-optimizationChecks/decoder/schedule may re-optimize.
Forbidden repairDo not retain the original A2 incidence as a feature.
Primary observablePareto frontier: logical failure vs connectivity/check weight vs robustness.
Placebo controlPermute root-family names.
Null interpretationIf rewiring is indistinguishable on held-out cases, root-plane structure is not load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.8 Topology/cohomology ledger#

FieldPre-registered content
Ablation/substitutionHide global chain-complex/topology data while preserving local neighborhoods.
Allowed re-optimizationGeneric solver may infer global structure only from the remaining raw incidence data within equal compute budget.
Forbidden repairDo not hand it Betti numbers, homology labels or boundary class names.
Primary observableLogical-sector correctness and search cost on topology-twin cases.
Placebo controlChain-basis change preserving homology.
Null interpretationIf local data always recover the same global answer at no extra cost, the explicit topology ledger is a convenience rather than load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.9 Rigidity screen#

FieldPre-registered content
Ablation/substitutionRemove perturbation-margin/Jacobian requirements.
Allowed re-optimizationOptimizer may select any nominal optimum.
Forbidden repairDo not change the fabrication/noise perturbation ensemble after seeing failures.
Primary observableWorst-case and distributional degradation under the frozen perturbation ensemble.
Placebo controlReparameterize coordinates with Jacobian transform.
Null interpretationIf nominal and robust optima coincide, Rigidity is not load-bearing for this gate.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.10 F+ finite chamber#

FieldPre-registered content
Ablation/substitutionReplace the frozen finite operator algebra with an equal- or larger-parameter generic operator block.
Allowed re-optimizationGeneric block may train/search on the same training data and compute budget.
Forbidden repairNo per-held-out-case fitting; no hidden use of frozen F+ operators.
Primary observableHeld-out logical failure, parameter count, relabeling generalization, phase/gate robustness.
Placebo controlUnitary basis change within the same frozen chamber.
Null interpretationIf a generic block matches the entire frontier with no extra complexity, F+ is not specifically load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.11 C_admiss#

FieldPre-registered content
Ablation/substitutionRemove pre-admission of valid code/architecture states.
Allowed re-optimizationOptimizer may spend the same expensive-evaluation budget on any candidate.
Forbidden repairDo not use an equivalent validity checker before expensive evaluation.
Primary observableValid frontier discoveries per expensive simulation plus final Pareto quality.
Placebo controlReorder commuting stabilizer generators.
Null interpretationIf no change in efficiency or attainable quality, admissibility is not load-bearing; if only efficiency changes, label SEARCH-ACCELERATOR.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.12 Sector projectors / class invariants#

FieldPre-registered content
Ablation/substitutionAllow per-identity rules and nonorthogonal sector mixing.
Allowed re-optimizationOptimizer may use the same total parameter count.
Forbidden repairNo hidden hard-coded projector labels.
Primary observableCross-implementation generalization, leakage/cross-talk, relabeling invariance.
Placebo controlPermute Actor identities within an invariant class.
Null interpretationIf per-identity tuning is equally robust and no extra parameters are needed, the invariant projector/class structure is not load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.13 Matter Actor ownership#

FieldPre-registered content
Ablation/substitutionCollapse data/ancilla/coupler roles into one untyped pool.
Allowed re-optimizationArchitecture may reassign roles freely.
Forbidden repairEvery physical resource must still be counted.
Primary observableCommon-ruler resource total and correctness of code/measurement domains.
Placebo controlRename hardware instances inside a role.
Null interpretationIf typing never changes feasibility or accounting, Actor ownership is not load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.14 Gauge/control Actor ownership#

FieldPre-registered content
Ablation/substitutionTreat abstract stabilizers as free operations before decoding simulation.
Allowed re-optimizationCode algebra and decoder may re-optimize.
Forbidden repairDo not add physical circuit cost only after choosing the winner.
Primary observableCircuit-expanded logical failure, depth, ancilla/coupler count.
Placebo controlEquivalent circuit identities with the same fault model.
Null interpretationIf abstract and physically expanded rankings match, explicit control ownership is not load-bearing for ranking.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.15 Higgs/Wilson holonomy actor#

FieldPre-registered content
Ablation/substitutionReplace closed-loop/holonomic gate synthesis by endpoint-calibrated free pulses.
Allowed re-optimizationPulse optimizer gets equal bandwidth, duration and hardware resources.
Forbidden repairNo topology/loop regularizer in the free-pulse arm.
Primary observableGate infidelity distribution under frozen control drift.
Placebo controlReparameterize the same closed loop.
Null interpretationIf holonomy gives no drift or complexity advantage, it is not load-bearing for logical operations.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.16 Proton-safety/fault firewall#

FieldPre-registered content
Ablation/substitutionPermit direct single-fault pathways from protected to catastrophic sectors.
Allowed re-optimizationDecoder and redundancy may re-optimize.
Forbidden repairDo not delete catastrophic error cases from the benchmark.
Primary observableCorrelated/catastrophic logical failure at fixed resource cost.
Placebo controlBasis change preserving block-zero property.
Null interpretationIf downstream correction compensates fully at equal cost, the firewall is substitutable; otherwise it is load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.17 Co-Actor envelope#

FieldPre-registered content
Ablation/substitutionBenchmark only designer-nominated nominal errors.
Allowed re-optimizationCode/decoder may re-optimize on that narrower model.
Forbidden repairHeld-out adversarial errors stay hidden until final scoring.
Primary observableFailure on adversarial/leakage/correlated error suite and rank stability.
Placebo controlRename error labels preserving channels.
Null interpretationIf full and nominal-only envelopes rank architectures identically on held-out failures, Co-Actors are not load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

F.18 Full typed Shape#

FieldPre-registered content
Ablation/substitutionRemove one structural information class at a time, not merely its label.
Allowed re-optimizationStrong generic solver gets every remaining raw fact and equal compute.
Forbidden repairNo reconstruction from a source that still contains the deleted fact.
Primary observableComplete metric vector plus audit completeness and search cost.
Placebo controlAll physics-equivalent representation changes.
Null interpretationIf a strong generic representation supplied the same facts always ties, Shape is an explicit ontology; if deleting facts changes results, the corresponding information is load-bearing.

A positive result must also pass restoration: the original frozen Shape component is put back, the downstream design is recompiled from the same protocol, and the metric distribution returns within the preregistered reproducibility tolerance. A one-way degradation without restoration is treated as a harness/search artifact until explained.

28. Conclusion - what would count as a convincing result#

What this dossier establishes today#

What remains to earn the strong public claim#

  1. Freeze the Shape-to-QEC compiler and component ledger before new benchmark results are loaded.
  2. Implement QC-G1 end to end with complete physical resource accounting.
  3. Publish the parameter-collapse certificate: raw design grammar, quotient/orbit counts, effective continuous dimension, compiled latent variables, coverage/regret, and simulator-call savings under the strong raw baseline.
  4. Run every component ablation with equal re-optimization permissions and held-out seeds.
  5. Run restoration and placebo controls.
  6. Run strong substitutions for the components where a natural rival exists.
  7. Have an independent group replay the package.
  8. Only then publish rows as load-bearing, substitutable, redundant, or unresolved.