TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-admissible-source-closure-20261025/ns-cover-dirac-rp-results.json
Original file SHA-256: d1844d0c16d7868f38ab2342f3568b53d1d59c3fa56552a0db33815127101862
Inclusive original lines: 1-135
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 |   "all_energy_NS_antiperiodicity": true,
000003 |   "all_energy_green_jump": true,
000004 |   "all_energy_reflected_gram_factorization": true,
000005 |   "antiunitary_KRx_preserves_pin_lifts": true,
000006 |   "beta_in_core_length_units": 2,
000007 |   "complete_TFPT_solution": false,
000008 |   "conjugate_charge_all_energy_reflected_gram_factorization": true,
000009 |   "exact_positive_gram_leading_minors": [
000010 |     "1479099/1686434",
000011 |     "59634974024/711014909089",
000012 |     "3211294248/711014909089"
000013 |   ],
000014 |   "linear_clifford_reflection_exchanges_pin_lifts": true,
000015 |   "physical_gates_closed": [],
000016 |   "scope": "given free charged Green field on the actual NS orientation cover",
000017 |   "thermal_covariance_is_not_a_projection": true,
000018 |   "thermal_zero_occupation": "1/2",
000019 |   "transverse_mode_controls": [
000020 |     {
000021 |       "J_eigenvalue": -1,
000022 |       "b": -1,
000023 |       "energy": "-2*pi",
000024 |       "n": -4
000025 |     },
000026 |     {
000027 |       "J_eigenvalue": 1,
000028 |       "b": -1,
000029 |       "energy": "-3*pi/2",
000030 |       "n": -3
000031 |     },
000032 |     {
000033 |       "J_eigenvalue": -1,
000034 |       "b": -1,
000035 |       "energy": "-pi",
000036 |       "n": -2
000037 |     },
000038 |     {
000039 |       "J_eigenvalue": 1,
000040 |       "b": -1,
000041 |       "energy": "-pi/2",
000042 |       "n": -1
000043 |     },
000044 |     {
000045 |       "J_eigenvalue": -1,
000046 |       "b": -1,
000047 |       "energy": "0",
000048 |       "n": 0
000049 |     },
000050 |     {
000051 |       "J_eigenvalue": 1,
000052 |       "b": -1,
000053 |       "energy": "pi/2",
000054 |       "n": 1
000055 |     },
000056 |     {
000057 |       "J_eigenvalue": -1,
000058 |       "b": -1,
000059 |       "energy": "pi",
000060 |       "n": 2
000061 |     },
000062 |     {
000063 |       "J_eigenvalue": 1,
000064 |       "b": -1,
000065 |       "energy": "3*pi/2",
000066 |       "n": 3
000067 |     },
000068 |     {
000069 |       "J_eigenvalue": -1,
000070 |       "b": -1,
000071 |       "energy": "2*pi",
000072 |       "n": 4
000073 |     },
000074 |     {
000075 |       "J_eigenvalue": 1,
000076 |       "b": 1,
000077 |       "energy": "-2*pi",
000078 |       "n": -4
000079 |     },
000080 |     {
000081 |       "J_eigenvalue": -1,
000082 |       "b": 1,
000083 |       "energy": "-3*pi/2",
000084 |       "n": -3
000085 |     },
000086 |     {
000087 |       "J_eigenvalue": 1,
000088 |       "b": 1,
000089 |       "energy": "-pi",
000090 |       "n": -2
000091 |     },
000092 |     {
000093 |       "J_eigenvalue": -1,
000094 |       "b": 1,
000095 |       "energy": "-pi/2",
000096 |       "n": -1
000097 |     },
000098 |     {
000099 |       "J_eigenvalue": 1,
000100 |       "b": 1,
000101 |       "energy": "0",
000102 |       "n": 0
000103 |     },
000104 |     {
000105 |       "J_eigenvalue": -1,
000106 |       "b": 1,
000107 |       "energy": "pi/2",
000108 |       "n": 1
000109 |     },
000110 |     {
000111 |       "J_eigenvalue": 1,
000112 |       "b": 1,
000113 |       "energy": "pi",
000114 |       "n": 2
000115 |     },
000116 |     {
000117 |       "J_eigenvalue": -1,
000118 |       "b": 1,
000119 |       "energy": "3*pi/2",
000120 |       "n": 3
000121 |     },
000122 |     {
000123 |       "J_eigenvalue": 1,
000124 |       "b": 1,
000125 |       "energy": "2*pi",
000126 |       "n": 4
000127 |     }
000128 |   ],
000129 |   "zero_mode_kernel_pairing": {
000130 |     "0_to_1": "1/2",
000131 |     "1_to_2": "1/2",
000132 |     "minus_1_to_0": "-1/2",
000133 |     "minus_2_to_minus_1": "-1/2"
000134 |   }
000135 | }