{
  "adapter": "opentaint",
  "case_id": "dfb-taint-java-model-entrypoint-parameter-negative",
  "evidence_kind": "retained-capability-decision",
  "modeling_category": "E",
  "modeling_category_label": "framework entry points",
  "partition_source": "docs/modeling-matrix.md#per-tool-capability-partition",
  "reason": "category E — framework entry points — is unsupported for v0.4.6 by the preregistered modeling partition (docs/modeling-matrix.md#per-tool-capability-partition): the pinned rule front end silently drops method-definition-shaped `pattern-sources` — both the focus-metavariable and the pattern-inside encodings — and the rule degenerates to sink-existence matching that flags constant-argument callsites in both cells (probe arms `e-def-pattern-*`, `e-inside-pattern-*`, against the `e-sink-only-control` arm), so no entry-root declaration is expressible; the invocation's all-methods entry-point selector analyzes the uncalled handlers but nothing can declare their parameters tainted on entry (Amendment A22)",
  "stage": "preregistered-modeling-partition",
  "state": "unsupported",
  "template_id": "dfb-template-model-entrypoint-parameter",
  "witnessed_tool_identity": "v0.4.6"
}