TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/native-arc-charge-source-interface-20261026/PROOF.txt
Original file SHA-256: 17e05220f16d70049c949cfe1b9639fd27defcf196d106869e8b8673ae0903a6
Inclusive original lines: 86-124
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000086 | 
000087 | 7. Modular diagnostic without replacing the state
000088 | Restrict a single half-filled Fourier sea with quarter phase to eight equal
000089 | arcs on finite rings N=64,128. Keep all occupied Fourier modes of each finite
000090 | ring regulator. These two regulators do not reconstruct the infinite Hardy
000091 | sea. No independent arc vacua and no eigenvalue clipping are used.
000092 | For the retained covariance0<C_E<I set h_E=log((I-C_E)/C_E).
000093 | Its interarc norm is nonzero; so is[h_E,N_arc0]. Removing crossarc
000094 | covariances makes this commutator zero, but that control changes the state.
000095 | Both quarter choices reproduce the same gauge-invariant norms.
000096 | [h_E,A_a tensor I_per] vanishes to numerical precision for all four actual
000097 | native Cartan matrices. The equal-arc covariance is Fourier diagonal in the
000098 | arc label, explaining this result. These are integrated channel matrices,
000099 | not pointwise local fields. Position mixing inside each channel remains.
000100 | Two regulators prove neither continuum convergence nor a selected native
000101 | quartic dynamics. Modular parameter is not identified with physical time.
000102 | General disjoint-interval vacuum modular mixing and charge splitting are
000103 | known results: Longo,Martinetti,Rehren arXiv:0912.1106v2, section3,
000104 | https://arxiv.org/html/0912.1106v2 . This literature motivates the diagnostic;
000105 | it does not select the TFPT quarter state, seam map or physical time.
000106 | 
000107 | 8. Outcome and next necessary derivation
000108 | The exact result excludes native quartic insertion using only the separately
000109 | supported additive original scalar density/stress algebra on these eight arcs.
000110 | A viable original P1 map for these fields must retain the corresponding
000111 | relative-charge transfers, or an equivalent transporting history outside this
000112 | restricted algebra, with the actual state, time, reflection and domains.
000113 | The full CAR source supplies the required algebraic structures already.
000114 | Neither the charge tensor nor a modular covariance matrix derives which
000115 | variation delta D_rel is physically induced by a native field, its coefficient,
000116 | or the state/event rule. The required next equation remains the actual
000117 | F_a -> delta_a D_rel map from original P1, with the full graded functional
000118 | and unchanged reference data. The current elliptic annulus boundary tuple
000119 | may be reused, but its thermal covariance must not replace the quarter
000120 | Hardy reference. No claim that the full CAR source or arbitrary P1 is excluded.
000121 | 
000122 | Verdict: EXACT_SCOPED_RELATIVE_ARC_CHARGE_OBSTRUCTION;
000123 | FINITE_MODULAR_DIAGNOSTIC; ORIGINAL_PHYSICAL_SOURCE_SELECTION_OPEN.
000124 | Experiment-only theory contract. No ledger, paper or empirical promotion.