{
  "schema": "varexis-public-evidence-record/0.3",
  "generated_at_utc": "2026-10-14T20:21:57.226Z",
  "record_id": "VXI-EXT-PROCUREMENT-CODEQL-BUILD-COVERAGE-01-v1",
  "record_kind": "external_reference",
  "title": "CodeQL: Build mode affects what analysis can establish",
  "system": "GitHub CodeQL",
  "evidence_family": "vendor_evidence_review",
  "index_status": "PUBLIC_SAFE_SOURCE_REVIEW",
  "evidence_state": "PRIMARY_DOCUMENTATION_REVIEW_ONLY",
  "canonical_question": "Does a successful CodeQL run prove generated code and every dependency were analysed?",
  "near_questions": [
    "Does a green security scan prove all code was analysed?",
    "Can no-build CodeQL miss generated code findings?",
    "Which CodeQL build mode was actually used?",
    "Do inaccessible dependencies affect scan coverage?",
    "Does automatic build success establish vulnerability absence?",
    "What evidence links a scan to deployed code?",
    "Which languages does the configured mode support?",
    "Can a summary badge replace extraction evidence?",
    "What should procurement request with a scan report?",
    "Does a manual build remove every analysis limitation?",
    "When should scan coverage remain qualified?",
    "Can I save a CodeQL coverage review?"
  ],
  "supported_claims": [
    {
      "claim": "The Action README distinguishes no-build, automatic and manual build modes. It notes that no-build analysis can miss findings involving generated code or inaccessible dependencies. A successful run alone therefore cannot establish complete coverage; review language, build mode and extraction evidence for the actual repository.",
      "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": "The Action README distinguishes no-build, automatic and manual build modes. It notes that no-build analysis can miss findings involving generated code or inaccessible dependencies. A successful run alone therefore cannot establish complete coverage; review language, build mode and extraction evidence for the actual repository.",
  "related_record_ids": [
    "VXI-EXT-PROCUREMENT-GITHUB-DEPLOY-REVIEW-01-v1",
    "VXI-EXT-PROCUREMENT-FASTLY-SOFT-PURGE-01-v1",
    "VXI-EXT-PROCUREMENT-GCP-KMS-ROTATION-DATA-01-v1"
  ],
  "source_review": {
    "source_type": "official_external_documentation",
    "source_title": "CodeQL build modes and analysis limitations",
    "source_url": "https://github.com/github/codeql-action/blob/main/README.md",
    "checked_on": "2026-10-14",
    "candidate_record_id": "VXI-EXT-PROCUREMENT-CODEQL-BUILD-COVERAGE-01-v1",
    "candidate_record_sha256": "a68705291f633afa5bf70d4c41d97cdad238ddd788eed63880629a251f4118ba",
    "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": "The Action README distinguishes no-build, automatic and manual build modes. It notes that no-build analysis can miss findings involving generated code or inaccessible dependencies. A successful run alone therefore cannot establish complete coverage; review language, build mode and extraction evidence for the actual repository.",
    "required_buyer_context": "Languages, Action/bundle versions, build mode, generated code and dependency access.",
    "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-14",
    "claim_to_check": "A green scan proves complete coverage of the deployed code.",
    "documented_statement": {
      "status": "documented",
      "statement": "The Action README distinguishes no-build, automatic and manual build modes. It notes that no-build analysis can miss findings involving generated code or inaccessible dependencies. A successful run alone therefore cannot establish complete coverage; review language, build mode and extraction evidence for the actual repository.",
      "source_ids": [
        "codeql"
      ]
    },
    "buyer_evidence_required": [
      "Analysis configuration, languages and exact versions.",
      "Build/extraction evidence for generated code and dependencies.",
      "The analysed revision compared with the deployed artifact."
    ],
    "review_condition": {
      "status": "varexis_review_policy",
      "statement": "Do not translate successful analysis into complete coverage or absence of vulnerabilities."
    },
    "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": "codeql",
        "url": "https://github.com/github/codeql-action/blob/main/README.md",
        "final_url": "https://github.com/github/codeql-action/blob/main/README.md",
        "title": "CodeQL build modes and analysis limitations",
        "checked_on": "2026-10-14",
        "sha256": "f431adf83f2e59621297314ffa612ad8acdfdd26b11b3b892726045d5eaa0354",
        "bytes": 277360
      }
    ],
    "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 the coverage qualifications behind a supplier scan-evidence review.",
      "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": "Build mode, dependency access, generated code and analysed revision."
    }
  },
  "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#codeql-build-mode-coverage",
  "machine_readable_record": "/varexis-index/records/codeql-build-mode-coverage.json"
}