Honest status: bootstrap, not creation from nothing
input 5 tfpt 3 e8 audit bootstrap
What is genuinely shown : [formula in source] is an overdetermined fixed point of the [formula in source] closure (two independent Lie-theory conditions); the integer `` [formula in source] '' in [formula in source] is the carrier Coxeter [formula in source] [formula in source] rank; the discrete data closes a loop. The earlier landscape scan confirms [formula in source] is the unique value at which all hierarchies/f
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
experiments/theory-contracts/universalraum-spin-lift-basics-20260915/sources/input_5_tfpt_3_e8_audit_bootstrap.tex · lines 13520 to 13555
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v108_pascal_ladder.py
literal source filename/path in TeX
- explicit file citation PascalLadder.lean
literal source filename/path in TeX
- explicit script identifier v499_p2_weights_deligne_bg.py
literal short identifier uniquely resolves in local script registry
- explicit file citation AnchorLadder.lean
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 v510_seam_bit_freedom.py
literal short identifier uniquely resolves in local script registry
- 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
- explicit script identifier v507_seam_bit_origin.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 lean symbol CarrierRankUniqueness.lean
exact texttt symbol under explicit Lean/theorem context
- cross reference join PascalLadder.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 v216_marks_gauss_bonnet.py
literal short identifier uniquely resolves in local script registry
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v506_seam_clock_rigidity.py
literal short identifier uniquely resolves in local script registry
- 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