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

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

-1.2cm TFPT — Red Team / Stress Test layer\\[2mm] Adversarial targets A–E, the QFT round (F) and the seam round (G): try to break the reductions, not confirm them

Red-team audit

-1.2cm TFPT — Red Team / Stress Test layer\\[2mm] Adversarial targets A–E, the QFT round (F) and the seam round (G): try to break the reductions, not confirm them

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/preamble.tex · lines 1 to 37

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

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

Front matter / support

Red-team audit

This is the deliberately adversarial layer requested in the v78 review. Its purpose is not to confirm TFPT but to attack the five load-bearing reductions at their weakest logical transitions. Each target is run through one fixed protocol — minimal statement, assumptions, logical chain, validity conditions, counterexample search, limiting/degenerate cases, alternative structures, provisional verdict — and produces a d

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 1 to 46

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 v160_seam_gaussianity_from_pf.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v521_seam_bit_rp_blind.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
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v83_e8net_holomorphic_uniqueness.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.wl
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
explicit file citation rt_F_qft4d.py
literal source filename/path in TeX
explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v528_seam_bit_twist_class_definition.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation rt_E_vgeo.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation rt_A_e8net.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 v87_bulk_uniqueness_reduction.py
literal short identifier uniquely resolves in local script registry
cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v78_vgeo_floor.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v469_seam_crossedproduct_route.py
literal short identifier uniquely resolves in local script registry
cross reference join TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
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 tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation run_redteam.py
literal source filename/path in TeX
explicit script identifier v165_premise_a_closure.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 v525_seam_bit_twist_blind.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
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 claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

Method

Red-team audit

The red team treats each reduction as a hostile witness. A confirmatory script that always passes is worthless here: the layer is built so that it may downgrade a claim. Four outcomes are allowed — survives (stands as worded), survives (narrowed) (stands only after a silent assumption is made explicit), reduced, not closed (the conservative wording is the correct one), and — reached by Target A after the lattice/ [fo

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 47 to 63

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

explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

Target A — the [formula in source] boundary-net identification

Red-team audit

Minimal claim. The ambient metric/projective measure is reduced to identifying the seam–Calder\'on boundary measure with the [formula in source] lattice net, carrier subnet [formula in source] . redteam/rt_A_e8net.py

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 64 to 89

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

explicit file citation rt_A_e8net.py
literal source filename/path in TeX

Target B — carrier rank / the Pascal condition

Red-team audit

Minimal formal claim. [formula in source] has the unique solution [formula in source] (Lean-verified ). This arithmetic is not attacked. The attack is upstream: why must the carrier obey the Pascal half-spinor exhaustion [formula in source] ? redteam/rt_B_pascal.py

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 90 to 109

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

explicit file citation rt_B_pascal.py
literal source filename/path in TeX

Target C — [formula in source] and the seam-area coefficient

Red-team audit

Minimal claim. In reduced units [formula in source] and Fursaev–Solodukhin gives [formula in source] . redteam/rt_C_kc3.py

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 110 to 132

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

explicit script identifier v67_area_law_coefficient.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v68_seeley_dewitt_residual.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v73_k_c3_half.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 rt_C_kc3.py
literal source filename/path in TeX

Target D — [formula in source]

Red-team audit

Minimal claim. Ratios plus sector products determine the dimensionless amplitudes, leaving one common scale [formula in source] . redteam/rt_D_upoint.py

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 133 to 164

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

explicit script identifier v75_upoint_to_vgeo.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 rt_D_upoint.py
literal source filename/path in TeX
explicit file citation v561_cp_channel_identities.py
literal source filename/path in TeX
explicit file citation v564_cp_fiber_pin.py
literal source filename/path in TeX

Target E — [formula in source] as the unique dimensional floor

Red-team audit

Minimal claim. No pure-number theory can derive an absolute dimensionful scale; all scales are ratios to one unit [formula in source] . redteam/rt_E_vgeo.py

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 165 to 185

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

Target F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)

Red-team audit

Minimal claim. The round published in release 5.2 — the Epstein–Glaser [formula in source] layer ( v269/ v271/ v273), the PMNS Jarlskog CP strength ( v270), the absolute [formula in source] -scale typing ( v272), the scale over-determination ( v274) and the QG.AMB.01 roadmap ( v275). redteam/rt_F_qft4d.py

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 186 to 266

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

