{
  "title": "Exact assumed-input command policy",
  "status": "Exhaustive logical enumeration, not observed machine events or probabilities",
  "rows": 64,
  "fields": [
    "known",
    "authorized",
    "fresh",
    "interlock",
    "confirmation_required",
    "confirmed"
  ],
  "ordering": "False then True lexicographic product; confirmed changes fastest",
  "policy": "known AND authorized AND fresh AND interlock AND (NOT confirmation_required OR confirmed)",
  "deny_reason_priority": [
    "unknown_command",
    "unauthorized",
    "stale_request",
    "interlock_failed"
  ],
  "outcome_counts": {
    "deny": 60,
    "await_confirmation": 1,
    "permit": 3
  },
  "checks": {
    "all_pass": true,
    "unique_combinations": 64,
    "independent_boolean_expression_parity": true,
    "no_permit_on_failed_prerequisite": true,
    "expected_counts_60_1_3": true
  },
  "limitations": [
    "All six Boolean inputs are supplied assumptions. Recognition, authentication, authority, freshness and physical state sensing are not implemented.",
    "The displayed first failure follows an assigned priority; all failed prerequisites are also exported.",
    "No time evolution, bound pending-request identity, cancellation, timeout or execution-time recheck is modeled by this static table.",
    "Confirmation is ignored when explicitly not required, but never bypasses a failed prerequisite.",
    "Counts over logical combinations are not calibrated occurrence probabilities, false-accept rates, accident rates or standards certification.",
    "Permit is a policy output for a virtual action, not proof that any physical actuation is safe."
  ]
}