`structural-empty-any-condition`

all and any require at least one child condition

structural invalid

Layer: structural
Expected result: invalid
Expected diagnostic: JPS-STRUCTURE-CONDITION-ARITY at /rules/0/when/conditions
Specification: §7

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/empty-any-condition",
  "version": "0.1.0",
  "title": "Empty any condition",
  "decision": {
    "intent": "Exercise condition arity.",
    "question": "Is an empty disjunction rejected?"
  },
  "outcomes": [
    { "id": "accept", "label": "Accept" },
    { "id": "reject", "label": "Reject" }
  ],
  "rules": [
    {
      "id": "empty-any-rule",
      "description": "Contains no child conditions.",
      "when": { "op": "any", "conditions": [] },
      "outcome": "accept",
      "onUnknown": "ignore"
    }
  ]
}