以下では仕様について書いていきます。雑記・考察ログを見たい人は「オペコードなどについて考察する」をお読みください。専門用語の一覧は用語集に掲載されています。インタプリタで実装されている追加仕様などについてはインタプリタの追加設定一覧（暫定）を参照ください。Twitterで出た質問はTogetterにまとめてあります（part1, part2, part3）。ソースコードの例としては非再帰フィボナッチと再帰フィボナッチとquicksortと開平があります。

-1. はじめに

• 基本的に32bitのデータを扱う。整数演算は基本的にmod 4294967296で扱われる。比較演算子での「符号無し比較」は0を最低、4294967295を最高とした比較で、「符号付き比較」は両オペランドの左端ビットをそれぞれ反転させてから行う比較である。
• 各アドレスに格納されているのは8bitである。基本的に4の倍数番地にのみアクセスすることになるが、アクセスした番地が4の倍数でなくともエラーは出ない。西暦2018年8月26日仕様変更：32bitを操作する命令に関して、番地に4の倍数以外を指定したときの動作は未定義（何が起きても構わない）。
• メモリ上の配置はビッグエンディアンである。「0x1234番地に0x7ea01fe9が載っている」と言う時、実際には0x1234に0x7e、0x1235に0xa0、0x1236に0x1f、0x1237に0xe9が載っていることとする。
• 連続する空白、Tab、改行、コメントは1文字の空白として扱われる。
• ラベル名を構成できる文字は、pFftcxkqhRzmnrljwbVvdsgXiyuoea0123456789'-_である。ただし、既存のレジスタ名として利用されている名前や、全て数字のみで構成されているものは、有効なラベル名として用いることができない。
• 同一ファイル内に同一名の複数のラベルがあったら当然エラーである。
• +と@は前後に空白が入っていようがいまいが解釈は変わらない。ただし、コーディング規約としては+の前後には空白を入れず、@の前には空白を入れないのが好ましい。
• 全て数字のみで構成されているものは、10進数の整数値である。全ての整数値について、正確に4294967296で剰余を取った値として2003lkはそれを解釈する。

0. 呼び出し規約

• スタックの掃除をするのは、リターンアドレスの分も含めて呼び出し側。
• いじって良い（=呼び出しの前後で変化していても良い）レジスタは4個 (f0 ~ f3)
• 引数は前からスタックに積み、引数を積み終わった後にリターンアドレスを積む
• 戻り値は単純型ならレジスタ (f0) でやり取り
• スタックポインタであるf5は、呼び出しの際には必ず4の倍数である

1. ニーモニック一覧

細かい仕様が確定しておらずインタプリタでまだ実行できない命令についてはフォントサイズを小さくしている。

1-1. 移動命令

2018年8月27日追記：なお、厳密には、injの挙動を

1. 第二オペランドの値を一時保管する
2. 第一オペランドの値を第二オペランドに入れる
3. 一時保管した値を第三オペランドに入れる

という操作をこの順に行う行為と同等であるべし、と定義する。

