Screen physics

Screen Microphysics and Observer Synchronization

Authors: Bernhard Mueller, Alexander Osika, Kai Xue, Ben Cassie

Affiliations: Bernhard Mueller, Pragma Research Inc.; Alexander Osika, EtherWorks

Abstract

Studies a finite observer model with records, synchronization, measurement, and possible hardware evidence. It separates mathematical results from open questions about their physical realization.

r2029 August 26, 2026 papers
Section jump

Paper release: r2029Released: August 26, 2026

Author affiliations: Bernhard Mueller, Pragma Research Inc.; Alexander Osika, EtherWorks.

One typed construction and its source assumptions

The finite carrier, accepted repair, support geometry, gravity, abstract compact current, and conditional matter belong to one typed construction. Accepted repair produces the quotient-visible normal form. A1’s complete twelve-port response and A2’s endogenous holonomy force the abstract local Standard Model gauge Lie algebra. A declared matrix current and matter packet provide conditional realizations, while the source producer derives only the inverse-port response. Each composition uses the objects and premises displayed here.

Three meanings of screen

The word “screen” is used for three related objects that must not be identified without a receipt.

  1. 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)\).

  2. The federation screen is the routed system of interfaces, records, repairs, and checkpoints of many carriers at finite cutoff.

  3. 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 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{CompatibleModularStateTower}_r \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} \left. \begin{gathered} \mathsf{CompleteResponse}_{12}\\ \mathsf{EndogenousHolonomy}_{A_5} \end{gathered} \right\} &\longrightarrow \mathfrak u(1)\oplus\mathfrak{su}(2)\oplus\mathfrak{su}(3)\\ &\xrightarrow{\;\text{conditional matrix and matter packet}\;} \mathsf{MaximalFaithfulMatterImage}\\ &\dashrightarrow \mathsf{PhysicalGauge/QFT}. \end{aligned}\] The dashed arrow denotes source and laboratory maps not constructed here.

The finite carrier-to-support leg is constructed from one oriented icosahedral incidence nerve: twelve carrier charts, thirty seam algebras, and twenty nonvacuous triple restrictions. The same bound artifact supplies confluent seam repairs, an operational observer receipt, and a refinement-natural oriented \(S^2\) support limit. The separate geometric \(2\pi\)-KMS comparison and \(\mathsf{FiniteCapBWCertificate}\) are not outputs of that finite bridge. The state tower, common-comparison maps, compatible state/vector data, modular controls, and cofinal modulus form an independent compatible modular-state tower. The BW theorem consumes both inputs on the same refinement 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 declared integer counting and normalized central-readback cost realization gives the twelve unit lines and exact gap. An append-only signed-event machine generates those integer loads. Conservative whole-unit seam repairs preserve total load and strictly decrease \(V(N)=\sum_iN_i^2\); minimum move count is natural under every carrier rotation and the declared refinements. Divisibility of total load by twelve is necessary for consensus, while an explicit eighteen-move path settles the declared full-pile packet. A half-unit display rescales event values and the repair threshold together, so it is a units convention on the same move graph. Oriented incidence independently gives the antipodal pairing, proper \(A_5\) action, and rank-three Gram frame, and determines the antipode \(J\). Complete reversible response and endogenous overlap transport force the abstract local Standard Model gauge Lie algebra. Under the explicit inverse-port contract, the signed central involutive responses are exactly \(\pm J\), with common sign conventional. Conditional also on the matrix current and rank-15 matter contract with its unique charge-conjugate projector pair, anomaly and tensor-descent certificates give the hypercharge lattice, common \(\mathbb Z_6\) kernel, and maximal faithful matter image. The scalar scan fixes compatible charges and Yukawa channels, not scalar multiplicity. The target-blind producer derives the inverse-port response, without selecting the matrix current. Separate band premises select the rank-three response. Tensoring it with the declared generation table gives a conditional rank-\(45\) candidate whose chirality and diagonal \(\mathbb Z_6\) action come from that table. A distinct local-domain receipt checks the declared tensor-identity operator and conditional gap inheritance without source-selecting the matter action or transporting the twelve-port Spin packet. Laboratory identification of the finite matter carriers, current, and line sectors, exclusion of extra light sectors, physical matter-pole and continuum family identification, scalar attachment and dynamics, and quantum-field construction require separate maps.

The compact sector-category/Tannaka route conditionally reconstructs a compact group by a logically independent route. Physical family identification and extra-sector exclusion require separate identifications; they do not enter the contract-conditional finite gauge implication. Physical family identification requires an additional map on the charged-lepton and quantitative selector/gap branches. 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}. \end{array}\]

On those premises the abstract Lie-type agreement is exact. The construction supplies neither the physical vertical maps nor an identification of the two group actions. In the same way, the rank-three response band and declared generation table form a conditional complex rank-\(45\) candidate, while three physical generations require matter-pole, continuum, seam-selection, persistence, and complement-complete refinement receipts. The rank-three result depends on the complete-band and cost-order premises; it is not a consequence of the icosahedral graph alone.

Finite controls and scope

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 and geometry/gravity are composable branches of one source-bound self-reading carrier tower. The finite gauge branch uses the same carrier architecture, and A1–A2 force its abstract local Standard Model gauge Lie algebra. The matrix current and matter action are conditional realizations and are not joined to that tower by a common source construction. Local icosahedral incidence by itself constrains only the carrier module. The physical maps that turn these constraints into one inhabited universe are additional assumptions. Matching dimensions or symmetry labels does not supply them.

What This Paper Contributes

The companion OPH papers use 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 commuting public indicator algebra, a separately declared quantum algebra-state and two-wing representation give the Born–Lüders and Tsirelson identities, 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 gives the exact unit split within the declared integer counting and normalized readback-cost realization. Atomic signed record events generate the integer loads, while conservative whole-unit repairs terminate by strict quadratic descent. Their minimum move count is natural under rotations and the declared refinements. Oriented incidence separately gives the proper-\(A_5\) result without using downstream particle or gauge targets. Incidence and target-blind port readback derive the inverse-port response and refinement maps. The complete-response and endogenous-transport clauses force the abstract local Standard Model gauge Lie algebra, while the declared matrix current is a conditional realization. Under the declared fermionic Spin category, the anomaly and descent certificates imply the Standard Model charge lattice and common \(\mathbb Z_6\) tensor kernel from the stated premises alone. The corresponding quotient is the maximal faithful matter image on the declared tensors. Source reconstruction of the matter action, physical global-form selection, laboratory identification, the physical seam mechanism, scalar multiplicity, and equality with the distinct Tannaka current are premises of any stronger reading; this paper proves none of them. The generation-count, extra-sector, charged-lepton, and quantitative selector/gap branches carry their own declared completions. The twelve-port orbit additionally carries an exact multipole fixed point: ranks one through five annihilate, the unique rank-six invariant has a certified sixty-two-point Morse census, and every icosahedrally invariant finite-range cosine kinetics confines its lowest directional residue to that one rank-six line. 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.

At fixed cutoff, federated patch carriers provide the microphysical architecture. Mathematical statements use the finite algebras and declared interfaces given below. Hardware statements require separate public evidence with stable provenance and exact checks. The octahedral \(\mathbb Z_2/S_3\) finite-group model is a calibration chart rather than a physical identification.

Finite Local Action and Operator Domain

The finite carrier can be tested as a common home for causal, seam, and field data without identifying that home with a continuum spacetime.

Proposition 1 (Finite source inhabitation). One deterministic target-clean capture with \(16{,}384\) carriers produces a finite causal complex with \(2{,}304\) events and exact acyclicity. The declared chart contains one ancestry-depth coordinate and three spectral embedding columns. Those four columns are nondegenerate on the sample, and the global held-out form has inertia \((1,3)\). Six closed observer-visibility neighborhoods have exact induced affine wiring transitions, triple-overlap cocycles, orientation, and time orientation. Five local quadratic fits have inertia \((1,3)\), while one has inertia \((0,4)\).

On the observer-visible seam complex of \(8{,}662\) carriers and \(11{,}816\) seams, the declared reversing transport frustrates all \(38\) triangles. Two coordinate routes through the same \(\mathbb F_2\) rank implementation agree with the exact rank identity and give lift-ambiguity rank \(3{,}117\). Scalar, chiral, and gauge sections carry a sign-twisted derivative of support radius one. In the finite receipt, the unit-counting measure is a declared realization choice. Exact integer evaluations on the declared deterministic sections test the adjoint and kinetic identities, gauge covariance, observer-cover gluing, subcomplex restriction naturality, and Dirichlet boundary restriction. The signed-graph rank theorem gives twisted-kernel dimension zero.

One target-clean acyclic provenance graph binds every object. The verifier resolves the primitive artifacts, checks their hashes and cross-stage bindings, and recomputes each overall verdict from its stored clause, control, and blocker vectors. An isolated rerun of the same producers reproduces the canonical receipt content.

Proof. The source and certificates are finite and executable. The causal order is checked on every declared event edge. Affine transition and cocycle identities are evaluated on every supported chart overlap. The seam holonomies and both boundary-rank eliminations are performed over \(\mathbb F_2\). The kernel statement reduces to the signed-graph consistency theorem. The other operator checks use deterministic integer-valued sections. An isolated rerun regenerates canonical content from the same target-clean source configuration [source]. ◻

Corollary 2 (Exact positive finite-domain signed-seam gap). With the declared unit-counting measure, the sign-twisted kinetic Hamiltonian is integer symmetric and positive semidefinite. Its kernel is trivial on the connected frustrated visible seam complex, so its smallest eigenvalue is strictly positive. The determinant argument gives an exact positive floor. A separate sparse computation gives \(0.1175367033\ldots\) with relative residual below \(1.5\times10^{-14}\); this decimal is a numerical refinement rather than the certificate.

Corollary 3 (Declared rank-forty-five tensor extension). The declared fifteen-state Standard Model charge table has vanishing mixed gravitational, weak, color, and cubic abelian anomaly sums, even weak-doublet parity, and the diagonal \(\mathbb Z_6\) action fixes every state. Its chiral charge multiset is disjoint from its conjugate. Under the separate complete-band and cost-order premises, tensoring the selected rank-three response band with this table gives a conditional complex rank-\(45\) extension. The local-domain receipt tests a separately declared operator \(D_\sigma\otimes I_{45}\). It has support radius one, zero kernel, and the same exact positive finite-domain gap as the signed seam operator, with multiplicity \(45\). The source does not select this matter action. The twelve-port Spin packet and the 8,662-node operator domain have no certified source, domain, or transport bridge. The receipt contains no Yukawa coefficient, particle mass, or pole datum [source].

Remark 4 (Physical boundary). The finite result supplies none of the continuum, field-selection, or laboratory-scale structure a physical reading would require. The finite sign layer follows the declared reversing convention.

Canonical Observer-Patch Semantics

