{
  "issuer": "Astera Technology",
  "resource": "ops-fulfillment-independent-holds",
  "locale": "en",
  "contract": "The original F1 ledger has H-address from the address reviewer and H-choice from the order owner. Both are active. Any active hold makes this gate held; with no active holds but an unknown one, it is unknown; with every hold resolved, it is clear. A clear hold gate does not itself establish that every dispatch prerequisite is met.",
  "input": {
    "fulfillment": "F1",
    "holds": [
      {
        "id": "H-address",
        "issuer": "Address reviewer",
        "state": "active"
      },
      {
        "id": "H-choice",
        "issuer": "Order owner",
        "state": "active"
      }
    ]
  },
  "output": {
    "ok": true,
    "state": "complete",
    "result": {
      "fulfillment": "F1",
      "active": [
        "H-address",
        "H-choice"
      ],
      "unknown": [],
      "gate": "held"
    },
    "trace": [
      {
        "id": "H-address",
        "issuer": "Address reviewer",
        "decision": "blocks"
      },
      {
        "id": "H-choice",
        "issuer": "Order owner",
        "decision": "blocks"
      }
    ]
  },
  "verificationCases": [
    {
      "name": "baseline",
      "input": {
        "fulfillment": "F1",
        "holds": [
          {
            "id": "H-address",
            "issuer": "Address reviewer",
            "state": "active"
          },
          {
            "id": "H-choice",
            "issuer": "Order owner",
            "state": "active"
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "fulfillment": "F1",
          "active": [
            "H-address",
            "H-choice"
          ],
          "unknown": [],
          "gate": "held"
        }
      }
    },
    {
      "name": "material-edit",
      "input": {
        "fulfillment": "F1",
        "holds": [
          {
            "id": "H-address",
            "issuer": "Address reviewer",
            "state": "resolved"
          },
          {
            "id": "H-choice",
            "issuer": "Order owner",
            "state": "active"
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "fulfillment": "F1",
          "active": [
            "H-choice"
          ],
          "unknown": [],
          "gate": "held"
        }
      }
    },
    {
      "name": "fresh-boundary",
      "input": {
        "fulfillment": "F1",
        "holds": [
          {
            "id": "H-address",
            "issuer": "Address reviewer",
            "state": "resolved"
          },
          {
            "id": "H-choice",
            "issuer": "Order owner",
            "state": null
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "unknown",
        "result": {
          "fulfillment": "F1",
          "active": [],
          "unknown": [
            "H-choice"
          ],
          "gate": "unknown"
        }
      }
    }
  ],
  "meaningOfNull": "Unknown or no established value for the field; inspect its specific trace.",
  "businessSideEffects": false
}