Goal

Provide deterministic verification logic for proof bundles, ensuring correctness, completeness, and consistency across all validators.

Responsibilities

• Fetch the current trusted head certificate from the F3 Cert Actor.
• Validate linkage of new certificates against the stored head.
• Verify event proofs for topdown messages and validator changes.
• Verify storage proofs for counters that enforce completeness.
• Enforce that all messages and validator changes up to the proven counters are included.
• Produce a deterministic Accept/Reject outcome for each bundle.