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

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

Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)

Research contracts

Typing. A research contract \ (ledger row TFPT.TOE.COMPLETE.01), registered 2026-08-29 from review wave 4. This row names the AND of eight gates; it does not close any of them and it does not upgrade a marker. Dual rest: the compiler residual [formula in source] sits beside [formula in source] ; this contract is the named AND, not a closure of either.

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/019-source.tex · lines 1 to 136

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

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v1020_spectator_sector_obstruction.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1016_state_gap_batteries.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1024_parent_internal_boundaries.py
literal source filename/path in TeX
explicit file citation v1025_telb_c1_c2a_certificates.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1014_bridge_refinements.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1023_derivative_filtered_wall.py
literal source filename/path in TeX
explicit file citation v1022_telb_round3_certificates.py
literal source filename/path in TeX
explicit file citation v1015_axiom_core_closure.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 v1013_thermodynamic_dynamics.py
literal source filename/path in TeX
explicit file citation v1012_toe_gate_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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Research Contract — FLAV.NUSCALE.06 (pentagon-class misalignment candidate)

Research contracts

Typing. A candidate \ (ledger row FLAV.NUSCALE.06); mechanism [formula in source] the [formula in source] -to-flavor operator . No seesaw closure; FLAV.NUSCALE.05 unmoved. ( v1001_ nu_ pentagon_ chain.py.)

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/019-source.tex · lines 137 to 154

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

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

Research Contract — FLAV.NU.TEXTURE.MECHANISM.01 (both structural nulls as binding constraints)

Research contracts

Typing. A research contract \ (ledger row FLAV.NU.TEXTURE.MECHANISM.01), registered 2026-08-29 from review wave 5. ( v1003_ nu_ structural_ nulls.py.) Executed content. Charged-sector data [formula in source] , [formula in source] (coset min-norms all [formula in source] ) . Schur-texture NULL : all [formula in source] preregistered [formula in source] combinations fail; D4 reflection forces [formula in source] ; hie

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/019-source.tex · lines 155 to 200

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

explicit file citation v1003_nu_structural_nulls.py
literal source filename/path in TeX
explicit file citation v1024_parent_internal_boundaries.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1012_toe_gate_witnesses.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Research Contract — SEAM.MILNOR.LOCALRING.01 (canonical identification of the seam collar with the reduced Milnor algebra)

Research contracts

Typing. A research contract \ (ledger row SEAM.MILNOR.LOCALRING.01), registered 2026-08-30 from review wave 6. ( v1004_ milnor_ frobenius_ gray.py.) Demand. A canonical identification between the raw seam collar / [formula in source] transition bus and the reduced Milnor algebra [formula in source] preserving simultaneously the dual-number action, the Frobenius pairing, the Gray torsor, the deck action and CP. Accept

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/019-source.tex · lines 201 to 279

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

explicit script identifier v4_flavor_matrix.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1005_relative_pencil_bridges.py
literal source filename/path in TeX
explicit file citation v1014_bridge_refinements.py
literal source filename/path in TeX
explicit script identifier v1014_bridge_refinements.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 AnchorLadder.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v1005_relative_pencil_bridges.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v106_review_validation.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v119_review_validation_2.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
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 v1004_milnor_frobenius_gray.py
literal source filename/path in TeX
cross reference join YukawaPrimitive.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v1004_milnor_frobenius_gray.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1015_axiom_core_closure.py
literal source filename/path in TeX

Research Contract — GRAV.WEINBERG.WITTEN.01 (Weinberg–Witten firewall before any spin-2 marker move)

Research contracts

Typing. A research contract \ (ledger row GRAV.WEINBERG.WITTEN.01), registered 2026-08-30 from review wave 6. Child of TOE gate T7; cross-link GRAV.SPIN2.EMERGENCE.01 (listed here, not back — that would cycle). Demand. The microscopic Hamiltonian family must not possess a fundamental Lorentz-covariant local conserved [formula in source] ; Lorentz symmetry, diffeomorphism Ward identities and the spin-2 mode must emerg

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/019-source.tex · lines 280 to 295

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

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Externalization Contract — SEAM.EQUIV.01 (the seam scaling-limit theorem, packaged for external specialists)

Research contracts

Typing. This section is a hand-off document: it packages the one remaining seam obligation as a self-contained problem statement for an outside specialist in conformal nets / vertex operator algebras / algebraic QFT. It documents, it does not close: the ledger row SEAM.EQUIV.01 stays \ (its conditional route SEAM.EQUIV.MMST.01 is closed modulo cited theorems; the unconditional parent is the target below). Nothing in

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/020-source.tex · lines 1 to 162

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