This paper defines the fixed-cutoff observer vocabulary used by the OPH framework. 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 5 (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 6 (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 7 (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 8 (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 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 9 (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 10 (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.

The formal finite receipt implements seven corresponding algebraic clauses at one regulator. Two operational observers have unequal owner-region records whose typed restrictions agree on a nonzero common section accessible to both; a one-corner mutation breaks the agreement. This establishes a bounded overlap-readable observer receipt, without supplying a physical instrument, source realization, refinement naturality, or higher-overlap coherence.

Mathematical and Empirical Scope

The finite-algebra results concern patches, overlaps, records, repair interfaces, event algebras, and checkpoint laws. Finite representation and lattice calculations support those results when their matrices, exact checks, and quotient-visible invariants are public. A generic overlap network is only a finite constraint code. Quantum error-correcting distance, min-cut resilience, spectral convergence, Byzantine-fault-tolerant liveness, and hardware speedup require their own hypotheses and certificates.

Spherical cellulations and digital finite-group models are calculational charts. Federated echosahedral carriers are candidate implementations with multi-port interfaces, recurrent toroidal subchannels, exposed overlap data, records, and repair loops. A hardware result enters only through public raw or reduced evidence with stable hashes, manifests, calibration files, and exact verification. These finite results do not identify laboratory hardware, select a unique ultraviolet completion, solve the Yang–Mills mass gap by hardware, collapse a complexity class, or derive first-principles hadron masses.

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:

  1. a manifest with stable bundle identifier, date, operator, body identifier, controller identifier, firmware hash, mesh/body hash, and wiring map hash;

  2. raw readout files, such as coupling matrices, MDD or discharge-timing traces, dark baselines, low-power sweeps, ring-diversity scans, and calibration logs;

  3. body and board provenance, including photographs or signed photo hashes where relevant;

  4. the task definition, scorebook, repair or rerank law, and exact-verifier program;

  5. exact-verifier receipts for any high-level task claim;

  6. 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:

  1. an internal finite state algebra;

  2. a bounded family of exposed overlap ports;

  3. a local record algebra;

  4. a readout map from internal state to port-visible packets;

  5. a repair interface that changes local state in response to mismatch;

  6. 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 11 (Typed simulator ledger). A simulator run has one immutable root manifest and seven typed ledgers:

  1. the quotient/normalizer ledger owns presentation states, hidden-representative quotient, accepted transactions, semantic histories, normal forms, and checkpoint continuation;

  2. the source-ensemble ledger owns the base measure, source action, MaxEnt constraints, proposal and acceptance rates, stationary law, detailed balance, and cycle affinities;

  3. the quantum/modular ledger owns the noncommutative algebra, density matrices, spectral support, modular Hamiltonians, frequency-resolved jumps, conditional expectations, and mixed-GNS comparison data;

  4. 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;

  5. the operational-history ledger owns semantic event identities, the observer registry groupoid, worldlines, event correspondences, instrument readings, and affine synchronization;

  6. the physical-current ledger owns reversible port perturbations, unitary response, commutators, \(A_5\)-equivariance, and determinant, spin, and deck descent;

  7. 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 are 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 12 (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 spacetime and Einstein 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 spacetime and Einstein paper’s conditional event-manifold packet.

Definition 13 (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 spacetime and Einstein paper. Local carrier coordinates are excluded from the support output unless this map derives them as quotient-visible data.

Proposition 14 (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. ◻

Finite bridge theorem.

The source-derived incidence nerve uses the twelve ports as carrier charts, the thirty edges as seam algebras, and the twenty oriented faces as nonvacuous triple restrictions. It verifies every interface homomorphism and face cocycle. On the same bound artifact, phase readback produces accepted confluent seam repairs, and the operational observer passes record, feedback, prediction, and checkpoint controls. The carrier nerve maps refinement-naturally to an oriented \(S^2\) support limit. This closes the finite carrier, federation, observer, and support bridge of Definition 13. It does not produce an \(H^3\) frame, event manifold, BW/KMS clock, physical scale, laboratory attachment, or continuum fields.

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 15 (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:

  1. every oriented cycle has zero affinity;

  2. there is a potential \(K:X\to\mathbb R\), unique up to an additive constant, with \(a_{u\to v}=K_v-K_u\);

  3. \(\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 16 (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 17 (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 18 (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 19 (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 20 (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 1619; the theorems do not manufacture those data.

Theorem 21 (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 22 (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 23 (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 are distinct objects.

Theorem 24 (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 25 (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 26 (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 27 (Rate scale, clock scale, and geometric modular identification). 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. A physical Bisognano–Wichmann (BW) identification 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 mixed Gelfand–Naimark–Segal common-comparison 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 21 and 24 and Proposition 22; approximate data are 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.

This record/repair architecture realizes two consistency requirements. 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. 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 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 28 (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) = \sum_{e\in E_{\nu,r}(C)}a_e\,p_{e,\nu}(q).\] The normalized scalar readout is \[S_{\nu,r,C}(q) = \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 29 (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:

  1. \(G_C\) preserves the physical quotient and the scalar-slot weights \(a_e\);

  2. the scalar branch keeps only quotient-visible central observables invariant under \(G_C\);

  3. 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) = \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 visibility of a scalar 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) = \alpha+\beta\sum_e a_ep_{e,\nu}(q) = \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 physical coefficient follows.

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 projection \(p\) with \(\tau_{q,r,C}(p)>0\), define the reciprocal reserve depth by \[d^{\#}_{q,r,C}(p):=\tau_{q,r,C}(p)^{-1}.\] The reserve survival coefficient always uses the normalized mean \(\tau_q\), not the reciprocal depth. Thus \[\tau_q(Z_{6,r,C})=\frac{P}{24} \quad\text{is the presence probability,}\] while \[d^{\#}_q(Z_{6,r,C})=\frac{24}{P} \quad\text{is the reciprocal slot depth.}\] The notation \(\operatorname{Tr}_q(Z_{6,r,C})=24/P\) is valid only when \(\operatorname{Tr}_q\) is explicitly defined as a legacy reciprocal slot-count statistic. It is not an operator-algebra trace; the reciprocal quantity used here is \(d^{\#}_q\). Here and below the unindexed \(Z_{6,r,C}\) denotes one declared protected class projector, not the sum over all six class projectors. The indexed and total projectors are defined in Definition 37.

Definition 30 (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 31 (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 32 (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} = \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 33 (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 34 (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 35 (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 36 (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 34, \[\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} = \mathbf 1_{(0,\infty)}(R_{r,C}) \in \mathcal E_{r,C}.\] ◻

Definition 37 (Protected \(Z_6\) reserve projector). Let the declared faithful matter image on this finite protected-center branch be \[G_{\rm packet} = \frac{SU(3)\times SU(2)\times U(1)}{\mathbb Z_6}.\] This branch declaration does not select the physical global form. On the protected-center finite-collar branch, let \[\zeta^{(j)}_{6,r,C}:\Xi_{r,C}\to\{0,1\}, \qquad j\in\mathbb Z_6,\] be six pairwise disjoint quotient-visible indicators for the protected \(\mathbb Z_6\) reserve classes. Their sum is the indicator of the total protected-reserve support. Define \[Z^{(j)}_{6,r,C} := \sum_{\xi:\zeta^{(j)}_{6,r,C}(\xi)=1}e_{\xi,r,C}, \qquad Z^{\rm tot}_{6,r,C}:=\sum_{j\in\mathbb Z_6}Z^{(j)}_{6,r,C}.\]

Fixing one declared class \(j_0\), write \[\boxed{ Z_{6,r,C} := Z^{(j_0)}_{6,r,C}. }\] Then \[Z^{(j)}_{6,r,C},Z^{\rm tot}_{6,r,C},Z_{6,r,C} \in\mathcal E_{r,C}.\] This notation does not select \(j_0\) as the physical blocked class. Any use of one class rather than the total projector carries that attachment separately.

Theorem 38 (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 36 gives \[\Pi^{\rm scal}_{r,C}\in\mathcal E_{r,C}.\] Definition 37 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 39 (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} = \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 40 (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 declared class \(j_0\) splits it as \[\boxed{ \Pi^{\rm scal}_{r,C} = \Pi^{\rm scal}_{r,C}(1-Z_{6,r,C}) + \Pi^{\rm scal}_{r,C}Z_{6,r,C}. }\] The first summand survives the declared \(j_0\) event. The second summand is blocked by that event. Calling \(j_0\) the physical blocked class is a separate attachment, and replacing it by the total projector gives a different split.

Proof. By Assumption 39, every scalar activation event is generated by \(\Pi^{\rm scal}_{r,C}\). Thus no scalar activation support exists outside this projector.

By Theorem 38, \(\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} - \Pi^{\rm scal}_{r,C}Z_{6,r,C} + \Pi^{\rm scal}_{r,C}Z_{6,r,C} = \Pi^{\rm scal}_{r,C}.\] Hence the reserve split exhausts the scalar activation channel. ◻

Theorem 41 (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 34, 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 42 (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 43 (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 44 (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 43 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 45 (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 42. The canonical source is that product. ◻

Theorem 46 (Coherent-matter same-channel forcing). Assume Scalar Edge-Center Exhaustion \(\text{scalar edge center exhaustion}\), Theorem 40. 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 44, \(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 38 identifies this register with the same edge-center scalar slot used by the \(Z_6\) collar computation, so the channel identity follows. ◻

Corollary 47 (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 46 places the coherent-material source in \(\mathcal E_{r,C}\), while Theorem 38 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 48 (Single scalar response form with undetermined effective coefficient). On the weak-field branch, assume that the frequency response is differentiable at zero source and that its quotient-local scalar dependence factors through the edge-center register of Theorem 40. Its first-order term then has the form \[\delta \nu_C = \chi_{\nu,C}^{\mathrm{eff}}\, \langle \eta_C,S_{\mathrm{coh}}^{\mathrm{can}}\rangle_C +O\!\left((S_{\mathrm{coh}}^{\mathrm{can}})^2\right),\] for a local edge-center test functional \(\eta_C\) and an undetermined effective coefficient \(\chi_{\nu,C}^{\mathrm{eff}}\). The one-register result fixes the scalar form only. It neither derives this coefficient nor excludes several physical mechanisms contributing additively in the same scalar channel.

Proof. The factorization hypothesis and Theorem 40 place the perturbation in \(\mathcal E_{r,C}\). Differentiability gives a linear functional on that scalar register, which may be written in the displayed form after choosing its normalization. Distinct same-channel contributions simply add into the effective coefficient, so no uniqueness of a microscopic contribution or susceptibility follows. ◻

The finite evidence packet records the coherent material source, its scalar edge-center binding, nonzero activation, same-channel forcing, and the conditional single-channel linear-response form proved above.

Definition 49 (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 50 (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 51 are declared assumptions of the branch, not derived quantities. Every value downstream of the \(P/24\) class mean inherits both inputs.

Theorem 51 (Protected reserve mean and reciprocal depth). On the shared-edge protected-reserve branch, assume \(P>0\), the declared total reserve expectation \[\tau_{q,r,C}(Z^{\rm tot}_{6,r,C}) =\bar\ell_{\rm shared}=\frac P4\] and the declared \(\mathbb Z_6\) class-equidistribution hypothesis. Then for every \(j\in\mathbb Z_6\), \[\boxed{ \tau_{q,r,C}(Z^{(j)}_{6,r,C})=\frac{P}{24}. }\] In particular the same formula holds for the declared unindexed \(Z_{6,r,C}=Z^{(j_0)}_{6,r,C}\). Equivalently, for the reciprocal reserve depth, \[\boxed{ d^{\#}_{q,r,C}(Z_{6,r,C})=\frac{24}{P}. }\] At the comparison coordinate \[P_C=1.630968209403959,\] one has \[\frac{P_C}{24}=0.06795700872516496,\] \[\frac{24}{P_C}=14.715185655746689,\] and, under the presence reading of Lemma 56, \[1-\frac{P_C}{24}=0.9320429912748350.\]

Proof. The total protected reserve expectation on this branch is the declared branch input \[\tau_q(Z^{\rm tot}_{6,r,C}) =\bar\ell_{\rm shared}=\frac{P}{4}.\] By the declared class-equidistribution hypothesis, each of the six pairwise disjoint class projectors has the same normalized expectation. Additivity and the total expectation therefore give, for every \(j\), \[\tau_q(Z^{(j)}_{6,r,C}) = \frac{\tau_q(Z^{\rm tot}_{6,r,C})}{|\mathbb Z_6|} = \frac{P/4}{6} = \frac{P}{24}.\]

For the declared class \(j_0\), the normalized quotient reserve mean is \[\tau_q(Z_{6,r,C})=\frac{P}{24}.\] By definition of the reciprocal reserve depth, \[d^{\#}_q(Z_{6,r,C}) = \frac{1}{\tau_q(Z_{6,r,C})} = \frac{24}{P}.\] ◻

The total projector and the declared one-class projector are distinct: \[\tau_q(Z^{\rm tot}_{6,r,C})=\frac P4, \qquad \tau_q(Z_{6,r,C})=\frac P{24}.\] The \(1-P/24\) survival coefficient uses the latter. A physical application must therefore identify one class as the blocked event; class equidistribution alone does not make that choice.

Remark 52 (Oriented-register denominator coincidence). The oriented \(24\)-slot register of Definition 49 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 53 (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) = \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} = \int dy\,w(y)\epsilon_{\mathbb Z_6}(y).\]

Theorem 54 (Finite-thickness mean reserve disintegration). At fixed regulator, \[\boxed{ \sum_{y\in Y_{r,C}}w_r(y)\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}\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) } = \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) = \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) = \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) = \tau(\Pi^{\rm scal}Z_6).\] Therefore \[\sum_y w_r(y)\epsilon_{\mathbb Z_6,r}(y) = \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 55 (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})} = 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 56 (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 mean-count or projective-limit carrier beyond \(Z_{6,r,C}\). That carrier is not supplied by the finite-projection branch; its assumption-minimal consequence is recorded in Remark 59.

Theorem 57 (Finite-thickness collar survival). Under the presence reading of Lemma 56, the finite-thickness collar survival coefficient is \[\boxed{ \lambda_{\rm collar} = \int dy\,w(y)\bigl(1-\epsilon_{\mathbb Z_6}(y)\bigr) = 1-\int dy\,w(y)\,\epsilon_{\mathbb Z_6}(y). }\] At finite regulator this is \[\boxed{ \lambda_{\rm collar,r} = 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 56. 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 58 (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} = 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} = 1-\bar\epsilon_{\mathbb Z_6}^{\rm scal}. }\]

Proof. Substitute the receipt value into the survival formula of Theorem 57. ◻

Remark 59 (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 premise of the susceptibility branch, recorded there.

Definition 60 (Uniform product-thickening branch). The uniform product-thickening branch consists of the following clauses.

  1. Product collar algebra: \[\mathcal A^{\rm thick}_{r,C} \cong \mathcal E_{r,C}\otimes\mathcal T_r(Y).\]

  2. Product quotient trace: \[\tau^{\rm thick}_{q,r,C} = \tau^{\mathcal E}_{q,r,C}\otimes\tau^Y_r.\]

  3. Reserve pullback from the edge-center register: \[Z^{\rm thick}_{6,r,C} = Z_{6,r,C}\otimes1_Y.\]

  4. Scalar activation disintegration: \[\Pi^{\rm scal,thick}_{r,C} = \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}\).

  5. 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) } = \tau^{\mathcal E}_{q,r,C}(Z_{6,r,C}) = \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 61 (Exact uniform product-thickening coefficient). On the uniform product-thickening branch, under the presence reading of Lemma 56, \[\boxed{ \lambda_{\rm collar}=1-\frac{P}{24}. }\] Numerically, \[\boxed{ \lambda_{\rm collar} = 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} = \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 58, 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 62 (Exact value licensing). 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} = 1-\int dy\,w(y)\,\epsilon_{\mathbb Z_6}(y),\] and under the mean-count reading of Remark 59 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 61 gives \(\lambda_{\rm collar}=1-P/24\). Without them the theorem-grade expression is \[\lambda_{\rm collar} = 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 \(d^{\#}_q\) or explicitly declared a reciprocal statistic; every exact \(1-P/24\) coefficient claim must cite Theorem 61; 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 63 (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. No concrete finite carrier satisfying the full receipt set is claimed in this paper; the receipt set is the complete premise list for any such claim.

Theorem 64 (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} = \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 65 (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 = \mathsf{Geom}_r\circ c^{\mathrm{nf}}_{sr} +O(\epsilon^{\mathrm{geo}}_{sr}), \qquad \epsilon^{\mathrm{geo}}_{sr}\to0.\]

Theorem 66 (Geometry-readout quotient factorization). If the geometry-facing readouts of Definition 63 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 spacetime and Einstein 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. Evidence sufficient for that identification 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. Write \[P_\star=\frac{a_{\mathrm{cell}}}{\ell_\star^2}, \qquad N_\Lambda=\frac{A_{\mathrm{screen}}}{4\ell_\star^2},\] where \(N_\Lambda=3.31\times10^{122}\) is the \(\Lambda\)-located working capacity. An equal-area cellulation then 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 67 (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 68 (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 69 (Fixed-cutoff regulator certificate). The maps in Definition 68 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 70 (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 71 (Regulator-to-continuum identification 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 72 (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 73 (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:

  1. \(\mathcal A\) is the internal finite algebra;

  2. \(P_0,\ldots,P_{11}\) are twelve labeled overlap ports;

  3. \(\rho_a:\mathcal A\to \mathcal I_a\) are port readout maps;

  4. \(\mathcal R\subseteq Z(\mathcal A)\) is the observer-accessible record algebra;

  5. \(\mathcal M\) is a finite mismatch-score family on exposed port packets;

  6. \(\mathcal U\) is a finite family of local update and repair instruments;

  7. \(\mathcal G_{\mathcal E}\) is a declared finite symmetry or approximate-symmetry group of the port arrangement.

Definition 74 (Certified echosahedral counting realization). A certified local lineage augments the quotient-visible echosahedral patch by:

  1. twelve primitive orthogonal port-center atoms \(e_{r,p}\), each of normalized trace \(1/12\);

  2. the oriented \(12\)-vertex, \(30\)-edge, \(20\)-face triangular incidence packet, with degree-five vertices and five-cycle links;

  3. a separately declared integer atom-counting grammar with total-charge fiber \(\mathcal Q_r=\{q\in\mathbb Z^{12}:\sum_pq_p=12\}\), and the normalized central-readback Hilbert–Schmidt cost \(H_r(q)=\sum_pq_p^2\);

  4. an append-only twelve-register event packet in which writes and retractions carry signs \(+1\) and \(-1\), together with conservative whole-unit seam repairs and minimum-move settling cost;

  5. every refinement carries an orientation-preserving incidence isomorphism. It preserves the port centers and readback packet, and these isomorphisms obey the refinement cocycle; and

  6. a source manifest that rejects Standard Model, product-adjoint, gauge, coupling, particle, measured-target, and fitted-coordinate fields, is closed to undeclared fields, and encodes trace fractions with exact JSON integers.

The signed-event packet realizes integer loads and its separate dynamic settling cost. The total-charge fiber, quadratic cost normalization, and positive readback scale are named realization data. An arbitrary carrier satisfying the three axioms need not select them.

Theorem 75 (Echosahedral counting-and-incidence selector theorem). On every lineage of Definition 74, the declared realization packet canonically determines:

  1. 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\);

  2. integer loads generated by the signed atomic events, termination of every conservative repair path by strict descent of \(V(q)=\sum_pq_p^2\), and a minimum settling-move cost natural under every carrier rotation and declared refinement;

  3. the unique fixed-point-free inverse pairing by graph distance three and the resulting six axes;

  4. the full incidence group \(A_5\times C_2\) and its orientation-preserving subgroup \(A_5\);

  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

  6. refinement naturality and arbitrary simultaneous port-relabeling equivariance of all these objects.

Thus this realization gives the exact twelve-line unit allocation and gap, integer settling dynamics, inverse pairing, proper \(A_5\) action, and rank-three Gram frame stated above.

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. A seam repair with oriented mismatch \(d\geq2\) changes the load square by \(-2(d-1)\), which proves termination. Every declared rotation and refinement is an isomorphism of the repair graph and therefore preserves shortest-path cost. The explicit full-pile witness settles in eighteen moves. 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 76 (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. The executable controls recompute the finite countermodel values and reject both an opaque undeclared numeric input and a floating-point trace fraction that could otherwise be truncated.

An append-only record machine supplies an operational realization of the integer loads. Each write contributes \(+1\), each retraction contributes \(-1\), and the port readback sums the signed atomic events. A repair transfers one whole unit along an oriented seam when its mismatch has magnitude at least two. The load square \(V(N)=\sum_iN_i^2\) decreases by \(2(d-1)\) on a repair with mismatch \(d\geq2\), which proves termination. The total load modulo twelve is a necessary consensus obstruction, with an explicit eighteen-move settling path for the declared full-pile state. Minimum settling cost is preserved by the sixty rotations and the declared refinement maps. The family \(\{\tfrac12 e_{r,p}\}_{p=0}^{11}\) rescales the event values, seam readback, and repair threshold together. It is the same event mechanism in different readback units, not a half-event countermodel.

For a separately declared uniform twelve-port reference \(\tau_p=1/12\), a feasible perturbation \(\rho=\tau+\varepsilon v\), with \(\sum_pv_p=0\), satisfies \[D(\rho\Vert\tau) =6\varepsilon^2\sum_pv_p^2+O(\varepsilon^3).\] The second-order Taylor coefficient is \(6I\), while the Hessian, equivalently the Fisher matrix, is \(12I\). The A3 weight fixes their common scale. This infinitesimal curvature supplies neither the exact discrete cost \(H_r\) nor the minimum settling-move cost. Exact separating witnesses distinguish all three objects.

Theorem 77 (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 = \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 78 (External identification of the load). The identification \(X=\log(N/\pi)\) is imported from the companion capacity relation; this paper does not construct that object. The theorem itself constrains invariant screen loads that are additive across the twelve ports.

Remark 79 (Source-selector boundary). For Theorem 77, the D-optimal vector/quadrupole functional is a branch premise, and a strictly completely monotonic pair cost is another sufficient selector by universal optimality. Neither is needed on the certified lineage of Theorem 75, where oriented incidence supplies the antipode, \(A_5\) action, and frame, while the declared integer counting grammar and normalized central-readback cost supply the all-unit selector. In the alternative variational theorem, \(\sum_v(6-\deg(v))=12\) follows from spherical incidence, while integer charge typing and the strict additive cost are assumptions. 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 51 have separate premises; the port and slot counts do not imply either statement.

Theorem 80 (Exact multipole fixed point of the twelve-port orbit). Let \(u_1,\ldots,u_{12}\) be the twelve unit port directions of the regular icosahedral orbit and let \(P_l\) denote the degree-\(l\) Legendre polynomial. Then for every unit vector \(n\), \[\sum_{i=1}^{12}P_l(u_i\cdot n)=0, \qquad l=1,\ldots,5,\] and the normalized rank-six invariant \[\mathcal I_6(n)=\frac{25}{132}\sum_{i=1}^{12}P_6(u_i\cdot n)\] takes the exact values \(1\) on the twelve port directions, \(-5/16\) on the thirty edge midpoints, and \(-5/9\) on the twenty face centers. Its critical set on the sphere is exactly the sixty-two axis points: twelve maxima at the ports, thirty saddles at the edge midpoints, and twenty minima at the face centers, every tangent Hessian eigenvalue nonzero in exact arithmetic, with Euler count \(12-30+20=2\). On the multiplicity-free band split \(\mathbf1\oplus\mathbf3\oplus\mathbf3'\oplus\mathbf5\) of Theorem 21, the lowest surviving multipole ranks are \(0,1,3,2\), the antipodal partner of each port is derived from adjacency as its unique distance-three port, and the blind antipodal response \(R=-J\), with \(J\) that derived antipodal permutation, acts with sign vector \((-1,+1,+1,-1)\) in band order \((\mathbf1,\mathbf3,\mathbf3',\mathbf5)\).

Proof. The icosahedral invariant dimension at angular rank \(L\) is \[m_L=\frac1{60}\Bigl[(2L+1)+15\,U_{2L}(0)+20\,U_{2L}(\tfrac12) +12\,U_{2L}(\tfrac\varphi2)+12\,U_{2L}(\tfrac{\varphi-1}2)\Bigr]\] with \(U\) the Chebyshev polynomials of the second kind; the exact table gives \(m_1=\cdots=m_5=0\) and \(m_6=1\). Each orbit sum \(\sum_iP_l(u_i\cdot n)\) is an invariant of rank \(l\), hence vanishes for \(l=1,\ldots,5\), and the rank-six invariant line is one-dimensional. The special values, the sixty-two-point Morse census, the derived antipode, and the band signs are certified in exact arithmetic by the machine-readable certificate [source]. ◻

Proposition 81 (Quantitative stability bounds for the equal-weight cosine member). Let \(Q_x(n)=\sum_{i=1}^{12}[1-\cos(xu_i\cdot n)]\), where \(n,u_i\in S^2\), and let \(0<x\le1\). After removal of the isotropic part, the terms through eighth order are \[A(x)\mathcal I_6(n),\qquad A(x)=\frac{2x^6(30-x^2)}{118125}>0.\] Writing the complete \(x^{10}\)-and-higher angular tail after division by \(A(x)\) as \(E_x\), exact bounds are \[\|\nabla E_x\|\le\frac{6875}{101152}<\frac7{100},\qquad \|\operatorname{Hess}_{S^2}E_x\| \le\frac{383125}{562658}<\frac7{10}.\] The 62 critical directions of \(\mathcal I_6\) form 31 projective axes, with minimum squared-sine separation \(1/2-\sqrt5/6\).

Proof. Exact reduction on the unit sphere gives \[\sum_i(u_i\cdot n)^6=\frac{12}{7}+\frac{64}{175}\mathcal I_6(n), \qquad \sum_i(u_i\cdot n)^8=\frac43+\frac{256}{375}\mathcal I_6(n).\] The sixth- and eighth-order terms of the cosine series therefore have anisotropic coefficients \(4x^6/7875\) and \(-2x^8/118125\), which combine to the stated positive amplitude. For every term of order \(2m\ge10\), the spherical gradient is bounded by \(12x^{2m}/(2m-1)!\). The Euclidean Hessian is bounded by \(12x^{2m}/(2m-2)!\), and the intrinsic Hessian adds at most the gradient bound through the radial correction. On \(x\le1\), the successive ratios are at most \(1/110\) and \(1/90\), while \(A(x)\ge58x^6/118125\). Summing the two geometric majorants and reducing the rational numbers gives the displayed bounds. Exact enumeration of the three carrier orbits gives the axis count and separation. The machine receipt replays these reductions independently [source]. ◻

Theorem 82 (Exact persistence of the equal-weight cosine fingerprint). Under the assumptions of the preceding proposition, the full kernel \(Q_x\) has exactly sixty-two stationary directions for every \(0<x\le1\). They are the twelve port maxima, twenty face-center minima, and thirty edge-center saddles of \(\mathcal I_6\). Every stationary point is Morse with the same index as the corresponding rank-six critical point.

Proof. Equal port weights make \(Q_x\) invariant under the proper carrier rotations. The order-five, order-three, and order-two stabilizers of the vertex, face, and edge axes have no fixed tangent vector. Every one of the sixty-two axis directions is therefore stationary for the full cosine kernel.

After division by the positive amplitude \(A(x)\), three exact projective charts cover the sphere modulo antipodes. A deterministic dyadic subdivision into 2,624 leaves proves that the tangent-gradient norm of \(\mathcal I_6\) exceeds the complete tail bound away from the disjoint neighborhoods \(\sin^2\theta\le1/4096\) of the 31 axes. No further stationary direction occurs there.

For one representative of each axis orbit, normalized local coordinates give the exact factorization \(G(y)=C(y)y\), with \(G(0)=0\). Exact interval bounds on \(C(y)-C(0)\), using \(\lVert E\rVert_2\le \sqrt{\lVert E\rVert_1\lVert E\rVert_\infty}\), leave a strictly positive smallest-singular-value margin after the tail Hessian is included. The local chart obeys \(\lVert J_y\rVert\le1\) and \(\operatorname{dist}(0,y)=\arctan\lVert y\rVert\le\lVert y\rVert\), so the intrinsic \(C_2\) tail bound is the required coordinate-gradient bound. Each neighborhood contains its axis center as its unique stationary direction. Separate exact Hessian margins preserve the two definite signatures and the indefinite edge signature. Carrier symmetry transports the three local certificates to all 31 axes. The interval arithmetic and an independent implementation are recorded in the machine receipt [source]. ◻

Theorem 83 (Spin-six residue universality on the invariant carrier class). Let the carrier kinetics be any operator \(\lambda_a(k)=a^{-2}\sum_d w(d)\,[1-\cos(a\,k\cdot d)]\) with a finite direction multiset and weights invariant under the proper icosahedral rotation group. Then the dispersion is exactly isotropic through angular rank five at every order in \(a\), and every directional term below angular rank ten is one multiple of \(\mathcal I_6\). The rank-six Legendre coefficient of \(t^{2m}\) is \(13\,(2m)!/((2m-6)!!\,(2m+7)!!)\), strictly positive for every \(m\ge3\). For each fundamental orbit the sixth-moment \(\mathcal I_6\) multiple is nonzero: \(64/175\) on the twelve port directions, \(-64/189\) on the twenty face directions, and \(-2/7\) on the thirty edge directions. Whenever the weighted sixth-moment coefficient is nonzero, the first directional artifact appears at order \(a^4k^6\) and one binary refinement step suppresses it by exactly \(1/16\) at that order. The exact same-radius positive-weight member with weight \(1\) on the twelve port directions and \(27/25\) on the twenty face directions cancels the \(\mathcal I_6\) residue at every order. It is isotropic through \(k^8\) and first populates angular rank ten at order \(a^8k^{10}\). A separate control, with port radius \(1\) and weight \(1\), face radius \(2\) and weight \(27/1600\), cancels the sixth-moment \(\mathcal I_6\) term while retaining the raw eighth-moment \(\mathcal I_6\) multiple \(-256/125\). Rank six is the least symmetry-allowed angular rank in the class, although mixtures can cancel it.

Proof. The order-\(a^{2m-2}k^{2m}\) angular content is an invariant polynomial of degree \(2m\) with harmonic components at even ranks \(L\le2m\); the invariant table of Theorem 80 forces zero at \(L=2,4,8\) and a one-dimensional space at \(L=6\). The positivity of the level-six coefficients, the per-orbit sixth-moment multiples, the refinement factor, the same-radius angular-rank-ten control, and the two-radius eighth-moment control are certified in exact arithmetic [source]. ◻

On the primitive twelve-port propagation branch, whose premises and custody live in the synthesis paper [source], these identities give the dispersion coefficients \(C_4=-a^2/20\), \(B_0=a^4/840\), and \(B_6=2a^4/7875\), hence \(B_6/C_4^2=32/315\), \(B_0/C_4^2=10/21\), and \(B_6/B_0=16/75\), with the unique rank-six icosahedral shape oriented in \(SO(3)/A_5\). The scalar or polarization-independent sector bridge, coherent frame transport, and exclusivity are declared physical premises of that branch. Here spin six denotes spherical-harmonic angular rank, not particle spin.

The finite repair operator acts on thirty internal seams rather than spatial translations. An exhaustive classification of the simulator’s declared serialized finite artifacts finds the local-domain kinetic operators and the twelve-port response on separate domains, with no registered accepted packet joining a complete twelve-port translation operator to a physical readout of that same operator. Equal-weight stencils on the twelve vertex, twenty face, and thirty edge direction orbits have distinct rank-six coefficient rays. Proper-carrier transitivity fixes weights within a chosen orbit and does not choose among these spatial alternatives.

The source-seam record carrier and its homogeneous action

The complete seam packet admits a second exact reading that keeps the finite record mechanism separate from physical spacetime. Give each of the thirty undirected seams a bookkeeping orientation and let an integer current carry the corresponding signed incidence boundary on the twelve ports. Pair each port with its graph-distance-three inverse and take the antipodal-odd part of that boundary. The result is a six-coordinate integer record.

Theorem 84 (Exact seam-current image and response completion). The image of the complete integer seam-current map is exactly \[D_6=\left\{z\in\mathbb Z^6: \sum_{i=1}^{6}z_i\equiv0\pmod 2\right\}.\] The six-by-thirty integer map has Smith invariants \((1,1,1,1,1,2)\). Its residual cokernel is one parity bit, and an explicit six-seam section reaches every element of \(D_6\). Pull back the response-selected Gram metric of Theorem 75 to \(D_6\). The resulting metric image is injective and dense in the same three-dimensional Euclidean response carrier, so its abstract metric completion is canonically isometric to that carrier. Cumulative \(D_6\)-records act simply transitively by isometries on the integer record carrier, and this action extends to translations of the completion.

Proof. Exact integer incidence has rank eleven on the twelve-port boundary space and cycle rank nineteen. Composing it with the antipodal-odd readout gives an even coordinate sum. Conversely, the explicit six-seam section reconstructs an arbitrary even-sum vector, which proves the image statement. The parity map supplies the two cokernel cosets and the Smith form. The response Gram map is injective on the integer controls. The golden-ratio coordinate lines are dense, and doubled control vectors belong to \(D_6\), so the restricted image remains dense in the rank-three response carrier. Record addition and the pullback metric give the stated homogeneous isometric action. All finite incidence, section, parity, density, and action identities are checked in Lean [source]. ◻

Theorem 85 (Finite seam continuity and Ward-promotion boundary). Let \(q,q',s\in\mathbb Z^{12}\) be stored load, updated load, and source, and let \(J\in\mathbb Z^{30}\) be a current on the bookkeeping-oriented seams. Adopt the net-inflow incidence convention. If \[q'-q=s+\partial J,\] then for every port region \(R\), \[\sum_{p\in R}(q'_p-q_p) =\sum_{p\in R}s_p-\Phi_{\partial R}(J),\] where \(\Phi_{\partial R}\) is signed outward flux. Internal seams cancel. For the complete port set, a zero-total source preserves total load.

After scalar extension to \(\mathbb Q\), a port load \(z\) has a solution of \(\partial J=z\) exactly when \(\sum_p z_p=0\). A declared port-zero spanning-tree section constructs one solution; the full solution fibre is its translate by \(\ker\partial\), which has dimension nineteen. This choice is explicit and carries no naturality claim.

Separately, let \(\Phi\) and \(\Phi^\dagger\) be real linear maps on a finite state space that are dual for the expectation pairing. A charge expectation is preserved for every signed state exactly when \(\Phi^\dagger Q=Q\). Channel covariance is insufficient: uniform averaging on two states commutes with their swap and erases the nonzero swap-odd charge. Antisymmetric transfer, action symmetry, channel covariance, and charge conservation are therefore distinct statements.

Proof. Regional summation of the oriented incidence map pairs every internal seam with opposite endpoint signs. Rank-nullity for the connected twelve-vertex, thirty-edge graph gives incidence rank eleven and cycle rank nineteen, and the declared tree section proves surjectivity onto the neutral hyperplane. Finite expectation-pairing nondegeneracy proves the dual fixed-point criterion by testing signed point masses. The two-state averaging computation is an exact negative control. The regional, Gauss-fibre, duality, and control statements are checked in Lean [source]. ◻

The theorem assumes the pointwise finite update and assigns no physical meaning to load, current, update order, or charge. A continuum Ward identity requires a source-derived family of these finite witnesses, directed cofinal refinement with a positive scale tending to zero, realization as components of one stress tensor, weak convergence on an admissible separating test-field class, a finite residual declared on the continuity witness and independently shown by the downstream continuum construction to be derived from it, convergence of that residual, chart covariance, and one inhabited common tower. The generic Lean function may otherwise ignore its witness. The Lean WardLimitManifest requires a not-all-zero finite datum and a nontrivial residual; it derives residual vanishing at the candidate limit by uniqueness of limits. The candidate limit may be zero. That construction must identify the declared residual with physical distributional divergence and supply the source, transport, chart, and tower evidence; the structure alone makes no physical identification. In particular, residual convergence must follow from an independent compatibility estimate and cannot be justified by assuming the target Ward equality.

The metric in Theorem 84 is the response Gram metric. It is not the inherited Euclidean metric of the integer tuple \(z\in\mathbb Z^6\). The theorem constructs an abstract three-dimensional completion of records. It supplies no identification with physical position, no ruler, and no global observer gluing.

One composed machine-checked surface carries the seam-current chain in the Lean development (LightSignalAdequacySurface): a premise bundle naming the equal source-counting measure, the auxiliary oscillator lift, and the physical-frequency identification as declared inputs, through which the forced weight, the dimensionless generator, the rank-two transverse completion with its exact zero mode, and a second-order wave-shaped evolution with the identified frequency are re-exported as one package. A companion module (LightSignalMaxwellComposition) extends this to the composed modal-Maxwell receipt on the same bundle: an explicit boundary map carries the supplied mode dynamics onto the opposite-sign curl pairing at the bundle’s chart scale, exactly, on every transverse state at every nonzero chart momentum; the pairing squares to minus the identified frequency on both amplitudes, preserves both modal divergence constraints, commutes with the global phase action, and the same-sign mutation fails the identified wave law. The intertwining is a factorization, not an equivalence, and no potential dynamics, covariance, or continuum control is claimed there; the real position-space seam field, its gauge quotient, and its conserved-source quadratic action are committed separately, as exact finite mathematics on the seam carrier, in Propositions 91 and 92; those propositions supply no physical attachment. The same module threads the discrete Gauss receipts through the shared seam alphabet: the forced counting measure is orientation-balanced across the committed double cover of the thirty seams and its expected signed port boundary vanishes on the same incidence object that carries the solvability, spanning-tree, cycle- fibre, and rank-nineteen receipts. A separate premise-free classification (SeamU1HolonomyClassification) commits the finite \(U(1)\) object the boundary lists named as missing: seam connections modulo port gauge are classified exactly by their nineteen chord holonomies: the first finite cohomology group of the seam graph with circle coefficients is \(U(1)^{19}\), and the moduli count equals the committed Gauss cycle rank. The connection is a finite kinematic object with no curvature dynamics and no physical field identification; its real de Rham companion carries the committed quadratic action and conserved-source coupling of Proposition 92. The attained content is a conditional free-vector law; the composed surface supplies no complete Maxwell-shaped field equation and makes no photon claim.

Theorem 86 (Conditional homogeneous Dirichlet generator). Suppose the admissible directed-seam move laws and their objective are natural under the proper carrier action, and suppose the normalized admissible minimizer is strictly positive and unique. The weight on each of the sixty directed seams is then \(1/60\). Let \[(Pf)(x)=\frac1{60}\sum_e f(x+v_e),\qquad L=I-P,\] where \(v_e\) is the exact response-coordinate translation of a directed seam. Then \(P\) preserves constants and positivity, \(L\) is translation invariant, and \[2f(x)(Lf)(x)-L(f^2)(x) =\frac1{60}\sum_e\bigl(f(x+v_e)-f(x)\bigr)^2\ge0.\] Plane waves diagonalize \(L\). If \(a_{\rm edge}^2=2-2/\sqrt5\) denotes the exact squared response-Gram norm of a seam translation, then \[\frac6{a_{\rm edge}^2}\lambda_L(k)\] is exactly the normalized thirty-edge cosine character in the response coordinates. A supplied nonzero coordinate dilation \(a\) gives \[\begin{equation} \Lambda_a(k,n)=\frac1{5a^2}\sum_{j=1}^{30} \left[1-\cos\!\left(ak\,w_j\mathbin{\cdot}n\right)\right], \label{eq:screen-seam-current-symbol} \end{equation}\] where the \(w_j\) are the unit edge directions. The dilation is a coordinate choice until a physical position map fixes its meaning.

Proof. Transitivity and uniqueness make the selected weight constant on the directed seam orbit, and normalization fixes it to \(1/60\). Reindexing the directed orbit gives one positive and one negative translation for each of the thirty seams. The square identity follows by expanding \(L=I-P\). The plane-wave identity is the exact character calculation for those translation pairs. The response Gram theorem gives the displayed seam norm. Exact source incidence, selection, translation, and Fourier identities are machine-checked in the finite proof chain [source]. ◻

The naturality and unique-minimizer clauses in Theorem 86 are explicit premises. The finite source fixes the orbit and its response metric; it does not prove that this homogeneous internal action is a physical field action.

Theorem 87 (Global contraction of a complete positive cosine auxiliary frequency). Let \(\{(\rho_i,v_i)\}_{i\in I}\) be a finite weighted family in the Euclidean carrier chart with \(\rho_i>0\), and suppose that \[\sum_{i\in I}\rho_i(v_i\mathbin{\cdot}x)^2=t|x|^2 \qquad\text{for every }x,\] where \(t>0\). For \(a\ne0\), set \[\Lambda_a(k)=\frac{2}{ta^2}\sum_{i\in I}\rho_i [1-\cos(av_i\mathbin{\cdot}k)]\] and define the sine-feature coordinates \[\Phi_{a,i}(k)= \sqrt{\frac{4\rho_i}{a^2t}} \sin\!\left(\frac{av_i\mathbin{\cdot}k}{2}\right).\] Then \[\Lambda_a(k)=\|\Phi_a(k)\|^2, \qquad \|\Phi_a(k)-\Phi_a(p)\|\le |k-p|.\] Consequently the nonnegative auxiliary frequency \(\Omega_a(k)=\|\Phi_a(k)\|\) satisfies \[|\Omega_a(k)-\Omega_a(p)|\le |k-p| \qquad\text{for all }k,p.\] The complete primitive-port support has \(t=4\) and prefactor \(1/(2a^2)\). The complete seam support has \(t=10\) and prefactor \(1/(5a^2)\), reproducing Equation eq:screen-seam-current-symbol.

Proof. The half-angle identity gives \(\Lambda_a(k)=\|\Phi_a(k)\|^2\). The global sine-difference bound controls each coordinate difference by \(\sqrt{\rho_i/t}\,|v_i\mathbin{\cdot}(k-p)|\). Summing the squared bounds and applying the tight-frame identity gives the contraction. The reverse triangle inequality for norms gives the frequency bound. The two support constants follow from their exact second-moment identities. The feature identity, contraction, support constants, and symbol bindings are machine-checked, and an independent exact verifier reconstructs the two finite supports [source]. ◻

The unit constant is a certified upper bound. No optimality theorem is used. The variables in Theorem 87 belong to the selected Euclidean carrier chart. A physical reading requires position and frequency maps, a clock, a field sector, wave-packet or signal- front dynamics, a frame and boost law, a finite physical scale, source-lag and detector models, and a frozen comparison contract.

Proposition 88 (Exact unit-domain remainder). Put \(q=ak\), let \(-5/9\le\mathcal I_6(n)\le1\), and write \[\widehat\Lambda(q,n)=\frac15\sum_{j=1}^{30} [1-\cos(qw_j\mathbin{\cdot}n)].\] The exact eighth moment is \[M_8(n)=\frac{10}{3}-\frac{8}{15}\mathcal I_6(n).\] Define \[\begin{align*} P_6(q,n)={}&q^2-\frac{q^4}{20} +\left(\frac1{840}-\frac{\mathcal I_6(n)}{12600}\right)q^6,\\ P_8(q,n)={}&P_6(q,n)+\left(-\frac1{60480} +\frac{\mathcal I_6(n)}{378000}\right)q^8. \end{align*}\] Uniformly for \(0\le q\le1\), \[|\widehat\Lambda-P_6|\le\frac7{388800}q^8, \qquad 0\le\widehat\Lambda-P_8\le\frac7{34992000}q^{10}, \qquad \frac{19}{20}q^2\le\widehat\Lambda\le q^2.\] In the convention \[\Lambda_a(k,n)=k^2+C_4k^4+ [B_0+B_6\mathcal I_6(n)]k^6+O(a^6k^8),\] the low-momentum coefficients obey \[C_4=-\frac{a^2}{20},\qquad B_0=\frac{a^4}{840},\qquad B_6=-\frac{a^4}{12600}.\]

Proof. The exact edge-orbit moments through order eight reduce to the isotropic line and the unique rank-six invariant. The alternating Taylor bounds for cosine, together with the exact range of \(\mathcal I_6\), give the two remainder inequalities and the positive quadratic bounds. The moment identity and the remainder arithmetic are independently replayable in exact arithmetic and checked by the Lean theorem chain [source]. ◻

Proposition 89 (Conditional basis-free transverse oscillator). For the nonzero coordinate dilation of Theorem 86 and nonzero \(k\in\mathbb R^3\), let \[T_k=\{v\in\mathbb R^3:k\mathbin{\cdot}v=0\}.\] Then \(\dim_{\mathbb R}T_k=2\), and the basis-free orthogonal projector onto \(T_k\), \[\Pi_T(k)v=v-\frac{k\mathbin{\cdot}v}{k\mathbin{\cdot}k}k,\] is idempotent. The scalar symbol \(\Lambda_a(k)\) preserves \(T_k\) and acts equally on its two dimensions. If one declares the canonical oscillator generator \[(A_T,V_T)'=(V_T,-\Lambda_a(k)A_T),\] then \[A_T''+\Lambda_a(k)A_T=0, \qquad \omega_a(k)^2=\Lambda_a(k).\] The spatial symbol vanishes at \(k=0\), hence its nonnegative square-root branch satisfies \(\omega_a(0)=0\). The algebraic first variation of

\[E_k=\frac12\left(|V_T|^2+\Lambda_a(k)|A_T|^2\right)\]

vanishes on that generator.

The proposition chooses the spatial symbol as an oscillator stiffness. It constructs no physical dynamics, covariance, clock, or particle content. The zero mode is an exact property of the declared mathematical oscillator. A physical photon statement requires the missing sector, action, clock, position, frame, quantization, and pole attachments.

There is nevertheless one exact first-order factorization of this modal oscillator that is useful for locating the remaining electromagnetic gap. Complexify \(T_k\), and, for \(k\ne0\), define \[D_{a,k}v =i\,\frac{\omega_a(k)}{\sqrt{k\mathbin{\cdot}k}}\,k\mathbin{\times}v.\] The coefficient is the committed nonnegative square root \(\omega_a(k)^2=\Lambda_a(k)\); it is not a new kinetic symbol.

Proposition 90 (Exact modal Maxwell-shaped factorization and boundary). For every nonzero \(k\), \(k\mathbin{\cdot}D_{a,k}v=0\). On the complexified transverse fibre, \[D_{a,k}^{\,2}v=\Lambda_a(k)v.\] Consequently the opposite-sign paired generator \[\mathcal G_{a,k}(E,B)=(D_{a,k}B,-D_{a,k}E)\] obeys \[\mathcal G_{a,k}^{\,2}(E,B) =-\Lambda_a(k)(E,B),\] and preserves both modal transversality constraints. The same-sign mutation \(\mathcal G^+_{a,k}(E,B)=(D_{a,k}B,D_{a,k}E)\) instead squares to \(+\Lambda_a(k)(E,B)\); whenever the spatial action on the tested amplitude is nonzero, it cannot obey the displayed oscillator equation.

Proof. The vector triple-product identity gives \(k\times(k\times v)=-|k|^2v\) on \(T_k\), while \(k\cdot(k\times v)=0\). Multiplication by \(i\omega_a(k)/|k|\) therefore gives \(D_{a,k}^2=\omega_a(k)^2=\Lambda_a(k)\) on that fibre. Squaring the two off-diagonal sign choices proves the paired statements. The universal identities, scalar-extension bridge, transversality receipts, and mutation control are checked in Lean; an independent off-axis Gaussian-rational replay checks both sign and normalization mutations [source]. ◻

This is an exact pointwise Fourier-modal, hence generally pseudodifferential, factorization. The factor \(\omega_a(k)/|k|\) is momentum dependent, so the proposition does not prove a local position-space curl operator. It supplies neither a reality pairing between the \(k\) and \(-k\) modes nor an assembled real field; it identifies neither amplitude as a physical electric or magnetic field. It also supplies no source-produced dynamics, \(\mathrm U(1)\) potential or gauge quotient, Maxwell action, bridge from the rational seam-incidence Gauss receipts to this complex modal divergence, conserved physical current or source coupling, Lorentz covariance, continuum control, or laboratory readout. Propositions 91 through 93 commit exact finite seam-carrier counterparts of the gauge quotient, a local face-curvature action with conserved-source coupling, and the canonical Gauss solution; the construction supplies no bridge from those receipts to this complex modal divergence or any physical attachment listed above. The result depends on every stated premise and implies no empirical prediction. The construction supplies no physical local-field, gauge-action, source-current, continuum, or readout attachment.

The two seam-carrier packages are premise-free exact finite mathematics on the committed thirty-seam, twelve-port incidence table. Write \(\partial\) for the committed rational seam boundary, \(d\) for its exact transpose, \(\langle x,y\rangle=\sum_ex_ey_e\) for the equal-weight seam pairing, and \(\|F\|^2=\langle F,F\rangle\) for the seam energy.

Proposition 91 (Exact rational Coulomb Green function of the committed seam Laplacian). The vertex Laplacian \(L=\partial d\) of the committed incidence gives every port degree five, and an explicit symmetric rational Green matrix \(G\), with integer entries over the common denominator \(180\), satisfies exactly \[LG=GL=I-\tfrac1{12}\,\mathbf 1\mathbf 1^{\mathsf T}, \qquad G^{\mathsf T}=G,\qquad G\mathbf 1=0,\] and the kernel of \(L\) is exactly the constant loads, proved along the committed spanning tree through the energy identity. For every neutral rational port load \(\rho\), the seam field \(F_\rho=d(G\rho)\) solves the committed discrete Gauss problem \(\partial F_\rho=\rho\); it is the unique Gauss solution orthogonal to every source-free cycle, and it is the unique Gauss solution of minimal seam energy, by the exact Thomson decomposition \[\|F\|^2=\|F_\rho\|^2+\|F-F_\rho\|^2 \qquad\text{for every solution }F\text{ of }\partial F=\rho .\] This supplies the canonical choice absent from the committed discrete Gauss layer of Theorem 85: each nineteen-dimensional solution fibre carries exactly one cycle-orthogonal point, equivalently exactly one energy-minimal point. The exact adjacent-port dipole receipt across seam zero has potential classes indexed by the pair of graph distances to the two poles, taking exactly the values \[\frac{11}{60},\qquad\frac1{20},\qquad\frac1{60},\qquad 0\] and their negatives, with the displayed list strictly decreasing, and the single-source Green values by graph distance are \[\frac7{36},\qquad\frac1{90},\qquad-\frac7{180},\qquad-\frac1{18},\] strictly decreasing. Finally, the committed uniform seam-repair operator acts on real port loads as \(1-\tfrac1{60}L\) for the real scalar extension of this same Laplacian, and its fixed loads are exactly the constants, that is, exactly the kernel of \(L\), exactly the Gauss-obstruction directions.

Proof. The Laplacian matrix is derived from the committed table alone, and the Green identities are kernel-checked integer matrix identities over the denominator \(180\), cast exactly to \(\mathbb Q\) and \(\mathbb R\). The kernel characterization chains constancy along the eleven committed tree seams through the energy identity. The Thomson clauses compose the committed Gauss-fibre description with the displayed orthogonal energy decomposition. The dipole and single-source values are re-derived from the committed incidence by a two-step hop classification proved to coincide with graph distance, and the repair bridge is an exact operator identity against the committed uniform repair. The chain is machine-checked in DiscreteCoulombGreen (laplacian_mul_green, greenMatrix_symm, greenMatrix_row_sum, laplacian_eq_zero_iff, coulombField_gauss, thomson_unique_orthogonal, thomson_minimum, dipole_value_strict_ordering, green_distance_strictly_decreasing, uniformSeamRepair_eq_id_sub_realLaplacian, uniformSeamRepair_fixed_iff_constant) with no native decision procedure [source]. ◻

The same Green matrix assembles a global real Hodge-projection package on the committed seams. Because the Green matrix is global, this is not a local curvature action.

Proposition 92 (Global Hodge-projector action and separate Coulomb solution). Let real position-space seam fields be real-valued functions \(A\) on the thirty committed seams, and let a real port gauge function \(\chi\) act by \(A\mapsto A+d\chi\) through the real cast of the committed incidence. The field-strength projector \(P=1-dG\partial\) is idempotent and self-adjoint for the equal-weight seam pairing; its kernel is exactly the image of \(d\), and its range is exactly the kernel of \(\partial\), the cycle space, of real dimension nineteen. The projected cycle representative \(PA\) is gauge invariant and determines \(A\) exactly up to gauge, and the quotient of position fields by gauge is linearly equivalent to the cycle space, in exact dimension agreement with the committed finite \(U(1)^{19}\) chord-holonomy classification, of which it is the real Lie-algebra/dimension companion rather than an identification with the compact torus. For every source \(J\) on the seams, the sourced quadratic action \[S_J(A)=\frac12\,\|PA\|^2-\langle J,A\rangle\] is gauge invariant exactly when \(\partial J=0\), in both directions; it obeys the exact quadratic expansion \[S_J(A+h)=S_J(A)+\langle PA-J,\,h\rangle+\frac12\,\|Ph\|^2\] with no remainder; its first variation at \(A\) vanishes identically exactly when \(PA=J\); the stationarity equation is solvable exactly when \(J\) is conserved, and then \(A=J\) is a solution; any two solutions differ exactly by a gauge; and every solution is a global minimum, with equality exactly on the gauge orbit. Separately, for a neutral rational port load, the real cast of the Coulomb field of Proposition 91 is the unique minimal-energy solution of the Gauss problem. It is a coboundary and hence obeys \(P E_\rho=0\): it is not a stationary electrostatic sector of the displayed sourced Hodge action.

Proof. Idempotence, self-adjointness, and the kernel and range identifications are exact consequences of the Green identities and the adjointness of \(d\) and \(\partial\); the dimension count follows by rank-nullity through the projector and agrees with the committed chord count and the committed rational cycle rank. The gauge-invariance equivalence and the displayed expansion and variational clauses are exact for the global Hodge action. The separate scalar-extended Gauss/Thomson statement of Proposition 91 is exact real linear algebra over the same incidence; their non-join is pinned by \(P E_\rho=0\). The chain is machine-checked in PositionSpaceMaxwellAction (fieldProjector_idempotent, fieldProjector_selfAdjoint, ker_fieldProjector, range_fieldProjector, positionQuotientEquivCycles, cycleSpace_finrank_eq_chord_count, fieldStrength_gauge_invariant, sourcedAction_gauge_invariant_iff, sourcedAction_expansion, stationary_iff, stationary_solvable_iff, solutions_differ_by_gauge, sourced_global_minimum, fieldStrength_realCoulombField_zero, electrostatic_join), and one composed theorem (positionSpaceMaxwellCoulomb_receipt) carries all clauses as a single typed conjunction. A producer re-derives the Green, Coulomb, Thomson, and repair values from its two byte-pinned Lean sources, and an independent verifier replays that exact-rational receipt with different linear algebra; neither certifies the separate real Hodge module. A pytest suite with mutation guards binds the scoped replay to discrete_coulomb_green_receipt.json [source]. ◻

The committed oriented twenty-face incidence supplies the local operator that the Green-built Hodge projector does not. Let \(C:\mathbb R^{30}\to \mathbb R^{20}\) be its signed face–seam matrix. Each face row has three entries, each seam occurs in two faces with opposite orientations, and the boundary-of-boundary identity is \(Cd=0\).

Proposition 93 (Local face-curvature action and separate scalar Coulomb sector). On the committed oriented face complex, \(C\) has rank nineteen and \[\ker C=\operatorname{im}d.\] The local kinetic operator \(H=C^{\mathsf T}C\) has exactly five nonzero entries in every seam row, 150 nonzero entries in its \(30\times30\) matrix, and diagonal entry two. For a seam current \(J\), \[S_J^{\rm face}(A)=\frac12\lVert CA\rVert^2-\langle J,A\rangle\] is gauge invariant under \(A\mapsto A+d\chi\) exactly when \(\partial J=0\). Its stationarity equation \(HA=J\) is solvable exactly for those conserved currents; stationary points are global minimizers and are unique modulo gradients.

Independently, for a port load \(\rho\), the scalar action \[S_\rho^{\rm scal}(\phi)=\frac12\lVert d\phi\rVert^2- \langle\rho,\phi\rangle\] has stationarity equation \(L\phi=\rho\). For neutral \(\rho\), the canonical potential \(\phi=G\rho\) is stationary and globally minimizing, uniquely modulo constants. The direct-product static action therefore combines a local vector face-curvature sector and the exact scalar Coulomb sector while retaining \(J\) and \(\rho\) as different typed sources.

Proof. The rank calculation is exhibited by an explicit dual-tree section of the codimension-one face-sum space. Rank–nullity and \(Cd=0\) then identify the kernel with the eleven-dimensional gradient space. The local support counts, adjoint identity, range characterization, gauge equivalence, stationarity, and minimum statements are checked in LocalFaceMaxwellAction. An independent exact-rational replay reconstructs both incidences, their ranks and nullspaces, the complete support patterns, the Green solve, and the characteristic factors of \(CC^{\mathsf T}\) and \(\partial\partial^{\mathsf T}\). Erasing the signed orientation of one face boundary produces a machine-checked nonzero boundary-of-boundary control. ◻

Proposition 94 (Conditional temporal identities and continuity on the committed carrier). Index seam potentials \(A_n\in\mathbb R^{30}\) and port potentials \(\phi_n\in\mathbb R^{12}\) by a declared evolution step \(n\in\mathbb N\), and set \[E_n=-(A_{n+1}-A_n)-d\phi_n,\qquad B_n=CA_n,\] so that \(E\) sits on half steps and \(B\) on integer steps. The leapfrog Ampère law \(E_{n+1}-E_n=C^{\mathsf T}B_{n+1}-J_n\) for a seam-current history \(J\) is the unit-step instance of the declared discrete action (Proposition 95). Then Faraday’s law \(B_{n+1}-B_n=-CE_n\) holds identically. Along the declared evolution, the Gauss constraint \(\partial E_n=\rho_n\) propagates from step \(n\) to step \(n+1\) exactly when the discrete continuity equation \[\rho_{n+1}-\rho_n+\partial J_n=0\] holds, in both directions; the port load \(\rho\) and the seam current \(J\) remain distinct types, and this equivalence is their only bridge. The staggered quadratic form \(\mathcal E_n=\tfrac12\lVert E_n\rVert^2+\tfrac12\langle B_n,B_{n+1}\rangle\) satisfies the exact per-step balance \(\mathcal E_{n+1}=\mathcal E_n-\tfrac12\langle E_n+E_{n+1},J_n\rangle\), hence is exactly conserved for \(J=0\). No positivity claim is made. The time-dependent gauge transformation \(A_n\mapsto A_n+d\chi_n\), \(\phi_n\mapsto\phi_n-(\chi_{n+1}-\chi_n)\) leaves \(E\), \(B\), the evolution law, and \(\mathcal E\) invariant. A constant-in-time solution with \(J=0\) has \(B_n=0\), a forced-neutral load, and \(E_n\) exactly the canonical Coulomb field \(dG\rho\); conversely every neutral \(\rho\) admits such a static solution. Zero-current evolution obeys the exact discrete wave law \[A_{n+2}-2A_{n+1}+A_n+C^{\mathsf T}CA_{n+1}+d(\phi_{n+1}-\phi_n)=0 .\]

Proof. The Faraday, continuity-equivalence, Gauss-propagation, quadratic-form, gauge, static-join, and wave clauses are checked in TemporalMaxwellEvolution as one composed receipt from a single typed antecedent bundle; the neutral-load static existence and an explicit nonstatic inhabitant are separate theorems of the same module, the inhabitant being zero initial data kicked by the boundary cycle of one committed face, with magnetic field zero at step zero and three on that face at step one. Faraday’s law and the Gauss propagation use \(Cd=0\) and its exact transpose \(\partial C^{\mathsf T}=0\); the balance identity uses the adjointness of \(C\) and \(C^{\mathsf T}\) under the committed equal-weight pairing together with the staggered magnetic cross term \(\langle B_n,B_{n+1}\rangle\), which makes the balance exact. This conservation law is not a stability theorem at unit step: the committed exact spectrum contains \(5\) and \(3+\sqrt5\), both above the unit-step leapfrog threshold \(4\), so growing modes exist. The timestep-scaled continuation with the sharp threshold is the next proposition. ◻

Proposition 95 (Action origin and sharp stability of the step-scaled evolution). Fix a real step \(h>0\) and set \(E_n=-(A_{n+1}-A_n)/h-d\phi_n\), \(B_n=CA_n\). Let \(S_h\) be the window sum of \(\tfrac h2\lVert E_n\rVert^2-h\,\mathcal S_{\mathrm{loc}}(J_n,A_{n+1})+h\langle\rho_n,\phi_n\rangle\), with \(\mathcal S_{\mathrm{loc}}\) the local sourced face action above. The exact expansion of \(S_h\) has a linear part and an explicit quadratic remainder; stationarity under variations of \(A\) vanishing at both window endpoints is equivalent to \(E_{n+1}-E_n=h\,(C^{\mathsf T}B_{n+1}-J_n)\) at every interior step, and stationarity under variations of \(\phi\) is equivalent to \(\partial E_n=\rho_n\) at every window step. The form \(\mathcal E_n=\tfrac12\lVert E_n\rVert^2+\tfrac12\langle B_n,B_{n+1}\rangle\) obeys \(\mathcal E_{n+1}=\mathcal E_n-\tfrac h2\langle E_n+E_{n+1},J_n\rangle\), equals \(\tfrac12\lVert E_n\rVert^2+\tfrac18\lVert C(A_n+A_{n+1})\rVert^2-\tfrac{h^2}8\lVert CE_n\rVert^2\), and, whenever \(\lVert Cv\rVert^2\le\Lambda\lVert v\rVert^2\) with \(h^2\Lambda<4\) and \(J=0\), bounds \(\lVert E_n\rVert^2\le 8\mathcal E_0/(4-h^2\Lambda)\) and \(\lVert B_n\rVert^2\le 16\mathcal E_0/(4-h^2\Lambda)\) at every step. On the committed carrier the sharp constant is \(\Lambda=3+\sqrt5\): the five spectral projectors of \(CC^{\mathsf T}\) are explicit rational matrices whose identities are kernel-checked, and the golden sector obeys \(\lVert(N-3)u\rVert^2=5\lVert u\rVert^2\). Conversely, an eigenvector \(v\) of \(C^{\mathsf T}C\) with eigenvalue \(\lambda\) and \(h^2\lambda>4\) gives the zero-current solution \(A_n=r^nv\) with \(r<-1\) and unbounded \(\lVert E_n\rVert^2\); explicit eigenvectors with eigenvalues \(5\) and \(3+\sqrt5\) are exhibited, so such a solution exists whenever \(h^2(3+\sqrt5)>4\), and the unit step is unstable. The kinetic term and the step are declared; the step index is not physical time; the construction supplies no source, frame, continuum, or readout attachment.

Proof. Every clause is a theorem of ScaledMaxwellStability: the action expansion and the two stationarity equivalences by summation by parts with a delta variation at each interior node, the balance and the energy identity by the adjointness of \(C\) and \(C^{\mathsf T}\) under the committed pairing, the bounds by conservation and the energy identity, the sharp constant by five explicit rational spectral projectors of \(CC^{\mathsf T}\) checked by kernel decision on integer tables together with a Cauchy–Schwarz transport through \(C^{\mathsf T}\), and the unbounded modes by explicit eigenvectors and the real root \(r<-1\) of \(r^2-(2-h^2\lambda)r+1=0\). The composed receipt scaledMaxwellStability_receipt carries the clauses from one typed bundle, with an explicit inhabitant at \(h=1/2\). ◻

The stability layer carries one committed certified step. The declared step \(h=4/5\) satisfies \((4/5)^2(3+\sqrt5)\le 84/25<4\), through \(\sqrt5<9/4\), with rational margin \(16/25\); at that step the staggered form is nonnegative for every history, conserved for zero current, obeys the balance with literal coefficient \(2/5\), and every zero-current solution obeys \(\lVert E_n\rVert^2\le\tfrac{25}2\,\mathcal E_0\) and \(\lVert B_n\rVert^2\le 25\,\mathcal E_0\) at every step. Any positive step strictly below the threshold yields the same certified package, and a second inhabitant at \(h=1/2\) shows the committed choice is a declared selection, not forced. A typed design-only handoff lists what a preregistered instrument run must bind: the certified instrument, the carrier constant with its Courant proof, a declared readout map, declared control histories, and a nonempty rational kill band. No run, seed, or frozen prediction exists, and the committed step also inhabits the antecedent bundle above on a nonstatic demonstration history (CertifiedScaledStepInstrument).

The frozen dispersion prediction of the ladder carries a schema-level arming checklist. Each prose clause of its comparison protocol, the source-derived homogeneous edge position action with equal weights, the continuous-field same-operator sector attachment, cofinal gluing, the declared finite carrier scale, coherent frame and boost transport, the frozen nuisance and coverage readout rules, and the positive exclusivity lower bound, is one named placeholder field and one atomically registered premise. The committed results prove the coefficient identities as functions of an unfilled positive scale and the control-support certificate. The module also constructs stipulated mock records by setting proposition fields to true and choosing arbitrary scale, lower-bound, and natural-number digest labels. Their nonemptiness and packaging equivalence are not physical eligibility, externality, or custody theorems. No source-derived, artifact-bound evidential inhabitant is present, but a future source scale, lower bound, or attachment is not ruled out. No comparison data enters and the frozen bytes are untouched (DispersionArmingInterface).

All four propositions are exact finite mathematics on the committed carrier, not a physical Maxwell theory. The equal-weight pairing coincides with the committed equal seam-counting selection, and the temporal proposition consumes the declared update, so an instrument construction built on either reads the same pairing. No physical field, charge, current, potential, or photon is identified with a laboratory object; port loads are not charges, seam values are not fields or fluxes, the Green matrix is not a laboratory potential, and the word Coulomb names the canonical discrete Gauss solution of the committed finite table only. The evolution step index is a declared parameter, not physical time, and Ampère names the declared discrete update while Faraday names the proved backward-difference identity. No Lorentz covariance, continuum control, physical source production, or laboratory readout is constructed. The construction supplies no attachment to measured clock and energy standards or to a source-produced gauge connection, current, and action, and no theorem gives stable calibrated propagation. The canonical receipt records exact rational observables and a replay template for an instrument model; it makes no empirical prediction.

Proposition 96 (Exhaustive fixed-design recovery calibration). Consider the twelve design rows formed by

\[q\in\left\{\frac14,\frac12,\frac34,1\right\}, \qquad \mathcal I_6\in\left\{1,-\frac59,-\frac5{16}\right\},\]

and the three-column model for \(C_4/a^2\), \(B_0/a^4\), and \(B_6/a^4\). Enumerate all \(2^{12}=4096\) independent sign-error vectors with amplitude \(1/200\). Exact ordinary least squares and exhaustive \(19/20\) interval calibration give coordinate coverage counts \(3904/4096\), \(3892/4096\), and \(3892/4096\). The corresponding nonzero-signal detection counts are \(4096/4096\), \(234/4096\), and \(195/4096\). The joint higher-order pair has coverage \(3892/4096\) and detection count \(209/4096\). The exact remainder of Proposition 88 cannot erase the leading-coefficient detection margin in this design.

This is a finite synthetic calibration with no sampling error. The sign-error law is a declared dimensionless stress model. The result gives no continuous-direction coverage, detector response, nuisance model, tail calibration at discovery significance, or experimental sensitivity claim. It rejects zero for the leading coefficient throughout this design and does not determine the linked higher-order pair.

One conditional metric theorem records the exact relation available if a single physical similarity metric is attached to the normalized port frame, the primitive vertex action, and the seam-current action. Let \(a_{\rm cell}\) be one physical cut-area element, let \(s^2>0\) be the squared physical length represented by one response-metric unit, and suppose a port-dual sector obeys \(12a_{\rm cell}=4\pi s^2\). If the vertex action has squared step \(a_v^2=s^2\) and the seam action uses the same metric, then \[a_v^2=\frac3\pi a_{\rm cell},\qquad a_e^2=\frac3\pi\left(2-\frac2{\sqrt5}\right)a_{\rm cell},\qquad \frac{a_e^2}{a_v^2}=2-\frac2{\sqrt5}.\] With the additional definition \(a_{\rm cell}=P\ell^2\), where \(\ell>0\), \[\frac{a_v^2}{\ell^2}=\frac3\pi P,\qquad \frac{a_e^2}{\ell^2} =\frac3\pi\left(2-\frac2{\sqrt5}\right)P.\] No source theorem constructs this joint attachment or identifies \(\ell\) with a physical length. Equal normalized port weights and seam weights do not imply it.

The physical comparison routes have different dependency surfaces. A direct arrival-time comparison uses one-particle propagation. Electron and positron actions play no role in that calculation. It requires a physical position map, a physical clock, a field-sector and propagation equation, a controlled frequency remainder, a frame and boost law, cosmological transport, an emission-time model, detector timing, nuisance treatment, and an exclusive readout. A pair-production threshold or opacity comparison additionally requires physical electron and positron dispersion, energy-momentum conservation for the shared action, pair-production kinematics and interactions, a cross section, background-radiation transport, and source composition. The finite seam-current theorems supply none of these physical attachments.

Proposition 97 (Conditional photon-decay exclusion and electron-positron threshold). Let the nonnegative square root of eq:screen-seam-current-symbol be attached to a physical photon frequency in the Euclidean carrier metric, with nonzero \(a\). For \(\mathbf k=kn\), \(k\geq0\), and \(|n|=1\), the exact finite symbol satisfies \[0\leq\Omega_\gamma(k,n)^2=\Lambda_a(k,n)\leq k^2 .\] Suppose energy and momentum compose additively in the declared frame and the electron and positron have positive mass and Lorentz-invariant positive-energy dispersion. A photon cannot decay into an electron-positron pair. For two incoming photons, any declared final-state energy within the seam-current incoming-energy budget does not exceed the Lorentz-invariant incoming-energy budget at the same momenta. The exact upper bound is global for nonzero \(a\); the separately certified Taylor-remainder interval uses \(0\leq |a|k\leq1\).

For a separate leading ultrarelativistic calculation, use \(E_i^2=p_i^2+m_i^2+\delta_{i,2}E_i^4\) through the retained order, with \(i\in\{\gamma,+,-\}\), \(m_\gamma=0\), \(m_+=m_-=m_e\), \(E\) the hard-photon energy, and \(\epsilon\) the soft-photon energy. Treat the soft background photon as Lorentz invariant at leading order and allow independent dimension-six coefficients \(\delta_{\gamma,2},\delta_{+,2},\delta_{-,2}\). Head-on incoming momenta, collinear outgoing momenta, additive conservation, and a fixed positron energy share \(0<x<1\) give \[\left[\delta_{\gamma,2}-x^3\delta_{+,2} -(1-x)^3\delta_{-,2}\right]E^4 +4\epsilon E-\frac{m_e^2}{x(1-x)}=0.\] At \(x=1/2\), the visible coefficient is \[\delta_{\gamma,2} -\frac{\delta_{+,2}+\delta_{-,2}}8 .\] This map has rank one and a two-dimensional coefficient fiber. On the Lorentz-invariant charged-lepton branch, \(\delta_{+,2}=\delta_{-,2}=0\), and for \(m_e>0\), \(0<x<1\), \[\frac{m_e^2}{x(1-x)}-4m_e^2 =\frac{m_e^2(2x-1)^2}{x(1-x)}.\] Hence equal sharing is the unique global maximizer of the leading head-on, collinear threshold residual on this branch.

Proof. The elementary inequality \(1-\cos y\leq y^2/2\), together with the exact second moment of the thirty normalized seam directions, gives \(\Lambda_a(k,n)\leq k^2\) in the same Euclidean metric used by the carrier completion. A positive-mass lepton pair with Lorentz-invariant positive-energy dispersion has energy strictly greater than the magnitude of its total momentum. The triangle inequality gives the decay exclusion and the incoming-energy-domain inclusion. Expanding the three dispersion relations through first order in the dimension-six coefficients and enforcing the declared head-on momentum balance gives the displayed threshold equation. Its equal-share row is \((1,-1/8,-1/8)\), which has rank one and a two-dimensional kernel. The displayed square identity proves the Lorentz-invariant-lepton optimizer. The complete identities and the metric typing are checked in Lean, with an independent exact receipt for the coefficient algebra [source]. ◻

The conditional kinematic theorem supplies no interaction, rate, or detector content for physical photons or charged leptons. The fixed-share leading expansion retains independent charged-lepton coefficients. The Lorentz-invariant-lepton specialization has an exact global share optimizer. The calculation supplies neither the general share optimization nor the full anisotropic minimization over outgoing three-momentum. It does not identify the three dispersion coefficients separately.

Theorem 98 (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 99 (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 100 (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. The construction proves 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 precommitted source packet 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 101 (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 is a separate producer problem.

On the certified echosahedral lineage, the declared integer counting and normalized readback-cost realization gives the unit lines. Oriented incidence gives the 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 102. 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:

  1. local coupling matrices, with total brightness treated as a secondary summary;

  2. recurrence and ring-diversity statistics, with global response treated as a secondary summary;

  3. winding-sensitive or phase-lock-sensitive summaries when phase data are available;

  4. matched controls that distinguish chamber-mediated dynamics from host-side filtering;

  5. exact-verifier receipts for task-level claims.

Proposition 103 (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 other 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).\]

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:

  1. read the exposed overlap packets;

  2. compare them through a declared commensurability map;

  3. choose an allowed local update or rerank move;

  4. write a record of the move;

  5. expose the resulting port packet;

  6. let the exact verifier decide any high-level task claim.

Proposition 104 (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. The result applies to the federated carrier and visible interface defined above. ◻

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. [source]; weak normalization and all-schedule liveness are separate hypotheses. 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:

  1. an observer-facing local algebra;

  2. a record algebra;

  3. a stable readout/update interface;

  4. enough checkpoint data to define future observer-accessible probabilities.

Definition 105 (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 106 (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 107 (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. [source].

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)\). Declare a finite-dimensional \(*\)-algebra \(\mathcal A_t\), a normalized state \(\rho\), and an embedding of \(\mathcal Z_{\mathrm{rec}}(t)\) into its center. These quantum representation data are inputs rather than outputs of the repair process. 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 108 (Conditional federated central-record measurement). On a fixed-cutoff federated patch carrier, suppose a completed write/verify slice exposes a finite commutative central record algebra \(\mathcal Z_{\mathrm{rec}}(t)\) with the declared algebra-state representation above. 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 algebra-state 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 [source]. ◻

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 spacetime and Einstein 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) = 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 Casimir Continuation

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 compact-gauge construction and cannot be supplied by hardware evidence.

Theorem 109 (Fixed-cutoff edge-sector law). 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 gives the fixed-cutoff Casimir edge law used by the compact-gauge construction. The compact-group heat-kernel lift requires the separate companion theorem.

Proof. This is a finite Markov or finite instrument stationary-measure statement on the declared sector algebra. The theorem gives only the finite overlap law. The compact-group lift uses the Peter–Weyl construction and normalization conventions supplied by the companion compact-gauge construction. ◻

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. Neither the two-wing representation nor the joint quantum law follows from the commuting record indicators alone.

The binary-icosahedral spinor adapter gives one exact finite candidate. Its unique invariant singlet and an incidence-defined (120)-row setting family give \[\lvert S_{\mathrm{CHSH}}\rvert=1+\frac{3}{\sqrt5}>2.\] All (720) Pauli covariance identities and the joint law are checked by an independent exact verifier. The complete twelve-port census has (960) maximizing quadruples, so the (120)-row family is not selected uniquely. The source packet contains no completed two-wing record instrument or source-selected setting mechanism. The result is a finite projective candidate, without a physical Bell prediction.

Laboratory echosahedral hardware carries its own public evidence rule for Bell-style claims. The theorem package here is a finite event-algebra statement inside the OPH microphysics surface.

Relation to Yang–Mills

The compact-gauge theorem gives the Yang–Mills repair-gap argument. Echosahedral geometry supplies:

  1. the fixed-cutoff patch, overlap, record, and repair interface;

  2. the finite edge-sector Casimir law on declared collars;

  3. the local repair semantics that the compact-gauge branch reads in controlled quotient form.

The finite cylinder system and its projective weak-* / GNS extraction are proved under the compact-gauge premises. Identification with the four-dimensional Yang–Mills state, reflection-positive Osterwalder–Schrader reconstruction, noncollapse, and equality between the Yang–Mills gap and the repair gap require separate receipts. Hardware evidence can test implementation discipline. 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. An OPH-native vacuum identification requires the quotient-ensemble selector, source Euclidean slab data, and transfer/reflection-positive reconstruction under the compact-gauge premises.

Relation to Hadrons and Strong-Binding Execution

First-principles hadron masses require a working OPH strong-binding construction with:

  1. Ward-projected hadronic spectral data;

  2. provenance tying every spectrum to body, controller, firmware, geometry, and scorebook;

  3. finite-volume, continuum, chiral, and production-systematics fields where applicable;

  4. exact replay or verification receipts for the calculation being claimed;

  5. an explicit scope 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. A first-principles hadron theorem requires the evidence listed above.

Validation criteria

Validation has two independent parts.

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 checks 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 physical-identification conditions. 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:

  1. finite cell/face incidence, four-volumes, normals, areas, causal adjacency, and parallel transport maps;

  2. metric and tetrad data with the declared \((-+++)\) convention;

  3. packet sectors, local momenta, masses, positive invariant weights, occupations, and mass-shell residuals;

  4. signed face fluxes and reaction-channel stoichiometry with transported four-momentum residuals;

  5. quotient maps, local-frame covariance checks, and restriction/refinement maps;

  6. 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.

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 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} = 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) = \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} = \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')} = \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} = \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) = -\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') = \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 = \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.

Physical-vacuum requirement.

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. A physical-vacuum interpretation 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) = \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}\). A continuum interpretation 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 = 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 physical primordial interpretation 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.

Interpretation classes and required receipts.

Every ensemble-facing run records its ensemble id, interpretation class, 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 interpretation classes are \[\begin{array}{l} \text{seed, proposal, or repair noise},\\ \text{conventional reference ensemble},\\ \text{OPH-native quotient ensemble},\\ \text{OPH physical vacuum},\\ \text{OPH primordial field},\\ \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 outputs are fixed-cutoff patch-net embedding, an edge-sector Casimir law, central-record measurement on a declared algebra-state representation, declared two-wing 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-like behavior requires readback, durable records, feedback or repair, prediction/control, and checkpoint continuation. The source-derived incidence nerve passes those observer controls together with twenty nonvacuous face cocycles and a refinement-natural oriented support limit. The finite source inhabitation result adds an exact causal complex, observer-atlas transitions, a seam-sign layer, local section spaces, and finite operator identities. Its absent continuum identification prevents it from supplying the event-manifold, BW/KMS, physical-scale, or laboratory bridges; those bridges are premises wherever a stronger reading consumes them. Complete reversible port response and endogenous overlap transport force the local Standard Model gauge Lie algebra. The declared matrix current and matter action are conditional. Their common \(\mathbb Z_6\) kernel is exact for the declared tensor table. The twelve-port orbit carries an exact multipole fixed point: ranks one through five annihilate, and the unique rank-six invariant survives with a certified sixty-two-point Morse census and a universal least-rank residue on the invariant carrier class. On the declared equal-weight cosine branch, the full kernel has exactly the same sixty-two stationary directions for \(0<|ak|\le1\). Selecting the physical global form, identifying laboratory currents, attaching the finite response band to physical matter poles, and realizing the construction in a continuum quantum field theory all require input this paper does not supply.

Hardware can guide the architecture and supply public evidence through hash-stable evidence bundles. The mathematical conclusions stand on finite algebras and their declared 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 supported result and its exclusions. The evidence bundle supports only that stated result.

Digital Calibration Compatibility

The octahedral \(\mathbb Z_2/S_3\) build has the following reading rule:

  1. it validates finite patch/overlap/record/repair bookkeeping;

  2. it tests frustrated-cycle and defect behavior in an exact digital setting;

  3. it calibrates the edge-sector law on a finite declared interface;

  4. it supplies calibration data for the interface layer;

  5. it leaves the physical carrier role with the federated echosahedral patch architecture.

99

B. Müller, J. Kim, 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, J. Kim, 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, and D. Matscheko, Deriving Standard Model Gauge Structure from Observer Overlap Consistency. Available at https://github.com/FloatingPragma/observer-patch-holography/blob/main/paper/deriving_standard_model_gauge_structure_from_observer_overlap_consistency.pdf.

B. Müller, A. Osika, M. Poneder, K. Xue, B. Cassie, P. Nguyen, J. Kim, D. Matscheko, J. Hill, W. T. Glynn, M. A. Visser, and K. A. Anirudha, From Observer Consensus to Standard Physics. Available at https://wkaxfdgxoqmghwgshymt.supabase.co/storage/v1/object/public/papers/from_observer_consensus_to_standard_physics.pdf.

B. Müller, A. Osika, M. Poneder, and K. Xue, 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, OPH-FPE: finite simulator and receipt engine for Observer-Patch Holography physics experiments, 2026. Available at https://github.com/muellerberndt/oph-physics-sim.

FloatingPragma (2026). Observer Patch Holography: Lean library, exact code receipts, finite certificates, and claim ledgers.
Available at https://github.com/FloatingPragma/observer-patch-holography.

B. Müller and J. Hill, 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.

AI Assistance Disclosure

This research project used research-grade commercial models, including Anthropic’s Fable and OpenAI’s GPT-5.6-Sol, for research support, software development, editing, and synthesis. The authors are responsible for the paper’s claims, methods, and final text.