{
  "handle": "Status",
  "mechanism": "The graded verification outcome type: Verified (the check passed), Falsified (the check failed), or Unknown (the check could not reach a definitive answer). Carries an optional reason field explaining the outcome. Distinct from Boolean (strict two-valued, no Unknown) and from Decision (three-valued with proceed/halt/debt operational semantics).",
  "gloss": "Graded verification outcome: Verified, Falsified, or Unknown",
  "data_schema": {
    "type": "object",
    "required": [
      "value"
    ],
    "properties": {
      "value": {
        "type": "string",
        "enum": [
          "Verified",
          "Falsified",
          "Unknown"
        ],
        "description": "The outcome of a verification operation"
      },
      "reason": {
        "type": "string",
        "description": "Optional explanation for the outcome"
      }
    }
  },
  "invariants": [
    "Tri-valued: exactly one of {Verified, Falsified, Unknown}.",
    "Unknown is not a failure: it is an honest absence of evidence, distinct from Falsified."
  ],
  "_meta": {
    "tier": 0,
    "ring": 0,
    "path": [
      "Infrastructure",
      "Data Structures"
    ]
  },
  "sema_id": "sema:Status#mh:SHA-256:8e6f3b6c796ea10bd810932d983144bd3b5b732f0dca26f960df0572c1479c80",
  "sema_ref": "Status#8e6f",
  "sema_stub": "8e6f",
  "sema_layer": "Infrastructure",
  "sema_category": "Data Structures",
  "used_by": {
    "yields": {
      "Check": "sema:Check#mh:SHA-256:6890b221c38531710528cd84bbf3a957e29d9836dfc9c02669fc0a86709bcb00",
      "PURECheck": "sema:PURECheck#mh:SHA-256:574bfe492b148844233507d79302ba73135ad366d24b4b34f3de476ed903094e"
    },
    "references": {
      "EpistemicCascade": "sema:EpistemicCascade#mh:SHA-256:00ae0d471938ddbddaec91d4e7936d31d21e0e52cbb9a7064dbd37f66dd513c4"
    }
  }
}