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.

-1.2cm Topological Fixed-Point Theory (TFPT)\\[1.5mm] A discrete compiler for the constants of physics\\[2.5mm] Two inputs — the boundary constant [formula in source] and a five-slot carrier — build [formula in source] \\ and read off the Standard Model: status assessment and reading guide

TFPT — Introduction and reading guide · 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.

Read the original section Read the paper: TFPT — Introduction and reading guide Read the paper: Verification reference catalog

Source location and explicit evidence links

documents/introduction/preamble.tex · lines 1 to 53

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

TFPT — Introduction and reading guide

Topological Fixed-Point Theory (TFPT) constructs, from exactly two inputs — a boundary constant [formula in source] (P1) and a five-slot carrier [formula in source] (P2) — a discrete compiler for the Standard-Model skeleton: the gauge group, three families, hypercharges and the flavor matrix, with [formula in source] ( [formula in source] ) as the consistency checksum. The algebraic core is machine-checkable and the

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

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

Source location and explicit evidence links

documents/introduction/sections/001-section-what-this-is-about-the-jump-in-construction-prin.tex · lines 1 to 86

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

explicit file citation status_ledger.csv
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 file citation v3_em_alpha.py
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.wl
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 claim identifier status_ledger.csv
exact local ledger claim identifier

What this is about: the jump in construction principle

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: TFPT — Introduction and reading guide

Source location and explicit evidence links

documents/introduction/sections/001-section-what-this-is-about-the-jump-in-construction-prin.tex · lines 87 to 89

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.

In plain words

TFPT — Introduction and reading guide

