`structural-empty-in-operand`

membership comparison rejects an empty array operand

structural invalid

Layer: structural
Expected result: invalid
Expected diagnostic: JPS-STRUCTURE-COLLECTION-ARITY at /rules/0/when/value
Specification: §7.4

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.2.0-draft",
  "id": "https://example.com/judgment-packs/empty-in-operand",
  "version": "0.1.0",
  "title": "Empty in operand",
  "decision": {
    "intent": "Exercise the membership-operand shape.",
    "question": "Is an empty membership operand rejected?"
  },
  "outcomes": [
    {
      "id": "accept",
      "label": "Accept"
    },
    {
      "id": "reject",
      "label": "Reject"
    }
  ],
  "rules": [
    {
      "id": "membership-rule",
      "description": "Uses an empty array where membership requires at least one item.",
      "when": {
        "op": "fact",
        "path": "/category",
        "operator": "in",
        "value": []
      },
      "outcome": "accept",
      "onUnknown": "escalate"
    }
  ]
}