TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/native-pauli-f20-results.json
Original file SHA-256: 6f2aac41c00cf9c93346d49c3859c2019bf5b29be3dbbcc6559dffc1f9eb391b
Inclusive original lines: 1-200
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 |   "C_native": [
000003 |     [
000004 |       "-I/2",
000005 |       "-I/2",
000006 |       "-I/2",
000007 |       "-I/2"
000008 |     ],
000009 |     [
000010 |       "-I/2",
000011 |       "I/2",
000012 |       "-I/2",
000013 |       "I/2"
000014 |     ],
000015 |     [
000016 |       "1/2",
000017 |       "1/2",
000018 |       "-1/2",
000019 |       "-1/2"
000020 |     ],
000021 |     [
000022 |       "-1/2",
000023 |       "1/2",
000024 |       "1/2",
000025 |       "-1/2"
000026 |     ]
000027 |   ],
000028 |   "G_native": [
000029 |     [
000030 |       "0",
000031 |       "0",
000032 |       "0",
000033 |       "I"
000034 |     ],
000035 |     [
000036 |       "0",
000037 |       "0",
000038 |       "-1",
000039 |       "0"
000040 |     ],
000041 |     [
000042 |       "I",
000043 |       "0",
000044 |       "0",
000045 |       "0"
000046 |     ],
000047 |     [
000048 |       "0",
000049 |       "1",
000050 |       "0",
000051 |       "0"
000052 |     ]
000053 |   ],
000054 |   "characters": [
000055 |     {
000056 |       "a": 0,
000057 |       "b": 0,
000058 |       "trace": "4"
000059 |     },
000060 |     {
000061 |       "a": 1,
000062 |       "b": 0,
000063 |       "trace": "-1"
000064 |     },
000065 |     {
000066 |       "a": 2,
000067 |       "b": 0,
000068 |       "trace": "-1"
000069 |     },
000070 |     {
000071 |       "a": 3,
000072 |       "b": 0,
000073 |       "trace": "-1"
000074 |     },
000075 |     {
000076 |       "a": 4,
000077 |       "b": 0,
000078 |       "trace": "-1"
000079 |     },
000080 |     {
000081 |       "a": 0,
000082 |       "b": 1,
000083 |       "trace": "0"
000084 |     },
000085 |     {
000086 |       "a": 1,
000087 |       "b": 1,
000088 |       "trace": "0"
000089 |     },
000090 |     {
000091 |       "a": 2,
000092 |       "b": 1,
000093 |       "trace": "0"
000094 |     },
000095 |     {
000096 |       "a": 3,
000097 |       "b": 1,
000098 |       "trace": "0"
000099 |     },
000100 |     {
000101 |       "a": 4,
000102 |       "b": 1,
000103 |       "trace": "0"
000104 |     },
000105 |     {
000106 |       "a": 0,
000107 |       "b": 2,
000108 |       "trace": "0"
000109 |     },
000110 |     {
000111 |       "a": 1,
000112 |       "b": 2,
000113 |       "trace": "0"
000114 |     },
000115 |     {
000116 |       "a": 2,
000117 |       "b": 2,
000118 |       "trace": "0"
000119 |     },
000120 |     {
000121 |       "a": 3,
000122 |       "b": 2,
000123 |       "trace": "0"
000124 |     },
000125 |     {
000126 |       "a": 4,
000127 |       "b": 2,
000128 |       "trace": "0"
000129 |     },
000130 |     {
000131 |       "a": 0,
000132 |       "b": 3,
000133 |       "trace": "0"
000134 |     },
000135 |     {
000136 |       "a": 1,
000137 |       "b": 3,
000138 |       "trace": "0"
000139 |     },
000140 |     {
000141 |       "a": 2,
000142 |       "b": 3,
000143 |       "trace": "0"
000144 |     },
000145 |     {
000146 |       "a": 3,
000147 |       "b": 3,
000148 |       "trace": "0"
000149 |     },
000150 |     {
000151 |       "a": 4,
000152 |       "b": 3,
000153 |       "trace": "0"
000154 |     }
000155 |   ],
000156 |   "checks": [
000157 |     "v419 source pin",
000158 |     "v783 source pin",
000159 |     "raw Singer word fifth power i",
000160 |     "normalized native C has order five",
000161 |     "Pauli corrected native G has order four",
000162 |     "exact native Frobenius relation",
000163 |     "native four has F20 character generators",
000164 |     "all exact source lift corrections are the mu4 orbit of YZ",
000165 |     "v419 field trace Gram is F20 invariant",
000166 |     "v419 Gram is positive with eigenvalues one five five five",
000167 |     "exact four dimensional F20 intertwiner",
000168 |     "intertwiner determinant",
000169 |     "intertwiner pulls standard metric back to twice field trace Gram",
000170 |     "four dimensional intertwiner space has dimension one",
000171 |     "T over sqrt two is a metric preserving isomorphism",
000172 |     "relative unitary determinant matches Gram determinant",
000173 |     "native F20 character a=0 b=0",
000174 |     "native F20 character a=1 b=0",
000175 |     "native F20 character a=2 b=0",
000176 |     "native F20 character a=3 b=0",
000177 |     "native F20 character a=4 b=0",
000178 |     "native F20 character a=0 b=1",
000179 |     "native F20 character a=1 b=1",
000180 |     "native F20 character a=2 b=1",
000181 |     "native F20 character a=3 b=1",
000182 |     "native F20 character a=4 b=1",
000183 |     "native F20 character a=0 b=2",
000184 |     "native F20 character a=1 b=2",
000185 |     "native F20 character a=2 b=2",
000186 |     "native F20 character a=3 b=2",
000187 |     "native F20 character a=4 b=2",
000188 |     "native F20 character a=0 b=3",
000189 |     "native F20 character a=1 b=3",
000190 |     "native F20 character a=2 b=3",
000191 |     "native F20 character a=3 b=3",
000192 |     "native F20 character a=4 b=3",
000193 |     "native C preserves standard alternating form",
000194 |     "native G has conformal multiplier i",
000195 |     "mu8 normalized native G is symplectic of order eight",
000196 |     "intertwiner transports v419 Omega plus to standard form",
000197 |     "ten decomposes as two fours plus chi one plus chi three",
000198 |     "ten dimensional commutant has complex dimension six",
000199 |     "correct induced field trace metric is invariant on twisted ten",
000200 |     "old determinant 3i ten intertwiner is not metric preserving",