behavior-contracts 0.8.6 → 0.8.8

package/dist/generated/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../../src/generated/program.ts"],"names":[],"mappings":"AAAA,gDAAgD;AAChD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACpC,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC;AAOjE,MAAM,UAAU,aAAa,CAC3B,QAAyB,EACzB,OAAe;IAEf,MAAM,OAAO,GAAG,IAAI,OAAO,EAAE,CAAC;IAC9B,OAAO;SACJ,IAAI,CAAC,IAAI,CAAC;SACV,OAAO,CAAC,OAAO,EAAE,eAAe,CAAC;SACjC,WAAW,CAAC,6DAA6D,CAAC,CAAC;IAG9E,OAAO;SACJ,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,kBAAkB,EAAE,4GAA4G,CAAC;SACxI,MAAM,CAAC,oBAAoB,EAAE,uDAAuD,CAAC;SACrF,MAAM,CAAC,cAAc,EAAE,oDAAoD,CAAC;SAC5E,MAAM,CAAC,yBAAyB,EAAE,8DAA8D,CAAC;SACjG,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;QAC1B,MAAM,QAAQ,CAAC,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEL,OAAO;SACJ,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,oEAAoE,CAAC;SACjF,MAAM,CAAC,kBAAkB,EAAE,iDAAiD,CAAC;SAC7E,MAAM,CAAC,oBAAoB,EAAE,uDAAuD,CAAC;SACrF,MAAM,CAAC,cAAc,EAAE,+DAA+D,CAAC;SACvF,MAAM,CAAC,yBAAyB,EAAE,8DAA8D,CAAC;SACjG,MAAM,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;QAC1B,MAAM,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,eAAe,EAAE,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAGL,4DAA4D;IAC5D,OAAO;SACJ,OAAO,CAAC,SAAS,CAAC;SAClB,WAAW,CAAC,mDAAmD,CAAC;SAChE,QAAQ,CAAC,eAAe,EAAE,2CAA2C,CAAC;SACtE,MAAM,CAAC,WAAW,EAAE,uBAAuB,EAAE,KAAK,CAAC;SACnD,MAAM,CAAC,gBAAgB,EAAE,8BAA8B,EAAE,IAAI,CAAC;SAC9D,MAAM,CAAC,uBAAuB,EAAE,+BAA+B,EAAE,MAAM,CAAC;SACxE,MAAM,CAAC,KAAK,EAAE,QAAkB,EAAE,IAA+D,EAAE,GAAY,EAAE,EAAE;QAClH,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACvC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,OAAO,EAAE,kCAAkC,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC;YACnH,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC;QACrC,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;QAExC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,8BAA8B;YAC9B,IAAI,MAAM,KAAK,MAAM,EAAE,CAAC;gBACtB,MAAM,GAAG,GAA4B,EAAE,CAAC;gBACxC,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,GAAG,CAAC,KAAK,GAAG;wBACV,MAAM,EAAE,UAAU;wBAClB,IAAI,EAAE,uBAAuB;wBAC7B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;wBACrC,WAAW,EAAE,GAAG,CAAC,aAAa,IAAI,OAAO;wBACzC,QAAQ,EAAE,CAAC,aAAa,EAAC,UAAU,CAAC;qBACrC,CAAC;gBACJ,CAAC;gBACD,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;gBACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;YAC5D,CAAC;iBAAM,CAAC;gBACN,cAAc;gBACd,MAAM,SAAS,GAAa,EAAE,CAAC;gBAC/B,SAAS,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;gBAC/B,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;gBACrC,SAAS,CAAC,IAAI,CAAC,uCAAuC,CAAC,CAAC;gBACxD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;oBACrB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACtB,SAAS,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;oBACnC,SAAS,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;oBACtD,SAAS,CAAC,IAAI,CAAC,eAAe,GAAG,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;oBAC3D,SAAS,CAAC,IAAI,CAAC,gBAAgB,GAAG,CAAC,GAAG,CAAC,aAAa,IAAI,OAAO,CAAC,CAAC,CAAC;oBAClE,SAAS,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAC5B,KAAK,MAAM,EAAE,IAAI,CAAC,aAAa,EAAC,UAAU,CAAC,EAAE,CAAC;wBAC5C,SAAS,CAAC,IAAI,CAAC,MAAM,GAAG,EAAE,CAAC,CAAC;oBAC9B,CAAC;gBACH,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBACtB,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;gBAC9B,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;YACpD,CAAC;QACH,CAAC;aAAM,CAAC;YACN,2BAA2B;YAC3B,MAAM,QAAQ,GAA4B;gBACxC,aAAa,EAAE,GAAG,CAAC,aAAa;gBAChC,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,YAAY,EAAE,EAAE;aACjB,CAAC;YACF,MAAM,GAAG,GAAG,QAAQ,CAAC,YAAuD,CAAC;YAC7E,KAAK,MAAM,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE,CAAC,EAAE,CAAC;gBACjE,MAAM,IAAI,GAAI,EAA8B,CAAC,QAA+C,CAAC;gBAC7F,IAAI,CAAC,IAAI;oBAAE,SAAS;gBACpB,MAAM,OAAO,GAA4B,EAAE,CAAC;gBAC5C,KAAK,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnD,MAAM,MAAM,GAAG,KAAK,GAAG,GAAG,GAAG,KAAK,CAAC;oBACnC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC,EAAE,GAAG,GAAG,CAAC,CAAC,EAAE,CAAC;wBACrF,OAAO,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;oBAC1B,CAAC;gBACH,CAAC;gBACD,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBACpC,MAAM,OAAO,GAAG,EAAE,GAAI,EAA8B,EAAE,CAAC;oBACvD,OAAO,CAAC,QAAQ,GAAG,OAAO,CAAC;oBAC3B,GAAG,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;gBACvB,CAAC;YACH,CAAC;YACD,IAAI,GAAG,CAAC,UAAU;gBAAE,QAAQ,CAAC,UAAU,GAAG,GAAG,CAAC,UAAU,CAAC;YACzD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC,CAAC,CAAC;IACL,OAAO,OAAO,CAAC;AACjB,CAAC"}

