TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/compiler-current-descendant-20260919/certificate.json
Original file SHA-256: 2de0c243ee4bd2ff3c5e98e1c897cad71795fb7f52feacd78f34da5091579138
Inclusive original lines: 201-222
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.

000201 |     [
000202 |       21,
000203 |       3,
000204 |       "-1/2"
000205 |     ],
000206 |     [
000207 |       21,
000208 |       4,
000209 |       "1/2"
000210 |     ]
000211 |   ],
000212 |   "finite_intermediate_witness": "-13/480",
000213 |   "full_affine_positive_extension": "I-i rho_Lambda2(e^(-i*pi/4)r_l); positivity from central character; proof in PROOF.txt, finite restriction checked here",
000214 |   "half_time_generator_witness": "-13/120",
000215 |   "mean_hamiltonian": "(4I-Swap)/5=3I/4-(2/5)Omega",
000216 |   "mean_vs_source": "mean evolution is identity on Bell10 observables; actual source channel is (1-u)Id+u C60",
000217 |   "research_id": "UR.COMPILER.CURRENT_DESCENDANT.16",
000218 |   "scope": "Explicit conditional graded Hilbert-space/current-action bridge; no local seam net embedding, source-label preparation, event-time or full TOE selection",
000219 |   "source_sha256": "3852fabaf10c143fe20238b67406df6396f85c931dfd4834fe91a2d7ef900593",
000220 |   "time_local_choi_witness": "-8u(10-7u)sin(2theta)/[5(3-2u)(5-4u)(15-14u)] <0, u=sin^2(theta), 0<theta<pi/2",
000221 |   "verdict": "PARTIAL"
000222 | }