早見表 (以下a, b, cはそれぞれ異なる場所を指すとする）:
inj a b c : cには旧bが、bには旧aが入る。aは変更されない。
inj a b a : aとbの値が交換される。
inj a a c : cには旧aが入る。aは変更されない。
inj a b b : どの値も変更されない。
inj a a a : どの値も変更されない。

2018年8月27日追記：なお、injのさらなる規定として、第二オペランドにレジスタ、第三オペランドにメモリを取る場合で、第三オペランドが第二オペランドで登場するレジスタを使っていた場合の動作を未定義（何が起きても構わない）とする。

1-2. 算術命令

基本的にオペランドを2つ取り、第二オペランド（書き込み可能である必要がある）に対して第一オペランドの値を用いた算術演算を行う。例えば、nta 4 f5であれば、「レジスタf5の値を読み取り、そこから4を引いた値をレジスタf5に書き込む」という意味である。'c'i擬似命令がある場合は第一オペランドと第二オペランドの役割が入れ替わる。

nacは0をdalすることと等価であり、オペランドを1つのみ取る。

latはオペランドを3つ取り、以下の動作をする。

• 'i'cの時：第二オペランド（書き込み可能である必要がある）に対して第一オペランドの値を用いた乗算を行い、上位32ビットを第三オペランド（書き込み可能である必要がある）に書き込んだ後に下位32ビットを第二オペランドに書き込む。
• 'c'iの時：第一オペランド（書き込み可能である必要がある）に対して第三オペランドの値を用いた乗算を行い、上位32ビットを第二オペランド（書き込み可能である必要がある）に書き込んだ後に下位32ビットを第一オペランドに書き込む。

2018年8月27日追記：なお、latのさらなる規定として（'i'cの時）、第三オペランドにレジスタ、第二オペランドにメモリを取る場合で、第二オペランドが第三オペランドで登場するレジスタを使っていた場合の動作を未定義（何が起きても構わない）とする。

2018年8月27日追記：シフト命令でシフトするビット数は0~63ビットまでは合法である。64ビット以上は未定義とする。

1-3. 比較命令

fiの後に値を二つ取り、その二つの大小に応じてフラグを設定する命令。'c'i擬似命令や'i'c擬似命令の影響を受けない。

1-4. 8bit/16bit移動命令

注

• krz8iの-'iやkrz8cの-'cにメモリを指定するときは、例外的に4の倍数以外の番地を用いても良い。
• krz16iの-'iやkrz16cの-'cにメモリを指定するときは、例外的に4の倍数以外の番地を用いても良い。ただし、奇数番地を指定したときの動作は未定義である。
• krz8iやkrz16iの-'iには即値やレジスタを指定することもでき、krz8cやkrz16cの-'cにはレジスタを指定することもできる。ただし、メモリを指定するのが通常の使い方である。

2. レジスタ一覧

レジスタはリパライン語でfirjalである。

3. その他の構文

• +がファイル末尾に来たり、+や@がファイルの先頭に来たりするのは構文エラーである。
• l' ラベル名の直前には命令文がなくてはならず、また直前にnllがあってはならない。一つの命令文の後ろに複数のl'を置くのは許容され、その場合両方のラベルが命令文を指す。
• nll ラベル名の直後には命令文がなくてはならず、また直後にl'があってはならない。一つの命令文の前に複数のnllを置くのは許容され、その場合両方のラベルが命令文を指す。
• 2018/5/26追記: 'c'iや'i'cはアセンブラにオペランド順を指示するだけのディレクティブである。ソースコード上に複数書くことが可能であり、適応範囲は「そこから下、終わりまでか、次にまたオペランド順が指定されるまで」である。以下の炭酸ソーダさんの解釈が正しい。

  2003lkで気になることが。
  'i'c krz 12 f0 krz 34 f1 krz 0 f2
  nll lbl ata f0 f1
  'c'i nac f2 ada f2 1
  fi f2 0 niv malkrz xx lbl
  'i'c krz lbl xx
  こんなループの場合、ataの挙動ってどうなりますかね。
  見落としてたらすみません。

  — Ritchan(りっちゃん) (@aios_ciao) 2018年3月1日

  簡単に言えば、'c'iや'i'cってソースにひとつだけ書けるのか、複数書けるのか。
  複数書けるなら適用範囲はどうなるのか。
  そこが解ってません。

  — Ritchan(りっちゃん) (@aios_ciao) 2018年3月1日

  複数書けます。適応範囲は、ソースコード上で、そこから下、終わりまでか、次にまたオペランド順が指定されるまでです。

  — 炭酸ソーダ (@na2co3_ftw) 2018年3月1日

  例の場合だとataは必ず'i'c順ですね

  — 炭酸ソーダ (@na2co3_ftw) 2018年3月1日

  わざとf2で'c'iと'i'cを交互に通るように書いてみました。
  パラメータの順序はステートメントを初回実行する時に確定するような振る舞いなんですね。

  — Ritchan(りっちゃん) (@aios_ciao) 2018年3月1日

  アセンブラにオペランド順を指示するだけのディレクティブと考えた方が分かりやすいかなと思います。

  — 炭酸ソーダ (@na2co3_ftw) 2018年3月1日

  その通りです。（たしかにそう明示的に書いておくべきだよなぁ）

  — .sozysozbot.@hsjoihs@jekto.vatimeliju (@sosoBOTpi) 2018年5月10日

• 2018/9/15追記: opcodeの32-0.に書いたように、複数のファイルが渡された場合、kueが無いファイルを先頭から実行する。つまり、kueが無いファイルはただ1つ存在する必要がある。

4. 便利なイディオム

	'c'i
	nta f5 4	; f5を持ち上げて
	krz f5@ iska	; 積む

	'c'i
	krz iska f5@	; スタックの値を代入
	ata f5 4	; f5を下げる

なお、スタックの伸長方向はアドレスの減少する向きである。

	'c'i
	krz xx f5@	; リターンアドレスに飛ぶ
	        	; スタックからリターンアドレスを削除するのは呼び出し側の仕事

	'c'i
	nta f5 4	; スタックを準備
	inj f5@ xx func	; リターンアドレスを積んで、同一命令で関数のアドレスにジャンプ
	ata f5 4	; スタックからリターンアドレスを削除する

	'c'i
	inj a b a

	'c'i
	krz f0 0
	fi * * *
	malkrz f0 1

	'i'c
	dro 24 f0
	krz8i f0 f0

左シフトして右シフトすれば符号拡張も0拡張もできるが、この方法だと即値を1つ削減できる。

	'i'c
	dro 16 f0
	krz16i f0 f0

	'i'c
	krz16c f1 f0

'c'i 
nll jiesesn   fi f0 0 niv   malkRz xx jiesesn