{
  "activation_arguments": [],
  "activation_identity": "4.0.660 DefaultSemantics only",
  "adapter": "joern",
  "case_id": "dfb-taint-python-native-sanitizer-positive",
  "evidence_kind": "retained-capability-decision",
  "model_profile": "tool-native",
  "modeling_category": "Z",
  "modeling_category_label": "declared sanitizers",
  "partition_source": "docs/native-profile.md#partition-summary",
  "reason": "tool-native activation of dfb-template-native-sanitizer (category Z — declared sanitizers) is unsupported for 4.0.660 over Python by the activation partition (docs/native-profile.md#partition-summary, as amended): `NilSemantics` is the mechanism a sanitizer would use, but the distribution declares none of the three platform sanitization idioms, and no endpoint catalog ships for a sanitizer to sit between",
  "stage": "preregistered-native-activation-partition",
  "state": "unsupported",
  "template_id": "dfb-template-native-sanitizer",
  "witnessed_tool_identity": "4.0.660"
}
