behavior-contracts 0.8.7 → 0.8.9

package/dist/commands/codegen.js

@@ -0,0 +1,39 @@
+// ════════════════════════════════════════════════════════════════════════════
+// codegen — the pure core behind `bc generate` / `bc check`.
+//
+// A thin wrapper over the EXISTING public API (../index.ts): NO emit logic is
+// reimplemented here. `generateFromDoc` runs the SAME `loadCompiledIR` →
+// `generateModule` path the in-process API runs, so the CLI emits the exact
+// module the in-process API does from the same doc.
+//
+// Pure (throws on error, no process/stream side effects) so it is unit-testable
+// in-process; the cli.ts handlers add I/O + exit semantics around it.
+// ════════════════════════════════════════════════════════════════════════════
+import { readFileSync } from "node:fs";
+import { loadCompiledIR, generateModule, registeredLanguages, } from "../index.js";
+/** A serialized IR doc → the native module source (same path as the in-process API). */
+export function generateFromDoc(doc, language, runtimeImport) {
+    if (!registeredLanguages().includes(language)) {
+        throw new Error(`--lang '${language}' is not a registered emitter (registered: ${registeredLanguages().join(", ")})`);
+    }
+    const compiled = loadCompiledIR(doc); // adopt the unbranded doc (recomputes + mints the provenance token)
+    const module = generateModule(compiled, runtimeImport === undefined ? { language } : { language, runtimeImport });
+    return module.code;
+}
+/** Read + parse a serialized ComponentGraphIRDoc from disk. */
+export function readDoc(inPath) {
+    let raw;
+    try {
+        raw = readFileSync(inPath, "utf8");
+    }
+    catch {
+        throw new Error(`cannot read --in '${inPath}'`);
+    }
+    try {
+        return JSON.parse(raw);
+    }
+    catch (e) {
+        throw new Error(`--in '${inPath}' is not valid JSON: ${e instanceof Error ? e.message : String(e)}`);
+    }
+}
+//# sourceMappingURL=codegen.js.map

package/dist/commands/codegen.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"codegen.js","sourceRoot":"","sources":["../../src/commands/codegen.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAC/E,6DAA6D;AAC7D,EAAE;AACF,8EAA8E;AAC9E,yEAAyE;AACzE,4EAA4E;AAC5E,oDAAoD;AACpD,EAAE;AACF,gFAAgF;AAChF,sEAAsE;AACtE,+EAA+E;AAC/E,OAAO,EAAE,YAAY,EAAE,MAAM,SAAS,CAAC;AACvC,OAAO,EACL,cAAc,EACd,cAAc,EACd,mBAAmB,GAEpB,MAAM,aAAa,CAAC;AAErB,wFAAwF;AACxF,MAAM,UAAU,eAAe,CAC7B,GAAwB,EACxB,QAAgB,EAChB,aAAsB;IAEtB,IAAI,CAAC,mBAAmB,EAAE,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,WAAW,QAAQ,8CAA8C,mBAAmB,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CACrG,CAAC;IACJ,CAAC;IACD,MAAM,QAAQ,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,oEAAoE;IAC1G,MAAM,MAAM,GAAG,cAAc,CAC3B,QAAQ,EACR,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,aAAa,EAAE,CACzE,CAAC;IACF,OAAO,MAAM,CAAC,IAAI,CAAC;AACrB,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,OAAO,CAAC,MAAc;IACpC,IAAI,GAAW,CAAC;IAChB,IAAI,CAAC;QACH,GAAG,GAAG,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,qBAAqB,MAAM,GAAG,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAwB,CAAC;IAChD,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,SAAS,MAAM,wBAAwB,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IACvG,CAAC;AACH,CAAC"}

package/dist/generated/commands.d.ts

@@ -0,0 +1,8 @@
+export interface ExecResult {
+    exitCode: number;
+    stdout: string;
+    stderr: string;
+}
+export declare function bcGenerate(executable: string, options?: Partial<import("./types.js").GenerateOptions>): Promise<ExecResult>;
+export declare function bcCheck(executable: string, options?: Partial<import("./types.js").CheckOptions>): Promise<ExecResult>;
+//# sourceMappingURL=commands.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"commands.d.ts","sourceRoot":"","sources":["../../src/generated/commands.ts"],"names":[],"mappings":"AAMA,MAAM,WAAW,UAAU;IACzB,QAAQ,EAAE,MAAM,CAAC;IACjB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,wBAAsB,UAAU,CAC9B,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,YAAY,EAAE,eAAe,CAAC,GACtD,OAAO,CAAC,UAAU,CAAC,CAoBrB;AAED,wBAAsB,OAAO,CAC3B,UAAU,EAAE,MAAM,EAClB,OAAO,CAAC,EAAE,OAAO,CAAC,OAAO,YAAY,EAAE,YAAY,CAAC,GACnD,OAAO,CAAC,UAAU,CAAC,CAoBrB"}

