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.

2026-09-05 (CLVIII): non-RH round 4 — uniform TEL-B norm and explicit T1–T8 boundaries

Research changelog · TFPT — Introduction and reading guide

Five modules graduate as v1026– v1030; the suite grows from 1018 to 1023 modules. Their standalone checks pass [formula in source] . v1026_ telb_ round4_ closure.py ( [formula in source] , native python-flint 0.9.0) executes CF, DG, one-sided CROSS, 512 validated Acb eigensystems, sixteen Fourier modes, all infinite aliases and 154 numerical regressions. With v1022/v1025 inputs it proves [formula in source] at fixed

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 237 to 279

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

cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v1016_state_gap_batteries.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1026_telb_round4_closure.py
literal source filename/path in TeX
explicit file citation v1029_local_tensor_constraints.py
literal source filename/path in TeX
explicit script identifier v1026_telb_round4_closure.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1028_gauss_d4_cap.py
literal source filename/path in TeX
explicit script identifier v1022_telb_round3_certificates.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v1025_telb_c1_c2a_certificates.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v1030_alg2_sector_frame.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v1006_mmst_lemma_battery.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1027_signed_det_car_wall.py
literal source filename/path in TeX
explicit script identifier v649_discipline_audit.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1030_alg2_sector_frame.py
literal source filename/path in TeX

=150 2026-09-05 (CLVII) (non-RH T1–T8 Round 3 graduates as v1022– v1025; suite [formula in source] , ledger rows [formula in source] through six narrow subcontracts; [formula in source] module checks; NO marker move; TFPT.TOE.COMPLETE.01 and every T1–T8 gate remain ). v1022_ telb_ round3_ certificates.py ( [formula in source] ; native python-flint==0.9.0, 256-bit Arb/Acb) replaces the float/Richardson TEL-B input by 5812 rational cells and the exact cut jump, proving [formula in source] and [formula in source] . Together with the stated analytic digamma/midpoint lemmas, its executable Arb arithmetic gives [formula in source] , [formula in source] and [formula in source] ; full C2b remains open exactly at CF [formula in source] and DG [formula in source] . Its exact one-mode [formula in source] countermodel refutes the former ALG2 Vandermonde-to-generated-algebra implication: FE-GEN or an exact gauge/code-projected microscopic-algebra theorem is still required, and ALG1 remains conditional on the generated projection. v1025_ telb_ c1_ c2a_ certificates.py ( [formula in source] ; native 100-bit Arb/Acb) executes the existing analytic C1/C2a proofs: [formula in source] and [formula in source] for every even [formula in source] . v1023_ derivative_ filtered_ wall.py ( [formula in source] ) proves only the finite quasi-free singular-value block: the high continuation branch is separated, but the bare [formula in source] subspace is not invariant, the low branch has [formula in source] rather than a Weyl cone, and no DET16/DET32, interacting-parent, measure/anomaly/index or [formula in source] D theorem follows. v1024_ parent_ internal_ boundaries.py ( [formula in source] ) supplies finite parent-internal T6–T8 witnesses and no-gos: a positive seam/neutrino-pair intertwiner with projective full-Fock [formula in source] lift but no mass texture; the uniform-gap and direct-TT locality obstructions but no graviton; and a gapped internal [formula in source] cap that is chosen, [formula in source] -breaking and complement-trivial, hence no global [formula in source] . T1 retains only finite axiom-core/W-bridge support while unconditional provenance and the dimension selector remain open; T3 remains at Hamiltonian-class level; T5 retains finite IR witnesses and the v1020 spectator obstruction while prime completion, OS reconstruction, confinement and scattering remain open. The common missing object is still one shared [formula in source] D parent satisfying T3–T8. Native-only handling is explicit in the website reproducer; v1022/v1025 are not represented as Pyodide certificates. NO RH CLAIM. Surfaces: tfpt_research_contracts, tfpt_4_frontier, introduction, tfpt_2_standard_model, the MMST article/PDF, ledger, generated verification maps/index, website paper/DAG/gap/FAQ mirrors and changelog.

Research changelog · TFPT — Introduction and reading guide

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 280 to 280

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

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

=150 2026-09-04 (CLIV) (TEL-B reduction absorbed into the SEAM.MMST.TYPEIII.CHARGED.01 contract text and ledger row; NO marker move, status stays ). The standalone note articles/2026-09-04/telb_bound_b_sketch.tex is superseded and removed: the contract is now the single home. Cover identity [formula in source] sawtooth split [formula in source] ; bound (A) certified numerically for all [formula in source] ( [formula in source] , all-mode BV, one float64 TV constant); bound (B) reduced to [formula in source] (measured [formula in source] ), open items C1/C2a/C2b. Residual restated as TEL-B-EXTERNAL (2026-09-04 reduction); the [formula in source] dyadic-increment route is superseded (measured [formula in source] at r645, no longer the route). Numerically [formula in source] , conditional analytic [formula in source] ; analytically open. Evidence (experiments, not veri-citable): mmst_telb_trace_decomposition_probe.py, mmst_telb_cover_split_probe.py, mmst_telb_bound_a_probe.py ( [formula in source] ), mmst_telb_bound_b_probe.py ( [formula in source] , G18–G20 open by design). Surfaces: tfpt_research_contracts (new TEL-B reduction subsection); ledger row claim text only; website changelog.ts regenerated.

Research changelog · TFPT — Introduction and reading guide

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 281 to 281

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

explicit file citation mmst_telb_cover_split_probe.py
literal source filename/path in TeX
explicit file citation mmst_telb_bound_a_probe.py
literal source filename/path in TeX
explicit file citation mmst_telb_trace_decomposition_probe.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation mmst_telb_bound_b_probe.py
literal source filename/path in TeX

=150 2026-08-31 (CXLIX) (Monday-morning harvest — axiom-core closure [formula in source] state/gap batteries graduate as v1015– v1016; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1014, engine still DEFERRED_NO_ENGINE). (1) v1015_ axiom_ core_ closure.py ( [formula in source] ): character-blind P-dem response DERIVED — [formula in source] exactly at collar sizes [formula in source] and [formula in source] , democracy residual [formula in source] ; mutants split [formula in source] and [formula in source] . Together with P-anch (v1014) BOTH W-bridge premises are derived at finite level; the axiom-core remainder is ZERO modulo the externalized MMST identification. AX.P2.01 stays an axiom (finite shadows; continuum identification is the same external leg). T1 note on TFPT.TOE.COMPLETE.01: the structure-postulate route is now fully premise-supported at finite level. (2) v1016_ state_ gap_ batteries.py ( [formula in source] ): [formula in source] seam-modular cap is the unique finite-level non-entropic selector ( [formula in source] , SK RMS [formula in source] , [formula in source] saddle preserved; finite-proxy caveat; FTRANSFER.SK.RHO0.01 stays ). TEL-B certified-tail BLOCKED ( [formula in source] [formula in source] , UV-supported remainder); strictly smaller external target [formula in source] with factor- [formula in source] measured headroom; [formula in source] -uniform CAR nuclearity PROVED ( [formula in source] ) as ALG specialist input; ALG-EXH unchanged ( SEAM.MMST.TYPEIII.CHARGED.01 stays ). DFP volume-uniform gap cited-verified for [formula in source] open chains ( [formula in source] , [formula in source] ); dynamical-link leg closed at that level; remaining rotor/wall/ [formula in source] D ( CHIRAL4D.MIRROR.DET16.01 stays ). Surfaces: tfpt_research_contracts executed-update paragraphs (five items [formula in source] L1 nuclearity note); tfpt_4_frontier [formula in source] introduction Monday-morning note; MMST handoff HTML update-2026-08-31 block; website papers.ts / VerificationDag.

Research changelog · TFPT — Introduction and reading guide

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 282 to 283

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 v1015_axiom_core_closure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v1016_state_gap_batteries.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v1014_bridge_refinements.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1015_axiom_core_closure.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1016_state_gap_batteries.py
literal source filename/path in TeX

=150 2026-08-30 (CXLVIII) (late-evening harvest — thermodynamic-dynamics theorem [formula in source] detline/W-bridge refinements graduate as v1013– v1014; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1012, engine still DEFERRED_NO_ENGINE). (1) v1013_ thermodynamic_ dynamics.py ( [formula in source] ): the mandatory-dynamics leg of QFT4D.LATTICE.FUNDAMENTAL.01 is CLOSED at Hamiltonian-class level. Cited articles/ 2026-08-30/ tfpt_ thermodynamic_ dynamics_ en.tex/ .pdf: uniform Lieb–Robinson bound [formula in source] , [formula in source] , [formula in source] , [formula in source] , [formula in source] ; norm-convergent [formula in source] ; gauge-invariant quasilocal [formula in source] (Gauss caveat resolved on the invariant subalgebra); existence of ground and [formula in source] -KMS states. Numeric twin: measured [formula in source] proved bound; analytic finite-volume bound dominates nested differences at buffers [formula in source] ; [formula in source] mutant ratio [formula in source] ; Gauss-positive control commutes, violating embedding has commutator norm [formula in source] . Remaining: phase uniqueness, limit gap, IR universality. Decision typing UNCHANGED. (2) v1014_ bridge_ refinements.py ( [formula in source] ): finite detline restriction isomorphism VERIFIED ( [formula in source] constancy [formula in source] , conjugation covariance exact, [formula in source] / mirror [formula in source] ); orientation fixes only the conjugate branch ( [formula in source] ); the residual constant [formula in source] is the [formula in source] reference normalization — recorded on ALPHA.QUILLEN.EXACT.01. W-bridge: P-anch DERIVED ( [formula in source] via the winding lock); P-dem PARTIAL (the [formula in source] average annihilates the nontrivial character space); missing object [formula in source] the character-blind determinant-response map — the same MMST/Quillen externalized leg as TEL-B/ALG-EXH/P1. AX.P2.01 stays an axiom. Convergence: every remaining axiom-core and continuum gap now runs through ONE externalized theorem. Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier [formula in source] introduction late-evening note; website papers.ts / VerificationDag.