package/dist/generated/schemas.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=schemas.d.ts.map

package/dist/generated/schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.d.ts","sourceRoot":"","sources":["../../src/generated/schemas.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,CAAC"}

package/dist/generated/schemas.js

@@ -0,0 +1,3 @@
+// Auto-generated by cli-contracts. Do not edit.
+export {};
+//# sourceMappingURL=schemas.js.map

package/dist/generated/schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"schemas.js","sourceRoot":"","sources":["../../src/generated/schemas.ts"],"names":[],"mappings":"AAAA,gDAAgD;AAEhD,OAAO,EAAE,CAAC"}

package/dist/generated/types.d.ts

@@ -0,0 +1,35 @@
+export interface GenerateOptions {
+    lang: string;
+    in: string;
+    out?: string;
+    runtimeImport?: string;
+}
+export type GenerateExitCode = 0 | 1 | 2;
+export type GenerateExitResult = {
+    exitCode: 0;
+    stdout: unknown;
+} | {
+    exitCode: 1;
+    stderr: unknown;
+} | {
+    exitCode: 2;
+    stderr: unknown;
+};
+export interface CheckOptions {
+    lang: string;
+    in: string;
+    out: string;
+    runtimeImport?: string;
+}
+export type CheckExitCode = 0 | 1 | 2;
+export type CheckExitResult = {
+    exitCode: 0;
+    stdout: unknown;
+} | {
+    exitCode: 1;
+    stderr: unknown;
+} | {
+    exitCode: 2;
+    stderr: unknown;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/generated/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/generated/types.ts"],"names":[],"mappings":"AAEA,MAAM,WAAW,eAAe;IAC9B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,gBAAgB,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEzC,MAAM,MAAM,kBAAkB,GAC5B;IAAE,QAAQ,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC9B;IAAE,QAAQ,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAChC;IAAE,QAAQ,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC;AAErC,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,EAAE,EAAE,MAAM,CAAC;IACX,GAAG,EAAE,MAAM,CAAC;IACZ,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,aAAa,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AAEtC,MAAM,MAAM,eAAe,GACzB;IAAE,QAAQ,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAC9B;IAAE,QAAQ,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GAChC;IAAE,QAAQ,EAAE,CAAC,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,CAAC"}

package/dist/generated/types.js

@@ -0,0 +1,3 @@
+// Auto-generated by cli-contracts. Do not edit.
+export {};
+//# sourceMappingURL=types.js.map

package/dist/generated/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/generated/types.ts"],"names":[],"mappings":"AAAA,gDAAgD"}

package/dist/generator/core.d.ts

@@ -13,6 +13,24 @@ import type { ComponentGraphIR } from "../behavior.js";
 export type IoModel = "sync" | "async" | {
     readonly asyncComponents: readonly string[];
 };
+/**
+ * GoWireOptions (go-typed-native) — the CONCRETE consumer wire seam names the covered read de-box
+ * classifies a node result against. bc does NOT define the wire types (that would own the wire format)
+ * and does NOT make them interfaces (a Go interface is vtable dynamic dispatch); it REFERENCES these
+ * concrete consumer type names and calls their methods directly (zero dynamic dispatch, zero dictionary):
+ *   - `value` — the node-result WIRE type (methods `AsString/AsNumber/AsBool/AsRow/AsList`);
+ *   - `row`   — a wire map/record (methods `Keys/ProbeString/ProbeNumber/ProbeBool/ProbeRow/ProbeList`);
+ *   - `list`  — a wire array (methods `Len/ElemString/ElemNumber/ElemBool/ElemRow/ElemList`).
+ * Omitted → the IN-PACKAGE convention names `WireValue`/`WireRow`/`WireList` (the goldens + test companion
+ * provide concrete scripted implementations). `import` is the package the consumer's wire types live in
+ * (added to the covered module imports + used to qualify the names); omit for in-package types.
+ */
+export interface GoWireOptions {
+    value: string;
+    row: string;
+    list: string;
+    import?: string;
+}
 export type GeneratorFailureCode = "INPUT_NOT_PORTABLE_IR" | "UNSUPPORTED_IR_VERSION" | "UNSUPPORTED_EXPR_VERSION" | "EMPTY_IR" | "DUPLICATE_COMPONENT" | "UNKNOWN_LANGUAGE" | "UNSUPPORTED_NODE_STRAIGHTLINE";
 export declare class GeneratorFailure extends Error {
     code: GeneratorFailureCode;
@@ -47,6 +65,11 @@ export interface EmitContext {
      * go は await 概念が無く annotation を無視（no-op）。python は native codegen surface が無く対象外。
      */
     ioModel: IoModel;
+    /**
+     * go-typed-native の CONCRETE 消費者ワイヤ型名（{@link GoWireOptions}）。未指定なら in-package の
+     * 既定名 `WireValue`/`WireRow`/`WireList`。他言語 emitter（ts/py/php/rust）は無視。
+     */
+    goWire?: GoWireOptions;
 }
 /**
  * emitter ターゲット分類（consumer-interface.md §0/§1・#128/A6）。BC の実行モデルは根本 2 つ:
@@ -103,6 +126,11 @@ export interface GenerateOptions {
      * {@link IoModel} と `async-plan.ts` の SSoT 伝播 pass を参照。
      */
     ioModel?: IoModel;
+    /**
+     * go-typed-native の CONCRETE 消費者ワイヤ型名（{@link GoWireOptions}）。未指定なら in-package の
+     * 既定名 `WireValue`/`WireRow`/`WireList`。他言語 emitter は無視（no-op）。
+     */
+    goWire?: GoWireOptions;
 }
 export interface GeneratedModule {
     /** 生成言語。 */

package/dist/generator/core.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/generator/core.ts"],"names":[],"mappings":"AA4BA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEvD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAGzF,MAAM,MAAM,oBAAoB,GAC5B,uBAAuB,GACvB,wBAAwB,GACxB,0BAA0B,GAC1B,UAAU,GACV,qBAAqB,GACrB,kBAAkB,GAClB,+BAA+B,CAAC;AAEpC,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,oBAAoB,CAAC;gBACf,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM;CAKxD;AAOD,0CAA0C;AAC1C,MAAM,WAAW,WAAW;IAC1B,mCAAmC;IACnC,EAAE,EAAE,gBAAgB,CAAC;IACrB,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,YAAY,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,8BAA8B;IAC9B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,0DAA0D;IAC1D,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;;;;;;;OAWG;IACH,OAAO,EAAE,OAAO,CAAC;CAClB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,SAAS,CAAC;AAE1D,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,4CAA4C;IAC5C,QAAQ,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,cAAc,EAAE,qBAAqB,CAAC;IACtC,mCAAmC;IACnC,aAAa,EAAE,MAAM,CAAC;IACtB,oFAAoF;IACpF,oBAAoB,EAAE,MAAM,CAAC;IAC7B;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,IAAI,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,CAAC;CAChC;AAID;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAE3D;AAED,uCAAuC;AACvC,wBAAgB,mBAAmB,IAAI,MAAM,EAAE,CAE9C;AA8CD,MAAM,WAAW,eAAe;IAC9B,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,eAAe;IAC9B,YAAY;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,2BAA2B;IAC3B,YAAY,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,uCAAuC;IACvC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,GAAG,eAAe,CAiCrF"}
+{"version":3,"file":"core.d.ts","sourceRoot":"","sources":["../../src/generator/core.ts"],"names":[],"mappings":"AA6BA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAEvD;;;;;;;;;;GAUG;AACH,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG;IAAE,QAAQ,CAAC,eAAe,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAEzF;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,aAAa;IAC5B,KAAK,EAAE,MAAM,CAAC;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAGD,MAAM,MAAM,oBAAoB,GAC5B,uBAAuB,GACvB,wBAAwB,GACxB,0BAA0B,GAC1B,UAAU,GACV,qBAAqB,GACrB,kBAAkB,GAClB,+BAA+B,CAAC;AAEpC,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,oBAAoB,CAAC;gBACf,IAAI,EAAE,oBAAoB,EAAE,OAAO,EAAE,MAAM;CAKxD;AAOD,0CAA0C;AAC1C,MAAM,WAAW,WAAW;IAC1B,mCAAmC;IACnC,EAAE,EAAE,gBAAgB,CAAC;IACrB,oDAAoD;IACpD,WAAW,EAAE,MAAM,CAAC;IACpB,+CAA+C;IAC/C,YAAY,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,8BAA8B;IAC9B,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,0DAA0D;IAC1D,aAAa,EAAE,MAAM,CAAC;IACtB;;;;;;;;;;;OAWG;IACH,OAAO,EAAE,OAAO,CAAC;IACjB;;;OAGG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,qBAAqB,GAAG,SAAS,GAAG,SAAS,CAAC;AAE1D,gEAAgE;AAChE,MAAM,WAAW,aAAa;IAC5B,4CAA4C;IAC5C,QAAQ,EAAE,MAAM,CAAC;IACjB;;;OAGG;IACH,cAAc,EAAE,qBAAqB,CAAC;IACtC,mCAAmC;IACnC,aAAa,EAAE,MAAM,CAAC;IACtB,oFAAoF;IACpF,oBAAoB,EAAE,MAAM,CAAC;IAC7B;;;OAGG;IACH,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,+BAA+B;IAC/B,IAAI,CAAC,GAAG,EAAE,WAAW,GAAG,MAAM,CAAC;CAChC;AAID;;;GAGG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,aAAa,GAAG,IAAI,CAE3D;AAED,uCAAuC;AACvC,wBAAgB,mBAAmB,IAAI,MAAM,EAAE,CAE9C;AA8CD,MAAM,WAAW,eAAe;IAC9B,6DAA6D;IAC7D,QAAQ,EAAE,MAAM,CAAC;IACjB;;;;OAIG;IACH,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB;;;;;;OAMG;IACH,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;OAGG;IACH,MAAM,CAAC,EAAE,aAAa,CAAC;CACxB;AAED,MAAM,WAAW,eAAe;IAC9B,YAAY;IACZ,QAAQ,EAAE,MAAM,CAAC;IACjB,4BAA4B;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,mDAAmD;IACnD,WAAW,EAAE,MAAM,CAAC;IACpB,2BAA2B;IAC3B,YAAY,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IACrE,uCAAuC;IACvC,cAAc,EAAE,MAAM,EAAE,CAAC;IACzB,8CAA8C;IAC9C,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;;;;;;;;;;;;GAYG;AACH,wBAAgB,cAAc,CAAC,EAAE,EAAE,OAAO,EAAE,OAAO,EAAE,eAAe,GAAG,eAAe,CAsCrF"}

package/dist/generator/core.js

@@ -26,6 +26,7 @@ import { SPEC_VERSIONS } from "../index.js";
 import { assertPortableComponentGraph } from "../guard.js";
 import { fingerprintComponentGraph } from "./fingerprint.js";
 import { assertCompiled } from "../provenance.js";
+import { assertAllNodeTypesDetermined } from "../type-gate.js";
 export class GeneratorFailure extends Error {
     code;
     constructor(code, message) {
@@ -100,6 +101,11 @@ export function generateModule(ir, options) {
         gfail("UNKNOWN_LANGUAGE", `no emitter registered for language '${options.language}' (registered: ${registeredLanguages().join(", ")}) (fail-closed)`);
     assertCompiled(ir); // SA3/SA7 出自ゲート: codegen 入力も無 token/改竄 IR は NON_COMPILED_IR で fail-closed
     const validated = validateGeneratorInput(ir);
+    // SA5 / SCP-only end-state: 全ノードの出力型が確定していること（未確定は fail-closed UNTYPED_NODE）を
+    // codegen 入口で強制する。authoring path（authoring.ts）と同一の SSoT ゲートを消費する（型 walk を
+    // 重複させない）。untyped straight-line フォールバックは存在しない — 型未確定 IR は compile-time エラー。
+    for (const comp of validated.components)
+        assertAllNodeTypesDetermined(comp);
     const fingerprint = fingerprintComponentGraph(validated);
     const specVersions = {
         behavior: SPEC_VERSIONS.behavior,
@@ -114,6 +120,7 @@ export function generateModule(ir, options) {
         componentNames,
         runtimeImport: options.runtimeImport ?? plugin.defaultRuntimeImport,
         ioModel: options.ioModel ?? "sync",
+        goWire: options.goWire,
     };
     return {
         language: plugin.language,

package/dist/generator/core.js.map

@@ -1 +1 @@
-{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/generator/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AA0BlD,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAuB;IAC3B,YAAY,IAA0B,EAAE,OAAe;QACrD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,SAAS,KAAK,CAAC,IAA0B,EAAE,OAAe;IACxD,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AA+DD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;AAElD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,MAAqB;IACnD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,mBAAmB;IACjC,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,uEAAuE;AACvE;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,EAAW;IACzC,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5D,KAAK,CACH,uBAAuB,EACvB,qKAAqK,CACtK,CAAC;IACJ,MAAM,GAAG,GAAG,EAA6B,CAAC;IAC1C,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;QAC7D,KAAK,CACH,uBAAuB,EACvB,kNAAkN,CACnN,CAAC;IACJ,IAAI,GAAG,CAAC,SAAS,KAAK,CAAC;QACrB,KAAK,CAAC,wBAAwB,EAAE,aAAa,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,gDAAgD,CAAC,CAAC;IACtH,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;IACpC,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC;QACtF,KAAK,CAAC,uBAAuB,EAAE,+CAA+C,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;IACrH,IAAI,WAAW,GAAG,aAAa,CAAC,UAAU;QACxC,KAAK,CACH,0BAA0B,EAC1B,eAAe,WAAW,yCAAyC,aAAa,CAAC,UAAU,gBAAgB,CAC5G,CAAC;IAEJ,qEAAqE;IACrE,4BAA4B,CAAC,EAAE,CAAC,CAAC;IAEjC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAqC,CAAC;IAC7D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,UAAU,EAAE,0DAA0D,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAClB,KAAK,CAAC,qBAAqB,EAAE,mBAAmB,CAAC,CAAC,IAAI,qEAAqE,CAAC,CAAC;QAC/H,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,EAAsB,CAAC;AAChC,CAAC;AAqCD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,EAAW,EAAE,OAAwB;IAClE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM;QACT,KAAK,CACH,kBAAkB,EAClB,uCAAuC,OAAO,CAAC,QAAQ,kBAAkB,mBAAmB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAC3H,CAAC;IAEJ,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,0EAA0E;IAC9F,MAAM,SAAS,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG;QACnB,QAAQ,EAAE,aAAa,CAAC,QAAQ;QAChC,UAAU,EAAE,aAAa,CAAC,UAAU;QACpC,IAAI,EAAE,aAAa,CAAC,IAAI;KACzB,CAAC;IACF,MAAM,cAAc,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAgB;QACvB,EAAE,EAAE,SAAS;QACb,WAAW;QACX,YAAY;QACZ,cAAc;QACd,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,MAAM,CAAC,oBAAoB;QACnE,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,MAAM;KACnC,CAAC;IACF,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;QACtB,WAAW;QACX,YAAY;QACZ,cAAc;QACd,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,sBAAsB,MAAM,CAAC,aAAa,EAAE;KAClF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"core.js","sourceRoot":"","sources":["../../src/generator/core.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,4BAA4B,EAAE,MAAM,aAAa,CAAC;AAC3D,OAAO,EAAE,yBAAyB,EAAE,MAAM,kBAAkB,CAAC;AAC7D,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,4BAA4B,EAAE,MAAM,iBAAiB,CAAC;AA6C/D,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAuB;IAC3B,YAAY,IAA0B,EAAE,OAAe;QACrD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,SAAS,KAAK,CAAC,IAA0B,EAAE,OAAe;IACxD,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;AAC5C,CAAC;AAoED,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAyB,CAAC;AAElD;;;GAGG;AACH,MAAM,UAAU,eAAe,CAAC,MAAqB;IACnD,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;AACxC,CAAC;AAED,uCAAuC;AACvC,MAAM,UAAU,mBAAmB;IACjC,OAAO,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;AACrC,CAAC;AAED,uEAAuE;AACvE;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,EAAW;IACzC,IAAI,EAAE,KAAK,IAAI,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;QAC5D,KAAK,CACH,uBAAuB,EACvB,qKAAqK,CACtK,CAAC;IACJ,MAAM,GAAG,GAAG,EAA6B,CAAC;IAC1C,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,GAAG,CAAC,UAAU,KAAK,SAAS;QAC7D,KAAK,CACH,uBAAuB,EACvB,kNAAkN,CACnN,CAAC;IACJ,IAAI,GAAG,CAAC,SAAS,KAAK,CAAC;QACrB,KAAK,CAAC,wBAAwB,EAAE,aAAa,MAAM,CAAC,GAAG,CAAC,SAAS,CAAC,gDAAgD,CAAC,CAAC;IACtH,MAAM,WAAW,GAAG,GAAG,CAAC,WAAW,CAAC;IACpC,IAAI,OAAO,WAAW,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,WAAW,CAAC,IAAI,WAAW,GAAG,CAAC;QACtF,KAAK,CAAC,uBAAuB,EAAE,+CAA+C,MAAM,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC;IACrH,IAAI,WAAW,GAAG,aAAa,CAAC,UAAU;QACxC,KAAK,CACH,0BAA0B,EAC1B,eAAe,WAAW,yCAAyC,aAAa,CAAC,UAAU,gBAAgB,CAC5G,CAAC;IAEJ,qEAAqE;IACrE,4BAA4B,CAAC,EAAE,CAAC,CAAC;IAEjC,MAAM,UAAU,GAAG,GAAG,CAAC,UAAqC,CAAC;IAC7D,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,KAAK,CAAC,UAAU,EAAE,0DAA0D,CAAC,CAAC;IAC3G,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC;YAClB,KAAK,CAAC,qBAAqB,EAAE,mBAAmB,CAAC,CAAC,IAAI,qEAAqE,CAAC,CAAC;QAC/H,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACnB,CAAC;IACD,OAAO,EAAsB,CAAC;AAChC,CAAC;AA0CD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,cAAc,CAAC,EAAW,EAAE,OAAwB;IAClE,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC9C,IAAI,CAAC,MAAM;QACT,KAAK,CACH,kBAAkB,EAClB,uCAAuC,OAAO,CAAC,QAAQ,kBAAkB,mBAAmB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAC3H,CAAC;IAEJ,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC,0EAA0E;IAC9F,MAAM,SAAS,GAAG,sBAAsB,CAAC,EAAE,CAAC,CAAC;IAC7C,8EAA8E;IAC9E,0EAA0E;IAC1E,4EAA4E;IAC5E,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,UAAU;QAAE,4BAA4B,CAAC,IAAI,CAAC,CAAC;IAC5E,MAAM,WAAW,GAAG,yBAAyB,CAAC,SAAS,CAAC,CAAC;IACzD,MAAM,YAAY,GAAG;QACnB,QAAQ,EAAE,aAAa,CAAC,QAAQ;QAChC,UAAU,EAAE,aAAa,CAAC,UAAU;QACpC,IAAI,EAAE,aAAa,CAAC,IAAI;KACzB,CAAC;IACF,MAAM,cAAc,GAAG,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IAC/D,MAAM,GAAG,GAAgB;QACvB,EAAE,EAAE,SAAS;QACb,WAAW;QACX,YAAY;QACZ,cAAc;QACd,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,MAAM,CAAC,oBAAoB;QACnE,OAAO,EAAE,OAAO,CAAC,OAAO,IAAI,MAAM;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;KACvB,CAAC;IACF,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;QACtB,WAAW;QACX,YAAY;QACZ,cAAc;QACd,YAAY,EAAE,MAAM,CAAC,YAAY,IAAI,sBAAsB,MAAM,CAAC,aAAa,EAAE;KAClF,CAAC;AACJ,CAAC"}

package/dist/generator/emit-shared-debox.d.ts

@@ -0,0 +1,108 @@
+/**
+ * emit-shared-debox.ts — the SINGLE, language-neutral source of truth for compiling a strict de-box
+ * from an SCP-resolved type.
+ *
+ * WHY THIS FILE EXISTS
+ * --------------------
+ * A strict de-box turns a producer's wire payload into the STATICALLY DECLARED native type, checking
+ * every value against that type and producing a structured Error Value on a mismatch. SCP resolves the
+ * whole type at parse time — every annotation point is a finite, ACYCLIC `TypeRef` tree (a named type
+ * can never contain itself; see typed.ts `structuralKey`, "型記法は非再帰"). Because the type is fully
+ * known at generation time, the de-box is a TOTAL function of the resolved type: for every position
+ * (node-result top, list element, map value, record field, any nesting) a decode can always be
+ * generated — scalar → probe + type-check, opt → present/absent, named → recurse each field, arr →
+ * recurse each element, map → recurse each value. There is NO shape that "cannot be de-boxed": the only
+ * legitimate non-generation is a type SCP could not resolve, and that fails at type resolution, never
+ * here.
+ *
+ * Historically the decision "which shapes de-box, and how" was scattered across per-POSITION predicates
+ * (a `recordTop` for node results, a `…ElemEligible` for map/fanout elements, a nested-value recursion,
+ * and a fail-close gate) DUPLICATED per language. They disagreed by construction (a top handled
+ * `opt(named)` while an element did not), so every new shape had to be added to all of them and a miss
+ * silently fell through to a fail-close — the recurring "de-box was missing here". This module removes
+ * that surface: {@link buildDeBoxPlan} is the ONE total walk over the grammar, producing a
+ * language-neutral {@link DeBoxPlan} tree. Each language emitter renders that tree to FLAT, INLINE,
+ * CONCRETE native code (no per-type helper function, no output-side recursion, no dynamic dispatch, no
+ * dictionary) — the type is baked all the way through by the TS compiler, not deferred to the target
+ * compiler's monomorphizer/inliner or to a runtime interface. The walk here owns STRUCTURE and
+ * totality; the renderers own only SYNTAX.
+ */
+import { type TypePlan, type TypeRef } from "./typed.js";
+/** The four concrete scalar kinds a de-box leaf checks (the grammar's `null` scalar is handled
+ * separately — it is not a decodable datum but a producer-null marker). */
+export type DeBoxScalar = "string" | "int" | "float" | "bool";
+/**
+ * Access — HOW a plan node's wire value is obtained from its enclosing wire. This is the only thing a
+ * renderer needs to pick the right probe; the value's TYPE is carried by the plan node's kind.
+ *   - `top`     the value IS the node's result wire (a {@link WireValue}); probe it with `as_*`.
+ *   - `field`   a static-keyed attribute of the enclosing WireRow; probe with `probe_*(key)`.
+ *   - `elem`    the current element of the enclosing WireList; probe with `elem_*(index)`.
+ *   - `mapval`  the value at the current key of the enclosing WireRow (a declared `map(V)`); probe with
+ *               `probe_*(key)` where the key is the loop variable the renderer supplies.
+ */
+export type DeBoxAccess = {
+    from: "top";
+} | {
+    from: "field";
+    key: string;
+} | {
+    from: "elem";
+} | {
+    from: "mapval";
+};
+/** Common fields every plan node carries: the error labels (scp-error.md `model` / `field`), the
+ * STATICALLY rendered expected type (Portable Type Notation — nothing walks a type at runtime), the
+ * access, and `optDepth` (0 = required; N = wrapped in N optional layers — absent/null → the all-none
+ * value, so a required-position miss is a structured error while an optional-position miss is None). */
+interface DeBoxCommon {
+    optDepth: number;
+    access: DeBoxAccess;
+    /** scp-error.md `model` — the declaring type name at this position (the enclosing named type, or the
+     * node/field label for a top-level or collection position). */
+    model: string;
+    /** scp-error.md `field` — the raw field label carried into the structured error. */
+    field: string;
+    /** the rendered Portable Type Notation of the ORIGINAL ref at this position (opt() included) —
+     * the `expectedType` literal baked into a mismatch error. */
+    expectedType: string;
+}
+/** DeBoxPlan — a node in the language-neutral decode plan tree. Every SCP-resolved type maps to exactly
+ * one of these (the walk is total); a renderer folds the tree into inline native code. */
+export type DeBoxPlan = ({
+    k: "scalar";
+    scalar: DeBoxScalar;
+} & DeBoxCommon) | ({
+    k: "record";
+    typeName: string;
+    fields: {
+        name: string;
+        plan: DeBoxPlan;
+    }[];
+} & DeBoxCommon) | ({
+    k: "list";
+    elem: DeBoxPlan;
+} & DeBoxCommon) | ({
+    k: "map";
+    value: DeBoxPlan;
+} & DeBoxCommon);
+/**
+ * notationOfRef — the Portable Type Notation of a TypeRef (scp-error.md), resolving a named ref to its
+ * `obj{…}` notation via the plan. Baked as the `expectedType` literal: a rendering of the STATICALLY
+ * declared type, so nothing walks a type at runtime. Language-neutral (shared by every emitter).
+ */
+export declare function notationOfRef(ref: TypeRef, plan: TypePlan): string;
+/**
+ * buildDeBoxPlan — the ONE total walk. Given an SCP-resolved `ref` at a position reached via `access`,
+ * return the decode plan for a value of that type. Recurses over the FULL grammar at every nesting so
+ * arbitrary shapes (opt(named), arr(arr(named)), map(opt(named)), …) are covered by construction — there
+ * is no per-shape allow-list and no fail-close. `ctx.model` / `ctx.field` are the error labels inherited
+ * at this position (a named type re-roots them to its own name / field names for its fields; a
+ * collection keeps the enclosing labels, matching the whole-field granularity of the Error Value).
+ */
+export declare function buildDeBoxPlan(ref: TypeRef, access: DeBoxAccess, ctx: {
+    model: string;
+    field: string;
+    plan: TypePlan;
+}): DeBoxPlan;
+export {};
+//# sourceMappingURL=emit-shared-debox.d.ts.map

package/dist/generator/emit-shared-debox.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-shared-debox.d.ts","sourceRoot":"","sources":["../../src/generator/emit-shared-debox.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAGH,OAAO,EAAY,KAAK,QAAQ,EAAE,KAAK,OAAO,EAAE,MAAM,YAAY,CAAC;AAEnE;2EAC2E;AAC3E,MAAM,MAAM,WAAW,GAAG,QAAQ,GAAG,KAAK,GAAG,OAAO,GAAG,MAAM,CAAC;AAE9D;;;;;;;;GAQG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,IAAI,EAAE,KAAK,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,MAAM,CAAA;CAAE,GAAG;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEnH;;;wGAGwG;AACxG,UAAU,WAAW;IACnB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,WAAW,CAAC;IACpB;mEAC+D;IAC/D,KAAK,EAAE,MAAM,CAAC;IACd,oFAAoF;IACpF,KAAK,EAAE,MAAM,CAAC;IACd;iEAC6D;IAC7D,YAAY,EAAE,MAAM,CAAC;CACtB;AAED;0FAC0F;AAC1F,MAAM,MAAM,SAAS,GACjB,CAAC;IAAE,CAAC,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GAAG,WAAW,CAAC,GACpD,CAAC;IAAE,CAAC,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,MAAM,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,SAAS,CAAA;KAAE,EAAE,CAAA;CAAE,GAAG,WAAW,CAAC,GAC9F,CAAC;IAAE,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG,WAAW,CAAC,GAC9C,CAAC;IAAE,CAAC,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAAG,WAAW,CAAC,CAAC;AAEnD;;;;GAIG;AACH,wBAAgB,aAAa,CAAC,GAAG,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,GAAG,MAAM,CAgBlE;AAYD;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,GAAG,EAAE;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,SAAS,CA2ClI"}

package/dist/generator/emit-shared-debox.js

@@ -0,0 +1,117 @@
+/**
+ * emit-shared-debox.ts — the SINGLE, language-neutral source of truth for compiling a strict de-box
+ * from an SCP-resolved type.
+ *
+ * WHY THIS FILE EXISTS
+ * --------------------
+ * A strict de-box turns a producer's wire payload into the STATICALLY DECLARED native type, checking
+ * every value against that type and producing a structured Error Value on a mismatch. SCP resolves the
+ * whole type at parse time — every annotation point is a finite, ACYCLIC `TypeRef` tree (a named type
+ * can never contain itself; see typed.ts `structuralKey`, "型記法は非再帰"). Because the type is fully
+ * known at generation time, the de-box is a TOTAL function of the resolved type: for every position
+ * (node-result top, list element, map value, record field, any nesting) a decode can always be
+ * generated — scalar → probe + type-check, opt → present/absent, named → recurse each field, arr →
+ * recurse each element, map → recurse each value. There is NO shape that "cannot be de-boxed": the only
+ * legitimate non-generation is a type SCP could not resolve, and that fails at type resolution, never
+ * here.
+ *
+ * Historically the decision "which shapes de-box, and how" was scattered across per-POSITION predicates
+ * (a `recordTop` for node results, a `…ElemEligible` for map/fanout elements, a nested-value recursion,
+ * and a fail-close gate) DUPLICATED per language. They disagreed by construction (a top handled
+ * `opt(named)` while an element did not), so every new shape had to be added to all of them and a miss
+ * silently fell through to a fail-close — the recurring "de-box was missing here". This module removes
+ * that surface: {@link buildDeBoxPlan} is the ONE total walk over the grammar, producing a
+ * language-neutral {@link DeBoxPlan} tree. Each language emitter renders that tree to FLAT, INLINE,
+ * CONCRETE native code (no per-type helper function, no output-side recursion, no dynamic dispatch, no
+ * dictionary) — the type is baked all the way through by the TS compiler, not deferred to the target
+ * compiler's monomorphizer/inliner or to a runtime interface. The walk here owns STRUCTURE and
+ * totality; the renderers own only SYNTAX.
+ */
+import { GeneratorFailure } from "./core.js";
+import { findDecl } from "./typed.js";
+/**
+ * notationOfRef — the Portable Type Notation of a TypeRef (scp-error.md), resolving a named ref to its
+ * `obj{…}` notation via the plan. Baked as the `expectedType` literal: a rendering of the STATICALLY
+ * declared type, so nothing walks a type at runtime. Language-neutral (shared by every emitter).
+ */
+export function notationOfRef(ref, plan) {
+    switch (ref.kind) {
+        case "scalar":
+            return ref.scalar;
+        case "opt":
+            return `opt(${notationOfRef(ref.inner, plan)})`;
+        case "arr":
+            return `arr(${notationOfRef(ref.elem, plan)})`;
+        case "map":
+            return `map(${notationOfRef(ref.value, plan)})`;
+        case "named": {
+            const decl = findDecl(plan, ref.name);
+            if (decl === undefined)
+                return ref.name;
+            return `obj{${decl.fields.map((f) => `${f.name}:${notationOfRef(f.type, plan)}`).join(",")}}`;
+        }
+    }
+}
+/** deBoxUnsupported — raise a generation-time (compile-time) failure for a type the de-box cannot bake.
+ * This is NEVER a runtime fail-close branch in the generated code: an unsupported/unresolvable type is a
+ * codegen error, surfaced here, exactly as the owner requires. In practice this is unreachable for a
+ * well-formed type plan (buildTypePlan covers every annotation point and the grammar is finite/acyclic);
+ * the one degenerate leaf it guards is a bare `null` scalar as a decode target, which no producer datum
+ * satisfies. */
+function deBoxUnsupported(message) {
+    throw new GeneratorFailure("UNSUPPORTED_NODE_STRAIGHTLINE", message);
+}
+/**
+ * buildDeBoxPlan — the ONE total walk. Given an SCP-resolved `ref` at a position reached via `access`,
+ * return the decode plan for a value of that type. Recurses over the FULL grammar at every nesting so
+ * arbitrary shapes (opt(named), arr(arr(named)), map(opt(named)), …) are covered by construction — there
+ * is no per-shape allow-list and no fail-close. `ctx.model` / `ctx.field` are the error labels inherited
+ * at this position (a named type re-roots them to its own name / field names for its fields; a
+ * collection keeps the enclosing labels, matching the whole-field granularity of the Error Value).
+ */
+export function buildDeBoxPlan(ref, access, ctx) {
+    const { plan } = ctx;
+    const expectedType = notationOfRef(ref, plan);
+    // Strip optional layers, counting depth; the presence logic is single-bit at the wire (a nested
+    // Option is still decoded present → Some(Some(v)) / absent → None), but the native type keeps N wraps.
+    let optDepth = 0;
+    let base = ref;
+    while (base.kind === "opt") {
+        optDepth++;
+        base = base.inner;
+    }
+    const common = { optDepth, access, model: ctx.model, field: ctx.field, expectedType };
+    switch (base.kind) {
+        case "scalar": {
+            if (base.scalar === "null")
+                // a bare `null` type is not a decodable datum (no producer value is "the null type"); it only
+                // ever appears as an optional marker, which the optDepth path above already absorbed. Reaching
+                // here means a required bare-null field — degenerate; surface it rather than emit dead code.
+                deBoxUnsupported(`de-box: '${ctx.field}' of '${ctx.model}' is a bare 'null' type, which no producer datum satisfies`);
+            return { k: "scalar", scalar: base.scalar, ...common };
+        }
+        case "named": {
+            const decl = findDecl(plan, base.name);
+            if (decl === undefined)
+                deBoxUnsupported(`de-box: named type '${base.name}' is not in the type plan`);
+            const fields = decl.fields.map((f) => ({
+                name: f.name,
+                plan: buildDeBoxPlan(f.type, { from: "field", key: f.name }, { model: base.name, field: f.name, plan }),
+            }));
+            return { k: "record", typeName: base.name, fields, ...common };
+        }
+        case "arr": {
+            const elem = buildDeBoxPlan(base.elem, { from: "elem" }, { model: ctx.model, field: ctx.field, plan });
+            return { k: "list", elem, ...common };
+        }
+        case "map": {
+            const value = buildDeBoxPlan(base.value, { from: "mapval" }, { model: ctx.model, field: ctx.field, plan });
+            return { k: "map", value, ...common };
+        }
+        default:
+            // unreachable: the while-loop above strips every `opt`, so `base.kind` is scalar/named/arr/map.
+            // The throw keeps the return checker happy without a non-total cast.
+            deBoxUnsupported(`de-box: unexpected residual kind '${base.kind}'`);
+    }
+}
+//# sourceMappingURL=emit-shared-debox.js.map

package/dist/generator/emit-shared-debox.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-shared-debox.js","sourceRoot":"","sources":["../../src/generator/emit-shared-debox.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AAEH,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,QAAQ,EAA+B,MAAM,YAAY,CAAC;AA0CnE;;;;GAIG;AACH,MAAM,UAAU,aAAa,CAAC,GAAY,EAAE,IAAc;IACxD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,MAAM,CAAC;QACpB,KAAK,KAAK;YACR,OAAO,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;QAClD,KAAK,KAAK;YACR,OAAO,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;QACjD,KAAK,KAAK;YACR,OAAO,OAAO,aAAa,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC;QAClD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,GAAG,CAAC,IAAI,CAAC;YACxC,OAAO,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;QAChG,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;;gBAKgB;AAChB,SAAS,gBAAgB,CAAC,OAAe;IACvC,MAAM,IAAI,gBAAgB,CAAC,+BAA+B,EAAE,OAAO,CAAC,CAAC;AACvE,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,GAAY,EAAE,MAAmB,EAAE,GAAqD;IACrH,MAAM,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC;IACrB,MAAM,YAAY,GAAG,aAAa,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC9C,gGAAgG;IAChG,uGAAuG;IACvG,IAAI,QAAQ,GAAG,CAAC,CAAC;IACjB,IAAI,IAAI,GAAG,GAAG,CAAC;IACf,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC3B,QAAQ,EAAE,CAAC;QACX,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC;IACpB,CAAC;IACD,MAAM,MAAM,GAAG,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,YAAY,EAAE,CAAC;IACtF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,IAAI,CAAC,MAAM,KAAK,MAAM;gBACxB,8FAA8F;gBAC9F,+FAA+F;gBAC/F,6FAA6F;gBAC7F,gBAAgB,CAAC,YAAY,GAAG,CAAC,KAAK,SAAS,GAAG,CAAC,KAAK,4DAA4D,CAAC,CAAC;YACxH,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;QACzD,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;YACvC,IAAI,IAAI,KAAK,SAAS;gBAAE,gBAAgB,CAAC,uBAAuB,IAAI,CAAC,IAAI,2BAA2B,CAAC,CAAC;YACtG,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBACrC,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,IAAI,EAAE,cAAc,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC;aACxG,CAAC,CAAC,CAAC;YACJ,OAAO,EAAE,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;QACjE,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YACvG,OAAO,EAAE,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,MAAM,EAAE,CAAC;QACxC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC3G,OAAO,EAAE,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,MAAM,EAAE,CAAC;QACxC,CAAC;QACD;YACE,gGAAgG;YAChG,qEAAqE;YACrE,gBAAgB,CAAC,qCAAsC,IAAgB,CAAC,IAAI,GAAG,CAAC,CAAC;IACrF,CAAC;AACH,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"emit-typed-native-go.d.ts","sourceRoot":"","sources":["../../src/generator/emit-typed-native-go.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AA4lG5D;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,CAmmBhF;AAqCD;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,aAOlC,CAAC"}
+{"version":3,"file":"emit-typed-native-go.d.ts","sourceRoot":"","sources":["../../src/generator/emit-typed-native-go.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4CG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAukF5D;;;;;;;GAOG;AACH,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,OAAO,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,CA8ehF;AAED;;;;;GAKG;AACH,eAAO,MAAM,oBAAoB,EAAE,aAOlC,CAAC"}