behavior-contracts 0.8.6 → 0.8.8

package/cli-contract.yaml

@@ -0,0 +1,189 @@
+# yaml-language-server: $schema=./node_modules/cli-contracts/schemas/cli-contract.schema.json
+cli_contracts: 0.1.0
+
+info:
+  title: behavior-contracts CLI
+  version: 0.1.0
+  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.
+  license:
+    name: MIT
+  contact:
+    name: foo-ogawa
+    url: https://github.com/foo-ogawa/behavior-contracts
+
+artifact_slots:
+  ir-doc:
+    direction: read
+    description: Serialized ComponentGraphIRDoc (unbranded JSON IR) — the codegen input.
+  generated-module:
+    direction: write
+    description: Generated native module source (baked-literal, runtime-free).
+
+command_sets:
+  bc:
+    summary: build-time codegen CLI over behavior-contracts' public API.
+    executable: bc
+
+    global_options:
+      - name: version
+        aliases: [V]
+        description: Print version and exit.
+        schema:
+          type: boolean
+
+      - name: help
+        aliases: [h]
+        description: Show help and exit.
+        schema:
+          type: boolean
+
+    commands:
+      # ── generate ─────────────────────────────────────────
+      generate:
+        summary: Emit a native module from a serialized IR doc.
+        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.
+        usage:
+          - bc generate --lang rust-typed-native --in ir-doc.json
+          - bc generate --lang go-typed-native --in ir-doc.json --out gen.go
+          - bc generate --lang typescript-typed --in ir-doc.json --runtime-import ./runtime.js
+
+        options:
+          - name: lang
+            required: true
+            description: >-
+              Target emitter (must be a registered language, e.g.
+              rust-typed-native, go-typed-native, typescript-typed).
+            value_name: emitter
+            schema:
+              type: string
+
+          - name: in
+            required: true
+            description: Path to the serialized ComponentGraphIRDoc JSON file.
+            value_name: ir-doc.json
+            schema:
+              type: string
+            file:
+              mode: read
+              exists: true
+              media_type: application/json
+              encoding: utf-8
+
+          - name: out
+            required: false
+            description: Write the generated module here instead of stdout.
+            value_name: file
+            schema:
+              type: string
+            file:
+              mode: write
+
+          - name: runtime-import
+            required: false
+            description: Override the runtime import specifier baked into the module.
+            value_name: spec
+            schema:
+              type: string
+
+        exits:
+          '0':
+            description: Module generated (written to --out, or printed to stdout).
+            stdout:
+              format: text
+          '1':
+            description: >-
+              Generation failed (unreadable/invalid --in, or --lang is not a
+              registered emitter).
+            stderr:
+              format: text
+          '2':
+            description: Usage error — a required option (--lang or --in) was omitted.
+            stderr:
+              format: text
+
+        x-agent:
+          riskLevel: low
+          requiresConfirmation: false
+          idempotent: true
+          sideEffects:
+            - file_write
+          sideEffectNote: >-
+            Writes to the filesystem only when --out is specified; otherwise
+            output goes to stdout.
+
+      # ── check ────────────────────────────────────────────
+      check:
+        summary: Verify a committed module matches a fresh generation (drift gate).
+        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.
+        usage:
+          - bc check --lang rust-typed-native --in ir-doc.json --out gen.rs
+
+        options:
+          - name: lang
+            required: true
+            description: Target emitter (must be a registered language).
+            value_name: emitter
+            schema:
+              type: string
+
+          - name: in
+            required: true
+            description: Path to the serialized ComponentGraphIRDoc JSON file.
+            value_name: ir-doc.json
+            schema:
+              type: string
+            file:
+              mode: read
+              exists: true
+              media_type: application/json
+              encoding: utf-8
+
+          - name: out
+            required: true
+            description: The committed module file to diff a fresh generation against.
+            value_name: file
+            schema:
+              type: string
+            file:
+              mode: read
+              exists: true
+
+          - name: runtime-import
+            required: false
+            description: Override the runtime import specifier baked into the module.
+            value_name: spec
+            schema:
+              type: string
+
+        exits:
+          '0':
+            description: Up to date — the committed --out matches a fresh generation.
+            stdout:
+              format: text
+          '1':
+            description: >-
+              Drift detected (--out differs or does not exist), or generation
+              failed (unreadable/invalid --in, or unregistered --lang).
+            stderr:
+              format: text
+          '2':
+            description: Usage error — a required option (--lang or --in) was omitted.
+            stderr:
+              format: text
+
+        x-agent:
+          riskLevel: low
+          requiresConfirmation: false
+          idempotent: true
+          sideEffects: []

