Established in scope
Native quartic requires relative charge transfers among source arcs
In the question: Common clock sectors, quartic geometry and operational reconstruction
Exact highest CAR degree;subnet conclusion assumes the expressly restricted insertion algebra. Closed-operator affiliation needs an appropriate realization and common core. No exclusion of full CAR or arbitrary P1 maps,no claim for every finite phase,and no physical event selection.
Read the exact result, assumptions and evidence
Result
In the actual M/O/quarter dictionary,each degree8 CAR arc-charge Gram has rank5 and determinant498159/262144,normalized166053/4294967296. All four index-difference classes have rank5. Every nonzero native quartic responds to every nonconstant real infinitesimal arc phase;the common phase remains trivial. These phases pointwise fix the restricted additive scalar density/stress subnet. Native field distributions cannot be generated there. The full original CAR algebra already contains the required transfers.
Required assumptions
- Original quarter CAR source with fixed fold and current dictionary
The already supplied single-channel CAR source with actual quarter domains alpha=1/4,3/4, negative-D sea, positive original excitation time, unitary eightfold F and actual channel diagonalization is fixed. M,O,U+ and the conformal NS point-splitting reference are the same original dictionary data; the single delta counterterm follows from the kernel difference. Even CAR current composites retain full arc correlations, charges, domains, all modes, original time and the existing subtraction prescription including finite derivative counterterms. No E8 root/spinor extension is assumed for this neutral current subalgebra. Identity with the original P1 net, Theta, collar and reference sector is not supplied. Real profiles and pulse strengths are intervention data.
- Original displayed J-equivariant root isometry
Use existing S=_SIMPLE and T=_TARGET_SIMPLE from cartan_source._glue_deck_character_certificate: O=T S^-1/sqrt2 maps actual Construction-A roots r/sqrt2 to original Chevalley roots r/2, preserving metric and J. This is the existing concrete map, not a newly fitted embedding; physical P1 selection stays separate.
- Symmetric quartic and actual erasure intertwiner
Use Sym^4 of the native four-representation, the actual five codeword sums, and the existing one-register erasure intertwiner. The symmetric tensor rule and its physical selection are not silently inferred from the full tensor product.
- Do not identify source types
Observable algebra, OS reflection, state, collar operator, time evolution, carrier connection, family holonomy, and readout are distinct data until an original map relates them.
- Additive scalar density and stress algebra on eight original arcs
The restricted insertion candidate is the additive original scalar density/stress subnet on eight proper arcs with disjoint closures. Full neutral interarc CAR products are not automatically included.
Original evidence
- PROOF.txt lines 1–85
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-arc-charge-source-interface-20261026/PROOF.txt
17e05220f16d70049c949cfe1b9639fd27defcf196d106869e8b8673ae0903a6
- check_arc_current_completion.py lines 1–111
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-arc-charge-source-interface-20261026/check_arc_current_completion.py
452e5bdc0d4c259d052e1d5e8fa4284328d29a0bc7a21cf998c965d741b785fa
- REVIEW.txt lines 1–9
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/native-arc-charge-source-interface-20261026/REVIEW.txt
ba59b19746bf5188f3f10e6b6863aa017273fe1829ab0e6d3ef71b128afac9dc
finding:native-quartic-relative-arc-charge-excludes-additive-density-stress-insertion