Source Structure

The root file is conventionally named main.rif. It may declare target-wide objects in any order; the processor registers configuration, linker settings, defines, and supports before resolving tables and Rules.

Comments and Newlines

; This is a RIF comment.
@define mov ; comments can follow a declaration

Newlines are significant inside Rule bodies. There is no indentation grammar for Rules, so these two forms have the same structural meaning:

@rule mov:
-> IDENT
-> emmit 1

Root-Only Declarations

The root scope may contain @config, @linker, @table, @stack, @SUPPORTS, @ASMVARIANT, @define, @rule, and @LOAD.

Included files loaded with @LOAD may contain only @define, @table, @rule, and more @LOAD directives. Variant files loaded through @ASMVARIANT may contain only @define and @rule.

This scope rule prevents a loaded file from silently replacing the target's memory layout or linker policy.

Definitions

@define registers a named language word:

@define mov
@define add

Definitions are labels in the RIF language. They do not allocate stack slots, emit bits, or create runtime values.

Rules

Rules are named instruction procedures:

@rule mov:
-> IDENT
-> put 0000 0000

An external MIR line beginning with mov dispatches to this Rule. The Rule consumes tokens, emits fields, calls other Rules, and updates runtime state.

Stack Declaration

The token stack is declared once:

@stack 50

It supports save and load for token-oriented control flow. It is separate from the runtime datastack, which stores temporary values.