{
  "adapter": "bifrost",
  "case_id": "dfb-taint-java-model-opaque-propagator-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 bifrost 0.15.1 by the preregistered modeling partition (docs/modeling-matrix.md#per-tool-capability-partition): to be verified — unsupported until shown: no committed policy declares a propagator or transform, and the adapter README makes no propagator claim. Additionally, every committed policy sets `:unmodeled optimistic`, so the modeling policy must also be shown to accept `require-model` before either P cell is load-bearing. Both must be demonstrated on the pinned build",
  "stage": "preregistered-modeling-partition",
  "state": "unsupported",
  "template_id": "dfb-template-model-opaque-propagator",
  "witnessed_tool_identity": "bifrost 0.15.1"
}