{
  "handle": "Validate",
  "mechanism": "Syntactic Verification. Checks if a data artifact conforms to a predefined structure (Schema) or set of constraints. Yields a {{boolean}} — strict pass/fail with no middle ground, unlike {{check}} which yields the richer Status (Verified/Falsified/Unknown). Rejects malformed inputs before processing. Utilizes {{accept_spec}}. Distinct from {{check}} (richer truth-valued) and quality scoring (Judge, which yields a continuous Score).",
  "gloss": "Verifying inputs conform to expected schema",
  "failure_modes": [
    "Validator Bypass: Attacker finds encoding that passes validation but exploits downstream parser."
  ],
  "invariants": [
    "Binary Result: Pass or Fail.",
    "Side-Effect Free: Validation must not alter the payload."
  ],
  "_meta": {
    "tier": 1,
    "ring": 1,
    "supersedes": [
      "sema:Validate#mh:SHA-256:3de24fbfc5dade5aeabd857010aaeff7529bdab8c152f164897aa411d868c619",
      "sema:Validate#mh:SHA-256:337ce6c03c892bd0d326d81a8ae3a51e76557391240cf9a1694ff85458fe358e",
      "sema:Validate#mh:SHA-256:bd940dda8b0a752e49b4fe86b8f0d8ce077eb47cc93c54e39989ace4969ea4eb"
    ],
    "path": [
      "Infrastructure",
      "Verification"
    ]
  },
  "sema_id": "sema:Validate#mh:SHA-256:ffd128811cea63d7a4dac2c45c95fd8ac1d8a7d3788423fb6710b622167305ed",
  "sema_ref": "Validate#ffd1",
  "sema_stub": "ffd1",
  "dependencies": {
    "references": {
      "accept_spec": "sema:AcceptSpec#mh:SHA-256:37fa28b93d390f8c8eb171eaab54ff4f9e57a95ef67af024422f823545a291cc",
      "check": "sema:Check#mh:SHA-256:6890b221c38531710528cd84bbf3a957e29d9836dfc9c02669fc0a86709bcb00"
    },
    "yields": {
      "boolean": "sema:Boolean#mh:SHA-256:981efb73fe1629d491f83db8c4b9bbc05284d7ddb76e71222d83be8d2176d9be"
    }
  },
  "sema_layer": "Infrastructure",
  "sema_category": "Verification",
  "used_by": {
    "references": {
      "EmpiricalTest": "sema:EmpiricalTest#mh:SHA-256:75ae9b3629a0075fc40a64b8615e553fc25e5866c8c276e682790e2069fefd39",
      "HypothesisEngine": "sema:HypothesisEngine#mh:SHA-256:f9e8f765ed6e5bca5355567747f7ea9acf4c9836a8f287df8831a9e18c179e3e",
      "Judge": "sema:Judge#mh:SHA-256:704cbb71588d7a3bafa08b71c863005e31ec4400860b9cb8b094e660da9c7c6c",
      "LayeredCheck": "sema:LayeredCheck#mh:SHA-256:6d7379c20e7b733e77ee96409251b53d8e06133944506d9f7443b13178a38042",
      "PolymorphicSolver": "sema:PolymorphicSolver#mh:SHA-256:f7fe4635a7520f918c823f0047d6fed8e38fd820c1970ef4623cc8fd78d2b0bd",
      "TruthseekingProtocol": "sema:TruthseekingProtocol#mh:SHA-256:8e4f01c73a2bb4e0989ceb100c74c4703a99437fbc55fc1d5cb4238bcd257c30",
      "Verification": "sema:Verification#mh:SHA-256:c8de453752e750eb54e0494e7a222377cea99a739b049087ab426cd968b38778"
    },
    "composes_with": {
      "InternalConsistency": "sema:InternalConsistency#mh:SHA-256:497b37316c47ad9deaedae0ebff8a7d269a3a3dafbe4175493b164f29ba032a4",
      "ReceptivityGate": "sema:ReceptivityGate#mh:SHA-256:0db58374b9595734af888df1f152aa802e6da20fb24e2786e44f1837f2a4f4fa"
    }
  }
}