{"env": {"SHELL": "ardur", "TERM": "xterm-256color"}, "height": 40, "metadata": {"capability_id": "ARDUR-CAP-014", "command": "python docs/scripts/run_hardening_capability_proof.py --capability ARDUR-CAP-014", "demo": "hardening-capability-proof", "elapsed_s": 0.351, "exit_code": 0, "proof_scope": "foundation", "recorded_at": "2026-04-23T19:58:34.158507+00:00", "redaction": "known secret environment values and token-like patterns redacted", "summary_hint": "ARDUR-CAP-014", "verifier": "run_hardening_capability_proof.py --capability ARDUR-CAP-014", "public_brand": "Ardur", "implementation_lineage": "Ardur"}, "timestamp": 1776974314, "title": "Ardur proof: active revocation", "version": 2, "width": 120}
[0.0, "o", "$ python docs/scripts/run_hardening_capability_proof.py --capability ARDUR-CAP-014\n"]
[0.001, "o", "ARDUR_HARDENING_PROOF_START capability=ARDUR-CAP-014\nARDUR_HARDENING_CAPABILITY_START capability=ARDUR-CAP-014\nARDUR_HARDENING_CAPABILITY_ARTIFACT=.ardur/hardening-capability-runs/ARDUR-CAP-014/results.json\nARDUR-CAP-014 revoked=True revocation_signed=True\n{\"artifact\": \".ardur/hardening-capability-runs/ARDUR-CAP-014/results.json\", \"capability_id\": \"ARDUR-CAP-014\", \"ok\": true}\nARDUR_HARDENING_PROOF_ARTIFACT=.ardur/hardening-capability-runs/ARDUR-CAP-014/results.json\nARDUR_HARDENING_PROOF_VERIFY capability=ARDUR-CAP-014\n{\n  \"artifact\": \".ardur/hardening-capability-runs/ARDUR-CAP-014/results.json\",\n  \"artifact_capability_id\": \"ARDUR-CAP-014\",\n  \"capability_id\": \"ARDUR-CAP-014\",\n  \"checks\": {\n    \"active_revocation_emitted\": true,\n    \"active_revocation_signed\": true,\n    \"active_revocation_trigger_recorded\": true,\n    \"capability_id_matches_artifact\": true\n  },\n  \"coverage\": {\n    \"ARDUR-CAP-014\": [\n      \"capability_id_matches_artifact\",\n      \"active_revocation_emitted\",\n      \"active_revocation_signed\",\n      \"active_revocation_trigger_recorded\"\n    ]\n  },\n  \"failed\": []\n}\nARDUR_HARDENING_PROOF_SUMMARY=docs/proof/hardening-capability-artifacts/ARDUR-CAP-014.json\nARDUR_HARDENING_PROOF_DONE capability=ARDUR-CAP-014\n"]
[0.351, "o", "\n[exit_code=0]\n"]