`valid-in-operand-one-item`

membership comparison accepts a one-item array operand

semantic valid

Layer: semantic
Expected result: valid
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/in-operand-one-item",
  "version": "0.1.0",
  "title": "One-item in operand",
  "decision": {
    "intent": "Exercise the membership-operand shape.",
    "question": "Is a one-item membership operand accepted?"
  },
  "outcomes": [
    {
      "id": "accept",
      "label": "Accept"
    },
    {
      "id": "reject",
      "label": "Reject"
    }
  ],
  "rules": [
    {
      "id": "membership-rule",
      "description": "Uses a single-item array satisfying the membership minimum.",
      "when": {
        "op": "fact",
        "path": "/category",
        "operator": "in",
        "value": [
          "one-category"
        ]
      },
      "outcome": "accept",
      "onUnknown": "escalate"
    }
  ]
}