pub fn cmd_evidence(args: &[String])Expand description
lean-ctx audit evidence --from <rfc3339> --to <rfc3339> [--framework <id>] [--pack <name|path>] [--out <file>] —
deterministic, offline-verifiable evidence bundle (GL #425,
docs/contracts/evidence-bundle-v1.md; verifier:
packages/leanctx-verify).