{
  "schema": "varexis-public-evidence-record/0.3",
  "generated_at_utc": "2026-10-06T23:36:13Z",
  "record_id": "VXI-EXT-CEDAR-04-v1",
  "record_kind": "external_reference",
  "title": "Cedar: Schema validation limits",
  "system": "Cedar Policy Language",
  "evidence_family": "policy_enforcement",
  "index_status": "PUBLIC_SAFE_SOURCE_REVIEW",
  "evidence_state": "PRIMARY_DOCUMENTATION_REVIEW_ONLY",
  "canonical_question": "Does Cedar policy validation prove that the policy expresses the intended permissions?",
  "near_questions": [
    "What does Cedar schema validation check?",
    "Does a valid Cedar policy grant only intended permissions?",
    "Should policies be rechecked after a schema change?",
    "Can a stale validation result support a new entity model?",
    "Which versions belong in a Cedar validation receipt?",
    "Does policy validation prove that live inputs match the schema?",
    "How does a schema review differ from a permission review?",
    "Can well-formed Cedar policy still be wrong for the business?",
    "What context is needed to review a policy validation claim?",
    "Does changing an action type affect earlier validation?",
    "Which evidence is missing from a syntax-only policy check?",
    "Can validation replace application access tests?"
  ],
  "supported_claims": [
    {
      "claim": "Cedar can check policies against an application schema for consistency. Schema changes can invalidate earlier checks; validation alone does not establish the intended permission model.",
      "reliance": "DOCUMENTED_CAPABILITY_ONLY"
    }
  ],
  "not_demonstrated_claims": [
    "business-policy correctness",
    "unchanged validity after schema edits",
    "deployment enforcement"
  ],
  "public_summary": "Cedar can check policies against an application schema for consistency. Schema changes can invalidate earlier checks; validation alone does not establish the intended permission model.",
  "related_record_ids": [
    "VXI-EXT-CEDAR-01-v1",
    "VXI-EXT-CEDAR-02-v1",
    "VXI-EXT-CEDAR-03-v1"
  ],
  "source_review": {
    "source_type": "official_external_documentation",
    "source_title": "Cedar policy validation",
    "source_url": "https://docs.cedarpolicy.com/policies/validation.html",
    "checked_on": "2026-10-07",
    "candidate_record_id": "VXI-EXT-CEDAR-04-v1",
    "candidate_record_sha256": "2c29f84afbc97710bfa8e23c217fb3c78e4b89b942635a64513fe2b9925ebbbe",
    "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 can check policies against an application schema for consistency. Schema changes can invalidate earlier checks; validation alone does not establish the intended permission model.",
    "required_buyer_context": "The schema version, policy version, intended permissions and validation result.",
    "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-schema-validation",
  "machine_readable_record": "/varexis-index/records/cedar-schema-validation.json"
}