Module script_program

Expand description

Typed SOUP instructions and expressions from the documented bytecode contract.

Structs§

Call
Condition: Conjunction joins this comparison to the next: zero ends, one AND, two OR.
Formula: Formula operators retain their byte values; evaluation is owned by the consumer.
Step: A single decoded statement, with offsets relative to its actor’s script slice.

decode_native_hook: Decode one actor’s RAHK native hook, independently of its RASC continuations. A zero RAHD hook offset means no call; nonzero offsets are relative to RAHK. The stored record uses a function index, count byte and five-byte parameters.
decode_script_program: Follows all explicit continuations from the main and optional interrupt entries. Unknown instructions remain terminal unsupported records. Malformed known encodings and branches into operands fail instead of inventing instruction boundaries.
decode_script_step: Decodes one statement without traversing branches or executing native handlers. Unsupported encodings and malformed inputs retain the actor-relative instruction.