package/dist/generated/commands.js

@@ -0,0 +1,55 @@
+// Auto-generated by cli-contracts. Do not edit.
+import { execFile } from "node:child_process";
+import { promisify } from "node:util";
+const execFileAsync = promisify(execFile);
+export async function bcGenerate(executable, options) {
+    const cmdArgs = ["generate"];
+    if (options) {
+        if (options.lang !== undefined)
+            cmdArgs.push("--lang", String(options.lang));
+        if (options.in !== undefined)
+            cmdArgs.push("--in", String(options.in));
+        if (options.out !== undefined)
+            cmdArgs.push("--out", String(options.out));
+        if (options.runtimeImport !== undefined)
+            cmdArgs.push("--runtime-import", String(options.runtimeImport));
+    }
+    try {
+        const result = await execFileAsync(executable, cmdArgs);
+        return { exitCode: 0, stdout: result.stdout, stderr: result.stderr };
+    }
+    catch (err) {
+        const e = err;
+        return {
+            exitCode: typeof e.code === 'number' ? e.code : 1,
+            stdout: e.stdout ?? '',
+            stderr: e.stderr ?? '',
+        };
+    }
+}
+export async function bcCheck(executable, options) {
+    const cmdArgs = ["check"];
+    if (options) {
+        if (options.lang !== undefined)
+            cmdArgs.push("--lang", String(options.lang));
+        if (options.in !== undefined)
+            cmdArgs.push("--in", String(options.in));
+        if (options.out !== undefined)
+            cmdArgs.push("--out", String(options.out));
+        if (options.runtimeImport !== undefined)
+            cmdArgs.push("--runtime-import", String(options.runtimeImport));
+    }
+    try {
+        const result = await execFileAsync(executable, cmdArgs);
+        return { exitCode: 0, stdout: result.stdout, stderr: result.stderr };
+    }
+    catch (err) {
+        const e = err;
+        return {
+            exitCode: typeof e.code === 'number' ? e.code : 1,
+            stdout: e.stdout ?? '',
+            stderr: e.stderr ?? '',
+        };
+    }
+}
+//# sourceMappingURL=commands.js.map

package/dist/generated/commands.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"commands.js","sourceRoot":"","sources":["../../src/generated/commands.ts"],"names":[],"mappings":"AAAA,gDAAgD;AAChD,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,WAAW,CAAC;AAEtC,MAAM,aAAa,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAC;AAQ1C,MAAM,CAAC,KAAK,UAAU,UAAU,CAC9B,UAAkB,EAClB,OAAuD;IAEvD,MAAM,OAAO,GAAa,CAAC,UAAU,CAAC,CAAC;IACvC,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,IAAI,OAAO,CAAC,EAAE,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1E,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,kBAAkB,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IAC3G,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACxD,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACvE,CAAC;IAAC,OAAO,GAAY,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAA0D,CAAC;QACrE,OAAO;YACL,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;YACtB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;SACvB,CAAC;IACJ,CAAC;AACH,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,OAAO,CAC3B,UAAkB,EAClB,OAAoD;IAEpD,MAAM,OAAO,GAAa,CAAC,OAAO,CAAC,CAAC;IACpC,IAAI,OAAO,EAAE,CAAC;QACZ,IAAI,OAAO,CAAC,IAAI,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,IAAI,OAAO,CAAC,EAAE,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACvE,IAAI,OAAO,CAAC,GAAG,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1E,IAAI,OAAO,CAAC,aAAa,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,kBAAkB,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC;IAC3G,CAAC;IAED,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACxD,OAAO,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC;IACvE,CAAC;IAAC,OAAO,GAAY,EAAE,CAAC;QACtB,MAAM,CAAC,GAAG,GAA0D,CAAC;QACrE,OAAO;YACL,QAAQ,EAAE,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;YACtB,MAAM,EAAE,CAAC,CAAC,MAAM,IAAI,EAAE;SACvB,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/generated/contract.d.ts

@@ -0,0 +1,3 @@
+export declare const CONTRACT_YAML: string;
+export declare const CONTRACT_JSON_STR: string;
+//# sourceMappingURL=contract.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract.d.ts","sourceRoot":"","sources":["../../src/generated/contract.ts"],"names":[],"mappings":"AAGA,eAAO,MAAM,aAAa,EAAE,MAA6tM,CAAC;AAE1vM,eAAO,MAAM,iBAAiB,EAAE,MAAqiQ,CAAC"}

package/dist/generated/contract.js

