Find the original argument.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

Matching source sections

403 sections found. Current publication documents are listed before historical material.

=150 2026-08-01 (XXXV) (the seam identification lands ( v622 promoted) — THE PHYSICAL SEAM IS THE CONFORMAL SEAM: the v519 chiral seam kernel is EXACTLY the discrete NS (antiperiodic) chiral mode sum on the 16-site circle, including the even-distance zeros (the flat band IS the NS spectrum; the Ramond sum fails as must-fail control); the four mark-bond midpoints sit EXACTLY at [formula in source] under the site map [formula in source] (no site touches a mark — the v519 ``marks at bond midpoints'' becomes literal geometry); the group dictionary is exact (clock [formula in source] , RP reflections [formula in source] diameter reflections); and the v534 STRADDLE LAW becomes geometry — straddled cuts [formula in source] exactly the through-mark axes; the second v617 bedrock residue closes at the kernel [formula in source] dictionary level, leaving the covering-level identification)

Research changelog · TFPT — Introduction and reading guide

v622_seam_identification.py ( QGEO.SEAMID.01, [formula in source] checks; probe 10/10, SEAM-IDENTIFIED). Mode-sum identity for all [formula in source] with the closed form [formula in source] ; Ramond must-fail; mark midpoints [formula in source] exact; reflection axes [formula in source] with cuts [formula in source] ; through-mark axes [formula in source] the straddled cuts [formula in source] ; v617's bond reflect

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/001-source.tex · lines 339 to 352

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v599_real_structure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v622_seam_identification.py
literal source filename/path in TeX
explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v620_cyclic_n_census.py
literal short identifier uniquely resolves in local script registry
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v622_seam_identification.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v617_seam_cover_forcing.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XXXII) (the interacting gamma slice lands at toy level ( v615 promoted): the gamma battery executed ON the RP-surviving interaction class (the alignment bit [formula in source] , positive coupling, v534) — THE INTERACTING MIRROR FLIP: at the forced twist [formula in source] the mirror state's odd sector is STRICTLY NEGATIVE DEFINITE on every cut and every coupling [formula in source] (bounded away from zero: kill test (3) cannot fire on the surviving class — v608 upgraded from [formula in source] to the full grid); the mark transport exists interacting (kill test (7) does not fire); the odd transfer spectrum stays multiplicity-free; and the dead member has no RP home — the dynamical bit selection and the chirality data CO-LOCATE on the same member)

Research changelog · TFPT — Introduction and reading guide

v615_gamma_toy_interacting.py ( WOIT.GAMMA.TOY.01, [formula in source] checks; probe 11/11, GAMMA-TOY-LANDED). Chiral/mirror parents ( [formula in source] , gap [formula in source] ); v534 survivor anchor reproduced; sector-exact mirror flip (even [formula in source] PD, odd [formula in source] ND, max odd eigenvalue [formula in source] ); [formula in source] convention control; mark transport [formula in source] exa

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/001-source.tex · lines 353 to 368

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v615_gamma_toy_interacting.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v608_gamma_free_slice.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v615_gamma_toy_interacting.py
literal source filename/path in TeX
explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XXXI) (the Gauss–Manin transport round lands ( v614 promoted) — THE DECK STEP IS THE BOUNDARY MONODROMY: transporting the segment cycles along the rigid quarter-rotation loop, the discriminant [formula in source] winds ONCE around [formula in source] and the transported periods factorize EXACTLY, [formula in source] ; at [formula in source] the deck factor is [formula in source] on EVERY sheet (the exponent [formula in source] forced by the puncture count); the canonical transport matrix in the segment basis is EXACTLY [formula in source] — the v613 dictionary [formula in source] is CANONICAL, no conjugator freedom left, and [formula in source] re-derives [formula in source] ; v613's residue F1 closed at the transport level)

Research changelog · TFPT — Introduction and reading guide

v614_transport_deck.py ( QGEO.TRANSPORT.01, [formula in source] checks; probe 12/12, TRANSPORT-CANONICAL). Exact rotation substitution identity; uniform deck [formula in source] across all three omega-sheet rows (must-fail: [formula in source] , [formula in source] ); [formula in source] exact; 25-digit branch-tracked certificates at [formula in source] (dps [formula in source] , max [formula in source] ; [formula in

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 1 to 15

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v614_transport_deck.py
literal source filename/path in TeX
explicit script identifier v614_transport_deck.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v613_canonical_periods.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XXX) (the canonical period normalization lands ( v613 promoted) — THE ANALYTIC BRIDGE CLOSES: the quarter rotation acts DECK-FREE on the four branch segments (all [formula in source] wrap factors exactly [formula in source] ), and the exact dictionary is [formula in source] — [formula in source] EXACTLY, explaining [formula in source] structurally, with the deck power unique; the period rows (hol [formula in source] , hol [formula in source] , antihol [formula in source] ) realize the rotation eigenframe; the Hodge weights are explicit Gamma monomials ( [formula in source] , complex Beta formula); and [formula in source] PER CHARACTER: the compiler polarization is MINUS the analytic Hodge form — Riemann–Hodge positivity realized, v612's named step B5 executed)

Research changelog · TFPT — Introduction and reading guide

v613_canonical_periods.py ( QGEO.PERNORM.01, [formula in source] checks; probe 19/19, PERIOD-NORMALIZED). Deck-free rotation on segments (40-digit certificates) with the must-fail control (raw period rows are NOT [formula in source] -eigenvectors, residual [formula in source] — the naive ansatz falsified before the honest construction); [formula in source] exact with explicit conjugator [formula in source] ; characte

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 16 to 31

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v613_canonical_periods.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v613_canonical_periods.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v612_polarization_frame.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XXIX) (the polarization frame lands ( v612 promoted): the braid rotation has three simple eigenvalues [formula in source] , the polarization [formula in source] diagonalizes EXACTLY in the rotation eigenbasis (values [formula in source] , [formula in source] , [formula in source] ), and THE UNIQUE POSITIVE (HODGE) DIRECTION IS THE PRIMITIVE [formula in source] EIGENSPACE — the analytic Hodge structure and the finite rotation agree on where positivity lives; the canonical period normalization (Beta weights) is the named next step)

Research changelog · TFPT — Introduction and reading guide

v612_polarization_frame.py ( QGEO.POLFRAME.01, [formula in source] checks; probe 9/9, POLARIZATION-FRAMED). Simple spectrum, [formula in source] ; exact diagonalization (honest typing: diagonality follows from J-unitarity, the content is the values and the signature distribution); product of diagonal values [formula in source] exactly. Sync. Ledger row + note on QGEO.PERIODS.01; tfpt_3 (audit block); diary; suite [fo

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 32 to 42

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v612_polarization_frame.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v612_polarization_frame.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-01 (XXVIII) (the periods round lands ( v611 promoted): the analytic layer of the cover is CLASSICAL — all five basic period integrals are exact Beta values with Gamma denominators on the [formula in source] grid ( [formula in source] ); the [formula in source] rotation acts on periods with the exact characters [formula in source] ; [formula in source] exactly; and the cross-factor period ratio admits no low-degree integer relation (PSLQ null) — the two CM factors are period-independent, as the v610 splitting demands)

Research changelog · TFPT — Introduction and reading guide

v611_periods.py ( QGEO.PERIODS.01, [formula in source] checks; probe 6/6, PERIODS-CLASSICAL). Five symbolic Beta identities; three 40-digit rotation-character certificates; the classical [formula in source] -CM period; the PSLQ-null cross-factor consistency; the period dictionary named as the Hodge/RP resource. Sync. Ledger row + note on QGEO.LANDSCAPE.01; tfpt_3 (audit block); diary; suite [formula in source] script

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 43 to 53

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v611_periods.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v611_periods.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v610_curve_landscape.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XXVII) (the curve landscape lands ( v610 promoted): the Jacobian SPLITS into a [formula in source] -CM abelian surface — the field of deck AND marks together — times the [formula in source] -CM elliptic quotient [formula in source] , point-count-confirmed ( [formula in source] exactly for all ten tested [formula in source] mod [formula in source] ); the integer-spectrum census honestly relativizes single-char hits (7894 integer entries — single spectra are cheap; the anchor class is the most frequent nontrivial family at [formula in source] ; the compiler's distinction is the joint structure); two new canonical period resources named)

Research changelog · TFPT — Introduction and reading guide

v610_curve_landscape.py ( QGEO.LANDSCAPE.01, [formula in source] checks; probe 9/9, LANDSCAPE-MAPPED). Differential characters [formula in source] ; splitting confirmed at [formula in source] primes (ten exact zero-differences; surface traces [formula in source] at [formula in source] mod [formula in source] ); [formula in source] for [formula in source] mod [formula in source] ; census: anchor class [formula in sour

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 54 to 65

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v598_cover_dictionary.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v610_curve_landscape.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v610_curve_landscape.py
literal source filename/path in TeX
explicit script identifier v599_real_structure.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XXVI) (the translator factorization lands ( v609 promoted): the geometric identity of [formula in source] is CLOSED — the mirror intertwiner [formula in source] ( [formula in source] ) is unique, unimodular ( [formula in source] ), [formula in source] -integral and [formula in source] -involutive ( [formula in source] exactly), and the v605 element factorizes exactly as [formula in source] with [formula in source] : [formula in source] — all three v605 residuals are now resolved (seam reversal v603, zero-mode rule v607, [formula in source] -identity v609))

Research changelog · TFPT — Introduction and reading guide

v609_translator_factorization.py ( QGEO.CFACTOR.01, [formula in source] checks; probe 8/8, C-FACTORIZATION-LANDED). Intertwiner space 1-dim; [formula in source] ; [formula in source] ; [formula in source] ; [formula in source] exact ( [formula in source] ); [formula in source] reproduces [formula in source] on the pair; honest scope: [formula in source] carries the corpus datum by definition; the v606 arithmetic nega

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 66 to 78

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v605_translator.py
literal short identifier uniquely resolves in local script registry
explicit file citation v609_translator_factorization.py
literal source filename/path in TeX
explicit script identifier v609_translator_factorization.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v606_mode_separation.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v603_seam_marks.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v607_selection_rule.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-01 (XXV) (the free gamma slice lands ( v608 promoted) — the first executed step of the WOIT [formula in source] milestone: mirror modes are STRICTLY OS-negative sector-exactly (every mirror fermion vector has negative OS norm — no mirror survives reconstruction, kill test (3) cannot fire at the free level), the chiral generation is multiplicity-free (clock spectrum exactly [formula in source] ), and the mark transport exists ( [formula in source] is the mark-A [formula in source] B transport, PD — kill test (7) does not fire free); [formula in source] itself stays open on [formula in source] ; side finding: [formula in source] is unipotent mod [formula in source] )

Research changelog · TFPT — Introduction and reading guide

v608_gamma_free_slice.py ( WOIT.GAMMA.FREE.01, [formula in source] checks; probe 9/9, GAMMA-FREE-SLICE-LANDED; the v524 machinery imported read-only). Chiral [formula in source] ; anti-chiral [formula in source] with even [formula in source] PD and odd [formula in source] strictly ND; clock spectrum [formula in source] multiplicity-free on the fermion domain; mark algebras PD [formula in source] with [formula in sour

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 79 to 93

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v608_gamma_free_slice.py
literal short identifier uniquely resolves in local script registry
explicit file citation v608_gamma_free_slice.py
literal source filename/path in TeX
explicit script identifier v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-01 (XXIV) (the selection rule lands ( v607 promoted): the infinity torsion is a genuine [formula in source] space, the deck rotation acts with char [formula in source] mod [formula in source] — EXACTLY ONE projective eigenline, and it IS the top mode; the three modes carry mutually exclusive canonical labels (seam [formula in source] [formula in source] -real, top [formula in source] deck-eigen, zero [formula in source] the only unlabeled) and [formula in source] flips exactly the labeled pair: BOTH v590 demands expressed through cover structure (typed reading; the gate residual is the continuum derivation))

Research changelog · TFPT — Introduction and reading guide

v607_selection_rule.py ( QGEO.SELRULE.01, [formula in source] checks; probe 10/10, SELECTION-RULE-LANDED). [formula in source] -multiplication acts as the identity on the torsion; the induced [formula in source] -action is [formula in source] mod [formula in source] with only fixed class [formula in source] ; [formula in source] irreducible over [formula in source] gives structural uniqueness of the eigenline ( [form

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 94 to 106

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

cross reference join ParityWeightLaws.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v607_selection_rule.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v607_selection_rule.py
literal source filename/path in TeX
explicit script identifier v590_involution_existence.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XXI) (the translator round lands ( v605 promoted): the corpus RP anti-automorphism IS the J-adjoint twisted by an explicit inner element [formula in source] ( [formula in source] is inner, [formula in source] unique up to scale, [formula in source] integral over [formula in source] — the single-sheet negatives resolved, the [formula in source] detour unnecessary); the seam is a NONZERO pure 3-torsion class at infinity (torsion coordinates [formula in source] ); the [formula in source] survives frame-joining as the saturation defect (chain indices [formula in source] , [formula in source] ); the [formula in source] duality certified with a Lean addendum)

Research changelog · TFPT — Introduction and reading guide

v605_translator.py ( QGEO.TRANSLATOR.01, [formula in source] checks; probe 11/11, TRANSLATOR-LANDED). [formula in source] exact (1-dim intertwiner space, [formula in source] invertible); [formula in source] [formula in source] -integral (denominator [formula in source] ); seam lift zero in the free part, [formula in source] in the torsion of [formula in source] ; order chain [formula in source] with indices [formula

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 107 to 124

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit lean symbol CoverEmbedding.lean
exact texttt symbol under explicit Lean/theorem context
explicit lean symbol CoverEmbedding.lean
exact texttt symbol under explicit Lean/theorem context
explicit script identifier v605_translator.py
literal short identifier uniquely resolves in local script registry
explicit lean symbol CoverEmbedding.lean
exact texttt symbol under explicit Lean/theorem context
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit lean symbol CoverEmbedding.lean
exact texttt symbol under explicit Lean/theorem context
explicit lean symbol CoverEmbedding.lean
exact texttt symbol under explicit Lean/theorem context
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation CoverEmbedding.lean
literal source filename/path in TeX
explicit file citation v605_translator.py
literal source filename/path in TeX

=150 2026-08-01 (XX) (the equivariant-order round lands ( v604 promoted): [formula in source] IS an anti-isometry of the polarization ( [formula in source] exact — correcting a diary side remark), [formula in source] restricts to the integer form [formula in source] with [formula in source] ; the four mark frames generate a FULL order of index [formula in source] in [formula in source] ; and the 3-torsion localizes at infinity ( [formula in source] , finite cusps torsion-free): [formula in source] at the marks, [formula in source] at infinity — the integral infinity/order-torsion bridge; translator negatives extended (the [formula in source] -sheet named))

Research changelog · TFPT — Introduction and reading guide

v604_equivariant_order.py ( QGEO.EQORDER.01, [formula in source] checks; probe 12/12, EQUIVARIANT-ORDER-LANDED). Anti-isometry exact; [formula in source] ; all [formula in source] rotated words [formula in source] -integral, joint lattice full rank [formula in source] , Smith divisors [formula in source] ; [formula in source] divisors [formula in source] ; each finite cusp twist torsion-free; three objects share [for

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 125 to 139

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join LorentzCongruence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v604_equivariant_order.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v604_equivariant_order.py
literal short identifier uniquely resolves in local script registry
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

=150 2026-08-01 (XIX) (the seam-and-marks round lands ( v603 promoted): the seam line is a REAL line of the cover (unique common eigenline, [formula in source] -fixed) and [formula in source] reverses it — the v590 seam-reversal demand holds geometrically; the infinity cusp separates in the unreduced Burau module; the first per-mark [formula in source] witness lands ( [formula in source] , class order [formula in source] in the word-order cokernel); the corpus-transpose translator negatives are quantified)

Research changelog · TFPT — Introduction and reading guide

v603_seam_marks.py ( QGEO.SEAMMARKS.01, [formula in source] checks; probe 15/15, SEAM-REAL-LANDED). Seam: [formula in source] , [formula in source] unique, [formula in source] , [formula in source] , [formula in source] ; infinity: unreduced Burau braid relations, invariant column [formula in source] , full twist eigenvalues [formula in source] ; marks: [formula in source] integer restriction, in the word algebra wit

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 140 to 153

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join ParityWeightLaws.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v590_involution_existence.py
literal short identifier uniquely resolves in local script registry
explicit file citation v603_seam_marks.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v603_seam_marks.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XVIII) (the duality-and-forms round lands ( v602 promoted): the J-adjoint exchanges the two parabolic types exactly ( [formula in source] compiler pair); the dictionary completes in the J-projector language (the corpus anchor formula [formula in source] holds verbatim on the curve); Weil positivity holds exactly (the Riemann bilinear relations on the [formula in source] -sheet); the canonical bilinear form [formula in source] is symmetric with [formula in source] ; the v600 integer core is Lean-certified ( FORM.QGEO.04); the contracts paper gains the [formula in source] -cover model paragraph)

Research changelog · TFPT — Introduction and reading guide

v602_duality_forms.py ( QGEO.DUALFORMS.01, [formula in source] checks; probe 17/17, DUALITY-FORMS-LANDED). [formula in source] J-self-adjoint, [formula in source] the exact product reversal, [formula in source] conjugate to the compiler pair; [formula in source] , [formula in source] , [formula in source] , ladder all exact in the J-projector language; Weil-twisted form positive definite ( [formula in source] ); hone

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 154 to 171

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v602_duality_forms.py
literal short identifier uniquely resolves in local script registry
explicit file citation CoverEmbedding.lean
literal source filename/path in TeX
explicit file citation v602_duality_forms.py
literal source filename/path in TeX
explicit script identifier v600_joint_embedding.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-01 (XVII) (the canonicity round lands ( v601 promoted): the J-adapted cusp projectors give a manifestly [formula in source] -equivariant presentation of the pair (mark choice [formula in source] winding choice), which realizes the DUAL parabolic exactly (conjugate to the transposed compiler pair; the direct intertwiner is singular); the v590 Klein four-group lives integrally on the curve; the Weil-twisted RP comparison and the seam identification stay open)

Research changelog · TFPT — Introduction and reading guide

v601_equivariant_dual.py ( QGEO.CANON.01, [formula in source] checks; probe 14/14, EQUIVARIANT-DUAL-LANDED). [formula in source] idempotent rank-1 J-projectors rotating exactly under [formula in source] ; pair family [formula in source] , [formula in source] : [formula in source] -integral, compiler-exact, equivariant by construction; duality: conjugate to [formula in source] exactly (must-fail to [formula in source]

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 172 to 185

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v601_equivariant_dual.py
literal short identifier uniquely resolves in local script registry
explicit file citation v601_equivariant_dual.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join ParityWeightLaws.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v590_involution_existence.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-01 (XVI) (the joint embedding lands ( v600 promoted): the compiler pair [formula in source] is REALIZED on the [formula in source] -cover — a [formula in source] -even degree-2 pair, [formula in source] -integral, seven-word rank [formula in source] , simultaneous conjugation to the compiler pair solved exactly, integer restrictions on the saturated [formula in source] lattice, and saturation index [formula in source] with the exact v566 divisor pattern; canonicity typed open, the gate does not move)

Research changelog · TFPT — Introduction and reading guide

v600_joint_embedding.py ( QGEO.EMBED.01, [formula in source] checks; probe 15/15, JOINT-EMBEDDING-LANDED). The pair [formula in source] , [formula in source] : chars and joint traces compiler-exact ( [formula in source] , [formula in source] , [formula in source] ); seven words independent; explicit invertible [formula in source] with [formula in source] , [formula in source] ; the real structure integer on [formula

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 186 to 203

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit script identifier v566_parabolic_anchor_selfcode.py
literal short identifier uniquely resolves in local script registry
explicit file citation v600_joint_embedding.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v600_joint_embedding.py
literal short identifier uniquely resolves in local script registry
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

=150 2026-08-01 (XV) (the real structure lands ( v599 promoted): the anti-holomorphic [formula in source] reflection on the [formula in source] -cover exists and is unique up to scale with [formula in source] ; its grading functor closes all three dictionary gaps at char level ( [formula in source] , [formula in source] with the anchor spectrum [formula in source] , [formula in source] ); the [formula in source] -decomposition carries [formula in source] , [formula in source] , [formula in source] ; the joint algebra embedding stays open (quantified negative); and the invariant form has [formula in source] — a sheet-diamond determinant-list member — with Lorentz signature [formula in source] )

Research changelog · TFPT — Introduction and reading guide

v599_real_structure.py ( QGEO.REAL.01, [formula in source] checks; probe 18/18, REAL-STRUCTURE-LANDED). Existence and uniqueness of [formula in source] (1-dimensional intertwiner space, [formula in source] exact, four twist intertwinings [formula in source] ); the grading functor [formula in source] locates [formula in source] , [formula in source] (the anchor spectrum) and [formula in source] exactly at char level;

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 204 to 221

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v599_real_structure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v599_real_structure.py
literal source filename/path in TeX

=150 2026-08-01 (XIII) (the cover dictionary reaches THREE exact entries ( v598 promoted): [formula in source] , [formula in source] — the [formula in source] sheet coupling is the diamond-diagonal Gram difference — and the binary AnchorLadder [formula in source] ; the grading half is absent from [formula in source] canonical combinations, with the real structure as the named suspect)

Research changelog · TFPT — Introduction and reading guide

v598_cover_dictionary.py ( QGEO.DICT.01, [formula in source] checks; probe 4/4, DICT-THREE-ENTRIES). All three entries exact (numeric prefilter, symbolic confirmation); supporting structure: opposite-twist products nilpotent, [formula in source] ; negatives quantified ( [formula in source] combinations, [formula in source] matches for [formula in source] / [formula in source] / [formula in source] / [formula in sourc

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 222 to 234

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v598_cover_dictionary.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v598_cover_dictionary.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-01 (XI) (the dictionary's first entry: U IS LOCATED — the winding operator appears as a cusp Gram on the [formula in source] -cover; exploration round, documented as a note on QGEO.COVER.01)

Research changelog · TFPT — Introduction and reading guide

The hit. The cusp Gram [formula in source] has characteristic polynomial [formula in source] exactly — the rank-one winding operator (trace [formula in source] ) as a Gram of a [formula in source] -conjugate cusp twist: the fifth fingerprint. Additional exact structure: opposite-twist products [formula in source] are nilpotent ( [formula in source] ), [formula in source] has spectrum [formula in source] . Honest nega

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 235 to 246

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-01 (X) (Strategy I/II executed: the [formula in source] -cover [formula in source] hits FOUR compiler fingerprints ( v597 promoted) — rank-3 Eisenstein [formula in source] , projective [formula in source] via the deck, cusp-class group [formula in source] of order [formula in source] , and the unique invariant hermitian form of LORENTZ signature [formula in source] matching Paper II's polarization: the first geometric candidate that could close GATE.QGEO and the RP slot with one construction)

Research changelog · TFPT — Introduction and reading guide

v597_mu4_cover_model.py ( QGEO.COVER.01, [formula in source] checks; probe 6/6, FINGERPRINTS-HIT). Genus [formula in source] , five cusps ( [formula in source] ), Chevalley–Weil [formula in source] ; Burau at [formula in source] with verified braid relations, [formula in source] , [formula in source] ; cusp classes [formula in source] , order [formula in source] with the per-mark [formula in source] mechanism ( [form

Opening source excerpt. Formulas and the full argument remain in the original document.

Read the original section Read the paper: Research changelog Read the paper: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/changelog/sections/002-source.tex · lines 247 to 263

These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.

explicit file citation v597_mu4_cover_model.py
literal source filename/path in TeX
explicit script identifier v597_mu4_cover_model.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v572_rp_bit_form.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.

Complete structured registry How source relations are recorded Knowledge and evidence coverage