package/dist/cli.d.ts

@@ -0,0 +1,3 @@
+#!/usr/bin/env node
+export {};
+//# sourceMappingURL=cli.d.ts.map

package/dist/cli.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.d.ts","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":""}

package/dist/cli.js

@@ -0,0 +1,76 @@
+#!/usr/bin/env node
+// ════════════════════════════════════════════════════════════════════════════
+// bc — the build-time codegen CLI over behavior-contracts' public API.
+//
+// The arg parsing / dispatch / validation is GENERATED from cli-contract.yaml
+// (./generated/program.ts, via cli-contracts). This entry only implements the
+// per-command handlers (I/O + exit semantics) and runs the program; the actual
+// codegen core lives in ./commands/codegen.ts (a thin wrapper over the public
+// API — no emit logic reimplemented).
+//
+//   bc generate --lang <emitter> --in <ir-doc.json> [--out <file>] [--runtime-import <spec>]
+//   bc check    --lang <emitter> --in <ir-doc.json>  --out <file>  [--runtime-import <spec>]
+//
+//   generate → emit the native module (to --out, or stdout if omitted).
+//   check    → regenerate + byte-diff against --out; exit 1 on drift (the build's drift gate).
+//
+// The IR doc is a BUILD-TIME input only; nothing reads it at runtime. The generated module is a
+// runtime-free native module with its data baked as literals.
+import { readFileSync, writeFileSync } from "node:fs";
+import { createRequire } from "node:module";
+import { createProgram } from "./generated/program.js";
+import { generateFromDoc, readDoc } from "./commands/codegen.js";
+const require = createRequire(import.meta.url);
+const pkg = require("../package.json");
+/** Validate required options + generate. Exits the process on any failure (2=usage, 1=generation). */
+function generateOrExit(opts) {
+    if (!opts.lang) {
+        process.stderr.write("bc: --lang <emitter> is required\n");
+        process.exit(2);
+    }
+    if (!opts.in) {
+        process.stderr.write("bc: --in <ir-doc.json> is required\n");
+        process.exit(2);
+    }
+    try {
+        return generateFromDoc(readDoc(opts.in), opts.lang, opts.runtimeImport);
+    }
+    catch (e) {
+        process.stderr.write(`bc: ${e instanceof Error ? e.message : String(e)}\n`);
+        process.exit(1);
+    }
+}
+const handlers = {
+    // ── generate ─────────────────────────────────────────────────────────────
+    generate: async (opts) => {
+        const code = generateOrExit(opts);
+        if (opts.out)
+            writeFileSync(opts.out, code);
+        else
+            process.stdout.write(code);
+    },
+    // ── check ────────────────────────────────────────────────────────────────
+    check: async (opts) => {
+        if (!opts.out) {
+            process.stderr.write("bc: check requires --out <file> to diff against\n");
+            process.exit(2);
+        }
+        const code = generateOrExit(opts);
+        let committed;
+        try {
+            committed = readFileSync(opts.out, "utf8");
+        }
+        catch {
+            process.stderr.write(`bc: DRIFT — --out '${opts.out}' does not exist (nothing to check against)\n`);
+            process.exit(1);
+        }
+        if (committed !== code) {
+            process.stderr.write(`bc: DRIFT — ${opts.out} differs from a fresh generation. Re-bake with: ` +
+                `bc generate --lang ${opts.lang} --in ${opts.in} --out ${opts.out}\n`);
+            process.exit(1);
+        }
+        process.stdout.write(`bc: up to date — ${opts.out}\n`);
+    },
+};
+createProgram(handlers, pkg.version).parse();
+//# sourceMappingURL=cli.js.map

