{
  "issuer": "Astera Technology",
  "resource": "ops-help-reader-permission-search",
  "locale": "en",
  "contract": "The local knowledge policy has public, signed-in and staff articles. Anonymous readers see public only. Customers see public and signed-in. Staff see all three classes. Unknown article visibility stays unresolved. These are supplied example roles, not real account permissions or security certification.",
  "input": {
    "reader": "anonymous",
    "articles": [
      {
        "id": "A1",
        "visibility": "public"
      },
      {
        "id": "A2",
        "visibility": "signed-in"
      },
      {
        "id": "A3",
        "visibility": "staff"
      }
    ]
  },
  "output": {
    "ok": true,
    "state": "complete",
    "result": {
      "visible": [
        "A1"
      ],
      "unknown": []
    },
    "trace": [
      {
        "id": "A1",
        "decision": "visible"
      },
      {
        "id": "A2",
        "decision": "hidden"
      },
      {
        "id": "A3",
        "decision": "hidden"
      }
    ]
  },
  "verificationCases": [
    {
      "name": "baseline",
      "input": {
        "reader": "anonymous",
        "articles": [
          {
            "id": "A1",
            "visibility": "public"
          },
          {
            "id": "A2",
            "visibility": "signed-in"
          },
          {
            "id": "A3",
            "visibility": "staff"
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "visible": [
            "A1"
          ],
          "unknown": []
        }
      }
    },
    {
      "name": "material-edit",
      "input": {
        "reader": "customer",
        "articles": [
          {
            "id": "A1",
            "visibility": "public"
          },
          {
            "id": "A2",
            "visibility": "signed-in"
          },
          {
            "id": "A3",
            "visibility": "staff"
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "visible": [
            "A1",
            "A2"
          ],
          "unknown": []
        }
      }
    },
    {
      "name": "fresh-boundary",
      "input": {
        "reader": "anonymous",
        "articles": [
          {
            "id": "A1",
            "visibility": "public"
          },
          {
            "id": "A2",
            "visibility": null
          },
          {
            "id": "A3",
            "visibility": "staff"
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "unknown",
        "result": {
          "visible": [
            "A1"
          ],
          "unknown": [
            "A2"
          ]
        }
      }
    }
  ],
  "meaningOfNull": "Unknown or no established value for the field; inspect its specific trace.",
  "businessSideEffects": false
}