TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_time_compatibility_20261027/symbolic-checks.json
Original file SHA-256: 51790eb8cdec840dd78066cd5895c3074e718a81ae26dcd092b24aadaa59ced4
Inclusive original lines: 1-23
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 | {
000002 |   "checks": {
000003 |     "A_orthogonal_involution": true,
000004 |     "Cartan_discriminator": true,
000005 |     "H_polynomial_identity_all_charges": true,
000006 |     "L0_not_preserved": true,
000007 |     "Q_polynomial_identity_all_charges": true,
000008 |     "T_involution_all_charges": true,
000009 |     "affine_delta_identity": true,
000010 |     "conformal_star_weight_one": true,
000011 |     "constant_connected_control": true,
000012 |     "doublet_unitary_control": true,
000013 |     "refined_fugacity_transport": true,
000014 |     "source_star_zero": true,
000015 |     "spinor_minimum_candidates": true,
000016 |     "star_reverses": true,
000017 |     "twice_root_marking_in_s": true,
000018 |     "vector_minimum_candidates": true,
000019 |     "ward_distinguishes_without_transition": true
000020 |   },
000021 |   "scope": "Symbolic H,Q identity and ground controls. Full lattice minima, bounded local witness, simple-current locality and P1 typing are established or audited in the proof texts, not inferred from finite checks.",
000022 |   "verdict": "EXACT_ALGEBRA_PASS"
000023 | }