{
  "synthetic": true,
  "production_writes": 0,
  "public_core_revision": "85fe4dc8a4f5a7010dd19f98bd8a934554fb8663",
  "scope": "Eight hand-authored cases; fixed proposals; in-memory executor; not a production or learned-model benchmark.",
  "conclusion": "KVRM and simple rules agree on all cases if checks pass. This demonstrates a boundary, not superiority.",
  "passed": 8,
  "total": 8,
  "cases": [
    {
      "case": "approval_present",
      "expected_allowed": true,
      "kvrm_allowed": true,
      "rules_allowed": true,
      "status": "executed",
      "reason": null,
      "simulated_executor_calls": 1,
      "passed": true
    },
    {
      "case": "approval_absent",
      "expected_allowed": false,
      "kvrm_allowed": false,
      "rules_allowed": false,
      "status": "validation_failed",
      "reason": "unsupported_features:support_spec.all[0]:approved:eq",
      "simulated_executor_calls": 0,
      "passed": true
    },
    {
      "case": "approval_missing",
      "expected_allowed": false,
      "kvrm_allowed": false,
      "rules_allowed": false,
      "status": "validation_failed",
      "reason": "unsupported_features:support_spec.all[0]:approved:missing",
      "simulated_executor_calls": 0,
      "passed": true
    },
    {
      "case": "window_closed",
      "expected_allowed": false,
      "kvrm_allowed": false,
      "rules_allowed": false,
      "status": "validation_failed",
      "reason": "unsupported_features:support_spec.all[1]:window_open:eq",
      "simulated_executor_calls": 0,
      "passed": true
    },
    {
      "case": "unregistered_action",
      "expected_allowed": false,
      "kvrm_allowed": false,
      "rules_allowed": false,
      "status": "validation_failed",
      "reason": "unknown_action",
      "simulated_executor_calls": 0,
      "passed": true
    },
    {
      "case": "invalid_parameter",
      "expected_allowed": false,
      "kvrm_allowed": false,
      "rules_allowed": false,
      "status": "validation_failed",
      "reason": "precondition_failed",
      "simulated_executor_calls": 0,
      "passed": true
    },
    {
      "case": "low_confidence",
      "expected_allowed": false,
      "kvrm_allowed": false,
      "rules_allowed": false,
      "status": "abstained",
      "reason": null,
      "simulated_executor_calls": 0,
      "passed": true
    },
    {
      "case": "hold_without_approval",
      "expected_allowed": true,
      "kvrm_allowed": true,
      "rules_allowed": true,
      "status": "executed",
      "reason": null,
      "simulated_executor_calls": 1,
      "passed": true
    }
  ]
}