Research preview · 0.1.0-draft

No compatibility guarantee. Not for consequential production decisions.

Informative test case View tagged source

← All conformance cases

semantic-duplicate-exception-id

exception identifiers are unique within their collection

semantic invalid

Layer
semantic
Expected result
invalid
Expected diagnostic
JPS-SEMANTIC-DUPLICATE-ID at /exceptions/1/id
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/duplicate-exception-id",
  "version": "0.1.0",
  "title": "Duplicate exception identifier",
  "decision": {
    "intent": "Exercise collection-local identifier uniqueness.",
    "question": "Are duplicate exception identifiers 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": "First declaration.",
      "when": { "op": "literal", "value": true },
      "effect": "escalate",
      "onUnknown": "ignore"
    },
    {
      "id": "manual-stop",
      "description": "Second declaration.",
      "when": { "op": "literal", "value": false },
      "effect": "escalate",
      "onUnknown": "escalate"
    }
  ]
}