TFPT scientific source excerpt Original repository path: experiments/theory-contracts/collective-native-marginal-origin-20261026/results.json Original file SHA-256: af039e7c41aaf067e583d7c90daf9b88cb62bf129ba5caee55d37186f317d606 Inclusive original lines: 1-70 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 | "algebraic_filter": "(20 M4)^n = Pi_C + 2^(-n)(Pi_sym4-Pi_C), n>=1; no physical execution asserted", 000003 | "arithmetic": "Gaussian integer tensor products and exact int64 matrix identities; no tolerances", 000004 | "code_rank": 5, 000005 | "fourth_moment_identity": "40 M4 = Pi_C + Pi_sym4", 000006 | "global_trace_distance": "6/7", 000007 | "lower_moments": { 000008 | "1": { 000009 | "symmetric_dimension": 4, 000010 | "uniform_exact": true 000011 | }, 000012 | "2": { 000013 | "symmetric_dimension": 10, 000014 | "uniform_exact": true 000015 | }, 000016 | "3": { 000017 | "symmetric_dimension": 20, 000018 | "uniform_exact": true 000019 | } 000020 | }, 000021 | "native_complex_lines": 60, 000022 | "negative_controls": { 000023 | "wrong_amplitude": true, 000024 | "wrong_source_moment": true 000025 | }, 000026 | "no_k_local_exact_ground_selection": "For k<=3, ground(C) implies Sym^4(C^4) is ground as well; arbitrary Hermitian terms, frustration allowed, no ancillas", 000027 | "not_derived": [ 000028 | "Physical choice of E8/J or interaction", 000029 | "thermalization or physical dissipative law", 000030 | "3+2 event or clock selection", 000031 | "many-cell or continuum origin", 000032 | "48*c3^4 seed coefficient" 000033 | ], 000034 | "parent_gap": "1/2", 000035 | "parent_spectrum": { 000036 | "0": 5, 000037 | "1": 221, 000038 | "1/2": 30 000039 | }, 000040 | "proper_marginals": { 000041 | "1": { 000042 | "exact_equal": true, 000043 | "subsets": 4 000044 | }, 000045 | "2": { 000046 | "exact_equal": true, 000047 | "subsets": 6 000048 | }, 000049 | "3": { 000050 | "exact_equal": true, 000051 | "subsets": 4 000052 | } 000053 | }, 000054 | "root_count": 240, 000055 | "source_reconstructs_literal_code_projector": true, 000056 | "source_sha256": { 000057 | "experiments/theory-contracts/joint-native-algebra-selection-20261016/SOURCE-SELECTION.md": "ab3bbe0344406a83bf66e22664183a60281fb744fc5057c394624c74ba6e8256", 000058 | "tfpt_explorer/cartan_source.py": "b3e7963152999ab098111bc9971f237cd63a57975aa2f1d29614d3c994cd30c0", 000059 | "tfpt_explorer/process.py": "e8db5fcd999c9d4c34fbee548aa2c85e1a515cf03663a62355533439ae0f1c94" 000060 | }, 000061 | "support_sizes": [ 000062 | 4, 000063 | 12, 000064 | 12, 000065 | 12, 000066 | 24 000067 | ], 000068 | "symmetric_rank": 35, 000069 | "verdict": "EXACT_SCOPED_COLLECTIVE_ORDER_FOUR; PHYSICAL_ORIGIN_OPEN" 000070 | }