{
  "handle": "Verification",
  "mechanism": "The cognitive process of confirming that a claim or {{artifact}} adheres to its {{spec}} or to reality, regarding an assertion that already exists. Runs via a {{check}}, which may return Unknown. Distinct from {{validate}}, which is syntactic conformance to a schema; Verification is semantic and may reference reality rather than a document.",
  "gloss": "Confirming alignment with truth or spec",
  "failure_modes": [
    "False positive: artifact accepted despite not meeting spec.",
    "False negative: valid artifact rejected due to overly strict or misapplied criteria."
  ],
  "_meta": {
    "ring": 1,
    "tier": 1,
    "supersedes": [
      "sema:Verification#mh:SHA-256:eb2838e42803a176654d6c11812568ed34b73f9e6d4a49d3e86e571354ec437c",
      "sema:Verification#mh:SHA-256:9c1ee918c6b8b8d7b787f5ef7ae908aa2ca37b1f9b5dace80fcf261a9c961001",
      "sema:Verification#mh:SHA-256:99a57c2cef1d442480417b63b008e656f2b67f586886666234a41bc9251a4956",
      "sema:Verification#mh:SHA-256:81fe83ebcbd898595f7969762d70b562ad6bcab08141fc1e88d65f21376600dd"
    ],
    "path": [
      "Mind",
      "Reasoning"
    ],
    "related": [
      "Leapsettle#3f9f"
    ]
  },
  "invariants": [
    "A verification states what it was checked against — which {{spec}}, or which observation.",
    "Where the underlying {{check}} yields Unknown, the verification reports Unknown.",
    "The assertion under verification exists before the verification runs."
  ],
  "sema_id": "sema:Verification#mh:SHA-256:c8de453752e750eb54e0494e7a222377cea99a739b049087ab426cd968b38778",
  "sema_ref": "Verification#c8de",
  "sema_stub": "c8de",
  "dependencies": {
    "references": {
      "artifact": "sema:Artifact#mh:SHA-256:b533ad2674ec00c5e9a5f1e3920f1097e2bc1eea7263f89e8f46563fa319a0ee",
      "check": "sema:Check#mh:SHA-256:6890b221c38531710528cd84bbf3a957e29d9836dfc9c02669fc0a86709bcb00",
      "spec": "sema:Spec#mh:SHA-256:c9537551b2bfa2639c15270994fdbb5a52a41d098f499c5ed5d61945a7c50da7",
      "validate": "sema:Validate#mh:SHA-256:ffd128811cea63d7a4dac2c45c95fd8ac1d8a7d3788423fb6710b622167305ed"
    }
  },
  "sema_layer": "Mind",
  "sema_category": "Reasoning",
  "used_by": {
    "references": {
      "EpistemicCascade": "sema:EpistemicCascade#mh:SHA-256:00ae0d471938ddbddaec91d4e7936d31d21e0e52cbb9a7064dbd37f66dd513c4",
      "Experiment": "sema:Experiment#mh:SHA-256:421e41c03e27f10e09c08b1f884bbcb9addf0f232be0a5bf1097950b40f15748",
      "Leapsettle": "sema:Leapsettle#mh:SHA-256:3f9f6e4231fc21451792cbafb45c3e0455b87cc3f6a357fc3d58ae5f4f375416",
      "ReleaseArtifactVerification": "sema:ReleaseArtifactVerification#mh:SHA-256:c4668a479ba21c1d2a8bc1f4475bcb1084eebf9125ea220110a3015f3fcf5d75",
      "SpecBinding": "sema:SpecBinding#mh:SHA-256:16e5d03844bf2b95629b6fedc9f9067d2611a701431dc6f933395e7f0911f2e5",
      "SpecIntentCheck": "sema:SpecIntentCheck#mh:SHA-256:29a260fbf62ec221bd2c12f0394f457ef5362687773a6f00ca9f51616d3bc2c5"
    }
  }
}