behavior-contracts 0.2.4 → 0.2.5

package/dist/generator/emit-straightline-go.d.ts

@@ -1,63 +1,48 @@
 /**
- * emit-straightline-go.ts — Go 直線 emitter（bc#38 / Layer A2, de-interpretation）。
+ * emit-straightline-go.ts — Go 直線 emitter（bc#38 / Layer A2 → bc#75 static-code rework）。
  *
- * typed-codegen.md §4.1 の Go 具体化。language-neutral な {@link StraightlineDialect} を
- * 実装し、component ごとに「plan を A0 の `RunPlan` primitive で直呼び・各ノードの port 評価と
- * handler 呼びを直線展開した」ネイティブ **Go** 関数を emit する。生成コードは
- * **`RunBehavior` の tree-walk（nodeKind ディスパッチ / evalPorts / 汎用 output 評価）を
- * 経由しない**（A1 と同じ骨組み）。
+ * typed-codegen.md §4.1 の Go 具体化。bc#75 で「解釈機構の転写」を排し、**本当の静的コード**を
+ * emit する（TS oracle と同じ static-wiring 解析 {@link sequentialOrder}/{@link analyzeSequentialOps}/
+ * {@link classifyExpr}/{@link isScopeFree} を消費する）:
  *
- * 式の綴じ方（A2 の眼目 = Phase B の脱解釈利得 — TS oracle と決定的に異なる点）:
- *   - **単純式はネイティブ化する（AC#2）**:
- *       - `ref` / `refOpt` → 生成モジュール内の native Go helper（`slRef` / `slRefOpt`）で
- *         `*Obj.Get` を直接歩く scope/field アクセス。`EvaluateExpression` も `Prim*` も呼ばない。
- *       - `concat`  → native Go `strings.Builder` 連結（`slConcat`。part は再帰的に native emit）。
- *     これで単純 port の式ツリー `evaluate()` 解釈が生成コードから**消える**。native helper は
- *     expr.go の意味論（`UNKNOWN_BINDING` / `NULL_REF` / `MISSING_PROP` / `TYPE_MISMATCH` /
- *     `refOpt` の null 伝播 / concat の「string 以外は TYPE_MISMATCH」/ arity>=2）を
- *     **同じ Failure code で**再現する（意味論の等価は conformance で pin）。
- *   - **overflow / 短絡系はネイティブ化しない**: `add`/`sub`/`mul`/`neg`/`div`/`mod` は
- *     INT_OVERFLOW / PRECISION_LOSS / MOD_ZERO 等の fail-closed 意味論、`and`/`or`/`cond`/
- *     `coalesce` は短絡（未評価 IR を渡して primitive 内 evaluate が短絡）を保存するため、
- *     A0 primitive SSoT（`Prim*`）を直呼びする（再実装しない）。`eq`/`ne`/比較/`obj`/`arr`/
- *     `len`/`int`/`float` も SSoT を呼ぶ（型判定・code-point 順・checked リテラルの一本化）。
- *   - 上記いずれにも当たらないむき出しスカラ（cond then/else の bare リテラル等）は `EvalExpr`
- *     （同一 SSoT）へ落とす（型判定を生成コードに残さない）。
+ *   - **逐次 plan（plan 無し / 全 stage 高々 1 op）は素の文列**として直線展開する。`RunPlan` も
+ *     `[]OpSpec` テーブルも `baseScope()` snapshot も `exec` closure も `for k := range ops { if ops[k].ID== }`
+ *     線形探索も emit しない。ノード結果は素のローカル（`r_<id>`）に住み、skip 伝播（parent 連鎖 /
+ *     bindField null-binding / continue policy）は静的に確定した分岐として展開する（Failure code /
+ *     message は plan.go interpretOutcome と byte 一致）。
+ *   - **静的形状の式はネイティブ inline**: string/bool/null リテラルは Go リテラル、静的 path の
+ *     ref/refOpt は「ローカル直読み（配線は生成時に確定）＋ field walk helper `slField`」、concat は
+ *     可変長 `slCat(...)`（評価済み値を受ける — closure も per-part func 値も無い）。
+ *   - **per-expression scope snapshot を廃止**: scope を本当に読む residual dynamic 式（ref を含む
+ *     primitive 経路）がある component だけが「進行形 scope（`scope *Obj`）」を組み、ノード完了ごとに
+ *     1 key を Set する。scope-free な primitive 式には空 scope 定数（`slEmpty()`）を渡す。
+ *   - **RunPlan primitive は実並行 plan（複数 op の stage）だけ**が使う（bounded 並行の意味論 SSoT）。
+ *     その経路も per-op exec は index で確定した switch（`for k := range ops` 線形探索は無い）。
+ *
+ * fail-closed 演算子意味論（overflow 算術・短絡 and/or/cond/coalesce・obj/arr 構築・比較・len・
+ * checked リテラル）は従来どおり A0 primitive SSoT（`Prim*`）を直呼びする（再実装しない）。
  *
  * この emitter は A1 の TS golden oracle と観測等価（値・発行 op 列・Failure）であることを
  * conformance（codegen-straightline.test.ts の Go 節）で実 Go toolchain 実行により pin する。
  */
 import type { EmitterPlugin } from "./core.js";
 import { type ComponentPlan, type StraightlineDialect } from "./straightline.js";
