Petitverse

かなり丁寧に（というかきちんと）構文（字句）解析することにしたんですかね？　そうじゃなければGOSUBはインデントの必要はないので検出しなくてもいけそうな気もするし…。
先人のプログラムがあると言うことでしたが、それは参考にされてる感じですか？　僕は見てないので、それがどんなプログラムかはわからないのですが…。

ページ戻りが出来るやつというのは、必ず前のページ（画面）に戻ってくる場合の処理って感じですかね？
戻るというのが明確であればGOSUBは戻ってくると言うのがわかりやすいところはありますが、ただページ（画面）のように完全に切り替わるようなものの場合、GOTOでも良いような気がすることはあります。後はそもそもとしてGOTOは使わない（DEFなどの命令や関数を使う）という方針もあります。まあDEFはイメージ的にはGOSUBに近いですが…。
どちらにするかは好みもありますね。僕の場合はGOTOをあまり使わないのでDEFになる事が多いですが…。

あとはGOSUB（やDEF）の場合の注意点としては、飛び先から戻ってきたときに、その飛び先にもメインループがある場合などでボタン入力処理などがあると、飛ぶ前と戻ってきたときでボタンの状態が変わっていたりする事があるので、その辺をきちんと対応していないと想定外のボタン処理が入っちゃったりすることですかね〜。これはDIALOG命令でも似たような事がある場合もありますが…。
（DIALOGのOK（Aボタン）が戻ってきた先のボタン処理（Aボタン）と同じでDIALOG閉じた後、押したつもりがないのに押したことになるなど）

何かでんぺんさんの文章って違和感あるなって思ってたんですけど
推量を断定に、逆に断定を推量にした方が意味がすんなり通じるんじゃないんです？
あと、あまさとさんのコメントをわざわざ引用するなら
あまさとさんが気付いていない部分を補足するような内容じゃないと。
ラベル文字列を検出した時に備えて、GOSUBやDEFが検出された時はラベルチェック用のフラグを
また逆の場合も想定してGOSUBやDEFのチェック用フラグを相互に用意して
フラグが立っている間の行番号を配列か変数に保存しておいて
インデントを入れる条件を満たした時に一括で処理するとか。

もっと力抜いてかもめかもめカチンカチン