TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/original-local-source-variable-background-20261102/INTERNAL-CLIFFORD-MAP.json
Original file SHA-256: 215fbbf0b3670ead0c759df2bbe80b294b07fb7ba44c4f92ce90f75cf97114f1
Inclusive original lines: 1-176
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 |   "source_old": "verification/v474_entropic_hodge_carrier.py",
000003 |   "source_new": "verification/v1002_spin10_mirror_projector.py",
000004 |   "full_clifford_max_error": 0.0,
000005 |   "chirality_positive_equals_even_bits": true,
000006 |   "W_unitary_error": 0.0,
000007 |   "all_45_generator_max_error": 0.0,
000008 |   "det_W": 1.0,
000009 |   "basis_map": [
000010 |     {
000011 |       "original_subset": [],
000012 |       "target_16_index": 0,
000013 |       "target_5bit_index": 0,
000014 |       "sign": 1
000015 |     },
000016 |     {
000017 |       "original_subset": [
000018 |         1,
000019 |         2
000020 |       ],
000021 |       "target_16_index": 12,
000022 |       "target_5bit_index": 24,
000023 |       "sign": -1
000024 |     },
000025 |     {
000026 |       "original_subset": [
000027 |         1,
000028 |         3
000029 |       ],
000030 |       "target_16_index": 10,
000031 |       "target_5bit_index": 20,
000032 |       "sign": -1
000033 |     },
000034 |     {
000035 |       "original_subset": [
000036 |         1,
000037 |         4
000038 |       ],
000039 |       "target_16_index": 9,
000040 |       "target_5bit_index": 18,
000041 |       "sign": -1
000042 |     },
000043 |     {
000044 |       "original_subset": [
000045 |         1,
000046 |         5
000047 |       ],
000048 |       "target_16_index": 8,
000049 |       "target_5bit_index": 17,
000050 |       "sign": -1
000051 |     },
000052 |     {
000053 |       "original_subset": [
000054 |         2,
000055 |         3
000056 |       ],
000057 |       "target_16_index": 6,
000058 |       "target_5bit_index": 12,
000059 |       "sign": -1
000060 |     },
000061 |     {
000062 |       "original_subset": [
000063 |         2,
000064 |         4
000065 |       ],
000066 |       "target_16_index": 5,
000067 |       "target_5bit_index": 10,
000068 |       "sign": -1
000069 |     },
000070 |     {
000071 |       "original_subset": [
000072 |         2,
000073 |         5
000074 |       ],
000075 |       "target_16_index": 4,
000076 |       "target_5bit_index": 9,
000077 |       "sign": -1
000078 |     },
000079 |     {
000080 |       "original_subset": [
000081 |         3,
000082 |         4
000083 |       ],
000084 |       "target_16_index": 3,
000085 |       "target_5bit_index": 6,
000086 |       "sign": -1
000087 |     },
000088 |     {
000089 |       "original_subset": [
000090 |         3,
000091 |         5
000092 |       ],
000093 |       "target_16_index": 2,
000094 |       "target_5bit_index": 5,
000095 |       "sign": -1
000096 |     },
000097 |     {
000098 |       "original_subset": [
000099 |         4,
000100 |         5
000101 |       ],
000102 |       "target_16_index": 1,
000103 |       "target_5bit_index": 3,
000104 |       "sign": -1
000105 |     },
000106 |     {
000107 |       "original_subset": [
000108 |         1,
000109 |         2,
000110 |         3,
000111 |         4
000112 |       ],
000113 |       "target_16_index": 15,
000114 |       "target_5bit_index": 30,
000115 |       "sign": 1
000116 |     },
000117 |     {
000118 |       "original_subset": [
000119 |         1,
000120 |         2,
000121 |         3,
000122 |         5
000123 |       ],
000124 |       "target_16_index": 14,
000125 |       "target_5bit_index": 29,
000126 |       "sign": 1
000127 |     },
000128 |     {
000129 |       "original_subset": [
000130 |         1,
000131 |         2,
000132 |         4,
000133 |         5
000134 |       ],
000135 |       "target_16_index": 13,
000136 |       "target_5bit_index": 27,
000137 |       "sign": 1
000138 |     },
000139 |     {
000140 |       "original_subset": [
000141 |         1,
000142 |         3,
000143 |         4,
000144 |         5
000145 |       ],
000146 |       "target_16_index": 11,
000147 |       "target_5bit_index": 23,
000148 |       "sign": 1
000149 |     },
000150 |     {
000151 |       "original_subset": [
000152 |         2,
000153 |         3,
000154 |         4,
000155 |         5
000156 |       ],
000157 |       "target_16_index": 7,
000158 |       "target_5bit_index": 15,
000159 |       "sign": 1
000160 |     }
000161 |   ],
000162 |   "original_color_center_one_particle_multiplicities": [
000163 |     4,
000164 |     6,
000165 |     6
000166 |   ],
000167 |   "second_quantized_color_center_fock_multiplicities": [
000168 |     21856,
000169 |     21840,
000170 |     21840
000171 |   ],
000172 |   "vacuum_full_center_residues": [
000173 |     0,
000174 |     0
000175 |   ]
000176 | }