TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_results.json
Original file SHA-256: 8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4
Inclusive original lines: 54-110
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.

000054 |     ],
000055 |     [
000056 |       "0",
000057 |       "0",
000058 |       "13/64",
000059 |       "-3/64",
000060 |       "0"
000061 |     ],
000062 |     [
000063 |       "0",
000064 |       "0",
000065 |       "-3/64",
000066 |       "13/64",
000067 |       "0"
000068 |     ],
000069 |     [
000070 |       "0",
000071 |       "0",
000072 |       "0",
000073 |       "0",
000074 |       "1/4"
000075 |     ]
000076 |   ],
000077 |   "normalized_principal_gram_determinant": "165/131072",
000078 |   "not_established": [
000079 |     "Physical P1 source/reference or preparation",
000080 |     "A q selector",
000081 |     "No-go for arbitrary unbounded local field products"
000082 |   ],
000083 |   "original_polynomials": [
000084 |     {
000085 |       "terms": [
000086 |         {
000087 |           "coefficient": "1",
000088 |           "word": [
000089 |             0,
000090 |             0,
000091 |             0,
000092 |             0
000093 |           ]
000094 |         },
000095 |         {
000096 |           "coefficient": "1",
000097 |           "word": [
000098 |             1,
000099 |             1,
000100 |             1,
000101 |             1
000102 |           ]
000103 |         },
000104 |         {
000105 |           "coefficient": "1",
000106 |           "word": [
000107 |             2,
000108 |             2,
000109 |             2,
000110 |             2