Front matter / support
E8 audit and bootstrap
The interacting Klein–Landau semigroup ( WOIT.GAMMA.SEMI.01). The gamma net-dynamics slice ( [formula in source] checks, [formula in source] \,s). At [formula in source] the v524 Klein–Landau pattern reproduces exactly at [formula in source] on the admissible cut: all seven steps [formula in source] Hermitian (domain dims [formula in source] ), even steps PD, odd steps [formula in source] indefinite with exactly zero
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_3_e8_audit_bootstrap/sections/004-source.tex · lines 1 to 373
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join tfpt_readouts_extension.wl
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v605_translator.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v645_klein_rp.py
literal source filename/path in TeX
- explicit file citation v624_external_lattice_audit.py
literal source filename/path in TeX
- explicit file citation v623_covered_seam.py
literal source filename/path in TeX
- explicit script identifier v599_real_structure.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v425_dyn_transfer_universal.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 v639_twist_ope.py
literal source filename/path in TeX
- explicit file citation v629_root_incidence.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 v622_seam_identification.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v628_orbifold_casimir.py
literal source filename/path in TeX
- explicit file citation v632_ftransfer_pgl2.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 v597_mu4_cover_model.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v622_seam_identification.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v533_ftransfer_disc7_norm.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join HammingCode.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 v629_root_incidence.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v639_twist_ope.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v624_external_lattice_audit.py
literal short identifier uniquely resolves in local script registry
- cross reference join OrbitPacket.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 CoverEmbedding.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 v183_koide_f_corner_transfer.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v628_orbifold_casimir.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v805_e8_syndrome_algebra.py
literal source filename/path in TeX
- explicit file citation v633_orbit60_quotient.py
literal source filename/path in TeX
- explicit file citation v638_code_semantics.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 G31Orders.lean
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v626_e8_code.py
literal source filename/path in TeX
- explicit script identifier v510_seam_bit_freedom.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v623_covered_seam.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v621_interacting_semigroup.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v602_duality_forms.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v634_st31_structure.py
literal source filename/path in TeX
- cross reference join LorentzCongruence.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- cross reference join G31WordOrders.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v575_cr_continuous_uniflow.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v614_transport_deck.py
literal short identifier uniquely resolves in local script registry
- cross reference join SquareParity.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 v524_woit_beta2_os_quotient.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 v626_e8_code.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v578_native_jets.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v519_woit_theta_rp_free.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v617_seam_cover_forcing.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v646_rm13_reverse.py
literal source filename/path in TeX
- cross reference join G31Orders.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 GaussianCodeBridge.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred