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: 975-981 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. 000975 | "-1/4 - I/4", 000976 | "-1/4 - I/4" 000977 | ] 000978 | ] 000979 | }, 000980 | "status": "PASS_SCOPED", 000981 | "subset_order": [