explicit script identifier v304_idg_nonlocal_ghost.py
literal short identifier uniquely resolves in local script registry
explicit file citation rt_F_qft4d.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit 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 v270_pmns_jarlskog_assembly.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v481_seesaw_carrier_ladder.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v385_uvbranch_killtest.py
literal source filename/path in TeX
explicit file citation v304_idg_nonlocal_ghost.py
literal source filename/path in TeX
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 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 v265_qft4d_fork_freeze.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v381_qft4d_eg_allorder.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v482_seesaw_rung_decision.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v272_nu_mass_scale.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v274_scale_overdetermination.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v369_qgamb_redundancy.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v370_grav_spin2_unitarity.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v271_eg_oneloop_quartic.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v275_qgamb_roadmap.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v269_spert_paqft_skeleton.py
literal short identifier uniquely resolves in local script registry
explicit file citation v370_grav_spin2_unitarity.py
literal source filename/path in TeX
explicit script identifier v380_grav_kms_hessian.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v380_grav_kms_hessian.py
literal source filename/path in TeX
explicit script identifier v334_conformal_resolution.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v273_eg_gauge_running.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier

Target G — the alignment bit and the interacting seam (the first shot that lands)

Red-team audit

Minimal claim. The compiler's residual discrete carrier input is one symmetry-lift bit — flag transitivity of the four marks [formula in source] ( v512) — and the free-seam OS/RP structure that the Woit bridge ( WOIT.OS.TWISTOR.01) builds on survives adversarial attack. The red-team questions are two: can the bit be derived (in which case calling it an input would be a hidden redundancy), and can the OS/RP structure

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/001-section-method.tex · lines 267 to 367

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

explicit script identifier v512_seam_tau_flag.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 file citation v521_seam_bit_rp_blind.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 v524_woit_beta2_os_quotient.py
literal short identifier uniquely resolves in local script registry
explicit file citation v525_seam_bit_twist_blind.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 v972_seam_interaction_front.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 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 v528_seam_bit_twist_class_definition.py
literal source filename/path in TeX
explicit file citation v534_seam_straddle_cone.py
literal source filename/path in TeX
explicit script identifier v522_woit_beta1_gso_gauge.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit file citation v529_seam_interacting_toy_fk.py
literal source filename/path in TeX
explicit script identifier v972_seam_interaction_front.py
literal short identifier uniquely resolves in local script registry

Outcome

Red-team audit

What the red team changed. No target broke on the load-bearing surface. The hardest gate (A) is now closed modulo cited theorems on its MMST route SEAM.EQUIV.MMST.01 (the lattice/ [formula in source] round pins it at every computable level, Lean-formalised, only an external published existence theorem left, v367/ v368/ v376– v379); four targets (B, D, E, F) survive once a silent assumption is named; one (C) survives

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

Read the original section Read the paper: Red-team audit

Source location and explicit evidence links

documents/tfpt_5_redteam/sections/002-section-outcome.tex · lines 1 to 355

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

cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v315_coxeter_coupling.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v58_seam_horizon_chain.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join SeamScalingLimit.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v465_seed_crosssector_joint.py
literal source filename/path in TeX
explicit file citation v100_numerology_null_mc.py
literal source filename/path in TeX
explicit script identifier v467_thirdgen_mixing_pattern.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v175_net_existence_full_cone.py
literal short identifier uniquely resolves in local script registry
explicit file citation v305_witness_independence.py
literal source filename/path in TeX
cross reference join AxiomCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v368_seam_s3_inflow.py
literal short identifier uniquely resolves in local script registry
explicit file citation v66_e8_casimir_degrees.py
literal source filename/path in TeX
explicit script identifier v219_icosahedral_mckay.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v135_det_surface.py
literal short identifier uniquely resolves in local script registry
explicit file citation v320_galois_cp_relation.py
literal source filename/path in TeX
explicit script identifier v376_seam_s3_centralcharge.py
literal short identifier uniquely resolves in local script registry
explicit file citation v182_reviewer_residual_map.py
literal source filename/path in TeX
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v450_seam_edge_entanglement.py
literal source filename/path in TeX
explicit script identifier v354_e8_reverse_audit.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
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 script identifier v534_seam_straddle_cone.py
literal short identifier uniquely resolves in local script registry
explicit file citation v86_nstar_reheating.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 v466_seed_leptonmass_channel.py
literal source filename/path in TeX
cross reference join SeamEdgeChern.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v231_cp_mu6_phases.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 v444_seam_edge_scaling.py
literal source filename/path in TeX
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v469_seam_crossedproduct_route.py
literal source filename/path in TeX
explicit file citation freeze_file.csv
literal source filename/path in TeX
explicit file citation v453_seam_mu4_from_marks.py
literal source filename/path in TeX
explicit file citation v447_seam_edge_chern.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 v451_seam_edge_cardy_tower.py
literal source filename/path in TeX
explicit file citation v88_cp_phase_audit.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 v225_dual_normal_frame.py
literal source filename/path in TeX
explicit script identifier v176_seam_collar_realisation.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 TfptCarrier.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v328_theta13_pressure.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v174_seam_fock_readings.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 v6_bootstrap.py
literal short identifier uniquely resolves in local script registry
explicit file citation v564_cp_fiber_pin.py
literal source filename/path in TeX
explicit file citation v446_seam_clock_invariance.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 v160_seam_gaussianity_from_pf.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 v233_cp_triality_phase.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 v393_corrections_numeric.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v66_e8_casimir_degrees.py
literal short identifier uniquely resolves in local script registry
explicit file citation v306_seed_crossval.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 v155_quasifree_boundary.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 v143_graded_frobenius.py
literal short identifier uniquely resolves in local script registry
explicit file citation v561_cp_channel_identities.py
literal source filename/path in TeX
explicit file citation v452_seam_e8_modular.py
literal source filename/path in TeX
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
cross reference join CarrierRankUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v3_em_alpha.py
literal short identifier uniquely resolves in local script registry
explicit file citation v354_e8_reverse_audit.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 SeamResidualAxiom.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v379_seam_s3_rp.py
literal short identifier uniquely resolves in local script registry
explicit file citation v375_observatory_registry.py
literal source filename/path in TeX
explicit script identifier v223_coxeter_totative_clock.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 v348_seam_rigidity_route.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 v83_e8net_holomorphic_uniqueness.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 v355_e8_unmapped_bandwidth.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 v84_frozen_registry.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v92_glue_uniqueness.py
literal short identifier uniquely resolves in local script registry
cross reference join SeamRigidityForcing.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v91_spine_tetrahedron.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 v219_icosahedral_mckay.py
literal source filename/path in TeX
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join AuditCheck.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v308_seam_equiv_chain.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 v529_seam_interacting_toy_fk.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v367_seam_s3_lattice.py
literal short identifier uniquely resolves in local script registry
explicit file citation v449_seam_mmst_uniform.py
literal source filename/path in TeX
explicit script identifier v156_seam_net_construction.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
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 v437_e8_degree_joint.py
literal source filename/path in TeX
explicit script identifier v161_one_particle_reduction.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v125_glue_qsystem.py
literal short identifier uniquely resolves in local script registry
explicit file citation v431_e8_degree_ladder.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 SeamEquivChain.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v305_witness_independence.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v268_theta13_carrier_trace.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
explicit file citation v154_simple_current_theorem.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 script identifier v312_hypergraph_substrate.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v314_rate_translation.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v162_seam_transport_identification.py
literal short identifier uniquely resolves in local script registry
explicit script identifier v165_premise_a_closure.py
literal short identifier uniquely resolves in local script registry
explicit file citation v87_bulk_uniqueness_reduction.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 v355_e8_unmapped_bandwidth.py
literal source filename/path in TeX
explicit file citation v89_carrier_index_lemma.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 v430_other_side_reverse_audit.py
literal short identifier uniquely resolves in local script registry
explicit file citation v445_seam_rigidity_forcing.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 script identifier v227_degree_exponent_channel_split.py
literal short identifier uniquely resolves in local script registry
explicit file citation v227_degree_exponent_channel_split.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v92_glue_uniqueness.py
literal source filename/path in TeX
explicit script identifier v88_cp_phase_audit.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join CartanDeterminants.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v99_koide_flow_time.py
literal source filename/path in TeX
explicit script identifier v431_e8_degree_ladder.py
literal short identifier uniquely resolves in local script registry
cross reference join AuditContract.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join GlueUniqueness.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v148_fock_census.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 v430_other_side_reverse_audit.py
literal source filename/path in TeX
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit file citation v429_axion_pentagon_phi.py
literal source filename/path in TeX
explicit file citation v220_cp_hexagonal_modulus.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 v89_carrier_index_lemma.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
explicit script identifier v100_numerology_null_mc.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
cross reference join KronheimerMarks.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit script identifier v306_seed_crossval.py
literal short identifier uniquely resolves in local script registry
explicit claim identifier status_ledger.csv
exact local ledger claim identifier
cross reference join BWKeystone.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
explicit file citation v448_seam_edge_fourpoint.py
literal source filename/path in TeX
explicit script identifier v232_e8_kleinian_seam.py
literal short identifier uniquely resolves in local script registry
cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred

Front matter / support

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

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

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

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 · 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

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

Source location and explicit evidence links

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

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

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

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