TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-paper-source-reconciliation-20261102/ORIGIN-REVIEW.txt
Original file SHA-256: 3279edd7d2efba5f75c48a596f3d12e2f02a8da02706d729a553f09f807a80e4
Inclusive original lines: 1-183
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 | # Origin and architecture corpus reaudit
000002 | 
000003 | 2 November 2026. Read-only audit of the 17 document views assigned in
000004 | `work/corpus_reaudit/assignments.json`, group `origin`. No new theory,
000005 | scientific checker, model, proof run, canonical edit or Atlas mutation.
000006 | The old openness diagnosis was treated as a claim to test.
000007 | 
000008 | ## Outcome for the parent's claims
000009 | 
000010 | The broad description that the original P1 consists only of the number c3,
000011 | with its entire source still to be constructed from that number, must be
000012 | corrected. The original architecture explicitly declares a primitive,
000013 | reflection-positive kernel on one oriented seam with unit winding. It
000014 | separately declares P2 as its five-slot 3+2 readout interface and proves its
000015 | algebraic consequences. Several constructions we approached again already
000016 | exist at precisely that relative compiler scope. Requiring their internal
000017 | clocks to be actively preparable physical gates would change their target.
000018 | 
000019 | This does not turn the compiler papers into a zero-input or complete physical
000020 | TOE derivation. The same original papers explicitly separate their structural
000021 | completion from the raw-seam realization and the strict T1--T8 program.
000022 | Their later updates must be followed rather than reviving each earlier gap
000023 | as an independent present obligation.
000024 | 
000025 | ## Corrections with exact original evidence
000026 | 
000027 | 1. **P1 is a structured source postulate.**
000028 |    `document:tfpt_1_architecture_e8`,
000029 |    `section:1234c1fa7fdc0d6d5b35`,
000030 |    `paper-source:48102e7ac96b665e9a4bf376`, original
000031 |    `documents/tfpt_1_architecture_e8/sections/001-source.tex:68-109`.
000032 |    P1 supplies the oriented primitive RP kernel with [u_Sigma]=1;
000033 |    self-linking fixes c3. P2_interface supplies the 5-slot 3+2 readout;
000034 |    P2_algebra is explicitly the formal consequence. The two source snapshots
000035 |    have the same statement at lines164-205, freshly hash-read through
000036 |    `paper-source:b7d7ec347cb70c53ff7c0b91` and
000037 |    `paper-source:54791a209ad62367f1dc36ae`.
000038 | 
000039 | 2. **Four marks are already derived within the declared topological class.**
000040 |    `script:v216_marks_gauss_bonnet`,
000041 |    `source:0458b7dad754a0c67131:1-43`, full original script read1-131,
000042 |    not executed. Given a flat sphere and Z2 branch points, the cone deficit
000043 |    calculation gives n*pi=4*pi, hence n=4. The source explicitly retains
000044 |    the choice of square pillowcase modulus as the next carrier datum.
000045 |    Thus 'four marks are simply assumed' is wrong in this scope; 'arbitrary
000046 |    RP alone forces four marks' is not what this proof states.
000047 |    Architecture004:32-76, `paper-source:7b58a2b8767cacd98fa2feb4`,
000048 |    records the reduced input list: four marks, one symmetry-lift bit, pi,
000049 |    with the v499 module identification and (U) retained as conditional.
000050 | 
000051 | 3. **The D5/A3/E8 construction is already explicit.**
000052 |    Architecture005:115-131, `paper-source:96d44bf464a6ee451eb8fda3`,
000053 |    identifies the even code with the D5 half-spin weight structure and
000054 |    its affine/scheme symmetry with W(D5), not just matching16/1920.
000055 |    Architecture011:1-248, `paper-source:c78762132ec6de089aef8352`,
000056 |    builds the root blocks and all240 roots, an integral simple-root basis
000057 |    and determinant1. Its A3 normalization and common glue are the specified
000058 |    compiler structures. Failure of a separate same-conformal source
000059 |    embedding does not reopen this lattice construction. The recent
000060 |    meridian/root metric correction is not erased by this audit: the older
000061 |    residue-to-metric inference must keep its corrected joint-closure scope.
000062 | 
000063 | 4. **Native clock algebra does not require physical gate preparation.**
000064 |    `document:note_e8_gaussian_code`,
000065 |    `section:e200cccfccb890e62271`,
000066 |    `paper-source:35c112d3cb7ec970f1acfe5f:90-135` gives actual J and
000067 |    sigma matrices, J^2=-1, sigma^3=1, commutation and lattice preservation.
000068 |    The text says that sigma is simply this explicit matrix in the note;
000069 |    its relation to the order12 clock is an earlier-source relation.
000070 |    `paper-source:52ff03f935efe97b40f7cefb:329-349` explicitly limits the
000071 |    result to finite algebra/information structure. A demand for active
000072 |    same-state actuator realization is additional to this theorem's target.
000073 | 
000074 | 5. **Positive local extension and the seam route were not absent.**
000075 |    Architecture005:65-113, `paper-source:9ea51c45ef95aa398750f1c3`,
000076 |    states the lattice/net commuting square, MMST route, actual local Z2
000077 |    spinor crossed product, integer spin h=1, KLM index result and later
000078 |    source/index/tower witnesses v469/v489/v726/v779/v802. The source
000079 |    narrows rather than simply leaves an untouched full source gap.
000080 |    Original existence and the exact applicability of the continuum package
000081 |    belong to the joint_origin audit. This entry records the positive
000082 |    source chain, not an independently re-proved continuum theorem.
000083 | 
000084 | 6. **The original synthesis already merges the historical open gates.**
000085 |    `document:origin_theory`, `section:888628823bf71f709698`,
000086 |    `paper-source:ee8dec31147a9bb81f8f4426:1-200` describes the historical
000087 |    five structural classes as closed, discharged or merged into
000088 |    SEAM.EQUIV.01 and its MMST route. The ambient measure is explicitly not
000089 |    a second missing dynamics object under its stated BW/seam premises.
000090 |    It calls TFPT closed as a dimensionless compiler and separately marks
000091 |    every full strict-TOE gate T1--T8 open after the5September scope fence.
000092 |    These two statements cannot be collapsed into either 'nothing is
000093 |    derived' or 'full physics is complete'.
000094 | 
000095 | 7. **The spin lift and its limits were already revisited.**
000096 |    `document:...Spinlift_Hauptdokument_2026-09-15_v1.6.10`,
000097 |    `paper-source:6457dd8c9b92763e61254175:44-89` recovers the old
000098 |    rho^4=-I, rho^8=I free-ring construction and explicitly retains its
000099 |    source-identification scope. `paper-source:06f292f28d044227fd6f4510:
000100 |    141-157` supplies a genuine clock/source intertwiner for the stated
000101 |    four-bank candidate and says it is not the internal period6 or Coxeter30
000102 |    clock. The complete scientific bodies of the companion Easy120-241 and
000103 |    Update120-282 were read via `paper-source:60f772b98f5742741efb95d5`
000104 |    and `paper-source:939917fdbbc21fdef4cc2153`. They already state the
000105 |    global ground-state/charged-response theorem and the conditional common
000106 |    reflection selector. Repeating those as newly missing elementary
000107 |    mechanisms is unjustified. Their original source rule remains explicitly
000108 |    a composition assumption of that candidate.
000109 | 
000110 | 8. **Lean algebraic refinement is already closed; its source target is named.**
000111 |    `document:experiments/lean4-carrier-rigidity/note_carrier_rigidity_lean4`,
000112 |    `paper-source:d0ffc1b589f2a2610d522e8a:1-94` and
000113 |    `paper-source:c82de585eeaa32bbd98fa040:95-178`, fully read.
000114 |    V10 closes the backward Stage D direction, v11 removes stale future-work
000115 |    wording and names BoundaryYukawaKernel and SeamWindingData. It explicitly
000116 |    calls the new interface a typed renaming, not a new physical derivation.
000117 |    `paper-source:92d46df848991901f668ac87:89-201` and
000118 |    `paper-source:9ba7a31b91115a0e13c31674:191-238` give the exact remaining
000119 |    analytic/source question. No new Lean run was made. The unbounded Pascal
000120 |    theorem and finite glue classification are already durable reviewed
000121 |    findings in `problem:carrier-pascal-glue-formal-scope`.
000122 | 
000123 | 9. **The old2025 source has a genuine earlier chain, with different premises.**
000124 |    The two assigned Input2 copies are byte-identical, hash
000125 |    6319fe30969bb60479ea4d8733fd2229727f793f2c0b15fc0841389607440d92.
000126 |    `paper-source:b5247b3d7d205baefa746280:365-545` was read, with the
000127 |    second copy checked through `paper-source:b9d7e5dd717a2785c47ef88f`.
000128 |    It derives the topological coefficient using an eleven-dimensional
000129 |    Chern--Simons reduction, integral cohomology forms, minimal intersection
000130 |    n=1 and a declared normalization. Its Mobius fibre curvature fixes6pi
000131 |    under its chosen boundary/curvature normalization. This is available
000132 |    historical source content, not proof from a bare number and not an
000133 |    unqualified replacement for the later P1/P2 kernel formulation.
000134 | 
000135 | ## Additional exact Source45 hypothesis trace requested by root
000136 | 
000137 | These sources are outside the assigned17 and were read only for root's
000138 | specific question, not counted as complete coverage of the QFT family.
000139 | 
000140 | `paper-source:4b1606c7f13b67cb4ff57b0f`, Carrier007:1-394,
000141 | was fully hash-read. Its first determinant theorem starts with
000142 | L2=detE2, L3=detE3 and X=-2P3+3P2 (lines6-16); its proof says
000143 | 'In the weak rank-two sector' (line45). The chain then establishes
000144 | O(1), H0=C2 and cor:bosonic-rank-two at182-201. It is a worked relative
000145 | Higgs/determinant theorem on the retained P2 branch. It does not independently
000146 | select rank2 from an untyped P1 tuple, because that rank and generator
000147 | are used before the corollary.
000148 | 
000149 | `paper-source:c94375d6c6645ae505daa390`, Carrier008:114-270,
000150 | was hash-read. The lowest primitive Yukawa lemma assumes dimE+=2 and the
000151 | actual branch tensor. The carrier theorem uses Gcar=S(U(E-)xU(E+)),
000152 | S+=LambdaevenE and the primitive nonzero(1,1;2,0) wedge component.
000153 | Its scalar top-wedge contraction yields dimE-=3. This is meaningful relative
000154 | to the declared P1/P2 branch. Reusing the old theorem as the complete proof
000155 | of a universal boundary-tuple-to3+2 theorem would require discharging its
000156 | already selected weak rank2/generator and actual Yukawa hypotheses.
000157 | No new countermodel was constructed. Root owns the comparison to later
000158 | revised universal claims.
000159 | 
000160 | ## Coverage and limits
000161 | 
000162 | `inventory.json` lists all17 assigned document IDs and all931 ordered
000163 | document/section associations, including exact original source handles,
000164 | paths, lines and hashes. There are844 distinct section IDs and729 distinct
000165 | hash/span pairs. Content-identical archived copies are retained as views,
000166 | not counted as independent support. Every assigned view was included in
000167 | the scope/chronology comparison and has original source access directly or
000168 | through a hash-identical checked copy.
000169 | 
000170 | `source_reads_03.json` stores46 actual successful source calls plus the
000171 | independently recorded full v216 read. `coverage.json` states, separately
000172 | for every association, whether its registered original range was fully
000173 | read, partially read, or only inventoried/topic-routed. It explicitly sets
000174 | `full_semantic_review_all_sections=false`. In particular, the413-section
000175 | Spinlift collection preserves whole older histories; the audit does not
000176 | claim a fresh line-by-line proof review of all of those historical appendices
000177 | or of every optional group-theory audit. Missing review is not mathematical
000178 | openness. No global absence claim is licensed by this coverage.
000179 | 
000180 | The corpus entry and examples used `scope=all`. Fresh Atlas entry revision
000181 | was e33c3b4794e6a8c12ebba688,118 documents/6876 current sections.
000182 | The generated semantic annotations remain unreviewed navigation. Exact
000183 | original passages above determine the stated corrections.