Research changelog · TFPT — Introduction and reading guide

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 284 to 285

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

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

=150 2026-08-30 (CXLVII) (evening TOE-gate wave — four executed witnesses graduate as v1012; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1011). v1012_ toe_ gate_ witnesses.py ( [formula in source] ): T5 IR universality on the physical QWZ edge — [formula in source] (limit [formula in source] ), clustering dichotomy [formula in source] vs power-law exponent [formula in source] , Lieb–Robinson cone [formula in source] with leakage [formula in source] , cubic curvature [formula in source] with volume; TYPED SPLIT: gauge holonomy [formula in source] seam clock are not propagating modes, so the common- [formula in source] test needs dynamical gauge excitations. T8 [formula in source] eight-candidate table ALL unique; hard sectors kill the SK response ( [formula in source] ); every response-alive set is exactly [formula in source] even without [formula in source] — entropic-proximity selection is VACUOUS at finite level; verdict NO_SET_WORKS with the double diagnosis; binding requirement [formula in source] a non-entropic principle (Euclidean-cap / orientation-branch). T6 [formula in source] six-fold NULL: six pre-declared D4-odd candidates, all parity-checked, all NULL (five at [formula in source] ; [formula in source] is [formula in source] too large); the [formula in source] cancellation requires the true [formula in source] D functional — third and final scaffold-level nu-mechanism bound this week. T7 interacting TT: conserved interaction-complete lattice stress [formula in source] , TT spectral positivity exact, sum rules [formula in source] , dominant positive- [formula in source] pole persists under [formula in source] (gapped); [formula in source] trend [formula in source] suppressed [formula in source] / [formula in source] enhanced [formula in source] ; free analytic match. Missing: TFPT content, [formula in source] volume scaling, Ward identities. Ledger notes only on TFPT.TOE.COMPLETE.01, FTRANSFER.SK.RHO0.01, FLAV.NU.TEXTURE.MECHANISM.01, GRAV.SPIN2.EMERGENCE.01 (all stay ). Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier [formula in source] introduction evening-wave note; website papers.ts / VerificationDag.

Research changelog · TFPT — Introduction and reading guide

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 286 to 287

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

explicit script identifier v1011_3p1d_ladder_battery.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 v1012_toe_gate_witnesses.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 v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1012_toe_gate_witnesses.py
literal source filename/path in TeX

=150 2026-08-30 (CXLVI) (afternoon harvest — simplicity campaign [formula in source] [formula in source] D ladder graduate as v1010– v1011; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1009). (1) v1010_ simplicity_ bridge_ census.py ( [formula in source] ): derivation matrix over four frozen seeds, unique remainder min [formula in source] ; anchor [formula in source] is not among the three declared Milnor maps; [formula in source] four novel candidates NULL. Bridge [formula in source] CANONICAL — the bit-selector ladder forces [formula in source] and family [formula in source] forces [formula in source] column sums [formula in source] ; [formula in source] 's carrier-looking [formula in source] is inherited from [formula in source] column [formula in source] , not inserted (the v1005 circularity flag is corrected as forced provenance). Bridge [formula in source] CHOICE-but-conditionally-unique: spectrum [formula in source] alone has [formula in source] solutions; democratic-image [formula in source] carrier-anchor kernel leave exactly the corpus shift (count [formula in source] ); remaining obligation [formula in source] seam-geometric derivation of those two directional premises. Milnor strong all-structure bridge NONEXISTENT at [formula in source] (clock [formula in source] vs [formula in source] , CP rank [formula in source] vs [formula in source] ) and at every upstairs home ( [formula in source] , Gaussian [formula in source] , affine); only the coarse [formula in source] -module [formula in source] pairing bridge exists (witness constructed; [formula in source] , [formula in source] ). Ring-internal identities of v1004 (rank clock, socle CP, self-clock) unaffected. SEAM.MILNOR.LOCALRING.01 stays \ (canonical status SHARPENED); AX.P2.01 stays an axiom (pencil rehabilitated, W premises remain). (2) v1011_ 3p1d_ ladder_ battery.py ( [formula in source] ): B6–B9 compressed — minimal [formula in source] D viable (exact Gauss [formula in source] , confinement [formula in source] vs [formula in source] , exact in-face isotropy, [formula in source] ); exact tree-fixing [formula in source] with tree-independence [formula in source] ; DET survives coupling; back-reaction; periodicity restores holonomy [formula in source] ; charged channels [formula in source] at weak [formula in source] ; charge- [formula in source] control matches B8 to [formula in source] ; [formula in source] collapses above [formula in source] . BINDING: the matching point of the coupling functional must sit in the deconfined/weak regime. QFT4D.LATTICE.FUNDAMENTAL.01 Decision typing UNCHANGED (Kronecker limitation removed); GAUGE.DETLINE.FIXPOINT.01 stays \ with the matching-scale constraint recorded. Surfaces: tfpt_research_contracts executed-update paragraphs (MILNOR sharpening, P2 rehabilitation, QFT4D ladder, DETLINE matching-scale); tfpt_4_frontier [formula in source] introduction afternoon note; website papers.ts / VerificationDag.

Research changelog · TFPT — Introduction and reading guide

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 288 to 289

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 v1009_rho0_minimizer.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v1004_milnor_frobenius_gray.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1010_simplicity_bridge_census.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v1010_simplicity_bridge_census.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1011_3p1d_ladder_battery.py
literal source filename/path in TeX
explicit script identifier v1011_3p1d_ladder_battery.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v1005_relative_pencil_bridges.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-30 (CXLV) (review wave 7 — four exploration strands graduate as v1006– v1009: the MMST lemma battery, the DET16 stability battery, the [formula in source] D master-object assembly scaffold, and the [formula in source] constrained minimizer; suite [formula in source] , ledger [formula in source] no new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1005). (1) v1006_ mmst_ lemma_ battery.py ( [formula in source] ): five lemmas in-house on SEAM.MMST.TYPEIII.CHARGED.01 \ — L3 crossed-product; UGF [formula in source] (measured plateau [formula in source] , max measured [formula in source] [formula in source] at [formula in source] ); TEL-a [formula in source] with exact isometries ( [formula in source] , measured envelope [formula in source] ); integer D5+A3 pairings; [formula in source] outerness in the limit [formula in source] finite-inner correction. Residual boxed: TEL-B-EXTERNAL (Hankel [formula in source] ; HS remainder sourced from the paper max [formula in source] / fit [formula in source] / v998 bound [formula in source] , not recomputed) [formula in source] ALG-EXH (two Buchholz–Verch estimates). Display stays . Cited articles/2026-08-30/mmst_charged_scaling_limit_en.tex ( [formula in source] pp) [formula in source] externalization_mmst_handoff_v2_en.html. (2) v1007_ det16_ stability_ battery.py ( [formula in source] ): T1/T2 proved (v1002); T3 Michalakis–Zwolak cited-verified (LTQO, [formula in source] , gap [formula in source] ). Counting line [formula in source] ; [formula in source] closing scan through [formula in source] ; dynamical [formula in source] uniquely gapped (full-probe min [formula in source] pinned; compressed suite). SW [formula in source] ; [formula in source] bounded. [formula in source] boxed (ordinary hopping not block-diagonal); BDL boxed (no volume-uniform gap remainder). CHIRAL4D.MIRROR.DET16.01 stays ; CHIRAL4D.NOMIRROR.01 unmoved. Cited articles/2026-08-30/det16_mirror_gap_theorem_en.tex. (3) v1008_ master_ assembly_ scaffold.py ( [formula in source] ): [formula in source] D master-object scaffold-coherent — combinatorial [formula in source] ; frozen-link [formula in source] , [formula in source] ; unique-contractive [formula in source] ; QWZ wall slope [formula in source] , DET gap [formula in source] through [formula in source] ; assembly [formula in source] [formula in source] , clock [formula in source] . [formula in source] spaces [formula in source] / [formula in source] out of suite. Decision QFT4D.LATTICE.FUNDAMENTAL.01 and GAUGE.DETLINE.FIXPOINT.01 \ unmoved. (4) v1009_ rho0_ minimizer.py ( [formula in source] ): finite uniqueness of the KMS compression (Klein); Hessian strictly positive; centre dim [formula in source] ; identity [formula in source] . TYPED: V1000_CONSEQUENCE_MISMATCH (compression kills the SK response vs frozen contrast [formula in source] ) [formula in source] CENTER_FLATNESS_PREMISE_FALSE. Canonical formula needs a weaker admissible set. FTRANSFER.SK.RHO0.01 stays . Surfaces: tfpt_research_contracts executed-update paragraphs; tfpt_4_frontier wave-7 paragraph; introduction status card; website papers.ts / VerificationDag.

