TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/seam-equivariant-active-search-20261024/results/independent-check.json
Original file SHA-256: 6839380a7739725582aa2ad495215717428680150c07292297fe7012e5be84c4
Inclusive original lines: 1-35
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": "passed",
000003 |   "source": "f331c66c47bd1a1eac8298d368415d62d5e70875e91eb73c59610b92e1f7cd62",
000004 |   "independent_paths": [
000005 |     {
000006 |       "task": "reflection-0",
000007 |       "sympy_GF2_rank": 20,
000008 |       "literal_source_field_columns": 40,
000009 |       "field_generators_per_relation": 8,
000010 |       "relators": 6
000011 |     },
000012 |     {
000013 |       "task": "reflection-1",
000014 |       "sympy_GF2_rank": 20,
000015 |       "literal_source_field_columns": 40,
000016 |       "field_generators_per_relation": 8,
000017 |       "relators": 6
000018 |     },
000019 |     {
000020 |       "task": "rotation-0",
000021 |       "sympy_GF2_rank": 24,
000022 |       "literal_source_field_columns": 40,
000023 |       "field_generators_per_relation": 8,
000024 |       "relators": 6
000025 |     },
000026 |     {
000027 |       "task": "dihedral-0",
000028 |       "sympy_GF2_rank": 30,
000029 |       "literal_source_field_columns": 48,
000030 |       "field_generators_per_relation": 8,
000031 |       "relators": 12
000032 |     }
000033 |   ],
000034 |   "scope": "Every linear coefficient independently checked in the original cocycle field action, plus separate GF2 rank implementation"
000035 | }