TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/elliptic-moebius-source-bridge-20261026/boundary_origin_20261027/source/three-cabled-seam.json
Original file SHA-256: e3fddc8fad3f71c3ed8eb4b00f1bce395d1f274bd28d75d85909d0a3ade1c91e
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 |   "cases": {
000003 |     "1": {
000004 |       "Q_reference_determinant": "-1",
000005 |       "Q_spin_determinant": "sqrt(2)*(1 - I)/2",
000006 |       "c_character": {
000007 |         "c": 0,
000008 |         "c_squared": 0,
000009 |         "determinant": 1,
000010 |         "identity": 3
000011 |       },
000012 |       "cokernel_dimension": 3,
000013 |       "expected_relative_Q_character": "2*sqrt(2)/(1 + I)**3",
000014 |       "expected_relative_beta_character": "I",
000015 |       "kernel_dimension": 0,
000016 |       "matrix_shape": [
000017 |         21,
000018 |         18
000019 |       ],
000020 |       "quotient_basis": [
000021 |         "sheet_0:z^0",
000022 |         "sheet_1:z^0",
000023 |         "sheet_2:z^0"
000024 |       ],
000025 |       "rank": 18,
000026 |       "relative_Q_character": "sqrt(2)*(-1 - I)/2",
000027 |       "relative_beta_character": "I"
000028 |     },
000029 |     "2": {
000030 |       "Q_reference_determinant": "-I",
000031 |       "Q_spin_determinant": "-1",
000032 |       "c_character": {
000033 |         "c": 0,
000034 |         "c_squared": 0,
000035 |         "determinant": 1,
000036 |         "identity": 6
000037 |       },
000038 |       "cokernel_dimension": 6,
000039 |       "expected_relative_Q_character": "I",
000040 |       "expected_relative_beta_character": "-1",
000041 |       "kernel_dimension": 0,
000042 |       "matrix_shape": [
000043 |         24,
000044 |         18
000045 |       ],
000046 |       "quotient_basis": [
000047 |         "sheet_0:z^0",
000048 |         "sheet_0:z^1",
000049 |         "sheet_1:z^0",
000050 |         "sheet_1:z^1",
000051 |         "sheet_2:z^0",
000052 |         "sheet_2:z^1"
000053 |       ],
000054 |       "rank": 18,
000055 |       "relative_Q_character": "I",
000056 |       "relative_beta_character": "-1"
000057 |     },
000058 |     "3": {
000059 |       "Q_reference_determinant": "-I",
000060 |       "Q_spin_determinant": "sqrt(2)*(1 - I)/2",
000061 |       "c_character": {
000062 |         "c": 0,
000063 |         "c_squared": 0,
000064 |         "determinant": 1,
000065 |         "identity": 9
000066 |       },
000067 |       "cokernel_dimension": 9,
000068 |       "expected_relative_Q_character": "sqrt(2)*(1 - I)/2",
000069 |       "expected_relative_beta_character": "-I",
000070 |       "kernel_dimension": 0,
000071 |       "matrix_shape": [
000072 |         27,
000073 |         18
000074 |       ],
000075 |       "quotient_basis": [
000076 |         "sheet_0:z^0",
000077 |         "sheet_0:z^1",
000078 |         "sheet_0:z^2",
000079 |         "sheet_1:z^0",
000080 |         "sheet_1:z^1",
000081 |         "sheet_1:z^2",
000082 |         "sheet_2:z^0",
000083 |         "sheet_2:z^1",
000084 |         "sheet_2:z^2"
000085 |       ],
000086 |       "rank": 18,
000087 |       "relative_Q_character": "sqrt(2)*(1 - I)/2",
000088 |       "relative_beta_character": "-I"
000089 |     },
000090 |     "4": {
000091 |       "Q_reference_determinant": "-1",
000092 |       "Q_spin_determinant": "1",
000093 |       "c_character": {
000094 |         "c": 0,
000095 |         "c_squared": 0,
000096 |         "determinant": 1,
000097 |         "identity": 12
000098 |       },
000099 |       "cokernel_dimension": 12,
000100 |       "expected_relative_Q_character": "-1",
000101 |       "expected_relative_beta_character": "1",
000102 |       "kernel_dimension": 0,
000103 |       "matrix_shape": [
000104 |         30,
000105 |         18
000106 |       ],
000107 |       "quotient_basis": [
000108 |         "sheet_0:z^0",
000109 |         "sheet_0:z^1",
000110 |         "sheet_0:z^2",
000111 |         "sheet_0:z^3",
000112 |         "sheet_1:z^0",
000113 |         "sheet_1:z^1",
000114 |         "sheet_1:z^2",
000115 |         "sheet_1:z^3",
000116 |         "sheet_2:z^0",
000117 |         "sheet_2:z^1",
000118 |         "sheet_2:z^2",
000119 |         "sheet_2:z^3"
000120 |       ],
000121 |       "rank": 18,
000122 |       "relative_Q_character": "-1",
000123 |       "relative_beta_character": "1"
000124 |     },
000125 |     "5": {
000126 |       "Q_reference_determinant": "1",
000127 |       "Q_spin_determinant": "sqrt(2)*(1 - I)/2",
000128 |       "c_character": {
000129 |         "c": 0,
000130 |         "c_squared": 0,
000131 |         "determinant": 1,
000132 |         "identity": 15
000133 |       },
000134 |       "cokernel_dimension": 15,
000135 |       "expected_relative_Q_character": "128*sqrt(2)/(1 + I)**15",
000136 |       "expected_relative_beta_character": "I",
000137 |       "kernel_dimension": 0,
000138 |       "matrix_shape": [
000139 |         33,
000140 |         18
000141 |       ],
000142 |       "quotient_basis": [
000143 |         "sheet_0:z^0",
000144 |         "sheet_0:z^1",
000145 |         "sheet_0:z^2",
000146 |         "sheet_0:z^3",
000147 |         "sheet_0:z^4",
000148 |         "sheet_1:z^0",
000149 |         "sheet_1:z^1",
000150 |         "sheet_1:z^2",
000151 |         "sheet_1:z^3",
000152 |         "sheet_1:z^4",
000153 |         "sheet_2:z^0",
000154 |         "sheet_2:z^1",
000155 |         "sheet_2:z^2",
000156 |         "sheet_2:z^3",
000157 |         "sheet_2:z^4"
000158 |       ],
000159 |       "rank": 18,
000160 |       "relative_Q_character": "sqrt(2)*(1 + I)/2",
000161 |       "relative_beta_character": "I"
000162 |     },
000163 |     "6": {
000164 |       "Q_reference_determinant": "I",
000165 |       "Q_spin_determinant": "-1",
000166 |       "c_character": {
000167 |         "c": 0,
000168 |         "c_squared": 0,
000169 |         "determinant": 1,
000170 |         "identity": 18
000171 |       },
000172 |       "cokernel_dimension": 18,
000173 |       "expected_relative_Q_character": "-I",
000174 |       "expected_relative_beta_character": "-1",
000175 |       "kernel_dimension": 0,
000176 |       "matrix_shape": [
000177 |         36,
000178 |         18
000179 |       ],
000180 |       "quotient_basis": [
000181 |         "sheet_0:z^0",
000182 |         "sheet_0:z^1",
000183 |         "sheet_0:z^2",
000184 |         "sheet_0:z^3",
000185 |         "sheet_0:z^4",
000186 |         "sheet_0:z^5",
000187 |         "sheet_1:z^0",
000188 |         "sheet_1:z^1",
000189 |         "sheet_1:z^2",
000190 |         "sheet_1:z^3",
000191 |         "sheet_1:z^4",
000192 |         "sheet_1:z^5",
000193 |         "sheet_2:z^0",
000194 |         "sheet_2:z^1",
000195 |         "sheet_2:z^2",
000196 |         "sheet_2:z^3",
000197 |         "sheet_2:z^4",
000198 |         "sheet_2:z^5"
000199 |       ],
000200 |       "rank": 18,