Conformance
The browser model against the Python model, tick for tick. Three scenarios,
1440 ticks each, 46 fields per tick — 198,720 comparisons. A port is not
trusted because it reads correctly; it is trusted because it reproduces a
known-good run.
Running…