Skip to main content

Module validator

Module validator 

Source
Expand description

Consignment Validation Pipeline

Provides detailed, step-by-step validation of consignments:

  1. Fetch state proof chain
  2. Verify commitment linkage
  3. Verify single consumption of each seal
  4. Verify no conflicting state transitions
  5. Accept or reject based on full validation

§Validation Pipeline

Consignment Received
  ↓
[1] Structural Validation
  - Version check
  - Schema ID consistency  
  - Required fields present
  ↓
[2] Commitment Chain Validation
  - Genesis → Latest chain integrity
  - No missing commitments
  - No cycles or duplicates
  ↓
[3] Seal Consumption Validation  
  - Each seal consumed at most once
  - Cross-chain double-spend check
  - Seal references match transitions
  ↓
[4] State Transition Validation
  - Inputs satisfied by prior outputs
  - State conservation rules
  - No conflicting transitions
  ↓
[5] Final Acceptance Decision
  - All checks pass → Accept
  - Any check fails → Reject with reason

Structs§

ConsignmentValidator
Consignment validator with detailed reporting.
ValidationReport
Detailed validation report.
ValidationStep
A single validation step result.