explicit file citation v1016_state_gap_batteries.py
literal source filename/path in TeX
cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
explicit file citation v367_seam_s3_lattice.py
literal source filename/path in TeX
explicit file citation v376_seam_s3_centralcharge.py
literal source filename/path in TeX
explicit file citation SeamApplicabilityLedger.lean
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v154_simple_current_theorem.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.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 file citation SeamEquivChain.lean
literal source filename/path in TeX
explicit script identifier v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v301_route_a_invertible.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
explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
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 v368_seam_s3_inflow.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 v154_simple_current_theorem.py
literal source filename/path in TeX
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
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 v368_seam_s3_inflow.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 run_all.py
literal source filename/path in TeX
explicit file citation v356_continuum_mmst_applicability.py
literal source filename/path in TeX
explicit lean symbol SeamEquivChain.lean
exact texttt symbol under explicit Lean/theorem context
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v378_seam_s3_modular.py
literal short identifier uniquely resolves in local script registry
explicit file citation v286_seam_equivalence_contract.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation SeamScalingLimit.lean
literal source filename/path in TeX
explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
explicit file citation v378_seam_s3_modular.py
literal source filename/path in TeX
explicit lean symbol SeamEquivChain.lean
exact texttt symbol under explicit Lean/theorem context
explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v286_seam_equivalence_contract.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 v351_continuum_realisation_sharpened.py
literal short identifier uniquely resolves in local script registry
explicit file citation v377_seam_s3_e8character.py
literal source filename/path in TeX
explicit script identifier v336_continuum_limit.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 AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v125_glue_qsystem.py
literal source filename/path in TeX
explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v281_holomorphy_modular_data.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 file citation v973_seam_route_narrowing.py
literal source filename/path in TeX
explicit lean symbol SeamScalingLimit.lean
exact texttt symbol under explicit Lean/theorem context
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v379_seam_s3_rp.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
explicit file citation v366_mmst_seam_collar.py
literal source filename/path in TeX
explicit lean symbol SeamEquivChain.lean
exact texttt symbol under explicit Lean/theorem context
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v356_continuum_mmst_applicability.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v366_mmst_seam_collar.py
literal short identifier uniquely resolves in local script registry
explicit file citation v994_mmst_criteria_battery.py
literal source filename/path in TeX
cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation BWKeystone.lean
literal source filename/path in TeX
explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
explicit file citation status_ledger.csv
literal source filename/path in TeX
explicit script identifier v461_seam_strict_locality.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 v217_marks_emergence_scan.py
literal short identifier uniquely resolves in local script registry

Externalization Contract — ALPHA.QUILLEN.EXACT.01 (the determinant-line variation theorem, packaged for external specialists)

Research contracts

