TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/source_recursion_20261028/old-hodge-to-a4-results.json
Original file SHA-256: 7d7ba9590cd8380400ddc04d57f9580fcb7fe06e184ed23dff316c7047435976
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 |   "status": "PASS",
000003 |   "scope": "finite sign and support comparison only",
000004 |   "old_doily_unordered_lines": 15,
000005 |   "directed_matrix_entries": 30,
000006 |   "volume_character_by_omitted_slot": [
000007 |     1,
000008 |     -1,
000009 |     1,
000010 |     -1,
000011 |     1
000012 |   ],
000013 |   "identity": "epsilon(m,i,j,k,l)=chi(m)*sign((i,j,k,l))",
000014 |   "gain": "sum_m C_m^T C_m = 3 I_10",
000015 |   "comparisons": [
000016 |     {
000017 |       "omitted": 0,
000018 |       "input_pair": [
000019 |         1,
000020 |         2
000021 |       ],
000022 |       "output_pair": [
000023 |         3,
000024 |         4
000025 |       ],
000026 |       "old_wedge_sign": 1,
000027 |       "volume_character": 1,
000028 |       "new_epsilon_sign": 1
000029 |     },
000030 |     {
000031 |       "omitted": 0,
000032 |       "input_pair": [
000033 |         1,
000034 |         3
000035 |       ],
000036 |       "output_pair": [
000037 |         2,
000038 |         4
000039 |       ],
000040 |       "old_wedge_sign": -1,
000041 |       "volume_character": 1,
000042 |       "new_epsilon_sign": -1
000043 |     },
000044 |     {
000045 |       "omitted": 0,
000046 |       "input_pair": [
000047 |         1,
000048 |         4
000049 |       ],
000050 |       "output_pair": [
000051 |         2,
000052 |         3
000053 |       ],
000054 |       "old_wedge_sign": 1,
000055 |       "volume_character": 1,
000056 |       "new_epsilon_sign": 1
000057 |     },
000058 |     {
000059 |       "omitted": 0,
000060 |       "input_pair": [
000061 |         2,
000062 |         3
000063 |       ],
000064 |       "output_pair": [
000065 |         1,
000066 |         4
000067 |       ],
000068 |       "old_wedge_sign": 1,
000069 |       "volume_character": 1,
000070 |       "new_epsilon_sign": 1
000071 |     },
000072 |     {
000073 |       "omitted": 0,
000074 |       "input_pair": [
000075 |         2,
000076 |         4
000077 |       ],
000078 |       "output_pair": [
000079 |         1,
000080 |         3
000081 |       ],
000082 |       "old_wedge_sign": -1,
000083 |       "volume_character": 1,
000084 |       "new_epsilon_sign": -1
000085 |     },
000086 |     {
000087 |       "omitted": 0,
000088 |       "input_pair": [
000089 |         3,
000090 |         4
000091 |       ],
000092 |       "output_pair": [
000093 |         1,
000094 |         2
000095 |       ],
000096 |       "old_wedge_sign": 1,
000097 |       "volume_character": 1,
000098 |       "new_epsilon_sign": 1
000099 |     },
000100 |     {
000101 |       "omitted": 1,
000102 |       "input_pair": [
000103 |         0,
000104 |         2
000105 |       ],
000106 |       "output_pair": [
000107 |         3,
000108 |         4
000109 |       ],
000110 |       "old_wedge_sign": 1,
000111 |       "volume_character": -1,
000112 |       "new_epsilon_sign": -1
000113 |     },
000114 |     {
000115 |       "omitted": 1,
000116 |       "input_pair": [
000117 |         0,
000118 |         3
000119 |       ],
000120 |       "output_pair": [
000121 |         2,
000122 |         4
000123 |       ],
000124 |       "old_wedge_sign": -1,
000125 |       "volume_character": -1,
000126 |       "new_epsilon_sign": 1
000127 |     },
000128 |     {
000129 |       "omitted": 1,
000130 |       "input_pair": [
000131 |         0,
000132 |         4
000133 |       ],
000134 |       "output_pair": [
000135 |         2,
000136 |         3
000137 |       ],
000138 |       "old_wedge_sign": 1,
000139 |       "volume_character": -1,
000140 |       "new_epsilon_sign": -1
000141 |     },
000142 |     {
000143 |       "omitted": 1,
000144 |       "input_pair": [
000145 |         2,
000146 |         3
000147 |       ],
000148 |       "output_pair": [
000149 |         0,
000150 |         4
000151 |       ],
000152 |       "old_wedge_sign": 1,
000153 |       "volume_character": -1,
000154 |       "new_epsilon_sign": -1
000155 |     },
000156 |     {
000157 |       "omitted": 1,
000158 |       "input_pair": [
000159 |         2,
000160 |         4
000161 |       ],
000162 |       "output_pair": [
000163 |         0,
000164 |         3
000165 |       ],
000166 |       "old_wedge_sign": -1,
000167 |       "volume_character": -1,
000168 |       "new_epsilon_sign": 1
000169 |     },
000170 |     {
000171 |       "omitted": 1,
000172 |       "input_pair": [
000173 |         3,
000174 |         4
000175 |       ],
000176 |       "output_pair": [
000177 |         0,
000178 |         2
000179 |       ],
000180 |       "old_wedge_sign": 1,
000181 |       "volume_character": -1,
000182 |       "new_epsilon_sign": -1
000183 |     },
000184 |     {
000185 |       "omitted": 2,
000186 |       "input_pair": [
000187 |         0,
000188 |         1
000189 |       ],
000190 |       "output_pair": [
000191 |         3,
000192 |         4
000193 |       ],
000194 |       "old_wedge_sign": 1,
000195 |       "volume_character": 1,
000196 |       "new_epsilon_sign": 1
000197 |     },
000198 |     {
000199 |       "omitted": 2,
000200 |       "input_pair": [