Skip to main content

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.

Three deliberate divergences

TFPT — Introduction and reading guide

One forced program, not an ensemble. Schmidhuber's shortest program computes all universes and privileges none; TFPT bets the opposite — an over-determined bootstrap fixed point that forces a single dimensionless skeleton ( [formula in source] fixed three independent ways). TFPT is a candidate for the short program of our constants, not a measure over programs. The description language is algebraic. TFPT's compressio

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

Source location and explicit evidence links

documents/introduction/sections/004-section-tfpt-in-the-light-of-algorithmic-physics-zuse-sc.tex · lines 38 to 69

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

Does this make the theory more probable?

TFPT — Introduction and reading guide

Plausibility balance. Pro: (a) two inputs instead of many; (b) [formula in source] to [formula in source] (CODATA-2022, [formula in source] ) as a fixed point, not a fit; (c) [formula in source] constructed, not postulated; (d) one compiler generates several sectors [formula in source] fewer degrees of freedom, more predictive power. Contra/open: what remains are only standard steps (cluster expansion in the thermody

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

Source location and explicit evidence links

documents/introduction/sections/004-section-tfpt-in-the-light-of-algorithmic-physics-zuse-sc.tex · lines 70 to 87

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.

Predictions for running and upcoming experiments

TFPT — Introduction and reading guide

Because one generator now sits behind the numbers, the theory makes a set of concrete, falsifiable statements that running or near-term experiments are actively testing. Each row gives the TFPT value, the new derivation behind it, the experiment, and an honest status.

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

Source location and explicit evidence links

documents/introduction/sections/004-section-tfpt-in-the-light-of-algorithmic-physics-zuse-sc.tex · lines 88 to 158

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 v71_simple_r_bridge.py

    literal short identifier uniquely resolves in local script registry

  • explicit claim identifier status_ledger.csv

    exact local ledger claim identifier

  • explicit file citation predictions_frozen.json

    literal source filename/path in TeX

  • explicit file citation v84_frozen_registry.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

  • 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 file citation freeze_file.csv

    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 script identifier v86_nstar_reheating.py

    literal short identifier uniquely resolves in local script registry

  • explicit file citation v100_numerology_null_mc.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 v69_d4_q_geometry.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

Conclusion

TFPT — Introduction and reading guide

tocsectionConclusion TFPT's sectors form an impressive collection of closures sharing common numbers. The compiler closure explains why they are the same numbers: a small discrete generator [formula in source] builds, from two inputs [formula in source] via [formula in source] , the [formula in source] container and outputs the Standard Model, the constants and the scale grammar from there. The theory thereby becomes

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

Source location and explicit evidence links

documents/introduction/sections/004-section-tfpt-in-the-light-of-algorithmic-physics-zuse-sc.tex · lines 159 to 170

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.

Appendix: computational verification (reproducibility)

TFPT — Introduction and reading guide

Every claim in this document marked \ (exact identity), \ (Lie/lattice theorem) or \ (numerical fixed point) is re-derived from the two axioms [formula in source] alone by a small, self-contained Python suite in the repository folder verification/. The inline references [verification/ [formula in source] ] throughout the documents point to the exact script; the table below is the master map (its source is the shared

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

Source location and explicit evidence links

documents/introduction/sections/004-section-tfpt-in-the-light-of-algorithmic-physics-zuse-sc.tex · lines 171 to 214

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

  • explicit script identifier v276_qgeo_flat_closes_commutator.py

    literal short identifier uniquely resolves in local script registry

  • cross reference join SeamDeckClosure.lean

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

  • cross reference join SeamEquivChain.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 file citation status_ledger.csv

    literal source filename/path in TeX

  • cross reference join SeamScalingLimit.lean

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

  • explicit script identifier v481_seesaw_carrier_ladder.py

    literal short identifier uniquely resolves in local script registry

  • explicit script identifier v407_dn_pairings_omega.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 run_all.py

    literal source filename/path in TeX

  • 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 SeamResidualAxiom.lean

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

  • explicit file citation v1_e8_glue.py

    literal source filename/path in TeX

  • explicit file citation README.md

    literal source filename/path in TeX

  • explicit script identifier v302_seam_gap.py

    literal short identifier uniquely resolves in local script registry

  • explicit script identifier v408_phi0_puncture_heatkernel.py

    literal short identifier uniquely resolves in local script registry

  • explicit claim identifier status_ledger.csv

    exact local ledger claim identifier

  • cross reference join SeamApplicabilityLedger.lean

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

  • explicit script identifier v303_ftransfer_dynamics.py

    literal short identifier uniquely resolves in local script registry

Front matter / support

TFPT — Introduction and reading guide

@p2.5cmp4.9cmYc@ Observable & TFPT value \& derivation & Experiment (running / upcoming) & St. \\ solar angle [formula in source] & prediction of record [formula in source] ; TBM [formula in source] seam misalignment [formula in source] (cond.) & JUNO: first [formula in source] \,d run [formula in source] (compatible), precision phase pending & / \\ reactor angle [formula in source] & [formula in source] ; seed [form

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

Source location and explicit evidence links

tex-artefacts/predictions.tex · lines 1 to 59

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

  • explicit script identifier v88_cp_phase_audit.py

    literal short identifier uniquely resolves in local script registry

  • 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

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · Verification safeguards · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap

Plain language: TFPT (Topological Fixed-Point Theory) is a small discrete compiler. Two inputs — the seam constant [formula in source] and the carrier rank [formula in source] — build [formula in source] and read off the Standard-Model skeleton, the constants and the scale grammar. The series is the introduction plus five numbered papers and four companions (plus one standalone working note), best read in order: intr

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

Source location and explicit evidence links

tex-artefacts/tfpt_docset.tex · lines 1 to 44

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

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · Verification safeguards · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · Verification reference catalog

\\[2pt] [formula in source] — the unique even unimodular rank- [formula in source] glue \ [E] exact (lattice).

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

Source location and explicit evidence links

tex-artefacts/tfpt_figures.tex · lines 1 to 150

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.

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap

Two inputs, one compiler. From the boundary constant [formula in source] (axiom P1) and the five-slot carrier [formula in source] (axiom P2) — jointly the elementary symmetric data of one anchor [formula in source] — the discrete compiler [formula in source] is built, and the Standard-Model skeleton (gauge group, three families, hypercharges, the flavor matrix), the dimensionless constants ( [formula in source] ) and

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

Source location and explicit evidence links

tex-artefacts/tfpt_status.tex · lines 1 to 84

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

  • explicit script identifier v330_qgamb_admissible_measure.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.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

  • explicit script identifier v358_grav_entropy_equilibrium.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

  • explicit script identifier v60_lambda_metrology_branch.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

  • explicit claim identifier status_ledger.csv

    exact local ledger claim identifier

  • explicit script identifier v335_seam_equiv_unify.py

    literal short identifier uniquely resolves in local script registry

  • explicit claim identifier status_ledger.csv

    exact local ledger claim identifier

  • explicit script identifier v473_entropic_action_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_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 v469_seam_crossedproduct_route.py

    literal short identifier uniquely resolves in local script registry

  • cross reference join SeamEdgeChern.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 script identifier v367_seam_s3_lattice.py

    literal short identifier uniquely resolves in local script registry

  • cross reference join AxiomCheck.lean

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

  • explicit script identifier v369_qgamb_redundancy.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 claim identifier status_ledger.csv

    exact local ledger claim identifier

  • explicit script identifier v368_seam_s3_inflow.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

  • 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

  • explicit claim identifier status_ledger.csv

    exact local ledger claim identifier

  • explicit script identifier v76_gmetric_reduction.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 v153_no_unit_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 SeamResidualAxiom.lean

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

  • cross reference join SeamScalingLimit.lean

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

  • explicit script identifier v378_seam_s3_modular.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

  • explicit script identifier v336_continuum_limit.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 SeamApplicabilityLedger.lean

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

  • explicit script identifier v377_seam_s3_e8character.py

    literal short identifier uniquely resolves in local script registry

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · Verification safeguards · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · Verification reference catalog

positioning,arrows.meta,fit,backgrounds,calc,shapes.geometric,shapes.misc

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

Source location and explicit evidence links

tex-artefacts/tfpt_style.tex · lines 1 to 145

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

Front matter / support

TFPT — Introduction and reading guide · Verification reference catalog

@p3.5cmY@ Script & What it machine-checks \\ Script & What it machine-checks (continued) \\ 2r@ continued on next page\\ v1_ e8_ glue.py & glue theorem [formula in source] : [formula in source] , [formula in source] , [formula in source] , [formula in source] \\ v2_ carrier_ pascal.py & [formula in source] unique Pascal solution; [formula in source] , [formula in source] , [formula in source] , [formula in source] ,

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

Source location and explicit evidence links

tex-artefacts/verification.tex · lines 1 to 738

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

Front matter / support

origin theory · tfpt research contracts · tfpt 1 architecture e8 · tfpt 2 standard model · tfpt research contracts · tfpt 1 architecture e8 · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · TFPT — Introduction and reading guide · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · E8 audit and bootstrap · Frontier and open physical interfaces · Red-team audit · Horizon readouts · Research contracts · Verification safeguards · input 4 origin theory · input 5 tfpt 3 e8 audit bootstrap · Verification reference catalog

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

Source location and explicit evidence links

tex-artefacts/version.tex · lines 1 to 22

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.

TFPT — Changelog\\[1mm] All changes and new results, by date

Research changelog · TFPT — Introduction and reading guide

TFPT — Changelog\\[1mm] All changes and new results, by date Stefan Hamann Alessandro Rizzo This file is the canonical, dated record of every change to the TFPT theory development: new verification modules ( vN), status changes, editorial passes and infrastructure. It is maintained in the same change as the work it records, and it is also imported at the end of the introduction document. Module numbers vN refer to ve

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

Source location and explicit evidence links

documents/changelog/preamble.tex · lines 1 to 57

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

Appendix: changelog

Research changelog · TFPT — Introduction and reading guide

tocsectionAppendix: changelog The dated record of every change (canonical source: changelog.tex, also compiled standalone). Module numbers vN refer to verification/vN_*.py.

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

Source location and explicit evidence links

documents/changelog/preamble.tex · lines 58 to 63

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.

2026-10-18: Project separation and retained physics history

Research changelog · TFPT — Introduction and reading guide

The combined publication history was separated by research ownership. Complete original dated entries remain byte-preserved in the independent archive, including mixed entries that also recorded physical work. The following existing TFPT modules retain their original identifiers and their currently scoped physical, compiler or verification roles. This entry records ownership and preserves history navigation; it does

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

Source location and explicit evidence links

documents/changelog/sections/001-source.tex · lines 1 to 102

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

2026-09-29 (CLXIII): Executable TFPT explorer and consolidated session synthesis

Research changelog · TFPT — Introduction and reading guide

The new tfpt_explorer package connects the origin principles, algebraic compiler, geometric and topological structures, physical readouts, and their evidence in an executable process with a guided graphical tour. It includes source browsing, verification and experiment discovery, and a Lean bridge that preserves the distinction between formal statements and executable numerical checks. Six recent source documents and

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

Source location and explicit evidence links

documents/changelog/sections/001-source.tex · lines 103 to 121

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.

2026-09-09 (CLXII): Source fields, full lattice dynamics and Clock/E8 bridge consolidated

Research changelog · TFPT — Introduction and reading guide

The post-Round 27 research archive, including Rounds 28–50 and subsequent named branches, is integrated without rewriting source-pinned historical records. The contracts paper gives a consolidated derivation of local charged CAR fields from the original filled QWZ sea: both adjoints, integer charge, finite-energy generator convergence and the top-edge charge minimum [formula in source] . Neutral four-point collision

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

Source location and explicit evidence links

documents/changelog/sections/001-source.tex · lines 122 to 151

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.

2026-09-07 (CLXI): Non-RH research through Round 27 integrated into repository, papers and website

Research changelog · TFPT — Introduction and reading guide

The previously local theory-contract archive is shipped with its proofs, source-pinned checkers and immutable per-round validation snapshots. The intervening geometry, positive-parent, constraint-domain and charge transport branches retain their distinct hypotheses and additional off-shell inputs; they are not combined into a claimed microscopic TOE. The contracts paper now includes the full-reference argument for th

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

Source location and explicit evidence links

documents/changelog/sections/001-source.tex · lines 152 to 183

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

2026-09-06 (CLX): QWZ zero-mode portability correction and a free 3D matter contract

Research changelog · TFPT — Introduction and reading guide

Linux reproduction exposed an eigensolver-dependent choice of a pure zero-mode vacuum in v1033_charged_disorder.py. The numerical diagnostic now uses the basis-independent fixed-particle ground-space mixture and computes variational energy bounds over every pure zero-space filling. At [formula in source] the smooth [formula in source] -scaled mixture excess is [formula in source] , with full ground-space interval [fo

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

Source location and explicit evidence links

documents/changelog/sections/001-source.tex · lines 184 to 208

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

  • explicit file citation v1033_charged_disorder.py

    literal source filename/path in TeX

  • cross reference join tfpt_round7.wl

    TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

2026-09-05 (CLIX): non-RH round 7 — free quantum curvature, charged twists and interaction boundaries

Research changelog · TFPT — Introduction and reading guide

Five modules v1031– v1035 add [formula in source] typed checks (183 exact, 13 source-contract, 37 floating) to the registered suite ( [formula in source] modules), including the round-6 quantum prerequisite. v1031_quantum_tensor_curvature.py ( [formula in source] ) constructs the zero-mean Weyl/Fock target and its distribution limit; v1032_covariant_curvature.py ( [formula in source] ) supplies exact identities for t

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

Source location and explicit evidence links

documents/changelog/sections/001-source.tex · lines 209 to 236

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

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.