DSL 4.0ランタイム変数 TurboWarp連携リファレンス

Runtime controller

controllerのsnapshotには、次の状態があります。

snapshot外にもeventのsequence、内部runId、event trace、quiesce要求、各種cancel／skip lockがあります。 これらは実行の整合性を保つための値であり、TurboWarp作品が依存するとlive reloadやschedulerの変更を妨げるため非公開とします。

Pose feedback

ポーズ状態eventはphase、target、pose、stepIndex、confidence、progressを持ちます。現在公開されているのは 後ろ2つを百分率にした値だけです。

Navigation、application shell、診断surface

rc.8の非表示statusReporterはapplication shellの状態を返し、controllerの物語statusとは意味が異なります。 既存reporterをそのまま表示すると同じ「runtime status」に2種類の意味が混在するため、公開時は名前とopcodeを分けます。

値の寿命

• 新しいstoryを開始すると、物語変数はそのstoryの宣言値または明示した開始値へ初期化します。
• scene／actionは実行位置がないとき空文字／0へ戻し、前回のstoryの値を残しません。
• ポーズのcompleted/cancelledと対象／名前／stepは、次のpose actionまたは新しいstory startまで保持します。1 tickだけの値にはせず、 TurboWarp scriptが確実に観測できるようにします。
• 最終診断は同じstory runの間だけ保持し、新しいstartで空にします。stopだけでは検証用に保持します。
• dispose後はstatusをstopped、その他を「値がない場合」の値へ戻します。

rc.8で式から参照できる現在の値

4.0.0-rc.8のcontrollerは、branch actionを開始したときのトップレベルvariables:を不変snapshotにして Runtime Expressionへ渡します。ASCIIのbare nameとして書ける名前はscore >= 10のように参照し、それ以外の名前は vars["救助回数"] >= 2のように完全一致で参照できます。

現在の式環境に自動では入らないものは次のとおりです。

• Stage変数ポーズ認識とチャージ
• TurboWarpのStage／sprite変数
• Temporary Variablesが所有するruntime variable
• controllerのstatus、scene、action、diagnostic、pose eventなどのシステム状態

したがって、rc.8では「台本variables:は式で参照できるが、TurboWarp blockからは直接参照できない」という非対称が あります。公開読取／書込blockはこの台本変数と同じcontroller snapshotへ接続します。

予約済みruntime[...]namespace

システム状態は台本変数へ平坦に混ぜません。Runtime Expressionでは、string literalだけを受理する読取専用の runtime["KEY"]構文を使います。一般のproperty access、計算したkey、object traversal、関数呼出しは許可しません。

例として、TurboWarp側で型付き書込を受け付けたscoreと、直前のポーズ結果を同時に使えます。

branches:
  result:
    - if: 'score >= 10 && runtime["pose.phase"] == "completed"'
      goto: success
    - else: retry

last runtime error codeとlast runtime error story pathは、runtimeがfailedになった後の診断用reporterです。 失敗後は次のbranch式を実行しないため、式namespaceには入れません。条件付き公開のapplication statusやhistory移動可否も、 式評価時の意味と決定性が定まるまでは追加しません。

snapshotと評価順

一回のbranch選択では、最初のruleを評価する前に次の値を一つの不変snapshotへ固定し、elseを含む全ruleで共有します。

1. 直前のaction境界までにcommitした台本variables:
2. 同じ境界で確定した公開runtime状態
3. 次のpose actionまたはstory startまで保持している直前のpose終端状態

ruleごとにStage変数やTemporary Variablesを読み直してはいけません。TurboWarp scriptからの台本変数書込は、前節の 型付きqueueがaction境界でcommitされた場合にだけ次のbranch snapshotへ入ります。branch評価中に到着した書込は、 現在の選択結果を変えず、次のaction境界以降から見えるようにします。

未知のruntime keyはstable code K4-EXPRESSION-RUNTIME-UNKNOWNで式評価を安全停止します。namespaceに渡せる値は string、finite number、booleanだけとし、null、object、array、例外、handleは渡しません。

Feature flag

• dsl4TurboWarpStateSurface: 読取reporter／Boolean block。既定OFF。
• dsl4TurboWarpStoryVariableWrite: 台本変数の書込block。既定OFFで、上の読取flagへ依存。
• dsl4ExpressionRuntimeState: runtime["KEY"]式namespace。既定OFFで、読取flagへ依存。

実装と有効化の単位

1. controller／pose eventから不変snapshotを作るadapterとunit testを実装しています。
2. 読取blockをdsl4TurboWarpStateSurfaceの内側に実装し、未実行値と再start／disposeをtestしています。
3. host／preview／live reloadの委譲を実装し、cancel、stop、式評価、世代切替を検証しています。
4. 同じsnapshot resolverを使う式namespaceをdsl4ExpressionRuntimeStateの内側に実装しています。
5. 書込queueと型検証をdsl4TurboWarpStoryVariableWriteの内側に実装しています。
6. broadcastMessageAndWaitとのcommit順、複数書込、branch snapshot、cancel／generation変更を回帰testしています。
7. Standard配布物で各flagをONにする判断は、release noteと公開fixtureを揃えた別の変更として行います。

問題が見つかった場合は起動時固定の該当flagをOFFにします。既定OFFの間は、現行の125 blockと2つのStage変数に 変更がありません。実装差分をrevertせず従来surfaceへ戻せ、書込だけをOFFにして読取を残すこともできます。

実装受け入れ基準

• reporterがcontrollerの不変snapshotだけを読み、Stage変数を作成・改名・更新しない
• 未実行、running、paused、failed、finished、stopped、再start、disposeの戻り値が上表どおりである
• story変数のprimitive型を保持し、未宣言と空文字をBoolean blockで区別できる
• 同じbranch選択の全ruleが同一snapshotを使い、reporterと式namespaceの型・値が一致する
• 生の例外、backing、camera、cache、traceを返さない
• 書込は型一致、action境界commit、cancel／generation変更時破棄を満たす
• flag OFFで現行のblock数、opcode、Stage変数、SB3互換性が変わらない