{
  "issuer": "Astera Technology",
  "resource": "ops-route-required-capabilities",
  "locale": "en",
  "contract": "Original local desk example: request T1 needs cantonese and exports. An agent is eligible only when every required capability is recorded, status is active and spare slots are positive. Status describes this fixture, not an employee attendance record. null means the relevant fact is unknown. A known failed condition establishes ineligibility even when another condition is unknown.",
  "input": {
    "required": [
      "cantonese",
      "exports"
    ],
    "agents": [
      {
        "id": "A",
        "skills": [
          "cantonese",
          "exports"
        ],
        "status": "active",
        "spare": 1
      },
      {
        "id": "B",
        "skills": [
          "cantonese"
        ],
        "status": "active",
        "spare": 3
      },
      {
        "id": "C",
        "skills": [
          "cantonese",
          "exports"
        ],
        "status": "inactive",
        "spare": 2
      }
    ]
  },
  "output": {
    "ok": true,
    "state": "complete",
    "result": {
      "eligible": [
        "A"
      ],
      "unknown": []
    },
    "trace": [
      {
        "id": "A",
        "skills": true,
        "available": true,
        "spare": true,
        "remaining": 1,
        "decision": "eligible"
      },
      {
        "id": "B",
        "skills": false,
        "available": true,
        "spare": true,
        "remaining": 3,
        "decision": "ineligible"
      },
      {
        "id": "C",
        "skills": true,
        "available": false,
        "spare": true,
        "remaining": 2,
        "decision": "ineligible"
      }
    ]
  },
  "verificationCases": [
    {
      "name": "baseline",
      "input": {
        "required": [
          "cantonese",
          "exports"
        ],
        "agents": [
          {
            "id": "A",
            "skills": [
              "cantonese",
              "exports"
            ],
            "status": "active",
            "spare": 1
          },
          {
            "id": "B",
            "skills": [
              "cantonese"
            ],
            "status": "active",
            "spare": 3
          },
          {
            "id": "C",
            "skills": [
              "cantonese",
              "exports"
            ],
            "status": "inactive",
            "spare": 2
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "eligible": [
            "A"
          ],
          "unknown": []
        }
      }
    },
    {
      "name": "material-edit",
      "input": {
        "required": [
          "cantonese",
          "exports"
        ],
        "agents": [
          {
            "id": "A",
            "skills": [
              "cantonese",
              "exports"
            ],
            "status": "active",
            "spare": 1
          },
          {
            "id": "B",
            "skills": [
              "cantonese",
              "exports"
            ],
            "status": "active",
            "spare": 3
          },
          {
            "id": "C",
            "skills": [
              "cantonese",
              "exports"
            ],
            "status": "inactive",
            "spare": 2
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "complete",
        "result": {
          "eligible": [
            "A",
            "B"
          ],
          "unknown": []
        }
      }
    },
    {
      "name": "fresh-boundary",
      "input": {
        "required": [
          "cantonese",
          "exports"
        ],
        "agents": [
          {
            "id": "A",
            "skills": null,
            "status": "active",
            "spare": 1
          },
          {
            "id": "B",
            "skills": [
              "cantonese"
            ],
            "status": "active",
            "spare": 3
          },
          {
            "id": "C",
            "skills": [
              "cantonese",
              "exports"
            ],
            "status": "inactive",
            "spare": 2
          }
        ]
      },
      "expected": {
        "ok": true,
        "state": "unknown",
        "result": {
          "eligible": [],
          "unknown": [
            "A"
          ]
        }
      }
    }
  ],
  "meaningOfNull": "Unknown or no established value for the field; inspect its specific trace.",
  "businessSideEffects": false
}