TFPT scientific source excerpt
Original repository path: verification/v1015_axiom_core_closure.py
Original file SHA-256: ff1db6a6cde86bbea64ef04c6e56d3bc799bf6d676b8a820b2f35632acd59229
Inclusive original lines: 1-37
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.

000001 | #!/usr/bin/env python3
000002 | """v1015 -- axiom-core closure: character-blind P-dem response
000003 | derives both W-bridge premises at finite level (Monday-morning
000004 | harvest, 2026-08-31).  No marker move.
000005 | 
000006 | Provenance: experiments/tfpt-discovery/pdem_character_blind_detresponse_probe.py
000007 | (7/7) together with P-anch already in v1014 (winding/triple lock).
000008 | Probe constructions are imported; experiments/ is not a
000009 | verification-module import in the sense of a claim source.
000010 | 
000011 | THE POINT.  The missing object of v1014 is now constructed.
000012 | 
000013 |   [E-finite] the abelian total-charge insertion A = I_deck is
000014 |         character-blind: r = (1,1,1) exactly at collar sizes 12 and
000015 |         16, democracy residual 0, winding W = 1; the normalized
000016 |         response is the v4 shift 6 ones e1^T.
000017 |   [E-finite] mutants split correctly: a deck-invariant character
000018 |         insertion through P_1 gives (1,0,0); the deck-breaking
000019 |         closed large-gauge generator splits (5/4, 1, 5/4) and
000020 |         leaks character subspaces.  Deck commutation alone is not
000021 |         the premise.
000022 |   [E-finite] P-anch remains DERIVED (v1014): e1 = R^{-1}(1,1,2)^T.
000023 |   Closure: BOTH W-bridge premises are now derived at finite level;
000024 |         the axiom-core remainder is ZERO modulo the externalized
000025 |         MMST identification.  AX.P2.01 typing UNMOVED (the finite
000026 |         derivations are shadows; the continuum identification is the
000027 |         same external leg).  TFPT.TOE.COMPLETE.01 T1 note: the
000028 |         structure-postulate route is now fully premise-supported
000029 |         at finite level.
000030 | 
000031 | MUST-FAIL: character-dependent coupling is deck-invariant but not
000032 | democratic; deck-breaking mutant leaks character subspaces.
000033 | 
000034 | HONEST SCOPE (firewall): finite 2+1D QWZ collar x regular mu4 deck
000035 | module only; CHIRAL4D / Bismut-Freed / the continuum MMST
000036 | identification stay [O].  AX.P2.01 stays an axiom.  Python-only /
000037 | Wolfram mirror deferred (engine DEFERRED_NO_ENGINE).