behavior-contracts 0.2.0 → 0.2.1

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

@@ -0,0 +1,39 @@
+/**
+ * emit-straightline-typed-go.ts — Go typed 直線 emitter（bc#47 / Layer B2, 実 de-box）。
+ *
+ * typed-codegen.md §4.3/§4.4 の Go 具体化。**最初のコンパイル言語の typed emitter**であり、B2-ts で
+ * decls-only だった {@link TypedMaterializer} seam を **runtime-materialization 対応に拡張（co-design）**
+ * した上で、その拡張 hook を Go で実装する（rust #48 が同じ拡張 seam に乗る）。
+ *
+ * ── TS oracle との決定的な違い（実 de-box）───────────────────────────────────────
+ * TS は型消去のため runtime の脱box が無い（生成モジュールの runtime は straight-line と byte-identical）。
+ * **Go は違う**: `outType`/`outputType` を持つノード/component の exec 経路は、動的 `Value` /
+ * `map[string]interface{}` ではなく **outType 由来の具体 Go struct**（`T0`/`T1`/…）で値を保持する
+ * （＝Phase B 脱box の実体を Go で）。生成物の構成:
+ *
+ *   1. **straight-line 本体**（`go-straightline` と byte 同一の `run_*`）: 生の scope（`*Obj` = 動的 Value）を
+ *      組む。handler は境界注入で Value を返す mock（bc conformance では "raw" = この Value）。
+ *   2. **struct 宣言**（typed のみ）: 型プランの named obj を Go struct へ（決定的名＋hash-dedup — typed.ts 共有）。
+ *   3. **raw→typed marshaller**（§4.4）: 各 struct に `marshal_T*(Value) (T*, error)` を emit。動的 Value の
+ *      各 field を **typed に読み出して具体 struct を組む**（generic Value 走査を exec から除去する de-box）。
+ *   4. **typed view 関数**（実 exec 経路）: `typedView_<comp>(scope *Obj) (Value, error)`。straight-line が
+ *      組んだ生 scope の各 typed node を marshaller で **具体 struct へ materialize**（typed ローカル）し、
+ *      `ref` は **struct field 直参照**（map lookup でない）で辿り、output を **具体 struct/scalar/slice として
+ *      組み立て**、境界で canonical Value へ戻す（観測等価 pin）。この関数は Bind から**実際に呼ばれる**
+ *      （dead な struct 宣言ではない — AC の「手抜き禁止」）。
+ *   5. **Bind**: typed component は typedView 経路（実 de-box）、untyped component は straight-line 経路。
+ *
+ * ── 後方互換 ────────────────────────────────────────────────────────────────────
+ * `outType`/`outputType` が IR のどこにも無ければ typed 層は emit されず、出力は `go-straightline` と
+ * byte-identical（後方互換 pin）。
+ */
+import type { EmitterPlugin } from "./core.js";
+import { type TypedMaterializer } from "./typed.js";
+export declare const goTypedMaterializer: TypedMaterializer;
+/**
+ * goTypedEmitter — 言語識別子 `go-typed` の emitter plugin（bc#47 B2, 実 de-box）。
+ * go-straightline 本体（byte 同一）＋ typed 層（struct/marshaller/serializer/typedView）。
+ * `outType` 無し IR は go-straightline と byte-identical（後方互換）。
+ */
+export declare const goTypedEmitter: EmitterPlugin;
+//# sourceMappingURL=emit-straightline-typed-go.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-typed-go.d.ts","sourceRoot":"","sources":["../../src/generator/emit-straightline-typed-go.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAE5D,OAAO,EAOL,KAAK,iBAAiB,EACvB,MAAM,YAAY,CAAC;AAiPpB,eAAO,MAAM,mBAAmB,EAAE,iBAOjC,CAAC;AAwmBF;;;;GAIG;AACH,eAAO,MAAM,cAAc,EAAE,aAM5B,CAAC"}