TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/record-chart-f20-scope-results.json
Original file SHA-256: d13e06cb364386764e7ab4c1525d9bbaa1369eeabfe483eb78562d0ac68a9bbe
Inclusive original lines: 1-69
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 |   "checks": 53,
000003 |   "native_outer_fixed_mark": 5,
000004 |   "raw_chart": {
000005 |     "f20_intertwiner": false,
000006 |     "pmax": "1/25",
000007 |     "three_plus_two_invariant_under_C5": false,
000008 |     "two_event_coefficient_gram_diagonal": [
000009 |       "1/64",
000010 |       "1/48",
000011 |       "1/48",
000012 |       "1/48",
000013 |       "1/64"
000014 |     ]
000015 |   },
000016 |   "repair": {
000017 |     "generator_equalities_exact": true,
000018 |     "minimal_record_contraction_row_gram_at_pmax": "I5",
000019 |     "negative_quarter_diagonal": [
000020 |       "1",
000021 |       "I",
000022 |       "-I",
000023 |       "1",
000024 |       "-I",
000025 |       "1",
000026 |       "I",
000027 |       "-I",
000028 |       "-I",
000029 |       "1"
000030 |     ],
000031 |     "pmax": "1/25",
000032 |     "positive_quarter_diagonal": [
000033 |       "1",
000034 |       "-I",
000035 |       "I",
000036 |       "1",
000037 |       "-I",
000038 |       "-1",
000039 |       "-I",
000040 |       "-I",
000041 |       "I",
000042 |       "1"
000043 |     ],
000044 |     "slot_relabeling": [
000045 |       4,
000046 |       1,
000047 |       3,
000048 |       2,
000049 |       0
000050 |     ],
000051 |     "two_event_coefficient_gram": "I5/48 for both quarter orientations",
000052 |     "unitary": true
000053 |   },
000054 |   "scope": "The value 1/25 survives the two explicit monomial unitary F20 repairs, but the raw chart used previously was not itself an F20 intertwiner. The native ten has residual U(2) times U(1) times U(1) intertwiner freedom; invariance over that full family is not proved.",
000055 |   "source_sha256": {
000056 | [OMITTED: non-scientific conversation or execution metadata]
000057 | [OMITTED: non-scientific conversation or execution metadata]
000058 | [OMITTED: non-scientific conversation or execution metadata]
000059 | [OMITTED: non-scientific conversation or execution metadata]
000060 | [OMITTED: non-scientific conversation or execution metadata]
000061 |   },
000062 |   "verdict": [
000063 |     "RAW_DUAD_CHART_IS_NOT_AN_F20_INTERTWINER",
000064 |     "ONE_SLOT_RELABELING_PLUS_A_DIAGONAL_MU4_GAUGE_REPAIRS_BOTH_F20_GENERATORS",
000065 |     "PMAX_REMAINS_1_OVER_25_FOR_THE_TWO_EXPLICIT_REPAIRED_UNITARY_CHARTS",
000066 |     "RAW_THREE_PLUS_TWO_FILTER_SPLITTING_IS_NOT_F20_COVARIANT_AND_DISAPPEARS_AFTER_REPAIR",
000067 |     "FULL_U2_TIMES_U1_TIMES_U1_TEN_INTERTWINER_GAUGE_IS_NOT_CLASSIFIED_BY_THIS_TEST"
000068 |   ]
000069 | }