Research preview · 0.1.0-draft

No compatibility guarantee. Not for consequential production decisions.

Informative test case View tagged source

← All conformance cases

semantic-dangling-exception-target

exception target resolves to a declared rule

semantic invalid

Layer
semantic
Expected result
invalid
Expected diagnostic
JPS-SEMANTIC-UNRESOLVED-RULE at /exceptions/0/targetRule
Specification
§3.3
The expected result is conformance-corpus metadata, not a claim about factual grounding, authority, safety, or operational fitness.

Download exact fixture

Exact fixture

{
  "specVersion": "0.1.0-draft",
  "id": "https://example.com/judgment-packs/dangling-exception-target",
  "version": "0.1.0",
  "title": "Dangling exception target",
  "decision": {
    "intent": "Exercise exception-target resolution.",
    "question": "Is an undeclared target rule rejected?"
  },
  "outcomes": [
    { "id": "accept", "label": "Accept" },
    { "id": "reject", "label": "Reject" }
  ],
  "rules": [
    {
      "id": "base-rule",
      "description": "A declared rule that is not the exception target.",
      "when": { "op": "literal", "value": true },
      "outcome": "accept",
      "onUnknown": "ignore"
    }
  ],
  "exceptions": [
    {
      "id": "suppression",
      "description": "References an undeclared rule.",
      "when": { "op": "literal", "value": true },
      "effect": "suppress-rule",
      "targetRule": "missing-rule",
      "onUnknown": "ignore"
    }
  ]
}