{
  "python": "3.14.4 (main, Apr  7 2026, 13:13:20) [Clang 21.0.0 (clang-2100.0.123.102)]",
  "sqlite": "3.51.3",
  "platform": "macOS-27.0.1-arm64-arm-64bit-Mach-O",
  "source": "examples/system-design/labs/13/paste.py",
  "sha256": "d5e2e1158d1800eedff49aeb041a1d77ec1cfcf0dfeb953837c56ce4ff9ea1f7"
}
$ /opt/homebrew/opt/python@3.14/bin/python3.14 examples/system-design/labs/13/paste.py
{"expiry_boundary_denied": true, "wrong_owner_denied": true, "revoked_denied": true, "stale_index": ["exp", "rev"], "physical_body_before_gc": true}
PASS: logical denial precedes idempotent physical/derived cleanup

EXIT_CODE=0
$ /opt/homebrew/opt/python@3.14/bin/python3.14 examples/system-design/labs/13/paste.py --unsafe
{"expiry_boundary_denied": true, "wrong_owner_denied": true, "revoked_denied": true, "stale_index": ["exp", "rev"], "physical_body_before_gc": true}
PASS: logical denial precedes idempotent physical/derived cleanup
EXPECTED_REJECTION: old body cache alone bypasses revocation

EXIT_CODE=2