Layer 5 — frozen predictions, the null model, and the [formula in source] uniqueness scan
Verification safeguards
Predictions are frozen before confrontation, and a match is scored against chance, not admired in isolation. The frozen registry ( v84_frozen_registry.py, REG.FREEZE.01) fixes every dimensionless prediction at [formula in source] digits, re-derived from the two axioms each run (a formula [formula in source] value lock). The null model then runs an exact census of the full declared formula grammar over the [formula in
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
documents/tfpt_safeguards/sections/001-section-the-risk-and-the-shape-of-the-answer.tex · lines 179 to 215
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit file citation v375_observatory_registry.py
literal source filename/path in TeX
- explicit file citation v307_data_watchdog.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 v84_frozen_registry.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 v100_numerology_null_mc.py
literal source filename/path in TeX
- explicit file citation v321_killtest_board.py
literal source filename/path in TeX
- explicit claim identifier status_ledger.csv
exact local ledger claim identifier