Type assertions in encoding need runtime validation

[todo-mdx]

TDD: encode.ts uses type assertions without runtime validation. Add type guards to validate data types at runtime before encoding.