Skip to main content

LangGraph checkpoint trust (all terminal stories)

Normative law: docs/integrator-verification.md#langgraph-checkpoint-trust — v3 wire, A1–D, production gate. Legacy pointer filename docs/langgraph-checkpoint-trust.md redirects readers to this anchor.

Python / kernel runnable path: examples/python-verification/README.md. docs/integrate.md#framework-verification-recipes lists how this stacks next to hybrid witness and Cursor recipes.

Use the tabs to compare A2 (ineligible), B (verified), C (DB mismatch), and D (incomplete/unknown tool) before reading GitHub source.

What to do next

  • Run first-read verification on /integrate.
  • Open the Learn hub at /guides to pick scenario guides (LangGraph, Postgres debugging, and more).

Related guides (deep links)

LangGraph checkpoint trust: terminal rows (A2, B, C, D)

Certificates are regenerated from the CLI with `npm run regen:langgraph-embeds` (same contract as `npm run check:langgraph-embeds` in CI).

Verification report

Private verification snapshot for sharing in tickets or Slack. This URL is not indexed for search; see Security & Trust for how the site handles data.

Kind: outcome_certificate

This page summarizes fields from the stored Outcome Certificate. The Outcome Certificate JSON below is the machine source of truth for integrations. The canonical human report is the full audit-oriented artifact; this summary is not a substitute for either.

Decision summary

Verification verdict: Unknown

Summary: LangGraph checkpoint trust: ineligible

Primary reason: MALFORMED_EVENT_LINE: Event line was missing, invalid JSON, or failed schema validation for a tool observation.

Next action: Repair NDJSON capture so checkpoint trust receives schema-valid schemaVersion 3 tool_observed lines for this workflow, then rerun verify.

Determinacy: Unknown due to evidence blocker: verification_incomplete.

Not checked:
  • LangGraph checkpoint trust: ineligible
Missing inputs:
  • MALFORMED_EVENT_LINE: Event line was missing, invalid JSON, or failed schema validation for a tool observation.

LangGraph checkpoint trust not_established

workflowId wf_partner
stateRelation not_established
highStakesReliance prohibited

LangGraph checkpoint trust mode did not establish a single approved production snapshot (ineligible wire, incomplete verification, incomplete checkpoint rollup, or sequence integrity). Do not treat absence of a mismatch as proof of success.

Checkpoint rollups

No checkpoint rollups; see the decision summary and canonical human report.

Canonical human report

LangGraph checkpoint trust: ineligible
MALFORMED_EVENT_LINE: Event line was missing, invalid JSON, or failed schema validation for a tool observation.

=== evidence_completeness ===
Blocker: verification_incomplete
Quick signal: na
Not verified:
- LangGraph checkpoint trust: ineligible
Missing input:
- MALFORMED_EVENT_LINE: Event line was missing, invalid JSON, or failed schema validation for a tool observation.
Next:
- Repair NDJSON capture so checkpoint trust receives schema-valid schemaVersion 3 tool_observed lines for this workflow, then rerun verify.
Remediation items:
- quick_ingest: Repair NDJSON capture so checkpoint trust receives schema-valid schemaVersion 3 tool_observed lines for this workflow, then rerun verify.
Failed check: LangGraph checkpoint trust eligibility
Expected state: Expected schema-valid schemaVersion 3 tool_observed lines for this workflow.
Automation: Automation candidate: repair inputs outside the verifier; AgentSkeptic will not mutate external systems.
Rerun: Rerun verify after registry, events, tool parameters, or verification inputs are corrected.
Trust boundary: runKind=contract_sql_langgraph_checkpoint_trust highStakesReliance=prohibited (see certificate fields for normative meaning).
=== end evidence_completeness ===

failure_spine:
  trust_decision: unknown
  summary: LangGraph checkpoint trust: ineligible
  actionable_failure: category=bad_input severity=medium recommended_action=fix_event_ingest_and_steps automation_safe=false
  primary_codes: MALFORMED_EVENT_LINE
  rerun_guidance: Repair NDJSON event capture so each line is schema-valid tool_observed for this workflow, then rerun verify.
  source: ineligible_langgraph

Machine JSON (integration SSOT)

