{
  "adapter": "semgrep",
  "case_id": "dfb-taint-javascript-model-store-roundtrip-positive",
  "evidence_kind": "retained-capability-decision",
  "modeling_category": "B",
  "modeling_category_label": "persistence boundaries",
  "partition_source": "docs/modeling-matrix.md#per-tool-capability-partition",
  "reason": "category B — persistence boundaries — is unsupported for 1.181.0 by the preregistered modeling partition (docs/modeling-matrix.md#per-tool-capability-partition): the write and the read are in two different procedures by construction, and the pinned CE engine has no interprocedural taint at all: `semgrep scan --help` offers `--pro-intrafile` (\"Intra-file inter-procedural taint analysis … Requires Semgrep Pro Engine\"), so the step from `put` to `get` is outside the engine regardless of what is declared",
  "stage": "preregistered-modeling-partition",
  "state": "unsupported",
  "template_id": "dfb-template-model-store-roundtrip",
  "witnessed_tool_identity": "1.181.0"
}