+export declare function setGoForceRunPlanHelpers(on: boolean): void;
 /**
- * emitExpr — Expression IR ノードを「scope を受けて (Value, error) を返す」Go 式に落とす。
- *
- * 単純式は **native Go helper** へ（脱解釈 — AC#2）、overflow/短絡系は A0 primitive SSoT へ、
- * むき出しスカラは EvalExpr（同一 SSoT）へ落とす。生成される Go 式はどれも `(Value, error)` を
- * 返すので、直線関数側は `must(<expr>)` で 1 行に畳んで scope へ束ねる。
- *   - `{ref:[...]}`    → `${PKG}.slRef(<path>, scope)`      （native scope/field walk）
- *   - `{refOpt:[...]}` → `${PKG}? no — slRefOpt`            （native, null 伝播）
- *   - `{concat:[...]}` → `slConcat([]slPart{...}, scope)`   （native strings.Builder）
- *   - overflow/短絡    → `${PKG}.PrimAdd(...)` 等            （SSoT 直呼び）
- *   - bare scalar      → `${PKG}.EvalExpr(<lit>, scope)`    （SSoT）
- * slRef/slRefOpt/slConcat は **生成モジュール内の native helper**（`EvaluateExpression`/`Prim*`
- * を呼ばない）で、pure ref/concat の生成コードには evaluate/primitive 呼びが一切現れない
- * （AC#2 の構造的 grep 証明）。
+ * emitExpr — Expression IR ノードを「scope を受けて (Value, error) を返す」Go 式に落とす
+ * （**dynamic 式専用**の legacy 経路 — RunPlan 経路と typed emitter が流用する seam）。
  */
 declare function emitExpr(node: unknown, scopeVar: string): string;
+/** component 名を Go 関数名に使える形へ（決定的。名前一意は DUPLICATE_COMPONENT で保証）。 */
+declare function sanitize(name: string): string;
 /** ops リテラル（RunPlan に渡す []OpSpec の Go リテラル）を綴じる。 */
 declare function emitOpsLiteral(plan: ComponentPlan): string;
-/** port ローカル変数名（Go 識別子として安全・一意）。宣言順に p0,p1,… を index で衝突回避。 */
+/** port ローカル変数名（Go 識別子として安全）。 */
 declare function goPortVar(name: string): string;
 /** behavior plan（{groups, concurrency}）を *ExecutionPlanSpec Go リテラルへ。 */
 declare function emitBehaviorPlanLiteral(plan: unknown): string;
-/** component 名を Go 関数名に使える形へ（決定的。名前一意は DUPLICATE_COMPONENT で保証）。 */
-declare function sanitize(name: string): string;
 /**
- * go-typed（bc#47）が struct-native exec を綴じるために再利用する内部 emit ヘルパ。straight-line の
- * plan/handler-dispatch SSoT（RunPlan + ExecHandler + native/primitive port eval）をそのまま使い、
- * 「結果を Value scope でなく struct scope に持つ」差分だけを typed 側で足すための seam。runtime 語彙
- * （PKG）と ops/plan リテラル・式 emit を共有する（意味論の二重実装を避ける）。
+ * go-typed（bc#47）が struct-native exec を綴じるために再利用する内部 emit ヘルパ。
  */
 export declare const goStraightlineInternals: {
     PKG: string;
@@ -68,10 +53,6 @@ export declare const goStraightlineInternals: {
     sanitize: typeof sanitize;
     dialect: StraightlineDialect;
 };
-/**
- * goStraightlineEmitter — 言語識別子 `"go-straightline"` の emitter plugin。
- * 既存の `go`（リテラル焼き込み・endpoint 3-literal）と併存する additive な第2モード。
- */
 export declare const goStraightlineEmitter: EmitterPlugin;
 export {};
 //# sourceMappingURL=emit-straightline-go.d.ts.map

package/dist/generator/emit-straightline-go.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"emit-straightline-go.d.ts","sourceRoot":"","sources":["../../src/generator/emit-straightline-go.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAE5D,OAAO,EAEL,KAAK,aAAa,EAElB,KAAK,mBAAmB,EACzB,MAAM,mBAAmB,CAAC;AAyD3B;;;;;;;;;;;;;;GAcG;AACH,iBAAS,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CA6BzD;AA2BD,oDAAoD;AACpD,iBAAS,cAAc,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CASnD;AAqCD,+DAA+D;AAC/D,iBAAS,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvC;AAqND,yEAAyE;AACzE,iBAAS,uBAAuB,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAMtD;AAED,oEAAoE;AACpE,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtC;AAkLD;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;CAQnC,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,qBAAqB,EAAE,aAMnC,CAAC"}
+{"version":3,"file":"emit-straightline-go.d.ts","sourceRoot":"","sources":["../../src/generator/emit-straightline-go.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAG5D,OAAO,EAQL,KAAK,aAAa,EAIlB,KAAK,mBAAmB,EACzB,MAAM,mBAAmB,CAAC;AA+B3B,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,OAAO,GAAG,IAAI,CAE1D;AA8CD;;;GAGG;AACH,iBAAS,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAuBzD;AAgHD,oEAAoE;AACpE,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtC;AAkZD,oDAAoD;AACpD,iBAAS,cAAc,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CASnD;AAmCD,iCAAiC;AACjC,iBAAS,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvC;AAgND,yEAAyE;AACzE,iBAAS,uBAAuB,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAMtD;AA0PD;;GAEG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;CAQnC,CAAC;AAMF,eAAO,MAAM,qBAAqB,EAAE,aAMnC,CAAC"}