Front matter / support
Architecture, E8 and the electromagnetic fixed point
The global Gaussian shell theorem (2026-08-08, round 36): the [formula in source] census law above is now a theorem for all shells ( v875_shell_global_lean.py, [formula in source] , shell-global-theorem): on [formula in source] , for every [formula in source] , [formula in source] for all [formula in source] (the division exact), [formula in source] , and at every odd [formula in source] : [formula in source] exactly
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_1_architecture_e8/sections/003-source.tex · lines 1 to 398
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v113_quasifree_kernel.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v844_message_doily_rank.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v874_feedback_decoder_lean.py
literal source filename/path in TeX
- explicit script identifier v799_seam_code_typeii.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 file citation v888_finite_pfaffian_signature.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 v875_shell_global_lean.py
literal source filename/path in TeX
- explicit script identifier v426_seam_lto_rp_kms.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v888_finite_pfaffian_signature.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v776_boundary_hamming_uniqueness.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v155_quasifree_boundary.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v775_gaussian_class_d5_purity.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v156_seam_net_construction.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- cross reference join ArfSpinorCompiler.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 v440_seam_lto_rp_beta.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v849_cfin_unique_cofinal_lean.py
literal source filename/path in TeX
- explicit file citation v880_finite_anchor_theorems.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 GaussianShells.lean
literal source filename/path in TeX
- explicit file citation v903_seam_rp_exclusion.py
literal source filename/path in TeX
- explicit file citation v896_wick_block_functor.py
literal source filename/path in TeX
- explicit file citation v845_cfin_normal_form.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit file citation v898_kms_schur_mixing.py
literal source filename/path in TeX
- explicit script identifier v2_carrier_pascal.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 v880_finite_anchor_theorems.py
literal short identifier uniquely resolves in local script registry
- explicit script identifier v845_cfin_normal_form.py
literal short identifier uniquely resolves in local script registry