{
  "schema": "varexis-public-evidence-record/0.3",
  "generated_at_utc": "2026-10-31T00:34:56.659823+00:00",
  "record_id": "VXI-EXT-ICE11-LANGGRAPH-FINAL-RETURN-CHECKPOINT-DIVERGENCE-01-v1",
  "record_kind": "external_reference",
  "title": "LangGraph: Returned output can differ from saved state",
  "system": "LangChain",
  "evidence_family": "vendor_evidence_review",
  "index_status": "PUBLIC_SAFE_SOURCE_REVIEW",
  "evidence_state": "PRIMARY_DOCUMENTATION_REVIEW_ONLY",
  "canonical_question": "Does a LangGraph Functional API response necessarily equal the state saved for the next invocation?",
  "near_questions": [
    "Can entrypoint.final save something different from its response?",
    "Which value becomes previous in the next LangGraph call?",
    "Is the returned answer a complete continuation-state record?",
    "What should an audit retain when value and save differ?"
  ],
  "supported_claims": [
    {
      "claim": "LangGraph entrypoint.final can return one value while saving another in the checkpoint. The saved value supplies previous on a later invocation; recording only the caller-visible response can omit that distinct continuation state.",
      "reliance": "DOCUMENTED_CAPABILITY_ONLY"
    }
  ],
  "not_demonstrated_claims": [
    "Do not reconstruct the next invocation from the response alone when entrypoint.final is used; retain both returned and saved values with their thread and checkpoint identities.",
    "Buyer implementation, live runtime enforcement, settled payment, verified deletion or certification are not established.",
    "No expanded capabilities or licences for existing INDEX executables."
  ],
  "public_summary": "LangGraph entrypoint.final can return one value while saving another in the checkpoint. The saved value supplies previous on a later invocation; recording only the caller-visible response can omit that distinct continuation state.",
  "related_record_ids": [],
  "source_review": {
    "source_type": "official_external_documentation",
    "source_title": "LangGraph Functional API",
    "source_url": "https://docs.langchain.com/oss/python/langgraph/functional-api.md",
    "checked_on": "2026-10-31",
    "candidate_record_id": "VXI-EXT-ICE11-LANGGRAPH-FINAL-RETURN-CHECKPOINT-DIVERGENCE-01-v1",
    "candidate_record_sha256": "334a0e5f578df417c2fa5f687a75d657953e2730b1b042d957da648449fa63eb",
    "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": "LangGraph entrypoint.final can return one value while saving another in the checkpoint. The saved value supplies previous on a later invocation; recording only the caller-visible response can omit that distinct continuation state.",
    "required_buyer_context": "entrypoint.final value and save fields; thread ID; checkpoint ID; subsequent previous value. Buyer deployment not 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",
    "applicability_status": "Rolling primary documentation captured 2026-10-31; installed SDK/service configuration not inspected.",
    "checked_on": "2026-10-31",
    "claim_to_check": "Does a LangGraph Functional API response necessarily equal the state saved for the next invocation?",
    "documented_statement": {
      "status": "documented",
      "statement": "LangGraph entrypoint.final can return one value while saving another in the checkpoint. The saved value supplies previous on a later invocation; recording only the caller-visible response can omit that distinct continuation state.",
      "source_ids": [
        "lg-functional"
      ]
    },
    "review_inference": {
      "status": "review_inference",
      "statement": "Do not reconstruct the next invocation from the response alone when entrypoint.final is used; retain both returned and saved values with their thread and checkpoint identities. Returned-versus-saved state within one entrypoint is separate from the inventory distinction between thread checkpoints and cross-thread stores. Operational review inference; no deployment outcome was observed.",
      "source_ids": [
        "lg-functional"
      ]
    },
    "buyer_evidence_required": [
      "entrypoint.final value and save fields",
      "thread ID",
      "checkpoint ID",
      "subsequent previous value"
    ],
    "review_condition": {
      "status": "varexis_review_policy",
      "statement": "Do not reconstruct the next invocation from the response alone when entrypoint.final is used; retain both returned and saved values with their thread and checkpoint identities."
    },
    "unknowns": "Buyer implementation, installed versions, effective authority, source completeness and actual business outcomes were not inspected.",
    "unknown_finding": {
      "status": "unknown",
      "statement": "No buyer deployment or transaction was observed."
    },
    "evidence_sources": [
      {
        "source_id": "lg-functional",
        "url": "https://docs.langchain.com/oss/python/langgraph/functional-api.md",
        "final_url": "https://docs.langchain.com/oss/python/langgraph/functional-api.md",
        "captured_at_utc": "2026-10-31T00:25:56.869679+00:00",
        "status": 200,
        "content_type": "text/markdown; charset=utf-8",
        "bytes": 30438,
        "sha256": "df14ce645bc1f65b9b35bbcfa77faf81464e1bcf113a4aa1bab68778f0270dfc",
        "title": "LangGraph Functional API",
        "publisher": "LangChain",
        "checked_on": "2026-10-31",
        "capture_status": "captured_primary_documentation",
        "claim_review_completed": true,
        "hash_basis": "Raw HTTP response bytes retained privately; not deployment attestation.",
        "version_context": "Rolling primary documentation captured 2026-10-31; installed SDK/service configuration not inspected.",
        "rights_disposition": "Original bounded paraphrase with source attribution. Full source capture remains private; no vendor documentation, examples or implementation is redistributed.",
        "reviewed_sections": [
          "entrypoint.final",
          "Short-term memory"
        ]
      }
    ],
    "observed_deployment": false,
    "commercial_reliance_boundary": "Documentation supports only the stated boundary. Existing licensed checkers analyse supported supplied declarations locally; they do not inspect provider accounts, verify live behaviour, enforce decisions or certify compliance.",
    "paid_value": {
      "decision_context": "Do not reconstruct the next invocation from the response alone when entrypoint.final is used; retain both returned and saved values with their thread and checkpoint identities.",
      "free": "Complete source review, questions, provenance and limitations; free to read and save locally.",
      "single_request": "Unavailable for this publication-only record; historical saved retrieval is unchanged.",
      "evidence_receipt": "Unavailable for this publication-only record; no paid retrieval entitlement is added.",
      "excluded": [
        "Fresh source research",
        "Native provider integration or schema support",
        "Live inspection or runtime enforcement",
        "Payment settlement or verified deletion",
        "Certification or expanded licences"
      ],
      "integrity": "Hashes identify content versions; they do not prove factual truth or provide a signature."
    },
    "revalidation": {
      "trigger": "Recheck current primary documentation and applicable SDK, service and configuration before reliance. No ongoing monitoring is included.",
      "specific_watch": "entrypoint.final; Short-term memory"
    },
    "buyer_relevance": "Do not reconstruct the next invocation from the response alone when entrypoint.final is used; retain both returned and saved values with their thread and checkpoint identities.",
    "refusal_conditions": [
      "Do not reconstruct the next invocation from the response alone when entrypoint.final is used; retain both returned and saved values with their thread and checkpoint identities.",
      "Do not infer deployment conformance, authority or successful outcomes from source documentation."
    ],
    "decision_context": {
      "operator": "Developer or reviewer assessing agent execution and evidence",
      "scenario": "Does a LangGraph Functional API response necessarily equal the state saved for the next invocation?",
      "consequence": "Do not reconstruct the next invocation from the response alone when entrypoint.final is used; retain both returned and saved values with their thread and checkpoint identities.",
      "confidence": "Primary-documentation support only; buyer demand and deployment outcomes unestablished."
    },
    "novelty_review": {
      "candidate_id": "ICE11-03",
      "disposition": "new_distinct",
      "nearest_record_id": "VXI-EXT-ICE10-LANGGRAPH-CHECKPOINTER-STORE-EXIT-SCOPE-01-v1",
      "nearest_record_url": "/varexis-index/records/langgraph-checkpointer-store-exit-scope.json",
      "nearest_record_sha256": "a500cdbb82c996ee43d4ccb9055176edc3bc284924ad12fae82c5d574b7e61db",
      "material_distinction": "Returned-versus-saved state within one entrypoint is separate from the inventory distinction between thread checkpoints and cross-thread stores.",
      "review_status": "Primary-source review and full adjacent-record comparison; no independent challenge claimed."
    },
    "optional_selection": {
      "guide_id": "workflow-completion-recovery",
      "guide_url": "/index-guides/workflow-completion-recovery",
      "guide_manifest": "/varexis-index/decision-guides.json",
      "checker": {
        "product_id": "agent-audit-coverage",
        "price_gbp_excluding_vat": 79,
        "purchase_url": "/index-access?route=agentic_pack_audit_coverage_v1",
        "licence_scope": "Existing separate internal-use licence; subscriptions do not include the executable.",
        "benefit": "Optional local analysis of supported supplied audit declarations only; no native LangGraph, Mem0 or MCP integration is added."
      },
      "boundary": "This free record supports an evidence-selection decision. The existing checker does not diagnose these platforms, extract their logs or prove the documented condition occurred."
    },
    "exact_access": {
      "endpoint": "/mcp/catalogue",
      "tool": "get_publication_record",
      "arguments": {
        "record_id": "VXI-EXT-ICE11-LANGGRAPH-FINAL-RETURN-CHECKPOINT-DIVERGENCE-01-v1"
      },
      "record_url": "/varexis-index/records/langgraph-final-return-checkpoint-divergence.json",
      "original_mcp_search": false,
      "paid_saved_retrieval": false
    }
  },
  "niche": {
    "niche_id": "ice11-audit",
    "label": "Audit, Provenance & Evidence Accountability",
    "classification_id": "audit",
    "classification_label": "Audit, Provenance & Evidence Accountability",
    "topic_id": "audit",
    "buyer_intent": "Do not reconstruct the next invocation from the response alone when entrypoint.final is used; retain both returned and saved values with their thread and checkpoint identities.",
    "comparison_role": "supplementary_discovery"
  },
  "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#langgraph-final-return-checkpoint-divergence",
  "machine_readable_record": "/varexis-index/records/langgraph-final-return-checkpoint-divergence.json"
}