TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/v16-operator-pullback-20261014/fold-results.json
Original file SHA-256: 253f370a9c84b70c28169ed0aad83d1866245804227e44aa0189e823382f5639
Inclusive original lines: 5-86
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.

000005 |   "explicit_Weyl_matrix": [
000006 |     [
000007 |       "1/2",
000008 |       "0",
000009 |       "1/2",
000010 |       "0",
000011 |       "-1/2",
000012 |       "0",
000013 |       "-1/2",
000014 |       "0"
000015 |     ],
000016 |     [
000017 |       "1/2",
000018 |       "0",
000019 |       "-1/2",
000020 |       "0",
000021 |       "-1/2",
000022 |       "0",
000023 |       "1/2",
000024 |       "0"
000025 |     ],
000026 |     [
000027 |       "0",
000028 |       "1/2",
000029 |       "0",
000030 |       "1/2",
000031 |       "0",
000032 |       "1/2",
000033 |       "0",
000034 |       "1/2"
000035 |     ],
000036 |     [
000037 |       "0",
000038 |       "1/2",
000039 |       "0",
000040 |       "1/2",
000041 |       "0",
000042 |       "-1/2",
000043 |       "0",
000044 |       "-1/2"
000045 |     ],
000046 |     [
000047 |       "0",
000048 |       "1/2",
000049 |       "0",
000050 |       "-1/2",
000051 |       "0",
000052 |       "-1/2",
000053 |       "0",
000054 |       "1/2"
000055 |     ],
000056 |     [
000057 |       "1/2",
000058 |       "0",
000059 |       "1/2",
000060 |       "0",
000061 |       "1/2",
000062 |       "0",
000063 |       "1/2",
000064 |       "0"
000065 |     ],
000066 |     [
000067 |       "1/2",
000068 |       "0",
000069 |       "-1/2",
000070 |       "0",
000071 |       "1/2",
000072 |       "0",
000073 |       "-1/2",
000074 |       "0"
000075 |     ],
000076 |     [
000077 |       "0",
000078 |       "1/2",
000079 |       "0",
000080 |       "-1/2",
000081 |       "0",
000082 |       "1/2",
000083 |       "0",
000084 |       "-1/2"
000085 |     ]
000086 |   ],