Listing: Listing

# matching_probe.py output   (exact QQ; conditional on (S-bv) through M.2)
CHECK target construction: linearized Bianchi identity d^mu G_lin_{mu nu} = 0 in jets: True
CHECK formal/P1 target has Lorentz-reflection parity 0: True
CHECK formal/P1 target is self-adjoint under Gate V (Euler derivative): True
CHECK formal/P2 target has Lorentz-reflection parity 0: True
CHECK formal/P2 target is self-adjoint under Gate V (Euler derivative): True
CHECK formal/C_coh: explicit preimage of the intersection direction ['1', '-89/140'] reproduces it exactly: True
# formal          C_coh D=0 block(parity 0) size=10 targets=['P1', 'P2'] : dim(span cap im) = 1 ; members: {'P1': False, 'P2': False} ; direction(s) in target coords: [['1', '-89/140']] (block wall 0.0s; probe elapsed 0.0s)
CHECK formal/C_reg: explicit preimage of the intersection direction ['1', '-89/140'] reproduces it exactly: True
# formal          C_reg D=0 block(parity 0) size=10 targets=['P1', 'P2'] : dim(span cap im) = 1 ; members: {'P1': False, 'P2': False} ; direction(s) in target coords: [['1', '-89/140']] (block wall 0.0s; probe elapsed 0.0s)
CHECK chi_plateau/P1 target has Lorentz-reflection parity 0: True
CHECK chi_plateau/P1 target is self-adjoint under Gate V (Euler derivative): True
CHECK chi_plateau/P2 target has Lorentz-reflection parity 0: True
CHECK chi_plateau/P2 target is self-adjoint under Gate V (Euler derivative): True
CHECK chi_plateau/C_coh: explicit preimage of the intersection direction ['1', '-89/140'] reproduces it exactly: True
# chi_plateau     C_coh D=0 block(parity 0) size=10 targets=['P1', 'P2'] : dim(span cap im) = 1 ; members: {'P1': False, 'P2': False} ; direction(s) in target coords: [['1', '-89/140']] (block wall 0.0s; probe elapsed 0.0s)
CHECK chi_plateau/C_reg: explicit preimage of the intersection direction ['1', '-89/140'] reproduces it exactly: True
# chi_plateau     C_reg D=0 block(parity 0) size=10 targets=['P1', 'P2'] : dim(span cap im) = 1 ; members: {'P1': False, 'P2': False} ; direction(s) in target coords: [['1', '-89/140']] (block wall 0.0s; probe elapsed 0.0s)
CHECK double_plateau/P1 target has Lorentz-reflection parity 0: True
CHECK double_plateau/P1 target is self-adjoint under Gate V (Euler derivative): True
CHECK double_plateau/P2 target has Lorentz-reflection parity 0: True
CHECK double_plateau/P2 target is self-adjoint under Gate V (Euler derivative): True
CHECK double_plateau/C_coh: explicit preimage of the intersection direction ['1', '-89/140'] reproduces it exactly: True
# double_plateau  C_coh D=0 block(parity 0) size=10 targets=['P1', 'P2'] : dim(span cap im) = 1 ; members: {'P1': False, 'P2': False} ; direction(s) in target coords: [['1', '-89/140']] (block wall 0.0s; probe elapsed 0.0s)
CHECK double_plateau/C_reg: explicit preimage of the intersection direction ['1', '-89/140'] reproduces it exactly: True
# double_plateau  C_reg D=0 block(parity 0) size=10 targets=['P1', 'P2'] : dim(span cap im) = 1 ; members: {'P1': False, 'P2': False} ; direction(s) in target coords: [['1', '-89/140']] (block wall 0.0s; probe elapsed 0.0s)
CHECK double_plateau/EH target has Lorentz-reflection parity 0: True
CHECK double_plateau/EH target is self-adjoint under Gate V (Euler derivative): True
# double_plateau  C_coh D=2 block(parity 0) size=84 targets=['EH'] : dim(span cap im) = 0 ; members: {'EH': False} ; direction(s) in target coords: None (block wall 0.0s; probe elapsed 0.2s)
# double_plateau  C_reg D=2 block(parity 0) size=80 targets=['EH'] : dim(span cap im) = 0 ; members: {'EH': False} ; direction(s) in target coords: None (block wall 0.0s; probe elapsed 0.3s)
CHECK double_plateau/R2 target has Lorentz-reflection parity 0: True
CHECK double_plateau/R2 target is self-adjoint under Gate V (Euler derivative): True
CHECK double_plateau/RC2 target has Lorentz-reflection parity 0: True
CHECK double_plateau/RC2 target is self-adjoint under Gate V (Euler derivative): True
CHECK double_plateau/C_coh/R2: explicit preimage C reproduces the target Euler tensor exactly: True
CHECK double_plateau/C_coh/RC2: explicit preimage C reproduces the target Euler tensor exactly: True
CHECK double_plateau/C_coh: explicit preimage of the intersection direction ['1', '0'] reproduces it exactly: True
# double_plateau  C_coh D=4 block(parity 0) size=292 targets=['R2', 'RC2'] : dim(span cap im) = 2 ; members: {'R2': True, 'RC2': True} ; direction(s) in target coords: [['1', '0'], ['0', '1']] (block wall 38.6s; probe elapsed 40.0s)
CHECK double_plateau/C_reg: explicit preimage of the intersection direction ['1', '-188813/88456'] reproduces it exactly: True
# double_plateau  C_reg D=4 block(parity 0) size=265 targets=['R2', 'RC2'] : dim(span cap im) = 1 ; members: {'R2': False, 'RC2': False} ; direction(s) in target coords: [['1', '-188813/88456']] (block wall 5.9s; probe elapsed 45.9s)
# wrote matching_certificates.txt
# === SUMMARY (conditional on (S-bv)) ===
# formal          C_coh  P1+P2    D=0 : intersection dim 1 ; member: {'P1': False, 'P2': False} ; direction [['1', '-89/140']]
# formal          C_reg  P1+P2    D=0 : intersection dim 1 ; member: {'P1': False, 'P2': False} ; direction [['1', '-89/140']]
# chi_plateau     C_coh  P1+P2    D=0 : intersection dim 1 ; member: {'P1': False, 'P2': False} ; direction [['1', '-89/140']]
# chi_plateau     C_reg  P1+P2    D=0 : intersection dim 1 ; member: {'P1': False, 'P2': False} ; direction [['1', '-89/140']]
# double_plateau  C_coh  P1+P2    D=0 : intersection dim 1 ; member: {'P1': False, 'P2': False} ; direction [['1', '-89/140']]
# double_plateau  C_reg  P1+P2    D=0 : intersection dim 1 ; member: {'P1': False, 'P2': False} ; direction [['1', '-89/140']]
# double_plateau  C_coh  EH       D=2 : intersection dim 0 ; member: {'EH': False} ; direction None
# double_plateau  C_reg  EH       D=2 : intersection dim 0 ; member: {'EH': False} ; direction None
# double_plateau  C_coh  R2+RC2   D=4 : intersection dim 2 ; member: {'R2': True, 'RC2': True} ; direction [['1', '0'], ['0', '1']]
# double_plateau  C_reg  R2+RC2   D=4 : intersection dim 1 ; member: {'R2': False, 'RC2': False} ; direction [['1', '-188813/88456']]
CHECK double plateau: linearized R^2 and Ric^2 Euler tensors are collapse images (explicit preimages certified): True
CHECK double plateau: linearized Einstein tensor is NOT a collapse image: True
# total wall-clock runtime 46.4s (sum of sequential block walls; not parallel)
ALL CHECKS PASSED