{
  "schema_version": 1,
  "builder_plan": {
    "scenario": "An agent reads external documents or tool responses that may contain malicious instructions.",
    "change": "Replay attacks and legitimate lookalikes in an isolated copy of your agent workflow.",
    "baseline": "Your existing checks with the same tasks, permissions, and tool responses.",
    "steps": [
      "Locate the paper's implementation and check its license, model support, data needs, and hardware requirements. Stop here if you cannot obtain the required artifacts.",
      "Save a small set of representative product tasks and expected outcomes. Keep evaluation tasks out of any training or tuning, and choose quality and cost limits before running.",
      "Run the baseline and the proposed change on identical inputs. Keep other settings fixed and repeat paired runs to expose variation.",
      "Save per-task outputs, failures, timings, and all usage costs. Review regressions before expanding the test."
    ],
    "measure": "Successful attacks missed, legitimate actions blocked, detection delay, and review cost.",
    "decision": "Keep the change only if it meets your preselected quality and latency limits and improves the metric you care about after setup and operating costs. Otherwise retain the baseline. This is an exploration plan, not a validated recommendation."
  },
  "builder_review": null,
  "arxiv_id": "2609.40027",
  "title": "Who Verifies the Graph? Misspecification Attacks on Causal Action Verification for Language Agents",
  "summary": "The method replaces trust in internally valid identification certificates from a causal action verifier with an attestation layer that tests certified executions against bounded randomized samples and refuses what fails or cannot be tested. It costs a randomized experiment budget in the live tool environment (127 experiments per 1,050 actions for safety alone, 614 more to recover beneficial executions), plus rejection-auditing cost that scales with rejections rather than executions. It can fail to deliver value even when safe: 97.1% of beneficial actions remain unexecuted at the published confounding strength, and the defense assumes the ability to run randomized interventions, which many production tool APIs do not permit.",
  "rationale": "The paper demonstrates that certificate-based causal verification is brittle to single-edge graph misspecification, but adopting the attestation defense requires randomized-experiment capability in production tools, which exceeds typical constrained-infrastructure deployments and is relevant only to teams already operating causal action verifiers.",
  "technique": "Attestation-audited causal action verification",
  "family": "seguranca_e_guardrails",
  "recommendation": "observar",
  "published": "2026-09-30",
  "as_of": "2026-10-18",
  "editorial_status": "indexed",
  "source_url": "https://arxiv.org/abs/2609.40027",
  "independent_implementations": 1,
  "total_implementations": 2,
  "stars": 131,
  "citations": null,
  "claims": [
    {
      "claim_id": "claim-01",
      "statement": "The method replaces trust in internally valid identification certificates from a causal action verifier with an attestation layer that tests certified executions against bounded randomized samples and refuses what fails or cannot be tested. It costs a randomized experiment budget in the live tool environment (127 experiments per 1,050 actions for safety alone, 614 more to recover beneficial executions), plus rejection-auditing cost that scales with rejections rather than executions. It can fail to deliver value even when safe: 97.1% of beneficial actions remain unexecuted at the published confounding strength, and the defense assumes the ability to run randomized interventions, which many production tool APIs do not permit.",
      "basis": "inferred",
      "result": "",
      "baseline": "",
      "conditions": "",
      "source_url": "https://arxiv.org/abs/2609.40027",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "claim_id": "claim-02",
      "statement": "Corrupting the verifier's committed graph (one omitted bidirected edge) raises false executions from 0% to 15.3% and reversing one arrowhead to 48.9%; a bounded randomized attestation step detected both attacks and achieved zero false executions in all measured settings, at a cost of 127 experiments per 1,050 actions for safety and 614 more to recover lost utility.",
      "basis": "inferred",
      "result": "",
      "baseline": "",
      "conditions": "",
      "source_url": "https://arxiv.org/abs/2609.40027",
      "source_page": null,
      "source_excerpt": ""
    }
  ],
  "exposure_map": [
    {
      "dimension": "quality",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "compute",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "latency",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "operations",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "compatibility",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "security",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "data_and_training",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    },
    {
      "dimension": "reproducibility",
      "basis": "not_evaluated",
      "finding": "",
      "interpretation": "",
      "limitation": "",
      "next_check": "",
      "source_url": "",
      "source_page": null,
      "source_excerpt": ""
    }
  ],
  "risks": [],
  "minimum_test": [],
  "open_questions": [],
  "independent_tests": [],
  "lab_reproductions": [],
  "report_available": false,
  "validation_tier": "unknown",
  "evidence_tier": "unknown",
  "infrastructure_basis": "unknown",
  "equations": [],
  "equations_status": "not_fetched",
  "core_kind": "",
  "equations_fetched_at": "",
  "equations_source_url": "",
  "equations_source_sha256": "",
  "exposures_reviewed_at": "",
  "exposures_source_sha256": ""
}