TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/F20-RECORD-CHART-SCOPE.txt Original file SHA-256: 2bf632af14d16c072c5089397563e00db61e88a7eb39100f1dfbf9cfe774a4a3 Inclusive original lines: 1-104 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 | F20 SCOPE OF THE TWO EVENT HODGE RECORD FILTER 000002 | 000003 | 2026-10-28 | exact generator test | no Atlas change 000004 | 000005 | RESULT 000006 | 000007 | The raw Bell10 to duad10 permutation used in source_record_hodge.py is not an 000008 | F20 intertwiner, even after either scalar quarter twist is applied to the 000009 | native G generator. Therefore its three plus two minimum norm filter spectrum 000010 | was a property of that label chart, not an original F20 covariant splitting. 000011 | 000012 | The native F20 does determine a repair. Its action on the six outer marks 000013 | fixes exactly mark 5. In that fiber, exactly one permutation of the remaining 000014 | five slots aligns the underlying Bell and wedge permutations: 000015 | 000016 | (0,1,2,3,4) -> (4,1,3,2,0). 000017 | 000018 | The permutation alone does not align the phases. A further diagonal mu4 gauge 000019 | does. For the positive quarter orientation chi(G)=i, the gauge is 000020 | 000021 | D_+ = diag(1,-i,i,1,-i,-1,-i,-i,i,1). 000022 | 000023 | Writing P for the old mark 5 duad chart and Q for the induced exterior square 000024 | of the slot permutation, the repaired unitary chart is 000025 | 000026 | B_+ = P Q D_+^(-1). 000027 | 000028 | It satisfies the actual generator equalities 000029 | 000030 | B_+^dagger Bell(C) B_+ = Lambda2(c), 000031 | B_+^dagger [i Bell(G)] B_+ = Lambda2(g). 000032 | 000033 | The negative quarter orientation has the analogous exact repair 000034 | 000035 | D_- = diag(1,i,-i,1,-i,1,i,-i,-i,1). 000036 | 000037 | Thus the previous chart itself was not the F20 bridge. A particular monomial 000038 | unitary member of the known ten dimensional intertwiner family repairs it. 000039 | 000040 | EFFECT ON THE TWO EVENT FILTER 000041 | 000042 | In the raw label chart, the exact minimum norm coefficient Gram matrix was 000043 | 000044 | diag(1/64,1/48,1/48,1/48,1/64). 000045 | 000046 | Its two 1/64 directions and three 1/48 directions give the earlier three plus 000047 | two filter spectrum. This matrix does not commute with the native five cycle. 000048 | The corresponding eigenspaces are therefore not F20 submodules. 000049 | 000050 | In either repaired F20 chart, the exact Gram matrix becomes 000051 | 000052 | I5/48. 000053 | 000054 | The minimum record contraction at the maximal success probability consequently 000055 | has row Gram I5. The three plus two distinction disappears completely. The 000056 | filter is isotropic on the five Hodge Kraus labels for these two repaired 000057 | charts. 000058 | 000059 | The maximal probability remains 000060 | 000061 | p_max = 1/(1200 times 1/48) = 1/25 000062 | 000063 | for both explicit quarter orientations. Hence the numerical value 1/25 is not 000064 | destroyed by correcting the most immediate F20 typing error. Its previous 000065 | three plus two explanation is destroyed. 000066 | 000067 | REMAINING GAUGE BOUNDARY 000068 | 000069 | NATIVE-PAULI-F20-UNITARY-BRIDGE.txt proves that the ten decomposes as 000070 | 000071 | 2 V4 plus chi_1 plus chi_3, 000072 | 000073 | so the unitary F20 intertwiner freedom is 000074 | 000075 | U(2) times U(1) times U(1). 000076 | 000077 | The diagonal repairs above select two explicit monomial points in this family. 000078 | The present test does not prove that p_max is invariant under the full U(2) 000079 | mixing of the two equivalent four dimensional summands. Therefore 1/25 is an 000080 | exact value for the old label chart and for the two explicit repaired F20 000081 | charts. It is not yet a gauge independent consequence of the abstract native 000082 | F20 module alone. 000083 | 000084 | The source also does not select the repaired chart from the full unitary 000085 | commutant. The physical status remains conditional on the chosen Bell to 000086 | wedge identification and on coherent access to the two event record. 000087 | 000088 | VERIFICATION 000089 | 000090 | check_record_chart_f20_scope.py pins the original sixty event source, the Hodge 000091 | checker, the native F20 bridge and the previous record checker. It reconstructs 000092 | the actual native Pauli words, their Bell congruence action, the outer six 000093 | action, the unique fixed mark, all 120 slot relabelings, both exact diagonal 000094 | quarter repairs, and the full 3600 word frame in the raw and repaired charts. 000095 | 000096 | It passes 53 exact checks. Normal and Python optimized runs produce byte 000097 | identical JSON. 000098 | 000099 | Files: 000100 | 000101 | check_record_chart_f20_scope.py 000102 | record-chart-f20-scope-results.json 000103 | 000104 | No existing report, Atlas record, ledger or upstream source was changed.