Properties, on a fork of the real chain
24/24
against the real Safe and CANDIDE module; every refusal classified by name, with a control that must succeed
Deliberate breaks caught
28/28
each by the property named for it, after a green control
Fuzzed operation sequences
2×57
nine invariants after every call; 8/8 planted breaks caught by the invariant named for each
Addresses read back on chain
52/52
4 controls that had to fail
The real page, clicked through
29/29
in Chrome, against a fork of this chain: a will written, a knock, a silence, a hand-over
The live site, in a browser
8/8
reading the real chain through this site's own proxy
Colour pairs proved
66/66
each surface against the photograph at both ends, and a control that must fail
Painted pixels, beside the reference
0.037 chroma
flattest frame 20.8% against its 15.5%, busiest 5.5 against 7.2 — measured in one run, same browser
Every one of these is a command in this repository, and every number on this page comes out of one of them. What each check does.