TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/distinct-quarter-lifts-results.json
Original file SHA-256: de4fb553d9ba81741af9e568e70642c2317faae9c3d040c7a952edf2bfd1c793
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 | {
000002 |   "checks": [
000003 |     "old marked theta source unchanged",
000004 |     "native F20 G fourth power",
000005 |     "native F20 G has nonscalar square",
000006 |     "native F20 square trace zero",
000007 |     "symplectic lift square minus i times G square",
000008 |     "both lifts can share fourth power minus I",
000009 |     "symplectic F20 lift not the old theta scalar-square lift"
000010 |   ],
000011 |   "checks_pass": true,
000012 |   "new_f20_relation": "Ghat^2=-i G^2 nonscalar; projective order4",
000013 |   "old_theta_relation": "alpha^2=+i I4; projective order2",
000014 |   "old_theta_relation_sha256": "da1f75831a46a0c0662f931486b77e6e2085126df452b009d1a90351d413d904",
000015 |   "old_theta_relation_source": "experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/MARKED-Q-DIVISOR-CENTRAL-TWIST.txt",
000016 |   "scope": "The scalar mu8 resource is shared. These distinct group operations are not identified by equal order8 and fourth power minusI. This does not contradict either separate source construction or the native F20 representation bridge.",
000017 |   "trace_of_new_square": "0",
000018 |   "trace_of_old_square": "4i",
000019 |   "verdict": "NO_CONJUGACY_EVEN_UP_TO_CENTRAL_PHASE_BETWEEN_THE_TWO_LIFTS"
000020 | }