CAIN-42 E12 · Signed Trust-Network State

IMPLEMENTED, TESTED (library); NOT DEPLOYED

Clean-room verifierINTACT 20/20 checks
Negative operations rejected8/8
Tests26 passed in 3.66s
Signed op apply, p501.2398 ms

See REPRODUCTION.md to verify it yourself.