Screen Microphysics and Observer Synchronization
Authors: Bernhard Mueller, Alexander Osika, Kai Xue, Ben Cassie, Maarten Antonie Visser, David Matscheko
The fixed-cutoff OPH microphysics paper. It develops finite overlap-facing patch carriers, the twelve-port screen-sieve theorem, the A5/C3 face-corner bundle, the formal CFQ central-record model and its physical-selection boundary, measurement surfaces, observer backup, synchronization, and hardware-evidence rules.
Section jump
Paper release: r1577
Released: July 23, 2026
One carrier stack, three paper surfaces
The microphysics, consensus, and compact SM/GR papers describe one typed construction. The microphysics paper owns the finite carrier and its public interfaces. The consensus paper owns accepted repair and the quotient public normal form. The compact paper owns the conditional maps from that public normal form into support geometry, gravity, compact currents, and matter. A claim may cross from one paper to another only through the exported object and premises named here.
Three meanings of screen
The word “screen” is used for three related objects that must not be identified without a receipt.
The local carrier boundary is the twelve-port oriented interface of one Echosahedral carrier on the declared branch. Its incidence has \((V,E,F)=(12,30,20)\).
The federation screen is the routed system of interfaces, records, repairs, and checkpoints of many carriers at finite cutoff.
The support screen is the observer-facing geometric chart. On the spherical branch it is the refined conformal \(S^2\) used for caps, collars, modular flow, and Lorentz reconstruction.
Local icosahedral incidence does not determine the topology of the federation nerve. A federation of identical local carriers can be routed as a path, a cycle, a higher-genus complex, or a spherical complex. The map from routed carriers to a support-visible spherical nerve is therefore a physical bridge, not a change of notation.
Structure-sensitive, presentation-invariant physics
OPH is not neutral under arbitrary changes of substrate. It is invariant under changes of presentation that preserve the complete observer-visible carrier signature. On the Echosahedral branch that signature contains
\[ \mathcal C_{i,r}= \bigl( \mathcal A_{i,r},\rho_{i,r},P_{i,r},I_{i,r}^{\rm or}, \mathcal R_{i,r},\mathcal U_{i,r},\mathsf{Chk}_{i,r}, \mathsf{Resp}_{i,r},c_{sr} \bigr), \]
where \(P_{i,r}\) is the port set, \(I_{i,r}^{\rm or}\) is oriented incidence, \(\mathcal R_{i,r}\) is the record algebra, \(\mathcal U_{i,r}\) is the repair or feedback interface, \(\mathsf{Resp}_{i,r}\) is the visible response law, and \(c_{sr}\) is the refinement lineage. Hidden coordinates, port names, worker partitions, materials, and wiring presentations are silent when an isomorphism preserves this whole tuple and its error model. A change in port number, incidence, orientation, accessible algebra, response, repair law, clock, or refinement lineage need not be silent. A cube and an icosahedron are therefore different carrier contracts even when both are built from the same material.
A carrier body is not automatically an observer. It realizes an observer only when it supplies bounded access, self-readback, durable records, record-conditioned feedback, boundary prediction against controls, and checkpoint continuation. One carrier may pass that test. A connected subfederation may pass it instead. No theorem fixes primitive observer size by counting carrier bodies.
The common finite computation
At cutoff \(r\), source-bound carrier data are routed into an observer-patch federation. Accepted repair then acts on the physical quotient:
\[ \begin{aligned} \mathsf{SourceCarrierTower}_r &\xrightarrow{\;\mathsf{realize/route}\;} \mathsf{ObserverFederation}_r\\ &\xrightarrow{\;\pi_r\;} \mathsf{PhysicalQuotient}_r \xrightarrow{\;\operatorname{Rep}_r\;} \mathsf{PublicNormalForm}_r. \end{aligned} \]
The last arrow is the consensus result only under semantic-dependency-complete transactions, coherent union-collar payloads, repair completeness, local diamonds, protected records, and the stated endpoint conditions. A collection of oscillators with equal frequency does not supply those clauses.
Physical phase locking can instantiate one synchronization layer. For a routed edge \(e=((i,a),(j,b))\), a source-produced phase record may certify frequency entrainment and a stable relative phase,
\[ \dot\theta_{i,a}-\dot\theta_{j,b}\longrightarrow0, \qquad d_{S^1}(\theta_{i,a}-\theta_{j,b},\delta_e)\le\varepsilon_e. \]
That certificate becomes a consensus parent only when the phase record fixes a commensurability map for the exposed packets and is tied to the accepted repair ledger, semantic records, an independently calibrated clock, and the confluence premises. Phase locking can synchronize an interface. It does not by itself make the interface an observer, settle semantic disagreement, or produce physical time.
Two downstream projections of one source
The public normal form has two separately typed projections:
\[ \begin{aligned} \mathsf{PublicNormalForm}_r &\xrightarrow{\;\mathsf{carrier\text{-}to\text{-}support}\;} \bigl(\mathsf{Support}_{S^2,r},\mathsf{FiniteCapBWCertificate}_r\bigr),\\ \left. \begin{gathered} \mathsf{FiniteCapBWCertificate}_r\\ \mathsf{MGNS\text{-}1}_r\ \text{independently complete} \end{gathered} \right\}_{\text{same tower}} &\longrightarrow \mathsf{BW/KMS}_r \longrightarrow \mathsf{Lorentz/H^3}_r\\ &\longrightarrow \mathsf{Events}_{3+1,r} \longrightarrow \mathsf{Einstein}_r , \end{aligned} \] \[ \begin{aligned} \mathsf{PublicNormalForm}_r &\xrightarrow{\;\mathsf{port\text{-}response}\;} (\mathsf{A5Carrier}_r,J_r)\\ &\longrightarrow \mathsf{CompactCurrent}_r \longrightarrow \mathsf{SM}_{Q0,r}\\ &\longrightarrow \mathsf{Matter/QFT}_r . \end{aligned} \]
The carrier-to-support leg requires full interface algebra homomorphisms, higher-overlap coherence, spherical incidence, refinement-natural mesh and cross-ratio data, and an independently normalized geometric \(2\pi\)-KMS comparison. It emits the support \(S^2\) and \(\mathsf{FiniteCapBWCertificate}\). The state tower, common-comparison maps, compatible state/vector data, modular controls, and cofinal modulus belong to the independently produced \(\mathsf{MGNS\text{-}1}\) package. The BW theorem consumes both inputs on the same tower. Once the support leg produces a conformal \(S^2\), \(\operatorname{Conf}^+(S^2)\cong\operatorname{SO}^+(3,1)\) and \(H^3=\operatorname{SO}^+(3,1)/\operatorname{SO}(3)\) is exactly three-dimensional. \(H^3\) is the observer-frame fiber. A \(3{+}1\)-dimensional event manifold requires the population/realization, separation, rank-four affine-chart, overlap-cocycle, held-out quadratic-cone, and causal-reachability receipts \(\mathsf{(E1)}\)–\(\mathsf{(E6)}\), together with the \(\mathsf{MI}\)/assembly premise. Operational-clock gluing separately requires observer-readable transitions, event correspondence, affine calibration, cycle identity, and normal-form invariance. The Einstein relation additionally requires the common-domain stress, entropy, vacuum, coupling, scale, and remainder packet. Hidden Cartesian coordinates of a finite carrier are ineligible as support-screen, event, or Lorentz data.
The second projection begins with an exact finite result on the certified Echosahedral lineage. The twelve-port module decomposes as
\[ P_{12}\cong_{A_5}\mathbf1\oplus\mathbf3\oplus\mathbf3'\oplus\mathbf5. \]
The source selector derives the twelve unit lines, antipodal pairing, proper \(A_5\) action, and rank-three Gram frame. On a declared charged-double-triplet response representation with four signed nonzero coefficients, an exact finite certificate constructs a full-rank, compact, skew-adjoint, commutator-closed algebra with inner \(A_5\) action and algebraic refinement naturality. The representation, coefficients, and physical refinement maps require source binding before these register and algebra facts become gauge facts. Noncentral action of the five-dimensional block then selects the Standard-Model Lie type from the compact classification. Trace balance, Spin and deck descent, matter selection, exclusion of extra sectors, family attachment, and quantum-field construction remain separate maps.
The compact sector-category and Minimal Admissible Realization route conditionally reconstructs an abstract Standard Model quotient of the same type by a logically independent route. Physical unification requires a source-bound commuting square identifying its reconstructed compact group with the group acting through the Echosahedral current response:
\[ \begin{array}{ccc} \mathsf{A5PortResponse}_r & \longrightarrow & G_r^{\rm screen}\\ \downarrow & & \downarrow\scriptstyle{\simeq}\\ \mathsf{TransportableSectorCategory}_r & \longrightarrow & G_r^{\rm DR/MAR}. \end{array} \]
On those premises the abstract Lie-type agreement is exact. The physical vertical maps and the source identity of the two group actions are open. In the same way, the rank-three face band is a canonical candidate family carrier, while three physical generations require the complex rank-45 attachment and complement-complete refinement receipts. The value \(N_g=3\) in the compact paper is the minimum of the declared economy class, not a consequence of the icosahedral graph alone.
Finite controls and status boundaries
The finite \(A_5\) evaluator control has \(60\) reachable correctable public records on \(\mathcal H_k=\ell^2(A_5)\otimes\mathbb C^k\):
\[ M_0=60,\qquad D_{\rm raw}=60k,\qquad \Delta_{\rm raw}=60(k-1). \]
Raw equality occurs only at \(k=1\). Publicly inert multiplicity makes \(D_{\rm raw}\) implementation-dependent, so the result is an evaluator control rather than physical capacity closure.
The unified claim has a precise scope. Consensus, geometry/gravity, and gauge/matter are composable branches of one source-bound self-reading carrier tower. Its full quotient-visible architecture can constrain both branches; local icosahedral incidence by itself constrains only the local carrier route. The physical maps that turn those constraints into one inhabited universe are named premises. Matching dimensions or symmetry labels does not supply them.
What This Paper Contributes
The rest of the OPH stack talks about observer patches, records, repairs, and screen cuts. This paper gives those words a finite carrier. It separates the abstract observer patch from its geometric support chart and from its physical or digital implementation. The separation removes dependence on hidden coordinates, labels, materials, and wiring choices only when the complete observer-visible carrier signature is preserved. OPH is therefore presentation-invariant rather than carrier-neutral: quotient-visible port incidence, orientation, response, repair, clock, and refinement data can change the physical branch.
The concrete contribution is the regulated screen architecture. Echosahedral carriers supply a twelve-port reference interface, edge sectors supply the heat-kernel/Casimir weights used by the quantitative branch, central records give the Born–Lüders event surface, Bell/CHSH records give the Tsirelson bound, and checkpoint restoration states what it means for an observer to continue after repair. The finite modular-gearing package keeps strict-descent normalization separate from reversible proposal rates, tests whether the oriented \(24\)-slot register is an invariant channel space, and fixes only symmetry-protected degeneracies rather than numerical gaps or clock units. The finite echosahedral selector separately closes the unit-splitting and proper-\(A_5\) source receipts on the declared carrier lineage, without using downstream particle or gauge targets. Hardware claims are kept behind a public evidence rule: manifests, hashes, calibration records, raw or reduced traces, and exact verifier receipts carry the weight.
Scope
OPH microphysics uses finite observer patches with echosahedral interfaces. A spherical screen is a geometry chart for observer-visible cuts. The cellulated-sphere gauge-register construction is a regulator and digital calibration chart. The premise is:
Observers access finite observer-visible cuts. A spherical screen is a geometry chart for such cuts. The underlying fixed-cutoff implementation surface is a federation of finite overlap-facing observer patches, with echosahedral local interfaces and recurrent toroidal subchannels.
The paper’s contract is:
state the fixed-cutoff theorem exports used by the other OPH papers;
use federated patch carriers as the microphysical architecture;
keep mathematical theorem surfaces separate from public hardware evidence surfaces;
keep the octahedral \(\mathbb Z_2/S_3\) finite-group model at appendix-level calibration scope;
require a public hardware evidence protocol before hardware claims receive paper weight.
Canonical Observer-Patch Semantics
This paper owns the fixed-cutoff observer vocabulary used by the rest of the OPH stack. An observer patch is first an operational algebraic object: \[ \mathsf O_i= \left( \mathcal A_i,\rho_i,\mathcal R_i, \{(\mathcal I_e,\pi_{i,e})\}_{e\ni i}, \mathcal U_i,\mathrm{Chk}_i \right). \] Here \(\mathcal A_i\) is the finite or regulated accessible algebra, \(\rho_i\) is the accessible state, \(\mathcal R_i\subseteq Z(\mathcal A_i)\) is the exact central record algebra or a declared approximate record algebra, \(\mathcal I_e\) is an overlap-visible interface algebra, \(\pi_{i,e}:\mathcal A_i\to\mathcal I_e\) is the visible restriction map, \(\mathcal U_i\) is the allowed family of update and repair instruments, and \(\mathrm{Chk}_i\) is checkpoint data sufficient for the target reconstruction problem.
Definition 1 (Abstract observer patch). An abstract observer patch is the tuple \(\mathsf O_i\) above, considered up to isomorphism of accessible algebras, record statistics, visible restrictions, repair instruments, and checkpoint continuation.
Definition 2 (Support patch). A support patch is a geometric chart for an abstract observer patch on a branch with reconstructed geometry. Examples are a cap \(P_i\subset S^2\), a collar, or a causal diamond. The support patch supplies chart data for modular flow, entropy variation, and overlap comparison.
Definition 3 (Carrier patch). A carrier patch is a physical or digital implementation satisfying \[ \operatorname{Realize}_{\varepsilon}(H_i)\longrightarrow \mathsf O_i , \] meaning that the implementation induces the declared accessible algebra, visible interface statistics, record readout, repair instruments, and checkpoint continuation within error \(\varepsilon\).
The echosahedral body used below is a reference carrier architecture. It is a finite implementation surface for twelve-port interfaces, records, repair channels, and recurrent subchannels. The observer identity lives in the quotient data exposed by \(\mathsf O_i\), so a change of hidden coordinates, port labels, or substrate presentation is physically silent when it preserves the visible interface, oriented incidence where declared, response, record, repair, checkpoint, and refinement processes.
Definition 4 (Algebraic audit instrument). An algebraic audit instrument is an exact computable map on finite quotient-visible representation data. It certifies invariance, nonconjugacy, orbit structure, lattice preservation, or automorphism fusion inside a declared regulator chart. It is not a physical actuator unless a carrier implementation realizes the same visible map with a public evidence bundle.
The \(E_8/\mathrm{Spin}(8)\) triality sidecar is an algebraic audit instrument in this sense. It states that the vector \(\mathrm{Alt}(9)\) and positive-half-spin \(2\!\cdot\!\mathrm{Alt}(9)\) presentations preserve \(E_8\)-lattice data, have different mod-2 orbit fingerprints on \(E_8/2E_8\), and are identified only by the Spin(8) triality outer automorphism. No audit bundle supplies the raw matrices, scripts, exact checks, and hashes, so this is an uncertified claim in finite exceptional representation bookkeeping with no hardware implication.
The tuple \(\mathsf O_i\) does not impose equal primitive observer size. Fixed-cutoff OPH requires bounded accessible algebras and declared interfaces; it also permits different connected support regions and different finite or regulated algebras. In the carrier picture, an observer-supporting object may be a variable finite federation of screen cells. A theorem selecting isomorphic fixed-capacity elementary carriers would need extra hypotheses: homogeneous UV cellulation, isomorphic local cell algebras, equivariant overlaps, refinement preservation of the cell type, and a proof that one cell or a fixed block of cells is the primitive carrier.
Claim 5 (Presentation invariance and carrier sensitivity). Two carrier patches are physically equivalent for the declared OPH observables when a quotient-visible isomorphism preserves their accessible algebras and states, interface algebras, record statistics, repair maps, checkpoint continuation, response laws, and refinement lineage. On the Echosahedral branch it must also preserve the twelve-port oriented incidence and its antipodal pairing. A material, coordinate, or wiring change satisfying this contract is silent. A change of the preserved carrier signature is outside the equivalence claim and may change the physical branch.
This claim is theorem-level only on a branch that supplies the required quotient isomorphism and error bound. It fails if a predicted OPH observable depends on hidden carrier coordinates after the full visible signature has been held fixed. It says nothing about a cube and an icosahedron whose visible incidence structures differ.
Definition 6 (Operational observer test). A candidate physical system realizes an observer patch when it supplies a bounded accessible interface, durable re-readable records, self-read or internal state estimation, record-conditioned future behavior, boundary prediction better than shuffled-record controls, and checkpoint continuation within a declared error.
Claim Taxonomy
The paper uses five claim levels.
Mathematical fixed-cutoff claims. These are finite-algebra statements about patches, overlaps, records, repair interfaces, event algebras, and checkpoint laws. They are allowed to be theorem-bearing. Finite representation and lattice audit instruments belong here when their matrices, exact checks, and quotient-visible invariants are public. The generic overlap network is a finite constraint code only; QECC distance, min-cut resilience, spectral convergence, BFT liveness, and hardware speedup need their own certificates.
Regulator-chart claims. These identify a convenient finite model, such as a spherical cellulation or a digital finite-group calibration chart, as a calculational chart. Their claim level is regulator geometry and calibration.
Federated-carrier claims. These define a candidate implementation architecture: observer patches with echosahedral multi-port interfaces, recurrent toroidal subchannels, exposed overlap data, records, and repair loops.
Public hardware-evidence claims. These may be cited only when the raw or reduced evidence is present in a public OPH evidence bundle with stable hashes, manifests, calibration files, and exact-verifier receipts.
Boundary statements. This paper leaves laboratory-hardware identification, unique UV completion, hardware solution of the Yang–Mills mass gap, computational complexity collapse, and first-principles hadron masses outside its support boundary.
The Public Evidence Rule
Hardware-facing language is admissible only under the following rule.
Any hardware evidence cited as evidence in this paper must be represented by a public evidence bundle in the OPH repository, or by a public pinned subrepository commit, with enough raw data and metadata for an external reader to check the claim.
Private notebooks, local runtime logs, unpublished bench transcripts, and development-repo notes may motivate architecture choices, but they do not carry evidential weight inside the paper. A hardware evidence bundle must include, at minimum:
a manifest with stable bundle identifier, date, operator, body identifier, controller identifier, firmware hash, mesh/body hash, and wiring map hash;
raw readout files, such as coupling matrices, MDD or discharge-timing traces, dark baselines, low-power sweeps, ring-diversity scans, and calibration logs;
body and board provenance, including photographs or signed photo hashes where relevant;
the task definition, scorebook, repair or rerank law, and exact-verifier program;
exact-verifier receipts for any high-level task claim;
negative controls, shuffle or replay controls where applicable, and a statement of non-claims.
This rule prevents dependence on hidden laboratory state. The theorem sections use finite algebras, declared patch interfaces, and stated branch assumptions.
From Spherical Screens to Federated Patch Carriers
The spherical screen is useful because an observer-accessible cut often has an effective closed two-surface description. A cellulated sphere can encode finite capacity, caps, collars, edge centers, and observer-visible cuts. The microscopic carrier is the finite patch federation. The chart is the observer-facing presentation of its visible data.
The sphere also fixes the symmetry bridge used by the rest of OPH. Caps on \(S^2\) are the geometric support regions whose modular flows become Lorentz boosts in the controlled scaling branch. The conformal group of \(S^2\) is \(\mathrm{SO}^+(3,1)\), so the same observer-facing chart supplies the kinematic bridge to emergent \(3+1\)D spacetime. Finite cellulations of the chart supply the regulator side: patch ports, edge sectors, collars, and overlap checks.
At fixed cutoff, the fundamental object is a finite patch federation. Each patch has:
an internal finite state algebra;
a bounded family of exposed overlap ports;
a local record algebra;
a readout map from internal state to port-visible packets;
a repair interface that changes local state in response to mismatch;
a checkpoint interface that exposes enough observer-accessible data to define continuation.
The abstract observer patch and its carrier realization are separate typed objects. Write \[ \mathsf O_i= \left( \mathcal A_i,\rho_i,\mathcal R_i, \{(\mathcal I_e,\pi_{i,e})\}_{e\ni i}, \mathcal U_i,\mathsf{Chk}_i \right), \qquad \operatorname{Realize}_{\varepsilon}(H_i)\longrightarrow\mathsf O_i. \] The elementary carrier \(H_i\) may be an Echosahedron on the homogeneous reference branch. Its port names, body coordinates, and hardware details are absent from the abstract observer whenever they disappear under the physical quotient. A fixed-cutoff simulator is therefore typed as \[ \mathsf{Sim}_r= \bigl( G_r,\{\mathsf O_{i,r}\},\Sigma_r,\Gamma_r,Q_r, \mathsf{Prop}_r,\to_r^{\rm acc},\operatorname{Rep}_r, \pi_r^{\rm eq},L_r^{\rm eq},\mathsf{Chk}_r,c_{sr} \bigr). \] Here \(\mathsf{Prop}_r\) is a reversible proposal menu, \(\to_r^{\rm acc}\) is the strict-descent accepted-repair relation, \(\operatorname{Rep}_r\) is its normalizer, and \((\pi_r^{\rm eq},L_r^{\rm eq})\) is a separate equilibrium law and reversible or Euclidean generator. The refinement maps are \(c_{sr}\).
Definition 7 (Typed simulator ledger). A simulator run has one immutable root manifest and seven typed ledgers:
the quotient/normalizer ledger owns presentation states, hidden-representative quotient, accepted transactions, semantic histories, normal forms, and checkpoint continuation;
the source-ensemble ledger owns the base measure, source action, MaxEnt constraints, proposal and acceptance rates, stationary law, detailed balance, and cycle affinities;
the quantum/modular ledger owns the noncommutative algebra, density matrices, spectral support, modular Hamiltonians, frequency-resolved jumps, conditional expectations, and mixed-GNS comparison data;
the geometry/BW ledger owns support incidence, cap normals, held-out cross-ratios, geometric dilation, wrong-temperature controls, event-chart complexes, quadratic cones, and tetrads;
the operational-history ledger owns semantic event identities, the observer registry groupoid, worldlines, event correspondences, instrument readings, and affine synchronization;
the physical-current ledger owns reversible port perturbations, unitary response, commutators, \(A_5\)-equivariance, and determinant, spin, and deck descent;
the transport ledger owns free and collision kernels, first and second conditional moments, mass-shell data, phase-space measure, and stress transfer.
The ledgers share source hashes and refinement identifiers through the root manifest. Their typed objects remain distinct. In particular, the accepted strict-descent relation is not reused as the equilibrium generator, a central register density emits trivial modular action, a finite register operator is not a physical current, and a deterministic transport claim requires a vanishing second-moment receipt.
Definition 8 (Sphere fold). Fix a regulator \(r\). Let \(\Sigma_r\) be the finite presentation space of a patch federation, let \(\Gamma_r\) be the presentation-redundancy groupoid, and let \[ Q_r=\Sigma_r/\Gamma_r \] be the physical quotient. Let \(\pi_r:\Sigma_r\to Q_r\) be the quotient map, let \[ n_r:Q_r\to Q_{r,\mathrm{nf}} \] be the accepted repair normal-form map on the declared physical quotient, and let \[ \chi_{S,r}:Q_{r,\mathrm{nf}}\to \mathsf{Chart}_S(r) \] be the support-visible spherical screen chart. Its outputs are caps, collars, cuts, edge-sector records, boundary data, and geometric readouts. The sphere fold of a finite presentation \(s\in\Sigma_r\) is \[ \operatorname{Fold}_{S,r}(s) := \chi_{S,r}\!\left(n_r(\pi_r(s))\right). \] Two finite presentations have the same sphere fold exactly when their repaired quotient normal forms induce the same support-visible caps, collars, edge-sector records, and observer-facing screen readouts.
For Lorentz-branch chart receipts, the support chart also exposes a derived cap-normal readout \[ \chi^{\mathrm{cap}}_{S,r}:Q_{r,\mathrm{nf}}\to\mathsf{CapChart}_r \] with output \[ \mathsf{CapChart}_r= \left( C_r,\partial C_r,\mathbf c_r,\alpha_r,n_{C,r}, \varepsilon_{\mathrm{round},r},\varepsilon_{\mathrm{inc},r} \right). \] On the exact analytic round-cap branch, \[ n_{C,r}=(\cot\alpha_r,\csc\alpha_r\,\mathbf c_r). \] On a finite fitted branch the output is labeled \(\text{approximate round cap chart}\). A global bound requires a separate round-cap rigidity/convergence certificate; if the fit is not round it emits \(\text{cap not round}\). The normal \(n_{C,r}\) is support-chart data derived from the repaired quotient. It is not a microscopic carrier coordinate, hidden port label, or new local degree of freedom. A cap normal determines a geodesic plane and half-space in \(H^3\); selecting a particular observer point \(u\in H^3\) requires a separate observer-frame, tetrad, or clock receipt. On the compact paper’s producer branch, the cap chart itself is produced from the support-visible incidence complex of the repaired normal form under the spherical-incidence, mesh, cross-ratio, and \(2\pi\)-normalization receipts, and the continuation from frame kinematics to an event base is the compact paper’s conditional event-manifold packet.
Definition 9 (Carrier-to-support screen bridge). A carrier-to-support screen bridge at cutoff \(r\) consists of a source-bound map from routed carrier ports and seams to the support projections of the repaired observer-patch net, together with: (i) unital interface-algebra homomorphisms on every seam; (ii) coherent recovery maps on higher overlaps; (iii) a quotient-visible nerve whose support incidence is computed from the normal form; and (iv) refinement maps commuting with routing, quotienting, incidence, records, and support projection. A spherical bridge additionally certifies that the global nerve satisfies the spherical-incidence, cap-mesh, oriented cross-ratio, and normalization receipts consumed by the compact paper. Local carrier coordinates are excluded from the support output unless this map derives them as quotient-visible data.
Proposition 10 (Local Icosahedral incidence does not select the global support). The certified twelve-port incidence of every local carrier does not determine the topology or conformal structure of the federation support.
Proof. Fix one certified local carrier and make one copy at every vertex of an arbitrary finite graph. Route selected port pairs along that graph while leaving each local port algebra, oriented incidence, antipode, and \(A_5\) action unchanged. A path, a cycle, a tree, and a cellulation of a closed surface therefore have identical local carrier certificates and different federation nerves. The local certificate cannot distinguish them. Full interface maps, higher-overlap coherence, and the global incidence/refinement receipt are necessary parents of a support-screen claim. ◻
The fold adds no independent dynamics. Repair is the finite patch operation that compares overlaps, updates records, and reaches the accepted normal form. Folding names the spherical chart presentation of that repaired quotient state. In plain language, sphere folding is what overlap repair looks like on the observer-facing screen.
Strict descent prevents the accepted relation from serving as a reversible equilibrium law. If \(x\to_r^{\rm acc}y\) lowers the well-founded repair measure, the reverse move cannot be another accepted descending step. The simulator consequently keeps three operators distinct: \[ \operatorname{Rep}_r, \qquad e^{-tL_r^{\rm eq}}, \qquad \sigma_t^{\rho}. \] They are, respectively, the irreversible normal-form map, an equilibrium or Euclidean relaxation, and the reversible modular automorphism group. A common local proposal menu may contribute data to all three constructions. This shared input does not identify the operators.
Theorem 11 (Finite rate reconstruction on the reversible layer). Let \(G=(X,E)\) be a connected finite state graph with positive rates \(q_{u\to v}^{\rm eq}\) in both directions of every edge. Define \[ a_{u\to v}:=\log\frac{q_{v\to u}^{\rm eq}}{q_{u\to v}^{\rm eq}}. \] The following conditions are equivalent:
every oriented cycle has zero affinity;
there is a potential \(K:X\to\mathbb R\), unique up to an additive constant, with \(a_{u\to v}=K_v-K_u\);
\(\pi_x\propto e^{-K_x}\) satisfies detailed balance \(\pi_uq_{u\to v}^{\rm eq}=\pi_vq_{v\to u}^{\rm eq}\).
The rates belong to the reversible equilibrium layer. They are not rates of the accepted strict-descent relation.
Proof. Condition (ii) telescopes around every cycle. Under (i), fix a root and define \(K_x\) by summing \(a\) along any path from the root to \(x\); zero cycle affinity gives path independence. Exponentiating \(K_v-K_u=a_{u\to v}\) gives detailed balance, and taking logarithms of detailed balance gives (ii). ◻
\(K\) in this theorem is a classical Gibbs potential. On the commutative state algebra its modular automorphism is trivial, so rate reconstruction does not create a nontrivial modular clock.
Finite modular and register theorems
The finite equilibrium layer supports several exact statements before any continuum or physical current interpretation is made. They also fix which information a simulator has to produce.
Theorem 12 (Exact modular coarse graining). Let \(c:X_s\to X_r\) be a surjective coarse-graining map between finite sets and let \(\mu_s(x)>0\). The pushed-forward law and its modular potential are \[ \mu_r(y)=\sum_{c(x)=y}\mu_s(x), \qquad K_r(y)=-\log\!\left(\sum_{c(x)=y}e^{-K_s(x)}\right), \qquad K_s=-\log\mu_s . \] Thus modular potentials coarse-grain by a log-sum-exp rule, up to the common additive normalization convention. More generally, if \(\mu_s(x)=Z_s^{-1}m_s(x)e^{-S_s(x)}\) and \(m_r(y)>0\) is the declared coarse reference weight, then \[ S_r^{\rm eff}(y) =-\log\!\left(\sum_{c(x)=y}m_s(x)e^{-S_s(x)}\right)+\log m_r(y) \] gives the exact pushed-forward law. For a finite quantum channel \(\Phi_{sr}\), the corresponding statement is \(\rho_r=\Phi_{sr}(\rho_s)\) and \(K_r=-\log\rho_r\) whenever the output is faithful. An arithmetic average of \(K_s\) is not the coarse modular potential in general.
Proof. Both classical formulas follow by substituting \(\mu_s=e^{-K_s}\) or \(\mu_s=Z_s^{-1}m_se^{-S_s}\) into the definition of the pushforward. The quantum formula is the definition of the modular Hamiltonian of the pushed-forward faithful state. ◻
Proposition 13 (A faithful equilibrium law does not select its generator). Let \(G=(X,E)\) be a connected finite graph and let \(\mu_x>0\). For every collection of positive symmetric edge conductances \(c_{xy}=c_{yx}\), \[ q_{x\to y}=\frac{c_{xy}}{\mu_x} \] defines a continuous-time Markov generator that is reversible with stationary law \(\mu\). Distinct conductance families give distinct generators with the same state. A geometry, MaxEnt state, or repair normal form therefore selects no equilibrium dynamics unless an additional rate or conductance rule is supplied.
Proof. The identity \(\mu_xq_{x\to y}=c_{xy}=\mu_yq_{y\to x}\) is detailed balance. The diagonal entries are fixed by row-sum zero. Varying any conductance varies the generator while preserving the same stationary law. ◻
Theorem 14 (Weighted graph Hodge split and entropy production). Choose an orientation of a connected finite graph, positive vertex and edge weights, and let \(D\) be the vertex-to-edge coboundary. Every real edge one-cochain has the unique orthogonal decomposition \[ a=DK+h, \qquad D^{*}h=0, \] with \(K\) unique up to an additive constant. For an irreducible stationary Markov law \(\pi\), define on each chosen edge \[ J_{xy}=\pi_xq_{x\to y}-\pi_yq_{y\to x}, \qquad F_{xy}=\log\frac{\pi_xq_{x\to y}}{\pi_yq_{y\to x}} . \] Then the steady entropy-production rate is \[ \sigma=\sum_{\{x,y\}\in E}J_{xy}F_{xy}\ge 0, \] and it vanishes exactly when detailed balance holds on every edge. The bare logarithmic rate ratio omits the stationary weights and is therefore not, by itself, the thermodynamic force.
Proof. Finite-dimensional orthogonal projection gives the Hodge split, since \((\operatorname{im}D)^{\perp}=\ker D^{*}\). Each entropy-production summand has the form \((A-B)\log(A/B)\ge0\) for positive \(A,B\). Equality holds exactly when \(A=B\) edge by edge. ◻
Theorem 15 (Finite KMS-symmetric jump generator). Let \(\rho=Z^{-1}e^{-K}\) be faithful on a finite matrix algebra. Suppose a Heisenberg-picture Lindblad generator has jump operators \(V_{\omega,a}\) satisfying \[ [K,V_{\omega,a}]=-\omega V_{\omega,a}, \qquad V_{-\omega,a}=V_{\omega,a}^{*}, \qquad \gamma_a(-\omega)=e^{-\omega}\gamma_a(\omega), \] with positive Kossakowski matrices in every frequency sector. Suppose also that its Lamb-shift Hamiltonian commutes with \(K\), and that the generator is self-adjoint for the declared symmetric GNS inner product \[ \langle A,B\rangle_{\rho,1/2} =\operatorname{Tr}(\rho^{1/2}A^{*}\rho^{1/2}B). \] Then the semigroup is completely positive and unital, preserves \(\rho\), commutes with the modular flow \(A\mapsto e^{itK}Ae^{-itK}\), and respects the displayed frequency-sector decomposition. The sign in the KMS rate relation is tied to the displayed commutator convention.
Proof. Positive Kossakowski matrices give complete positivity. Unitality and GNS self-adjointness imply \(\operatorname{Tr}(\rho L(A))=\langle\mathbf1,L(A)\rangle_{\rho,1/2} =\langle L(\mathbf1),A\rangle_{\rho,1/2}=0\), hence stationarity. The eigenoperator relation, the paired KMS rates, and \([K,H_{\rm LS}]=0\) make every term modular covariant and preserve its frequency sector. ◻
Remark 16 (Finite modular receipt boundary). The source-ensemble ledger reports the pushed-forward laws or channels, independent conductances and rates, stationary weights, cycle-affinity residual, and the weighted Hodge remainder. The quantum/modular ledger reports the faithful density, modular spectrum, frequency projectors, Kossakowski positivity, KMS-pair residuals, GNS-symmetry residual, and modular-covariance residual. These finite data instantiate Theorems 12– 15; the theorems do not manufacture those data.
Theorem 17 (Exact \(A_5\times\mathbb Z_2\) register commutant). For the twelve-port permutation module, \[ \mathbb R[\mathsf P_{12}] \cong \mathbf1\oplus\mathbf3\oplus\mathbf3'\oplus\mathbf5 \] is multiplicity-free. The icosahedral adjacency operator has the four distinct eigenvalues \(5,\sqrt5,-\sqrt5,-1\) on these summands. Consequently its real \(A_5\)-commutant is \(\mathbb R[A_{\rm ico}]\), represented by polynomials of degree at most three. On the oriented register \(\mathsf R_{24}=\mathbb R[\mathsf P_{12}]\otimes\mathbb R[\mathbb Z_2]\), every self-adjoint operator commuting with \(A_5\) and orientation reversal is specified by one real scalar on each irreducible summand in each parity sector, eight scalars in total.
Proof. Schur’s lemma gives one scalar on each real irreducible summand. The four distinct adjacency eigenvalues make the spectral projectors degree-three interpolation polynomials in \(A_{\rm ico}\). Diagonalizing the commuting reversal involution gives two parity copies of the same multiplicity-free decomposition. ◻
Proposition 18 (No equivariant directed 24-cycle). Regard the oriented register as the transitive \((A_5\times\mathbb Z_2)/(C_5\times\{1\})\)-set. It has no \(A_5\times\mathbb Z_2\)-equivariant successor permutation that is a single directed 24-cycle.
Proof. Its equivariant automorphism group is \[ N_{A_5\times\mathbb Z_2}(C_5\times\{1\})/(C_5\times\{1\}) \cong\mathbb Z_2\times\mathbb Z_2, \] because \(N_{A_5}(C_5)\cong D_{10}\). Every equivariant permutation therefore has order at most two, whereas a 24-cycle has order 24. ◻
Definition 19 (Source-derived oriented-channel realization). Let \(E^{\rm or}\) be the oriented transitions of the reversible quotient-state layer and set \[ \mathcal H_E=\ell^2(E^{\rm or}), \qquad F_E|e\rangle=a_e|e\rangle, \qquad a_e=\log\frac{q_{\bar e}^{\rm eq}}{q_e^{\rm eq}}. \] A source-derived \(24\)-channel realization is a full-rank map \[ C:\mathcal H_{24}:= \mathbb C[\mathsf P_{12}]\otimes\mathbb C^2_{\rm or} \longrightarrow\mathcal H_E \] whose coefficients, aggregation rule, and provenance are emitted by the physical proposal ledger. After replacing \(C\) by \(C(C^*C)^{-1/2}\), assume \(C^*C=\mathbf1\). Edge reversal is denoted \(R_E|e\rangle=|\bar e\rangle\), and register reversal by \(R_{24}\). The state set \(X\), transition set \(E^{\rm or}\), and label map into the \(24\) channel types remain distinct objects.
Theorem 20 (Oriented-register modular compression). For a source-derived realization \(C\), the register is invariant under the edge modular grading exactly when \[ \epsilon_{\rm ch} :=\bigl\|(\mathbf1-CC^*)F_EC\bigr\|_{\rm HS}=0. \] Equivalently, there is a unique operator \(\Omega_{24}\) with \[ F_EC=C\Omega_{24}, \qquad \Omega_{24}=C^*F_EC. \] Suppose in addition that the edge rates are \(A_5\)-equivariant, \(C\) intertwines the edge and register actions of \(A_5\) and reversal, and hence \(R_EF_ER_E=-F_E\). Then \[ \Omega_{24} \cong \bigoplus_{\lambda\in\{1,3,3',5\}} \mathbf1_{V_\lambda}\otimes M_\lambda, \qquad \operatorname{spec}(M_\lambda)=\{-\omega_\lambda,+\omega_\lambda\}, \] for four nonnegative source-derived values \(\omega_1,\omega_3,\omega_{3'}, \omega_5\). Thus the paired frequencies have degeneracies \(1,3,3,5\). The symmetry fixes this block pattern and these degeneracies, but not the four numerical values.
Proof. The residual vanishes precisely when \(F_E\operatorname{im}C\subseteq \operatorname{im}C\). Since \(C\) is isometric, restriction to this invariant subspace gives the unique compression \(\Omega_{24}=C^*F_EC\). \(A_5\)-equivariance and Schur’s lemma give one Hermitian \(2\times2\) orientation matrix \(M_\lambda\) on each of the multiplicity-free summands \(1,3,3',5\). Reversal covariance gives \(R_{24}\Omega_{24}R_{24}=-\Omega_{24}\), so each orientation block is traceless and has eigenvalues \(\pm\omega_\lambda\). Tensoring with \(V_\lambda\) gives the displayed degeneracies. ◻
Corollary 21 (Raw labels are modular eigenchannels only at equal affinity). If each raw register slot is realized as a normalized sum of transitions with that label and distinct labels have disjoint edge support, exact channel closure requires \[ a_e=a_{e'} \quad\text{whenever \(e\) and \(e'\) carry the same raw label.} \] Otherwise the raw slot basis is not a modular eigenbasis; any invariant \(24\)-channel space must instead use source-derived linear combinations.
Proposition 22 (Operator-frame identification boundary). Let \(V_a\in\mathcal A\subseteq B(\mathcal H)\) be realized transition operators and let \(\omega_a\) be source-derived frequencies. If self-adjoint \(K\) and \(K'\) both solve \[ [K,V_a]=\omega_aV_a, \qquad [K',V_a]=\omega_aV_a \quad\text{for every \(a\)}, \] then \(K-K'\) lies in the commutant of the algebra generated by the \(V_a\). Hence the channel frame identifies a noncommutative modular Hamiltonian only modulo that commutant, and modulo the center when the operators generate the declared finite algebra.
Proof. Subtracting the two commutator equations gives \([K-K',V_a]=0\) for every \(a\); the generated-algebra statement follows. ◻
Remark 23 (Rate scale, clock scale, and BW promotion). Multiplying every equilibrium rate by one constant leaves every affinity, the reconstructed stationary law, \(K\), and \(\Omega_{24}\) unchanged, while rescaling the relaxation generator. Rate ratios therefore determine a dimensionless potential; rate magnitudes determine kinetics. Neither fixes a frequency in hertz. Operational time requires the independent clock instrument and affine calibration used later in this paper. Physical BW promotion further requires a refinement-natural comparison showing that the gear-derived state is the same support-visible cap state used by the geometric modular theorem, the independently complete \(\mathsf{MGNS\text{-}1}\) package on that same tower, its regularized cutoff schedule, and the independent \(2\pi\)-normalization receipt.
The register receipt reports the character-projector multiplicities, equivariance residual, within-irrep spectral spread, orientation-parity leakage, adjacency-polynomial residual, and the equivariant-permutation order. The modular-gearing receipt additionally reports the oriented rate ledger, quotient lumpability defect, fundamental-cycle affinities, stationary-law and detailed-balance residuals, \(C^*C\), \(\epsilon_{\rm ch}\), the four paired gaps, and the commutant dimension of any operator-valued lift. Exact data give Theorems 17 and 20 and Proposition 18; approximate data remain diagnostics with declared tolerances.
These theorems classify finite register states and operators. They do not construct a physical gauge-current algebra. That step requires the separate full-rank, compact skew-adjoint, commutator-closed current lift, its inner \(A_5\) action, and refinement-natural physical descent used by the compact and particle-sector papers.
On the literal transitive twelve-port set \(\mathsf P_{12}=A_5/C_5\), an irreducible \(A_5\)-equivariant rate law has a unique invariant equilibrium distribution, hence \(\pi_p=1/12\) and constant \(K_p\). On \(\mathsf P_{12}\times\{+,-\}\), with \(A_5\) acting on the port coordinate, an invariant potential has at most two values \(K_+\) and \(K_-\). The geometry can therefore carry one orientation gap \(\Delta K=K_--K_+\). It cannot supply twenty-four independent energy levels. The state set \(X\), oriented transition set \(E^{\rm or}\), and channel label map \(\lambda:E^{\rm or}\to\mathsf R_{24}\) are separate objects; \(\lambda\) need not be a bijection. In particular, twenty-four oriented edge instances contain only twelve unoriented edges and cannot connect a graph on twenty-four states.
The finite carrier vocabulary is compatible with the layered functional carrier of the consensus paper: the carrier is a quotient-visible finite implementation surface, and hidden port labels or substrate coordinates are silent when visible interface data, record statistics, repair maps, and checkpoint continuation are preserved.
In the terminology of the program’s consistency stack, this record/repair architecture is the carrier of two rows of the forcing chain. Row C1 (self-reading): a world that is the fixed point of its own description must contain observers, records of their readings, and a mechanism that keeps those records consistent under continued reading; the patch federation above, with its record algebras, readout maps, and repair interfaces, is that mechanism made explicit at fixed cutoff. Row C6 (record existence): a screen at exact self-similar balance carries no events, so records require detuning; the register constructions below give the fixed-cutoff surface on which that detuning has a declared carrier. Both mappings hold on the declared branches and gates of this paper, including the named MaxEnt-hypothesis caveat where it applies.
Edge-center scalar-slot register
The downstream dark-sector and coherent-matter papers need one fixed-cutoff microphysics export: on the declared scalar quotient of an edge-center collar register, first-order scalar observables have only the canonical opportunity count as their nonconstant direction.
Definition 24 (Finite scalar-slot register). Fix a regulator \(r\), physical quotient \(Q_r=\Sigma_r/\Gamma_r\), and collar or local support region \(C\). Let \(E_{\nu,r}(C)\) be the finite set of edge-center scalar slots on the physical quotient. For each \(e\in E_{\nu,r}(C)\), let \[ p_{e,\nu}:Q_r\to\{0,1\} \] be the quotient-visible central indicator that slot \(e\) carries an active scalar repair opportunity, and let \(a_e>0\) be the declared scalar-slot weight. The canonical quotient-edge scalar opportunity count is \[ \mathcal N_{\nu,r,C}(q) \mathrel{=} \sum_{e\in E_{\nu,r}(C)}a_e\,p_{e,\nu}(q). \] The normalized scalar readout is \[ S_{\nu,r,C}(q) \mathrel{=} \frac{\mathcal N_{\nu,r,C}(q)} {\sum_{e\in E_{\nu,r}(C)}a_e}. \]
The indicators \(p_{e,\nu}\) live on \(Q_r\), not on hidden presentations in \(\Sigma_r\). Gauge representatives, port labels, implementation coordinates, and accepted repair schedules are removed by the quotient before \(\mathcal N_{\nu,r,C}\) is read.
Theorem 25 (Rank-one scalar-slot completeness on the quotient-edge branch). Let \(G_C\) be the quotient-preserving relabeling group of scalar slots in collar \(C\). Assume:
\(G_C\) preserves the physical quotient and the scalar-slot weights \(a_e\);
the scalar branch keeps only quotient-visible central observables invariant under \(G_C\);
the scalar slots form one scalar orbit after transverse finite-thickness averaging, equivalently the declared scalar observable is the weighted orbit sum.
Then every first-order quotient-visible scalar observable on the edge-center scalar register is an affine function of \(\mathcal N_{\nu,r,C}\): \[ F_{\mathrm{sc}}(q)=\alpha+\beta\,\mathcal N_{\nu,r,C}(q). \] Equivalently, after constants are removed, \[ \mathcal S^{(1)}_{\mathrm{sc}}(C) \mathrel{=} \operatorname{span}\{\mathcal N_{\nu,r,C}\}. \]
Proof. A first-order scalar observable on the slot register has the form \[ F(q)=\alpha+\sum_{e\in E_{\nu,r}(C)}b_e\,p_{e,\nu}(q). \] Quotient-visible scalar status requires invariance under \(G_C\). If \(G_C\) acts transitively on the scalar slot orbit, invariance forces \(b_e/a_e\) to be constant on that orbit. Therefore \[ F(q) \mathrel{=} \alpha+\beta\sum_e a_ep_{e,\nu}(q) \mathrel{=} \alpha+\beta\,\mathcal N_{\nu,r,C}(q). \] With finite transverse thickness the same argument applies orbitwise before the declared weight integral over the transverse coordinate. The finite-thickness scalar is the weighted orbit sum, so the first-order scalar subspace is one-dimensional after constants are removed. ◻
This theorem is only about the scalar quotient of the edge-center register. It does not select a primitive observer size, a unique hardware carrier, a probability law on \(Q_r\), or a full finite covariant stress parent.
Quotient-edge scalar register and protected center reserve
The scalar-slot theorem above is the rank-one first-order export. The dark-sector and coherent-matter papers also need the local event-algebra realization: scalar activation, the protected \(\mathbb Z_6\) reserve, and finite-thickness collar survival have to live on one quotient-visible edge-center register before any coefficient can be promoted.
Trace convention.
Throughout this subsection, \(\tau_{q,r,C}\) denotes the normalized quotient expectation on the finite physical collar quotient algebra. Thus \[ \tau_{q,r,C}(1)=1. \] For a nonzero projection \(p\), define the reciprocal reserve-depth trace by \[ \operatorname{Tr}^{\#}_{q,r,C}(p):=\tau_{q,r,C}(p)^{-1}. \] The reserve survival coefficient always uses the normalized mean \(\tau_q\), not the reciprocal trace. Thus \[ \tau_q(Z_{6,r,C})=\frac{P}{24} \quad\text{is the presence probability,} \] while \[ \operatorname{Tr}^{\#}_q(Z_{6,r,C})=\frac{24}{P} \quad\text{is the reciprocal slot-depth trace.} \] The notation \(\operatorname{Tr}_q(Z_{6,r,C})=24/P\) is valid only when \(\operatorname{Tr}_q\) is explicitly defined as a reciprocal slot-count trace; otherwise the reciprocal quantity is \(\operatorname{Tr}^{\#}_q\).
Definition 26 (Physical collar quotient and edge-center map). Fix a finite regulator \(r\) and a connected collar cut \(C\). Let \[ Q_{r,C} \] be the physical collar quotient obtained from the fixed-cutoff presentation after quotienting gauge representatives, hidden carrier coordinates, port labels, repair-schedule identifiers, mesh labels, shard or worker identifiers, and inert ancillary labels.
Let \[ \mathcal A^{\rm phys}_{r,C} \] be the finite physical collar algebra, with center \[ Z(\mathcal A^{\rm phys}_{r,C}). \] The connected cut exposes a quotient-visible edge-center sector map \[ \eta_{r,C}:Q_{r,C}\longrightarrow \Xi_{r,C}, \] where \(\Xi_{r,C}\) is the finite set of edge-center cut sectors visible on the repaired collar normal form.
For each \(\xi\in\Xi_{r,C}\), let \[ e_{\xi,r,C} \] be the central sector projection corresponding to the fiber \(\eta_{r,C}^{-1}(\xi)\). In the classical quotient algebra this is the indicator function of the fiber. In the finite quantum quotient algebra this is the central summand projection for the same quotient-visible sector.
Definition 27 (Edge-center quotient algebra). The edge-center quotient algebra of the connected collar cut \(C\) is \[ \boxed{ \mathcal E_{r,C} := \operatorname{Alg}\{e_{\xi,r,C}:\xi\in\Xi_{r,C}\} \subseteq Z(\mathcal A^{\rm phys}_{r,C}). } \] Equivalently, \[ \mathcal E_{r,C}\cong \ell^\infty(\Xi_{r,C}), \qquad 1_{\mathcal E_{r,C}}=\sum_{\xi\in\Xi_{r,C}}e_{\xi,r,C}. \]
Theorem 28 (Edge-center quotient algebra). On the fixed-cutoff connected-collar branch, \(\mathcal E_{r,C}\) is a finite commutative central subalgebra of \(\mathcal A^{\rm phys}_{r,C}\).
Proof. The fibers \(\eta_{r,C}^{-1}(\xi)\) partition the physical collar quotient. Therefore the corresponding sector projectors satisfy \[ e_{\xi,r,C}e_{\xi',r,C} \mathrel{=} \delta_{\xi\xi'}e_{\xi,r,C}, \qquad \sum_{\xi\in\Xi_{r,C}}e_{\xi,r,C}=1. \] Because the edge-center label is quotient-visible superselection data of the connected cut, its sector projectors commute with every physical collar observable and lie in \(Z(\mathcal A^{\rm phys}_{r,C})\). The algebra generated by finitely many mutually orthogonal central projections is finite, commutative, and isomorphic to \(\ell^\infty(\Xi_{r,C})\). ◻
Definition 29 (Quotient scalar readout algebra). Let \[ \mathsf{Scal}_{r,C} \subseteq \mathcal A^{\rm phys}_{r,C} \] be the subalgebra generated by all quotient-local collar readouts whose values are invariant under orientation choice, vector/tensor frame choice, bulk-coordinate choice, hidden carrier coordinate, port relabeling, accepted repair schedule, mesh label, shard label, and inert ancillary label.
Elements of \(\mathsf{Scal}_{r,C}\) are the physical scalar collar readouts of the connected cut.
Assumption 30 (Edge-center scalar completeness). On the declared fixed-cutoff scalar branch, every quotient-local scalar collar readout on a connected cut is resolved by the edge-center sector map: \[ \boxed{ \mathsf{Scal}_{r,C}=\mathcal E_{r,C}. } \] Equivalently, there is no independent scalar event algebra carried by bulk coordinates, screen-area labels, noncentral matrix directions, hidden carrier coordinates, port labels, or repair-schedule identifiers after the physical quotient has been taken.
Definition 31 (Scalar recoverability defect and activation projector). Let \[ R_{r,C}\in\mathsf{Scal}_{r,C,+} \] be the quotient-local scalar recoverability defect on the collar cut. On the positive scalar source branch, \[ R_{r,C}=I(A:D\mid B) \] or the corresponding quotient-local finite-collar representative of that recoverability defect.
Define the scalar activation projector by \[ \boxed{ \Pi^{\rm scal}_{r,C} := \mathbf 1_{(0,\infty)}(R_{r,C}). } \] Inside this subsection we may also write \[ S_{r,C}:=\Pi^{\rm scal}_{r,C} \] when matching the dark-sector notation.
Theorem 32 (Scalar activation is an edge-center event). Assume edge-center scalar completeness. Then \[ \boxed{ \Pi^{\rm scal}_{r,C}\in\mathcal E_{r,C}. } \]
Proof. By definition, \(R_{r,C}\) is a quotient-local scalar collar readout, hence \[ R_{r,C}\in\mathsf{Scal}_{r,C}. \] By Assumption 30, \[ \mathsf{Scal}_{r,C}=\mathcal E_{r,C}. \] Therefore \(R_{r,C}\in\mathcal E_{r,C}\). Since \(\mathcal E_{r,C}\) is a finite commutative algebra, functional calculus is internal to \(\mathcal E_{r,C}\). Thus \[ \Pi^{\rm scal}_{r,C} \mathrel{=} \mathbf 1_{(0,\infty)}(R_{r,C}) \in \mathcal E_{r,C}. \] ◻
Definition 33 (Protected \(Z_6\) reserve projector). Let the realized Standard Model quotient be \[ G_{\rm phys} \mathrel{=} \frac{SU(3)\times SU(2)\times U(1)}{\mathbb Z_6}. \] On the protected-center finite-collar branch, let \[ \zeta_{6,r,C}:\Xi_{r,C}\to\{0,1\} \] be the quotient-visible indicator that an edge-center sector carries the protected \(Z_6\) reserve class.
Define \[ \boxed{ Z_{6,r,C} := \sum_{\xi:\zeta_{6,r,C}(\xi)=1}e_{\xi,r,C}. } \] Then \[ Z_{6,r,C}\in\mathcal E_{r,C}. \]
Theorem 34 (Same-register and commutation theorem). Assume edge-center scalar completeness and protected-center realization. Then \[ \boxed{ \Pi^{\rm scal}_{r,C},Z_{6,r,C}\in\mathcal E_{r,C} } \] and therefore \[ \boxed{ [\Pi^{\rm scal}_{r,C},Z_{6,r,C}]=0 } \] inside the physical quotient collar algebra.
Proof. Theorem 32 gives \[ \Pi^{\rm scal}_{r,C}\in\mathcal E_{r,C}. \] Definition 33 gives \[ Z_{6,r,C}\in\mathcal E_{r,C}. \] The algebra \(\mathcal E_{r,C}\cong\ell^\infty(\Xi_{r,C})\) is finite and commutative. Hence any two of its elements commute in \(\mathcal A^{\rm phys}_{r,C}\). ◻
Assumption 35 (Scalar activation channel completeness). The scalar activation channel on the connected collar cut is the quotient event algebra generated by the nonzero recoverability-defect event: \[ \boxed{ \mathcal C^{\rm scal}_{r,C} \mathrel{=} \operatorname{Alg}\{\Pi^{\rm scal}_{r,C}\} \subseteq \mathcal E_{r,C}. } \] Equivalently, there is no second independent scalar activation generator after the physical quotient has been taken.
Theorem 36 (Scalar-channel exhaustion). Assume edge-center scalar completeness, scalar activation channel completeness, and protected-center realization. Then the scalar activation channel is exhausted by \(\Pi^{\rm scal}_{r,C}\), and the protected reserve splits it as \[ \boxed{ \Pi^{\rm scal}_{r,C} \mathrel{=} \Pi^{\rm scal}_{r,C}(1-Z_{6,r,C}) + \Pi^{\rm scal}_{r,C}Z_{6,r,C}. } \] The first summand is the reserve-surviving scalar channel. The second summand is the reserve-blocked scalar channel.
Proof. By Assumption 35, every scalar activation event is generated by \(\Pi^{\rm scal}_{r,C}\). Thus no scalar activation support exists outside this projector.
By Theorem 34, \(\Pi^{\rm scal}_{r,C}\) and \(Z_{6,r,C}\) commute. Therefore \[ \Pi^{\rm scal}_{r,C}(1-Z_{6,r,C}) \quad\text{and}\quad \Pi^{\rm scal}_{r,C}Z_{6,r,C} \] are commuting orthogonal projections. Their sum is \[ \Pi^{\rm scal}_{r,C} \text{-} \Pi^{\rm scal}_{r,C}Z_{6,r,C} + \Pi^{\rm scal}_{r,C}Z_{6,r,C} \mathrel{=} \Pi^{\rm scal}_{r,C}. \] Hence the reserve split exhausts the scalar activation channel. ◻
Theorem 37 (No separate scalar carrier). Assume edge-center scalar completeness. Let \(B\) be any proposed alternative scalar activation projector, possibly represented on a bulk, screen-area, noncentral, implementation-local, or hidden-carrier algebra.
If \(B\) changes scalar activation but does not factor through \(\mathcal E_{r,C}\), then the physical quotient observable algebra has been changed. If \(B\) does not change quotient observables, then its scalar content is the same as its edge-center central support in \(\mathcal E_{r,C}\), and the extra carrier is inert.
Proof. A physical scalar activation event must be a quotient-local scalar observable. By Assumption 30, every such observable factors through the edge-center sector map \[ \eta_{r,C}:Q_{r,C}\to\Xi_{r,C}. \] Equivalently, every such event is represented by a projection in \[ \mathcal E_{r,C}. \]
Suppose \(B\) is a bulk, screen-area, hidden-carrier, implementation-local, or noncentral event that does not factor through \(\eta_{r,C}\). Then there are physical presentations that agree on the edge-center quotient sector but differ in the value of \(B\). If that difference changes scalar activation, then scalar activation is not determined by the declared physical scalar quotient. The observable algebra has therefore been enlarged or changed.
If that difference does not change any quotient observable, then the degrees of freedom in \(B\) outside the edge-center quotient are physically silent. The scalar part of \(B\) is obtained by passing to the central edge-center event with the same quotient-visible activation support. That central support lies in \(\mathcal E_{r,C}\).
For a noncentral operator \(B\), the same argument is internal to \(\mathcal A^{\rm phys}_{r,C}\). If the noncentral matrix part affects scalar readout, then the readout is not a scalar central event on the declared quotient. If it does not affect scalar readout, only its central support contributes to scalar activation, and that support lies in \(\mathcal E_{r,C}\).
Thus a separate scalar carrier either changes quotient observables or collapses to the edge-center scalar event represented in \(\mathcal E_{r,C}\). ◻
Coherent-matter scalar-source forcing
The scalar-slot exhaustion theorem fixes the available local scalar carrier. It does not make raw mass, heat, stored energy, or an engineering substrate factor into a scalar source. The source is a quotient-visible coherent-material receipt with explicit readback and boundary-prediction closure.
Definition 38 (OPH-coherent material subfederation). Fix a screen collar \(C\), a finite material region \(U\subset C\), and a refinement scale \(r\). An OPH-coherent material subfederation is a finite family \[ \mathfrak M=(\mathfrak F_U,\mathsf R_U,\mathsf P_U,\mathsf C_U) \] where \(\mathfrak F_U\) is a self-reading subfederation over \(U\), \(\mathsf R_U\) is a stable internal record readout, \(\mathsf P_U\) is a boundary prediction operator against neighboring screen states, and \(\mathsf C_U\) is a coherent mismatch-reduction certificate. The datum is nondegenerate when all four factors survive quotienting and refinement, \[ \mathbf 1_{\rm self-read}(\mathfrak F_U)\, \mathsf R_U\,\mathsf P_U\,\mathsf C_U>0 . \] Presentations with the same quotient record, boundary prediction, and coherence certificate define the same subfederation class.
Definition 39 (Canonical coherent-matter scalar source). For an OPH-coherent material subfederation \(\mathfrak M\), define the canonical scalar source readout \[ S_{\mathrm{coh}}^{\mathrm{can}}(U,t;h) := \mathbf 1_{\rm self-read}(\mathfrak F_U)\, \mathsf R_U(U,t;h)\,\mathsf P_U(U,t;h)\,\mathsf C_U(U,t;h) . \] The readout is zero exactly when one of the self-read, record, boundary prediction, or coherent mismatch-reduction receipts vanishes. Rest mass, heat, and arbitrary coherent energy are outside this definition.
Claim 40 (Quotient descent of coherent-material source). The functional \(S_{\mathrm{coh}}^{\mathrm{can}}\) descends to the screen quotient. It is invariant under relabelings of internal coordinates, duplicate micro-presentations, and record refinements that preserve \((\mathsf R_U,\mathsf P_U,\mathsf C_U)\) in the quotient.
Proof. Each factor in Definition 39 is a screen-record observable: self-read existence is a boundary-stable record property, \(\mathsf R_U\) is the internal record value, \(\mathsf P_U\) is read through neighboring boundary records, and \(\mathsf C_U\) is the observed reduction of prediction mismatch. The quotient identifies presentations with identical boundary-visible records and predictions. Hence the product is constant on quotient classes and descends. ◻
Theorem 41 (Nonzero coherent scalar source). Every nondegenerate OPH-coherent material subfederation has \[ S_{\mathrm{coh}}^{\mathrm{can}}(U,t;h)>0 . \] The zero branch is precisely the degenerate branch in which at least one coherent-material receipt vanishes.
Proof. Nondegeneracy is the strict positivity of the product in Definition 38. The canonical source is that product. ◻
Theorem 42 (Coherent-matter same-channel forcing). Assume Scalar Edge-Center Exhaustion \(\text{scalar edge center exhaustion}\), Theorem 36. For every nondegenerate OPH-coherent material subfederation on a collar \(C\), the source \[ S_{\mathrm{coh}}^{\mathrm{can}}(U,t;h) \] is valued in the unique scalar edge-center register \(\mathcal E_{r,C}\). Consequently the coherent-material scalar source uses the same scalar channel that is priced by the \(Z_6\) edge-center collar theorem.
Proof. By Lemma 40, \(S_{\mathrm{coh}}^{\mathrm{can}}\) is a quotient-local scalar observable: it has no boundary direction, no spin frame, and no unscreened vector index. Scalar Edge-Center Exhaustion states that every quotient-local scalar perturbation that can affect a collar record factors through \(\mathcal E_{r,C}\). The source therefore lies in \(\mathcal E_{r,C}\). Theorem 34 identifies this register with the same edge-center scalar slot used by the \(Z_6\) collar computation, so the channel identity follows. ◻
Corollary 43 (Finite scalar channel bridge). On the same branch, the coherent-material record slots and the \(Z_6\) protected-reserve collar slices may be packaged as one finite indexed channel \(E\). The record panel consists of scalar-slot activity, opportunity weights, and normal-form activation maps; the collar panel consists of finite-thickness slice weights and reserve means. With this packaging, the phrase “the same scalar channel” means that both panels are functions of the same finite family \(E\). Equality of two separately defined numerical counters is insufficient.
Proof. Theorem 42 places the coherent-material source in \(\mathcal E_{r,C}\), while Theorem 34 places the protected \(Z_6\) reserve in the same edge-center scalar register. Choosing the scalar slots of \(\mathcal E_{r,C}\) as the index family \(E\) gives one finite channel carrying both panels. The packaging adds no new physical premise; it removes a bookkeeping ambiguity. ◻
Theorem 44 (Unique scalar linear response). On the weak-field branch, any infinitesimal frequency response to a nondegenerate OPH-coherent material source has the form \[ \delta \nu_C \mathrel{=} \chi_{\nu,C}^{\mathrm{can}}\, \langle \eta_C,S_{\mathrm{coh}}^{\mathrm{can}}\rangle_C +O\!\left((S_{\mathrm{coh}}^{\mathrm{can}})^2\right), \] where \(\eta_C\) is the local edge-center test functional. No independent local scalar susceptibility can be added without violating Theorem 36.
Proof. Theorem 44 places the perturbation in the unique scalar register \(\mathcal E_{r,C}\). Linearization of a one-register scalar perturbation gives a single edge-center test functional. An additional scalar susceptibility would define another quotient-local scalar carrier on the same collar, contradicting Scalar Edge-Center Exhaustion. ◻
The finite evidence packet records the coherent material source, its scalar edge-center binding, nonzero activation, same-channel forcing, and the unique linear response proved above.
Definition 45 (Oriented 24-slot repair register). On the twelve-port screen-sieve branch, let \[ \mathsf P_{12,r,C} \] be the twelve exposed central screen ports of the connected cut. Reversible write/check orientation gives the oriented repair-slot set \[ \mathsf R_{24,r,C} := \mathsf P_{12,r,C}\times\{+,-\}, \] so \[ |\mathsf R_{24,r,C}|=24. \] The corresponding oriented slot algebra is \[ \mathcal R^{\rm or}_{24,r,C} := \ell^\infty(\mathsf R_{24,r,C}). \] The oriented register is a bookkeeping refinement of the same quotient-edge cut surface. It does not create an independent scalar carrier.
Proposition 46 (The oriented register carries no modular clock). Every faithful state on \(\mathcal R^{\rm or}_{24,r,C}=\ell^\infty(\mathsf R_{24,r,C})\) is tracial, so its modular automorphism group is trivial. The twenty-four slots can carry channel names, orientations, central event projectors, and orbit counts. They do not determine a modular Hamiltonian, a set of clock ticks, or a frequency. A nontrivial modular lift requires a noncommutative transition algebra, for example \(B(\ell^2X)\) with operators \(V_{u\to v}=|v\rangle\langle u|\), together with a faithful physical state on that algebra.
Proof. The algebra is finite and commutative. Its density operator is central in every faithful representation, hence \(\rho^{it}a\rho^{-it}=a\) for all \(a\) and \(t\). ◻
The shared-edge protected-reserve branch carries two named branch inputs: the shared cut entropy density \(\bar\ell_{\rm shared}=P/4\) and the \(\mathbb Z_6\) class equidistribution stated in Theorem 47 are declared assumptions of the branch, not derived quantities. Every value downstream of the \(P/24\) exponent inherits both inputs.
Theorem 47 (Protected reserve mean and reciprocal trace). On the shared-edge protected-reserve branch, with the declared branch input \(\bar\ell_{\rm shared}=P/4\) and the declared \(\mathbb Z_6\) class equidistribution hypothesis (the shared-edge reserve is distributed uniformly over the six protected center classes; a declared branch input alongside the shared-cut density), \[ \boxed{ \tau_{q,r,C}(Z_{6,r,C})=\frac{P}{24}. } \] Equivalently, for the reciprocal reserve-depth trace, \[ \boxed{ \operatorname{Tr}^{\#}_{q,r,C}(Z_{6,r,C})=\frac{24}{P}. } \] Using \[ P=1.630968209403959, \] one has \[ \frac{P}{24}=0.06795700872516496, \] \[ \frac{24}{P}=14.715185655746689, \] and, under the presence reading of Lemma 52, \[ 1-\frac{P}{24}=0.9320429912748350. \]
Proof. The shared cut entropy density on this branch is the declared branch input \[ \bar\ell_{\rm shared}=\frac{P}{4}. \] The protected reserve is the realized \(\mathbb Z_6\) center quotient reserve. By the declared \(\mathbb Z_6\) class-equidistribution hypothesis, splitting the shared-edge reserve uniformly over the six protected center classes gives \[ \epsilon_{\mathbb Z_6} \mathrel{=} \frac{\bar\ell_{\rm shared}}{|\mathbb Z_6|} \mathrel{=} \frac{P/4}{6} \mathrel{=} \frac{P}{24}. \]
Thus the normalized quotient reserve mean is \[ \tau_q(Z_{6,r,C})=\frac{P}{24}. \] By definition of the reciprocal reserve-depth trace, \[ \operatorname{Tr}^{\#}_q(Z_{6,r,C}) \mathrel{=} \frac{1}{\tau_q(Z_{6,r,C})} \mathrel{=} \frac{24}{P}. \] ◻
Remark 48 (Oriented-register denominator coincidence). The oriented \(24\)-slot register of Definition 45 also displays the denominator \(24\) on the local screen side. By that definition the register creates no independent scalar carrier, so the coincidence of denominators carries no corroborating weight for the class-equidistribution hypothesis; the \(P/24\) value rests on the two declared branch inputs alone.
Definition 49 (Finite-thickness scalar opportunity profile). Let \(Y_{r,C}\) be the finite transverse collar-coordinate set at regulator \(r\). Let \[ p_y,\qquad y\in Y_{r,C}, \] be the transverse slice projectors, with \[ \sum_{y\in Y_{r,C}}p_y=1. \] Let \[ \mathcal A^{\rm thick}_{r,C} \] be the finite-thickness collar algebra containing the edge-center algebra and the transverse slice algebra: \[ \mathcal A^{\rm thick}_{r,C} \supseteq \mathcal E_{r,C}\vee \operatorname{Alg}\{p_y:y\in Y_{r,C}\}. \]
Let \[ \Pi^{\rm scal,thick}_{r,C} \] be the scalar activation projector lifted to the thickened collar, and let \[ Z^{\rm thick}_{6,r,C} \] be the protected reserve projector lifted to the thickened collar.
Define the scalar activation mass at slice \(y\) by \[ a_r(y) := \tau^{\rm thick}_{q,r,C} \!\left(\Pi^{\rm scal,thick}_{r,C}p_y\right). \] Assume \[ A_r:=\sum_{y\in Y_{r,C}}a_r(y)>0. \] The normalized finite-thickness scalar activation profile is \[ \boxed{ w_r(y):=\frac{a_r(y)}{A_r}. } \] Then \[ \sum_{y\in Y_{r,C}}w_r(y)=1. \]
For every scalar-active slice, \(a_r(y)>0\), define the scalar-opportunity conditional reserve profile by \[ \boxed{ \epsilon_{\mathbb Z_6,r}(y) := \frac{ \tau^{\rm thick}_{q,r,C} \!\left( \Pi^{\rm scal,thick}_{r,C} Z^{\rm thick}_{6,r,C} p_y \right) }{ \tau^{\rm thick}_{q,r,C} \!\left( \Pi^{\rm scal,thick}_{r,C} p_y \right) }. } \] Slices with \(a_r(y)=0\) do not contribute to \(w_r\) and may be assigned any harmless value.
The scalar-weighted protected reserve mean is \[ \boxed{ \bar\epsilon_{\mathbb Z_6,r}^{\rm scal} := \sum_{y\in Y_{r,C}}w_r(y)\epsilon_{\mathbb Z_6,r}(y) \mathrel{=} \frac{ \tau^{\rm thick}_{q,r,C} \!\left(\Pi^{\rm scal,thick}_{r,C}Z^{\rm thick}_{6,r,C}\right) }{ \tau^{\rm thick}_{q,r,C} \!\left(\Pi^{\rm scal,thick}_{r,C}\right) }. } \]
In continuum notation, \[ w_r(y)\to w(y), \qquad \epsilon_{\mathbb Z_6,r}(y)\to\epsilon_{\mathbb Z_6}(y), \] with \[ \int dy\,w(y)=1 \] and \[ \bar\epsilon_{\mathbb Z_6}^{\rm scal} \mathrel{=} \int dy\,w(y)\epsilon_{\mathbb Z_6}(y). \]
Theorem 50 (Finite-thickness mean reserve disintegration). At fixed regulator, \[ \boxed{ \sum_{y\in Y_{r,C}}w_r(y)\epsilon_{\mathbb Z_6,r}(y) \mathrel{=} \frac{ \tau^{\rm thick}_{q,r,C} \!\left(\Pi^{\rm scal,thick}_{r,C}Z^{\rm thick}_{6,r,C}\right) }{ \tau^{\rm thick}_{q,r,C} \!\left(\Pi^{\rm scal,thick}_{r,C}\right) }. } \] Consequently, if the scalar-weighted protected reserve mean receipt holds, \[ \boxed{ \frac{ \tau^{\rm thick}_{q,r,C} \!\left(\Pi^{\rm scal,thick}_{r,C}Z^{\rm thick}_{6,r,C}\right) }{ \tau^{\rm thick}_{q,r,C} \!\left(\Pi^{\rm scal,thick}_{r,C}\right) } \mathrel{=} \frac{P}{24}, } \] then \[ \boxed{ \sum_{y\in Y_{r,C}}w_r(y)\epsilon_{\mathbb Z_6,r}(y)=\frac{P}{24}. } \] In the continuum limit, \[ \boxed{ \int dy\,w(y)\epsilon_{\mathbb Z_6}(y)=\frac{P}{24}. } \]
Proof. Temporarily write \(\tau=\tau^{\rm thick}_{q,r,C}\), \(\Pi^{\rm scal}=\Pi^{\rm scal,thick}_{r,C}\), and \(Z_6=Z^{\rm thick}_{6,r,C}\). Using the definitions, \[ \sum_y w_r(y)\epsilon_{\mathbb Z_6,r}(y) \mathrel{=} \sum_y \frac{\tau(\Pi^{\rm scal}p_y)}{\tau(\Pi^{\rm scal})} \cdot \frac{\tau(\Pi^{\rm scal}Z_6p_y)}{\tau(\Pi^{\rm scal}p_y)}. \] Canceling the slice factors gives \[ \sum_y w_r(y)\epsilon_{\mathbb Z_6,r}(y) \mathrel{=} \frac{1}{\tau(\Pi^{\rm scal})} \sum_y\tau(\Pi^{\rm scal}Z_6p_y). \] Since \(\sum_y p_y=1\), \[ \sum_y\tau(\Pi^{\rm scal}Z_6p_y) \mathrel{=} \tau(\Pi^{\rm scal}Z_6). \] Therefore \[ \sum_y w_r(y)\epsilon_{\mathbb Z_6,r}(y) \mathrel{=} \frac{\tau(\Pi^{\rm scal}Z_6)}{\tau(\Pi^{\rm scal})}. \] If that scalar-weighted quotient mean is \(P/24\), the displayed identity follows. The continuum expression is the weak-limit version of the same finite disintegration. ◻
Remark 51 (Unconditioned trace is not enough). The identity \[ \tau_q(Z_{6,r,C})=P/24 \] does not by itself imply \[ \frac{\tau_q(\Pi^{\rm scal}_{r,C}Z_{6,r,C})} {\tau_q(\Pi^{\rm scal}_{r,C})} \mathrel{=} P/24. \] The latter is a scalar-weighted reserve mean receipt. It follows from scalar-reserve unbiasedness. Co-registration or commutation alone is insufficient.
Lemma 52 (Presence reading of the reserve profile). \(Z_{6,r,C}\) is a sum of sector projections, so the conditional reserve profile \(\epsilon_{\mathbb Z_6}(y)\), a ratio of quotient traces of projections, is the conditional probability of the reserve-presence event in a co-registered scalar slot at transverse coordinate \(y\). A scalar opportunity survives exactly when the presence event does not occur. The local scalar survival factor is therefore \[ \lambda_{\rm slot}(y)=1-\epsilon_{\mathbb Z_6}(y) \] for every occupancy law whose presence event has probability \(\epsilon_{\mathbb Z_6}(y)\). No occupancy variable with that presence probability attains the Poisson zero-count factor \(e^{-\epsilon}\): \(1-\epsilon<e^{-\epsilon}\) strictly for \(\epsilon>0\), and every finite \(m\)-fold sub-slot refinement \((1-\epsilon/m)^m\) sits strictly below \(e^{-\epsilon}\), which is the supremum of that family, attained by no finite regulator. A mean-count reading, in which \(\epsilon(y)\) is consumed as the expectation of an \(\mathbb N\)-valued occupancy rather than as the presence probability, severs the link to the projection trace and consumes a scalar carrier beyond \(Z_{6,r,C}\), which the no-separate-carrier clause of Definition 45 excludes; its assumption-minimal consequence is recorded in Remark 55.
Theorem 53 (Finite-thickness collar survival). Under the presence reading of Lemma 52, the finite-thickness collar survival coefficient is \[ \boxed{ \lambda_{\rm collar} \mathrel{=} \int dy\,w(y)\bigl(1-\epsilon_{\mathbb Z_6}(y)\bigr) \mathrel{=} 1-\int dy\,w(y)\,\epsilon_{\mathbb Z_6}(y). } \] At finite regulator this is \[ \boxed{ \lambda_{\rm collar,r} \mathrel{=} 1-\sum_{y\in Y_{r,C}}w_r(y)\,\epsilon_{\mathbb Z_6,r}(y). } \]
Proof. The local survival factor at \(y\) is \(1-\epsilon_{\mathbb Z_6}(y)\) by Lemma 52. Averaging over scalar opportunities with normalized profile \(w(y)\) and using linearity of the integral gives the displayed formula. The finite-regulator formula is the corresponding finite sum. ◻
Corollary 54 (Exact finite-thickness coefficient from the scalar-weighted receipt). If \[ \int dy\,w(y)\epsilon_{\mathbb Z_6}(y)=\frac{P}{24}, \] then \[ \boxed{ \lambda_{\rm collar}=1-\frac{P}{24}. } \] Numerically, \[ \boxed{ \lambda_{\rm collar} \mathrel{=} 0.9320429912748350\ldots . } \] The scalar-weighted mean receipt alone fixes the coefficient, by linearity; no uniformity clause on the profile is consumed. More generally, if the scalar-weighted mean is \(\bar\epsilon_{\mathbb Z_6}^{\rm scal}\), \[ \boxed{ \lambda_{\rm collar} \mathrel{=} 1-\bar\epsilon_{\mathbb Z_6}^{\rm scal}. } \]
Proof. Substitute the receipt value into the survival formula of Theorem 53. ◻
Remark 55 (Mean-count reading and its Markov band). Under the mean-count reading, with \(\epsilon_{\mathbb Z_6}(y)\) the expectation of an \(\mathbb N\)-valued reserve occupancy and survival the zero-count event, Markov’s inequality bounds the survival factor for any occupancy law: \(\Pr[N\ge1]\le\epsilon\) gives \(1-\epsilon\le\Pr[N=0]\le1\), hence with the scalar-weighted \(P/24\) receipt \[ 1-\frac{P}{24}\le\lambda_{\rm collar}\le1. \] The coefficient is order one and bounded away from zero on every reading; the exact value is reading-dependent, and the presence reading is the one the receipt semantics of this branch supply. Which reading nature uses is a physical gate of the susceptibility lane, recorded there.
Definition 56 (Uniform product-thickening branch). The uniform product-thickening branch consists of the following clauses.
Product collar algebra: \[ \mathcal A^{\rm thick}_{r,C} \cong \mathcal E_{r,C}\otimes\mathcal T_r(Y). \]
Product quotient trace: \[ \tau^{\rm thick}_{q,r,C} \mathrel{=} \tau^{\mathcal E}_{q,r,C}\otimes\tau^Y_r. \]
Reserve pullback from the edge-center register: \[ Z^{\rm thick}_{6,r,C} \mathrel{=} Z_{6,r,C}\otimes1_Y. \]
Scalar activation disintegration: \[ \Pi^{\rm scal,thick}_{r,C} \mathrel{=} \sum_{y\in Y_{r,C}} \Pi^{\rm scal}_{r,C}(y)\otimes p_y, \] with each \(\Pi^{\rm scal}_{r,C}(y)\in\mathcal E_{r,C}\).
Slice-wise scalar-reserve unbiasedness: for every scalar-active slice, \[ \boxed{ \frac{ \tau^{\mathcal E}_{q,r,C} \!\left(\Pi^{\rm scal}_{r,C}(y)Z_{6,r,C}\right) }{ \tau^{\mathcal E}_{q,r,C} \!\left(\Pi^{\rm scal}_{r,C}(y)\right) } \mathrel{=} \tau^{\mathcal E}_{q,r,C}(Z_{6,r,C}) \mathrel{=} \frac{P}{24}. } \]
The fifth clause is essential. Product algebra and product trace alone do not force the scalar-active edge sampler to be reserve-unbiased.
Theorem 57 (Exact uniform product-thickening coefficient). On the uniform product-thickening branch, under the presence reading of Lemma 52, \[ \boxed{ \lambda_{\rm collar}=1-\frac{P}{24}. } \] Numerically, \[ \boxed{ \lambda_{\rm collar} \mathrel{=} 0.9320429912748350\ldots . } \]
Proof. By slice-wise scalar-reserve unbiasedness, \[ \epsilon_{\mathbb Z_6}(y)=P/24 \] for every scalar-active transverse slice. Substituting this into the finite-thickness survival formula gives \[ \lambda_{\rm collar} \mathrel{=} \int dy\,w(y)\left(1-\frac{P}{24}\right). \] Since \(w\) is normalized, \[ \int dy\,w(y)=1. \] Therefore \[ \lambda_{\rm collar}=1-\frac{P}{24}. \] On this branch the coefficient coincides with the finite-thickness value of Corollary 54, since the scalar-weighted receipt fixes it by linearity on its own; the uniform branch adds slice-wise constancy of the profile, which the exact value does not consume. ◻
Remark 58 (Exact value gate). The exact value \(1-P/24\) is licensed by the scalar-weighted \(P/24\) receipt under the presence reading. Without that receipt the theorem-grade coefficient is \[ \lambda_{\rm collar} \mathrel{=} 1-\int dy\,w(y)\,\epsilon_{\mathbb Z_6}(y), \] and under the mean-count reading of Remark 55 the available theorem-grade band is \[ 1-\frac{P}{24}\le\lambda_{\rm collar}\le1. \]
Local scalar certificates and review checks
The exact coefficient requires one quotient scalar-readout algebra, a complete and exhaustive scalar channel, the oriented 24-slot register, the normalized \(\mathbb Z_6\) trace, compatible scalar and reserve profiles through the finite thickness, and unbiased survival under disintegration. Under these conditions Theorem 57 gives \(\lambda_{\rm collar}=1-P/24\). Without them the theorem-grade expression is \[ \lambda_{\rm collar} \mathrel{=} 1-\int dy\,w(y)\,\epsilon_{\mathbb Z_6}(y), \] and under the mean-count reading it may add only the Markov band \[ 1-\frac{P}{24}\le\lambda_{\rm collar}\le1. \]
The coefficient ledger imposes the following checks. No survival coefficient may use \(24/P\); occurrences of \(\operatorname{Tr}_q(Z_6)\) with \(24/P\) must be renamed to \(\operatorname{Tr}^{\#}_q\) or explicitly declared reciprocal; every exact \(1-P/24\) coefficient claim must cite Theorem 57; every Markov lower bound must cite the weighted-mean result; and every statement that the \(Z_6\) reserve fixes scalar opportunities must cite the scalar-channel exhaustion theorem and its no-separate-carrier corollary.
Definition 59 (Finite source-bridge readouts). For cosmology runs that attempt a first-principles primordial bridge, the carrier must also expose quotient-visible maps \[ \begin{gathered} \mathsf{StressRead}_r,\quad \mathsf{ScalarSourceMap}_r,\quad \mathsf{CoherentMatterScalarRead}_r,\quad \mathsf{ClockRead}_r,\quad \mathsf{RepairTangent}_r,\\ \mathsf{VolumeJacobianRead}_r,\quad \mathsf{ScreenMassMatrixRead}_r,\quad \mathsf{LowModeProjectorRead}_r,\\ \mathsf{ScalarPrecisionRead}_r,\quad \mathsf{QuotientMeasureRead}_r,\quad \mathsf{ScalarReleaseEnergyRead}_r,\\ \mathsf{PrimitiveCollarLedgerRead}_r,\quad \mathsf{ReserveGeneratorRead}_r,\quad \mathsf{OrientationHalfRead}_r,\\ \mathsf{DiamondRead}_r,\quad \mathsf{ProperScaleRead}_r,\quad \mathsf{ModularRemainderRead}_r,\quad \mathsf{StressMomentRead}_r,\\ \mathsf{FaceFluxRead}_r,\quad \mathsf{ReactionRead}_r,\quad \mathsf{TetradRead}_r,\quad \mathsf{ScalarRefinementRead}_{sr},\\ \mathsf{RadialWindowRead}_r,\quad \mathsf{SpatialGeometryRead}_r,\quad \mathsf{AreaVolumeRead}_r,\quad \mathsf{LapseShiftRead}_r,\\ \mathsf{LineageRead}_r,\quad \mathsf{ScreenEmbeddingRead}_r,\quad \mathsf{ModeFormRead}_r,\quad \mathsf{CosmoGeomRead}_r,\\ \mathsf{ProperTimeRead}_r,\quad \mathsf{ComovingMetricRead}_r,\quad \mathsf{SpatialModeRead}_r,\quad \mathsf{AngularProjectorRead}_r,\\ \mathsf{FreezeoutMapRead}_r,\quad \mathsf{FreezeoutSurfaceRead}_r,\quad \mathsf{ReleaseSurfaceRead}_r,\\ \mathsf{HomogeneousProjectorRead}_r,\quad \mathsf{AnomalyLoadRead}_r,\quad \mathsf{LoadNoDataLedgerRead}_r . \end{gathered} \] They are defined on the same settled-form carrier used for the geometric record packet and must factor through the physical quotient: hidden carrier coordinates, port relabelings, and accepted repair schedules cannot change their output. The finite packet must expose enough data to reconstruct, for every active sector, \[ T_I^{ab},\quad Q_I^a,\quad u_I^a,\quad \rho_I,\quad p_I,\quad \pi_I^{ab}. \] Under Scalar Edge-Center Exhaustion, \[ \mathsf{CoherentMatterScalarRead}_r(U,t;h) =S_{\mathrm{coh}}^{\mathrm{can}}(U,t;h) \] is an edge-center scalar readout of OPH-coherent material support. It is a material scalar receipt, not a rest-mass, heat, or raw energy counter. For anomaly abundance selection, the added release maps supply the release hypersurface, tetrad normal and physical cell volumes, FLRW zero-mode projector, finite anomaly load observable \(\mathsf L_{A,r}\), and no-data-use manifest used by anomaly abundance source receipt. The source-bridge maps are instrumentation for the screen-to-radial theorem. They do not turn a screen covariance into a primordial spectrum unless the source-stress, single-clock, repair-gap, freeze-out, geometric-screen-scalar, scalar-precision, primitive-collar-law, source-release-energy, infinitesimal reserve-generator, orientation-half, refinement-tilt, radial-null, finite-window, and forward-residual receipts also pass. Radial uniqueness requires either a scale-labelled source-refinement orbit with a scale-natural physical embedding, source/physical covariance residual equality, strong finite-to-continuum convergence, and safe-band leakage control, or a cofinal radial cross-covariance family with spherical-Hankel convergence and held-out reconstruction. On the physical dilation branch the source-facing generator gives \(\theta=P_\star/48\) and the continuum intertwiner restricts the radial power to a one-dimensional family. A concrete finite carrier satisfying the full receipt set is work in progress.
Theorem 60 (Carrier invariance of the anomaly load readout). If two carrier presentations induce the same quotient state in \(Q^{\rm rel}_{A,r}\), the same parent stress readout, the same release hypersurface, and the same homogeneous projector, then they emit the same \(\mathsf L_{A,r}\).
Proof. Every term in \[ \mathsf L_{A,r} \mathrel{=} \Pi^{(0)}_r \sum_cV^{\rm phys}_{c,r}T^{ab}_{A,r}n_an_b \] is quotient-visible by hypothesis. Hidden carrier coordinates, port labels, repair schedule identifiers, and worker metadata are quotiented out by the physical quotient. Therefore the load readout is invariant. ◻
Definition 61 (Einstein-branch geometry readout). An Einstein-branch geometry readout is a cofinal family of maps \[ \mathsf{Geom}_r:Q_{r,\mathrm{nf}}\to \mathsf{GeoData}_r, \qquad Q_{r,\mathrm{nf}}=n_r(Q_r), \] where the emitted data include \[ \begin{gathered} \mathsf{Chart}_{S,r},\quad \mathcal A^{\mathrm{geo}}_{r}(C),\quad \omega^{\mathrm{geo},C}_{r},\quad \lambda_{C,r},\quad B_{C,r},\quad L_{C,r},\\ \mathsf{AreaRead}_r,\quad \mathsf{StressRead}_r,\quad \mathsf{DiamondRead}_r,\quad \mathsf{TetradRead}_r,\quad \mathsf{ScaleRead}_r,\quad c^{\mathrm{geo}}_{sr}. \end{gathered} \] It must be insensitive to hidden carrier coordinates, gauge representatives, port relabelings, worker/shard labels, and accepted repair schedules. It must also be refinement-compatible: \[ c^{\mathrm{geo}}_{sr}\circ \mathsf{Geom}_s \mathrel{=} \mathsf{Geom}_r\circ c^{\mathrm{nf}}_{sr} +O(\epsilon^{\mathrm{geo}}_{sr}), \qquad \epsilon^{\mathrm{geo}}_{sr}\to0. \]
Theorem 62 (Geometry-readout quotient factorization). If the geometry-facing readouts of Definition 59 are packaged as an Einstein-branch geometry readout \(\mathsf{Geom}_r\) that factors through \(Q_{r,\mathrm{nf}}\), then every geometry-facing observable extracted from \(\mathsf{Geom}_r\) is independent of hidden carrier coordinates, gauge representatives, port relabelings, worker/shard labels, accepted repair path, and repair schedule.
Proof. By construction, every extracted geometry-facing observable is a function of \(\mathsf{Geom}_r(q_{\mathrm{nf}})\) for a repaired quotient normal form \(q_{\mathrm{nf}}\in Q_{r,\mathrm{nf}}\). Any hidden carrier coordinate, gauge representative, port label, worker/shard label, accepted repair path, or repair schedule that presents the same quotient normal form therefore has the same geometry readout. The conclusion is exactly quotient factorization. ◻
The factorization theorem proves presentation independence of a declared readout; the complementary production direction, deriving the \(\mathsf{Geom}_r\) payload itself from the repaired normal form instead of declaring it, is the compact paper’s quotient-intrinsic geometry-producer theorem, which constructs the screen/cap data from the support-visible incidence complex on its computable-receipt branch and proves the receipt selection underdetermined by bare confluence.
In particular, a finite carrier patch, graph vertex, implementation point, or worker-local shard is not one canonical OPH screen cell unless a separate measure-realization theorem proves that identification. A promotable evidence bundle must expose a geometry manifest, metric-form hashes, orientation and topology, boundary conditions, lineage maps, lapse and shift, source embedding, operator assembly, scale certificate, and refinement maps.
A spherical screen is then a coarse chart over a federation of such patches. It is what a particular observer-facing support cut looks like after quotienting hidden implementation details and choosing a geometric presentation. The microscopic carrier may be graph-like, federated, multi-patch, and locally polyhedral.
The \(P,N\) closures supply the geometric side of that chart. If \(P_\star=a_{\mathrm{cell}}/\ell_\star^2\) and \(N_\Lambda=A_{\mathrm{screen}}/(4\ell_\star^2)\) with \(N_\Lambda=3.31\times10^{122}\) the \(\Lambda\)-located working capacity, then an equal-area cellulation has \[ K_{\mathrm{cell}} =\frac{A_{\mathrm{screen}}}{a_{\mathrm{cell}}} =\frac{4N_\Lambda}{P_\star} \simeq 8.12\times10^{122}. \] At the conditional bridge capacity the same count reads \(8.66\times10^{122}\). The \(\Lambda\)-located value is a measured-side comparison display and is not an input to the closure. This counts canonical geometric screen cells. It does not assign an independent Hilbert factor to each cell. In particular \(P_\star/4\simeq0.408\) nats is about \(0.588\) bits, so it is not by itself the logarithm of an integer-dimensional autonomous cell algebra. The area law lives on shared cuts, edge centers, and constrained overlap data.
Definition 63 (Federated patch carrier). A fixed-cutoff federated patch carrier is a tuple \[ \mathfrak F=(V,E,\{\mathcal A_i\}_{i\in V},\{\mathcal I_e\}_{e\in E}, \{\pi_{i,e}\},\{\mathcal R_i\},\{\mathcal U_i\}), \] where \(V\) is a finite set of patches, \(E\) is a finite overlap graph, \(\mathcal A_i\) is the local finite algebra of patch \(i\), \(\mathcal I_e\) is the finite interface algebra on overlap \(e=\{i,j\}\), \(\pi_{i,e}:\mathcal A_i\to\mathcal I_e\) is the declared visible restriction, \(\mathcal R_i\subseteq Z(\mathcal A_i)\) is the patch record algebra, and \(\mathcal U_i\) is the allowed local update and repair interface.
The carrier is observer-facing when every physical claim is made through the visible restrictions \(\pi_{i,e}\), record algebras \(\mathcal R_i\), and the quotient-local observables specified by the OPH consensus package. Hidden coordinates may exist, but they are not directly physical.
Canonical multiresolution regulator chart
Definition 64 (Reference multiresolution carrier). Choose the nested geodesic icosahedral subdivisions of \(S^2\). A regulator is \[ r=(m,L,b), \] where \(m\) is the subdivision depth, \(L\) is the finite support or volume scale of the exported carrier, and \(b\) is a boundary/phase label. Every added cell, collar, edge-center, or observer-visible channel \(j\) carries a finite algebra \[ D_j=\bigoplus_{\alpha\in S_j}M_{d_{j,\alpha}}(\mathbb C) \] and a faithful detail state \(\tau_j\). At regulator \(r\), \[ \widetilde M_r=\bigotimes_{j\in\mathcal J_r}D_j,\qquad \widetilde\omega_r=\bigotimes_{j\in\mathcal J_r}\tau_j . \] A finite-depth local presentation circuit \(W_r\) maps these multiresolution coordinates to the declared patch, port, collar, and gauge coordinates: \[ M_r=\operatorname{Ad}(W_r)(\widetilde M_r),\qquad \widehat\omega_r=\widetilde\omega_r\circ\operatorname{Ad}(W_r^*). \] For \(r\preceq s\), refinement adds detail factors. The refinement embedding and coarse-graining are \[ \iota_{rs}(A)=W_s\bigl[(W_r^*AW_r)\otimes\mathbf1\bigr]W_s^*, \] and \[ Q_{sr}(X)=W_r\bigl[(\operatorname{id}\otimes\tau_{s\setminus r}) (W_s^*XW_s)\bigr]W_r^* . \] The embedded map \(E_{sr}=\iota_{rs}Q_{sr}\) is the canonical state-preserving conditional expectation.
Theorem 65 (Fixed-cutoff regulator certificate). The maps in Definition 64 are unital, completely positive, composition-compatible, and preserve the faithful reference states. The refinement embeddings are unital injective \(*\)-homomorphisms, the \(E_{sr}\) are faithful conditional expectations, and the reference modular groups restrict exactly along the tower. The inductive limit has canonical finite-regulator renormalization maps given by these conditional expectations; their martingale tails are the finite-volume and lattice-spacing Cauchy errors used by the compact and main papers.
Proof. In bare coordinates all statements reduce to tensoring an observable with the identity and averaging the detail factors against the faithful product state. Composition follows from product-state associativity. Conjugating by the presentation circuits gives the physical patch coordinates without changing the algebraic identities. ◻
Remark 66 (Reference state, ground state, and vacuum). The state \(\widehat\omega_r\) is the finite-regulator reference state. It may be called a finite-volume ground state only after a positive self-adjoint transfer or Hamiltonian has been constructed and shown to have that state as its ground state. The term continuum vacuum is reserved for the GNS/OS limit after positive energy and the declared vacuum-sector uniqueness or superselection condition have been proved.
Remark 67 (Regulator promotion rule). A finite evidence bundle implements this regulator branch only when it exports the factor list, presentation circuit, refinement maps, conditional-expectation identities, transported state errors, renormalized observable tails, and positive-transfer or reflected-Gram certificates. A finite cellulation, finite-group score, or stable numerical extrapolation by itself is a regulator-chart result.
Definition 68 (Clocked spatial readout package). A finite cosmological run that claims FLRW spatial curvature must export the clock and spatial geometry readouts separately from screen/collar defect bookkeeping: \[ \begin{gathered} \mathsf{SpatialMetricRead}_r,\quad \mathsf{SpatialFrameRead}_r,\quad \mathsf{SpatialConnectionRead}_r,\\ \mathsf{SpatialTransportRead}_r,\quad \mathsf{CurvatureHolonomyRead}_r,\\ \mathsf{ProperRadiusRead}_r,\quad \mathsf{NestedCapacityRead}_r . \end{gathered} \] The transport readout uses the spatial Levi–Civita connection on the clock slice. Finite permutation holonomy of an \(S^2\) screen triangulation or \(S_3\) collar defect is a repair/sieve diagnostic unless these readouts identify it with a spatial Levi–Civita holonomy under quotient, transport, and refinement naturality.
The Echosahedral Patch Object
An echosahedral patch is the reference local body for this microphysics. The term is architectural: a bounded observer patch with a highly symmetric multi-port interface.
Definition 69 (Echosahedral patch). An echosahedral patch is a finite patch object \[ \mathcal E=(\mathcal A,\{P_a\}_{a=0}^{11},\{\rho_a\}_{a=0}^{11}, \mathcal R,\mathcal M,\mathcal U,\mathcal G_{\mathcal E}), \] where:
\(\mathcal A\) is the internal finite algebra;
\(P_0,\ldots,P_{11}\) are twelve labeled overlap ports;
\(\rho_a:\mathcal A\to \mathcal I_a\) are port readout maps;
\(\mathcal R\subseteq Z(\mathcal A)\) is the observer-accessible record algebra;
\(\mathcal M\) is a finite mismatch-score family on exposed port packets;
\(\mathcal U\) is a finite family of local update and repair instruments;
\(\mathcal G_{\mathcal E}\) is a declared finite symmetry or approximate-symmetry group of the port arrangement.
Definition 70 (Certified echosahedral carrier lineage). A certified local lineage augments the quotient-visible echosahedral patch by:
twelve primitive orthogonal port-center atoms \(e_{r,p}\), each of normalized trace \(1/12\);
the oriented \(12\)-vertex, \(30\)-edge, \(20\)-face triangular incidence packet, with degree-five vertices and five-cycle links;
the integer total-charge fiber \(\mathcal Q_r=\{q\in\mathbb Z^{12}:\sum_pq_p=12\}\) and the central readback cost \(H_r(q)=\sum_pq_p^2\);
orientation-preserving incidence isomorphisms along refinement that preserve the port-center/readback packet and obey the refinement cocycle; and
a source manifest that rejects Standard Model, product-adjoint, gauge, coupling, particle, measured-target, and fitted-coordinate fields.
Theorem 71 (Echosahedral source-selector theorem). On every lineage of Definition 70, the source packet canonically determines:
the twelve coefficient lines \(\mathbb R e_{r,p}\) and the unique all-one defect allocation, with \(H_{\min}=12\), next floor \(14\), and exact gap \(2\);
the unique fixed-point-free inverse pairing by graph distance three and the resulting six axes;
the full incidence group \(A_5\times C_2\) and its orientation-preserving subgroup \(A_5\);
the exact incidence Gram matrix \[ G_{pq}\in\{1,1/\sqrt5,-1/\sqrt5,-1\} \quad\text{at distances }0,1,2,3, \] with \[ G^2=4G,\qquad \operatorname{tr}G=12,\qquad \operatorname{rank}G=3, \] whose oriented factorization is the regular six-axis icosahedral frame up to \(SO(3)\); and
refinement naturality and arbitrary simultaneous port-relabeling equivariance of all these objects.
Thus the finite \(\mathrm{UD12}\) and \(\mathrm{RP\text{-}A5}\) source receipts are closed on this carrier branch.
Proof. Primitive central atoms give the intrinsic line family. On the total-charge fiber, \[ H(q)=12+\sum_p(q_p-1)^2, \] so the all-one allocation is unique and the least nonzero integral zero-sum deviation has squared norm two. The exact incidence distance profile is \((1,5,5,1)\), giving a unique distance-three involution. Enumeration gives \(120\) incidence automorphisms and \(60\) orientation-preserving ones; conjugation on the five Klein-four subgroups identifies the latter faithfully with all even permutations of five objects, hence with \(A_5\). Exact multiplication in \(\mathbb Q(\sqrt5)\) gives \(G^2=4G\), and the trace fixes rank three. Every declared refinement or complete relabeling preserves the source formulas. The exact implementation and countermodels are carried by the echosahedral selector certificate and its accompanying analysis. ◻
Remark 72 (Load-bearing hypotheses). Without primitive atoms the line split is continuous; without equal trace or total charge twelve the all-unit minimizer is not unique; a linear cost has \(\binom{23}{11}\) minimizers; twelve labels without incidence have \(10{,}395\) fixed-point-free pairings; without orientation the selected group is \(A_5\times C_2\); and non-incidence or noncocyclic refinement maps fail naturality. The theorem derives the selector from the declared echosahedral-carrier packet. It does not prove that bare Euler incidence or every possible OPH carrier selects that packet, and it does not construct a physical gauge-current algebra.
Theorem 73 (Alternative variational icosahedral screen sieve). Assume the fixed-cutoff OPH screen branch is represented by a quantum-link triangulation of \(S^2\), with finite Hilbert spaces on links, Gauss constraints at vertices, boundary-gauge-invariant physical algebras, and a refinement-stable quotient ensemble locally six-valent away from curvature defects. Let \[ q_v=6-\deg(v). \] Assume integer charges, a feasible twelve-unit configuration, and an additive cost with \(h(0)=0\), \(h(1)>0\), \(h(k)\ge h(1)|k|\), strictly for \(|k|\ge2\). Let edge-center collars expose each unit defect as one central port, with a fixed-point-free inverse-port involution giving six axes \(u_i\). If the source selector maximizes \[ \det F_1\det F_2,\qquad F_1=\sum_i u_iu_i^{\mathsf T},\quad F_2=\sum_i|Q_i\rangle\langle Q_i|,\quad Q_i=u_iu_i^{\mathsf T}-I_3/3, \] then the screen has twelve unit ports on the regular icosahedral orbit. An equal-weight additive invariant load \(X\) is read locally as \(X/12\).
Proof. For a triangulated sphere with \(V\) vertices, \(E\) edges, and \(F\) faces, Euler and triangular incidence give \[ V-E+F=2,\qquad 3F=2E,\qquad E=3V-6. \] Therefore \[ \sum_v q_v \mathrel{=} \sum_v(6-\deg(v)) =6V-2E =12. \] Thus \(\sum_vq_v=12\). The cost satisfies \[ \sum_vh(q_v)\ge h(1)\sum_v|q_v|\ge12h(1). \] Equality requires nonnegative unit charges, and feasibility supplies the twelve-unit minimizer. The collar rule turns them into twelve central ports. For six axes, \(\operatorname{tr}F_1=6\) and \(\operatorname{tr}F_2=4\). Determinant AM–GM gives \(\det F_1\le2^3\) and \(\det F_2\le(4/5)^5\), with equality exactly at \(F_1=2I_3\) and \(F_2=(4/5)I_5\). The six equal-norm \(Q_i\) then form a regular simplex in \(\operatorname{Sym}_0(3)\), so \((u_i\cdot u_j)^2=1/5\) for \(i\ne j\). The associated Seidel matrix satisfies \(S^2=5I_6\); after switching one vertex is isolated and the remaining negative-edge graph is a five-cycle. This is the unique switching class and gives the six axes of a regular icosahedron, whose proper rotation group \(A_5\) is transitive on the twelve ports. Equal-weight additivity gives the local read \(X/12\). ◻
Remark 74 (External identification of the load). The identification \(X=\log(N/\pi)\) is imported from the D6 radius identity of the capacity lane; this paper does not construct that object. The theorem itself constrains only invariant screen loads that are additive across the twelve ports.
Remark 75 (Source-selector boundary). For Theorem 73, the D-optimal vector/quadrupole functional remains a branch premise, and a source-derived strictly completely monotonic pair cost is another sufficient selector by universal optimality. Neither is needed on the certified lineage of Theorem 71, where oriented incidence and central readback supply the selector directly. Only the twelve-port load normalization follows from unit splitting and placement. The cell value \(\bar\ell_{\rm shared}=P/4\) and the \(\mathbb Z_6\) class equidistribution of Theorem 47 have separate premises; the port and slot counts do not imply either statement.
Theorem 76 (Icosahedral face-corner bundle). On the icosahedral screen-sieve branch, the twenty outward-oriented triangular faces form the homogeneous orbit \[ \mathsf F_{20}\simeq A_5/C_3. \] The stabilizer of a face acts regularly on its three corners. Hence the face orbit carries an \(A_5\)-associated bundle of local three-dimensional permutation fibers with cyclic shift \(R^3=1\). A fiberwise Hermitian operator \(C\) that is transported \(A_5\)-equivariantly across the face orbit and commutes fiberwise with this shift has the circulant form \[ C=a1+bR+\overline bR^2, \] and its unordered real spectrum is independent of the chosen face representative. Reversing the face orientation exchanges \(R\) and \(R^2\) and preserves that unordered spectrum.
Proof. The icosahedron has \((V,E,F)=(12,30,20)\). The orientation-preserving icosahedral group \(A_5\) is transitive on the outward-oriented faces. By orbit–stabilizer the face stabilizer has order \(60/20=3\), hence is \(C_3\), and its nontrivial rotations cyclically permute the three corners. The commutant of the regular cyclic shift on one fiber is the circulant algebra; Hermiticity gives the displayed coefficients. The stated \(A_5\)-equivariance transports that operator to every other face by conjugation and therefore preserves the spectrum. Without this equivariance, independent coefficients could be chosen on different faces. Orientation reversal complex-conjugates the transported presentation and again preserves the unordered real eigenvalues. ◻
Remark 77 (Face-carrier boundary). The theorem supplies local geometric \(C_3\) fibers, not one canonical global three-dimensional matter-family space. The sixty face-corner flags form a free transitive \(A_5\)-set, whose linearization is the regular sixty-dimensional \(A_5\) representation. A physical family claim therefore requires a quotient-visible section, connection, or intertwiner from this bundle to the relevant matter multiplicity space. Cyclic covariance alone also leaves \(a\), \(|b|\), and \(\arg b\) free. In particular this theorem does not emit a charged-family phase, determinant normalization, or mass coordinate.
Remark 78 (Engineered charged face-quotient model at fixed cutoff). An auxiliary finite construction shows that a stipulated charged face-quotient packet is algebraically nonempty. Inside a bounded patch it realizes eight connected matrix-register graphs, \(6{,}467\) matrix units, eight declared paths, rank-one local events, and a central accepted/rejected readback. For one event projection \(P\), write the central two-point record algebra as \[ \mathcal D_2 :=\mathbb C|a\rangle\!\langle a| \oplus\mathbb C|r\rangle\!\langle r|. \] The binary event-to-record channel is \[ \mathcal B(H_r)\longrightarrow \mathcal B(H_r)\otimes\mathcal D_2, \qquad \rho\longmapsto P\rho P\otimes |a\rangle\!\langle a| +(I-P)\rho(I-P)\otimes |r\rangle\!\langle r|. \] Sixty proper-icosahedral charts verify the declared graph intertwiners, and the evidence artifact verifies normalized-trace invariance under inert ancillary stabilization. Its theorem status is schema existence plus a fixed-cutoff bridge from noncentral event to central public record. The register dimensions, path automaton, coupling character, grading, unit clock, and scalar response are authored inputs. The evidence checker does not enforce every source-law and provenance field, and its negative-control wrapper can count an unrelated nonzero exit as a successful rejection. Path exhaustion is internal to that automaton; inert stabilization supplies no cofinal physical screen refinement. The construction has no frozen receipt excluding target dependence. A global mutually exclusive response law, physical charged-source selection, recovery dynamics, family attachment, and a pole map are outside this model. A separate conditional nature/pole interface shows how a supplied chiral three-family carrier and exact renormalized kernel would transport the face operator to a charged singularity readout. One premise identifies the physical Yukawa response with the face response, and another identifies the Dyson readout. It therefore adds a precise downstream certificate format without deriving either attachment from this screen model.
Remark 79 (Hardware-to-QFT export boundary). A screen or hardware evidence bundle exports only the bounded observer-like object it actually instantiates: local state, ports and boundaries, readback, records, repair or feedback moves, and public evidence. Even a complete echosahedral selector receipt does not thereby export a source-selected \(G_6\) action, chiral measure or constrained Hamiltonian, BV/ST restoration transcript, dressed-current amplitude, nonperturbative observable tower, or resonance sheet. The quantization-step implications for those typed inputs are proved in the compact and particle papers; construction of the inputs remains a separate producer problem.
On the certified echosahedral lineage, the source-selector theorem derives the unit lines, inverse pairs, proper \(A_5\) action, and rank-three frame. On other declared cost/selector branches, the variational screen-sieve theorem provides a sufficient alternative. These results give the reference patch enough boundary structure to support nontrivial overlap comparison, symmetry tests, verifier-shadow behavior, and cross-patch routing while remaining small enough for explicit evidence records. The theorem selects the exposed interface architecture. The dimension of the observer’s internal algebra belongs to a separate carrier theorem over ports, records, repair maps, and refinement.
Remark 80. The word “echosahedral” is intentionally implementation-facing. In a mathematical theorem, one uses the tuple above. In a public hardware evidence bundle, one may instantiate the tuple using a specific twelve-port body, wiring map, controller, firmware hash, readout protocol, and evidence manifest.
Toroidal Recurrence Is Local
Toroidal hardware supplies a local recurrence and mode-competition surface. A toroidal subchannel is a recurrent internal path inside a patch or between a bounded set of ports. It can recycle boundary information, support settling dynamics, and expose winding-like or phase-locking observables.
Global scalar order parameters are often misleading in recurrent local systems. A toroidal or ring-like patch may fail to show global alignment while selecting a stable winding class, a local coherence island, or a persistent twisted state. The validation metrics for toroidal subchannels should include:
local coupling matrices, with total brightness treated as a secondary summary;
recurrence and ring-diversity statistics, with global response treated as a secondary summary;
winding-sensitive or phase-lock-sensitive summaries when phase data are available;
matched controls that distinguish chamber-mediated dynamics from host-side filtering;
exact-verifier receipts for task-level claims.
Proposition 81 (Conditional phase-lock synchronization bridge). For every routed interface \(e=((i,a),(j,b))\), suppose a source-produced phase process provides an independently calibrated time parameter, frequency entrainment, a stable declared phase offset, and held-out controls. Suppose further that the locked phase selects a commensurability map for the exposed port packets and that every resulting write enters the consensus ledger through semantic-dependency-complete read sets, atomic revalidation, coherent union-collar payloads, and the quotient local-diamond and repair-completeness checks. Then the phase process supplies a physical synchronization parent for the federated consensus theorem.
Proof. The phase certificate fixes when the two port readouts are commensurable. The remaining hypotheses are exactly the premises under which the accepted transaction relation terminates and has the declared schedule-independent quotient normal form. The phase process supplies the interface timing and comparison map; the consensus theorem supplies public agreement. ◻
Phase locking without the transaction, record, and clock packet is compatible with two oscillators that entrain while reporting different semantic records. It is therefore neither an observer test nor a consensus theorem by itself. No physical phase-lock receipt is asserted in this paper.
The OPH interpretation is simple: toroidal recurrence supplies local memory and mode competition inside the patch federation. Echosahedral symmetry supplies a reference and consensus geometry. The universe, at this level of description, is a federated repair system with many local carriers.
Patch Federation and Overlap Synchronization
Given a federation of echosahedral patches, overlaps are formed by routing ports into declared interface pairs or interface hyperedges. For an edge \(e=\{(i,a),(j,b)\}\), the exposed packets are \[ x_{i,a}=\rho_{i,a}(s_i),\qquad x_{j,b}=\rho_{j,b}(s_j), \] and the edge mismatch is a nonnegative function \[ \Phi_e(x_{i,a},x_{j,b})\ge 0. \] The total visible mismatch is \[ \Phi(s)=\sum_{e\in E}\Phi_e\bigl(\rho_{i,a}(s_i),\rho_{j,b}(s_j)\bigr). \]
The local repair contract is the consensus-paper contract: accepted repairs do not increase the declared touched-overlap mismatch, and exact fixed-cutoff branches lower the relevant mismatch unless the local visible datum is repaired. The implementation is a bounded patch operation:
read the exposed overlap packets;
compare them through a declared commensurability map;
choose an allowed local update or rerank move;
write a record of the move;
expose the resulting port packet;
let the exact verifier decide any high-level task claim.
Proposition 82 (Federated synchronization contract). Suppose a finite patch federation has a declared mismatch functional \(\Phi\), a finite repair menu, and an accepted-repair rule such that every accepted repair lowers \(\Phi\) unless the touched visible datum is locally repaired. Then every repair sequence terminates at a visible local normal form. If the union-collar gluing and repair-completeness hypotheses of the OPH consensus theorem hold together with protected-support-complete transactions, protected-conflict-complete dependencies, and an independently checked quotient local diamond, the terminal physical observable state is schedule-independent on that carrier. The carrier is thereby a finite constraint-code implementation surface; no QECC distance, min-cut formula, spectral mixing rate, or wall-clock liveness bound follows unless the corresponding extra certificate is supplied.
Proof. The first sentence is the finite Lyapunov argument: \(\Phi\) takes values in a finite ordered set of declared mismatch scores and strictly decreases on nontrivial accepted repairs. The second sentence consumes the quotient-local confluence package of the OPH consensus theorem. Atomic commits alone do not supply its protected-support, coherent-payload, or local-diamond receipts. This paper supplies the federated carrier and visible interface on which that theorem is read. ◻
The schedule-independent conclusion above is a same-source statement. Equality of endpoints reached from different interiors exposing the same protected boundary requires injectivity of the boundary map on the consistent quotient, as characterized in Ref. ; weak normalization and all-schedule liveness are separate obligations. The same reference shows that a total exact collar-preserving local repair exists only when every admissible collar value has a locally consistent extension. Neither condition follows from finite descent alone.
Records, Observers, and Checkpoints
An observer is not added as a metaphysical extra. In this paper an observer is an operational pattern in a patch or patch subfederation with persistent access to:
an observer-facing local algebra;
a record algebra;
a stable readout/update interface;
enough checkpoint data to define future observer-accessible probabilities.
Definition 83 (Federated observer checkpoint). For an observer-supporting patch subfederation \(O\), a checkpoint at semantic cut \(D\) is \[ \mathrm{Chk}_O(D)= \bigl( \mathcal R_O(D), \rho_O^{\mathrm{acc}}(D), \mathfrak I_O^{\mathrm{ext}}(D), \mathcal L_O^{\mathrm{sem}}(D), \mathfrak B_O(D) \bigr), \] where \(\mathcal R_O(D)\) is the observer-accessible record algebra, \(\rho_O^{\mathrm{acc}}(D)\) is the state restricted to observer-accessible records and visible interfaces, \(\mathfrak I_O^{\mathrm{ext}}(D)\) is the external port-interface tuple, \(\mathcal L_O^{\mathrm{sem}}(D)\) is the semantic future-law class for the same physical instruments and event algebra, and \(\mathfrak B_O(D)\) is the public or internal provenance bundle needed to replay the checkpoint at the declared accuracy. Worker IDs, queue positions, retry counters, repair-cycle indices, timestamps, and packet latencies live in \(\mathfrak B_O(D)\) unless a branch declares them physical inputs; they are not observer identity or observer time.
Theorem 84 (Checkpoint continuation at fixed cutoff). If two federated observer checkpoints agree exactly on \(\mathcal R_O(D)\), \(\rho_O^{\mathrm{acc}}(D)\), \(\mathfrak I_O^{\mathrm{ext}}(D)\), and \(\mathcal L_O^{\mathrm{sem}}(D)\), then they induce the same future probability law on the observer-accessible event algebra. If their accessible states differ by trace distance at most \(\varepsilon\), then the induced future history laws differ in total variation by at most \(\varepsilon\).
Proof. All future observer-accessible probabilities are computed by applying the same completely positive update maps and the same event-readout maps from the same semantic future-law class to the same accessible algebra and external interface data. Exact equality gives equality of all future event probabilities. In the approximate case, contractivity of trace distance under completely positive trace-preserving maps gives the stated total-variation bound. ◻
Definition 85 (Public checkpoint capacity interface). For a finite federated checkpoint family, the capacity-facing export is the packet \[ \mathsf{PubChk}_{r,D}= \bigl( \{X_O\},\{X_e\},\{r_{Oe}\}, \mathsf{Reach},\mathfrak P,\mathfrak K, \mathcal H_{{\rm cap},r,D},\{P_x\}, \mathsf{Ext},\mathsf{Ref} \bigr). \] Here \(X_O=\operatorname{At}\mathcal R_O\) is the local central-record atom set, \(X_e\) is the interface-record atom set, and \(r_{Oe}:X_O\to X_e\) is the completed-instrument atom readout. The semantic event DAG \(\mathsf{Reach}\) witnesses endogenous public-record reachability; \(\mathfrak P\) freezes the authorized collective, universal-local, or quorum publicness policy; and \(\mathfrak K\) contains the source-derived joint checkpoint kernels with the required local marginals. The declared capacity carrier has \(\dim\mathcal H_{{\rm cap},r,D}=D\), and \(P_x\) is the nonzero record projection for reachable public class \(x\). The final two entries are capacity-extension and fixed-capacity refinement packets, kept as different types.
The packet fields are an interface contract, not automatic outputs of a local checkpoint. In particular, the generic visible algebra maps \(\pi_{i,e}:\mathcal A_i\to\mathcal I_e\) do not automatically supply the record-atom maps \(r_{Oe}\), and observer-by-observer future-law marginals do not determine the joint kernels \(\mathfrak K\). The source must therefore provide record-atom restriction maps, endogenous public-record reachability, the frozen publicness policy, a globally coupled checkpoint family, and a faithful representation of public records on the capacity carrier. The fixed-cutoff checkpoint and central-record theorems are their immediate parents. The correctable-code capacity and finite-size closure theorems are carried by Ref. .
On that synthesis surface the packet defines the multiplicative readback \(M_0(q)=\alpha(G_q)\), where \(G_q\) is the compound confusability graph of reachable public records. When the complete terminal fiber scalarizes, \(M_0(\mathfrak U_N)=\widehat F_{r,0}(e^N)\), and the universe-level equation is \[ \boxed{N=\log M_0(\mathfrak U_N)}. \] Thus \(M_0\) counts records and \(N\) is the logarithmic capacity; the checkpoint packet supplies the finite data needed to evaluate the count.
Central Records and Measurement
The measurement package is a finite central-record package. Records are exposed by observer-facing patch subfederations.
Let \(\mathcal Z_{\mathrm{rec}}(t)\) be the commutative algebra generated by the completed, observer-accessible record projectors at cycle \(t\). An event \(E\) is a projector in \(\mathcal Z_{\mathrm{rec}}(t)\). The operational measurement rule is: \[ \Pr(E)=\mathrm{Tr}(\rho E), \qquad \rho\mapsto \frac{E\rho E}{\mathrm{Tr}(\rho E)} \quad\text{when }\Pr(E)>0. \]
Theorem 86 (Federated central-record measurement). On a fixed-cutoff federated patch carrier, once a completed write/verify slice exposes a finite commutative central record algebra \(\mathcal Z_{\mathrm{rec}}(t)\), the Born probability and Lüders conditioning rule above define the operational measurement package on the observer-accessible event surface. Re-reading the same completed record event has probability one, conditional on that record event.
Proof. The theorem is the standard finite-dimensional central-record argument. Because all declared record events commute and belong to the observer-accessible center for the completed slice, they define an ordinary finite classical event algebra. Probabilities are Born traces on that event algebra, and conditioning on an event is the Lüders update. After conditioning on \(E\), the same central projector \(E\) is true with probability one. Each finite-matrix step of this argument (commutativity and centrality of the record span, Born traces, the Lüders update with its fixed-point law, and the collapse of record conditioning to the normalized projector) is machine-checked in the companion Lean 4 event-algebra development . ◻
Record-conditioned modular cap responses
For a quotient-visible record token \(i\) seen by observer \(O\), let \(P_{i,O}\) be its central, or declared approximately central, record projector with \(\omega_O(P_{i,O})>0\). The conditioned record state is \[ \omega_{i,O}(A):= \frac{\omega_O(P_{i,O}AP_{i,O})}{\omega_O(P_{i,O})}. \] At fixed cutoff this is the usual Lüders state \[ \rho_{i,O}:=\frac{P_{i,O}\rho_OP_{i,O}}{\operatorname{Tr}(\rho_OP_{i,O})}. \] For a cap \(C\), let \(M_{C,0,O}\) be the declared cap-response probe observable and set \[ M_{C,t,O}:=\sigma_t^{C,O}(M_{C,0,O}),\qquad R_i(C,t,O):=\omega_{i,O}(M_{C,t,O}). \] On the support-visible geometric branch, the dimensionless modular-parameter convention is the same \(2\pi\)-normalized cap flow used by the compact paper: \[ \sigma_t^{C,O}=\alpha_{\lambda_C(2\pi t)}. \]
The point-source cap-response model is a branch hypothesis or finite receipt, not an automatic consequence of a record projector. A passing source-localization branch must exhibit \[ R_i(C,t,O) \mathrel{=} b(C,t,O) +a(i,C,t,O)\, \psi_{C,t,O}\!\left(\frac{\eta(X_i(t),n(C,t,O))}{R_H}\right) +\xi(i,C,t,O), \] where gains, baselines, kernel shape, cap normal, modular normalization, and the total error budget are declared. The approximate centrality defect of \(P_{i,O}\), calibration error, modular transport error, kernel mismatch, finite-record noise, and point-model error all contribute to the single localization error norm \(\sigma_{\mathrm{record}}\) used by the compact localization theorem.
Two carrier presentations that induce the same quotient-visible record token, conditioned record state, cap probe, cap geometry, modular-parameter normalization, and response calibration must produce the same calibrated response vector and the same \(H^3\) localization ball. A fitted point that does not clear held-out cap residuals, mixture controls, and the declared error bound is a failed or approximate point-source branch, not a populated-\(H^3\) theorem receipt.
Edge Sectors and the Casimir Handoff
The edge heat-kernel/Casimir package is a fixed-cutoff theorem package tied to an overlap collar with a finite exposed sector algebra.
At fixed cutoff, let \(\alpha\) label a finite set of exposed edge sectors on one declared overlap collar. Suppose the local thermalized edge dynamics has stationary weights \[ \pi_\beta(\alpha)=\frac{d_\alpha e^{-\beta C_2(\alpha)}}{Z(\beta)}. \] For finite groups, \(C_2(\alpha)\) is the declared sector penalty or finite-group Casimir surrogate. For compact groups, the Peter–Weyl lift belongs to the companion D10/compact-gauge handoff instead of hardware evidence.
Theorem 87 (Fixed-cutoff edge-sector handoff). If a declared finite overlap collar has sector labels \(\alpha\), degeneracies \(d_\alpha\), and a local repair/thermalization generator whose detailed-balance stationary law is \(\pi_\beta(\alpha)\propto d_\alpha e^{-\beta C_2(\alpha)}\), then the collar exports the fixed-cutoff Casimir edge law required by the D10 handoff. The compact-group heat-kernel lift is a separate companion-branch step.
Proof. This is a finite Markov or finite instrument stationary-measure statement on the declared sector algebra. The theorem exports only the finite overlap law. The compact-group lift uses the Peter–Weyl continuation and normalization conventions supplied on the companion compact/D10 surface. ◻
Bell/CHSH Event Surfaces
The Bell package is fixed-cutoff and event-surface-local. A federated carrier may contain two observer-facing wings \(L\) and \(R\) with commuting setting and outcome records on one compare slice. If the source-specified joint law is the usual two-wing quantum law, the CHSH and Tsirelson statements are carried on that declared event algebra.
Laboratory echosahedral hardware has its own evidence gate for Bell-style claims. The theorem package here is a finite event-algebra statement inside the OPH microphysics surface.
Relation to Yang–Mills
The Yang–Mills repair-gap argument belongs to the compact theorem surface. Echosahedral geometry supplies:
the fixed-cutoff patch, overlap, record, and repair interface;
the finite edge-sector Casimir law on declared collars;
the local repair semantics that the compact-gauge branch reads in controlled quotient form.
The finite cylinder system and its projective weak-* / GNS extraction belong to the compact/Yang–Mills theorem surface. Identification with the four-dimensional Yang–Mills state, reflection-positive OS reconstruction, noncollapse, and equality between the Yang–Mills gap and the repair gap are conditional on that surface’s separately named receipts. Hardware evidence may test implementation discipline, but it does not supply the Clay-admissible construction. A public evidence bundle that is used for any continuum or Lorentzian claim must therefore include the multiresolution regulator certificate: factor manifest, presentation-circuit hash, refinement/expectation identity defects, transported-state errors, renormalized-observable tails, and positive-transfer or reflected-Gram receipts. Conventional free-field or lattice-gauge vacuum baselines used for calibration are reference ensembles only. They are not OPH-native vacuum promotion unless the quotient-ensemble selector, source Euclidean slab data, and transfer/reflection-positive reconstruction gate are supplied on the compact theorem surface.
Relation to Hadrons and Strong-Binding Execution
First-principles hadron masses require a working OPH strong-binding construction. This microphysics states the record and evidence requirements for such a construction. A construction fit for promotion must emit:
Ward-projected hadronic spectral data;
provenance tying every spectrum to body, controller, firmware, geometry, and scorebook;
finite-volume, continuum, chiral, and production-systematics fields where applicable;
exact replay or verification receipts for the pipeline stage being claimed;
a non-promotion boundary for surrogate or calibration runs.
Echosahedral or related hardware can be described as a candidate construction family only through public evidence bundles. Without those bundles, it is an architectural target and a design motivation. First-principles hadron theorem promotion requires the evidence listed above.
Validation Program
The validation program has two independent tracks.
Mathematical and Digital Calibration
The octahedral \(\mathbb Z_2/S_3\) finite-group model is a digital calibration model. It gives exact finite groups, explicit patch covers, controlled defects, frustrated cycles, record writes, repair schedules, and negative controls.
The calibration model checks the finite interface logic. The primary physical picture is the federated patch-carrier architecture.
Public Hardware Evidence
A public hardware run may support only the support level its evidence bundle can justify. The minimal claim form is:
Module set \(M\) produced candidate enrichment or reproducible readout signature on benchmark \(T\), under controls \(C\), and exact verifier \(V\) accepted the reported hits.
The rejected form is:
The optical chamber solved the hard problem or proved OPH.
Required gates include dark baseline, low-power sweep, coupling matrix, discharge-timing or MDD trace where applicable, ring-diversity or recurrence-sensitive metrics for toroidal bodies, duplicate-body checks, symmetric-reference or echosahedral shadow checks, exact-verifier receipts, and negative controls against hidden duplicate amplification or host-side filtering.
Material, plasma, and topological-phase claims need the same discipline. The evidence bundle must name the physical quotient, source action or repair ledger, readouts, controls, and promotion gates. A carrier that passes self-reading tests certifies the carrier branch only; it does not by itself certify a material selector, nuclear yield, delivered power, or condensed-matter order.
Finite Packet Source Bridge Schema
Cosmology-facing evidence bundles may not infer stress data from scalar source rows. A packet-source bridge exported from the microphysics layer must carry the primitive data needed by the finite covariant parent contract: \[ (\mathcal C_r,g_r,e_r,U_r,Z_r,\omega_r,p_r,f_r,\Phi_r,\mathcal R_r,\mathcal G_r,\pi_r,\mathsf{Read}_r). \] In practical evidence bundles this means:
finite cell/face incidence, four-volumes, normals, areas, causal adjacency, and parallel transport maps;
metric and tetrad data with the declared \((-+++)\) convention;
packet sectors, local momenta, masses, positive invariant weights, occupations, and mass-shell residuals;
signed face fluxes and reaction-channel stoichiometry with transported four-momentum residuals;
quotient maps, local-frame covariance checks, and restriction/refinement maps;
readout fields for stress moments, variational stress, exchange currents, and gauge-invariant or rest-frame perturbation variables.
The corresponding finite evidence receipt is residual-based. A row labelled “recipient”, a raw Newtonian/synchronous gauge comparison, a producer-declared detailed-balance boolean, or a frozen likelihood hash is not a substitute for primitive packet, stress, exchange, causal-response, and refinement evidence.
Finite Quotient Ensemble Compatibility
Finite quotient ensemble theorem surface.
Fix a finite regulator \(r\). The physical presentation space is \(\Sigma_r\), the presentation redundancy groupoid is \(\Gamma_r\), and the finite physical quotient is \[ Q_r=\Sigma_r/\Gamma_r,\qquad \pi_r:\Sigma_r\to Q_r. \] The quotient removes nonphysical presentation data: gauge representatives, port relabelings, mesh labels, shard or worker identifiers, queue order, repair schedule identifiers, retry counters, timestamps unless declared semantic, hidden carrier coordinates, and inert ancillary labels. If only settled configurations carry probability, the probability space is the normal-form subset \[ N_r=n_r(Q_r). \] The map \(n_r\) is a normal-form map, not a probability law. Any promoted physical branch inherits this firewall: it must declare the quotient-intrinsic source law or action before a normal form can be read as a selection or prediction claim.
Observable algebras and reference states.
In the finite classical case the quotient observable algebra is \[ \mathcal O_r=\ell^\infty(Q_r). \] In the finite quantum case the physical algebra is a declared quotient algebra \(\mathcal A^{\rm phys}_r\) with state \[ \omega_r(A)=\operatorname{Tr}(\rho_r A). \] When the reference object is obtained from a finite lifted carrier, the load-bearing data are not an abstract groupoid cardinality alone. They are a tracially pointed quotient \[ \left(\mathcal A^{\rm phys}_{r,b},\tau^0_{r,b}\right), \qquad \mathcal A^{\rm phys}_{r,b} \mathrel{=} z_{r,b}B(\widetilde{\mathcal H}_r)^{G_r}z_{r,b}, \] where \(U_r:G_r\to U(\widetilde{\mathcal H}_r)\) is the compact gauge action and \(z_{r,b}\) is the central projection for the declared boundary or superselection sector. The reference trace is \[ \tau^0_{r,b}(A) \mathrel{=} \frac{\operatorname{Tr}_{\widetilde{\mathcal H}_r}(A)} {\operatorname{Tr}_{\widetilde{\mathcal H}_r}(z_{r,b})}. \] If \[ z_{r,b}\widetilde{\mathcal H}_r \cong \bigoplus_\alpha V_\alpha\otimes M_\alpha, \] with \(d_\alpha=\dim V_\alpha\) and \(m_\alpha=\dim M_\alpha\), then \[ \mathcal A^{\rm phys}_{r,b} \cong \bigoplus_\alpha I_{V_\alpha}\otimes B(M_\alpha), \qquad p_{r,\alpha} \mathrel{=} \frac{d_\alpha m_\alpha}{\sum_\beta d_\beta m_\beta}. \] These are the induced central-sector weights only after the carrier representation and boundary sector have been fixed.
OPH quotient ensemble.
An OPH quotient ensemble is specified by a quotient-intrinsic base weight and action \[ m_r:Q_r\to \mathbb R_{>0}, \qquad S_r:Q_r\to \mathbb R\cup\{+\infty\}, \] and \[ w_r(q)=m_r(q)e^{-S_r(q)},\qquad Z_r=\sum_{q\in Q_r}w_r(q),\qquad \mu_r(q)=Z_r^{-1}w_r(q). \] Equivalently, one may state an intrinsic projective prior \(\nu_r\) on \(Q_r\) and set \(\mu_r=(n_r)_\#\nu_r\). Uniform quotient counting, uniform representative counting pushed to the quotient, groupoid weights, and tracial central-sector weights are different physical claims. The paper must declare which one is being used.
Normal-form projector non-selection.
For any retraction \(N:Q\to Q_{\rm nf}\) onto a subset \(Q_{\rm nf}\subseteq Q\), that is, any map whose restriction to \(Q_{\rm nf}\) is the identity, the induced map on laws \[ \mathcal C_Q(\mu)=N_\#\mu \] is idempotent: \[ \mathcal C_Q^2=\mathcal C_Q. \] Every law supported on \(Q_{\rm nf}\) is fixed; both statements use the retraction property. Therefore settlement or canonicalization never selects a unique physical probability law by itself.
Selection-gap corollary.
Let \(X\subseteq Q_{\rm nf}\) be a finite set of quotient-normal candidates distinguished by visible invariants. Normal-form data determine \(X\) and its quotient-visible invariants, but they do not choose a member of \(X\). If two laws \(\mu,\nu\) are supported on \(X\) and concentrate on different candidates, both are fixed by \(\mathcal C_Q\). Unique sector selection therefore requires source data: an intrinsic action with a unique minimizer, a declared physical ensemble, or a refinement-stable gap certificate. A defect or holonomy classification can classify possible sectors without choosing the physical sector, and a contraction or repair generator can certify convergence toward a declared target without creating the target law.
Finite MaxEnt quotient ensemble.
For finite \(Q\), positive \(m\), and quotient observables \(F_1,\ldots,F_k\), maximizing \[ \mathcal H_m(\nu)=-\sum_q\nu(q)\log\frac{\nu(q)}{m(q)} \] subject to \[ \sum_q\nu(q)=1,\qquad \sum_q\nu(q)F_a(q)=c_a \] has the full-support solution, when the feasible full-support surface is nonempty, \[ \mu(q)= \frac{m(q)\exp[-\sum_a\theta_aF_a(q)]}{Z(\theta)}. \] Boundary optima obey the same formula after restricting to their support. On a finite noncommutative quotient algebra with faithful reference state \(\sigma_r\), \[ \rho_r= \frac{\exp(\log\sigma_r-\sum_a\theta_aF_{r,a})} {\operatorname{Tr}\exp(\log\sigma_r-\sum_a\theta_aF_{r,a})}. \] The finite constraint ledger must name every \(F_{r,a}\), its units and support, the target expectation and source, sector or zero-mode treatment, refinement transformation, and proof that no run output or observational output entered the source definition.
Refinement compatibility and RG closure.
For \(s\succeq r\), let \(c_{sr}:Q_s\to Q_r\) be the physical coarse map. Exact compatibility of weighted ensembles is equivalent to the fiber-sum identity \[ \sum_{q':\,c_{sr}(q')=q}m_s(q')e^{-S_s(q')} \mathrel{=} \alpha_{sr}m_r(q)e^{-S_r(q)} \] for a constant \(\alpha_{sr}>0\) independent of \(q\). Then \[ (c_{sr})_\#\mu_s=\mu_r. \] If the one-step defects are \[ \delta_{k+1,k} \mathrel{=} \left\|(c_{k+1,k})_\#\mu_{k+1}-\mu_k\right\|_{\mathrm{TV}}, \] then \[ \left\|(c_{nr})_\#\mu_n-\mu_r\right\|_{\mathrm{TV}} \le \sum_{k=r}^{n-1}\delta_{k+1,k}. \] For exponential-family refinement, exact closure requires the fine conditional free energy \[ G_{sr,\theta}(q_r) \mathrel{=} -\log\mathbb E_{m_s^0}\left[ \exp[-\theta\cdot F_s(Q_s)]\mid c_{sr}(Q_s)=q_r \right] \] to equal \(\kappa_{sr}(\theta)+R_{sr}(\theta)\cdot F_r(q_r)\). If the residual is uniformly bounded by \(\varepsilon\), the induced total-variation defect is bounded by \(\tanh\varepsilon\).
Implementation invariance and representative lifting.
If implementations \(A,B\) have quotient bijections \(h_r:Q_r^A\to Q_r^B\) satisfying \[ m_r^B(h_rq)=m_r^A(q),\qquad S_r^B(h_rq)=S_r^A(q), \qquad h_r\circ c_{sr}^A=c_{sr}^B\circ h_s, \] then \[ (h_r)_\#\mu_r^A=\mu_r^B. \] For tracially pointed quantum quotients the corresponding equivalence is a trace-preserving quotient equivalence. It is invariant under unitary intertwiners preserving the gauge action and sector, and under inert trivial ancillas \(A\mapsto A\otimes I_{\rm anc}\). It is not invariant under arbitrary changes of gauge-representation multiplicities.
If an implementation stores representatives, a representative-level law must be a conditional lift \[ \widetilde\mu_r(x)=\mu_r(\pi_r x)\kappa_r(x\mid \pi_r x), \qquad \sum_{x:\pi_r(x)=q}\kappa_r(x\mid q)=1. \] Then \((\pi_r)_\#\widetilde\mu_r=\mu_r\). Uniform representative sampling yields orbit-size weights and is physical only if representative counting is the declared base measure.
Quotient-lumpable kernels and sampler correctness.
A representative kernel \(\widetilde P(x,y)\) descends to \(Q_r\) only when \[ P_Q(q,q') \mathrel{=} \sum_{y:\pi(y)=q'}\widetilde P(x,y) \] is independent of the chosen representative \(x\in\pi^{-1}(q)\). For \(w(q)=m(q)e^{-S(q)}\) and proposal \(R(q,q')\) with reciprocal support, the Metropolis–Hastings acceptance rule \[ a(q,q')=\min\left\{1, \frac{w(q')R(q',q)}{w(q)R(q,q')} \right\} \] gives detailed balance \[ \mu(q)R(q,q')a(q,q')=\mu(q')R(q',q)a(q',q). \] Repair-informed proposals must include the Hastings asymmetry term; otherwise the stationary law is generically changed.
Repair generators are not selectors.
A repair generator of the form \[ L_{\rm rep}=\sum_C c_C(I-E_C) \] is a relaxation or sampling object after a law has been selected. Conditional expectations \(E_C\) are defined on \(L^2(X_r,\pi_r)\), so the reference law \(\pi_r\) is input. On overlapping collars the expectations need not commute. The correct finite gap certificate is the Poincare constant \[ \kappa_r \mathrel{=} \inf_{f\perp 1} \frac{\sum_C\|(I-E_C)f\|^2}{\|f\|^2}. \] If local fiber rates have a positive lower bound \(\gamma_*\), then \[ L_{\rm rep}\ge \gamma_*\kappa_r(I-P_0). \] Finite repair completeness gives \(\kappa_r>0\) at fixed regulator. A uniform refinement lower bound \(\inf_r\kappa_r>0\) is a separate theorem or receipt.
Finite evidence accuracy.
For bounded coarse observables \(O\), if \[ \|\widehat\mu_s-\mu_s\|_{\mathrm{TV}}\le\epsilon_{\rm samp} \] and the refinement defects sum to \(\epsilon_{\rm ref}\), then \[ \left|\mathbb E_{\widehat\mu_s}[O\circ c_{sr}]-\mathbb E_{\mu_r}[O]\right| \le 2\|O\|_\infty(\epsilon_{\rm samp}+\epsilon_{\rm ref}). \] Continuum-facing observables require a realization map and correlation Cauchy bound in addition to a finite histogram.
Vacuum promotion gate.
A stationary sampler is not a physical vacuum. For any faithful target law one can build a positive transfer operator with that law as ground state, so positivity alone is not a selector. Vacuum promotion requires source Euclidean slab data \[ \mathfrak S_r^E=(Q_r,m_r^0,J_r,V_r,a_{t,r}) \] whose conductance \(J_r(q,q')=J_r(q',q)\ge0\), local potential \(V_r\), and slab thickness \(a_{t,r}\) are derived without using the target law or sampler output. With connected event graph, \[ (H_r^Ef)(q) \mathrel{=} \frac{1}{m_r^0(q)} \sum_{q'}J_r(q,q')\bigl(f(q)-f(q')\bigr) + V_r(q)f(q) \] is self-adjoint and bounded below on \(L^2(Q_r,m_r^0)\); its finite Feynman–Kac semigroup is positivity improving. Perron–Frobenius gives a unique positive normalized ground state \(\Omega_r\), and the finite vacuum law is \[ \mu_r^{\rm vac}(q)=|\Omega_r(q)|^2m_r^0(q). \] For \(T_r=e^{-a_{t,r}(H_r^E-E_{0,r})}\), the Doob kernel is stochastic and detailed-balanced with \(\mu_r^{\rm vac}\). Continuum promotion additionally requires reflection positivity or equivalent reconstruction plus refinement compatibility of the transfer family.
Primordial and cosmological prediction firewall.
A screen covariance contains incomplete radial information. The complete one-shell map \[ C_\ell \mathrel{=} 4\pi \int_0^\infty \frac{dk}{k} \Delta_\zeta^2(k)j_\ell^2(k\chi_\star) \] has an infinite-dimensional kernel that persists under positivity. OPH primordial promotion requires the source-only stress, single-clock, entropy-repair, curvature-evolution, adiabatic-mode, phase-coherence, physical mode, radial-null-space, and forward-projection receipts together with a scale-natural physical dilation intertwiner or complete radial cross-covariance tomography. A finite radial prior produces a conditional continuation. Observable CMB comparison also requires declared source, solver, dataset, covariance, nuisance, data-use, and pooled-reducer provenance.
Claim tiers and required receipts.
Every ensemble-facing run records its ensemble id, claim tier, regulator, representative schema, gauge action, canonicalizer, base measure, action coefficients, coarse maps, zero-mode projector, amplitude convention, sampler, smoothing policy, source provenance, and explicit nonclaims. The seed belongs to the run receipt rather than the ensemble definition. The claim tiers are \[ \begin{array}{ll} E0:&\text{seed noise, proposal noise, repair jitter},\\ E1:&\text{conventional reference ensemble},\\ E2:&\text{OPH-native quotient ensemble},\\ E3:&\text{OPH vacuum},\\ E4:&\text{OPH primordial field},\\ E5:&\text{observable cosmological prediction}. \end{array} \] The evidence bundle must keep separate receipts for stationary-law schedule invariance, detailed balance of the aggregate kernel, and pathwise partition invariance. Deterministic replay of semantic random streams or a canonical serial chain is useful, but it is not pathwise partition invariance. Smoothing must preserve raw coefficients, raw spectra, smoothing kernels, smoothed coefficients, smoothed spectra, and hashes of each stage; it is not part of \(S_r\) unless explicitly declared.
Conclusion
OPH microphysics is a federation of finite observer patches. The sphere is a regulator and symmetry chart for observer-facing cuts. \(A_5\)-icosahedral and \(E_8\)-type structure belong to the geometry data and representation-closure data. The echosahedral patch is the reference local interface: a bounded multi-port patch with symmetry, records, readout, repair, and checkpoint data. Toroidal subchannels supply local recurrence and winding-sensitive dynamics. The mathematical exports are fixed-cutoff patch-net embedding, edge-sector Casimir handoff, central-record measurement, Bell/CHSH event surfaces, and checkpoint/restoration.
The carrier architecture is physical data up to its declared quotient. Hidden labels and material presentations may vary, while the visible incidence, response, repair, record, clock, and refinement signature may not be discarded. The local twelve-port theorem constrains the \(A_5\)-current branch. A separate carrier-to-support bridge constrains the spherical Lorentz/Einstein branch. The consensus normal form is their common finite hinge. Operational observer promotion requires readback, durable records, feedback or repair, prediction/control, and checkpoint continuation. The physical support and current bridges are open.
The claim discipline is the main point. Hardware can guide the architecture and supply public evidence through hash-stable evidence bundles. The theorem surface stands on finite algebras and declared OPH branch assumptions.
Evidence Bundle Sketch
A minimal hardware evidence bundle should use a structure like:
evidence/hardware/<bundle-id>/
manifest.json
README.md
body/
mesh_hashes.txt
photos/
measurements.csv
controller/
firmware_sha256.txt
wiring_map.csv
calibration/
dark_scan.csv
low_power_sweep.csv
coupling_matrix.csv
mdd_trace.csv
ring_diversity.csv
task/
task.json
scorebook.json
candidates.jsonl
verifier_receipts.jsonl
controls/
shuffle_replay.jsonl
abba_controls.csv
negative_controls.md
claim.md
The manifest should state the strongest allowed claim and the non-claims. The paper may cite the bundle only at that claim level.
Algebraic audit bundles use a different namespace and claim level:
code/e8_triality_claim_statement/
README.md
claim_statement.json
This is a claim statement, not a certificate. A future separately named audit bundle may support a mathematical fixed-cutoff or regulator-chart claim only when the raw matrices, scripts, exact checks, and hashes are present. Neither surface is a hardware evidence bundle.
Digital Calibration Compatibility
The octahedral \(\mathbb Z_2/S_3\) build has the following reading rule:
it validates finite patch/overlap/record/repair bookkeeping;
it tests frustrated-cycle and defect behavior in an exact digital setting;
it calibrates the edge-sector law on a finite declared interface;
it supplies calibration data for the interface layer;
it leaves the physical carrier role with the federated echosahedral patch architecture.
99
B. Müller, D. Matscheko, and J. Hill, Observation-Determined Normal Forms: Stability, Obstructions, and Refinement in Constraint and Rewrite Systems, 2026. Available at https://github.com/FloatingPragma/observer-patch-holography/blob/main/extra/observable_normal_forms.pdf.
B. Müller, Verified Projection-Event Calculus in Lean 4: Bundled Arbitrary-Partition Pinching, Lüders Retractions, and CHSH Interoperability, 2026. Available at https://github.com/FloatingPragma/observer-patch-holography/blob/main/extra/machine_checked_finite_event_algebras.pdf.
B. Müller, K. Xue, K. A. Anirudha, D. Matscheko, and J. Hill, Reality as a Consensus Protocol: The Fixed-Point Computation That Implements Physics. Available at https://github.com/FloatingPragma/observer-patch-holography/blob/main/paper/reality_as_consensus_protocol.pdf.
B. Müller, A. Osika, M. Poneder, K. Xue, P. Nguyen, M. A. Visser, and D. Matscheko, Recovering Relativity and the Standard Model from Observer Overlap Consistency. Available at https://github.com/FloatingPragma/observer-patch-holography/blob/main/paper/recovering_relativity_and_standard_model_structure_from_observer_overlap_consistency_compact.pdf.
B. Müller, A. Osika, M. Poneder, K. Xue, B. Cassie, P. Nguyen, M. A. Visser, K. A. Anirudha, D. Matscheko, and J. Hill, Observers Are All You Need. Available at https://github.com/FloatingPragma/observer-patch-holography/blob/main/paper/observers_are_all_you_need.pdf.
B. Müller, A. Osika, M. Poneder, K. Xue, M. A. Visser, and D. Matscheko, Deriving the Particle Zoo from Observer Consistency. Available at https://github.com/FloatingPragma/observer-patch-holography/blob/main/paper/deriving_the_particle_zoo_from_observer_consistency.pdf.
B. Müller, Explaining the Yang–Mills Mass Gap with Observer-Patch Repair Dynamics: A Support-Visible OPH Route to the Clay Problem. Available at https://github.com/FloatingPragma/observer-patch-holography/blob/main/extra/yang_mills_gap_clay_problem.pdf.