@@ -0,0 +1,5 @@
+// Auto-generated by cli-contracts. Do not edit.
+// Embedded contract for the extract subcommand.
+export const CONTRACT_YAML = "# yaml-language-server: $schema=./node_modules/cli-contracts/schemas/cli-contract.schema.json\ncli_contracts: 0.1.0\n\ninfo:\n  title: behavior-contracts CLI\n  version: 0.1.0\n  description: >-\n    bc — the build-time codegen CLI over behavior-contracts' public API.\n    Reads a serialized ComponentGraphIRDoc (the unbranded JSON IR), adopts it\n    via loadCompiledIR, and runs the same generateModule the in-process API runs\n    to emit a runtime-free native module (data baked as literals). The IR doc is\n    a build-time input only; nothing reads it at runtime.\n  license:\n    name: MIT\n  contact:\n    name: foo-ogawa\n    url: https://github.com/foo-ogawa/behavior-contracts\n\nartifact_slots:\n  ir-doc:\n    direction: read\n    description: Serialized ComponentGraphIRDoc (unbranded JSON IR) — the codegen input.\n  generated-module:\n    direction: write\n    description: Generated native module source (baked-literal, runtime-free).\n\ncommand_sets:\n  bc:\n    summary: build-time codegen CLI over behavior-contracts' public API.\n    executable: bc\n\n    global_options:\n      - name: version\n        aliases: [V]\n        description: Print version and exit.\n        schema:\n          type: boolean\n\n      - name: help\n        aliases: [h]\n        description: Show help and exit.\n        schema:\n          type: boolean\n\n    commands:\n      # ── generate ─────────────────────────────────────────\n      generate:\n        summary: Emit a native module from a serialized IR doc.\n        description: >-\n          Reads the --in ComponentGraphIRDoc, adopts it via loadCompiledIR, and\n          runs generateModule for the --lang emitter. Writes the module source\n          to --out if given, else to stdout. Rejects an unregistered --lang.\n        usage:\n          - bc generate --lang rust-typed-native --in ir-doc.json\n          - bc generate --lang go-typed-native --in ir-doc.json --out gen.go\n          - bc generate --lang typescript-typed --in ir-doc.json --runtime-import ./runtime.js\n\n        options:\n          - name: lang\n            required: true\n            description: >-\n              Target emitter (must be a registered language, e.g.\n              rust-typed-native, go-typed-native, typescript-typed).\n            value_name: emitter\n            schema:\n              type: string\n\n          - name: in\n            required: true\n            description: Path to the serialized ComponentGraphIRDoc JSON file.\n            value_name: ir-doc.json\n            schema:\n              type: string\n            file:\n              mode: read\n              exists: true\n              media_type: application/json\n              encoding: utf-8\n\n          - name: out\n            required: false\n            description: Write the generated module here instead of stdout.\n            value_name: file\n            schema:\n              type: string\n            file:\n              mode: write\n\n          - name: runtime-import\n            required: false\n            description: Override the runtime import specifier baked into the module.\n            value_name: spec\n            schema:\n              type: string\n\n        exits:\n          '0':\n            description: Module generated (written to --out, or printed to stdout).\n            stdout:\n              format: text\n          '1':\n            description: >-\n              Generation failed (unreadable/invalid --in, or --lang is not a\n              registered emitter).\n            stderr:\n              format: text\n          '2':\n            description: Usage error — a required option (--lang or --in) was omitted.\n            stderr:\n              format: text\n\n        x-agent:\n          riskLevel: low\n          requiresConfirmation: false\n          idempotent: true\n          sideEffects:\n            - file_write\n          sideEffectNote: >-\n            Writes to the filesystem only when --out is specified; otherwise\n            output goes to stdout.\n\n      # ── check ────────────────────────────────────────────\n      check:\n        summary: Verify a committed module matches a fresh generation (drift gate).\n        description: >-\n          Regenerates the module from --in for --lang and byte-compares it\n          against the committed --out file. Exits non-zero on drift. This is the\n          build's codegen drift gate.\n        usage:\n          - bc check --lang rust-typed-native --in ir-doc.json --out gen.rs\n\n        options:\n          - name: lang\n            required: true\n            description: Target emitter (must be a registered language).\n            value_name: emitter\n            schema:\n              type: string\n\n          - name: in\n            required: true\n            description: Path to the serialized ComponentGraphIRDoc JSON file.\n            value_name: ir-doc.json\n            schema:\n              type: string\n            file:\n              mode: read\n              exists: true\n              media_type: application/json\n              encoding: utf-8\n\n          - name: out\n            required: true\n            description: The committed module file to diff a fresh generation against.\n            value_name: file\n            schema:\n              type: string\n            file:\n              mode: read\n              exists: true\n\n          - name: runtime-import\n            required: false\n            description: Override the runtime import specifier baked into the module.\n            value_name: spec\n            schema:\n              type: string\n\n        exits:\n          '0':\n            description: Up to date — the committed --out matches a fresh generation.\n            stdout:\n              format: text\n          '1':\n            description: >-\n              Drift detected (--out differs or does not exist), or generation\n              failed (unreadable/invalid --in, or unregistered --lang).\n            stderr:\n              format: text\n          '2':\n            description: Usage error — a required option (--lang or --in) was omitted.\n            stderr:\n              format: text\n\n        x-agent:\n          riskLevel: low\n          requiresConfirmation: false\n          idempotent: true\n          sideEffects: []\n";
+export const CONTRACT_JSON_STR = "{\n  \"cli_contracts\": \"0.1.0\",\n  \"info\": {\n    \"title\": \"behavior-contracts CLI\",\n    \"version\": \"0.1.0\",\n    \"description\": \"bc — the build-time codegen CLI over behavior-contracts' public API. Reads a serialized ComponentGraphIRDoc (the unbranded JSON IR), adopts it via loadCompiledIR, and runs the same generateModule the in-process API runs to emit a runtime-free native module (data baked as literals). The IR doc is a build-time input only; nothing reads it at runtime.\",\n    \"license\": {\n      \"name\": \"MIT\"\n    },\n    \"contact\": {\n      \"name\": \"foo-ogawa\",\n      \"url\": \"https://github.com/foo-ogawa/behavior-contracts\"\n    }\n  },\n  \"artifact_slots\": {\n    \"ir-doc\": {\n      \"direction\": \"read\",\n      \"description\": \"Serialized ComponentGraphIRDoc (unbranded JSON IR) — the codegen input.\"\n    },\n    \"generated-module\": {\n      \"direction\": \"write\",\n      \"description\": \"Generated native module source (baked-literal, runtime-free).\"\n    }\n  },\n  \"command_sets\": {\n    \"bc\": {\n      \"summary\": \"build-time codegen CLI over behavior-contracts' public API.\",\n      \"executable\": \"bc\",\n      \"global_options\": [\n        {\n          \"name\": \"version\",\n          \"aliases\": [\n            \"V\"\n          ],\n          \"description\": \"Print version and exit.\",\n          \"schema\": {\n            \"type\": \"boolean\"\n          }\n        },\n        {\n          \"name\": \"help\",\n          \"aliases\": [\n            \"h\"\n          ],\n          \"description\": \"Show help and exit.\",\n          \"schema\": {\n            \"type\": \"boolean\"\n          }\n        }\n      ],\n      \"commands\": {\n        \"generate\": {\n          \"summary\": \"Emit a native module from a serialized IR doc.\",\n          \"description\": \"Reads the --in ComponentGraphIRDoc, adopts it via loadCompiledIR, and runs generateModule for the --lang emitter. Writes the module source to --out if given, else to stdout. Rejects an unregistered --lang.\",\n          \"usage\": [\n            \"bc generate --lang rust-typed-native --in ir-doc.json\",\n            \"bc generate --lang go-typed-native --in ir-doc.json --out gen.go\",\n            \"bc generate --lang typescript-typed --in ir-doc.json --runtime-import ./runtime.js\"\n          ],\n          \"options\": [\n            {\n              \"name\": \"lang\",\n              \"required\": true,\n              \"description\": \"Target emitter (must be a registered language, e.g. rust-typed-native, go-typed-native, typescript-typed).\",\n              \"value_name\": \"emitter\",\n              \"schema\": {\n                \"type\": \"string\"\n              }\n            },\n            {\n              \"name\": \"in\",\n              \"required\": true,\n              \"description\": \"Path to the serialized ComponentGraphIRDoc JSON file.\",\n              \"value_name\": \"ir-doc.json\",\n              \"schema\": {\n                \"type\": \"string\"\n              },\n              \"file\": {\n                \"mode\": \"read\",\n                \"exists\": true,\n                \"media_type\": \"application/json\",\n                \"encoding\": \"utf-8\"\n              }\n            },\n            {\n              \"name\": \"out\",\n              \"required\": false,\n              \"description\": \"Write the generated module here instead of stdout.\",\n              \"value_name\": \"file\",\n              \"schema\": {\n                \"type\": \"string\"\n              },\n              \"file\": {\n                \"mode\": \"write\"\n              }\n            },\n            {\n              \"name\": \"runtime-import\",\n              \"required\": false,\n              \"description\": \"Override the runtime import specifier baked into the module.\",\n              \"value_name\": \"spec\",\n              \"schema\": {\n                \"type\": \"string\"\n              }\n            }\n          ],\n          \"exits\": {\n            \"0\": {\n              \"description\": \"Module generated (written to --out, or printed to stdout).\",\n              \"stdout\": {\n                \"format\": \"text\"\n              }\n            },\n            \"1\": {\n              \"description\": \"Generation failed (unreadable/invalid --in, or --lang is not a registered emitter).\",\n              \"stderr\": {\n                \"format\": \"text\"\n              }\n            },\n            \"2\": {\n              \"description\": \"Usage error — a required option (--lang or --in) was omitted.\",\n              \"stderr\": {\n                \"format\": \"text\"\n              }\n            }\n          },\n          \"x-agent\": {\n            \"riskLevel\": \"low\",\n            \"requiresConfirmation\": false,\n            \"idempotent\": true,\n            \"sideEffects\": [\n              \"file_write\"\n            ],\n            \"sideEffectNote\": \"Writes to the filesystem only when --out is specified; otherwise output goes to stdout.\"\n          }\n        },\n        \"check\": {\n          \"summary\": \"Verify a committed module matches a fresh generation (drift gate).\",\n          \"description\": \"Regenerates the module from --in for --lang and byte-compares it against the committed --out file. Exits non-zero on drift. This is the build's codegen drift gate.\",\n          \"usage\": [\n            \"bc check --lang rust-typed-native --in ir-doc.json --out gen.rs\"\n          ],\n          \"options\": [\n            {\n              \"name\": \"lang\",\n              \"required\": true,\n              \"description\": \"Target emitter (must be a registered language).\",\n              \"value_name\": \"emitter\",\n              \"schema\": {\n                \"type\": \"string\"\n              }\n            },\n            {\n              \"name\": \"in\",\n              \"required\": true,\n              \"description\": \"Path to the serialized ComponentGraphIRDoc JSON file.\",\n              \"value_name\": \"ir-doc.json\",\n              \"schema\": {\n                \"type\": \"string\"\n              },\n              \"file\": {\n                \"mode\": \"read\",\n                \"exists\": true,\n                \"media_type\": \"application/json\",\n                \"encoding\": \"utf-8\"\n              }\n            },\n            {\n              \"name\": \"out\",\n              \"required\": true,\n              \"description\": \"The committed module file to diff a fresh generation against.\",\n              \"value_name\": \"file\",\n              \"schema\": {\n                \"type\": \"string\"\n              },\n              \"file\": {\n                \"mode\": \"read\",\n                \"exists\": true\n              }\n            },\n            {\n              \"name\": \"runtime-import\",\n              \"required\": false,\n              \"description\": \"Override the runtime import specifier baked into the module.\",\n              \"value_name\": \"spec\",\n              \"schema\": {\n                \"type\": \"string\"\n              }\n            }\n          ],\n          \"exits\": {\n            \"0\": {\n              \"description\": \"Up to date — the committed --out matches a fresh generation.\",\n              \"stdout\": {\n                \"format\": \"text\"\n              }\n            },\n            \"1\": {\n              \"description\": \"Drift detected (--out differs or does not exist), or generation failed (unreadable/invalid --in, or unregistered --lang).\",\n              \"stderr\": {\n                \"format\": \"text\"\n              }\n            },\n            \"2\": {\n              \"description\": \"Usage error — a required option (--lang or --in) was omitted.\",\n              \"stderr\": {\n                \"format\": \"text\"\n              }\n            }\n          },\n          \"x-agent\": {\n            \"riskLevel\": \"low\",\n            \"requiresConfirmation\": false,\n            \"idempotent\": true,\n            \"sideEffects\": []\n          }\n        }\n      }\n    }\n  }\n}";
+//# sourceMappingURL=contract.js.map

