Skip to main content

Module validator

Module validator 

Source
Expand description

Structural validator for CortexReceiptV1Candidate.

Checks invariants that must hold before the receipt is emitted:

  • Correct schema tag.
  • authority_boundary.candidate_only is true.
  • All eight authority-grant flags are false.
  • forbidden_uses and allowed_claim_language are non-empty.

Functions§

validate_receipt
Validate a receipt’s structural invariants.