Research changelog · TFPT — Introduction and reading guide

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 290 to 291

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
explicit file citation v1006_mmst_lemma_battery.py
literal source filename/path in TeX
explicit script identifier v998_seam_modular_closure.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1008_master_assembly_scaffold.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 file citation v1007_det16_stability_battery.py
literal source filename/path in TeX
explicit script identifier v1009_rho0_minimizer.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1009_rho0_minimizer.py
literal source filename/path in TeX
explicit script identifier v1002_spin10_mirror_projector.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v1006_mmst_lemma_battery.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v1005_relative_pencil_bridges.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-30 (CXLIV) (review wave 6 — two exploration probes graduate as v1004– v1005 plus two registrations and display corrections: the Milnor–Frobenius–Gray finite algebra, the circularity-flagged relative pencil, the local-ring identification contract, the Weinberg–Witten spin-2 firewall, and honest rest/SM/gravity wording; suite [formula in source] , ledger [formula in source] : two new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1003). (1) v1004_ milnor_ frobenius_ gray.py ( [formula in source] ): CLASSICAL (cite, no claim) — Milnor algebra of [formula in source] dimension [formula in source] , spectral numbers [formula in source] [formula in source] exponents [formula in source] . NEW-IN-CORPUS EXACT -finite: rank clock [formula in source] table-sum [formula in source] ; [formula in source] ; self-clock iff [formula in source] ; [formula in source] unique among ordered spherical triples; Galois–Gray [formula in source] (binary Gray order [formula in source] ); CP [formula in source] socle/Frobenius; integral dual-number bridge [formula in source] free rank [formula in source] over [formula in source] , basis-dependent. INTERPRETIVE : [formula in source] . Mutants: [formula in source] [formula in source] ; [formula in source] self-clock survives but exponents fail; wrong socle rank [formula in source] . NEW ledger row SEAM.MILNOR.LOCALRING.01 : required canonical geometric/mechanical identification of the raw seam collar / [formula in source] transition bus with [formula in source] preserving dual-number action, Frobenius pairing, Gray torsor, deck action and CP (rank clock and socle-CP as outputs); kill [formula in source] second inequivalent identification or [formula in source] -equivariance failure; currently \ because Milnor algebra [formula in source] exponents are classical and the corpus map is unproven. (2) v1005_ relative_ pencil_ bridges.py ( [formula in source] ): EXACT -finite Hankel [formula in source] [formula in source] Jacobi spec [formula in source] diag [formula in source] (v106/v119) and winding spec [formula in source] [formula in source] fixed plane (v4). EXACT BUT CIRCULARITY-FLAGGED : unique [formula in source] , [formula in source] , factorisation [formula in source] , CM [formula in source] , dual number mod [formula in source] , index [formula in source] SNF [formula in source] — BUT carrier [formula in source] already sits in the column sums of [formula in source] and [formula in source] : NOT a P2 selector until [formula in source] , [formula in source] , [formula in source] are derived from seam geometry independently; AX.P2.01 typing UNCHANGED. INTERPRETIVE : Klein-four SNF [formula in source] only after [formula in source] (side-blind nulls v521, not a theorem). Mutants: [formula in source] fails; perturbed [formula in source] breaks factorisation; [formula in source] breaks Hankel. (3) registrations (no marker moves). NEW GRAV.WEINBERG.WITTEN.01 : binding firewall BEFORE any spin-2 marker move — the microscopic Hamiltonian family must NOT possess a fundamental Lorentz-covariant local conserved [formula in source] ; Lorentz, diffeomorphism Ward identities and the spin-2 mode must emerge in the SAME IR limit; acceptance [formula in source] positive TT density, two helicities, massless pole, emergent diff Ward, universal soft coupling, named evaded Weinberg–Witten premise; kill [formula in source] microscopic covariant local [formula in source] together with a massless composite spin-2 claim; child of T7, cross-link GRAV.SPIN2.EMERGENCE.01 (not back). (4) display corrections (honest wording, no claim changes). Status-at-a-glance: compiler rest [formula in source] now sits NEXT TO the strict-physical-TOE rest (ten-component [formula in source] / eight TFPT.TOE.COMPLETE.01 gates, one line). SM completeness retyped: the discrete Standard-Model structure (charges, families, flavor operators) is derived under the axioms; [formula in source] D existence, chiral measure, mirror gap, couplings and neutrino dynamics are open. Gravity display: ``parameter-free'' headlines replaced by ``the classical covariant field equation carries no free dimensionless Newton coupling under the named QFT/entanglement premises ''. Surfaces: tfpt_research_contracts (new sections MILNOR.LOCALRING, WEINBERG.WITTEN; SPIN2 firewall note; T7 child; v358/v359 keybox titles); tfpt_4_frontier wave-6 paragraph; introduction status card [formula in source] SM/gravity lines; tfpt_2 gravity heading [formula in source] conclusion; website StatusMatrix / WhatTfptClaims / ClaimStack / GravityEmergence / OpenGates / VerificationDag.

Research changelog · TFPT — Introduction and reading guide

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 292 to 293

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

explicit script identifier v119_review_validation_2.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 v4_flavor_matrix.py
literal short identifier uniquely resolves in local script registry
cross reference join AnchorLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v1003_nu_structural_nulls.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v359_grav_nonlinear_einstein.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
cross reference join YukawaPrimitive.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v1005_relative_pencil_bridges.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1004_milnor_frobenius_gray.py
literal source filename/path in TeX
explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v1004_milnor_frobenius_gray.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v106_review_validation.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1005_relative_pencil_bridges.py
literal source filename/path in TeX
explicit script identifier v521_seam_bit_rp_blind.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-29 (CXLIII) (review wave 5 — two exploration probes graduate as v1002– v1003 plus three registrations: the DET16 finite-cluster hit, the two neutrino-texture structural nulls, the master scaling-limit theorem SEAM.MMST.TYPEIII.CHARGED.01, the gauge-stiffness step-scaling divergence, and the holomorphic-KMS document; suite [formula in source] , ledger [formula in source] : three new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v1001). (1) v1002_ spin10_ mirror_ projector.py ( [formula in source] ): DET16 rank-one projector on the full [formula in source] cluster — [formula in source] , [formula in source] , defect [formula in source] ; [formula in source] hermitian idempotent [formula in source] , rank [formula in source] ; [formula in source] spectrum [formula in source] , gap exactly [formula in source] ; all [formula in source] [formula in source] Fock commutators [formula in source] ( [formula in source] ); parity commutator [formula in source] ; [formula in source] and [formula in source] singlets. Hopping stability on the [formula in source] -mode analogue: gap [formula in source] ( [formula in source] clusters) / [formula in source] ( [formula in source] clusters) at [formula in source] ; spectators untouched. NEW ledger row CHIRAL4D.MIRROR.DET16.01 Candidate \ (exact finite-cluster gapping; open: dynamical gauge fields, domain-wall geometry, [formula in source] D volume theorem). (2) the Casimir kill, permanent. Number-preserving Casimir projector uniqueness fails at every cluster size: one [formula in source] (none at [formula in source] ); [formula in source] half-filling multiplicity [formula in source] ; [formula in source] (exact Weyl alternation, [formula in source] ). Ledger note on CHIRAL4D.NOMIRROR.01: number-preserving Casimir projector route excluded; display stays . (3) v1003_ nu_ structural_ nulls.py ( [formula in source] ): charged-sector data [formula in source] , [formula in source] ; Schur-texture NULL — all [formula in source] preregistered [formula in source] fail, D4 reflection forces [formula in source] , hierarchy [formula in source] structurally unreachable from D4-even seam data, required [formula in source] matches none of [formula in source] comparators; orientation-doubling structure theorem — [formula in source] odd sector generically lifts the degeneracy (exact rational witness); scale NULL — [formula in source] fail, required cancellation [formula in source] not supplied, [formula in source] -branches isospectral. NEW ledger row FLAV.NU.TEXTURE.MECHANISM.01 : both nulls are binding constraints (mechanism must be D4-odd AND supply a [formula in source] even-odd cancellation; pure seam data excluded -typed). FLAV.NUSCALE.05/ .06 notes only; candidates unmoved. (4) registrations (no marker moves). NEW SEAM.MMST.TYPEIII.CHARGED.01 : ONE scaling-limit theorem [formula in source] strongly on the finite-energy core [formula in source] crossed-product continuity, from which [formula in source] , [formula in source] , type III [formula in source] , unique rotational KMS, unique CE, deck equidistribution and modular invariance follow as corollaries; children SEAM.SIMPLECURRENT.GENERATOR.01, SEAM.STATE.RPMIXING.01 continuum, ALPHA.QUILLEN.EXACT.01 rigidity, AX.P1.01 reading (listed on the parent, not back). Cited document articles/2026-08-29/holomorphic_kms_extension_en.tex ( [formula in source] pp): unconditional rotational-KMS uniqueness via KLM [formula in source] Longo–Tanimoto GIVEN the identification; P1 [formula in source] theorem-conditional on seam identification [formula in source] [formula in source] ; axiom typing UNCHANGED. GAUGE.DETLINE.FIXPOINT.01: mechanism executed at fixed volume (unique fixed point, contraction [formula in source] , exact [formula in source] and [formula in source] Dynkin ratio [formula in source] ) BUT the preregistered thermodynamic step-scaling [formula in source] is DIVERGENT ( [formula in source] oscillates [formula in source] , [formula in source] at [formula in source] ); typed hurdle: the [formula in source] D toy has no plaquette self-interaction, the real contract needs [formula in source] D; display stays . [formula in source] boundary note: unit choice closed; dimensionless hierarchies [formula in source] remain predictive obligations. Surfaces: tfpt_research_contracts (new sections MIRROR.DET16, TYPEIII.CHARGED, NU.TEXTURE.MECHANISM; DETLINE stiffness update; NOMIRROR Casimir kill); tfpt_4_frontier wave-5 paragraph; tfpt_2 (texture-mechanism note); introduction status card [formula in source] hierarchy sentence.