package/dist/generated/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/generated/contract.ts"],"names":[],"mappings":"AAAA,gDAAgD;AAChD,gDAAgD;AAEhD,MAAM,CAAC,MAAM,aAAa,GAAW,otMAAotM,CAAC;AAE1vM,MAAM,CAAC,MAAM,iBAAiB,GAAW,4hQAA4hQ,CAAC"}

package/dist/generated/index.d.ts

@@ -0,0 +1,7 @@
+export * from "./types.js";
+export * from "./commands.js";
+export * from "./schemas.js";
+export { createProgram } from "./program.js";
+export type { CommandHandlers } from "./program.js";
+export { CONTRACT_YAML, CONTRACT_JSON_STR } from "./contract.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/generated/index.ts"],"names":[],"mappings":"AACA,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,YAAY,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC"}

package/dist/generated/index.js

@@ -0,0 +1,7 @@
+// Auto-generated by cli-contracts. Do not edit.
+export * from "./types.js";
+export * from "./commands.js";
+export * from "./schemas.js";
+export { createProgram } from "./program.js";
+export { CONTRACT_YAML, CONTRACT_JSON_STR } from "./contract.js";
+//# sourceMappingURL=index.js.map

package/dist/generated/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/generated/index.ts"],"names":[],"mappings":"AAAA,gDAAgD;AAChD,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,cAAc,CAAC;AAC7B,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE7C,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,MAAM,eAAe,CAAC"}

