TFPT scientific source excerpt Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_sewing_20261028/sewing/ward-charged-module-selection-results.json Original file SHA-256: 6f4a4b76fa70c45e86a98e0e6ce34d494db133113deeba18a5c116e83c7e2824 Inclusive original lines: 1-68 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 | "carrier_weight": [ 000003 | -2, 000004 | -2, 000005 | 8, 000006 | -2, 000007 | -2 000008 | ], 000009 | "family_dynkin_weight": [ 000010 | 0, 000011 | 1, 000012 | 0, 000013 | 0 000014 | ], 000015 | "inclusive_current_count": 50, 000016 | "inclusive_source_gain": "12 I50", 000017 | "neutral_directed_edges": 500, 000018 | "neutral_orbit_size": 50, 000019 | "neutral_roots": 40, 000020 | "old_D5xA3_grading": { 000021 | "g2": 30, 000022 | "g3": 20 000023 | }, 000024 | "orbit_equals_full_target_sector": true, 000025 | "p2_X": [ 000026 | -2, 000027 | -2, 000028 | -2, 000029 | 3, 000030 | 3 000031 | ], 000032 | "p2_X_insertion_charge_spectrum": { 000033 | "-2": 30, 000034 | "3": 20 000035 | }, 000036 | "reflected_module": "(bar5,bar10)", 000037 | "scope": "Conditional algebraic selection from the pinned Ward dictionary and the actual local E8 current closure. This does not derive the raw source map Xi or the inclusive reflected sewing operation.", 000038 | "selected_module": "(5,10)", 000039 | "single_ward_bracket_nonzero_columns": 12, 000040 | "single_ward_bracket_rank": 12, 000041 | "sources": { 000042 | "canonical_a4_checker": { 000043 | [OMITTED: non-scientific conversation or execution metadata] 000044 | "sha256": "9659806dfc92ec5f7d322a066d8e6f5b7b7c80e9a5cc285257d5d44bc57ea1f0" 000045 | }, 000046 | "canonical_a4_results": { 000047 | [OMITTED: non-scientific conversation or execution metadata] 000048 | "sha256": "2816fbc59ad82469571831c4ae852753a4a147d07fd247d835b0b8adfb49c334" 000049 | }, 000050 | "ward_source": { 000051 | [OMITTED: non-scientific conversation or execution metadata] 000052 | "pinned_statement": "q -> q'=2(e3+e6)", 000053 | "sha256": "7c0cd92dfc5eca88260baae0af9edad66f958a27ce0d15d7965414b3971f8da0" 000054 | } 000055 | }, 000056 | "verdict": "PASS", 000057 | "ward_p2_X_charge": -2, 000058 | "ward_root_doubled": [ 000059 | 0, 000060 | 0, 000061 | 2, 000062 | 0, 000063 | 0, 000064 | 2, 000065 | 0, 000066 | 0 000067 | ] 000068 | }