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…