package/dist/cli.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cli.js","sourceRoot":"","sources":["../src/cli.ts"],"names":[],"mappings":";AACA,+EAA+E;AAC/E,uEAAuE;AACvE,EAAE;AACF,8EAA8E;AAC9E,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,sCAAsC;AACtC,EAAE;AACF,6FAA6F;AAC7F,6FAA6F;AAC7F,EAAE;AACF,wEAAwE;AACxE,+FAA+F;AAC/F,EAAE;AACF,gGAAgG;AAChG,8DAA8D;AAC9D,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACtD,OAAO,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAC5C,OAAO,EAAE,aAAa,EAAwB,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAEjE,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC/C,MAAM,GAAG,GAAG,OAAO,CAAC,iBAAiB,CAAwB,CAAC;AAU9D,sGAAsG;AACtG,SAAS,cAAc,CAAC,IAAoB;IAC1C,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACf,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oCAAoC,CAAC,CAAC;QAC3D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC;QACb,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,sCAAsC,CAAC,CAAC;QAC7D,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;IACD,IAAI,CAAC;QACH,OAAO,eAAe,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,CAAC;IAC1E,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC5E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,MAAM,QAAQ,GAAoB;IAChC,4EAA4E;IAC5E,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QACvB,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,IAAI,CAAC,GAAG;YAAE,aAAa,CAAC,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;;YACvC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAClC,CAAC;IAED,4EAA4E;IAC5E,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE;QACpB,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC;YACd,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,mDAAmD,CAAC,CAAC;YAC1E,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,MAAM,IAAI,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,SAAiB,CAAC;QACtB,IAAI,CAAC;YACH,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;QAC7C,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,sBAAsB,IAAI,CAAC,GAAG,+CAA+C,CAC9E,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,OAAO,CAAC,MAAM,CAAC,KAAK,CAClB,eAAe,IAAI,CAAC,GAAG,kDAAkD;gBACvE,sBAAsB,IAAI,CAAC,IAAI,SAAS,IAAI,CAAC,EAAE,UAAU,IAAI,CAAC,GAAG,IAAI,CACxE,CAAC;YACF,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QAClB,CAAC;QACD,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,oBAAoB,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;IACzD,CAAC;CACF,CAAC;AAEF,aAAa,CAAC,QAAQ,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,CAAC"}

package/dist/commands/codegen.d.ts

@@ -0,0 +1,6 @@
+import { type ComponentGraphIRDoc } from "../index.js";
+/** A serialized IR doc → the native module source (same path as the in-process API). */
+export declare function generateFromDoc(doc: ComponentGraphIRDoc, language: string, runtimeImport?: string): string;
+/** Read + parse a serialized ComponentGraphIRDoc from disk. */
+export declare function readDoc(inPath: string): ComponentGraphIRDoc;
+//# sourceMappingURL=codegen.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"codegen.d.ts","sourceRoot":"","sources":["../../src/commands/codegen.ts"],"names":[],"mappings":"AAYA,OAAO,EAIL,KAAK,mBAAmB,EACzB,MAAM,aAAa,CAAC;AAErB,wFAAwF;AACxF,wBAAgB,eAAe,CAC7B,GAAG,EAAE,mBAAmB,EACxB,QAAQ,EAAE,MAAM,EAChB,aAAa,CAAC,EAAE,MAAM,GACrB,MAAM,CAYR;AAED,+DAA+D;AAC/D,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,mBAAmB,CAY3D"}

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