What we found. TFPT reproduces dozens of real numbers of physics (particle masses, the fine-structure constant, dark-energy and inflation values) from a small set of inputs — and the compiler closure says why the same handful of small integers ( [formula in source] ) reappears in every sector: those numbers are not separate lucky hits. A single tiny ``machine'' — fed by just two inputs (a boundary number [formula in

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

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

Source location and explicit evidence links

documents/introduction/sections/001-section-what-this-is-about-the-jump-in-construction-prin.tex · lines 90 to 127

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

explicit script identifier v367_seam_s3_lattice.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 SeamScalingLimit.lean
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
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 v353_selfloop_capstone.py
literal source filename/path in TeX
explicit script identifier v368_seam_s3_inflow.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v336_continuum_limit.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v56_unique_attractor.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
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 SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v6_bootstrap.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.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 v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
cross reference join SpectralGapAttractor.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

Sharper still: one anchor [formula in source] , and [formula in source] as a compiler hull ( )

TFPT — Introduction and reading guide

The two axioms are not even independent: they are the elementary symmetric polynomials of the single parabolic anchor [formula in source] (the exponents-at-infinity / splitting type [formula in source] ): [formula in source] Its power sums [formula in source] generate the big Lie data directly: [formula in source] , [formula in source] , [formula in source] , and [formula in source] with the binary ladder [formula in

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

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

Source location and explicit evidence links

documents/introduction/sections/001-section-what-this-is-about-the-jump-in-construction-prin.tex · lines 128 to 268

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 v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v503_qgeo_emergence_light.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 v499_p2_weights_deligne_bg.py
literal source filename/path in TeX
explicit file citation v119_review_validation_2.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v510_seam_bit_freedom.py
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
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
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 v189_riemann_roch_carrier.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 v512_seam_tau_flag.py
literal source filename/path in TeX
explicit script identifier v526_seam_thermal_kms_nariai_bridge.py
literal short identifier uniquely resolves in local script registry
explicit file citation v491_p2_partition_corollary.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 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
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 v507_seam_bit_origin.py
literal source filename/path in TeX
cross reference join AnchorLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v528_seam_bit_twist_class_definition.py
literal short identifier uniquely resolves in local script registry
explicit file citation v197_rr_carrier_clifford_d5.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v499_p2_weights_deligne_bg.py
literal short identifier uniquely resolves in local script registry
explicit file citation v972_seam_interaction_front.py
literal source filename/path in TeX
explicit file citation v23_anchor_generator.py
literal source filename/path in TeX
explicit file citation v506_seam_clock_rigidity.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
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_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v525_seam_bit_twist_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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v53_compiler_core.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

The companion documents

TFPT — Introduction and reading guide

The whole development is consolidated into eight companion documents (plus this introduction), organised in layers that build on one another; this introduction is the entry point and reading guide. Each document collects the material of its layer into self-contained parts:

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

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

Source location and explicit evidence links

documents/introduction/sections/001-section-what-this-is-about-the-jump-in-construction-prin.tex · lines 269 to 301

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 v101_horizon_anchor.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v138_vw_firewall.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
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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry

The architecture at a glance

TFPT — Introduction and reading guide

The diagram below shows the whole pipeline: two inputs on the left, the discrete compiler in the middle, the physics on the right. Everything in between is a consequence.

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

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

Source location and explicit evidence links

documents/introduction/sections/001-section-what-this-is-about-the-jump-in-construction-prin.tex · lines 302 to 380

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.

The dependency DAG and the proof ledger

TFPT — Introduction and reading guide

The whole theory is a directed acyclic graph: two axioms at the source, the compiler in the middle, the observables as sinks. The DAG makes the attack surface explicit — each arrow is a named theorem or a declared input, and each node fails in exactly one way.

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

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

Source location and explicit evidence links

documents/introduction/sections/002-section-the-dependency-dag-and-the-proof-ledger.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 file citation status_ledger.csv
literal source filename/path in TeX

The compact status formula: three honest layers

TFPT — Introduction and reading guide

[formula in source] TFPT v \ closes the discrete compiler; the discrete Standard-Model structure (charges, families, flavor operators) is derived under the axioms, while [formula in source] D existence, chiral measure, mirror gap, couplings and neutrino dynamics remain open. It closes the EM fixed point, the admissible gapped IR sector and the [formula in source] spectral-action shadow. It does not yet certify a stri

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

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

Source location and explicit evidence links

documents/introduction/sections/002-section-the-dependency-dag-and-the-proof-ledger.tex · lines 60 to 94

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

explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v68_seeley_dewitt_residual.py
literal short identifier uniquely resolves in local script registry
explicit file citation v56_unique_attractor.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 SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v76_gmetric_reduction.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 file citation v14_carrier_uniqueness.py
literal source filename/path in TeX
explicit file citation v60_lambda_metrology_branch.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
explicit script identifier v77_e8_conformal_net.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 v6_bootstrap.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 script identifier v367_seam_s3_lattice.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 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
cross reference join tfpt_readouts.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 v78_vgeo_floor.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join CarrierRankUniqueness.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

The hard reduction: the live residual as typed interfaces

TFPT — Introduction and reading guide

After the compiler closure, the entire residual is the pair of accounting formulae (the compiler rest, and the strict-physical-TOE rest of the 2026-08-27/28 contract wave; tfpt_research_contracts): [formula in source] [formula in source] The first is the compiler rest — one dimensionful scale anchor, one metric-sector inclusion, and a set of deliberately typed QFT/cosmology interfaces. The second is the strict-physic

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

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

Source location and explicit evidence links

documents/introduction/sections/002-section-the-dependency-dag-and-the-proof-ledger.tex · lines 95 to 387

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 v260_k3_kummer_unification.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 v373_ftransfer_relic.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
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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v232_e8_kleinian_seam.py
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
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1006_mmst_lemma_battery.py
literal source filename/path in TeX
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
explicit script identifier v146_moebius_d4.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v372_ftransfer_boltzmann.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
cross reference join SeamEdgeChern.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
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 v75_upoint_to_vgeo.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v76_gmetric_reduction.py
literal short identifier uniquely resolves in local script registry
cross reference join PascalLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1034_parent_mirror.py
literal source filename/path in TeX
explicit script identifier v261_modular_spectral_closure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1032_covariant_curvature.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
cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1008_master_assembly_scaffold.py
literal source filename/path in TeX
explicit file citation v1011_3p1d_ladder_battery.py
literal source filename/path in TeX
explicit file citation v234_seam_holomorphy_selection.py
literal source filename/path in TeX
explicit script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1010_simplicity_bridge_census.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 v1028_gauss_d4_cap.py
literal source filename/path in TeX
explicit script identifier v175_net_existence_full_cone.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v213_ftransfer_functor.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v379_seam_s3_rp.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v999_weak_collision_hp.py
literal source filename/path in TeX
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 v1030_alg2_sector_frame.py
literal source filename/path in TeX
explicit file citation v1001_nu_pentagon_chain.py
literal source filename/path in TeX
explicit script identifier v258_dirac_covariance_induction.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_round7.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
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 GlueUniqueness.lean
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 file citation v1029_local_tensor_constraints.py
literal source filename/path in TeX
explicit script identifier v259_modular_cutoff_kappa.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
explicit script identifier v147_clock_gaussian.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 v14_carrier_uniqueness.py
literal source filename/path in TeX
explicit script identifier v308_seam_equiv_chain.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1019_coxeter_euler_completion.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 v725_phys_vgeo_torsor_audit.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 SpectralGapAttractor.lean
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
explicit script identifier v112_selfcounting_channel.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 file citation v995_kms_subnet_rigidity.py
literal source filename/path in TeX
explicit script identifier v303_ftransfer_dynamics.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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1031_quantum_tensor_curvature.py
literal source filename/path in TeX
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
cross reference join MobiusUniformisation.lean
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 file citation v1009_rho0_minimizer.py
literal source filename/path in TeX
explicit file citation v219_icosahedral_mckay.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
explicit script identifier v141_deck_selection.py
literal short identifier uniquely resolves in local script registry
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
explicit file citation v1013_thermodynamic_dynamics.py
literal source filename/path in TeX
explicit script identifier v624_external_lattice_audit.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 LorentzCongruence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1004_milnor_frobenius_gray.py
literal source filename/path in TeX
explicit script identifier v89_carrier_index_lemma.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
cross reference join tfpt_round7.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 v111_quadratic_transport.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1012_toe_gate_witnesses.py
literal source filename/path in TeX
explicit script identifier v368_seam_s3_inflow.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
explicit file citation v994_mmst_criteria_battery.py
literal source filename/path in TeX
explicit file citation v996_gauge_grammar_kill.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 v528_seam_bit_twist_class_definition.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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v998_seam_modular_closure.py
literal source filename/path in TeX
explicit file citation v1026_telb_round4_closure.py
literal source filename/path in TeX
cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1033_charged_disorder.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v144_detratio_family.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 file citation v1027_signed_det_car_wall.py
literal source filename/path in TeX
explicit file citation v993_minimal_defect_selector.py
literal source filename/path in TeX
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
explicit file citation v1005_relative_pencil_bridges.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join AnchorLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1035_matter_coupling.py
literal source filename/path in TeX
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v335_seam_equiv_unify.py
literal source filename/path in TeX
explicit file citation v23_anchor_generator.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v49_readout_rigidity.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 file citation v36_spectral_action_g2.py
literal source filename/path in TeX
explicit script identifier v371_ftransfer_pole.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_round4.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v133_zeta_budget.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 CarrierRankUniqueness.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
cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier 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
explicit file citation v6_bootstrap.py
literal source filename/path in TeX
explicit file citation v1016_state_gap_batteries.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 v1015_axiom_core_closure.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.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 v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
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 v374_ftransfer_qcd.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v149_cusp_normal.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v510_seam_bit_freedom.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v1007_det16_stability_battery.py
literal source filename/path in TeX
explicit file citation v1018_e8_directed_readout.py
literal source filename/path in TeX
cross reference join BWKeystone.lean
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_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.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v165_premise_a_closure.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v56_unique_attractor.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
explicit file citation v1000_spin2_sk_witnesses.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 file citation v1014_bridge_refinements.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 v124_resummed_clock.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v512_seam_tau_flag.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v235_seam_chern_simons.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 script identifier v145_pairing_atoms.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

The compiler: why [formula in source]

TFPT — Introduction and reading guide

The Coxeter number of [formula in source] is [formula in source] . Exactly these three prime factors are the three discrete atoms of the theory — that is the point of the compiler:

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

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

Source location and explicit evidence links

documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 1 to 74

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

explicit file citation v299_hypergraph_0d_autonomous.py
literal source filename/path in TeX
explicit file citation v327_hypergraph_rewrite.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 v395_hypergraph_coupled.py
literal source filename/path in TeX
cross reference join KronheimerMarks.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 v219_icosahedral_mckay.py
literal source filename/path in TeX
explicit file citation v396_phi0_icosahedral.py
literal source filename/path in TeX
explicit file citation v298_e8_network_attractor.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 v223_coxeter_totative_clock.py
literal source filename/path in TeX
explicit file citation v312_hypergraph_substrate.py
literal source filename/path in TeX
explicit file citation v486_transfer_full_rule.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 v487_transfer_clock_rungs.py
literal source filename/path in TeX
explicit file citation v324_hypergraph_fiber.py
literal source filename/path in TeX

The [formula in source] glue: how [formula in source] is really built

TFPT — Introduction and reading guide

The decisive, now proved step: [formula in source] and [formula in source] have the same discriminant group [formula in source] , and their discriminant-form norms are exactly two TFPT constants which add up to the [formula in source] root norm.

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

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

Source location and explicit evidence links

documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 75 to 99

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

explicit file citation v1_e8_glue.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
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

How derivation now works: the derivation map

TFPT — Introduction and reading guide

What can one concretely compute with [formula in source] ? The following map summarises what is now a consequence rather than an assumption.

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

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

Source location and explicit evidence links

documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 100 to 138

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.

Cosmology is the Pascal action grammar of the carrier

TFPT — Introduction and reading guide

With [formula in source] the cosmological readouts are a power tower on the five-slot carrier graph [formula in source] : [formula in source] EW is the unit [formula in source] , Hubble is the product over the [formula in source] vertices, [formula in source] is the product over the [formula in source] edges — the same Pascal triple that reads one generation, the action ladder and the [formula in source] root count [

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

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

Source location and explicit evidence links

documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 139 to 175

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
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v20_lepton_c_derivation.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 script identifier v71_simple_r_bridge.py
literal short identifier uniquely resolves in local script registry
explicit file citation v46_grand_mass_volume.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 script identifier v49_readout_rigidity.py
literal short identifier uniquely resolves in local script registry
explicit file citation v18_quark_yukawa.py
literal source filename/path in TeX

Physical, geometric, topological: why the architecture is plausible

TFPT — Introduction and reading guide

The closure works on three levels at once: physically, [formula in source] is the fixed point of one equation and one generator drives many scales; geometrically, the [formula in source] spinor and the puncture geometry [formula in source] produce [formula in source] and [formula in source] , glued to [formula in source] ; topologically, the common discriminant [formula in source] (the [formula in source] winding) fo

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

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

Source location and explicit evidence links

documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 176 to 190

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.

What role [formula in source] now plays exactly

TFPT — Introduction and reading guide

[formula in source] is no longer the starting point but the output format: Bookkeeping: [formula in source] is the unimodular container in which carrier ( [formula in source] ) and family ( [formula in source] ) fit together consistently. Its numbers [formula in source] are carrier traces, not inputs. Consistency test: unimodularity ( [formula in source] ) is a hard condition; it closes only because the discriminant-

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

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

Source location and explicit evidence links

documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 191 to 216

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.

What this means for the theory-of-everything question

TFPT — Introduction and reading guide

0.46 Flavor residual — ratios closed; only the absolute scale is the wall-selection. Mehta–Seshadri supplies the equivalence-class framework (stable parabolic [formula in source] unitary representation); the algebraic selector [formula in source] , the [formula in source] spectrum and the splitting type are fixed (now derived: [formula in source] lattice, [formula in source] from [formula in source] , v69/ v70; since

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

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

Source location and explicit evidence links

documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 217 to 282

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

cross reference join SeamApplicabilityLedger.lean
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 script identifier v137_qplus_cohomology.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v369_qgamb_redundancy.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
explicit script identifier v259_modular_cutoff_kappa.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 v136_dual_normal_selector.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v364_vgeo_sharpen.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 v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v374_ftransfer_qcd.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 SeamScalingLimit.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 v473_entropic_action_bridge.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 v70_q_integer_lift.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 v69_d4_q_geometry.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 script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v261_modular_spectral_closure.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 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 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
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
explicit script identifier v49_readout_rigidity.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 v380_grav_kms_hessian.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v360_grav_gap_corrections.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 v367_seam_s3_lattice.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 script identifier v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v260_k3_kummer_unification.py
literal short identifier uniquely resolves in local script registry

The closure ledger: what is done, and what genuinely remains

TFPT — Introduction and reading guide

A complete theory must close the discrete structure, the dimensionless constants, the mass spectrum, gravity, and the quantum measure. The current state, graded honestly: 6pt @p4.6cmcY@ TOE piece & Status & If not complete: what closes it \\ gauge group, [formula in source] , hypercharge, [formula in source] & & — complete \\ [formula in source] , group closure & & — complete \\ bootstrap [formula in source] , `` [fo

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

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

Source location and explicit evidence links

documents/introduction/sections/003-section-the-compiler-why-30-2-cdot3-cdot5.tex · lines 283 to 377

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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v330_qgamb_admissible_measure.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v986_nu_scalaron_rung.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
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
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v274_scale_overdetermination.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 v124_resummed_clock.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v261_modular_spectral_closure.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 script identifier v260_k3_kummer_unification.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 v265_qft4d_fork_freeze.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 v122_margin_theorem.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v308_seam_equiv_chain.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
explicit script identifier v282_e8_tau_i_unification.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 script identifier v481_seesaw_carrier_ladder.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v304_idg_nonlocal_ghost.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 SeamEdgeChern.lean
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 script identifier v358_grav_entropy_equilibrium.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v468_dm2_ratio_jarlskog.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v276_qgeo_flat_closes_commutator.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v380_grav_kms_hessian.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 script identifier v133_zeta_budget.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
explicit script identifier v258_dirac_covariance_induction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v332_qgamb_metric_sector.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v374_ftransfer_qcd.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 v272_nu_mass_scale.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v335_seam_equiv_unify.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
explicit script identifier v259_modular_cutoff_kappa.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
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 v277_seam_calderon_e8_match.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v334_conformal_resolution.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 v136_dual_normal_selector.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v246_unification_data_crosscheck.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v142_frame_integrality.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v278_lsz_bridge_unitarity.py
literal short identifier uniquely resolves in local script registry
cross reference join Mu4Commutation.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 v273_eg_gauge_running.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v270_pmns_jarlskog_assembly.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v467_thirdgen_mixing_pattern.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 v144_detratio_family.py
literal short identifier uniquely resolves in local script registry
cross reference join CartanDeterminants.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 v71_simple_r_bridge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v371_ftransfer_pole.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v271_eg_oneloop_quartic.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
cross reference join BWKeystone.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 v375_observatory_registry.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v49_readout_rigidity.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
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 v336_continuum_limit.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
explicit script identifier v138_vw_firewall.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v269_spert_paqft_skeleton.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 v145_pairing_atoms.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 v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry

TFPT in the light of algorithmic physics: Zuse–Schmidhuber–Wolfram

TFPT — Introduction and reading guide

The ``compiler'' framing places TFPT in an older lineage — the idea that physics is, at bottom, the output of a short computation — and it is worth stating precisely what TFPT shares with that lineage and where it deliberately parts company, so the family resemblance is not mistaken for a claim the theory does not make. Three landmarks fix the coordinates. Zuse ( Rechnender Raum, 1969) proposed that the universe is l

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

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

Source location and explicit evidence links

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

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.

Three shared instincts

TFPT — Introduction and reading guide

Minimal description length as the selection principle. ``No load-bearing free number, only [formula in source] '' is, in these terms, a Kolmogorov-style compression statement — the plausibility discussion below already names it Kolmogorov-like compression: many numbers from little — and the grammar-internal null model of the next section turns it from rhetoric into a measured bound. Deterministic, resource-bounded ge

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

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

Source location and explicit evidence links

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

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.

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