Align Hive runtime contracts with structured inference

[christopherkarani]

Summary

• align Hive Conduit/runtime types with the structured transcript and output contract
• extend runtime and DSL tests for replay, cancellation, timeout, and contract coverage
• preserve checkpoint and Swarm compatibility around the new transcript semantics

Verification

• earlier focused Hive verification passed for DSL, checkpoint, determinism, and Swarm contract suites in this change set
• full package aggregate helper still appears to have the known upstream non-exit issue