Typing. The second hand-off document: the one remaining EM obligation, packaged for an outside specialist in determinant lines / [formula in source] -invariants / index theory. It documents, it does not close: ALPHA.QUILLEN.EXACT.01 stays \ (external math, type A, v384), and it is a face of SEAM.EQUIV.01 ( v382) — not a second independent gate. The value [formula in source] is closed \ regardless (unique root [formul

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/020-source.tex · lines 163 to 386

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

explicit script identifier v382_alpha_quillen_exact.py
literal short identifier uniquely resolves in local script registry
explicit file citation v985_quillen_channel_swap.py
literal source filename/path in TeX
explicit script identifier v391_alpha_quillen_progress.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v341_alpha_quillen.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v974_alpha_faces_computed.py
literal short identifier uniquely resolves in local script registry
explicit file citation v995_kms_subnet_rigidity.py
literal source filename/path in TeX
explicit script identifier v246_unification_data_crosscheck.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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v484_seam_contact_unit.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v433_alpha_quillen_heatkernel.py
literal source filename/path in TeX
explicit script identifier v472_quillen_detline_moduli.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v433_alpha_quillen_heatkernel.py
literal short identifier uniquely resolves in local script registry
explicit file citation v367_seam_s3_lattice.py
literal source filename/path in TeX
explicit file citation v382_alpha_quillen_exact.py
literal source filename/path in TeX
explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
explicit file citation v3_em_alpha.py
literal source filename/path in TeX
explicit script identifier v342_em_ward_heatkernel.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 v48_em_ward.py
literal short identifier uniquely resolves in local script registry
explicit file citation v974_alpha_faces_computed.py
literal source filename/path in TeX
explicit file citation v391_alpha_quillen_progress.py
literal source filename/path in TeX
explicit file citation v341_alpha_quillen.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 v384_residual_certification.py
literal short identifier uniquely resolves in local script registry
explicit file citation SeamScalingLimit.lean
literal source filename/path in TeX
explicit file citation v485_contact_diagonal_closed.py
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 v485_contact_diagonal_closed.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
explicit file citation v48_em_ward.py
literal source filename/path in TeX
explicit script identifier v470_alpha_inflow_level.py
literal short identifier uniquely resolves in local script registry
explicit file citation v472_quillen_detline_moduli.py
literal source filename/path in TeX
explicit file citation v435_alpha_quillen_chernlevel.py
literal source filename/path in TeX
explicit file citation status_ledger.csv
literal source filename/path in TeX
explicit file citation v484_seam_contact_unit.py
literal source filename/path in TeX
explicit script identifier v159_pyrate_gauge_crosscheck.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
explicit file citation v434_alpha_quillen_betafunction.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 v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
explicit file citation v470_alpha_inflow_level.py
literal source filename/path in TeX
explicit script identifier v434_alpha_quillen_betafunction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v435_alpha_quillen_chernlevel.py
literal short identifier uniquely resolves in local script registry
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 file citation v996_gauge_grammar_kill.py
literal source filename/path in TeX
explicit file citation SeamEdgeChern.lean
literal source filename/path in TeX
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Certifiability and recommended order

Research contracts

@Ylc@ Building block & Machine & Hardness \\ [formula in source] enumeration ( [formula in source] ) & Lean / Python / Wolfram & easy ( done) \\ [formula in source] fixed-locus polynomial ( [formula in source] ) & Sage / Mathematica & medium \\ selector uniqueness ( [formula in source] ) & interval arithmetic & medium \\ SNF, determinants, spectra & Lean & easy–medium \\ principal-symbol ellipticity (G1) & xAct / Cad

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

documents/tfpt_research_contracts/sections/021-source.tex · lines 1 to 307

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

explicit script identifier v136_dual_normal_selector.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
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 v971_markov_embedding_generator.py
literal source filename/path in TeX
explicit script identifier v425_dyn_transfer_universal.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v185_axion_relic_solver.py
literal source filename/path in TeX
explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
explicit file citation v303_ftransfer_dynamics.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 file citation v724_phys_t3b_modular_flows.py
literal source filename/path in TeX
explicit script identifier v54_seam_horizon_keystones.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v183_koide_f_corner_transfer.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 v723_phys_modular_clock.py
literal short identifier uniquely resolves in local script registry
explicit file citation v792_ftransfer_kms_coset.py
literal source filename/path in TeX
explicit script identifier v99_koide_flow_time.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v383_dynamics_universal.py
literal short identifier uniquely resolves in local script registry
explicit file citation v777_ftransfer_clock_jets.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
explicit file citation v578_native_jets.py
literal source filename/path in TeX
explicit file citation v425_dyn_transfer_universal.py
literal source filename/path in TeX
explicit script identifier v93_koide_relaxation_toy.py
literal short identifier uniquely resolves in local script registry
explicit file citation v213_ftransfer_functor.py
literal source filename/path in TeX
explicit file citation v184_etaB_anchored_boltzmann.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 v82_koide_attractor_splitting.py
literal short identifier uniquely resolves in local script registry
explicit file citation v571_cr_discrete_corners.py
literal source filename/path in TeX
explicit file citation v575_cr_continuous_uniflow.py
literal source filename/path in TeX
explicit file citation v566_parabolic_anchor_selfcode.py
literal source filename/path in TeX
explicit file citation v723_phys_modular_clock.py
literal source filename/path in TeX
explicit script identifier v187_ftransfer_laws.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 v183_koide_f_corner_transfer.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 v632_ftransfer_pgl2.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v533_ftransfer_disc7_norm.py
literal short identifier uniquely resolves in local script registry
explicit file citation v187_ftransfer_laws.py
literal source filename/path in TeX
explicit script identifier v139_selector_triangle.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v578_native_jets.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v240_gns_os_reconstruction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v238_modular_lindblad_dynamics.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 v777_ftransfer_clock_jets.py
literal short identifier uniquely resolves in local script registry
cross reference join CoverEmbedding.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v724_phys_t3b_modular_flows.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v320_galois_cp_relation.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v224_diamond_ftransfer_path.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

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.

Read the original section Read the paper: TFPT — Introduction and reading guide Read the paper: Origin Theory Read the paper: Architecture, E8 and the electromagnetic fixed point Read the paper: Standard Model and flavor structure Read the paper: E8 audit and bootstrap Read the paper: Frontier and open physical interfaces Read the paper: Red-team audit Read the paper: Horizon readouts Read the paper: Research contracts Read the paper: Verification safeguards

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.

explicit file citation status_ledger.csv
literal source filename/path in TeX

Front matter / support

\\[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 · Origin Theory · Architecture, E8 and the electromagnetic fixed point · Standard Model and flavor structure · Frontier and open physical interfaces · Horizon readouts · Research contracts · input 4 origin theory

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

Read the original section Read the paper: Origin Theory Read the paper: Architecture, E8 and the electromagnetic fixed point Read the paper: Standard Model and flavor structure Read the paper: Frontier and open physical interfaces Read the paper: Horizon readouts Read the paper: Research contracts

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 1 to 11

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

No explicit verification citation is attached to this section in the registry.

External works built upon

The TFPT discrete core (the two axioms, the [formula in source] glue, the integer skeleton) is self-contained and machine-checked. Its bridges to continuum/AQFT physics, to gravity and to the lattice/singularity picture build on established mathematics, listed here by topic; the body refers to these by author name.

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

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 12 to 19

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.

Modular theory and algebraic quantum field theory.

M. Takesaki, Tomita's Theory of Modular Hilbert Algebras and its Applications, Lecture Notes in Math.\ 128, Springer (1970). J. J. Bisognano, E. H. Wichmann, On the duality condition for a Hermitian scalar field / for quantum fields, J. Math.\ Phys.\ 16 (1975) 985–1007; 17 (1976) 303–321. K. Osterwalder, R. Schrader, Axioms for Euclidean Green's functions I, II, Comm.\ Math.\ Phys.\ 31 (1973) 83–112; 42 (1975) 281–30

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

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 20 to 42

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.

Conformal nets, vertex operator algebras and lattice constructions.

I. B. Frenkel, V. G. Kac, Basic representations of affine Lie algebras and dual resonance models, Invent.\ Math.\ 62 (1980) 23–66; G. Segal, Unitary representations of some infinite-dimensional groups, Comm.\ Math.\ Phys.\ 80 (1981) 301–342. T. J. Osborne, A. Stottmeister, Conformal field theory from lattice fermions, Comm.\ Math.\ Phys.\ 398 (2023) 219–289, arXiv:2107.13834, doi:10.1007/s00220-022-04521-8. (This is

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

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 43 to 71

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.

Lattices and quadratic forms.

J. H. Conway, N. J. A. Sloane, Sphere Packings, Lattices and Groups, 3rd ed., Grundlehren der math.\ Wiss.\ 290, Springer (1999). C. L. Siegel, \"Uber die analytische Theorie der quadratischen Formen (the Minkowski–Siegel mass formula), Ann.\ of Math.\ 36 (1935) 527–606.

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

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 72 to 79

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.

Singularities and geometry.

E. Brieskorn, Beispiele zur Differentialtopologie von Singularit\"aten, Invent.\ Math.\ 2 (1966) 1–14. J. Milnor, Singular Points of Complex Hypersurfaces, Ann.\ of Math.\ Studies 61, Princeton Univ.\ Press (1968).

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

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 80 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.

Spectral geometry, gravity and thermal time.

A. H. Chamseddine, A. Connes, The spectral action principle, Comm.\ Math.\ Phys.\ 186 (1997) 731–750. A. Connes, C. Rovelli, Von Neumann algebra automorphisms and time–thermodynamics relation in general covariant quantum theories, Class.\ Quantum Grav.\ 11 (1994) 2899–2918. R. M. Wald, Black hole entropy is the Noether charge, Phys.\ Rev.\ D 48 (1993) R3427–R3431. H. Casini, M. Huerta, R. C. Myers, Towards a derivati

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

Source location and explicit evidence links

tex-artefacts/tfpt_references.tex · lines 88 to 100

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

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.

explicit file citation status_ledger.csv
literal source filename/path in TeX

Front matter / support

tfpt research contracts · Research contracts

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

Read the original section Read the paper: Research contracts

Source location and explicit evidence links

tex-artefacts/toe_research_20260909.tex · lines 1 to 1

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