Handbook
intelligence_math_candidate_validate_v1 v1
Purpose: Issue a bounded validation report from candidate, falsifier results, and authenticated checker receipts.
Updated
Inputs
Required: candidate, falsifier_report, verification_receipts, validation_policy.
Outputs
Required: validation_report, status.
Substrate reuse
- Generic tasks:
contradiction_scan,llm_boolean_gate,llm_multi_label - Operators:
seq,branch,for_each,try_catch
Verification policy
- validator independence declared
- receipt authentication
- status bounded by receipts
- counterexample blocker honored
Failure modes
- unauthenticated receipt
- missing quantifier or domain
- unresolved counterexample
- dependency closure failure
- false verification claim
Runtime status
Proposal only. Repository-native implementation, fixtures, validators, maturity registration, and allowlist entry are required.