TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/geometric_source_return/primitive_selection.json
Original file SHA-256: 89d75331160a8042d3a01cb13e78cfac34b35f1693e3578ea787b00ad9cd1cb6
Inclusive original lines: 1-200
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 |   "parity_variation": {
000003 |     "split_variation_exact": true,
000004 |     "reference_variation": "-({h_even,A}+{h_odd,B})/2",
000005 |     "relative_variation": "-({h_even,B}+{h_odd,A})/2"
000006 |   },
000007 |   "same_value_opposite_force": {
000008 |     "status": "exact_scoped_nonidentifiability",
000009 |     "pair": {
000010 |       "A": "2 I",
000011 |       "B": "sigma_x",
000012 |       "R": "diag(1,-1)",
000013 |       "D": "A+B",
000014 |       "path": "D(s)=exp(-s)D; chi=1"
000015 |     },
000016 |     "q": [
000017 |       "1/2",
000018 |       "2/3",
000019 |       "3/4",
000020 |       "4/5"
000021 |     ],
000022 |     "heat_times": [
000023 |       0.6931471805599453,
000024 |       0.4054651081081644,
000025 |       0.2876820724517809,
000026 |       0.22314355131420976
000027 |     ],
000028 |     "exact_null_vector": [
000029 |       "-11809/112368",
000030 |       "91611/149824",
000031 |       "-1",
000032 |       "221875/449472"
000033 |     ],
000034 |     "exact_prime_log_difference": "285893*log2/149824 - 88563*log3/149824 - 46505*log5/112368",
000035 |     "positive_difference_interval": "[0.0071660522580729957712998046167126407958391109910235, 0.0071660522580729957712998046167126407958391114070339]",
000036 |     "null_vector_annihilates_rows": [
000037 |       "1",
000038 |       "q",
000039 |       "q^4"
000040 |     ],
000041 |     "weights_plus": [
000042 |       0.415725105410285,
000043 |       0.2499239934822431,
000044 |       0.09570287814333624,
000045 |       0.23864802296413562
000046 |     ],
000047 |     "weights_minus": [
000048 |       0.4358403568696802,
000049 |       0.13288751909110183,
000050 |       0.28710863443000867,
000051 |       0.1441634896092093
000052 |     ],
000053 |     "matched_profile_values": {
000054 |       "0": 1.0,
000055 |       "1": 0.6371741253387819,
000056 |       "2": 0.2033817404980383
000057 |     },
000058 |     "same_action_at_s0": 0.8675847696814872,
000059 |     "derivative_plus": 0.0027432473040925574,
000060 |     "derivative_minus": -0.0027432473040925574,
000061 |     "profile_equality_error_90_digits": 0.0,
000062 |     "independent_derivative_error_90_digits": 4.9378576848209554e-92,
000063 |     "not_implied": [
000064 |       "either measure is the original TFPT transfer profile",
000065 |       "finite 2x2 example is the P1 geometry",
000066 |       "a specified full transfer channel permits both profiles"
000067 |     ],
000068 |     "curves": [
000069 |       {
000070 |         "s": -0.25,
000071 |         "S_plus": 0.7894680066311159,
000072 |         "S_minus": 0.7914623246992822
000073 |       },
000074 |       {
000075 |         "s": -0.24,
000076 |         "S_plus": 0.7954615199302234,
000077 |         "S_minus": 0.7973658012328072
000078 |       },
000079 |       {
000080 |         "s": -0.23,
000081 |         "S_plus": 0.8012351588515775,
000082 |         "S_minus": 0.8030486857871225
000083 |       },
000084 |       {
000085 |         "s": -0.22,
000086 |         "S_plus": 0.8067851190023871,
000087 |         "S_minus": 0.8085074331063786
000088 |       },
000089 |       {
000090 |         "s": -0.21,
000091 |         "S_plus": 0.8121078168082791,
000092 |         "S_minus": 0.813738711073728
000093 |       },
000094 |       {
000095 |         "s": -0.2,
000096 |         "S_plus": 0.8171998945479442,
000097 |         "S_minus": 0.8187394049839541
000098 |       },
000099 |       {
000100 |         "s": -0.19,
000101 |         "S_plus": 0.8220582250484668,
000102 |         "S_minus": 0.8235066215552961
000103 |       },
000104 |       {
000105 |         "s": -0.18,
000106 |         "S_plus": 0.8266799160192241,
000107 |         "S_minus": 0.8280376926587038
000108 |       },
000109 |       {
000110 |         "s": -0.17,
000111 |         "S_plus": 0.8310623140029392,
000112 |         "S_minus": 0.8323301787428466
000113 |       },
000114 |       {
000115 |         "s": -0.16,
000116 |         "S_plus": 0.8352030079234414,
000117 |         "S_minus": 0.8363818719335793
000118 |       },
000119 |       {
000120 |         "s": -0.15,
000121 |         "S_plus": 0.8390998322108748,
000122 |         "S_minus": 0.8401907987872312
000123 |       },
000124 |       {
000125 |         "s": -0.14,
000126 |         "S_plus": 0.8427508694865296,
000127 |         "S_minus": 0.8437552226780369
000128 |       },
000129 |       {
000130 |         "s": -0.13,
000131 |         "S_plus": 0.8461544527910974,
000132 |         "S_minus": 0.8470736458012137
000133 |       },
000134 |       {
000135 |         "s": -0.12,
000136 |         "S_plus": 0.8493091673419729,
000137 |         "S_minus": 0.8501448107746347
000138 |       },
000139 |       {
000140 |         "s": -0.11,
000141 |         "S_plus": 0.852213851807204,
000142 |         "S_minus": 0.8529677018236868
000143 |       },
000144 |       {
000145 |         "s": -0.1,
000146 |         "S_plus": 0.8548675990858163,
000147 |         "S_minus": 0.855541545535745
000148 |       },
000149 |       {
000150 |         "s": -0.09,
000151 |         "S_plus": 0.8572697565864758,
000152 |         "S_minus": 0.8578658111726912
000153 |       },
000154 |       {
000155 |         "s": -0.08,
000156 |         "S_plus": 0.8594199259987776,
000157 |         "S_minus": 0.859940210532043
000158 |       },
000159 |       {
000160 |         "s": -0.07,
000161 |         "S_plus": 0.8613179625538424,
000162 |         "S_minus": 0.8617646973495005
000163 |       },
000164 |       {
000165 |         "s": -0.06,
000166 |         "S_plus": 0.8629639737733256,
000167 |         "S_minus": 0.8633394662380458
000168 |       },
000169 |       {
000170 |         "s": -0.05,
000171 |         "S_plus": 0.8643583177083911,
000172 |         "S_minus": 0.8646649511611025
000173 |       },
000174 |       {
000175 |         "s": -0.04,
000176 |         "S_plus": 0.8655016006726269,
000177 |         "S_minus": 0.8657418234396682
000178 |       },
000179 |       {
000180 |         "s": -0.03,
000181 |         "S_plus": 0.8663946744752754,
000182 |         "S_minus": 0.8665709892957362
000183 |       },
000184 |       {
000185 |         "s": -0.02,
000186 |         "S_plus": 0.8670386331634911,
000187 |         "S_minus": 0.8671535869366946
000188 |       },
000189 |       {
000190 |         "s": -0.01,
000191 |         "S_plus": 0.8674348092845979,
000192 |         "S_minus": 0.8674909831877264
000193 |       },
000194 |       {
000195 |         "s": 0.0,
000196 |         "S_plus": 0.8675847696814872,
000197 |         "S_minus": 0.8675847696814872
000198 |       },
000199 |       {
000200 |         "s": 0.01,