{
  "schema": "varexis-public-evidence-record/0.3",
  "generated_at_utc": "2026-10-06T23:36:13Z",
  "record_id": "VXI-EXT-CEDAR-03-v1",
  "record_kind": "external_reference",
  "title": "Cedar: Denial and evaluation errors",
  "system": "Cedar Policy Language",
  "evidence_family": "policy_enforcement",
  "index_status": "PUBLIC_SAFE_SOURCE_REVIEW",
  "evidence_state": "PRIMARY_DOCUMENTATION_REVIEW_ONLY",
  "canonical_question": "Does Cedar's default denial mean every policy error denies the whole request?",
  "near_questions": [
    "Does a matching Cedar forbid override a permit?",
    "What does Cedar do when no permit is satisfied?",
    "Can Cedar allow a request while reporting a policy error?",
    "Is skip-on-error the same as deny-on-error?",
    "Why should an agent inspect Cedar diagnostics?",
    "Can an invalid forbid be assumed to protect a resource?",
    "What evidence supports a default-deny claim?",
    "How should a receipt state Cedar error limitations?",
    "Which policy actually determined an authorization result?",
    "Does a denied request establish that every policy ran correctly?",
    "Can a valid permit coexist with an erroneous policy?",
    "What prevents an overclaim about Cedar guardrails?"
  ],
  "supported_claims": [
    {
      "claim": "Cedar denies when no permit applies, and a satisfied forbid overrides a permit. Policies that error are skipped; error handling must not be described as unconditional denial.",
      "reliance": "DOCUMENTED_CAPABILITY_ONLY"
    }
  ],
  "not_demonstrated_claims": [
    "every evaluation error forces denial",
    "all guardrails evaluated successfully",
    "complete enforcement from a default rule"
  ],
  "public_summary": "Cedar denies when no permit applies, and a satisfied forbid overrides a permit. Policies that error are skipped; error handling must not be described as unconditional denial.",
  "related_record_ids": [
    "VXI-EXT-CEDAR-01-v1",
    "VXI-EXT-CEDAR-02-v1",
    "VXI-EXT-CEDAR-04-v1"
  ],
  "source_review": {
    "source_type": "official_external_documentation",
    "source_title": "How Cedar authorization works",
    "source_url": "https://docs.cedarpolicy.com/auth/authorization.html",
    "checked_on": "2026-10-07",
    "candidate_record_id": "VXI-EXT-CEDAR-03-v1",
    "candidate_record_sha256": "1c620957e9ef594ceed846f87761a3b0123d26ca84fbb91b6989b4ffb176b0e5",
    "method": "Primary documentation reviewed for the published bounded statement.",
    "deployment_tested_by_varexis": false,
    "revalidation": "Recheck the primary source, version and deployment context before paid delivery."
  },
  "answer_policy": {
    "classification": "DOCUMENTED_WITH_DEPLOYMENT_BOUNDARY",
    "bounded_answer": "Cedar denies when no permit applies, and a satisfied forbid overrides a permit. Policies that error are skipped; error handling must not be described as unconditional denial.",
    "required_buyer_context": "The policy set, decision diagnostics and application treatment of evaluation errors.",
    "missing_evidence": "A broader claim needs evidence matching the intended use. Payment does not upgrade the evidence state."
  },
  "private_boundary": "Raw logs, thresholds, private paths, source code, protected mechanisms and reconstruction-level details are excluded from public and paid delivery.",
  "paid_access_note": "The public answer and boundaries are free. Pay first, then email a concrete question for asynchronous manual review, receipt or scoped export. No fixed turnaround or automatic API access is promised.",
  "service_route": {
    "request_guide": "/varexis-index/request.html",
    "request_workflow": "/varexis-index/request-workflow.json",
    "service_id": "evidence_receipt",
    "service_routes_url": "/varexis-index/service-routes.json",
    "payment_required": true,
    "accepting_paid_requests": true,
    "operational_status": "PAID_ASYNC_MANUAL_FULFILMENT",
    "checkout_url": "https://buy.stripe.com/28EaEXaPe7bBdGLgXSdwc05"
  },
  "authority_boundary": "VAREXIS-INDEX informs evidence reliance. It does not provide advice, certification, deployment authority, security assurance, production approval, or guarantee.",
  "human_page": "/varexis-index/catalog.html#cedar-deny-and-error-boundary",
  "machine_readable_record": "/varexis-index/records/cedar-deny-and-error-boundary.json"
}