TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/RECOVERED-NATIVE-SOURCE-v990-run.txt
Original file SHA-256: 6343937fbdc925871cab04727daba74b8deef756f244a50d75efb16d170303b8
Inclusive original lines: 1-20
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 | v990  FTRANSFER.GENERATING.01 / OBS.TRANSDUCTION.01: content shadow + W[J] + transduction
000002 |   [PASS] 6Y TABLE [E]: 6Y mod 6 = [Q:1, u^c:2, d^c:2, L:3, e^c:0]
000003 |   [PASS] Z6 WEYL [E]: X Z X^dag = omega^{-1} Z
000004 |   [PASS] T4 [E]: [U(1)]^3 = [SU(2)]^2 U(1) = [SU(3)]^2 U(1) = grav^2 U(1) = 0
000005 |   [PASS] T4 WITTEN [E]: 4 SU(2) doublets even
000006 |   [PASS] T4 MUTANT [E]: dropping L breaks [U(1)]^3, [SU(2)]^2 U(1), grav and makes Witten odd
000007 |   [PASS] W[J] HERMITIAN [E]: H = H^dag at theta0 (dim 96)
000008 |    max |dW/dJ - <O>| = 6.28e-11
000009 |   [PASS] W(a) [E/N]: dW/dJ = <O> (max diff 6.3e-11; probe ~6e-11)
000010 |    max |Hess - Kubo| = 1.08e-07
000011 |   [PASS] W(b) [E/N]: Hessian = Kubo connected (max diff 1.1e-07; probe ~1e-7)
000012 |    mixed d2W/dJ[0]dtheta = 4.4409e-08  (Kubo diff 4.4e-08)
000013 |    mixed d2W/dJ[1]dtheta = -9.2968e-03  (Kubo diff 3.6e-08)
000014 |    mixed d2W/dJ[2]dtheta = 0.0000e+00  (Kubo diff 1.2e-17)
000015 |   [PASS] W(c) KUBO [N]: mixed d2W/dJ dtheta = Kubo(O, -beta dH/dtheta)
000016 |   [PASS] W(c) TRANSDUCTION [N]: seam-coupled link mixed != 0 (-9.297e-03), e^c CONTROL = 0 (0.000e+00), Q-charge absorbed (4.441e-08 ~ 0; probe seam-coupled ~-9.3e-3)
000017 |   [PASS] W(c-frozen) KUBO [N]: frozen mixed = Kubo
000018 |   [PASS] W(c-frozen) TRANSDUCTION [N]: Q-staggered mixed != 0 (-5.221e-04) while e^c CONTROL = 0 (0.000e+00) -- the boundary-module half of OBS.TRANSDUCTION.01 from ONE W
000019 |   [PASS] FIREWALL (scope): 1+1D 2-site Z6 shadow; finite W[J]; FTRANSFER.GENERATING.01 and OBS.TRANSDUCTION.01 stay [O]; no marker move
000020 | --- v990 W[J] transduction: 6Y table + derivative identities + transduction shadow: 13 passed, 0 failed ---