TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/native-spin5-functor-results.json
Original file SHA-256: 5d51730bb45405d04e7c144de10cd7bb23b1b69dbc6fbe558beaa00f98f3dff0
Inclusive original lines: 201-333
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 |   "full_sp4_intertwiner_dimension": 1,
000202 |   "kraus_completeness": "sum C_m^dagger C_m=3 I10",
000203 |   "kraus_hilbert_schmidt_gram": "6 I5",
000204 |   "kraus_space_dimension": 5,
000205 |   "metric_residual": "U(1) phase; real compact form leaves a sign",
000206 |   "normalized_channel": "Phi(rho)=(1/3) sum C_m rho C_m^dagger",
000207 |   "scope": "Full Sp4 functoriality selects a unique natural ten-intertwiner line and a basis-independent Hodge Kraus space on the native compact real form. F20 alone still leaves a two-dimensional slot-chart Hom because sign tensor Perm5 decomposes as 1 plus 4. This constructs a canonical mathematical channel; it does not prove that the original physical source uses that channel.",
000208 |   "spin5_map": [
000209 |     [
000210 |       "0",
000211 |       "0",
000212 |       "sqrt(2)",
000213 |       "0",
000214 |       "0",
000215 |       "0",
000216 |       "0",
000217 |       "0",
000218 |       "0",
000219 |       "0"
000220 |     ],
000221 |     [
000222 |       "0",
000223 |       "0",
000224 |       "0",
000225 |       "sqrt(2)",
000226 |       "0",
000227 |       "0",
000228 |       "0",
000229 |       "0",
000230 |       "0",
000231 |       "0"
000232 |     ],
000233 |     [
000234 |       "0",
000235 |       "0",
000236 |       "0",
000237 |       "0",
000238 |       "0",
000239 |       "sqrt(2)",
000240 |       "0",
000241 |       "0",
000242 |       "0",
000243 |       "0"
000244 |     ],
000245 |     [
000246 |       "0",
000247 |       "0",
000248 |       "0",
000249 |       "0",
000250 |       "0",
000251 |       "0",
000252 |       "sqrt(2)",
000253 |       "0",
000254 |       "0",
000255 |       "0"
000256 |     ],
000257 |     [
000258 |       "1",
000259 |       "0",
000260 |       "0",
000261 |       "0",
000262 |       "0",
000263 |       "0",
000264 |       "0",
000265 |       "0",
000266 |       "0",
000267 |       "0"
000268 |     ],
000269 |     [
000270 |       "0",
000271 |       "0",
000272 |       "0",
000273 |       "0",
000274 |       "0",
000275 |       "0",
000276 |       "0",
000277 |       "1",
000278 |       "0",
000279 |       "0"
000280 |     ],
000281 |     [
000282 |       "0",
000283 |       "1",
000284 |       "0",
000285 |       "0",
000286 |       "0",
000287 |       "0",
000288 |       "0",
000289 |       "0",
000290 |       "1",
000291 |       "0"
000292 |     ],
000293 |     [
000294 |       "0",
000295 |       "-1",
000296 |       "0",
000297 |       "0",
000298 |       "0",
000299 |       "0",
000300 |       "0",
000301 |       "0",
000302 |       "1",
000303 |       "0"
000304 |     ],
000305 |     [
000306 |       "0",
000307 |       "0",
000308 |       "0",
000309 |       "0",
000310 |       "0",
000311 |       "0",
000312 |       "0",
000313 |       "0",
000314 |       "0",
000315 |       "1"
000316 |     ],
000317 |     [
000318 |       "0",
000319 |       "0",
000320 |       "0",
000321 |       "0",
000322 |       "1",
000323 |       "0",
000324 |       "0",
000325 |       "0",
000326 |       "0",
000327 |       "0"
000328 |     ]
000329 |   ],
000330 |   "spin5_map_determinant": "8",
000331 |   "spin5_metric_identity": "F^dagger F=diag(1,2,2,2,1,2,2,1,2,1)",
000332 |   "verdict": "CANONICAL_NATIVE_SPIN5_FUNCTOR_AND_KRAUS_SPACE"
000333 | }