TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/tfpt-unified-source-derivation-20261029/aps_source_review/SEARCH-OBJECTIVE-AUDIT.json
Original file SHA-256: b3ec34320bc70c38921a6274bdfbd47651e47e81f7f90f3a052772f2c34ade46
Inclusive original lines: 1-186
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 |   "contract": "FUNDAMENTAL-SEARCH-OBJECTIVE-AUDIT-20261030",
000003 |   "all_passed": true,
000004 |   "checks": {
000005 |     "entire84_family_hermitian": true,
000006 |     "entire84_family_gamma_odd": true,
000007 |     "entire84_family_J_real": true,
000008 |     "84_independent_original_coordinates": true,
000009 |     "actual_algebra24_family_diagonal": true,
000010 |     "actual_algebra24_family_blind": true,
000011 |     "SM_order_zero_all24_by24": true,
000012 |     "SM_order_one_entire84_linear_family": true,
000013 |     "original_basis_gaussian_integer_exact": true,
000014 |     "orbit_entries_integer_exact": true,
000015 |     "orbit_preserves_actual84_family": true,
000016 |     "generic_orbit_rank53": true,
000017 |     "generic_stabilizer_one_dimension": true,
000018 |     "exact53_by53_minor_nonzero": true,
000019 |     "null_is_original_baryon_rotation": true
000020 |   },
000021 |   "real_parameter_dimension": 84,
000022 |   "frame_dimension": 54,
000023 |   "generic_orbit_rank": 53,
000024 |   "generic_stabilizer_dimension": 1,
000025 |   "generic_quotient_dimension": 31,
000026 |   "ordered_family_block_types": 26,
000027 |   "exact_minor": {
000028 |     "rows": [
000029 |       0,
000030 |       1,
000031 |       2,
000032 |       3,
000033 |       4,
000034 |       5,
000035 |       6,
000036 |       7,
000037 |       8,
000038 |       9,
000039 |       10,
000040 |       11,
000041 |       12,
000042 |       13,
000043 |       14,
000044 |       18,
000045 |       19,
000046 |       20,
000047 |       21,
000048 |       22,
000049 |       23,
000050 |       24,
000051 |       25,
000052 |       26,
000053 |       29,
000054 |       30,
000055 |       36,
000056 |       37,
000057 |       38,
000058 |       39,
000059 |       40,
000060 |       41,
000061 |       42,
000062 |       43,
000063 |       44,
000064 |       45,
000065 |       46,
000066 |       47,
000067 |       48,
000068 |       49,
000069 |       51,
000070 |       54,
000071 |       55,
000072 |       56,
000073 |       57,
000074 |       58,
000075 |       59,
000076 |       60,
000077 |       61,
000078 |       62,
000079 |       65,
000080 |       66,
000081 |       72
000082 |     ],
000083 |     "columns": [
000084 |       0,
000085 |       1,
000086 |       2,
000087 |       3,
000088 |       4,
000089 |       5,
000090 |       6,
000091 |       7,
000092 |       8,
000093 |       9,
000094 |       10,
000095 |       11,
000096 |       12,
000097 |       13,
000098 |       14,
000099 |       15,
000100 |       16,
000101 |       17,
000102 |       18,
000103 |       19,
000104 |       20,
000105 |       21,
000106 |       22,
000107 |       23,
000108 |       24,
000109 |       25,
000110 |       26,
000111 |       27,
000112 |       28,
000113 |       29,
000114 |       30,
000115 |       31,
000116 |       32,
000117 |       33,
000118 |       34,
000119 |       35,
000120 |       36,
000121 |       37,
000122 |       38,
000123 |       39,
000124 |       40,
000125 |       41,
000126 |       42,
000127 |       43,
000128 |       44,
000129 |       45,
000130 |       46,
000131 |       48,
000132 |       49,
000133 |       50,
000134 |       51,
000135 |       52,
000136 |       53
000137 |     ],
000138 |     "determinant": "-19829864005632"
000139 |   },
000140 |   "stabilizer_support": [
000141 |     [
000142 |       "Q:diag0",
000143 |       "-1"
000144 |     ],
000145 |     [
000146 |       "Q:diag1",
000147 |       "-1"
000148 |     ],
000149 |     [
000150 |       "Q:diag2",
000151 |       "-1"
000152 |     ],
000153 |     [
000154 |       "uc:diag0",
000155 |       "1"
000156 |     ],
000157 |     [
000158 |       "uc:diag1",
000159 |       "1"
000160 |     ],
000161 |     [
000162 |       "uc:diag2",
000163 |       "1"
000164 |     ],
000165 |     [
000166 |       "dc:diag0",
000167 |       "1"
000168 |     ],
000169 |     [
000170 |       "dc:diag1",
000171 |       "1"
000172 |     ],
000173 |     [
000174 |       "dc:diag2",
000175 |       "1"
000176 |     ]
000177 |   ],
000178 |   "elapsed_seconds": 0.3502042293548584,
000179 |   "search_verdict": "NON_SELECTIVE_COMPATIBILITY_CLASS",
000180 |   "final_solution_found": false,
000181 |   "binary_subfamily_size": "19342813113834066795298816",
000182 |   "binary_subfamily_enumerated": false,
000183 |   "coverage_method": "Exact basis plus linearity, all real coefficient values",
000184 |   "independent_source_selection_equation_supplied": false,
000185 |   "scope": "All real linear combinations in the ORIGINAL v252 finite-triple family, not all TFPT source/action/continuum constraints. Gaussian-integer finite algebra plus exact rational rank. No final physical solution selected."
000186 | }