Research preview · 0.1.0-draft

No compatibility guarantee. Not for consequential production decisions.

Informative test case View tagged source

← All conformance cases

structural-invalid-in-operand

membership comparison operands are non-empty arrays

structural invalid

Layer
structural
Expected result
invalid
Expected diagnostic
JPS-STRUCTURE-IN-OPERAND 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.1.0-draft",
  "id": "https://example.com/judgment-packs/invalid-in-operand",
  "version": "0.1.0",
  "title": "Invalid in operand",
  "decision": {
    "intent": "Exercise the membership-operand shape.",
    "question": "Is a scalar membership operand rejected?"
  },
  "outcomes": [
    { "id": "accept", "label": "Accept" },
    { "id": "reject", "label": "Reject" }
  ],
  "rules": [
    {
      "id": "membership-rule",
      "description": "Uses a scalar where membership requires an array.",
      "when": {
        "op": "fact",
        "path": "/category",
        "operator": "in",
        "value": "one-category"
      },
      "outcome": "accept",
      "onUnknown": "escalate"
    }
  ]
}