Function validate_surface_contracts 

pub fn validate_surface_contracts(
    resources: &[Resource],
    registry: &ActionRegistry,
) -> Vec<ContractViolation>

Validate every transport-independent invariant. Hosts call this before publication even when their dynamic widget dispatch cannot enumerate its effect/view handler table. Tooling that owns an explicit handler table should use validate_surface for the additional coverage.