Assembler Contract

Default ABI:	bedrock-elf

Strict Mode

• Pure ISA syntax is accepted.

• Ambiguous symbolic operands require an explicit relocation annotation.

• Noncanonical encodings are rejected.

Relaxation

• Branch and call payload widths may be selected automatically when the target is known.

• Address materialization may shrink from 64-bit to 32-bit, 16-bit, or 8-bit payloads when the relocation result fits.

• Overlong encodings are emitted only when explicitly requested.