package/dist/generated/program.d.ts

@@ -0,0 +1,17 @@
+import { Command } from "commander";
+export interface CommandHandlers {
+    generate: (options: {
+        lang?: string;
+        in?: string;
+        out?: string;
+        runtimeImport?: string;
+    }, parentOpts: Record<string, unknown>) => Promise<void>;
+    check: (options: {
+        lang?: string;
+        in?: string;
+        out?: string;
+        runtimeImport?: string;
+    }, parentOpts: Record<string, unknown>) => Promise<void>;
+}
+export declare function createProgram(handlers: CommandHandlers, version: string): Command;
+//# sourceMappingURL=program.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"program.d.ts","sourceRoot":"","sources":["../../src/generated/program.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGpC,MAAM,WAAW,eAAe;IAC9B,QAAQ,EAAE,CAAC,OAAO,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAChJ,KAAK,EAAE,CAAC,OAAO,EAAE;QAAE,IAAI,CAAC,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAC;QAAC,GAAG,CAAC,EAAE,MAAM,CAAC;QAAC,aAAa,CAAC,EAAE,MAAM,CAAA;KAAE,EAAE,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;CAC9I;AAED,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,eAAe,EACzB,OAAO,EAAE,MAAM,GACd,OAAO,CAmHT"}

package/dist/generated/program.js

