{
  "adapter": "joern",
  "case_id": "dfb-taint-javascript-model-propagator-position-negative",
  "evidence_kind": "retained-capability-decision",
  "modeling_category": "P",
  "modeling_category_label": "declared propagators",
  "partition_source": "docs/modeling-matrix.md#per-tool-capability-partition",
  "reason": "category P — declared propagators — is unsupported for 4.0.660 by the preregistered modeling partition (docs/modeling-matrix.md#per-tool-capability-partition): Joern 4.0.610 FlowSemantic mappings are additive over the default unmodeled-call pass-through and cannot restrict it; a propagator model is not load-bearing on the pinned version (Amendment A2)",
  "stage": "preregistered-modeling-partition",
  "state": "unsupported",
  "template_id": "dfb-template-model-propagator-position",
  "witnessed_tool_identity": "4.0.660"
}