{
  "handle": "Check",
  "mechanism": "A non-blocking verification primitive. Evaluates a {{condition}} against a target and yields a {{status}} (Verified, Falsified, or Unknown). Unlike a {{gate}} (which alters control flow via a Decision), Check is purely observational and side-effect free — it answers 'is this true?' without deciding 'should we stop?'. Unknown is a first-class outcome distinct from Falsified: it asserts absence of evidence, not evidence of absence.",
  "gloss": "Side-effect-free observational verification yielding Verified/Falsified/Unknown",
  "failure_modes": [
    "False Positive: Check returns Verified due to flawed logic or sensor noise.",
    "Heisenbug: The act of checking alters the state being checked.",
    "Callers collapse Unknown into Falsified, losing the meaningful distinction."
  ],
  "invariants": [
    "Side-Effect Free: Running a check must not mutate the target state.",
    "Determinism: Same input context yields same status."
  ],
  "_meta": {
    "tier": 1,
    "ring": 0,
    "related": [
      "Validate",
      "Judge",
      "Situfit#74e5",
      "Twoledger#a560",
      "AbsenceEvidence"
    ],
    "supersedes": [
      "sema:Check#mh:SHA-256:1544e646894003b4bac963cee70097a4bffd75f6cb753f218befb2079f8383a6",
      "sema:Check#mh:SHA-256:22ecc8bd2d86f344a11551e3bae74a97660e47b1127739e8a84f88f4791960c8"
    ],
    "path": [
      "Infrastructure",
      "Primitives"
    ]
  },
  "sema_id": "sema:Check#mh:SHA-256:6890b221c38531710528cd84bbf3a957e29d9836dfc9c02669fc0a86709bcb00",
  "sema_ref": "Check#6890",
  "sema_stub": "6890",
  "dependencies": {
    "references": {
      "condition": "sema:Condition#mh:SHA-256:b480f3c4da11ba6d86f6d14e0fb8521268f3c4bb38588460f7ff4253ad8d78d5",
      "gate": "sema:Gate#mh:SHA-256:664dd801873a87e8aa3d67499e27e7c47923d5c0cdd129af6c09a7531ed7de15"
    },
    "yields": {
      "status": "sema:Status#mh:SHA-256:8e6f3b6c796ea10bd810932d983144bd3b5b732f0dca26f960df0572c1479c80"
    }
  },
  "sema_layer": "Infrastructure",
  "sema_category": "Primitives",
  "used_by": {
    "references": {
      "AbsenceEvidence": "sema:AbsenceEvidence#mh:SHA-256:10a326360c0d446055ab9a061e45c822d43cf11ce8d6247cd63b6148844b378c",
      "Compose": "sema:Compose#mh:SHA-256:196091975a98531824eec411da641b3e07a8b11d7c807e5f666d45eda717f5f7",
      "Discover": "sema:Discover#mh:SHA-256:f6e09de2a5b38c031651d22539fafaa46e32869b06dae8009bde18cb249da69b",
      "EpistemicCascade": "sema:EpistemicCascade#mh:SHA-256:00ae0d471938ddbddaec91d4e7936d31d21e0e52cbb9a7064dbd37f66dd513c4",
      "HypothesisEngine": "sema:HypothesisEngine#mh:SHA-256:f9e8f765ed6e5bca5355567747f7ea9acf4c9836a8f287df8831a9e18c179e3e",
      "IdentityHandshake": "sema:IdentityHandshake#mh:SHA-256:43973ed8054341201f5eec5ad6fbed43a31cb178f0180ceadb20c896505b2b32",
      "InvariantFilter": "sema:InvariantFilter#mh:SHA-256:212b8b7a75ea69b22561e19191aa5cb630aaf75f4e4229e03db798338ab00a8e",
      "Judge": "sema:Judge#mh:SHA-256:704cbb71588d7a3bafa08b71c863005e31ec4400860b9cb8b094e660da9c7c6c",
      "LatticeCommit": "sema:LatticeCommit#mh:SHA-256:488aef6c5b623b424066249025e3d9fd441e6d232467ad8d5862337f6f092ba7",
      "MetaCheck": "sema:MetaCheck#mh:SHA-256:5ac54fce5c9e81842e2bd859f8e2aa50182082d1340e2ab9a8144067a205fe5e",
      "NormCheck": "sema:NormCheck#mh:SHA-256:39ba24a3792c16fb8689bfd5bd0093d7f43b13e276fccc1d2b3e97fa20682603",
      "PropheticQuorum": "sema:PropheticQuorum#mh:SHA-256:f7fff3a87881c7f923e067c30eee122443ae6ab47c2831edac0eccc1f1e01230",
      "ReversibilityCheck": "sema:ReversibilityCheck#mh:SHA-256:7dfa94c373732b9074abd29eb733e3ccc8c07b691795b526cf83811106c15358",
      "Search": "sema:Search#mh:SHA-256:1da96800031333016d0be31b6721f15867df62aa9cd93d2a10102efb7d4841a7",
      "ShoutWhisper": "sema:ShoutWhisper#mh:SHA-256:b12ba94fa0c10a49e1d2910fa6adfcce90f99041b8d8481a855d2093e43979ac",
      "Situfit": "sema:Situfit#mh:SHA-256:74e56492432fc6fc7dafcdd9304e0654998b47f336371c5e665a49e35f605369",
      "Specialize": "sema:Specialize#mh:SHA-256:799d587f9e409c7f9fbf13f5dc83a2437068df8a0738f9bcfb910ee00c0c20a1",
      "Twoledger": "sema:Twoledger#mh:SHA-256:a560e73281de99e69ebee03f6efd242925bc0acc238fdbb87fd8542666b56985",
      "Validate": "sema:Validate#mh:SHA-256:ffd128811cea63d7a4dac2c45c95fd8ac1d8a7d3788423fb6710b622167305ed",
      "Verification": "sema:Verification#mh:SHA-256:c8de453752e750eb54e0494e7a222377cea99a739b049087ab426cd968b38778"
    },
    "composes_with": {
      "CreativeBlend": "sema:CreativeBlend#mh:SHA-256:95a09b1e3b6dc3dc18895c69b9bd0194b328f32c8ed683e41fb641e47c3f8c16",
      "InternalConsistency": "sema:InternalConsistency#mh:SHA-256:497b37316c47ad9deaedae0ebff8a7d269a3a3dafbe4175493b164f29ba032a4",
      "LayeredCheck": "sema:LayeredCheck#mh:SHA-256:6d7379c20e7b733e77ee96409251b53d8e06133944506d9f7443b13178a38042",
      "PURECheck": "sema:PURECheck#mh:SHA-256:574bfe492b148844233507d79302ba73135ad366d24b4b34f3de476ed903094e",
      "SteelmanCheck": "sema:SteelmanCheck#mh:SHA-256:b004eb6d85a184da7f9bb7fc06d011bc869f6eb6ad1061f30cbbbcc4c2b8f6aa"
    }
  }
}