TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-source-functional-audit-20261013/PROOF.txt
Original file SHA-256: 3557744662f96c8cf00907f652695939ab627991e074b17abda4a16ebb75d10c
Inclusive original lines: 1-22
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.

000001 | Original source functional audit, 2026-10-13
000002 | Research ID: UR.SOURCE.ORIGINAL_FUNCTIONAL_AUDIT.01
000003 | Verdict: PARTIAL. No complete physical source functional derived.
000004 | 
000005 | The requested target is one source selected by the original principles that jointly supplies charged operators, state, instruments, clocks and geometry. No new Hilbert space, UV kernel, parent Hamiltonian or physical model was introduced in this audit.
000006 | 
000007 | A. Exact failure of a historical source-selection theorem
000008 | UV_MAP_PROOF.txt proves directly from the original formula that the map in _archive/tfpt-45/source_extracts/05_metrology_source.tex:1619-1688 sends each nonzero finite measure with a finite positive normalizer to infinite total mass. The output density is bounded below by a strictly positive constant on an infinite Lebesgue domain. Thus the asserted finite-measure endomorphism and fixed measure do not exist under its literal hypotheses. This is an exact exclusion of this written theorem; it is not a no-go for all TFPT sources. The active v5.4 sources do not use this theorem, and the current-source audit did not identify a replacement selecting the full operational seed. Necessary integrability and moment-preservation identities are recorded, without selecting a replacement kernel.
000009 | 
000010 | B. Same existing finite operator menu, stronger event-law ambiguity
000011 | INSTRUMENT_PROOF.txt and instrument_results.json preserve the exact assertion-enabled source-menu calculation. Both instruments use the original 60 marked projective operations, the same labeled effects, the same unobserved channel and the same native 24-root discrete conjugation action. The analytic stationary-state refinement is explicitly separate from the executed receipt: Phi(X)=Tr(X)I/2 has the unique stationary density rho=I/2. The same first event has probability 1/60. The same next input-port event has joint probability 1/300 for one instrument and zero for the other. Therefore even state selection, all these one-step effects, the average channel and native discrete covariance do not select the update map. This is a finite 2x2 operation-dictionary theorem, not a claim about two admissible full TFPT functionals or continuous spacetime/clock covariance.
000012 | 
000013 | C. What the literal operational minimization can select
000014 | Source01:480-520 supplies the operational tuple S=(A_loc,tau_t,Theta,omega,[u_Sigma],D_coll) before collar reconstruction C(S). Source01:597-617 defines D_seed(S)=D(C(S)). This cost is constant whenever C(S1) and C(S2) are equivalent. Hence it can select at most the induced bordism data unless the minimizing fiber is additionally proved to contain exactly one admissible seed up to the declared intertwiners, or all physical source responses are shown to be identical on that fiber. This is a necessary selection condition from the written definition, not a proved existence of two inequivalent fully admissible seeds. Existence of a functor alone also does not show that every minimal target bordism lies in its image. The later B_lex barrier in source02:3021-3062 already tests equivalence to B_min; writing the barrier does not replace the missing source classification.
000015 | 
000016 | D. Metric correction to the earlier observation quotient
000017 | Source02:1840-1873 defines a specific profile-free zeta/residue gravitational functional once its geometric operator, reference, domains and continuation are supplied. Adding lambda Q[g] changes that specified functional; it is not automatically an allowed ambiguity of the original source. The earlier normalized-matter quotient theorem remains true for a larger abstract class, but was not an original-source countermodel. The genuine remaining source question is selection of the full off-shell metric/operator/domain/reference family and its gluing normalization. No arbitrary gravitational term is proposed here.
000018 | 
000019 | E. Current-source boundary and next decisive derivation
000020 | CURRENT_SOURCE_AUDIT.txt checks active architecture, 4D, generating-functional, transduction and SK-state original passages against the current Atlas and ledger. P1/P2 are allowed original structural inputs in this audit, not grounds by themselves for rejecting the research target. The required next derivation is from those inputs to a common charged source and the associated source-defined state, event/update map, continuous clock action and geometric variation. A fully declared ordered correlator can evaluate chosen insertions; the missing physical event-to-insertion and geometry-to-operator maps must be supplied by the same original source, not added independently.
000021 | 
000022 | No T1-T8 closure, ledger promotion, empirical claim, full-VOA equivalence or general TFPT impossibility follows. This folder is an experiment-only source-audit record. The original files and scoped proofs, not graph navigation, decide each statement.