Research changelog · TFPT — Introduction and reading guide

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 294 to 295

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
explicit script identifier v1001_nu_pentagon_chain.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v1002_spin10_mirror_projector.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1003_nu_structural_nulls.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 v1003_nu_structural_nulls.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1002_spin10_mirror_projector.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

=150 2026-08-29 (CXLII) (review wave 4 — four exploration probes graduate as v998– v1001 plus the lattice-fundamental quasilocal-family amendment, the [formula in source] closed-metrology retype, the ALPHA.QUILLEN relative-determinant note, and the master contract TFPT.TOE.COMPLETE.01; suite [formula in source] , ledger [formula in source] : two new rows, existing contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v997). (1) v998_ seam_ modular_ closure.py ( [formula in source] ): two-edge HS remainder bounded by [formula in source] on the frozen plateau [formula in source] ; lattice character [formula in source] EXACT four orders [formula in source] ; [formula in source] as Eisenstein series, [formula in source] -expansion match to [formula in source] orders exact (Jacobi identity; the reviewer's C7 sharpening); [formula in source] numeric transform at [formula in source] digits with [formula in source] -weight bookkeeping. Ledger notes on SEAM.EQUIV.MMST.01 and SEAM.SIMPLECURRENT.GENERATOR.01: C7 arithmetic shadow now exact; net-level C7 stays cited/open. (2) v999_ weak_ collision_ hp.py ( [formula in source] ): the continuous-time dilation leg — generator extraction Richardson [formula in source] ; [formula in source] symbolic; [formula in source] exact; GNS splitting defect [formula in source] ; locality [formula in source] ; strong-collision singularity contrast rank [formula in source] . DYN.UNITARY.DILATION.01: the finite ladder is now COMPLETE (discrete/kernel/field-free/interacting-classical/quantum-coupled/continuous-time); open [formula in source] the thermodynamic field limit only; contract stays . (3) v1000_ spin2_ sk_ witnesses.py ( [formula in source] ): lattice graviton — positivity exact, [formula in source] TT helicities at all [formula in source] momenta ( [formula in source] ), [formula in source] exact; SK — KMS/FDT [formula in source] , [formula in source] -dependence contrast [formula in source] vs static [formula in source] , saddle [formula in source] -fold degenerate with [formula in source] unique in the [formula in source] lift . GRAV.SPIN2.EMERGENCE.01 quadratic Hamiltonian half executed; FTRANSFER.SK.RHO0.01 mechanism executed; both contracts stay . (4) v1001_ nu_ pentagon_ chain.py ( [formula in source] ): [formula in source] inventory theorem; misalignment [formula in source] ; pentagon double hit [formula in source] frozen, all three measured angles [formula in source] (honest max pull [formula in source] ) at [formula in source] , unique LEE survivor [formula in source] ; v3 chain SHA-16 a4c28732fa687620 with [formula in source] eV, [formula in source] meV, [formula in source] meV, [formula in source] ; v270– [formula in source] tension [formula in source] TYPED; census null [formula in source] . NEW ledger row FLAV.NUSCALE.06 Candidate \ (pentagon-class misalignment; mechanism [formula in source] the [formula in source] -to-flavor operator ; kills DESI/DUNE [formula in source] vs [formula in source] /JUNO). NO seesaw closure; FLAV.NUSCALE.05 unmoved. (5) Amendments (typed; no marker moves). QFT4D.LATTICE.FUNDAMENTAL.01: a single finite box is not a world — the fundamental object is the quasilocal consistent family [formula in source] with [formula in source] ; continuum ( [formula in source] ) optional, thermodynamic limit and controlled IR universality mandatory (dated 2026-08-29). ANCHOR.VGEO.01/ .02: display retyped from open-physics/primitive phrasing to CLOSED METROLOGY STRUCTURE ( [formula in source] unit torsor; one dimensionful calibration necessary by dimensional analysis — No-Unit v153/ v725); display stays , no physical . ALPHA.QUILLEN.EXACT.01: the correct object is the relative determinant [formula in source] ; BFK [formula in source] is [formula in source] -independent at fixed cut number so [formula in source] — no physical compensation (consistent with COMPENSATION_INTERNAL). NEW master contract TFPT.TOE.COMPLETE.01 : eight gates T1–T8 with the binding separation [formula in source] vs [formula in source] AND independent holdouts; every existing [formula in source] D/dilation/detline/SK/flavor/gravity contract is a child of one gate. Surfaces: tfpt_research_contracts (executed-update paragraphs at MMST/SIMPLECURRENT, DILATION, GRAV.SPIN2, SK.RHO0; new sections TOE.COMPLETE and NUSCALE.06; lattice-fundamental amendment; ALPHA relative-det note); tfpt_4_frontier [formula in source] introduction status card / [formula in source] row; tfpt_2 (NUSCALE.06 candidate paragraph).

Research changelog · TFPT — Introduction and reading guide

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 296 to 298

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

explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit file citation v999_weak_collision_hp.py
literal source filename/path in TeX
explicit script identifier v997_spin2_smg_witnesses.py
literal short identifier uniquely resolves in local script registry
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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1000_spin2_sk_witnesses.py
literal source filename/path in TeX
explicit script identifier v9_neutrino_texture.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v998_seam_modular_closure.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
explicit file citation v998_seam_modular_closure.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v270_pmns_jarlskog_assembly.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v725_phys_vgeo_torsor_audit.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1001_nu_pentagon_chain.py
literal source filename/path in TeX
cross reference join YukawaStageDExistence.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
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
cross reference join tfpt_readouts.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 script identifier v1001_nu_pentagon_chain.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-28 (CXLI) (the completeness wave — four exploration probes graduate as v994– v997 (suite [formula in source] , ledger [formula in source] : eight contract rows updated, NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v993). (1) v994_ mmst_ criteria_ battery.py ( [formula in source] ): [formula in source] of [formula in source] MMST identification criteria executed -measured — measured [formula in source] (16 Majorana copies), conformal edge spectrum [formula in source] , current normalisation [formula in source] , sector collapse [formula in source] , and the flagship: [formula in source] /GSO-projected lattice character sums reproduce the [formula in source] vacuum character [formula in source] three orders deep; C6 is now written out in articles/2026-08-28/psi_lambda_convergence_theorem_en.tex (analytic log coefficient [formula in source] vs measured [formula in source] , [formula in source] ); C7 modular invariance stays cited/open. Ledger notes on SEAM.EQUIV.MMST.01 (stays ) and SEAM.SIMPLECURRENT.GENERATOR.01 (stays ; open rest [formula in source] C7 [formula in source] net G2/G3/G4). (2) v995_ kms_ subnet_ rigidity.py ( [formula in source] ): all [formula in source] v972 mixing directions killed by KMS alone on finite [formula in source] ; covariance provably redundant; unique [formula in source] -invariant crossed-product extension [formula in source] . SEAM.STATE.RPMIXING.01 finite KMS rigidity ; type-III/continuum stays . (3) v996_ gauge_ grammar_ kill.py ( [formula in source] ): H0 structural kill — negative [formula in source] flip the stationary-root signs ( [formula in source] inverse [formula in source] , [formula in source] [formula in source] ); [formula in source] conventions [formula in source] hits; [formula in source] control [formula in source] survives all mutants; detline curvature [formula in source] exponentially with rate [formula in source] (numerical Bismut–Freed shadow). GAUGE.DETLINE.FIXPOINT.01 naive grammar excluded ; genuinely nonabelian structure required — typed; [formula in source] remains an external input; contract stays . (4) v997_ spin2_ smg_ witnesses.py ( [formula in source] ): Barnes–Rivers quadratic decomposition — [formula in source] clean (one massless TT pole, two helicities, scalaron at [formula in source] exact); the local [formula in source] Weyl [formula in source] truncation necessarily carries an opposite-residue spin-2 ghost — typed; FK SMG toy: [formula in source] unique [formula in source] -singlet ground state, Schmidt rank [formula in source] , volume-independent gap [formula in source] at [formula in source] ; [formula in source] contrast [formula in source] -degenerate; physical chiral edge keeps [formula in source] exactly. GRAV.SPIN2.EMERGENCE.01 quadratic witnesses , content pinned on the untruncated form factor; CHIRAL4D.NOMIRROR.01 SMG toy-proved , [formula in source] D [formula in source] stays ; both contracts stay . Canonical note (not a module) on FLAV.NUSCALE.05: NU_TEXTURE_CENSUS_NULL [formula in source] — frozen [formula in source] inventory provably insufficient; mechanism \ sharpened. Surfaces: tfpt_research_contracts (executed-update paragraphs at MMST/SIMPLECURRENT, RPMIXING, GAUGE.DETLINE.FIXPOINT.01, GRAV.SPIN2.EMERGENCE.01, CHIRAL4D.NOMIRROR.01, ALPHA.QUILLEN rigidity/ln-2 notes); tfpt_2 (census-null note); tfpt_4_frontier [formula in source] introduction card addendum. Exploration record: articles/2026-08-28/big_picture_simplicity_first_en.md.

Research changelog · TFPT — Introduction and reading guide

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 299 to 300

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

cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v994_mmst_criteria_battery.py
literal source filename/path in TeX
explicit script identifier v993_minimal_defect_selector.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v996_gauge_grammar_kill.py
literal source filename/path in TeX
explicit file citation v995_kms_subnet_rigidity.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v972_seam_interaction_front.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v997_spin2_smg_witnesses.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v994_mmst_criteria_battery.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v997_spin2_smg_witnesses.py
literal source filename/path in TeX
cross reference join tfpt_readouts.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 file citation big_picture_simplicity_first_en.md
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-28 (CXL) (review wave 3 — the third external bird's-eye review adjudicated and integrated: ONE new module v993 plus THREE new \ contracts plus a v986 motivation retype plus the dual-rest formula; suite [formula in source] , ledger [formula in source] ; NO status-marker upgrades; Python-only / Wolfram mirror deferred as for v974–v992). (1) v993_ minimal_ defect_ selector.py ( [formula in source] ): the FULL rank-8 ADE census (SNF of Cartan) with cyclic [formula in source] glue on BOTH factors selects [formula in source] uniquely ( [formula in source] aliases collapsed) — the [formula in source] architecture of v624 is an OUTPUT of (rank 8 [formula in source] cyclic [formula in source] ), not an INPUT; kill tests [formula in source] / [formula in source] (product 16, fail cyclicity) and the [formula in source] control [formula in source] ; [formula in source] exact (lattice shadow of [formula in source] ); the [formula in source] average is the UNIQUE trace-preserving finite conditional expectation (uniqueness needs the module property; kernel dim [formula in source] without it). Ledger notes on AX.P1.01/ AX.P2.01: axiom typing UNCHANGED; the equidistribution identification stays the open \ of v813; cited-not-proved remain [formula in source] and holomorphic uniqueness of [formula in source] . SEAM.SIMPLECURRENT.GENERATOR.01 canonical status grows the [formula in source] parity-shadow line. (2) Three new research contracts, all , no scripts: GAUGE.DETLINE.FIXPOINT.01 (all three gauge couplings as unique stationary points of one nonabelian zeta-det/inflow functional; generalizes ALPHA.QUILLEN.EXACT.01; honest: [formula in source] is currently an external input); GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 pole from the same spectral determinant; Einstein equation stays downstream/conditional; GRAV.NONCIRCULAR.01 binding); FTRANSFER.SK.RHO0.01 (cosmological transfers need [formula in source] , not [formula in source] alone; typed candidate [formula in source] , [formula in source] orientation picks [formula in source] ; FTRANSFER.GENERATING.01 covers equilibrium only). (3) v986 docstring retype: the [formula in source] motivation is loose ( [formula in source] ); the operator reading is the [formula in source] eigenvalue route [formula in source] ; texture data-constrains-texture; check logic and pass/fail UNCHANGED. (4) Dual rest: introduction status card (and the research-contracts keybox, with a brief frontier mirror) now carries [formula in source] (compiler) beside [formula in source] (strict-physical-TOE accounting of the 2026-08-27/28 contract wave); nothing in the second formula is claimed closed. Exploration not promoted: the wave-3 Quillen zero-mode Gram identity is a reformulation ( [formula in source] ), not a Quillen-metric object.

Research changelog · TFPT — Introduction and reading guide

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 301 to 303

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

explicit script identifier v993_minimal_defect_selector.py
literal short identifier uniquely resolves in local script registry
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
cross reference join tfpt_readouts.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 v624_external_lattice_audit.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v813_p1_index_kms.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v992_joint_likelihood_v1.py
literal short identifier uniquely resolves in local script registry
explicit file citation v993_minimal_defect_selector.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 script identifier v986_nu_scalaron_rung.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-28 (CXXXVIII) (the master-object wave, part 2 — the second external bird's-eye review (``one 4D lattice [formula in source] one seam simple current [formula in source] one unitary dilation [formula in source] one determinant line [formula in source] one [formula in source] '') adjudicated: its four machine-checkable candidate results verified and integrated as FOUR new modules (suite [formula in source] , ledger [formula in source] : one new row FLAV.NUSCALE.05; three contract rows updated, NO status-marker moves). (1) v983_ simple_ current_ generator.py: the SEAM.SIMPLECURRENT.GENERATOR.01 generator is identified — the glue vector [formula in source] with [formula in source] , [formula in source] , order 4 in the discriminant group [formula in source] of [formula in source] ; isotropic glue [formula in source] even unimodular rank-8 overlattice ( [formula in source] ); coset root census [formula in source] — the odd fusion powers of the ONE class carry the full [formula in source] spinor sector; kill tests (vector-class / mismatched glue) fire; holomorphy shadow [formula in source] vs [formula in source] at the lattice level; the analytic half (G1–G4) stays . (2) v984_ markov_ qca_ dilation.py: the DISCRETE leg of DYN.UNITARY.DILATION.01 realized constructively — the collision step [formula in source] is exactly unitary, the Stinespring identity [formula in source] holds symbolically, [formula in source] and six fresh ancillas give [formula in source] exactly (radius-1 collision band); must-fail fires ( [formula in source] ); typed remark AGAINST the review text: a reused mod-3 adder ancilla still reproduces the populations exactly; the continuous Hamiltonian/OS legs stay . (3) v985_ quillen_ channel_ swap.py: the v974 CHANNEL-SWAP face of ALPHA.QUILLEN.EXACT.01 resolved at the finite level by [formula in source] -character grading — the deck swap [formula in source] maps the jump spectrum [formula in source] onto the mark pattern [formula in source] exactly (odd swap fails), the graded [formula in source] difference is [formula in source] -free [formula in source] , the channelwise unit ratio is uniform [formula in source] ; continuum Bismut–Freed, KMS rigidity and the [formula in source] compensation stay . (4) v986_ nu_ scalaron_ rung.py: the SCALARON-TRACE RUNG [formula in source] GeV — a structured point INSIDE the v481 window, [formula in source] from the 1-loop requirement (the review claimed [formula in source] 1\%; the honest value is 1.8), [formula in source] sharper than the declined integer rung; exact ladder position [formula in source] , [formula in source] from the closed [formula in source] Clebsch door — adjacency TYPED, not consumed (v488 killed the Clebsch mechanism; the generation-blind scalaron trace is a different class, itself ); kill test [formula in source] eV; new row FLAV.NUSCALE.05 [C]/[N], no seesaw closure. The remaining review content is typed, not consumed: the axion line ( [formula in source] , [formula in source] ) and the Riemann–Roch carrier ARE the existing v185/v211/v189; the 4D action, chiral measure, OS package, bulk dictionary, determinant-line unification, [formula in source] , transduction matrix and joint likelihood stay open contracts exactly as registered on 2026-08-27. Paper surfaces: tfpt_research_contracts (three executed-update paragraphs), tfpt_2_standard_model (scalaron-trace rung paragraph).)

Research changelog · TFPT — Introduction and reading guide

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 304 to 306

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

explicit file citation v985_quillen_channel_swap.py
literal source filename/path in TeX
explicit script identifier v189_riemann_roch_carrier.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v481_seesaw_carrier_ladder.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 v986_nu_scalaron_rung.py
literal source filename/path in TeX
explicit script identifier v211_axion_spine_angle.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v984_markov_qca_dilation.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v983_simple_current_generator.py
literal source filename/path in TeX
explicit script identifier v974_alpha_faces_computed.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 v488_majorana_clebsch_door.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v185_axion_relic_solver.py
literal short identifier uniquely resolves in local script registry

=150 2026-08-27 (CXXXVI) (the transport-lift wave — the two external-review rounds on the quantum structure of the seam transport graduate from the experiments tree into the load-bearing suite as v976_seam_lift_birkhoff.py and v977_transfer_unistochastic_wilson.py (suite [formula in source] , ledger [formula in source] : new rows TRANSFER.HIDDEN.CIRCULATION.01 and TRANSFER.COHERENT.WILSON.01, both ``executed half [E] / selection open [O]''; the exploration probes transfer_ birkhoff_ circulation_ probe.py 42/42 and transfer_ coherent_ wilson_ probe.py 28/28 stay in experiments/tfpt-discovery/ as the discovery record). (1) v976 — the Birkhoff fibre and the entanglement-breaking no-go. The Birkhoff (random-permutation) fibre of the seam single step [formula in source] (exact sixth root of the v221 kernel, [formula in source] bit-exact) is exactly a one-parameter line [formula in source] ; the hidden coordinate is the sign-character Fourier coefficient [formula in source] , populations are exactly [formula in source] -free, and no fibre member is chiral ( [formula in source] forced). The one-step coherence spectrum is [formula in source] and the triangle loop current is an exact eigen-observable [formula in source] — one step plus one current readout measures [formula in source] without an ancilla. On the contrast qubit the Choi partial transpose has spectrum [formula in source] : the deployed sixth-root spectrum sits exactly on the entanglement-breaking boundary because [formula in source] (mutated spectra miss by [formula in source] ); at the full three-level the family stays NPT at every tested iteration with [formula in source] , [formula in source] -independent. The no-go that sharpens DYN.UNITARY.DILATION.01: the deployed Kraus dilation [formula in source] is measure-and-prepare, hence entanglement breaking with quantum capacity [formula in source] and [formula in source] exactly — any dilation closing that contract must be a genuinely different object. Shannon KKT certificates: [formula in source] is exactly capacity-achieving for both [formula in source] and [formula in source] ( [formula in source] bit, [formula in source] bit, ratio [formula in source] ) — the surviving classical message is binary on every scale. The defect–Birkhoff value coincidence (weights [formula in source] vs the v652 ladder [formula in source] ) is recorded typed [C] with its honest multiplicity audit; the forcing functor is the named open contract TRANSFER.DEFECT.BIRKHOFF.01. (2) v977 — the unistochastic [formula in source] lift and the 5-12-13 Wilson code. [formula in source] is unistochastic: an exact [formula in source] with [formula in source] entrywise, angles forced by [formula in source] ( [formula in source] , [formula in source] , [formula in source] ), [formula in source] unique, lift set [formula in source] up to rephasing; Jarlskog [formula in source] exactly, and the real part of every Wilson plaquette is fixed by [formula in source] through unitarity — the full rephasing-invariant Wilson data is classical up to the [formula in source] orientation bit [formula in source] . The main plaquette is [formula in source] , normalized [formula in source] with [formula in source] (atoms: [formula in source] , [formula in source] , [formula in source] ); all nine plaquettes close on four Gaussian phase types with norms exclusively [formula in source] . The center bridge: [formula in source] for the v530 atom matrix, [formula in source] , and the v530 sibling quotients fail the identity — the bridge selects the atom quotient. Rationality selection: [formula in source] is rational only at [formula in source] (the deployed step hits [formula in source] exactly, so [formula in source] ); census over 238 valid family points: exactly one full-code point [formula in source] the deployed [formula in source] ( [formula in source] the preregistered [formula in source] kill). No fixed microstep: [formula in source] and a Dirichlet recurrence witness ( [formula in source] ) shows no single closed unitary generates the relaxing sequence — repeated steps require dephasing between steps, the six-step macro-gate [formula in source] (the coherent sharpening of clock-vs-walk). The PMNS near-miss stays a negative control ( [formula in source] vs [formula in source] ; [formula in source] ; no PMNS derivation). Surfaces. Research-contracts document: the DYN.UNITARY.DILATION.01 section gains the executed lift-structure sharpening, the CCC reduced-channel prose and the two former ``exploration-only'' citations of rounds DCXCVI/DCXCVII are upgraded to veri citations; origin_theory gains the honest ``what the classical transport does not determine'' paragraph next to the v221 recoverability code; tfpt_2 gains the [formula in source] bridge corollary in the v530 center-quotient block. No status marker moves; both contracts stay open; no PMNS/CP/flavor claim.)

Research changelog · TFPT — Introduction and reading guide

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 307 to 308

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

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

=150 2026-08-27 (CXXXI) (the external deep-review round — dimension / dynamics / gravity firewalls and the 4D construction ladder: the review diagnosis ``chiral [formula in source] D seam net [formula in source] local, interacting [formula in source] D quantum world'' is implemented as eight new contract IDs in tfpt_research_contracts plus one new load-bearing module. (1) DIMENSION.UPLIFT.FIREWALL.01 (standing rule, in force): no [formula in source] D theorem closes a [formula in source] D claim; every contract closure states the spacetime dimension of hypotheses AND conclusion; audit census recorded (SEAM.EQUIV.01 is [formula in source] D in and out — even fully proved it is a boundary building block, not the 4D theory; the v957 kinematic uplift does not close it; the anomaly-inflow bulk is invertible/topological, never to be silently equated with physical spacetime); the realistic route ordering (seam as boundary module [formula in source] genuine 4D Euclidean lattice [formula in source] OS package [formula in source] chirality/no-mirror [formula in source] only then BW/CHM [formula in source] entanglement gravity [formula in source] bulk–seam equivalence) is registered as the programme skeleton. (2) SEAM.BULK4D.RECON.01 : the previously implicit seam [formula in source] bulk theorem made explicit (4D local algebras/Schwinger functions; locality/microlocality, Poincar\'e covariance [formula in source] spectrum condition, spin-statistics [formula in source] CPT, both helicities, clustering, nontrivial S-matrix, unique operator dictionary). (3) the dynamics split DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (``three meanings of dynamics'': relaxation [formula in source] / dissipative semigroup [formula in source] / unitary [formula in source] ): the finite kernel half of MARKOV.EMBED is executed \ as v971_markov_embedding_generator.py ( [formula in source] , sympy-exact) — [formula in source] of the v221 seam kernel is an EXACT classical Markov generator: [formula in source] by spectral calculus, row sums symbolically zero, off-diagonals exactly [formula in source] (the reviewer's independently verified numbers), uniformization certificate [formula in source] entrywise [formula in source] [formula in source] positivity-preserving doubly stochastic for all [formula in source] , [formula in source] (gap [formula in source] ), negative control: second eigenvalue [formula in source] gives [formula in source] — provably NOT embeddable; the field level and the local size-consistent unitary dilation (Stinespring [formula in source] Lieb–Robinson [formula in source] OS continuation) stay ; binding precision: the shared F_transfer relaxation shape is a universal CONTRACTION CLASS, not one physical clock (v723/v724/v777). (4) QFT4D.OS.RECON.01 \ (the genuine 4D Euclidean lattice OS package) with the binding phrasing rule: the v381 all-orders leg is a local perturbative construction under the stated EG/BRST hypotheses (Duch weak adiabatic limit cited, hypotheses unverified for the concrete model; no confinement / mass gap / asymptotic charged states / nonperturbative Higgs vacuum / full S-matrix follows) — tfpt_2 and tfpt_5 phrasing restricted accordingly. (5) CHIRAL4D.NOMIRROR.01 \ (explicit GW/overlap chiral lattice operator; local gauge-invariant measure, perturbative [formula in source] global anomaly freedom, no Witten [formula in source] anomaly, no mirrors, correct index/charges, stable continuum limit; Mastropietro arXiv:2303.02790 as calibration). (6) GRAV.NONCIRCULAR.01 (standing rule, in force): BW is a theorem WITHIN a local Poincar\'e-covariant QFT (Mund/Morinelli counterexample landscape cited), never a generator of Lorentz spacetime from a modular flow; every BW/CHM use declares assumption-vs-result; audit census: the entanglement-equilibrium Einstein derivation (v323/v358/v359) is typed ASSUMPTION (conditional on the 4D package, never citable as evidence for it), QG.AMB.01 correctly declared, the seam KMS [formula in source] chain dimension-typed, the intrinsic-BW programme the honest result-direction attempt. (7) OBS.TRANSDUCTION.01: the transduction principle (internal eigenvalue [formula in source] nonvanishing projection [formula in source] [formula in source] physical coupling [formula in source] observable signature; without the middle arrow neither non-observation falsifies nor observation confirms; minimal model machine-checked at exploration level in fo01, uniform functional blind to [formula in source] , character channel recovers [formula in source] to [formula in source] ; the ACT [formula in source] Planck birefringence proximity typed coincidence-level pending the shared-action proof). (8) PRED.JOINTLIKELIHOOD.01 : evidence reorganized from hit-counting into overdetermined relation bundles (flavor sum rule; [formula in source] , [formula in source] ; one normalized axion action; character-resolved transfer) with the statistical demand (joint likelihood, atom-induced covariance, effective dof, prespecified null [formula in source] formula grammar, real holdout); the v100 ``13/13, [formula in source] '' statement retyped as a look-elsewhere quantifier under its declared null — the 2026-06-09 freeze protects FUTURE measurements, it does not retroactively make historically known data blind. Docs corrected in the same change: docs/OPEN_PROBLEMS.md (the Einstein-derivation overstatement rewritten to the conditional Jacobson-route typing with the explicit does-NOT-follow list; ``zero open internal mechanisms'' fixed to match the contract scope fence — ledger wins; the all-orders phrasing restricted) and docs/FALSIFICATION.md (the null-model section retitled and rescoped, freeze and kill tests unchanged). Ledger [formula in source] rows; suite [formula in source] modules; bash build.sh audit and the manifest regeneration are the joint exit gate)

Research changelog · TFPT — Introduction and reading guide

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 309 to 310

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

explicit file citation OPEN_PROBLEMS.md
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 v723_phys_modular_clock.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
explicit file citation v971_markov_embedding_generator.py
literal source filename/path in TeX
explicit script identifier v724_phys_t3b_modular_flows.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 v777_ftransfer_clock_jets.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 v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v381_qft4d_eg_allorder.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v957_ccc_crossover_kinematics.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v100_numerology_null_mc.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v221_seam_qecc.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 FALSIFICATION.md
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

=150 2026-08-24 (CXVIII) (the CCC-crossover promotion — the kinematics dictionary of the conformal-cyclic crossover graduates from the experiments tree into the load-bearing suite as v957_ccc_crossover_kinematics.py (suite [formula in source] ; six discovery probes of rounds DL–DLV re-run GREEN AS TYPED at promotion and embedded BYTE-EXACT with pinned SHA-256 hashes: ccc_crossover_gates_probe.py [formula in source] , ccc_uplift_4d_probe.py [formula in source] , ccc_fork_kms_holonomy_probe.py [formula in source] , ccc_kernel_gamma_kms_probe.py [formula in source] , ccc_transfer_selector_probe.py [formula in source] , ccc_kappa_freeze_probe.py [formula in source] ): (1) Penrose's reciprocal gauge [formula in source] is the element [formula in source] of the PROVEN [formula in source] M\"obius stabiliser [formula in source] — [formula in source] reverses the clock ( [formula in source] the [formula in source] sheet parity), swaps the aeon poles [formula in source] , and the crossover locus [formula in source] is the unit circle carrying ALL FOUR marks; (2) conformal-factor rigidity: on the 2D seam the clock alone leaves exactly ONE constant-curvature modulus (Liouville-exact dilation family) and the reciprocal [formula in source] kills it (unique zero at [formula in source] ); on the 3D crossover the deck ALONE kills all conformal moduli (the [formula in source] deck-commutant is [formula in source] -dimensional [formula in source] , ALL Killing, boost content [formula in source] ; global uniqueness on the explicit Obata boost family, 200-axis scan bounded below by [formula in source] ) — TFPT's candidate answer to CCC's open unique-conformal-factor problem, [formula in source] staying pure unit calibration; (3) the entropy reset of the cyclic \ reading is a REDUCED CHANNEL: the v221 transport is CPTP not unitary ( [formula in source] ), its Stinespring isometry explicit ( [formula in source] exact), [formula in source] EXACTLY, the global overlap invariant and the environment retaining the full distinguishability — ``unitarity [formula in source] rank-1 attractor'' is isometry [formula in source] partial trace; (4) the kinematic [formula in source] uplift from corpus objects only: stereographic(Hopf [formula in source] ) [formula in source] EXACTLY (the seam sphere IS the Hopf base), the v492 deck [formula in source] acts freely so the crossover [formula in source] is the smooth lens boundary of the corpus [formula in source] ALE [formula in source] , clock [formula in source] and the reciprocal lift [formula in source] normalise the deck and descend ( [formula in source] to [formula in source] , inverting the clock), the four marks lift to four Hopf fibre circles paired by the deck into the TWO [formula in source] sheet orbits with Gauss linking number [formula in source] , the 4D bridge is the cone [formula in source] with the inversion [formula in source] a conformal involution (pullback [formula in source] symbolic) fixing the unit lens POINTWISE and swapping the aeon ends, and the Lorentzian shadow [formula in source] is Einstein [formula in source] (symbolic Ricci) with a SPACELIKE round- [formula in source] crossover and [formula in source] vanishing to first order; (5) the KMS/modular closure of discrete [formula in source] dynamics at the free level: detailed balance EXACT, [formula in source] EXACTLY (the seam gap IS a modular energy), [formula in source] (one clock tick [formula in source] one unit of KMS time at [formula in source] ), OS Gram PSD, and the v526 normalisation [formula in source] replicated exactly [formula in source] the Gibbons–Hawking normalisation on the crossover fibre; (6) the holonomy dictionary: the two clock-pole circles descend to the lens core geodesics with the full [formula in source] monodromy [formula in source] while EVERY seam string carries exactly the 2-torsion [formula in source] , and [formula in source] is trivial on the base while flipping the spinor coordinates — the v522 statement ``gaugeable datum [formula in source] the 2-torsion [formula in source] ; full wrap [formula in source] fermion parity'' in geometric form (typed \ correspondence); (7) the selector necessity (the [formula in source] -facing theorem): the admissible OS reflections of the v512 mark family [formula in source] form the pair-exchanging [formula in source] for every [formula in source] and close to [formula in source] EXACTLY at [formula in source] (the order-4 clock factorises into admissible reflections, [formula in source] , iff [formula in source] ), and at Majorana operator level on the [formula in source] seam ring with fermionic reordering signs kept the free parent is [formula in source] -real on ALL 16 axes (v521 side-blindness replicated) while the interacting family is [formula in source] -real on exactly [formula in source] axes and the clock-axis cuts ONLY at [formula in source] , asymmetric couplings breaking reality — the UNIQUENESS half of the v534 straddle selector ( [formula in source] , symmetric couplings) is thereby DERIVED as a [formula in source] -reality necessity (the survival half and the coupling sign stay v534's nonperturbative toy facts, cited; reality is sign-blind, checked); (8) the frozen Gate-6 kernel: exactly two decay modes [formula in source] and [formula in source] (ratio [formula in source] ), the frozen defect-class overlap table [formula in source] / [formula in source] with the sheet-parity sign rule, disc radius [formula in source] , and [formula in source] DERIVED from the v526 KMS normalisation up to a declared convention band — [formula in source] ticks across the whole band, relic contrast [formula in source] : the template degenerates ROBUSTLY to the sharp causal top-hat disc; three freeze hashes pinned and recomputed in-run. NEW LEDGER ROWS: CCC.SEAM.KINEMATICS.01 [E] (the certified dictionary) and CCC.SEAM.CROSSOVER.01 [O] (the dynamical-crossover research contract: D1 interacting algebra on the crossover [formula in source] WOIT [formula in source] in the crossover geometry, D2 field-level Stinespring, D3 the cosmology fork decision — Starobinsky [formula in source] priced decidable by [formula in source] experiments —, D4 the executed disc search; kill criteria frozen incl.\ the forbidden mark/Hawking-point count identification); new contract section in tfpt_research_contracts; the origin-theory Penrose-CCC bullet SHARPENED (asymptotic de Sitter does NOT imply conformal flatness — [formula in source] for Schwarzschild–de Sitter, machine-checked; the CCC smoothness/Weyl conditions are additional crossover data) and pointed at the certified kinematics; PREREGISTERED SEARCH scaffolded at experiments/ccc-crossover-disc/ (frozen hypotheses ccc_disc_v1.yaml with kill criteria K1–K6, null battery and BH- [formula in source] [formula in source] replication decision rule; freeze-check CLI 3/3 hashes intact; 5/5 guard tests; catalog entry 7b.9 of the experiments README) — verdict slot data_limited (preregistered); the Planck PR3 SMICA data pass executed separately at experiments level (first data contact logged in the project README). FENCES CARRIED EVERYWHERE: the cyclic/CCC reading stays \ and is NOT upgraded by the promotion; WOIT.OS.TWISTOR.01 stays \ with all kill tests live (the module certifies kinematics [formula in source] free level [formula in source] the necessity direction ONLY); the deck fork is decided only CONDITIONALLY on the v522 wrap identification; a null disc search damages nothing in the compiler core. Research notes DL–DLV appended to experiments/next.txt; FULL run_all.py ALL CHECKS PASSED at 950 modules; bash build.sh release green; bash build.sh audit [formula in source] AUDIT OK; manifests regenerated LAST. No omega closed beyond the two new rows; NO claim that CCC follows from TFPT)

Research changelog · TFPT — Introduction and reading guide

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 311 to 312

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

cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v521_seam_bit_rp_blind.py
literal short identifier uniquely resolves in local script registry
explicit file citation next.txt
literal source filename/path in TeX
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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
explicit file citation ccc_crossover_gates_probe.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation ccc_fork_kms_holonomy_probe.py
literal source filename/path in TeX
explicit file citation ccc_kappa_freeze_probe.py
literal source filename/path in TeX
explicit script identifier v221_seam_qecc.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v526_seam_thermal_kms_nariai_bridge.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v957_ccc_crossover_kinematics.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 v522_woit_beta1_gso_gauge.py
literal short identifier uniquely resolves in local script registry
explicit file citation ccc_kernel_gamma_kms_probe.py
literal source filename/path in TeX
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation ccc_transfer_selector_probe.py
literal source filename/path in TeX
explicit script identifier v492_celestial_z4_orbifold.py
literal short identifier uniquely resolves in local script registry
explicit file citation run_all.py
literal source filename/path in TeX
explicit file citation ccc_uplift_4d_probe.py
literal source filename/path in TeX

=150 2026-08-20 (CXI) (the externalization contracts — the two open non-RH kind-(A) external-math targets SEAM.EQUIV.01 and ALPHA.QUILLEN.EXACT.01 packaged as short, self-contained EXTERNALIZATION CONTRACTS for outside specialist mathematicians (conformal nets/VOA/AQFT for the seam; determinant lines/ [formula in source] -invariants/index theory for alpha), added as two new sections at the end of tfpt_research_contracts (before ``Certifiability and recommended order''), plus a one-sentence pointer in the head keybox; DOCUMENTATION ONLY — no module touched, no number changed, no status marker moved, no gate closed or narrowed, NO RH claim: (1) the SEAM.EQUIV.01 contract states the minimal theorem (the scaling limit of the gapped [formula in source] -equivariant CAR collar exists in local-net topology; the index-4 simple-current extension functor commutes with the limit; the OS reconstruction is the holomorphic [formula in source] lattice net) broken into the four review-named lemmata L1 (uniform energy/nuclearity bounds — honestly typed: NO uniform nuclearity estimate exists in the corpus), L2 (convergence of local algebras, the cited Osborne–Stottmeister scaling-limit theorem with the [formula in source] -equivariant structure retained), L3 (crossed product commutes with the limit; the finite index-4 Q-system is explicit, v125/ v154/ v469) and L4 (uniqueness of the holomorphic [formula in source] reconstruction; [formula in source] vs the same- [formula in source] rival [formula in source] ), with the complete typed hypothesis list (12 PROVEN-FINITE rows citing v302/ v113/ v155/ v160/ v356/ v366/ v367/ v368/ v461/ v376/ v377/ v378/ v379/ v125/ v154/ v216/ v286, 5 CITED-CLASSICAL rows, 1 OPEN target), the runnable finite models, the HONEST Lean axiom surface ( SeamScalingLimit.lean kernel-proves only the arithmetic hypotheses by decide; the analytic content is named cited axioms over opaque Props; no sorry; explicitly flagged: L1–L4 have ZERO Lean content beyond the composition audit), five must-fail controls (MF-S1: [formula in source] alone must NOT suffice — the red-team point; MF-S2: index-2 glue must yield [formula in source] ; MF-S3: the trivial [formula in source] collar must give no chiral limit; MF-S4: non-order-4 clock breaks the marks; MF-S5: the v286 import firewall) and four acceptance tests; (2) the ALPHA.QUILLEN.EXACT.01 contract states the two-step theorem T1 (gap-stable continuum limit [formula in source] under norm-resolvent convergence with the Fermi gap uniformly open over the twist torus — the Dai–Freed section has no zero; finite side computed, v472) and T2 ( [formula in source] [formula in source] Bismut–Freed curvature [formula in source] inflow response with the exact corpus coefficients [formula in source] , [formula in source] , [formula in source] , [formula in source] , exponent [formula in source] ), the two named open faces (the analytic diagonal- [formula in source] /multiplicity face v484/ v485 and the topological EM1 lemma v48/ v435), the typed hypothesis list (10 PROVEN-FINITE rows citing v3/ v48/ v341/ v382/ v434/ v470/ v435/ v342/ v367/ v472/ v484/ v485/ v391/ v433, 5 CITED-CLASSICAL rows, 1 OPEN target), the runnable finite models, the HONEST Lean statement (there is NO Lean formalisation of this target — stated plainly), four must-fail controls (MF-A1: no experimental [formula in source] anywhere in the construction; MF-A2: deck/carrier/Chern-level ablations must destroy the CODATA match; MF-A3: [formula in source] , [formula in source] ; MF-A4: the [formula in source] [formula in source] -power/metric-independence partition) and the review's three acceptance tests verbatim (no experimental [formula in source] input; unique physical fixed point [formula in source] ; ablations destroy the hit) plus one structural test; (3) the website paper mirror of tfpt_research_contracts ( papers.ts) gains one section entry covering both contracts; tfpt_research_contracts.pdf and changelog.pdf recompiled and mirrored via bash build.sh website; maps and changelog.ts regenerated via bash build.sh gen; bash build.sh audit [formula in source] AUDIT OK; manifests regenerated LAST. Both targets stay [O]; NO RH claim anywhere)

Research changelog · TFPT — Introduction and reading guide

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 313 to 314

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

cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v366_mmst_seam_collar.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v125_glue_qsystem.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 script identifier v434_alpha_quillen_betafunction.py
literal short identifier uniquely resolves in local script registry
explicit file citation SeamScalingLimit.lean
literal source filename/path in TeX
explicit script identifier v356_continuum_mmst_applicability.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v470_alpha_inflow_level.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 script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v391_alpha_quillen_progress.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v485_contact_diagonal_closed.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v484_seam_contact_unit.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v472_quillen_detline_moduli.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 script identifier v342_em_ward_heatkernel.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v461_seam_strict_locality.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v376_seam_s3_centralcharge.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 script identifier v341_alpha_quillen.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v113_quasifree_kernel.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 script identifier v469_seam_crossedproduct_route.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 script identifier v302_seam_gap.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 script identifier v48_em_ward.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 script identifier v286_seam_equivalence_contract.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v433_alpha_quillen_heatkernel.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v379_seam_s3_rp.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
cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v435_alpha_quillen_chernlevel.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-04 (LVIII) (the news round: a pure data-refresh against the August-2026 literature — no new analysis of our own, honest in both directions. CONFIRMING: JUNO's Neutrino-2026 update ( [formula in source] days) lands at [formula in source] — the sharpest single measurement of the solar angle, [formula in source] from the frozen prediction [formula in source] , central value moving toward it from the [formula in source] -day run; ICARUS's first standalone result (no [formula in source] disappearance, new [formula in source] exclusions at [formula in source] CL) adds another sterile null exactly as [formula in source] requires; the sequentially-valid DESI reanalysis localises the evolving-dark-energy signal almost entirely in the LRG2 bin (without it the evidence collapses, mildly pro- [formula in source] CDM — the dissolution trend the [formula in source] watchdog predicts); two new independent birefringence analyses ( [formula in source] constant-model-preferred; PR4 field-level [formula in source] ) stay consistent with the [formula in source] seed; CMB-SPA [formula in source] lands [formula in source] from the parameter-free budget [formula in source] (correlated legs, never a new independent hit). WEAKENING, equally prominent: CMB-SPA (SPT-3G D1 [formula in source] ACT [formula in source] Planck) gives [formula in source] — the central value sits above the TFPT band edge [formula in source] for the first time (edge at [formula in source] , preferred branch [formula in source] at [formula in source] ; not yet the dated kill ``robustly [formula in source] '', typed an honest mild weakening, scorecard row tension [formula in source] watch-flag); the DESI DR2 effective-mass posterior keeps the [formula in source] \,eV floor under [formula in source] model-dependent pressure (unchanged, on record). ONE BRIDGE DIES: the muon [formula in source] seam-vertex bridge's dated kill condition (2026-07-02) has FIRED — WP25 (Phys.\ Rep.\ 2025) adopts the lattice HVP as the SM baseline and the BMW hybrid evaluation (Nature 2026) confirms it, experiment [formula in source] SM [formula in source] , so the converged [formula in source] lies outside [formula in source] : the vertex identification is excluded in its present form, the scorecard row is typed kill_channel, ledger FR.MUONG2.01 carries the dated kill note, and tfpt_4_frontier gets the dated update paragraph [formula in source] summary-table move [formula in source] \ on the bridge — the exact compiler number [formula in source] and the compiler core are untouched (no core marker moves): the watchdog delivered exactly what it was built for. OPERATIONAL: the Vela GO-programme preregistration is FROZEN as experiments/p9-forecast/hypotheses/p9_go_programmes_v1.yaml ahead of the expected 2026/27 giant-glitch window (no glitch since 2024-04-29; long-component decision rule and the [formula in source] -TOAs/day cadence requirement inside; draft SHA recorded as provenance); CHIME/FRB Catalog-2 [formula in source] RepCat4 data-availability notes recorded in repeater-cascade and frb-ontology. Scorecard [formula in source] typed rows (consistent [formula in source] , null [formula in source] , parked [formula in source] , kill_channel [formula in source] ); predictions.ts mirrors the JUNO/ [formula in source] / [formula in source] status; no verification module touched, no core marker moves)

Research changelog · TFPT — Introduction and reading guide

Scorecard (regenerated). [formula in source] row: JUNO [formula in source] -day value [formula in source] ( [formula in source] ; supersedes the [formula in source] -day [formula in source] ). [formula in source] row: CMB-SPA [formula in source] added, status consistent [formula in source] tension [formula in source] watch-flag (central value above the [formula in source] band edge). Flat-budget row: CMB-SPA [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/001-source.tex · lines 315 to 323

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

explicit file citation news_check_2026-08-04.md
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

=150 2026-08-01 (XXXVI) (the covered seam lands ( v623 promoted) — the lattice skeleton of the covering-level identification: the seam lifted to the [formula in source] -cover is ONE 48-site NS circle for the uniform weights (the alternating pair DISCONNECTS it — a new independent kill), the lifted clock has EXACT ORDER 12 with [formula in source] deck ( [formula in source] as lattice combinatorics), the v622 kernel identity generalizes verbatim to [formula in source] , and the deck-character mode grid is the 12-grid ( [formula in source] ) with the untwisted sector equal to the base seam VERBATIM and the twisted pair carrying [formula in source] on bilinears (the [formula in source] sheets); the fermionic deck lift satisfies [formula in source] (the spin double))

Research changelog · TFPT — Introduction and reading guide

v623_covered_seam.py ( QGEO.COVERSEAM.01, [formula in source] checks; probe 9/9, COVERED-SEAM-SKELETON). Connectivity census ( [formula in source] : one circle; trivial and alternating: [formula in source] components); the explicit 48-walk (three base turns, [formula in source] crossings); [formula in source] deck and [formula in source] id on all [formula in source] points with proper order [formula in source] ; the

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 324 to 338

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 v622_seam_identification.py
literal short identifier uniquely resolves in local script registry
explicit file citation v623_covered_seam.py
literal source filename/path in TeX
explicit script identifier v623_covered_seam.py
literal short identifier uniquely resolves in local script registry
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