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-source-ref

exception source reference resolves to a declared source

semantic invalid

Layer
semantic
Expected result
invalid
Expected diagnostic
JPS-SEMANTIC-UNRESOLVED-SOURCE at /exceptions/0/sourceRefs/0
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-source-ref",
  "version": "0.1.0",
  "title": "Dangling exception source reference",
  "decision": {
    "intent": "Exercise exception source resolution.",
    "question": "Is an undeclared exception source rejected?"
  },
  "outcomes": [
    { "id": "accept", "label": "Accept" },
    { "id": "reject", "label": "Reject" }
  ],
  "rules": [
    {
      "id": "literal-rule",
      "description": "A structurally ordinary rule.",
      "when": { "op": "literal", "value": true },
      "outcome": "accept",
      "onUnknown": "ignore"
    }
  ],
  "exceptions": [
    {
      "id": "manual-stop",
      "description": "References an undeclared source.",
      "when": { "op": "literal", "value": true },
      "effect": "escalate",
      "onUnknown": "ignore",
      "sourceRefs": ["missing-source"]
    }
  ]
}