Established in scope
Actual induced Hardy defect gives a finite whole-source reader
In the question: Automated construction of operator maps and sources
Existing mathematical NS Hardy source contract, not a newly proved physical finite P1 selection. The graph-lifted shift differs from both-face diagonal shift and relative matching; the whole-annulus shift has index zero. Graph membership alone does not establish finite time stationarity. The evaluated response is neutral and grading even, retaining all D5/charge slots, not an odd Higgs/Dirac source. NS frequency1/2 and quarter1/4 are related only via the old double-frame map with ell_quarter=2ell_NS and both quarter sectors for the seam shift; no physical scale/time equality is inferred.
Read the exact result, assumptions and evidence
Result
Actual signed G columns prove F_v117=Ind_V4^A4 chi0=pi_*L0q. The old spin cable is the correct induced family bundle without extra copies. Its given NS Hardy unit-shift defect has family rank three and transports by V_h into the whole graph, giving M_rs=<JE_r,M_mu E_s>. The actual induced mu01 input at Phi=0 gives nonzero M02=(4X*/pi)I Pgamma+, X*=(2cosh(ell_NS/2))^-1, I=0.1258739334853158906973-0.4697679151157443151336i. Actual q2/p1 open arcs add by their Kummer signs while diagonal pairs cancel. A closed primitive and strict analytic lower bound prove nonvanishing. Independent root checks give zero exact derivative remainder and continuous-branch quadrature residual below3.2e-76.
Required assumptions
- 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.
- Recovered genus2 cover with retained coefficients
Retain exactly the older three-sheet cover C:w³=(z²-1)/(z²+1), eta=z(1-w³), eta²=1-w⁶, six Weierstrass points p_a=omega^a,q_a=-omega^a, given z base and clock markings. Seek actual flat coefficient lines for existing v117 monodromy, not mere permutation equivalence or an assumed field intertwiner.
- Supplied split carrier with actual q sign lines on genus-two cover
Given existing split carrier E3⊕E2 with unitary split connection onX and actual unitary flat q linesL0,L1,L2 on old coverC:w³=(z²−1)/(z²+1),η²=1−w⁶,product1 andπ*Fv117=L0⊕L1⊕L2. Pull these data toX×C and combine with declared alignment to mA slots. This does not selectX,E,mA or alignment as original P1 quantum source.
- Relative spin and reference Hardy cable on original three-cover
Compare holomorphic Hardy shifts M_z on S0 tensor L and the same degree-zero coefficient line L over the original pi:C→P1_z. Spin half-forms give boundary norm; Fredholm convention is det kernel tensor inverse det cokernel. Relative line is spin line tensor inverse reference line. This defines a mathematical sewing contract, not an established identification with physical D_rel/D_ref or state.
- Complete data of both product-collar faces
A selfadjoint B occurs in an exact normal-independent product equation. The full orthogonal L2 Cauchy graph projection of both labeled faces, their actual fiber identification and independently known positive normal length ell are supplied. Selection of these data from P1/P2 is not presumed.
Original evidence
- INDUCED-HARDY-DEFECT-BMU-FINITE-READER.txt lines 1–132
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/INDUCED-HARDY-DEFECT-BMU-FINITE-READER.txt
209e29b96e4f43d7a4211f3a0a8ccaa0e4607db9991947b622ee174fceb510d3
- HARDY-BMU-FIRST-NONZERO-ENTRY.txt lines 1–132
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/HARDY-BMU-FIRST-NONZERO-ENTRY.txt
57a86a6e51d78730e23d2e9763fa93f66dd1e001efdc9f3de5a383501334452b
- ROOT-HARDY-MOMENT-INDEPENDENT-CHECK.json lines 1–20
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ROOT-HARDY-MOMENT-INDEPENDENT-CHECK.json
f9d87f9acdf92ae0ef8a3223fdac0ec82f86a1af649aac2819e47eec03cd11d2
- MU-CURRENT-DZ-FINITE-INSERTION-REVIEW.txt lines 1–62
Source checked at this snapshot
Original location and fingerprint
experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/MU-CURRENT-DZ-FINITE-INSERTION-REVIEW.txt
e421b635bad88784b461c517f85d3b7c0ea90e2c673c92a9a979f1a14072fa06
finding:induced-original-hardy-defect-gives-finite-whole-source-reader