{
  "schemaVersion": 3,
  "workflowId": "wf_partner",
  "runKind": "contract_sql_langgraph_checkpoint_trust",
  "stateRelation": "not_established",
  "highStakesReliance": "prohibited",
  "releaseCriticalVerdict": "trusted",
  "relianceRationale": "LangGraph checkpoint trust mode did not establish a single approved production snapshot (ineligible wire, incomplete verification, incomplete checkpoint rollup, or sequence integrity). Do not treat absence of a mismatch as proof of success.",
  "intentSummary": "LangGraph checkpoint trust: ineligible",
  "explanation": {
    "headline": "LangGraph checkpoint trust: ineligible",
    "details": [
      {
        "code": "MALFORMED_EVENT_LINE",
        "message": "Event line was missing, invalid JSON, or failed schema validation for a tool observation."
      }
    ]
  },
  "steps": [],
  "humanReport": "LangGraph checkpoint trust: ineligible\nMALFORMED_EVENT_LINE: Event line was missing, invalid JSON, or failed schema validation for a tool observation.\n\n=== evidence_completeness ===\nBlocker: verification_incomplete\nQuick signal: na\nNot verified:\n- LangGraph checkpoint trust: ineligible\nMissing input:\n- MALFORMED_EVENT_LINE: Event line was missing, invalid JSON, or failed schema validation for a tool observation.\nNext:\n- Repair NDJSON capture so checkpoint trust receives schema-valid schemaVersion 3 tool_observed lines for this workflow, then rerun verify.\nRemediation items:\n- quick_ingest: Repair NDJSON capture so checkpoint trust receives schema-valid schemaVersion 3 tool_observed lines for this workflow, then rerun verify.\nFailed check: LangGraph checkpoint trust eligibility\nExpected state: Expected schema-valid schemaVersion 3 tool_observed lines for this workflow.\nAutomation: Automation candidate: repair inputs outside the verifier; AgentSkeptic will not mutate external systems.\nRerun: Rerun verify after registry, events, tool parameters, or verification inputs are corrected.\nTrust boundary: runKind=contract_sql_langgraph_checkpoint_trust highStakesReliance=prohibited (see certificate fields for normative meaning).\n=== end evidence_completeness ===\n\nfailure_spine:\n  trust_decision: unknown\n  summary: LangGraph checkpoint trust: ineligible\n  actionable_failure: category=bad_input severity=medium recommended_action=fix_event_ingest_and_steps automation_safe=false\n  primary_codes: MALFORMED_EVENT_LINE\n  rerun_guidance: Repair NDJSON event capture so each line is schema-valid tool_observed for this workflow, then rerun verify.\n  source: ineligible_langgraph",
  "evidenceCompleteness": {
    "schemaVersion": 1,
    "blockerCategory": "verification_incomplete",
    "quickSignal": "na",
    "verifiedClaims": [],
    "unverifiedClaims": [
      "LangGraph checkpoint trust: ineligible"
    ],
    "missingInputs": [
      {
        "code": "MALFORMED_EVENT_LINE",
        "hint": "Event line was missing, invalid JSON, or failed schema validation for a tool observation."
      }
    ],
    "nextActions": [
      {
        "id": "fix_langgraph_eligibility",
        "text": "Repair NDJSON capture so checkpoint trust receives schema-valid schemaVersion 3 tool_observed lines for this workflow, then rerun verify."
      }
    ],
    "rerunReadiness": "fix_inputs_before_rerun",
    "rerunPath": {
      "type": "after_input_fix_verify",
      "sameInputs": false,
      "prerequisite": "Registry, events, tool parameters, or verification inputs are corrected.",
      "meaningfulWhen": "The corrected inputs express the expected state the verifier should check.",
      "readinessLabel": "Rerun verify after registry, events, tool parameters, or verification inputs are corrected."
    },
    "witnessCoverage": {
      "schemaVersion": 1,
      "exercisedKinds": [],
      "fullySatisfiedKinds": [],
      "notFullySatisfiedKinds": [],
      "supportLabel": "thin_or_unknown",
      "summaryLine": "No verification modalities exercised on captured steps with resolved verification targets."
    },
    "remediationItems": [
      {
        "id": "quick_ingest",
        "scope": "quick_ingest",
        "primary": true,
        "failedCheck": "LangGraph checkpoint trust eligibility",
        "reasonCodes": [
          "MALFORMED_EVENT_LINE"
        ],
        "reason": "LangGraph checkpoint trust: ineligible",
        "recommendedAction": "fix_event_ingest_and_steps",
        "actionText": "Repair NDJSON capture so checkpoint trust receives schema-valid schemaVersion 3 tool_observed lines for this workflow, then rerun verify.",
        "expectedState": {
          "summary": "Expected schema-valid schemaVersion 3 tool_observed lines for this workflow."
        },
        "automation": {
          "class": "input_regeneration_candidate",
          "label": "Automation candidate: repair inputs outside the verifier; AgentSkeptic will not mutate external systems.",
          "boundary": "AgentSkeptic is a read-only verifier. It does not mutate databases, rewrite inputs, or execute remediation."
        },
        "humanReview": {
          "required": false
        },
        "rerunPath": {
          "type": "after_input_fix_verify",
          "sameInputs": false,
          "prerequisite": "Registry, events, tool parameters, or verification inputs are corrected.",
          "meaningfulWhen": "The corrected inputs express the expected state the verifier should check.",
          "readinessLabel": "Rerun verify after registry, events, tool parameters, or verification inputs are corrected."
        }
      }
    ]
  },
  "failureSpine": {
    "schemaVersion": 1,
    "trustDecision": "unknown",
    "summary": "LangGraph checkpoint trust: ineligible",
    "actionableFailure": {
      "category": "bad_input",
      "severity": "medium",
      "recommendedAction": "fix_event_ingest_and_steps",
      "automationSafe": false
    },
    "primaryCodes": [
      "MALFORMED_EVENT_LINE"
    ],
    "rerunGuidance": "Repair NDJSON event capture so each line is schema-valid tool_observed for this workflow, then rerun verify.",
    "source": "ineligible_langgraph"
  }
}