421 sections found. Current publication documents are listed before historical material.
Research changelog · TFPT — Introduction and reading guide
R3: the Calder\'on/DtN kernel is conically clean ( v151). Reflection doubling derives that the Kac corner constant is boundary-condition independent ( [formula in source] ), so by the Burghelea–Friedlander–Kappeler gluing ledger the conical deficit of the two-sided Calder\'on jump determinant vanishes identically ( [formula in source] ): the seam-reduced effective action inherits the v150 EH form verbatim, with all o
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 1 to 16
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 v151_bfk_split.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v150_replica_eh_model.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
R4 [formula in source] : both dual normals are anchor data ( v149). In the cusp frame the torsion normal pairs to [formula in source] — one anchor invariant per [formula in source] line (the cusp matrix is unimodular, so this determines [formula in source] uniquely); with [formula in source] the dual normal pair is anchor data through and through. Equivalences to the [formula in source] frame data and the [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 17 to 38
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 v150_replica_eh_model.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v73_k_c3_half.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v149_cusp_normal.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
Research changelog · TFPT — Introduction and reading guide
R4 [formula in source] : the pairing values are atom identities ( v145). Reading the v139 lift structurally ( [formula in source] , [formula in source] the [formula in source] exponent duality), all three pairings become atom arithmetic — including the new closure [formula in source] ( [formula in source] , [formula in source] ) and [formula in source] . R4 [formula in source] [formula in source] derive one map (ledg
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 39 to 75
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v147_clock_gaussian.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v127_ring_resummation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v144_detratio_family.py
literal short identifier uniquely resolves in local script registry
- explicit file citation next.txt
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 v145_pairing_atoms.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v146_moebius_d4.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 v148_fock_census.py
literal short identifier uniquely resolves in local script registry
- cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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 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
Research changelog · TFPT — Introduction and reading guide
[formula in source] normalisation made unambiguous. The external review flagged the adjacent reduced/unreduced displays in origin_theory as a type trap (the formulas were individually correct — [formula in source] vs [formula in source] — but easy to misread). Both normalisations are now shown explicitly side by side with their order counts ( [formula in source] reduced; [formula in source] unreduced) plus a typing n
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 76 to 118
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v86_nstar_reheating.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v118_hexagon_family_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v141_deck_selection.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v139_selector_triangle.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v75_upoint_to_vgeo.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 v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v87_bulk_uniqueness_reduction.py
literal short identifier uniquely resolves in local script registry
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v144_detratio_family.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
- cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- 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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v142_frame_integrality.py
literal short identifier uniquely resolves in local script registry
- cross reference join CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v122_margin_theorem.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
R5 closed at the discrete level ( v141, deck selection theorem). The v140 [formula in source] choice is derived: the established integer deck [formula in source] ( v97/ v98) pairs the [formula in source] cusp line with the self-conjugate character [formula in source] , so only the sheet-twisted assignment [formula in source] survives; the cusp exponential [formula in source] is excluded (same spectrum, wrong grading
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 119 to 154
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 v141_deck_selection.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
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v144_detratio_family.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 v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v132_detratio_anomaly.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join MobiusUniformisation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v142_frame_integrality.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v97_sheet_conjugation_bridge.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 CohomologyGrading.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v131_measure_is_area.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 v98_discriminant_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v140_canonical_map.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
Single-source script index. The master script [formula in source] check table ( tex-artefacts/verification.tex) and the website ScriptIndex.tsx are now generated from one registry ( script_registry.csv [formula in source] script_clusters.csv in verification/) by make_script_index.py; both targets carry a generated-file header and are never edited by hand. Content maps without splitting the papers. verification/make_d
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 155 to 201
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v91_spine_tetrahedron.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v85_master_cover.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v17_hexagonal_resolvent.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 docs_map.csv
literal source filename/path in TeX
- explicit file citation next.txt
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation script_registry.csv
literal source filename/path in TeX
- explicit script identifier v19_monodromy_moduli.py
literal short identifier uniquely resolves in local script registry
- explicit file citation audit_baseline.json
literal source filename/path in TeX
- explicit file citation make_docs_map.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 script_clusters.csv
literal source filename/path in TeX
- explicit file citation make_script_index.py
literal source filename/path in TeX
- explicit file citation website_map.csv
literal source filename/path in TeX
- explicit file citation README.md
literal source filename/path in TeX
- explicit file citation audit_sync.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
Research changelog · TFPT — Introduction and reading guide
Shared header/footer on tfpt_3. tfpt_3_e8_audit_bootstrap dropped its custom footmarkers footer (the post-collapse four- \ artefact) and inherits the shared tfpt_style header/footer with the version stamp; the box-orphan needspace guards are kept. Fewer boxes, embedded in text. Narrative/commentary callouts converted to run-in bold paragraphs (boxed one-line formulas to keyeq): tfpt_3 from [formula in source] to [for
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 202 to 220
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.
Research changelog · TFPT — Introduction and reading guide
Shared header/footer everywhere. tfpt_1_architecture_e8 dropped its custom footmarkers footer (which after the marker collapse showed four redundant ) and now inherits the shared tfpt_style header/footer with the version stamp, identical to every other document. Fewer boxes, embedded in text. The narrative/commentary callouts of both documents are converted to run-in bold paragraphs (and the boxed one-line formulas t
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 221 to 241
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v86_nstar_reheating.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
Four-class display markers. The reader-facing marker system is collapsed from eleven symbols to four: \ exact / machine-proven (identity, Lie/lattice, formalised, numerical FP), \ conditional (physical / bridge / readout under named hypotheses), \ open / axiom, and \ kill test. tex-artefacts/tfpt_style.tex defines mE/ mC/ mO/ mX and keeps the legacy tI tX names as aliases that render their class. All marker call-site
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 242 to 263
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 v86_nstar_reheating.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 status_ledger.csv
literal source filename/path in TeX
Research changelog · TFPT — Introduction and reading guide
Authors, auto-date and auto-version on every paper. New single source tex-artefacts/version.tex defines TFPTauthors (Stefan Hamann, Alessandro Rizzo), a curated TFPTversion, and a title/footer date stamp ( today [formula in source] version [formula in source] revision). build.sh writes the auto build revision (git commit count) into the gitignored tex-artefacts/version-auto.tex, so every document's title page and pag
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 264 to 302
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v1_e8_glue.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 script identifier v20_lepton_c_derivation.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 v71_simple_r_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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join CarrierRankUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v18_quark_yukawa.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v23_anchor_generator.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v14_carrier_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v6_bootstrap.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
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join PascalLadder.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
- cross reference join AnchorLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v108_pascal_ladder.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
- explicit script identifier v46_grand_mass_volume.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
Shared imports moved to tex-artefacts/. The shared, imported-only TeX fragments ( tfpt_style.tex, tfpt_figures.tex, tfpt_docset.tex, tfpt_status.tex) now live in a dedicated tex-artefacts/ folder; all nine active documents input them via tex-artefacts/<name> (and tfpt_style loads tex-artefacts/tfpt_figures). changelog.tex stays at the repo root because it is also a standalone build.sh notes deliverable. The make_mani
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 303 to 330
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
Box reduction (B1). The [formula in source] non-load-bearing aside boxes (audit / recorded / interpretation: auditbox/ audbox/ intbox/ resbox/ roadbox) across tfpt_1, tfpt_2, tfpt_3 and origin_theory are converted to inline bold run-in paragraphs — the reviewer's prescription that an audit fingerprint must not carry the same visual volume as a theorem. The loud box families are now only keybox (claim), winbox (result
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 331 to 340
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.
Research changelog · TFPT — Introduction and reading guide
Shared figure library tfpt_figures.tex ( input by tfpt_style): reusable TikZ macros for the architecture claim stack ( TFPTclaimstack[zone], B3), the anchor cockpit [formula in source] (B4), the [formula in source] glue diagram (B5), the [formula in source] motif map (B6) and the [formula in source] action lattice (B7). The claim stack and a marker badge bar are now shown near the front of every document, each highli
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 341 to 355
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.
Research changelog · TFPT — Introduction and reading guide
Claim hygiene (review section A). The introduction's one-sentence claim is softened from ``derives all constants'' to ``constructs a discrete compiler; physical readouts run through named, status-typed bridges''; the ledger zombie in FLAV.QRATIO.01 is removed (the statement no longer says ``stays [P]'' — ratios are \ closed on the derived stratum, only the absolute scale stays , with an explicit forbidden-wording not
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/023-source.tex · lines 356 to 381
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
Shared style and central status artifact. Two new single-source fragments: tfpt_style.tex (the canonical palette, status markers, marker key, veri reference, the four tcolorbox families with back-compat aliases, and one running header/footer) is now input by all eight documents — the per-paper duplicated preambles are gone; and tfpt_status.tex (``TFPT status at a glance'') gives one canonical overall-status card impo
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/024-source.tex · lines 1 to 11
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
No explicit verification citation is attached to this section in the registry.
Research changelog · TFPT — Introduction and reading guide
Margin theorem (v122). The established frozen selectors ( [formula in source] annihilator [formula in source] , [formula in source] , [formula in source] ) pin [formula in source] uniquely among hexagon matrices ( [formula in source] ); the atom margins become theorems — H2 introduces no new residual class. Inventory update (v123). Residual table re-pinned post v110–v122: exactly five structural classes (R1 clock, R2
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/024-source.tex · lines 12 to 75
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v138_vw_firewall.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 v140_canonical_map.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v126_clock_wall_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 script identifier v134_dual_anchor.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v128_graded_hull.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v129_entropy_power_law.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v133_zeta_budget.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v127_ring_resummation.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v122_margin_theorem.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 v131_measure_is_area.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 v132_detratio_anomaly.py
literal short identifier uniquely resolves in local script registry
- cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v124_resummed_clock.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v136_dual_normal_selector.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v110_calderon_sheet.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 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 v123_inventory_update.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 v135_det_surface.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v130_born_square.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
External-review integration (v83) and release hygiene. Manifest –check mode and the release rule; holomorphy pins [formula in source] (the unique even unimodular rank-8 lattice theory). Sheet diamond and centered form (v94/v95). All four flavor operators are points of one two-parameter surface [formula in source] ; centered cross [formula in source] , [formula in source] with the cofactor seam normal [formula in sour
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/024-source.tex · lines 76 to 108
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v118_hexagon_family_dictionary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v94_sheet_diamond.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v95_centered_diamond.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 v109_sheet_pairing.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v101_horizon_anchor.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 v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v83_e8net_holomorphic_uniqueness.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
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v104_nariai_clock.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v108_pascal_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
- cross reference join PascalLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v103_trisection_normal_form.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v121_address_pinning.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v114_torsion_delta.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
- 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 v119_review_validation_2.py
literal short identifier uniquely resolves in local script registry
Research changelog · TFPT — Introduction and reading guide
B/C/D round closed. Koide attractor toy model (v93), glue uniqueness (v92), the Wolfram extension as the independent second verification path, Lean hardening; papers and website synced with the round. Content rounds v96–v100. Sheet conjugation bridge, discriminant dictionary, Koide flow time, and the look-elsewhere-corrected numerology null test (v100: joint null probability [formula in source] , conditional on the d
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/024-source.tex · lines 109 to 118
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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v96_branch_kernel_selection.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
- cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v93_koide_relaxation_toy.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
- cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
Research changelog · TFPT — Introduction and reading guide
Blind registry frozen (v84). Machine-enforced prediction registry ( predictions_frozen.json): exactly one [formula in source] number of record before JUNO; conditional entries carry their hypotheses by name. Research-contracts document added to the set.
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/024-source.tex · lines 119 to 126
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
Research changelog · TFPT — Introduction and reading guide
Compiler-closure consolidation. The TFPT development is consolidated into the current document set with the verification suite (modules v1–v82: [formula in source] glue, carrier Pascal, EM fixed point, flavor matrix, cascade, bootstrap, gravity/cosmology, transport, masses, registry and gate audits) as the single proof layer; manifests ( manifest.sha256, lean_manifest.sha256) as content identity; website mirrors the
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/changelog/sections/024-source.tex · lines 127 to 136
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- cross reference join SpectralGapAttractor.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v1_e8_glue.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 v82_koide_attractor_splitting.py
literal short identifier uniquely resolves in local script registry