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: 201-301
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.

000201 |     "ten polar square lies in the F20 commutant"
000202 |   ],
000203 |   "conformal_multiplier_G": "i",
000204 |   "exact_G_lifts": [
000205 |     {
000206 |       "pauli": "YZ",
000207 |       "zeta8_power": 0
000208 |     },
000209 |     {
000210 |       "pauli": "YZ",
000211 |       "zeta8_power": 2
000212 |     },
000213 |     {
000214 |       "pauli": "YZ",
000215 |       "zeta8_power": 4
000216 |     },
000217 |     {
000218 |       "pauli": "YZ",
000219 |       "zeta8_power": 6
000220 |     }
000221 |   ],
000222 |   "intertwiner_T": [
000223 |     [
000224 |       "-1 - I",
000225 |       "I",
000226 |       "I",
000227 |       "I"
000228 |     ],
000229 |     [
000230 |       "-1 + I",
000231 |       "-2 - I",
000232 |       "1",
000233 |       "1"
000234 |     ],
000235 |     [
000236 |       "1 - I",
000237 |       "-1",
000238 |       "-1",
000239 |       "2 + I"
000240 |     ],
000241 |     [
000242 |       "-1 + I",
000243 |       "1",
000244 |       "-2 - I",
000245 |       "1"
000246 |     ]
000247 |   ],
000248 |   "intertwiner_determinant": "-8 + 44*I",
000249 |   "intertwiner_space_dimension": 1,
000250 |   "metric_identity": "T^dagger T = 2 (5 I - J)",
000251 |   "old_ten_intertwiner": "determinant 3i, not metric preserving",
000252 |   "relative_unitary": "U=T/sqrt(2), U^dagger U=5 I-J",
000253 |   "scope": "The F20 is constructed from the frozen v783 native Clifford generators and source-proved Pauli/mu8 kernel. v783 does not designate this Singer normalizer as the v419 Galois clock. The result is a carrier representation bridge, not a physical four-dimensional field or channel identification.",
000254 |   "source_words_rightmost_first": {
000255 |     "C": "-i C_raw",
000256 |     "C_raw": "(I tensor H) CNOT (S tensor I) (H tensor I)",
000257 |     "G": "(Y tensor Z) G_raw",
000258 |     "G_raw": "CNOT (I tensor S) (S tensor I)"
000259 |   },
000260 |   "spin_lift": "zeta8^(-1) G, order 8",
000261 |   "ten_commutant": "M2(C) plus C plus C",
000262 |   "ten_commutant_dimension": 6,
000263 |   "ten_decomposition": "2 V4 + chi_1 + chi_3",
000264 |   "ten_multiplicities": {
000265 |     "V4": "2",
000266 |     "chi_0": "0",
000267 |     "chi_1": "1",
000268 |     "chi_2": "0",
000269 |     "chi_3": "1"
000270 |   },
000271 |   "ten_polar_repair": "P^2=H_sym^(-1) A^dagger A; U=A P^(-1), with P the positive H_sym square root",
000272 |   "transported_alternating_form": "(1-2i)/10 times J_standard",
000273 |   "unitary_ten_residual_gauge": "U(2) times U(1) times U(1)",
000274 |   "v419_Gram": [
000275 |     [
000276 |       "4",
000277 |       "-1",
000278 |       "-1",
000279 |       "-1"
000280 |     ],
000281 |     [
000282 |       "-1",
000283 |       "4",
000284 |       "-1",
000285 |       "-1"
000286 |     ],
000287 |     [
000288 |       "-1",
000289 |       "-1",
000290 |       "4",
000291 |       "-1"
000292 |     ],
000293 |     [
000294 |       "-1",
000295 |       "-1",
000296 |       "-1",
000297 |       "4"
000298 |     ]
000299 |   ],
000300 |   "verdict": "EXACT_NATIVE_SOURCE_F20_AND_METRIC_BRIDGE"
000301 | }