TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/ORIGINAL-SPIN-CURRENT-INSERTION.json
Original file SHA-256: 8429fcf989b43a9223e4249524b36cde490c5f76b46572426e78c38f6fee3425
Inclusive original lines: 1-120
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": "R072",
000003 |   "scope": "original fixed fold; smooth closed Cartan insertions, not sharp spinor vertex construction",
000004 |   "actual_roots": [
000005 |     {
000006 |       "root": [
000007 |         "0",
000008 |         "1",
000009 |         "-1",
000010 |         "0",
000011 |         "0",
000012 |         "0",
000013 |         "0",
000014 |         "0"
000015 |       ],
000016 |       "q": [
000017 |         "1/2",
000018 |         "-1/2",
000019 |         "-1/2",
000020 |         "-1/2",
000021 |         "-1/2",
000022 |         "-1/2",
000023 |         "1/2",
000024 |         "-1/2"
000025 |       ],
000026 |       "sum_q": "-2",
000027 |       "generator_offdiagonal_hs2": "3/2",
000028 |       "loop_pi_offdiagonal_hs2": "6",
000029 |       "first_offdiagonal_entry": [
000030 |         0,
000031 |         1,
000032 |         "1/8 + I/8"
000033 |       ],
000034 |       "nonzero_offdiagonal_entries": 40
000035 |     },
000036 |     {
000037 |       "root": [
000038 |         "0",
000039 |         "-1",
000040 |         "1",
000041 |         "0",
000042 |         "0",
000043 |         "0",
000044 |         "0",
000045 |         "0"
000046 |       ],
000047 |       "q": [
000048 |         "-1/2",
000049 |         "1/2",
000050 |         "1/2",
000051 |         "1/2",
000052 |         "1/2",
000053 |         "1/2",
000054 |         "-1/2",
000055 |         "1/2"
000056 |       ],
000057 |       "sum_q": "2",
000058 |       "generator_offdiagonal_hs2": "3/2",
000059 |       "loop_pi_offdiagonal_hs2": "6",
000060 |       "first_offdiagonal_entry": [
000061 |         0,
000062 |         1,
000063 |         "-1/8 - I/8"
000064 |       ],
000065 |       "nonzero_offdiagonal_entries": 40
000066 |     },
000067 |     {
000068 |       "root": [
000069 |         "1",
000070 |         "0",
000071 |         "-1",
000072 |         "0",
000073 |         "0",
000074 |         "0",
000075 |         "0",
000076 |         "0"
000077 |       ],
000078 |       "q": [
000079 |         "1/2",
000080 |         "-1/2",
000081 |         "1/2",
000082 |         "-1/2",
000083 |         "-1/2",
000084 |         "-1/2",
000085 |         "-1/2",
000086 |         "-1/2"
000087 |       ],
000088 |       "sum_q": "-2",
000089 |       "generator_offdiagonal_hs2": "3/2",
000090 |       "loop_pi_offdiagonal_hs2": "6",
000091 |       "first_offdiagonal_entry": [
000092 |         0,
000093 |         1,
000094 |         "1/8 - I/8"
000095 |       ],
000096 |       "nonzero_offdiagonal_entries": 40
000097 |     },
000098 |     {
000099 |       "root": [
000100 |         "-1",
000101 |         "0",
000102 |         "1",
000103 |         "0",
000104 |         "0",
000105 |         "0",
000106 |         "0",
000107 |         "0"
000108 |       ],
000109 |       "q": [
000110 |         "-1/2",
000111 |         "1/2",
000112 |         "-1/2",
000113 |         "1/2",
000114 |         "1/2",
000115 |         "1/2",
000116 |         "1/2",
000117 |         "1/2"
000118 |       ],
000119 |       "sum_q": "2",
000120 |       "generator_offdiagonal_hs2": "3/2",