behavior-contracts 0.8.0 → 0.8.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/dist/authoring.d.ts +3 -0
- package/dist/authoring.d.ts.map +1 -1
- package/dist/authoring.js +7 -0
- package/dist/authoring.js.map +1 -1
- package/dist/behavior.d.ts +15 -0
- package/dist/behavior.d.ts.map +1 -1
- package/dist/behavior.js +26 -0
- package/dist/behavior.js.map +1 -1
- package/dist/expr-operator-types.d.ts.map +1 -1
- package/dist/expr-operator-types.js +2 -0
- package/dist/expr-operator-types.js.map +1 -1
- package/dist/generator/emit-shared-go-typed.d.ts.map +1 -1
- package/dist/generator/emit-shared-go-typed.js +130 -4
- package/dist/generator/emit-shared-go-typed.js.map +1 -1
- package/dist/generator/emit-shared-rust-typed.d.ts.map +1 -1
- package/dist/generator/emit-shared-rust-typed.js +49 -1
- package/dist/generator/emit-shared-rust-typed.js.map +1 -1
- package/dist/generator/emit-shared-typescript-typed.d.ts +83 -0
- package/dist/generator/emit-shared-typescript-typed.d.ts.map +1 -0
- package/dist/generator/emit-shared-typescript-typed.js +259 -0
- package/dist/generator/emit-shared-typescript-typed.js.map +1 -0
- package/dist/generator/emit-shared-typescript.d.ts.map +1 -1
- package/dist/generator/emit-shared-typescript.js +88 -0
- package/dist/generator/emit-shared-typescript.js.map +1 -1
- package/dist/generator/emit-straightline-typed-typescript.d.ts.map +1 -1
- package/dist/generator/emit-straightline-typed-typescript.js +2 -0
- package/dist/generator/emit-straightline-typed-typescript.js.map +1 -1
- package/dist/generator/emit-typed-native-go.d.ts.map +1 -1
- package/dist/generator/emit-typed-native-go.js +250 -26
- package/dist/generator/emit-typed-native-go.js.map +1 -1
- package/dist/generator/emit-typed-native-rust.d.ts.map +1 -1
- package/dist/generator/emit-typed-native-rust.js +244 -25
- package/dist/generator/emit-typed-native-rust.js.map +1 -1
- package/dist/generator/emit-typescript-native.d.ts +56 -0
- package/dist/generator/emit-typescript-native.d.ts.map +1 -0
- package/dist/generator/emit-typescript-native.js +44 -0
- package/dist/generator/emit-typescript-native.js.map +1 -0
- package/dist/generator/index.d.ts +2 -0
- package/dist/generator/index.d.ts.map +1 -1
- package/dist/generator/index.js +6 -0
- package/dist/generator/index.js.map +1 -1
- package/dist/generator/native-expr.d.ts +17 -0
- package/dist/generator/native-expr.d.ts.map +1 -1
- package/dist/generator/native-expr.js +82 -2
- package/dist/generator/native-expr.js.map +1 -1
- package/dist/generator/straightline.d.ts +22 -1
- package/dist/generator/straightline.d.ts.map +1 -1
- package/dist/generator/straightline.js +25 -7
- package/dist/generator/straightline.js.map +1 -1
- package/dist/generator/typed.d.ts +5 -0
- package/dist/generator/typed.d.ts.map +1 -1
- package/dist/generator/typed.js +8 -0
- package/dist/generator/typed.js.map +1 -1
- package/dist/guard.d.ts +2 -1
- package/dist/guard.d.ts.map +1 -1
- package/dist/guard.js +6 -5
- package/dist/guard.js.map +1 -1
- package/dist/type-gate.d.ts +1 -1
- package/dist/type-gate.d.ts.map +1 -1
- package/dist/type-gate.js +45 -24
- package/dist/type-gate.js.map +1 -1
- package/package.json +1 -1
package/dist/guard.d.ts
CHANGED
|
@@ -42,7 +42,8 @@ export declare const PORTABLE_SCALAR_TYPES: ReadonlySet<string>;
|
|
|
42
42
|
* 型注記フィールド（body ノード `outType` / Component `outputType` / catalog `elemType`）に
|
|
43
43
|
* 使う。閉集合:
|
|
44
44
|
* - スカラ: 5 種の文字列リテラル（PORTABLE_SCALAR_TYPES）のみ。
|
|
45
|
-
* - `{opt: T}` / `{arr: T}`: 単一キー object・値は型 T（再帰）。
|
|
45
|
+
* - `{opt: T}` / `{arr: T}` / `{map: T}`: 単一キー object・値は型 T（再帰）。
|
|
46
|
+
* （`{map:T}` は string キー・同種値型のマップ = `{arr:T}` の map 版）
|
|
46
47
|
* - `{obj: {field: T, …}}`: 単一キー object・値は field→型の object（`__proto__` キー禁止）。
|
|
47
48
|
*
|
|
48
49
|
* @throws {PortabilityError} 閉集合外の型記法を検出したとき（fail-closed）。
|
package/dist/guard.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,MAAM,CAAC;gBACD,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK1C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAa/D;AAED;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAKtD,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAEpD,CAAC;AAEH
|
|
1
|
+
{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,MAAM,CAAC;gBACD,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK1C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAa/D;AAED;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAKtD,CAAC;AAEH;;;;;GAKG;AACH,eAAO,MAAM,qBAAqB,EAAE,WAAW,CAAC,MAAM,CAEpD,CAAC;AAEH;;;;;;;;;;GAUG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CA+C5E;AAED;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAQ1E"}
|
package/dist/guard.js
CHANGED
|
@@ -66,7 +66,8 @@ export const PORTABLE_SCALAR_TYPES = /* @__PURE__ */ new Set([
|
|
|
66
66
|
* 型注記フィールド（body ノード `outType` / Component `outputType` / catalog `elemType`）に
|
|
67
67
|
* 使う。閉集合:
|
|
68
68
|
* - スカラ: 5 種の文字列リテラル（PORTABLE_SCALAR_TYPES）のみ。
|
|
69
|
-
* - `{opt: T}` / `{arr: T}`: 単一キー object・値は型 T（再帰）。
|
|
69
|
+
* - `{opt: T}` / `{arr: T}` / `{map: T}`: 単一キー object・値は型 T（再帰）。
|
|
70
|
+
* （`{map:T}` は string キー・同種値型のマップ = `{arr:T}` の map 版）
|
|
70
71
|
* - `{obj: {field: T, …}}`: 単一キー object・値は field→型の object（`__proto__` キー禁止）。
|
|
71
72
|
*
|
|
72
73
|
* @throws {PortabilityError} 閉集合外の型記法を検出したとき（fail-closed）。
|
|
@@ -78,13 +79,13 @@ export function assertPortableTypeNotation(node, path) {
|
|
|
78
79
|
return;
|
|
79
80
|
}
|
|
80
81
|
if (node === null || typeof node !== "object" || Array.isArray(node))
|
|
81
|
-
throw new PortabilityError(path, `Portability Guard: type notation must be a scalar-type string or a single-key {opt|arr|obj} object (fail-closed) at ${path}`);
|
|
82
|
+
throw new PortabilityError(path, `Portability Guard: type notation must be a scalar-type string or a single-key {opt|arr|map|obj} object (fail-closed) at ${path}`);
|
|
82
83
|
const keys = Object.keys(node);
|
|
83
84
|
if (keys.length !== 1)
|
|
84
|
-
throw new PortabilityError(path, `Portability Guard: compound type must be a single-key object (opt|arr|obj), got ${keys.length} keys (fail-closed) at ${path}`);
|
|
85
|
+
throw new PortabilityError(path, `Portability Guard: compound type must be a single-key object (opt|arr|map|obj), got ${keys.length} keys (fail-closed) at ${path}`);
|
|
85
86
|
const kind = keys[0];
|
|
86
87
|
const arg = node[kind];
|
|
87
|
-
if (kind === "opt" || kind === "arr") {
|
|
88
|
+
if (kind === "opt" || kind === "arr" || kind === "map") {
|
|
88
89
|
assertPortableTypeNotation(arg, `${path}.${kind}`);
|
|
89
90
|
return;
|
|
90
91
|
}
|
|
@@ -99,7 +100,7 @@ export function assertPortableTypeNotation(node, path) {
|
|
|
99
100
|
}
|
|
100
101
|
return;
|
|
101
102
|
}
|
|
102
|
-
throw new PortabilityError(path, `Portability Guard: unknown compound type kind '${kind}' — portable type notation allows only opt/arr/obj (fail-closed) at ${path}`);
|
|
103
|
+
throw new PortabilityError(path, `Portability Guard: unknown compound type kind '${kind}' — portable type notation allows only opt/arr/map/obj (fail-closed) at ${path}`);
|
|
103
104
|
}
|
|
104
105
|
/**
|
|
105
106
|
* assertPortableComponentGraph — component-graph IR（scp-ir-architecture.md §5）の
|
package/dist/guard.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"guard.js","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEtD,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAS;IACb,YAAY,IAAY,EAAE,OAAe;QACvC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc,EAAE,IAAI,GAAG,GAAG;IACvD,IAAI,OAAO,KAAK,KAAK,UAAU;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,2DAA2D,IAAI,GAAG,CAAC,CAAC;IACvG,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY,OAAO;QACnD,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,sBAAsB,KAAK,CAAC,WAAW,CAAC,IAAI,+BAA+B,IAAI,GAAG,CACnF,CAAC;IACJ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAwB,eAAe,CAAC,IAAI,GAAG,CAAC;IAClF,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK;IAC7C,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACxC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IAC5C,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK;CAC9C,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB,eAAe,CAAC,IAAI,GAAG,CAAC;IAChF,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;CACzC,CAAC,CAAC;AAEH
|
|
1
|
+
{"version":3,"file":"guard.js","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,oBAAoB,EAAE,MAAM,gBAAgB,CAAC;AAEtD,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAS;IACb,YAAY,IAAY,EAAE,OAAe;QACvC,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc,CAAC,KAAc,EAAE,IAAI,GAAG,GAAG;IACvD,IAAI,OAAO,KAAK,KAAK,UAAU;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,2DAA2D,IAAI,GAAG,CAAC,CAAC;IACvG,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,YAAY,OAAO;QACnD,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,sBAAsB,KAAK,CAAC,WAAW,CAAC,IAAI,+BAA+B,IAAI,GAAG,CACnF,CAAC;IACJ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC;SAAM,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;YAAE,cAAc,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;IAChF,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAwB,eAAe,CAAC,IAAI,GAAG,CAAC;IAClF,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK;IAC7C,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACxC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IAC5C,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,KAAK;CAC9C,CAAC,CAAC;AAEH;;;;;GAKG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAwB,eAAe,CAAC,IAAI,GAAG,CAAC;IAChF,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM;CACzC,CAAC,CAAC;AAEH;;;;;;;;;;GAUG;AACH,MAAM,UAAU,0BAA0B,CAAC,IAAa,EAAE,IAAY;IACpE,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC;YAClC,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,2CAA2C,IAAI,0CAA0C,CAAC,GAAG,qBAAqB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,qBAAqB,IAAI,EAAE,CACzJ,CAAC;QACJ,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAClE,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,2HAA2H,IAAI,EAAE,CAClI,CAAC;IACJ,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QACnB,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,uFAAuF,IAAI,CAAC,MAAM,0BAA0B,IAAI,EAAE,CACnI,CAAC;IACJ,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,GAAG,GAAI,IAAgC,CAAC,IAAI,CAAC,CAAC;IACpD,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACvD,0BAA0B,CAAC,GAAG,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;QACnD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,KAAK,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;YACvD,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,MAAM,EACb,mFAAmF,IAAI,MAAM,CAC9F,CAAC;QACJ,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;YACpE,0EAA0E;YAC1E,IAAI,CAAC,KAAK,oBAAoB;gBAC5B,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,MAAM,EACb,uCAAuC,oBAAoB,mCAAmC,IAAI,MAAM,CACzG,CAAC;YACJ,0BAA0B,CAAC,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;QACpD,CAAC;QACD,OAAO;IACT,CAAC;IACD,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,kDAAkD,IAAI,2EAA2E,IAAI,EAAE,CACxI,CAAC;AACJ,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,4BAA4B,CAAC,EAAW,EAAE,IAAI,GAAG,GAAG;IAClE,cAAc,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,iCAAiC;IAC3D,IAAI,CAAC,EAAE,IAAI,OAAO,EAAE,KAAK,QAAQ;QAC/B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,oDAAoD,IAAI,GAAG,CAAC,CAAC;IAChG,MAAM,IAAI,GAAG,EAA8B,CAAC;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC;QACjC,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,aAAa,EAAE,mDAAmD,CAAC,CAAC;IACxG,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,uBAAuB,CAAC,CAAC,EAAE,GAAG,IAAI,eAAe,EAAE,GAAG,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,uBAAuB,CAAC,CAAU,EAAE,IAAY;IACvD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,sDAAsD,IAAI,GAAG,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,CAA+E,CAAC;IAC7F,IAAI,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ;QAC/B,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,OAAO,EAAE,oDAAoD,CAAC,CAAC;IACnG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3B,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,OAAO,EAAE,oDAAoD,CAAC,CAAC;IACnG,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,sBAAsB,CAAC,CAAC,EAAE,GAAG,IAAI,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC;IAC/E,kBAAkB,CAAC,IAAI,CAAC,MAAM,EAAE,GAAG,IAAI,SAAS,CAAC,CAAC;IAClD,iEAAiE;IACjE,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;QAAE,0BAA0B,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,IAAI,aAAa,CAAC,CAAC;IACrG,oFAAoF;IACpF,iEAAiE;IACjE,MAAM,EAAE,GAAG,CAA6B,CAAC;IACzC,IAAI,EAAE,CAAC,UAAU,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,OAAO,EAAE,CAAC,UAAU,KAAK,QAAQ,IAAI,EAAE,CAAC,UAAU,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,UAAU,CAAC;YAC7F,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,aAAa,EAAE,uDAAuD,IAAI,cAAc,CAAC,CAAC;QAC9H,KAAK,MAAM,CAAC,CAAC,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,UAAqC,CAAC,EAAE,CAAC;YACnF,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,UAAU,IAAK,MAAiB,EAAE,CAAC;gBACtF,MAAM,EAAE,GAAI,MAAiC,CAAC,QAAQ,CAAC;gBACvD,IAAI,EAAE,KAAK,SAAS;oBAAE,0BAA0B,CAAC,EAAE,EAAE,GAAG,IAAI,eAAe,CAAC,WAAW,CAAC,CAAC;YAC3F,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAU,EAAE,IAAY;IACtD,IAAI,CAAC,CAAC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAC7B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,sDAAsD,IAAI,GAAG,CAAC,CAAC;IAClG,MAAM,IAAI,GAAG,CAA4B,CAAC;IAC1C,IAAI,KAAK,IAAI,IAAI,EAAE,CAAC;QAClB,MAAM,CAAC,GAAG,IAAI,CAAC,GAA8B,CAAC;QAC9C,sBAAsB,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG,IAAI,gBAAgB,CAAC,CAAC;QAC7D,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QAC/C,mBAAmB,CAAC,CAAC,CAAC,KAAK,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QAClD,uFAAuF;QACvF,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS;YAAE,kBAAkB,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,IAAI,WAAW,CAAC,CAAC;QACzE,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ;YACpD,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,WAAW,EAClB,sDAAsD,IAAI,YAAY,CACvE,CAAC;QACJ,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,OAAO,KAAK,SAAS;YAC3D,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,cAAc,EACrB,sDAAsD,IAAI,eAAe,CAC1E,CAAC;IACN,CAAC;SAAM,IAAI,QAAQ,IAAI,IAAI,EAAE,CAAC;QAC5B,gGAAgG;QAChG,uFAAuF;QACvF,kEAAkE;QAClE,MAAM,EAAE,GAAG,IAAI,CAAC,MAAiC,CAAC;QAClD,sBAAsB,CAAC,EAAE,CAAC,SAAS,EAAE,GAAG,IAAI,mBAAmB,CAAC,CAAC;QACjE,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,cAAc,CAAC,CAAC;QACnD,mBAAmB,CAAC,EAAE,CAAC,KAAK,EAAE,GAAG,IAAI,eAAe,CAAC,CAAC;QACtD,IAAI,OAAO,EAAE,CAAC,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,EAAE,KAAK,EAAE;YAC3C,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,YAAY,EACnB,iFAAiF,IAAI,aAAa,CACnG,CAAC;QACJ,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ,IAAI,EAAE,CAAC,SAAS,KAAK,EAAE;YACzD,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,mBAAmB,EAC1B,wEAAwE,IAAI,oBAAoB,CACjG,CAAC;QACJ,IAAI,EAAE,CAAC,IAAI,KAAK,UAAU,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM;YAC9C,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,cAAc,EACrB,kFAAkF,IAAI,cAAc,CACrG,CAAC;QACJ,IAAI,EAAE,CAAC,cAAc,KAAK,SAAS,IAAI,OAAO,EAAE,CAAC,cAAc,KAAK,QAAQ;YAC1E,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,wBAAwB,EAC/B,6EAA6E,IAAI,yBAAyB,CAC3G,CAAC;QACJ,IAAI,EAAE,CAAC,YAAY,KAAK,YAAY;YAClC,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,sBAAsB,EAC7B,kFAAkF,IAAI,sBAAsB,CAC7G,CAAC;IACN,CAAC;SAAM,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,IAA+B,CAAC;QAChD,kBAAkB,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;QAC7C,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QACjD,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;IACnD,CAAC;SAAM,IAAI,WAAW,IAAI,IAAI,EAAE,CAAC;QAC/B,sBAAsB,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,IAAI,YAAY,CAAC,CAAC;QAC5D,mBAAmB,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,QAAQ,CAAC,CAAC;IACnD,CAAC;SAAM,CAAC;QACN,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,mFAAmF,IAAI,EAAE,CAAC,CAAC;IAC9H,CAAC;IACD,iEAAiE;IACjE,kDAAkD;IAClD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;QAAE,0BAA0B,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,UAAU,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,sBAAsB,CAAC,CAAU,EAAE,IAAY;IACtD,IAAI,OAAO,CAAC,KAAK,QAAQ;QACvB,MAAM,IAAI,gBAAgB,CACxB,IAAI,EACJ,0EAA0E,OAAO,CAAC,QAAQ,IAAI,GAAG,CAClG,CAAC;AACN,CAAC;AAED,SAAS,mBAAmB,CAAC,KAAc,EAAE,IAAY;IACvD,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAC7D,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,kDAAkD,IAAI,GAAG,CAAC,CAAC;IAC9F,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;QACnE,kBAAkB,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,SAAS,kBAAkB,CAAC,IAAa,EAAE,IAAY;IACrD,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,SAAS,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;QACpG,OAAO;IACT,IAAI,OAAO,IAAI,KAAK,UAAU;QAC5B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,2DAA2D,IAAI,GAAG,CAAC,CAAC;IACvG,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QAC/D,OAAO;IACT,CAAC;IACD,IAAI,OAAO,IAAI,KAAK,QAAQ;QAC1B,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,iDAAiD,IAAI,EAAE,CAAC,CAAC;IAC5F,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAc,CAAC,CAAC;IACzC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACnB,IAAI,CAAC,uBAAuB,CAAC,GAAG,CAAC,EAAE,CAAC;YAClC,MAAM,IAAI,gBAAgB,CAAC,IAAI,EAAE,wCAAwC,EAAE,sBAAsB,IAAI,EAAE,CAAC,CAAC;QAC3G,kEAAkE;QAClE,0DAA0D;QAC1D,oDAAoD;QACpD,IAAI,EAAE,KAAK,KAAK,EAAE,CAAC;YACjB,MAAM,GAAG,GAAI,IAAgC,CAAC,EAAE,CAAC,CAAC;YAClD,IAAI,CAAC,GAAG,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBACvD,MAAM,IAAI,gBAAgB,CAAC,GAAG,IAAI,MAAM,EAAE,uDAAuD,IAAI,OAAO,CAAC,CAAC;YAChH,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;gBACpE,0EAA0E;gBAC1E,mEAAmE;gBACnE,+DAA+D;gBAC/D,IAAI,CAAC,KAAK,oBAAoB;oBAC5B,MAAM,IAAI,gBAAgB,CACxB,GAAG,IAAI,MAAM,EACb,kCAAkC,oBAAoB,mCAAmC,IAAI,MAAM,CACpG,CAAC;gBACJ,kBAAkB,CAAC,CAAC,EAAE,GAAG,IAAI,QAAQ,CAAC,EAAE,CAAC,CAAC;YAC5C,CAAC;YACD,OAAO;QACT,CAAC;QACD,yBAAyB;QACzB,kBAAkB,CAAE,IAAgC,CAAC,EAAE,CAAC,EAAE,GAAG,IAAI,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3E,OAAO;IACT,CAAC;IACD,4CAA4C;IAC5C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAA+B,CAAC;QAClE,kBAAkB,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;AAC1C,CAAC"}
|
package/dist/type-gate.d.ts
CHANGED
|
@@ -35,7 +35,7 @@
|
|
|
35
35
|
* **既に compile 済みの artifact** で `compileBehaviors` を通らないため、このゲートは適用しない
|
|
36
36
|
* （conformance vector の再ペイントを避ける — #128/A6 スコープ）。
|
|
37
37
|
*/
|
|
38
|
-
import type
|
|
38
|
+
import { type Component, type PortableType } from "./behavior.js";
|
|
39
39
|
/**
|
|
40
40
|
* UntypedNodeError — 型未確定ノード/フィールドを検出したときの fail-closed 失敗（SA5・0.8.0 end-state）。
|
|
41
41
|
* offending なノード id / メソッド / フィールドを message で名指す。
|
package/dist/type-gate.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"type-gate.d.ts","sourceRoot":"","sources":["../src/type-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,KAAK,
|
|
1
|
+
{"version":3,"file":"type-gate.d.ts","sourceRoot":"","sources":["../src/type-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,EAAiB,KAAK,SAAS,EAAE,KAAK,YAAY,EAAmB,MAAM,eAAe,CAAC;AAOlG;;;GAGG;AACH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,cAAc,CAAC;gBACT,OAAO,EAAE,MAAM;CAK5B;AAyJD;;;;GAIG;AACH,wBAAgB,gBAAgB,CAAC,CAAC,EAAE,YAAY,GAAG,YAAY,CAQ9D;AAID;;;;;;;;GAQG;AACH,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,SAAS,GAAG,YAAY,CA2B1E"}
|
package/dist/type-gate.js
CHANGED
|
@@ -1,3 +1,41 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* type-gate.ts — 全ノード型確定ゲート（`UNTYPED_NODE` — SA5・scp-only-authoring-contract §4.4, #125）。
|
|
3
|
+
*
|
|
4
|
+
* `compileBehaviors` の終端で、**全 body ノードの出力型**と **`output`（Φ 合成）の全フィールド型**が
|
|
5
|
+
* 一意に確定していることを網羅検査する（未確定が一つでもあれば fail-closed で `UNTYPED_NODE`）。
|
|
6
|
+
* これが typed-native（go/rust）codegen が端まで型付きフラット（boxed `Value` へ落ちない）である
|
|
7
|
+
* ことを保証する構造条件（consumer-interface.md §2.3 / bc#77 `isFullyTyped` と同一基準）。
|
|
8
|
+
*
|
|
9
|
+
* ## 「確定（determined）」の定義（BC は推論しない — consumer-interface.md C3）
|
|
10
|
+
*
|
|
11
|
+
* ゲートは型を **導出（infer）しない**。既に consumer が確定させた型が **PRESENT かつ resolvable** で
|
|
12
|
+
* あることを検査する（proposal §4.4「BC が強制するのは『確定していること』であって『型を導出すること』
|
|
13
|
+
* ではない」）:
|
|
14
|
+
*
|
|
15
|
+
* - **body ノード**: 各ノード（componentRef / map / cond / fanout）が resolvable な `outType` を持つ。
|
|
16
|
+
* base 型は leaf の catalog `elemType`（A1 の `defineLeaf` 由来。`recordComponentCall` が `.as` 未指定時に
|
|
17
|
+
* ノードへ焼く）から、projection/合成点は `.as<T>()`（A1）で上書き確定させる。どちらも無い（`outType`
|
|
18
|
+
* 欠落）ノードは `UNTYPED_NODE`。
|
|
19
|
+
* - **`output`（Φ 合成）**: object 合成の**全フィールド**が確定型へ resolvable であること。フィールドの
|
|
20
|
+
* 多くは body ノード結果参照（`{ref:[nodeId, …path]}`）で、確定済み `outType` を path で辿って解決する
|
|
21
|
+
* （＝既に確定した型の構造的伝播であって推論ではない）。解決できないフィールドは `UNTYPED_NODE`。
|
|
22
|
+
*
|
|
23
|
+
* ## `outputType` の合成（構造伝播 + 宣言 operator シグネチャの適用・非推論）
|
|
24
|
+
*
|
|
25
|
+
* ゲートは検査と同時に、確定済みノード型から `output` 式を辿って component の `outputType` を組み立てる
|
|
26
|
+
* （compile 産 IR を「全ノード + component が型付き」= `isFullyTyped` にし、native codegen の入力に
|
|
27
|
+
* できる状態にする）。これは新しい型を推論するのではなく、consumer が確定させた型（`.as`/catalog）と、
|
|
28
|
+
* **operator 語彙レベルで明示宣言された型シグネチャ**（`expr-operator-types.ts` の SSoT）を `output` の
|
|
29
|
+
* 配線どおりに合成するだけ。operator の結果型を `resolveExprType` に ad-hoc な per-operator 分岐で
|
|
30
|
+
* 埋め込むのではなく、`operatorSignature` / `resolveOperatorResult` で **宣言テーブルを読む**——これが
|
|
31
|
+
* consumer-interface.md §2.1 C3「BC は明示注記を読むだけ・推論しない」との整合（operator シグネチャが
|
|
32
|
+
* 語彙レベルの明示注記であり、結果型はその決定的な適用）。owner 決定（#125/A3）で規範確定。
|
|
33
|
+
*
|
|
34
|
+
* gate は `compileBehaviors` にのみ置く。`loadCompiledIR`（境界 loader・A2）が受ける生 JSON は
|
|
35
|
+
* **既に compile 済みの artifact** で `compileBehaviors` を通らないため、このゲートは適用しない
|
|
36
|
+
* （conformance vector の再ペイントを避ける — #128/A6 スコープ）。
|
|
37
|
+
*/
|
|
38
|
+
import { isControlGate } from "./behavior.js";
|
|
1
39
|
import { cmpCodePoints } from "./expr-eval.js";
|
|
2
40
|
// operator I/O 型の唯一の宣言源（SSoT）。resolveExprType は value-operator の結果型をここから**読む**
|
|
3
41
|
// （ad-hoc な per-operator 分岐を持たない — consumer-interface.md §2.1 C3・#125/A3）。
|
|
@@ -50,7 +88,8 @@ function portableTypeOfInputPort(schema) {
|
|
|
50
88
|
* descend — 確定型 `t` に `field` を 1 段降りた型を返す（解決不能なら undefined）。
|
|
51
89
|
* - `{obj:{…}}`: 当該 field の型。無い field は解決不能。
|
|
52
90
|
* - `{opt:U}`: 内側 U を降りて `{opt: …}` で包み直す（optional chain 相当）。
|
|
53
|
-
* scalar / arr へのフィールドアクセスは解決不能（arr は index
|
|
91
|
+
* scalar / arr / map へのフィールドアクセスは解決不能（arr は index、map は動的キーで
|
|
92
|
+
* static field 参照されない — {obj} だけが静的キー field を持つ）。
|
|
54
93
|
*/
|
|
55
94
|
function descend(t, field) {
|
|
56
95
|
if (typeof t === "string")
|
|
@@ -61,7 +100,7 @@ function descend(t, field) {
|
|
|
61
100
|
const inner = descend(t.opt, field);
|
|
62
101
|
return inner === undefined ? undefined : { opt: inner };
|
|
63
102
|
}
|
|
64
|
-
return undefined; // arr
|
|
103
|
+
return undefined; // arr / map（動的キー・非 static-field）
|
|
65
104
|
}
|
|
66
105
|
// ── Expression IR → 確定 PortableType（解決できなければ undefined）─────────────────────
|
|
67
106
|
/**
|
|
@@ -189,6 +228,8 @@ export function canonicalizeType(t) {
|
|
|
189
228
|
return { opt: canonicalizeType(t.opt) };
|
|
190
229
|
if ("arr" in t)
|
|
191
230
|
return { arr: canonicalizeType(t.arr) };
|
|
231
|
+
if ("map" in t)
|
|
232
|
+
return { map: canonicalizeType(t.map) };
|
|
192
233
|
const obj = {};
|
|
193
234
|
for (const k of Object.keys(t.obj).sort(cmpCodePoints))
|
|
194
235
|
obj[k] = canonicalizeType(t.obj[k]);
|
|
@@ -270,26 +311,6 @@ function nodeKindLabel(n) {
|
|
|
270
311
|
}
|
|
271
312
|
return "node";
|
|
272
313
|
}
|
|
273
|
-
|
|
274
|
-
|
|
275
|
-
* これは制御フロー専用ノードで出力データ型を持たない（consumer が参照する出力ではない）。
|
|
276
|
-
* gate は authoring.ts の `ensureGate` が生成する固定形。この形にだけ outType 不要を許す
|
|
277
|
-
* （Φ 合流 CondNode は outType を要求する — それは consumer の出力値だから）。
|
|
278
|
-
*/
|
|
279
|
-
function isControlGate(n) {
|
|
280
|
-
if (n === null || typeof n !== "object" || !("cond" in n))
|
|
281
|
-
return false;
|
|
282
|
-
const c = n.cond;
|
|
283
|
-
if (c === null || typeof c !== "object")
|
|
284
|
-
return false;
|
|
285
|
-
const then = c.then;
|
|
286
|
-
const els = c.else;
|
|
287
|
-
// gate: then が `{obj:{ok:true}}`、else が null。
|
|
288
|
-
const isOkObj = then !== null &&
|
|
289
|
-
typeof then === "object" &&
|
|
290
|
-
!Array.isArray(then) &&
|
|
291
|
-
"obj" in then &&
|
|
292
|
-
JSON.stringify(then.obj) === JSON.stringify({ ok: true });
|
|
293
|
-
return isOkObj && els === null;
|
|
294
|
-
}
|
|
314
|
+
// isControlGate は behavior.ts の単一定義（SoT）を共有する（UNTYPED_NODE 免除・typed-native 被覆が
|
|
315
|
+
// 同一定義を使う — 分岐した写しを作らない）。
|
|
295
316
|
//# sourceMappingURL=type-gate.js.map
|
package/dist/type-gate.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"type-gate.js","sourceRoot":"","sources":["../src/type-gate.ts"],"names":[],"mappings":"
|
|
1
|
+
{"version":3,"file":"type-gate.js","sourceRoot":"","sources":["../src/type-gate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AACH,OAAO,EAAE,aAAa,EAAsD,MAAM,eAAe,CAAC;AAClG,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,+EAA+E;AAC/E,2EAA2E;AAC3E,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAE9F,+EAA+E;AAC/E;;;GAGG;AACH,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IACzC,IAAI,CAAiB;IACrB,YAAY,OAAe;QACzB,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,cAAc,CAAC;QAC3B,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAED,SAAS,OAAO,CAAC,OAAe;IAC9B,MAAM,IAAI,gBAAgB,CAAC,OAAO,CAAC,CAAC;AACtC,CAAC;AAED,4EAA4E;AAC5E;;;;;;GAMG;AACH,SAAS,uBAAuB,CAAC,MAAkB;IACjD,MAAM,IAAI,GAAG,CAAC,GAA6B,EAAE;QAC3C,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;YACpB,KAAK,QAAQ,CAAC;YACd,KAAK,KAAK,CAAC;YACX,KAAK,OAAO,CAAC;YACb,KAAK,MAAM,CAAC;YACZ,KAAK,MAAM;gBACT,OAAO,MAAM,CAAC,IAAI,CAAC;YACrB,KAAK,OAAO;gBACV,OAAO,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;YAC9E;gBACE,OAAO,SAAS,CAAC,CAAC,yDAAyD;QAC/E,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IACL,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACzC,OAAO,MAAM,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC;AAC1D,CAAC;AAED,wEAAwE;AACxE;;;;;;GAMG;AACH,SAAS,OAAO,CAAC,CAAe,EAAE,KAAa;IAC7C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;QACf,MAAM,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACpC,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,SAAS,CAAC,CAAC,iCAAiC;AACrD,CAAC;AAED,8EAA8E;AAC9E;;;;;;GAMG;AACH,SAAS,eAAe,CACtB,IAAa,EACb,SAAoC,EACpC,UAAsC;IAEtC,mBAAmB;IACnB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IAC7C,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,QAAQ,CAAC;IAC9C,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9E,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAE/C,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,sBAAsB;IAC/D,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;IACnB,MAAM,GAAG,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;IAEpB,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,KAAK,CAAC;QACX,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,mEAAmE;YACnE,MAAM,IAAI,GAAG,GAAe,CAAC;YAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YAChE,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;YAC7B,IAAI,GAAG,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9B,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;gBACtB,MAAM,MAAM,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;gBAChC,GAAG,GAAG,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3E,CAAC;YACD,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC7B,IAAI,IAAI,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACzC,GAAG,GAAG,IAAI,CAAC;YACb,CAAC;YACD,2CAA2C;YAC3C,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;QAC9C,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,sDAAsD;YACtD,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpF,MAAM,GAAG,GAAiC,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,EAAE,CAAC;gBACpE,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACvC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,CAAC;QACjB,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,4CAA4C;YAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC9D,IAAI,IAA8B,CAAC;YACnC,KAAK,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC;gBACpB,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC;gBACvC,IAAI,IAAI,KAAK,SAAS;oBAAE,IAAI,GAAG,EAAE,CAAC;qBAC7B,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;oBAAE,OAAO,SAAS,CAAC;YACjD,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,IAAK,EAAE,CAAC;QACxB,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,gFAAgF;YAChF,yEAAyE;YACzE,MAAM,MAAM,GAAG,GAAgB,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,SAAS,CAAC;YACpE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YAChE,MAAM,KAAK,GAAG,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;YAChE,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC;YACjE,OAAO,qBAAqB,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,WAAW,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;QAC3G,CAAC;QACD,OAAO,CAAC,CAAC,CAAC;YACR,oEAAoE;YACpE,0EAA0E;YAC1E,4CAA4C;YAC5C,MAAM,GAAG,GAAG,iBAAiB,CAAC,EAAE,CAAC,CAAC;YAClC,IAAI,GAAG,KAAK,SAAS;gBAAE,OAAO,SAAS,CAAC,CAAC,mCAAmC;YAC5E,MAAM,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe;YAClE,MAAM,YAAY,GAAmB,EAAE,CAAC;YACxC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,SAAS;oBAAE,OAAO,SAAS,CAAC,CAAC,qBAAqB;gBAC7D,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACxB,CAAC;YACD,OAAO,qBAAqB,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAClD,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,gBAAgB,CAAC,CAAe;IAC9C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,IAAI,KAAK,IAAI,CAAC;QAAE,OAAO,EAAE,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IACxD,MAAM,GAAG,GAAiC,EAAE,CAAC;IAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC;QAAE,GAAG,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC5F,OAAO,EAAE,GAAG,EAAE,CAAC;AACjB,CAAC;AAGD,gFAAgF;AAChF;;;;;;;;GAQG;AACH,MAAM,UAAU,4BAA4B,CAAC,IAAe;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC;IACzB,MAAM,SAAS,GAAG,IAAI,GAAG,EAAwB,CAAC;IAElD,oEAAoE;IACpE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAI,CAAgC,CAAC,OAAO,CAAC;QACrD,2DAA2D;QAC3D,6DAA6D;QAC7D,yDAAyD;QACzD,gDAAgD;QAChD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;YACrB,IAAI,aAAa,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC/B,OAAO,CACL,WAAW,MAAM,YAAa,CAAoB,CAAC,EAAE,MAAM,aAAa,CAAC,CAAC,CAAC,uMAAuM,CACnR,CAAC;QACJ,CAAC;QACD,8CAA8C;QAC9C,+EAA+E;QAC/E,gCAAgC;QAChC,sFAAsF;QACtF,SAAS,CAAC,GAAG,CAAE,CAAoB,CAAC,EAAE,EAAE,KAAK,IAAK,CAAY,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IAED,kDAAkD;IAClD,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,UAAU,EAAE,MAAM,CAAC,CAAC;IACtF,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CACxB,MAAe,EACf,SAAoC,EACpC,UAAsC,EACtC,MAAc;IAEd,uCAAuC;IACvC,IAAI,MAAM,KAAK,IAAI,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC5E,MAAM,GAAG,GAAG,MAAiC,CAAC;QAC9C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,GAA8B,CAAC;YAClD,MAAM,GAAG,GAAiC,EAAE,CAAC;YAC7C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5C,MAAM,EAAE,GAAG,eAAe,CAAC,CAAC,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;gBACrD,IAAI,EAAE,KAAK,SAAS;oBAClB,OAAO,CACL,WAAW,MAAM,gCAAgC,CAAC,0LAA0L,CAC7O,CAAC;gBACJ,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;IACD,2CAA2C;IAC3C,MAAM,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,EAAE,UAAU,CAAC,CAAC;IACzD,IAAI,CAAC,KAAK,SAAS;QACjB,OAAO,CACL,WAAW,MAAM,iKAAiK,CACnL,CAAC;IACJ,OAAO,CAAC,CAAC;AACX,CAAC;AAED,+BAA+B;AAC/B,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QACxC,IAAI,QAAQ,IAAI,CAAC;YAAE,OAAO,QAAQ,CAAC;QACnC,IAAI,KAAK,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC7B,IAAI,MAAM,IAAI,CAAC;YAAE,OAAO,MAAM,CAAC;QAC/B,IAAI,WAAW,IAAI,CAAC;YAAE,OAAO,iBAAkB,CAA2B,CAAC,SAAS,GAAG,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,+EAA+E;AAC/E,0BAA0B"}
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "behavior-contracts",
|
|
3
|
-
"version": "0.8.
|
|
3
|
+
"version": "0.8.2",
|
|
4
4
|
"description": "Language-agnostic runtime core for behavior contracts (dsl-contracts): validateEnvelope / evaluateExpression / renderTemplate / runPlan / canonical serialization. Single source of truth for the shared DSL runtime primitives.",
|
|
5
5
|
"type": "module",
|
|
6
6
|
"main": "dist/index.js",
|