Validates that the body root in the header matches the actual body contents.
Validates that the body root in the header matches the actual body contents.
This check is intentionally limited to the header/body commitment contract. Header-level progress rules such as genesis-parent shape or consensus-owned height linkage belong to the enclosing validation path.
Type parameters
Event
event type
ResultRef
result reference type
TxRef
transaction reference type
Value parameters
view
the block view to validate
Attributes
Returns
Right(()) if valid, or a BlockValidationFailure describing the mismatch