TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/compiler-current-descendant-20260919/certificate.json
Original file SHA-256: 2de0c243ee4bd2ff3c5e98e1c897cad71795fb7f52feacd78f34da5091579138
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 |   "Bell10_embedding": "psi_-3/2^i psi_-1/2^j plus symmetrization, U1 charge2 highest weight, SU4 grade h=3/2",
000003 |   "E8_sector": "D5 vector10 tensor A3 descendant10 at conformal weight2; source net/glue premises retained",
000004 |   "T1_T8_closed": false,
000005 |   "all_horizontal_matrix_units_intertwined": 16,
000006 |   "all_phase_faithful_events_intertwined": 60,
000007 |   "checks": 731,
000008 |   "closed_gate_ids": [],
000009 |   "current_polynomial_restriction": "3I/2+2 Q_l,0-2 Q_l,0^2 only on the specified two-particle image",
000010 |   "embedding_matrix_nonzero_entries": [
000011 |     [
000012 |       3,
000013 |       0,
000014 |       "1/2"
000015 |     ],
000016 |     [
000017 |       3,
000018 |       1,
000019 |       "1/2"
000020 |     ],
000021 |     [
000022 |       3,
000023 |       3,
000024 |       "1/2"
000025 |     ],
000026 |     [
000027 |       3,
000028 |       4,
000029 |       "1/2"
000030 |     ],
000031 |     [
000032 |       4,
000033 |       2,
000034 |       "1/2"
000035 |     ],
000036 |     [
000037 |       4,
000038 |       5,
000039 |       "1/2"
000040 |     ],
000041 |     [
000042 |       5,
000043 |       6,
000044 |       "1/2"
000045 |     ],
000046 |     [
000047 |       5,
000048 |       7,
000049 |       "1/2"
000050 |     ],
000051 |     [
000052 |       6,
000053 |       8,
000054 |       "1/2"
000055 |     ],
000056 |     [
000057 |       6,
000058 |       9,
000059 |       "-1/2"
000060 |     ],
000061 |     [
000062 |       9,
000063 |       2,
000064 |       "1/2"
000065 |     ],
000066 |     [
000067 |       9,
000068 |       5,
000069 |       "1/2"
000070 |     ],
000071 |     [
000072 |       10,
000073 |       0,
000074 |       "1/2"
000075 |     ],
000076 |     [
000077 |       10,
000078 |       1,
000079 |       "-1/2"
000080 |     ],
000081 |     [
000082 |       10,
000083 |       3,
000084 |       "1/2"
000085 |     ],
000086 |     [
000087 |       10,
000088 |       4,
000089 |       "-1/2"
000090 |     ],
000091 |     [
000092 |       11,
000093 |       8,
000094 |       "1/2"
000095 |     ],
000096 |     [
000097 |       11,
000098 |       9,
000099 |       "1/2"
000100 |     ],
000101 |     [
000102 |       12,
000103 |       6,
000104 |       "1/2"
000105 |     ],
000106 |     [
000107 |       12,
000108 |       7,
000109 |       "-1/2"
000110 |     ],
000111 |     [
000112 |       14,
000113 |       6,
000114 |       "1/2"
000115 |     ],
000116 |     [
000117 |       14,
000118 |       7,
000119 |       "1/2"
000120 |     ],
000121 |     [
000122 |       15,
000123 |       8,
000124 |       "1/2"
000125 |     ],
000126 |     [
000127 |       15,
000128 |       9,
000129 |       "1/2"
000130 |     ],
000131 |     [
000132 |       16,
000133 |       0,
000134 |       "1/2"
000135 |     ],
000136 |     [
000137 |       16,
000138 |       1,
000139 |       "1/2"
000140 |     ],
000141 |     [
000142 |       16,
000143 |       3,
000144 |       "-1/2"
000145 |     ],
000146 |     [
000147 |       16,
000148 |       4,
000149 |       "-1/2"
000150 |     ],
000151 |     [
000152 |       17,
000153 |       2,
000154 |       "1/2"
000155 |     ],
000156 |     [
000157 |       17,
000158 |       5,
000159 |       "-1/2"
000160 |     ],
000161 |     [
000162 |       18,
000163 |       8,
000164 |       "1/2"
000165 |     ],
000166 |     [
000167 |       18,
000168 |       9,
000169 |       "-1/2"
000170 |     ],
000171 |     [
000172 |       19,
000173 |       6,
000174 |       "1/2"
000175 |     ],
000176 |     [
000177 |       19,
000178 |       7,
000179 |       "-1/2"
000180 |     ],
000181 |     [
000182 |       20,
000183 |       2,
000184 |       "1/2"
000185 |     ],
000186 |     [
000187 |       20,
000188 |       5,
000189 |       "-1/2"
000190 |     ],
000191 |     [
000192 |       21,
000193 |       0,
000194 |       "1/2"
000195 |     ],
000196 |     [
000197 |       21,
000198 |       1,
000199 |       "-1/2"
000200 |     ],