aion_verify_subject

A small, dependency-free access-control domain -- badges, roles, clearances, wings, revocation -- published so that aion_verify's test suite can demonstrate the thing that matters about a proof engine: proving ANOTHER crate's invariants, over the whole of a finite domain, in code that knows nothing about the engine. Not a verification tool; the SUBJECT of one. no_std, no alloc, no unsafe, no dependencies.