TFPT scientific source excerpt Original repository path: experiments/theory-contracts/joint-native-algebra-selection-20261016/native_quartic_multilocal_support_results.json Original file SHA-256: 8a50438e1d7c8e80f1f734d678bea2c81bd59629ec4cde901bb4ad927fa2c2d4 Inclusive original lines: 1-40 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 | "analytic_boundary": "Bounded proper-interval eigenstate-preparation lemma is proved separately in NATIVE-QUARTIC-MULTILOCAL-SUPPORT.txt; it is not established by a finite numerical test.", 000003 | "arc_commutator_principal_gram": [ 000004 | [ 000005 | "243/16", 000006 | "-51/32", 000007 | "0", 000008 | "0", 000009 | "0" 000010 | ], 000011 | [ 000012 | "-51/32", 000013 | "115/64", 000014 | "0", 000015 | "0", 000016 | "0" 000017 | ], 000018 | [ 000019 | "0", 000020 | "0", 000021 | "13/16", 000022 | "-3/16", 000023 | "0" 000024 | ], 000025 | [ 000026 | "0", 000027 | "0", 000028 | "-3/16", 000029 | "13/16", 000030 | "0" 000031 | ], 000032 | [ 000033 | "0", 000034 | "0", 000035 | "0", 000036 | "0", 000037 | "1/8" 000038 | ] 000039 | ], 000040 | "normalized_principal_gram": [