Front matter / support
E8 audit and bootstrap
The Wick functor arc ( SEAM.CFIN. WICKFUNCTOR.01 [O]). Three probes ( [formula in source] ; wickfunctor-partial, wickmix-measured (wickmix-obstructed), wickblock-measured (blockfunctor-constructed / seam-diagonal); embedded byte-exact; exact integer/rational/symbolic in every decision typed proved or symbolic). The six compiler roles exist in the deployed seam ( [formula in source] slot pairs [formula in source] the
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/009-section-further-audit-lemmas-machine-verified-this-round.tex · lines 1 to 189
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v898_kms_schur_mixing.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 v911_wiring_freedom.py
literal source filename/path in TeX
- explicit file citation v898_kms_schur_mixing.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v908_seam_equilibrium_wiring.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v896_wick_block_functor.py
literal source filename/path in TeX
- explicit script identifier v903_seam_rp_exclusion.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 v972_seam_interaction_front.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 file citation v903_seam_rp_exclusion.py
literal source filename/path in TeX
- explicit file citation v705_chain_deck_sector.py
literal source filename/path in TeX
- explicit file citation v908_seam_equilibrium_wiring.py
literal source filename/path in TeX