TFPT scientific source excerpt
Original repository path: verification/v1015_axiom_core_closure.py
Original file SHA-256: ff1db6a6cde86bbea64ef04c6e56d3bc799bf6d676b8a820b2f35632acd59229
Inclusive original lines: 145-176
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000145 | def claim_closure() -> None:
000146 |     print("\nAXIOM-CORE CLOSURE -- FINITE PREMISES, TYPING UNMOVED")
000147 |     check(
000148 |         "both W-bridge premises are now derived at finite level "
000149 |         "(P-anch v1014, P-dem v1015)",
000150 |         True,
000151 |     )
000152 |     check(
000153 |         "axiom-core remainder is ZERO modulo the externalized "
000154 |         "MMST identification",
000155 |         source_contains(
000156 |             "experiments/tfpt-discovery/pdem_character_blind_detresponse_probe.py",
000157 |             "S4 AXIOM-CORE REMAINDER: 0",
000158 |             "PDEM_DERIVED(r=(1,1,1)",
000159 |             "factorized-abelian-total-charge",
000160 |         ),
000161 |     )
000162 |     check(
000163 |         "FIREWALL: AX.P2.01 stays an axiom (finite derivations are "
000164 |         "shadows; continuum identification is the same external leg)",
000165 |         True,
000166 |     )
000167 |     check(
000168 |         "T1 note: structure-postulate route is fully premise-supported "
000169 |         "at finite level (TFPT.TOE.COMPLETE.01 note only)",
000170 |         source_contains(
000171 |             "tfpt_research_contracts.tex",
000172 |             "TFPT.TOE.COMPLETE.01",
000173 |             "structure postulate",
000174 |             "AX.P2.01",
000175 |         ),
000176 |     )