certified_kit
certified-kit — one install and one command for the whole verification toolkit.
The portfolio had six front doors and no lobby. This is the lobby: it pulls in
every package and dispatches to each one's CLI, so verify, build, equiv,
seal and atlas all work from a single pip install.
It deliberately adds no verification logic of its own. Everything it can tell you
comes from a package that can be installed and audited without it, and
inventory() reports exactly which of them are present — a missing one is
named, never silently skipped.
COMMANDS =
{'verify': ('lcert-verify', 'lcert_verify.cli', "re-derive a certificate bundle's verdict"), 'build': ('lcert-build', 'lcert_build.cli', 'produce a certificate bundle from your own analysis'), 'equiv': ('equiv-receipt', 'equiv_receipt.cli', 'verify a logic-equivalence receipt or a DRAT proof'), 'seal': ('prereg-seal', 'prereg_seal.cli', 'seal acceptance criteria before you measure'), 'atlas': ('cert-atlas', 'cert_atlas.cli', 'score a verifier against the adversarial corpus')}
class
MissingComponent(builtins.RuntimeError):
A component is not installed. Named, never silently skipped.
def
inventory() -> List[Dict]:
What is installed, and at what version. A missing component is reported.
def
resolve(verb: str):
Return the main of the component that handles verb.
__version__ =
'1.0.0'