Parent: #272 Depends on: #262 Roadmap: #263, #142, #134 Implement the pinned bulk-memory binary and validator surface before enabling execution. Acceptance: - [x] Decode DataCount in its specified section order and validate its exact relationship to data indices. - [x] Decode active, passive, and declarative element segment forms plus active/passive data forms. - [x] Decode exact immediates for memory.init/data.drop/memory.copy/memory.fill/table.init/elem.drop/table.copy. - [x] Validate index spaces, element/reference types, memory/table compatibility, operand order, and stable malformed/disabled-feature diagnostics. - [x] Add focused binary and validator tests for every encoding family and rejection class.
Parent: #272
Depends on: #262
Roadmap: #263, #142, #134
Implement the pinned bulk-memory binary and validator surface before enabling execution.
Acceptance: