veritas_type_gate
Enforces type-level correctness on build claims by validating unique primitives, non-empty domains, operator arity, symbol resolution, and unit consistency, returning PASS or VIOLATION with a reason code.
Instructions
Gate 2/10: Enforces type-level correctness — unique primitives, non-empty domains, operator arity, symbol resolution, and unit consistency. Use this after intake to catch structural errors before evidence evaluation. Returns JSON with verdict (PASS | VIOLATION) and reason_code: TYPE_OK, TYPE_DUPLICATE_PRIMITIVE, TYPE_EMPTY_DOMAIN, TYPE_OPERATOR_ARITY, UNDEFINED_SYMBOL, or UNIT_MISMATCH.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| claim | Yes | A VERITAS BuildClaim object for deterministic gate evaluation. All fields are optional for partial evaluation — only fields relevant to the invoked gate are required. |