{
  "activation_arguments": [
    "--pulse-only"
  ],
  "activation_identity": "v1.3.0 shipped Pulse checker, no taint configuration",
  "adapter": "infer",
  "case_id": "dfb-taint-java-native-source-sink-negative",
  "evidence_kind": "retained-capability-decision",
  "model_profile": "tool-native",
  "modeling_category": "S",
  "modeling_category_label": "declared sources and sinks",
  "partition_source": "docs/native-profile.md#partition-summary",
  "reason": "tool-native activation of dfb-template-native-source-sink (category S — declared sources and sinks) is unsupported for v1.3.0 over Java by the activation partition (docs/native-profile.md#partition-summary, as amended): the shipped taint bundle is loaded unconditionally and holds no endpoint: the zero-config silence Amendment A14 measured (no configuration supplied — nothing to mis-path, so the silent-missing-config quirk cannot be the explanation) is proven engaged by Amendment A28 — the bundled `config/taint/` tree parses on every invocation, declares Objective-C propagators only, binds no source, sink, or policy in any language, and the full default checker set (`infer run`) decides nothing on any of the twelve Java native fixtures either (Amendments A14, A28)",
  "stage": "preregistered-native-activation-partition",
  "state": "unsupported",
  "template_id": "dfb-template-native-source-sink",
  "witnessed_tool_identity": "v1.3.0"
}