TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/TRANSFER-FIELD-SOURCE.json
Original file SHA-256: 361d93d3d7a5b4a4a64edb2beb5aaa41da26ce76f556447f6bd3356ff177ddc9
Inclusive original lines: 1-91
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 |   "result": "PASS",
000003 |   "checks": 75,
000004 |   "checks_detail": [
000005 |     "whole CP map unchanged on basis0",
000006 |     "exact transfer eigenvalue0",
000007 |     "whole CP map unchanged on basis1",
000008 |     "exact transfer eigenvalue1",
000009 |     "whole CP map unchanged on basis2",
000010 |     "exact transfer eigenvalue2",
000011 |     "whole CP map unchanged on basis3",
000012 |     "exact transfer eigenvalue3",
000013 |     "marked response A=1/2",
000014 |     "marked response B=1/3",
000015 |     "Perron eigenvalue1 all e",
000016 |     "other eigenvalue1-2e",
000017 |     "Burnside matrix units all e nonzero",
000018 |     "tensor normalization",
000019 |     "MPS CP unital",
000020 |     "MPS faithful stationary density",
000021 |     "stationary density faithful",
000022 |     "length2 injective",
000023 |     "length3 image rank4",
000024 |     "local parent orthogonal projector norm1",
000025 |     "full periodic source partition1+lambda^L",
000026 |     "magnetization trial orthogonal",
000027 |     "exact whole ring variance",
000028 |     "whole ring correlation r1",
000029 |     "whole ring correlation r2",
000030 |     "whole ring correlation r3",
000031 |     "actual local parent annihilates source0,(0, 0, 0)",
000032 |     "actual local parent annihilates source0,(0, 0, 1)",
000033 |     "actual local parent annihilates source0,(0, 1, 0)",
000034 |     "actual local parent annihilates source0,(0, 1, 1)",
000035 |     "actual local parent annihilates source0,(1, 0, 0)",
000036 |     "actual local parent annihilates source0,(1, 0, 1)",
000037 |     "actual local parent annihilates source0,(1, 1, 0)",
000038 |     "actual local parent annihilates source0,(1, 1, 1)",
000039 |     "actual local parent annihilates source1,(0, 0, 0)",
000040 |     "actual local parent annihilates source1,(0, 0, 1)",
000041 |     "actual local parent annihilates source1,(0, 1, 0)",
000042 |     "actual local parent annihilates source1,(0, 1, 1)",
000043 |     "actual local parent annihilates source1,(1, 0, 0)",
000044 |     "actual local parent annihilates source1,(1, 0, 1)",
000045 |     "actual local parent annihilates source1,(1, 1, 0)",
000046 |     "actual local parent annihilates source1,(1, 1, 1)",
000047 |     "actual local parent annihilates source2,(0, 0, 0)",
000048 |     "actual local parent annihilates source2,(0, 0, 1)",
000049 |     "actual local parent annihilates source2,(0, 1, 0)",
000050 |     "actual local parent annihilates source2,(0, 1, 1)",
000051 |     "actual local parent annihilates source2,(1, 0, 0)",
000052 |     "actual local parent annihilates source2,(1, 0, 1)",
000053 |     "actual local parent annihilates source2,(1, 1, 0)",
000054 |     "actual local parent annihilates source2,(1, 1, 1)",
000055 |     "actual local parent annihilates source3,(0, 0, 0)",
000056 |     "actual local parent annihilates source3,(0, 0, 1)",
000057 |     "actual local parent annihilates source3,(0, 1, 0)",
000058 |     "actual local parent annihilates source3,(0, 1, 1)",
000059 |     "actual local parent annihilates source3,(1, 0, 0)",
000060 |     "actual local parent annihilates source3,(1, 0, 1)",
000061 |     "actual local parent annihilates source3,(1, 1, 0)",
000062 |     "actual local parent annihilates source3,(1, 1, 1)",
000063 |     "actual local parent annihilates source4,(0, 0, 0)",
000064 |     "actual local parent annihilates source4,(0, 0, 1)",
000065 |     "actual local parent annihilates source4,(0, 1, 0)",
000066 |     "actual local parent annihilates source4,(0, 1, 1)",
000067 |     "actual local parent annihilates source4,(1, 0, 0)",
000068 |     "actual local parent annihilates source4,(1, 0, 1)",
000069 |     "actual local parent annihilates source4,(1, 1, 0)",
000070 |     "actual local parent annihilates source4,(1, 1, 1)",
000071 |     "actual local parent annihilates source5,(0, 0, 0)",
000072 |     "actual local parent annihilates source5,(0, 0, 1)",
000073 |     "actual local parent annihilates source5,(0, 1, 0)",
000074 |     "actual local parent annihilates source5,(0, 1, 1)",
000075 |     "actual local parent annihilates source5,(1, 0, 0)",
000076 |     "actual local parent annihilates source5,(1, 0, 1)",
000077 |     "actual local parent annihilates source5,(1, 1, 0)",
000078 |     "actual local parent annihilates source5,(1, 1, 1)",
000079 |     "direct parent variational energy bound"
000080 |   ],
000081 |   "cp_marked_responses": [
000082 |     "1/2",
000083 |     "1/3"
000084 |   ],
000085 |   "transfer_lambda": "119/169",
000086 |   "direct_parent_trial_rayleigh": "1250/21361",
000087 |   "parent_gap_bound": "13068922988881/6546663765504",
000088 |   "proof_scope": "Implication counterexamples only; original physical tensor and its gap not determined",
000089 |   "complete_TFPT_solution": false,
000090 |   "ledger_changed": false
000091 | }