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 — SEAM.BULK4D.RECON.01 (from seam data to a 4D local quantum theory)

Research contracts

Typing. A research contract \ (ledger row SEAM.BULK4D.RECON.01: Open, research contract), not a claim. It makes explicit the theorem that was previously only implicit between the SEAM.EQUIV.01 conclusion (a chiral [formula in source] boundary object) and the WOIT.OS.TWISTOR.01 goal statement (a Poincar\'e-covariant, causal, chiral 4D theory): the missing seam [formula in source] bulk reconstruction is a theorem of it

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/014-source.tex · lines 245 to 298

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 v524_woit_beta2_os_quotient.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 v519_woit_theta_rp_free.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 v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v377_seam_s3_e8character.py
literal short identifier uniquely resolves in local script registry
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 claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join SeamEquivChain.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 v302_seam_gap.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1020_spectator_sector_obstruction.py
literal source filename/path in TeX
explicit script identifier v378_seam_s3_modular.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 script identifier v957_ccc_crossover_kinematics.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v379_seam_s3_rp.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 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 — BULK.PRIME_COMPLETION.01 (prime/seam-generated completions, no spectator)

Research contracts

Typing. A research contract \ (ledger row BULK.PRIME_COMPLETION.01: Open, research contract), not a claim. Registered 2026-09-04 from the r644 audit harvest; it replaces the ``unique from seam data alone'' reading of SEAM.BULK4D.RECON.01/B7 by uniqueness in the category of seam-generated (prime) completions. Dimension typing ( DIMENSION.UPLIFT.FIREWALL.01 F2): the hypothesis is [formula in source] D free-fermion, the

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/014-source.tex · lines 299 to 337

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

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

Research Contracts — DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01 (the three meanings of ``dynamics'')

Research contracts

tocsectionResearch Contracts: DYN.MARKOV.EMBED.01 / DYN.UNITARY.DILATION.01

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/015-source.tex · lines 1 to 143

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

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v977_transfer_unistochastic_wilson.py
literal source filename/path in TeX
explicit file citation v984_markov_qca_dilation.py
literal source filename/path in TeX
explicit file citation v987_os_dilation_package.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 v999_weak_collision_hp.py
literal source filename/path in TeX
explicit script identifier v777_ftransfer_clock_jets.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v957_ccc_crossover_kinematics.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v977_transfer_unistochastic_wilson.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v723_phys_modular_clock.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v971_markov_embedding_generator.py
literal short identifier uniquely resolves in local script registry
explicit file citation v971_markov_embedding_generator.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 file citation v976_seam_lift_birkhoff.py
literal source filename/path in TeX
explicit script identifier v221_seam_qecc.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v724_phys_t3b_modular_flows.py
literal short identifier uniquely resolves in local script registry

Research Contract — QFT4D.OS.RECON.01 (the genuine 4D Euclidean lattice package)

Research contracts

Typing. A research contract \ (ledger row QFT4D.OS.RECON.01: Open, research contract), not a claim. This is step (3) of the DIMENSION.UPLIFT.FIREWALL.01 route ordering: the nonperturbative 4D existence statement that no perturbative or seam-level result can substitute for.

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/015-source.tex · lines 144 to 234

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

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1008_master_assembly_scaffold.py
literal source filename/path in TeX
explicit script identifier v381_qft4d_eg_allorder.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1013_thermodynamic_dynamics.py
literal source filename/path in TeX
explicit file citation v1011_3p1d_ladder_battery.py
literal source filename/path in TeX
explicit file citation v989_lattice_gate_battery.py
literal source filename/path in TeX

Research Contract — CHIRAL4D.NOMIRROR.01 (the chiral 4D lattice matter theorem)

Research contracts

Typing. A research contract \ (ledger row CHIRAL4D.NOMIRROR.01: Open, research contract), not a claim. Step (4) of the firewall route ordering: chirality and mirror decoupling must be proven in the same 4D model that QFT4D.OS.RECON.01 constructs — the seam's [formula in source] and Chern/inflow structure are a boundary- anomaly signal, not yet 4D matter.

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/015-source.tex · lines 235 to 303

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

cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v997_spin2_smg_witnesses.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v989_lattice_gate_battery.py
literal source filename/path in TeX
explicit file citation v1002_spin10_mirror_projector.py
literal source filename/path in TeX
explicit file citation OPEN_PROBLEMS.md
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Research Contract — CHIRAL4D.MIRROR.DET16.01 (DET16 rank-one projector, finite cluster)

Research contracts

Typing. A candidate \ (ledger row CHIRAL4D.MIRROR.DET16.01), registered 2026-08-29 from review wave 5. ( v1002_ spin10_ mirror_ projector.py.) Content. Exact finite-cluster gapping on the full chiral [formula in source] Fock space via the number-violating determinant vertex, as executed above. Open. Dynamical gauge fields, domain-wall geometry, and a [formula in source] D volume theorem — this is not a [formula in so

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/015-source.tex · lines 304 to 366

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
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 v1002_spin10_mirror_projector.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1007_det16_stability_battery.py
literal source filename/path in TeX

Firewall Contract — GRAV.NONCIRCULAR.01 (the Bisognano–Wichmann direction discipline)

Research contracts

Typing. A standing discipline rule, in force immediately (ledger row GRAV.NONCIRCULAR.01), with an audit census at registration. Bisognano–Wichmann (BW) is a theorem within an already-local, Poincar\'e-covariant QFT with a suitable vacuum: the modular flow of a wedge algebra acts as the boost. It is not a device that generates Lorentz spacetime from an arbitrary modular flow — there exist Poincar\'e-covariant nets vi

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/016-source.tex · lines 1 to 50

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

cross reference join SeamRigidityForcing.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 AuditContract.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 v215_seam_deck_killtest.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join Mu4Commutation.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join 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 v438_seam_hsmi_borchers.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 v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v478_entropic_continuum_legs.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v440_seam_lto_rp_beta.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v526_seam_thermal_kms_nariai_bridge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v359_grav_nonlinear_einstein.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamApplicabilityLedger.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v446_seam_clock_invariance.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 v323_bw_geometric_modular.py
literal short identifier uniquely resolves in local script registry
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
cross reference join SeamStandardPair.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

Research Contract — OBS.TRANSDUCTION.01 (the transduction principle: eigenvalue, projection, coupling)

Research contracts

Typing. A research contract (ledger row OBS.TRANSDUCTION.01); the principle is machine-checked on the minimal model at exploration level, the per-bundle transduction proofs are . It elevates the S15 typing rule to a named principle: [formula in source] Without the middle arrow, neither a non-observation falsifies nor an observation confirms. The minimal model is machine-checked in experiments/ theory-contracts/ fo01_

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/016-source.tex · lines 51 to 96

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

explicit file citation fo01_transduction_invisibility.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v990_wj_transduction_mechanism.py
literal source filename/path in TeX

Research Contract — PRED.JOINTLIKELIHOOD.01 (from hit-counting to overdetermined relations)

Research contracts

Typing. A research contract \ (ledger row PRED.JOINTLIKELIHOOD.01: Open, statistics-construction contract), not a claim. The [formula in source] individually matched values all descend from the same few atoms ( [formula in source] , [formula in source] , [formula in source] , [formula in source] ) and are therefore statistically correlated: counting hits overstates independent evidence. The evidence is to be reorgani

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/016-source.tex · lines 97 to 144

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

explicit file citation v992_joint_likelihood_v1.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 v1_e8_glue.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
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 v100_numerology_null_mc.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v84_frozen_registry.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 FALSIFICATION.md
literal source filename/path in TeX

Research Programme — the TFPT4D master route (one 4D transfer object instead of twenty formulas)

Research contracts

Typing. A programme section (registered 2026-08-27 from the external bird's-eye review), not a claim: it organizes the existing 4D contracts and the four new ones below into one route and moves no marker. The organizing observation: TFPT is probably not missing twenty independent formulas; it is missing one mathematical growth principle that unfolds the discrete structure into a local, unitary, reflection-positive 4D

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/016-source.tex · lines 145 to 247

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

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v975_dimension_selector_4d.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v153_no_unit_theorem.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v725_phys_vgeo_torsor_audit.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 v977_transfer_unistochastic_wilson.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 v976_seam_lift_birkhoff.py
literal source filename/path in TeX
explicit file citation v973_seam_route_narrowing.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 script identifier v971_markov_embedding_generator.py
literal short identifier uniquely resolves in local script registry
explicit file citation v984_markov_qca_dilation.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Verified Selector — DIMENSION.SELECTOR.4D.01 (why [formula in source] , conditionally)

Research contracts

Typing. A conditional identity \ (ledger row DIMENSION.SELECTOR.4D.01), machine-checked in v975_dimension_selector_4d.py ( [formula in source] , sympy-exact). The [formula in source] structure of the compiler must not be read as a proof of four spacetime dimensions ( DIMENSION.UPLIFT.FIREWALL.01); what is checkable is a selector theorem under a named axiom set. Statement. Under A1 [formula in source] (propagating loc

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/016-source.tex · lines 248 to 282

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

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

Research Contract — SEAM.SIMPLECURRENT.GENERATOR.01 (one generator instead of 128 currents)

Research contracts

Typing. A research contract \ (ledger row SEAM.SIMPLECURRENT.GENERATOR.01), not a claim. Context. The seam coverage carve ( v973_seam_route_narrowing.py) shows the [formula in source] fermion-bilinear half of the seam target is covered by the cited scaling-limit theorem; the named residual is N1 (the [formula in source] /GSO extension [formula in source] as a net statement — the 128 spinor currents are not bilinears)

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/017-source.tex · lines 1 to 152

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

explicit script identifier v484_seam_contact_unit.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.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 v993_minimal_defect_selector.py
literal source filename/path in TeX
explicit script identifier v368_seam_s3_inflow.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 file citation v998_seam_modular_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
explicit script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v983_simple_current_generator.py
literal source filename/path in TeX
cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v624_external_lattice_audit.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 v973_seam_route_narrowing.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v988_psi_lambda_reduction.py
literal short identifier uniquely resolves in local script registry
cross reference join LorentzCongruence.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 v1_e8_glue.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 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 v994_mmst_criteria_battery.py
literal source filename/path in TeX
explicit script identifier v994_mmst_criteria_battery.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v813_p1_index_kms.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 script identifier v983_simple_current_generator.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 SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v988_psi_lambda_reduction.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Research Contract — TFPT4D.LATTICE.ACTION.01 (the explicit finite 4D lattice action and its seven finite gates)

Research contracts

Typing. A research contract \ (ledger row TFPT4D.LATTICE.ACTION.01); route step (2) of the DIMENSION.UPLIFT.FIREWALL.01 ordering made concrete — the single object on which nearly all open 4D questions become simultaneously testable. Demand. Exhibit one fully explicit finite family of 4D Euclidean lattice theories [formula in source] where [formula in source] are the fundamental holonomies (TFPT fixes representation c

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/017-source.tex · lines 153 to 238

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

explicit file citation v1011_3p1d_ladder_battery.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1008_master_assembly_scaffold.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit 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 v989_lattice_gate_battery.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Research Contract — SEAM.DETLINE.UNIFICATION.01 (the determinant-line unification hypothesis)

Research contracts

Typing. A research hypothesis contract \ (ledger row SEAM.DETLINE.UNIFICATION.01) — a precise conjecture, not a result. Observation. Three separately open structures may be projections of one geometric object: (1) the seam extension is described by a Q-system/simple current ( SEAM.SIMPLECURRENT.GENERATOR.01); (2) the chiral fermion measure lives on a determinant line ( CHIRAL4D.NOMIRROR.01 demand C1); (3) anomalies a

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/017-source.tex · lines 239 to 285

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

explicit file citation v1014_bridge_refinements.py
literal source filename/path in TeX
explicit file citation v974_alpha_faces_computed.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 file citation v991_detline_bulk_edge.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v977_transfer_unistochastic_wilson.py
literal source filename/path in TeX

Research Contract — FTRANSFER.GENERATING.01 (four transfer bridges from one generating functional)

Research contracts

Typing. A research contract \ (ledger row FTRANSFER.GENERATING.01); the constructive successor named by the FR.TRANSFER.01 typing guard. The four continuous-transfer interfaces ( [formula in source] : source masses [formula in source] pole, v183; [formula in source] : CP source [formula in source] , v169/ v184; [formula in source] : [formula in source] , v185; [formula in source] : [formula in source] , v164) are cur

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/017-source.tex · lines 286 to 319

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

explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v183_koide_f_corner_transfer.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v185_axion_relic_solver.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v184_etaB_anchored_boltzmann.py
literal short identifier uniquely resolves in local script registry
explicit file citation v990_wj_transduction_mechanism.py
literal source filename/path in TeX
explicit script identifier v169_etaB_boltzmann_interface.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 script identifier v164_qcd_scale.py
literal short identifier uniquely resolves in local script registry

Research Contract — GAUGE.DETLINE.FIXPOINT.01 (all three gauge couplings from one zeta-det functional)

Research contracts

Typing. A research contract \ (ledger row GAUGE.DETLINE.FIXPOINT.01), registered 2026-08-28 from review wave 3. Demand. All three gauge couplings ( [formula in source] / equivalently [formula in source] , [formula in source] , [formula in source] ) arise as stationary points of one nonabelian zeta-det / inflow functional on the determinant line — the nonabelian upgrade of the [formula in source] face ALPHA.QUILLEN.EX

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/017-source.tex · lines 320 to 378

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 file citation gauge_stiffness_stepscaling_probe.py
literal source filename/path in TeX
explicit file citation v996_gauge_grammar_kill.py
literal source filename/path in TeX
explicit file citation v1011_3p1d_ladder_battery.py
literal source filename/path in TeX
explicit file citation v1008_master_assembly_scaffold.py
literal source filename/path in TeX
explicit file citation gauge_stiffness_fixpoint_probe.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v996_gauge_grammar_kill.py
literal short identifier uniquely resolves in local script registry

Research Contract — GRAV.SPIN2.EMERGENCE.01 (massless transversal spin-2 from the same spectral determinant)

Research contracts

Typing. A research contract \ (ledger row GRAV.SPIN2.EMERGENCE.01), registered 2026-08-28 from review wave 3. Demand. From the same spectral determinant that carries the gauge fixpoints, a massless transversal spin-2 pole with two helicities, universal [formula in source] coupling, diffeomorphism Ward identities, and positive Hessian / reflection-positive transfer. Relation. The entanglement-equilibrium Einstein equa

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/018-source.tex · lines 1 to 68

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

Research Contract — FTRANSFER.SK.RHO0.01 (Schwinger–Keldysh completion: cosmological transfers need [formula in source] )

Research contracts

Typing. A research contract \ (ledger row FTRANSFER.SK.RHO0.01), registered 2026-08-28 from review wave 3; mechanism executed 2026-08-29. Demand. Cosmological transfers ( [formula in source] , [formula in source] , and any nonequilibrium 4D readout) need the pair [formula in source] , not [formula in source] alone — the Euclidean-cap / KMS initial state. Typed candidate. The [formula in source] saddle [formula in sou

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/018-source.tex · lines 69 to 137

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
explicit file citation v1012_toe_gate_witnesses.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 claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v1009_rho0_minimizer.py
literal source filename/path in TeX
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

Research Contract — SEAM.MMST.TYPEIII.CHARGED.01 (one scaling-limit theorem)

Research contracts

Typing. A research contract \ (ledger row SEAM.MMST.TYPEIII.CHARGED.01), registered 2026-08-29 from review wave 5. Demand. One scaling-limit theorem [formula in source] strongly on the finite-energy core [formula in source] crossed-product continuity, from which [formula in source] , [formula in source] , type III [formula in source] , unique rotational KMS, unique conditional expectation, deck equidistribution and m

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/018-source.tex · lines 138 to 180

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

TEL-B reduction (2026-09-04)

Research contracts

The residual TEL-B-EXTERNAL is restated below. The earlier scalar dyadic increment [formula in source] with [formula in source] sufficient for [formula in source] is superseded — [formula in source] was measured [formula in source] (r645) but is no longer the route. Numerically closed ( [formula in source] ; conditional analytic [formula in source] with [formula in source] ); round 3 closed C1, C2a and the interval-T

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/018-source.tex · lines 181 to 347

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

explicit script identifier v1026_telb_round4_closure.py
literal short identifier uniquely resolves in local script registry
explicit file citation mmst_telb_bound_a_probe.py
literal source filename/path in TeX
explicit file citation mmst_telb_bound_b_probe.py
literal source filename/path in TeX
explicit file citation mmst_telb_trace_decomposition_probe.py
literal source filename/path in TeX
explicit script identifier v998_seam_modular_closure.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation mmst_telb_cover_split_probe.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 script identifier v1025_telb_c1_c2a_certificates.py
literal short identifier uniquely resolves in local script registry
explicit file citation v1026_telb_round4_closure.py
literal source filename/path in TeX
explicit file citation v1022_telb_round3_certificates.py
literal source filename/path in TeX
explicit file citation v1025_telb_c1_c2a_certificates.py
literal source filename/path in TeX

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