TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/joint-native-algebra-selection-20261016/galois_metric_results.json
Original file SHA-256: 910c47bbe4c54b7d521b24e25dee57581353c0f6926c41c99a1da21e4ed97d11
Inclusive original lines: 1-63
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 |   "conclusion": "A/sqrt(scale) is an isometry from the original cyclotomic trace metric to the native Euclidean metric, for each actual intertwiner.",
000003 |   "rows": [
000004 |     {
000005 |       "exact": true,
000006 |       "positive_metric_scale": "2",
000007 |       "sylow_index": 0
000008 |     },
000009 |     {
000010 |       "exact": true,
000011 |       "positive_metric_scale": "2",
000012 |       "sylow_index": 1
000013 |     },
000014 |     {
000015 |       "exact": true,
000016 |       "positive_metric_scale": "2/5",
000017 |       "sylow_index": 2
000018 |     },
000019 |     {
000020 |       "exact": true,
000021 |       "positive_metric_scale": "2/5",
000022 |       "sylow_index": 3
000023 |     },
000024 |     {
000025 |       "exact": true,
000026 |       "positive_metric_scale": "2",
000027 |       "sylow_index": 4
000028 |     },
000029 |     {
000030 |       "exact": true,
000031 |       "positive_metric_scale": "2/5",
000032 |       "sylow_index": 5
000033 |     }
000034 |   ],
000035 |   "scope": "This fixes a representation metric, not a physical field or action normalization.",
000036 |   "status": "PASS_EXACT_TRACE_METRIC_INTERTWINERS",
000037 |   "trace_metric": [
000038 |     [
000039 |       "4",
000040 |       "-1",
000041 |       "-1",
000042 |       "-1"
000043 |     ],
000044 |     [
000045 |       "-1",
000046 |       "4",
000047 |       "-1",
000048 |       "-1"
000049 |     ],
000050 |     [
000051 |       "-1",
000052 |       "-1",
000053 |       "4",
000054 |       "-1"
000055 |     ],
000056 |     [
000057 |       "-1",
000058 |       "-1",
000059 |       "-1",
000060 |       "4"
000061 |     ]
000062 |   ]
000063 | }