{
  "schema": "varexis-public-evidence-record/0.3",
  "generated_at_utc": "2026-10-16T13:36:43.315Z",
  "record_id": "VXI-EXT-PROCUREMENT-IAM-VALIDATION-SCOPE-01-v1",
  "record_kind": "external_reference",
  "title": "IAM validation: Policy checks and effective authority",
  "system": "AWS IAM Access Analyzer",
  "evidence_family": "vendor_evidence_review",
  "index_status": "PUBLIC_SAFE_SOURCE_REVIEW",
  "evidence_state": "PRIMARY_DOCUMENTATION_REVIEW_ONLY",
  "canonical_question": "Does a clean IAM policy-validation result prove the deployed role has only intended access?",
  "near_questions": [
    "Did the check validate grammar or compare access?",
    "Which policy version was checked?",
    "Are all deployed grants included?",
    "Does no warning prove least privilege?",
    "Was a custom baseline comparison run?",
    "Can a syntactically valid policy grant unwanted access?",
    "Were allowed tasks tested?",
    "Were denied tasks tested?",
    "Are resource policies part of the review?",
    "Does a check outcome establish production state?",
    "What validation evidence should procurement retain?",
    "Can I save the policy-check scope?"
  ],
  "supported_claims": [
    {
      "claim": "Policy validation checks grammar and AWS best-practice findings. It does not itself execute the buyer workflow or establish the combined effect of every deployed grant. A separate custom check can compare new access with a baseline; AWS still calls for testing new or edited policies before production use.",
      "reliance": "DOCUMENTED_CAPABILITY_ONLY"
    }
  ],
  "not_demonstrated_claims": [
    "Verified buyer configuration or effective access rights",
    "Independent execution, completeness or security testing",
    "Vendor certification, legal compliance or guaranteed suitability"
  ],
  "public_summary": "Policy validation checks grammar and AWS best-practice findings. It does not itself execute the buyer workflow or establish the combined effect of every deployed grant. A separate custom check can compare new access with a baseline; AWS still calls for testing new or edited policies before production use.",
  "related_record_ids": [],
  "source_review": {
    "source_type": "official_external_documentation",
    "source_title": "IAM Access Analyzer policy validation",
    "source_url": "https://docs.aws.amazon.com/IAM/latest/UserGuide/access-analyzer-policy-validation.html",
    "checked_on": "2026-10-16",
    "candidate_record_id": "VXI-EXT-PROCUREMENT-IAM-VALIDATION-SCOPE-01-v1",
    "candidate_record_sha256": "fb809ec780f85e00de50e9347ca14c68eacc9ffeaa7b3bc8d92eb92e88f92f7b",
    "method": "Primary documentation reviewed for the published bounded statement.",
    "deployment_tested_by_varexis": false,
    "revalidation": "The delivered snapshot preserves the review date shown. Recheck current primary documentation and deployment context before relying on present applicability; payment does not trigger fresh research."
  },
  "answer_policy": {
    "classification": "DOCUMENTED_WITH_DEPLOYMENT_BOUNDARY",
    "bounded_answer": "Policy validation checks grammar and AWS best-practice findings. It does not itself execute the buyer workflow or establish the combined effect of every deployed grant. A separate custom check can compare new access with a baseline; AWS still calls for testing new or edited policies before production use.",
    "required_buyer_context": "Policy version, validator mode, baseline, deployed grants and intended operations. Effective configuration and dated operational evidence have not been inspected.",
    "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.",
  "decision_profile": {
    "schema": "varexis-vendor-evidence-review/1",
    "review_status": "documentation_review_only",
    "checked_on": "2026-10-16",
    "claim_to_check": "A policy with no validation findings is a completed effective-access assessment.",
    "documented_statement": {
      "status": "documented",
      "statement": "Policy validation checks grammar and AWS best-practice findings. It does not itself execute the buyer workflow or establish the combined effect of every deployed grant. A separate custom check can compare new access with a baseline; AWS still calls for testing new or edited policies before production use.",
      "source_ids": [
        "analyzer"
      ]
    },
    "buyer_evidence_required": [
      "Exact validated policy and check type.",
      "All deployed permission sources and intended tasks.",
      "Positive and negative operational access evidence."
    ],
    "review_condition": {
      "status": "varexis_review_policy",
      "statement": "Keep static validation separate from effective-authority and workflow testing."
    },
    "unknowns": "The buyer configuration, contract, effective entitlement and operational evidence have not been inspected. Missing evidence does not establish absence or failure of the feature.",
    "evidence_sources": [
      {
        "source_id": "analyzer",
        "url": "https://docs.aws.amazon.com/IAM/latest/UserGuide/access-analyzer-policy-validation.html",
        "final_url": "https://docs.aws.amazon.com/IAM/latest/UserGuide/access-analyzer-policy-validation.html",
        "title": "IAM Access Analyzer policy validation",
        "checked_on": "2026-10-16",
        "sha256": "c191feb140fa4d7b1d2f95aeb66b4c6aaee323985d4c6f805b15cb71c7059d06",
        "bytes": 22586
      }
    ],
    "observed_deployment": false,
    "commercial_reliance_boundary": "Procurement evidence support only; no supplier clearance, legal conclusion, configuration audit or verification of the buyer's claim is supplied.",
    "paid_value": {
      "decision_context": "Save an evidence-bound interpretation of policy-check output.",
      "free": "Complete review, practical questions, sources and limitations; may be saved locally.",
      "single_request": "Existing server-saved version-bound route snapshot for later authenticated retrieval.",
      "evidence_receipt": "The same snapshot plus the existing unsigned delivery receipt.",
      "excluded": [
        "Fresh vendor research",
        "Continuous monitoring or change alerts",
        "Testing the buyer configuration",
        "Private evidence or vendor certification"
      ],
      "integrity": "Hashes identify content versions; they do not prove truth or provide a signature."
    },
    "revalidation": {
      "trigger": "A saved purchase does not recheck the source or buyer configuration.",
      "specific_watch": "Policy version, validator mode, baseline, deployed grants and intended operations."
    }
  },
  "paid_access_note": "The full published answer and boundaries are free. Paid access saves the selected route and source versions, with an unsigned receipt when purchased. Preview coverage before paying. Fresh research, bespoke assessment and protected evidence are excluded.",
  "service_route": {
    "request_guide": "/varexis-index/request.html",
    "request_workflow": "/varexis-index/request-workflow.json",
    "service_id": "single_request",
    "service_routes_url": "/varexis-index/service-routes.json",
    "payment_required": true,
    "availability_endpoint": "/api/index/capabilities",
    "operational_status": "AUTOMATIC_SERVICE_CAPABILITIES_GATED",
    "checkout_url": "/index-access"
  },
  "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#iam-policy-validation-not-effective-access-test",
  "machine_readable_record": "/varexis-index/records/iam-policy-validation-not-effective-access-test.json"
}
