Petitverse

DEF内にGOSUB入れる場合は
GOSUB "0:@1"
みたいにスロットから入れなければならなかったはず(記憶違いだったらすみません)

サブルーチンのほうのRETURNにも戻り値を書けばいいようですね
その戻り値自体は特に意味がないみたいです

たぶん、仕様の穴なのかも知れません

3号/BIGでは、DEF内のGOSUBは通常、行ったきりになります(GOTOと同様)。戻り値なしのDEFでもエラーにならなかっただけで、期待通りの動作にはなっていないと思います。スロット番号付きのラベル(0:@LABEL等)にすると戻ってくるようですが、ラベルはグローバル(DEF外)じゃないとダメだったと思います。
それでもDEF内でGOSUBみたいなことがしたい場合、例えば下記のようにするとか。
DEF HOGE(A)
VAR R$
R$="@A":GOTO @1:@A
RETURN 値

@1
GOTO R$
END

プチコン4ではDEF内でも普通にGOSUBできるようになってるみたいですね。

読解力がなくてすみません。

試しに後ろのRETURNの後にも値を入れてみたらいけました(ただしこの値は反映されない)

試してないので恐縮ですが、「DEF HOGE(A)」の次の行に「A=1」と入れてみてください

戻り値なしDEF、ちゃんとGOSUBできてるっぽいですね。以前いろいろ試したときはダメだったはずなんだけど、いつの間にか更新されてたのかな。
戻り値ありDEFでも、sayさん、☆Tatsukin★さんのおっしゃるようにGOSUBのRETURNにもダミーで値を書いとけば、ちゃんと動いてるっぽい。

但し、今回の単純なケースだけたまたま上手く行ってるだけかも、という心配はある。

＞ヘルプには確かにDEF内ではGOSUBできないと
普通に使う場合では普通に使える感じですが、変に使う場合は挙動がおかしく（流れが把握しにくく）なるので、
それだったら、元から「できない」と注意してるのかも知れませんね

プライベートなサブルーチンだと思うと、全く使えないってーのも惜しい様な感じがします
「行ったら帰る」という普通の使い方さえしてれば、特に問題ないんですし
「行きっぱなし」だと、かなり悩まされます　←これが先の「変な使い方」

ちなみに、変な使い方の具体例なんですが
1:VAR A
2:FOO
3:DEF FOO
4: GOSUB @1
5: @1
6: A=A+1
7:END
こんな感じ
一見、GOSUB @1のスタックを残したまんま、FOOから抜ける様に見えますが、実際はGOSUB @1のスタックを消費してからFOOを抜けます
☆どうやらDEFのENDはRETURNの意味合いがあるみたいです

流れは以下の通り
1→2（→3→4→5→6→7※→5→6→7）
※ここでのENDはGOSUB @1のRETURNとして機能し、４行目の次に戻る
６行目を２回通るので、A=2になる

そもそもDEFの中にサブルーチンを置く様なプログラムだと、設計から見直した方がいいのでは？
DEFのメリットって使う変数をローカル扱い出来て、使ったメモリも処理終了時に自動解放されることですし。
メインルーチン＞サブルーチン＞DEF
みたいな構成がベストかと。

表題の処理ってつまりこういうことでしょう？
DEF HOGE1(A)
　RETURN HOGE2()
END
DEF HOGE2()
　RETURN 値
END

スコープも知らないのに、よく「設計から見直し」なんて言えるもんだ
スコープを知ってりゃ、そんな駄コード出せるワケがない
それにGOSUBの返り値？をHOGEの返り値にするとはどこにも書いてない

「設計から見直し」した場合、少なくともこうなる
DEF HOGE(A)
　FOO 使う変数 OUT 変化する変数
　RETURN 値
END
DEF FOO 使う変数 OUT 変化する変数
　処理
END