certified_kit.dispatch

Dispatch to each component's own CLI, and report honestly on what is missing.

COMMANDS: Dict[str, Tuple[str, str, str]] = {'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 resolve(verb: str):

Return the main of the component that handles verb.

def inventory() -> List[Dict]:

What is installed, and at what version. A missing component is reported.

def format_inventory(rows: Optional[List[Dict]] = None) -> str: