SpaceWASM: NASA/JPL's Wasm interpreter for spacecraft sequencing

SpaceWASM 是 NASA/JPL 面向 spacecraft on-board execution 的 WASM 1.0 interpreter，目标不是通用 runtime，而是 flight-compliant、安全关键环境中的解释执行。它由 decoder/validator 与 interpreter 两部分组成：decoder 可以分块读取 WASM binary，在固定内存下验证并转成更适合解释的 IR；interpreter 则操作 linear memory 并通过 embedding hooks 接入外部函数。README 还给出严格资源约束，例如 store 中 module 最大 256、host module 最大 256、函数参数最大 255 个 32-bit words、每函数 local variables 总数最大 65,535，并强调 deterministic memory usage 与 streaming decode。