Overview

Final verification currently always passes if startup info exists.

Scope

• Define expected final state root (e.g., last changeset state root or metadata).
• Compare actual vs expected and report mismatch.
• Fail replay when verification fails.

Acceptance Criteria

• Mismatch causes ReplayReport failure + metadata status Failed.
• Matching root passes.
• Test covers mismatch case.