TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/C57-OS-UNIT-AND-CAP-CHECK.json
Original file SHA-256: de79812cdd4e98cd447032c4807631f2a6a2d2993991689cc7043d4ed0dfbf04
Inclusive original lines: 1-17
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 |   "source": "Existing FIXED-CAP-STATE one odd singular block; no new source choice",
000003 |   "p": "1/4",
000004 |   "m": "sqrt(6)/2",
000005 |   "E": "5/4",
000006 |   "cap": "3/5 + 2*exp(-5*ell/2)/5",
000007 |   "at_t1": "7/10",
000008 |   "at_2t1": "5/8",
000009 |   "unit_os_time_dependence": "0, because tau_t(1)=1",
000010 |   "cap_derivative": "-exp(-5*ell/2)",
000011 |   "distinct": true,
000012 |   "eta_circle_no_crossing": "eta(0,a)=zeta(0,a)-zeta(0,1-a)=1-2a for 0<a<1; derivative -2",
000013 |   "eta_exact_pair_values": [
000014 |     "1/2 at a=1/4",
000015 |     "1/3 at a=1/3"
000016 |   ]
000017 | }