TFPT scientific source excerpt Original repository path: experiments/theory-contracts/joint-native-algebra-selection-20261016/four_polar_context_algebra_results.json Original file SHA-256: 269ffa3c7124f93f36db1c437ab22046a84d2d9bca7531396755490b41924a92 Inclusive original lines: 1-55 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 | "status": "PASS_EXACT_FOUR_POLAR_CONTEXT_ALGEBRA", 000003 | "overlap_t": "4*sqrt(6)/25 + 11/25", 000004 | "four_ray_gram": [ 000005 | [ 000006 | "1", 000007 | "-1/5", 000008 | "-1/5", 000009 | "-1/5" 000010 | ], 000011 | [ 000012 | "-1/5", 000013 | "1", 000014 | "-1/5", 000015 | "-1/5" 000016 | ], 000017 | [ 000018 | "-1/5", 000019 | "-1/5", 000020 | "1", 000021 | "-1/5" 000022 | ], 000023 | [ 000024 | "-1/5", 000025 | "-1/5", 000026 | "-1/5", 000027 | "1" 000028 | ] 000029 | ], 000030 | "polar_generated_algebra": "C direct_sum M4(C)", 000031 | "polar_commutant_dimension": 2, 000032 | "polar_algebra_dimension": 17, 000033 | "pair_commutator_norm_squared": [ 000034 | "33616*sqrt(6)/390625 + 84144/390625", 000035 | "33616*sqrt(6)/390625 + 84144/390625", 000036 | "33616*sqrt(6)/390625 + 84144/390625", 000037 | "33616*sqrt(6)/390625 + 84144/390625", 000038 | "33616*sqrt(6)/390625 + 84144/390625", 000039 | "33616*sqrt(6)/390625 + 84144/390625" 000040 | ], 000041 | "original_D1_cases": { 000042 | "1/4": { 000043 | "cross_block_norm_squared": "7882461/4398046511104", 000044 | "response_algebra": "M5(C)", 000045 | "commutant_dimension": 1 000046 | }, 000047 | "3/4": { 000048 | "cross_block_norm_squared": "3201175/13194139533312", 000049 | "response_algebra": "M5(C)", 000050 | "commutant_dimension": 1 000051 | } 000052 | }, 000053 | "source_tensor_sha256": "6d7669311e63517976d142529e74dc996a02ad51703cc09a0ef9c2211edff706", 000054 | "scope": "Actual finite quartic observation space, fixed global S={0,1}, original polar rule and NS current metric. Algebraic classification and conditional sharp-instrument constraint only. No assertion of physical implementation, full-source superselection, unique q, preferred measurement, or complete TFPT solution." 000055 | }