@@ -0,0 +1,117 @@
+// Auto-generated by cli-contracts. Do not edit.
+import { Command } from "commander";
+import { CONTRACT_YAML, CONTRACT_JSON_STR } from "./contract.js";
+export function createProgram(handlers, version) {
+    const program = new Command();
+    program
+        .name("bc")
+        .version(version, "-V, --version")
+        .description("build-time codegen CLI over behavior-contracts' public API.");
+    program
+        .command("generate")
+        .description("Emit a native module from a serialized IR doc.")
+        .option("--lang <emitter>", "Target emitter (must be a registered language, e.g. rust-typed-native, go-typed-native, typescript-typed).")
+        .option("--in <ir-doc.json>", "Path to the serialized ComponentGraphIRDoc JSON file.")
+        .option("--out <file>", "Write the generated module here instead of stdout.")
+        .option("--runtime-import <spec>", "Override the runtime import specifier baked into the module.")
+        .action(async (opts, cmd) => {
+        await handlers.generate(opts, cmd.optsWithGlobals());
+    });
+    program
+        .command("check")
+        .description("Verify a committed module matches a fresh generation (drift gate).")
+        .option("--lang <emitter>", "Target emitter (must be a registered language).")
+        .option("--in <ir-doc.json>", "Path to the serialized ComponentGraphIRDoc JSON file.")
+        .option("--out <file>", "The committed module file to diff a fresh generation against.")
+        .option("--runtime-import <spec>", "Override the runtime import specifier baked into the module.")
+        .action(async (opts, cmd) => {
+        await handlers.check(opts, cmd.optsWithGlobals());
+    });
+    // Built-in extract command (auto-injected by cli-contracts)
+    program
+        .command("extract")
+        .description("Extract contract specification for this CLI tool.")
+        .argument("[commands...]", "Command IDs to extract. Use dot notation.")
+        .option("-a, --all", "Extract all commands.", false)
+        .option("--include-meta", "Include extraction metadata.", true)
+        .option("-F, --format <format>", "Output format (yaml or json).", "yaml")
+        .action(async (commands, opts, cmd) => {
+        if (commands.length === 0 && !opts.all) {
+            process.stderr.write(JSON.stringify({ code: "INVALID_ARGS", message: "Specify command IDs or use --all" }) + "\n");
+            process.exit(2);
+        }
+        const format = opts.format || "yaml";
+        const doc = JSON.parse(CONTRACT_JSON_STR);
+        const cmdIds = opts.all ? [] : commands;
+        if (cmdIds.length === 0) {
+            // --all: output full contract
+            if (format === "json") {
+                const out = {};
+                if (opts.includeMeta) {
+                    out._meta = {
+                        source: "embedded",
+                        type: "cli-contracts/extract",
+                        extractedAt: new Date().toISOString(),
+                        specVersion: doc.cli_contracts ?? "0.1.0",
+                        commands: ["bc.generate", "bc.check"],
+                    };
+                }
+                Object.assign(out, doc);
+                process.stdout.write(JSON.stringify(out, null, 2) + "\n");
+            }
+            else {
+                // YAML output
+                const yamlLines = [];
+                yamlLines.push("# bc extract");
+                yamlLines.push("# source: embedded");
+                yamlLines.push("# type: cli-contracts/command-extract");
+                if (opts.includeMeta) {
+                    yamlLines.push("---");
+                    yamlLines.push("source: embedded");
+                    yamlLines.push("type: cli-contracts/command-extract");
+                    yamlLines.push("extractedAt: " + new Date().toISOString());
+                    yamlLines.push("spec_version: " + (doc.cli_contracts ?? "0.1.0"));
+                    yamlLines.push("commands:");
+                    for (const id of ["bc.generate", "bc.check"]) {
+                        yamlLines.push("  - " + id);
+                    }
+                }
+                yamlLines.push("---");
+                yamlLines.push(CONTRACT_YAML);
+                process.stdout.write(yamlLines.join("\n") + "\n");
+            }
+        }
+        else {
+            // Filter specific commands
+            const filtered = {
+                cli_contracts: doc.cli_contracts,
+                info: doc.info,
+                command_sets: {},
+            };
+            const fcs = filtered.command_sets;
+            for (const [setId, cs] of Object.entries(doc.command_sets ?? {})) {
+                const cmds = cs.commands;
+                if (!cmds)
+                    continue;
+                const matched = {};
+                for (const [cmdId, cmdDef] of Object.entries(cmds)) {
+                    const fullId = setId + "." + cmdId;
+                    if (cmdIds.some((id) => id === cmdId || id === fullId || cmdId.startsWith(id + "."))) {
+                        matched[cmdId] = cmdDef;
+                    }
+                }
+                if (Object.keys(matched).length > 0) {
+                    const setCopy = { ...cs };
+                    setCopy.commands = matched;
+                    fcs[setId] = setCopy;
+                }
+            }
+            if (doc.components)
+                filtered.components = doc.components;
+            process.stdout.write(JSON.stringify(filtered, null, 2) + "\n");
+        }
+        process.exit(0);
+    });
+    return program;
+}
+//# sourceMappingURL=program.js.map

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.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;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,CAkCrF"}
+{"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,

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;AA6ClD,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,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"}
+{"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-typescript.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"emit-shared-typescript.d.ts","sourceRoot":"","sources":["../../src/generator/emit-shared-typescript.ts"],"names":[],"mappings":"AAmCA,OAAO,EASL,KAAK,mBAAmB,EAEzB,MAAM,mBAAmB,CAAC;AA8qC3B;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,mBAA6B,CAAC;AAClE,oFAAoF;AACpF,eAAO,MAAM,QAAQ,YAAQ,CAAC;AAC9B,uDAAuD;AACvD,eAAO,MAAM,YAAY,aAAY,CAAC"}
+{"version":3,"file":"emit-shared-typescript.d.ts","sourceRoot":"","sources":["../../src/generator/emit-shared-typescript.ts"],"names":[],"mappings":"AAmCA,OAAO,EASL,KAAK,mBAAmB,EAEzB,MAAM,mBAAmB,CAAC;AAktC3B;;;;GAIG;AACH,eAAO,MAAM,qBAAqB,EAAE,mBAA6B,CAAC;AAClE,oFAAoF;AACpF,eAAO,MAAM,QAAQ,YAAQ,CAAC;AAC9B,uDAAuD;AACvD,eAAO,MAAM,YAAY,aAAY,CAAC"}

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

@@ -93,6 +93,7 @@ const usage = {
     planTypes: false, // Exec/AsyncExec/OpSpec/RelationKind（RunPlan 経路のみ）
     handlerType: false, // Handler/AsyncHandler（handler を呼ぶ component の run_* param 型）
     fanoutDedupDrop: false, // #135: fanout の dedup/drop SSoT（fanoutDedupDrop）を import する
+    conformOutType: false, // node 結果を宣言 outType へ正規化する SSoT（conformResultToOutType）を import する
 };
 function resetUsage() {
     for (const k of Object.keys(usage))
@@ -337,13 +338,25 @@ function emitSeqOpExec(op, plan, ctx, hvars, aw, lines, indent, bindVar, bindRea
     const canSkip = meta.canSkip || meta.alwaysSkip;
     const inner = [];
     const bodyIndent = bindVar ? indent + "  " : indent;
+    // node 結果は宣言 outType へ正規化してから格納する（run_behavior の wrappedExec と同一の SSoT
+    // = conformResultToOutType: int→float widen / 欠落 opt→null。型消去の TS でも runtime でこの
+    // 正規化を行うことで straight-line 生成 ≡ runBehavior が値レベルで保たれる）。outType 無しは素通し。
+    const nodeOut = plan.component.body[i].outType;
+    const isMapNode = "map" in plan.component.body[i];
+    const conform = (valueExpr) => nodeOut === undefined
+        ? valueExpr
+        : (() => {
+            usage.conformOutType = true;
+            return `conformResultToOutType(${JSON.stringify(id)}, ${valueExpr}, ${JSON.stringify(nodeOut)}, ${isMapNode})`;
+        })();
     // 成功時の格納（ローカル + 進行形 scope）。
     const store = (valueExpr, ind, target) => {
+        const stored = conform(valueExpr);
         if (canSkip) {
-            target.push(`${ind}${local} = ${valueExpr};`, `${ind}${ctx.okFlag.get(id)} = true;`);
+            target.push(`${ind}${local} = ${stored};`, `${ind}${ctx.okFlag.get(id)} = true;`);
         }
         else {
-            target.push(`${ind}const ${local}: Value = ${valueExpr};`);
+            target.push(`${ind}const ${local}: Value = ${stored};`);
         }
         if (ctx.scopeVar)
             target.push(`${ind}${ctx.scopeVar}[${JSON.stringify(id)}] = ${local};`);
@@ -826,6 +839,16 @@ function emitPlanDrivenFn(plan, aw) {
     const planLiteral = plan.component.plan ? emitDocLiteral(plan.component.plan, "ts", 1) : "null";
     const output = emitExpr(plan.component.output, SCOPE);
     const relationKinds = plan.opsLiteral.map((o) => (o.relationKind === "connection" ? "connection" : "single"));
+    // node 結果 → 宣言 outType の正規化表（id → {t, m}）。exec が outcome.ok をこの SSoT で正規化する
+    // （逐次経路の store と同一・run_behavior の wrappedExec と同一）。outType 無しノードは表に載らない。
+    const outTypeEntries = plan.opsLiteral
+        .map((o, i) => {
+        const ot = plan.component.body[i].outType;
+        return ot === undefined ? null : `    ${JSON.stringify(o.id)}: { t: ${JSON.stringify(ot)}, m: ${"map" in plan.component.body[i]} },`;
+    })
+        .filter((x) => x !== null);
+    if (outTypeEntries.length > 0)
+        usage.conformOutType = true;
     const fns = plan.ops
         .map((o) => `    ${JSON.stringify(o.id)}: ${aw === "" ? "" : "async "}()${aw === "" ? ": ExecOutcome" : ": Promise<ExecOutcome>"} => {
 ${emitExecFn(o, aw, hvars)}
@@ -835,7 +858,9 @@ ${emitExecFn(o, aw, hvars)}
   const ops: OpSpec[] = ${emitOpsLiteral(plan)};
   const results: Record<string, Value> = {};
   const scope = (): Scope => ({ ...input, ...results });
-  const relationKinds: (RelationKind | undefined)[] = ${JSON.stringify(relationKinds)};
+  const relationKinds: (RelationKind | undefined)[] = ${JSON.stringify(relationKinds)};${outTypeEntries.length > 0
+        ? `\n  const outTypes: Record<string, { t: PortableType; m: boolean }> = {\n${outTypeEntries.join("\n")}\n  };`
+        : ""}
   // per-op exec は事前解決した関数表で引く（線形 ID 探索は無い — bc#75）。
   const execs: Record<string, ${aw === "" ? "() => ExecOutcome" : "() => Promise<ExecOutcome>"}> = {
 ${fns}
@@ -844,7 +869,10 @@ ${fns}
     const f = execs[op.id];
     if (!f) throw new BehaviorFailure("UNKNOWN_NODE_KIND", \`op '\${op.id}' has no generated exec arm (fail-closed)\`);
     const outcome = ${aw}f();
-    if ("ok" in outcome) results[op.id] = outcome.ok;
+    if ("ok" in outcome) {${outTypeEntries.length > 0
+        ? `\n      const ot = outTypes[op.id];\n      results[op.id] = ot === undefined ? outcome.ok : conformResultToOutType(op.id, outcome.ok, ot.t, ot.m);`
+        : `\n      results[op.id] = outcome.ok;`}
+    }
     return outcome;
   };
   const run = ${aw}${aw === "" ? "runPlan" : "runPlanAsync"}(${planLiteral}, ops, exec);
@@ -968,6 +996,8 @@ function emitModule(plans, ctx) {
         valueImports.push(`codegenPrimitives as ${CGP}`);
     if (usage.fanoutDedupDrop)
         valueImports.push("fanoutDedupDrop"); // #135: fanout dedup/drop SSoT
+    if (usage.conformOutType)
+        valueImports.push("conformResultToOutType"); // node 結果 → 宣言 outType 正規化 SSoT
     if (usage.runPlan)
         valueImports.push("runPlan");
     if (usage.runPlanAsync)
@@ -982,6 +1012,9 @@ function emitModule(plans, ctx) {
         typeImports.push("Handler", "AsyncHandler");
     if (usage.planTypes)
         typeImports.push("AsyncExec", "Exec", "ExecOutcome", "OpSpec", "RelationKind");
+    // RunPlan 経路で outType 正規化表を持つときだけ PortableType 型を使う（逐次経路は値の直呼びのみ）。
+    if (usage.conformOutType && (usage.runPlan || usage.runPlanAsync))
+        typeImports.push("PortableType");
     typeImports.sort();
     return `// GENERATED by behavior-contracts common generator (bc#37/#42/#75, straight-line) — DO NOT EDIT.
 // Input: portable component-graph IR only (scp-ir-architecture.md §5/§7.4).