Research Contract — PRED.JOINTLIKELIHOOD.01 (from hit-counting to overdetermined relations)
tfpt research contracts
Typing. A research contract \ (ledger row PRED.JOINTLIKELIHOOD.01: Open, statistics-construction contract), not a claim. The [formula in source] individually matched values all descend from the same few atoms ( [formula in source] , [formula in source] , [formula in source] , [formula in source] ) and are therefore statistically correlated: counting hits overstates independent evidence. The evidence is to be reorgani
Opening source excerpt. Formulas and the full argument remain in the original document.
Source location and explicit evidence links
experiments/theory-contracts/universalraum-fable-kernfragen-20260910/context/fortsetzung/source-snapshots/tfpt/tfpt_research_contracts.tex · lines 13188 to 13235
These are recorded citation relations. A source citation or topic match does not establish a mathematical or physical result.
- explicit script identifier v84_frozen_registry.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 script identifier v100_numerology_null_mc.py
literal short identifier uniquely resolves in local script registry
- explicit file citation v992_joint_likelihood_v1.py
literal source filename/path in TeX
- explicit file citation FALSIFICATION.md
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
- cross reference join tfpt_readouts_extension.wl
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 claim identifier status_ledger.csv
exact local ledger claim identifier
- explicit script identifier v1_e8_glue.py
literal short identifier uniquely resolves in local script registry