Front matter / support
E8 audit and bootstrap
The ST31 degree- [formula in source] / [formula in source] round ( E8.ST31DEG.01). The regular clocks of [formula in source] against the compiler clock ( [formula in source] checks, [formula in source] \,s, exact arithmetic). The regular [formula in source] -clock: an explicit [formula in source] with free census [formula in source] and [formula in source] (Springer); exact center relations [formula in source] and [f
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/005-source.tex · lines 1 to 392
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v700_orbit60_census.py
literal source filename/path in TeX
- explicit script identifier v578_native_jets.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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v651_orbifold_assembly.py
literal source filename/path in TeX
- 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
- cross reference join HammingCode.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 v723_phys_modular_clock.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 v647_st31_degree24.py
literal source filename/path in TeX
- explicit file citation v654_st31_degree8.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 file citation v715_qgeo_car_continuum.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v689_gaussian_code_bridge.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v55_coxeter_cycle.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 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
- cross reference join OrbitPacket.lean
TeX and evidence source explicitly name the same Python identifier; statement equivalence not inferred
- explicit script identifier v533_ftransfer_disc7_norm.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v722_phys_ramified_ns_r.py
literal source filename/path in TeX
- explicit file citation v653_bond_defect.py
literal source filename/path in TeX
- cross reference join GaussianCodeBridge.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 v632_ftransfer_pgl2.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v650_orbifold_modular.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v645_klein_rp.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v690_quartic_half.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join WatataniIndexFour.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 ProjectiveHamming.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 v724_phys_t3b_modular_flows.py
literal source filename/path in TeX
- explicit file citation v649_discipline_audit.py
literal source filename/path in TeX
- explicit script identifier v622_seam_identification.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
- 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 script identifier v628_orbifold_casimir.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v679_orbifold_continuum_os.py
literal source filename/path in TeX
- explicit script identifier v638_code_semantics.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v652_orbifold_arf.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v778_qgeo_gridsup_logsum.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v652_orbifold_arf.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 v664_look_elsewhere.py
literal source filename/path in TeX
- explicit script identifier v646_rm13_reverse.py
literal short identifier uniquely resolves in local script registry