behavior-contracts 0.1.3 → 0.2.0

package/dist/generator/emit-rust.js

@@ -0,0 +1,125 @@
+import { emitDocLiteral } from "./literal.js";
+function rustStrLit(s) {
+    // 識別子・fingerprint 用（ASCII 前提だが JSON エスケープで安全側に倒す）。
+    return JSON.stringify(s);
+}
+/** rustfmt の fits-on-one-line 規則を模倣した COMPONENT_NAMES 配列 emit。 */
+function componentNamesConst(names) {
+    const items = names.map(rustStrLit);
+    const oneLine = `pub const COMPONENT_NAMES: [&str; ${names.length}] = [${items.join(", ")}];`;
+    if (oneLine.length <= 100)
+        return oneLine;
+    return `pub const COMPONENT_NAMES: [&str; ${names.length}] = [\n${items.map((s) => `    ${s},`).join("\n")}\n];`;
+}
+function emit(ctx) {
+    const { fingerprint, specVersions, componentNames, runtimeImport } = ctx;
+    const irLiteral = emitDocLiteral(ctx.ir, "rust", 1);
+    return `// GENERATED by behavior-contracts common generator (bc#13) — DO NOT EDIT.
+// Input: portable component-graph IR only (scp-ir-architecture.md §5/§7.4).
+// This module is the codegen endpoint (§7.3 endpoint 3): the IR is embedded as
+// NATIVE json! constructor code (compile-time checked; no JSON-text parsing at
+// runtime) and handed to the EXISTING runtime core (run_behavior) — no execution
+// logic is generated. Handlers are ALWAYS injected at the boundary
+// (IR + {effects,config,hooks} — concept.md §4.4); they are never generated.
+//
+// Const deviation (documented): serde_json::Value is not const-constructible, so
+// the IR is built ONCE on first use behind std::sync::LazyLock (requires Rust
+// >= 1.80). The first-use fail-closed checks (#208 prepared-artifact discipline)
+// run inside the initializer: a spec-version skew or fingerprint mismatch panics
+// LOUDLY before any behavior can run.
+// irFingerprint: ${fingerprint}
+
+use ${runtimeImport}::{
+    fingerprint_component_graph, run_behavior, BehaviorError, ComponentExec, SpecVersions, Value,
+};
+use serde_json::{json, Value as J};
+use std::sync::LazyLock;
+
+/// Spec versions baked at generation time (fail-closed comparison on first use).
+pub const EXPECTED_SPEC_VERSIONS: [(&str, i64); 3] =
+    [("behavior", ${specVersions.behavior}), ("expression", ${specVersions.expression}), ("plan", ${specVersions.plan})];
+
+/// FNV-1a 64 fingerprint of the source portable IR (canonical_json discipline, #208).
+pub const IR_FINGERPRINT: &str = ${rustStrLit(fingerprint)};
+
+/// Component names exposed by bind(), in IR declaration order.
+${componentNamesConst(componentNames)}
+
+/// The portable component-graph IR, built once on first use from native json!
+/// constructor code (no JSON-text parsing at runtime; see the const-deviation
+/// note in the module header).
+pub static IR: LazyLock<J> = LazyLock::new(|| {
+    let ir = json!(${irLiteral});
+    check_generated_module(&ir);
+    ir
+});
+
+fn runtime_spec_version(key: &str) -> i64 {
+    match key {
+        "behavior" => SpecVersions::BEHAVIOR,
+        "expression" => SpecVersions::EXPRESSION,
+        "plan" => SpecVersions::PLAN,
+        other => {
+            panic!("behavior-contracts generated module: unknown spec key '{other}' (fail-closed)")
+        }
+    }
+}
+
+// First-use fail-closed checks (#208 prepared-artifact discipline).
+fn check_generated_module(ir: &J) {
+    for (key, want) in EXPECTED_SPEC_VERSIONS {
+        let got = runtime_spec_version(key);
+        if got != want {
+            panic!("behavior-contracts generated module: spec-version skew for '{key}' (generated={want}, runtime={got}) — regenerate against this runtime (fail-closed)");
+        }
+    }
+    for name in COMPONENT_NAMES {
+        let found = ir["components"]
+            .as_array()
+            .is_some_and(|cs| cs.iter().any(|c| c["name"] == name));
+        if !found {
+            panic!("behavior-contracts generated module: component '{name}' missing from the embedded IR — the generated code was modified or corrupted (fail-closed)");
+        }
+    }
+    let got_fp = fingerprint_component_graph(ir).unwrap_or_else(|e| {
+        panic!(
+            "behavior-contracts generated module: fingerprint recompute failed: {e} (fail-closed)"
+        )
+    });
+    if got_fp != IR_FINGERPRINT {
+        panic!("behavior-contracts generated module: IR fingerprint mismatch (baked={IR_FINGERPRINT}, embedded literal={got_fp}) — the generated code was modified or corrupted (fail-closed)");
+    }
+}
+
+/// Injected-handler accessor over the embedded IR (see [\`bind\`]). Rust ownership
+/// makes a map of per-component closures sharing one \`&mut handlers\` impractical,
+/// so the per-component executor surface is \`call(name, input)\` with the
+/// component name checked against [\`COMPONENT_NAMES\`] by the runtime core.
+pub struct Bound<H: ComponentExec> {
+    handlers: H,
+}
+
+/// bind — inject handlers (boundary injection; catalog name → implementation)
+/// and get an executor over the embedded IR. Each \`call\` delegates to the
+/// runtime core's run_behavior (dynamic-path equivalent — §7.3). Forces the
+/// first-use fail-closed checks.
+pub fn bind<H: ComponentExec>(handlers: H) -> Bound<H> {
+    LazyLock::force(&IR);
+    Bound { handlers }
+}
+
+impl<H: ComponentExec> Bound<H> {
+    pub fn call(&mut self, name: &str, input: &[(String, Value)]) -> Result<Value, BehaviorError> {
+        run_behavior(&IR, &mut self.handlers, input, Some(name))
+    }
+}
+`;
+}
+export const rustEmitter = {
+    language: "rust",
+    fileExtension: ".rs",
+    defaultRuntimeImport: "behavior_contracts",
+    filenameHint: "behaviors_generated.rs",
+    emit,
+};
+//# sourceMappingURL=emit-rust.js.map

package/dist/generator/emit-rust.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-rust.js","sourceRoot":"","sources":["../../src/generator/emit-rust.ts"],"names":[],"mappings":"AAuBA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,SAAS,UAAU,CAAC,CAAS;IAC3B,mDAAmD;IACnD,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,kEAAkE;AAClE,SAAS,mBAAmB,CAAC,KAAe;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,qCAAqC,KAAK,CAAC,MAAM,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9F,IAAI,OAAO,CAAC,MAAM,IAAI,GAAG;QAAE,OAAO,OAAO,CAAC;IAC1C,OAAO,qCAAqC,KAAK,CAAC,MAAM,UAAU,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC;AACnH,CAAC;AAED,SAAS,IAAI,CAAC,GAAgB;IAC5B,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,GAAG,CAAC;IACzE,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC;IACpD,OAAO;;;;;;;;;;;;;oBAaW,WAAW;;MAEzB,aAAa;;;;;;;;oBAQC,YAAY,CAAC,QAAQ,qBAAqB,YAAY,CAAC,UAAU,eAAe,YAAY,CAAC,IAAI;;;mCAGlF,UAAU,CAAC,WAAW,CAAC;;;EAGxD,mBAAmB,CAAC,cAAc,CAAC;;;;;;qBAMhB,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAgE7B,CAAC;AACF,CAAC;AAED,MAAM,CAAC,MAAM,WAAW,GAAkB;IACxC,QAAQ,EAAE,MAAM;IAChB,aAAa,EAAE,KAAK;IACpB,oBAAoB,EAAE,oBAAoB;IAC1C,YAAY,EAAE,wBAAwB;IACtC,IAAI;CACL,CAAC"}

package/dist/generator/emit-typescript.d.ts

@@ -0,0 +1,11 @@
+/**
+ * emit-typescript.ts — TS emitter（共通 Generator, bc#13 SP1）。
+ *
+ * 生成物: 可搬 IR を **型付き const リテラル**（`ComponentGraphIR`）として埋め込み、
+ * runtime-core の `runBehavior` / `runBehaviorAsync` に handler 注入で渡す薄い accessor
+ * （`bind` / `bindAsync`）を公開する TS モジュール。実行ロジックは一切生成しない。
+ * 型付けにより runtime API / IR / generator のドリフトはコンパイルエラーになる（目的2）。
+ */
+import type { EmitterPlugin } from "./core.js";
+export declare const typescriptEmitter: EmitterPlugin;
+//# sourceMappingURL=emit-typescript.d.ts.map

package/dist/generator/emit-typescript.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-typescript.d.ts","sourceRoot":"","sources":["../../src/generator/emit-typescript.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAgE5D,eAAO,MAAM,iBAAiB,EAAE,aAK/B,CAAC"}

package/dist/generator/emit-typescript.js

@@ -0,0 +1,68 @@
+import { emitDocLiteral } from "./literal.js";
+function emit(ctx) {
+    const { fingerprint, specVersions, componentNames, runtimeImport } = ctx;
+    const spec = runtimeImport;
+    const names = componentNames.map((n) => JSON.stringify(n)).join(", ");
+    const irLiteral = emitDocLiteral(ctx.ir, "ts");
+    return `// GENERATED by behavior-contracts common generator (bc#13) — DO NOT EDIT.
+// Input: portable component-graph IR only (scp-ir-architecture.md §5/§7.4).
+// This module is the codegen endpoint (§7.3 endpoint 3): the IR is embedded as a
+// typed native literal and handed to the EXISTING runtime core (runBehavior) —
+// no execution logic is generated. Handlers are ALWAYS injected at the boundary
+// (IR + {effects,config,hooks} — concept.md §4.4); they are never generated.
+// irFingerprint: ${fingerprint}
+import { SPEC_VERSIONS, fingerprintComponentGraph, runBehavior, runBehaviorAsync } from ${JSON.stringify(spec)};
+import type { AsyncHandlers, ComponentGraphIR, Handlers, Scope, Value } from ${JSON.stringify(spec)};
+
+/** Spec versions baked at generation time (fail-closed constant comparison at load). */
+export const EXPECTED_SPEC_VERSIONS = { behavior: ${specVersions.behavior}, expression: ${specVersions.expression}, plan: ${specVersions.plan} } as const;
+
+/** FNV-1a 64 fingerprint of the source portable IR (canonicalJson discipline, #208). */
+export const IR_FINGERPRINT = ${JSON.stringify(fingerprint)};
+
+/** Component names exposed by bind()/bindAsync(), in IR declaration order. */
+export const COMPONENT_NAMES: readonly string[] = [${names}];
+
+/** The portable component-graph IR, embedded as a typed native literal (no JSON parse at runtime). */
+export const IR: ComponentGraphIR = ${irLiteral};
+
+// ── load-time fail-closed checks (#208 prepared-artifact discipline) ─────────
+for (const [k, want] of Object.entries(EXPECTED_SPEC_VERSIONS)) {
+  const got = (SPEC_VERSIONS as Record<string, number>)[k];
+  if (got !== want)
+    throw new Error(
+      \`behavior-contracts generated module: spec-version skew for '\${k}' (generated=\${want}, runtime=\${got}) — regenerate against this runtime (fail-closed)\`,
+    );
+}
+if (fingerprintComponentGraph(IR) !== IR_FINGERPRINT)
+  throw new Error(
+    \`behavior-contracts generated module: IR fingerprint mismatch (baked=\${IR_FINGERPRINT}, embedded literal=\${fingerprintComponentGraph(IR)}) — the generated code was modified or corrupted (fail-closed)\`,
+  );
+
+/**
+ * bind — inject handlers (boundary injection; catalog name → implementation) and
+ * get one callable per component. Each call delegates to the runtime core's
+ * runBehavior over the embedded IR (dynamic-path equivalent — §7.3).
+ */
+export function bind(handlers: Handlers): Record<string, (input?: Scope) => Value> {
+  const bound: Record<string, (input?: Scope) => Value> = {};
+  for (const name of COMPONENT_NAMES) bound[name] = (input: Scope = {}) => runBehavior(IR, handlers, input, name);
+  return bound;
+}
+
+/** bindAsync — as bind, over runBehaviorAsync (bounded stage parallelism per plan.concurrency). */
+export function bindAsync(handlers: AsyncHandlers): Record<string, (input?: Scope) => Promise<Value>> {
+  const bound: Record<string, (input?: Scope) => Promise<Value>> = {};
+  for (const name of COMPONENT_NAMES)
+    bound[name] = (input: Scope = {}) => runBehaviorAsync(IR, handlers, input, name);
+  return bound;
+}
+`;
+}
+export const typescriptEmitter = {
+    language: "typescript",
+    fileExtension: ".ts",
+    defaultRuntimeImport: "behavior-contracts",
+    emit,
+};
+//# sourceMappingURL=emit-typescript.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit-typescript.js","sourceRoot":"","sources":["../../src/generator/emit-typescript.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAC;AAE9C,SAAS,IAAI,CAAC,GAAgB;IAC5B,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,GAAG,CAAC;IACzE,MAAM,IAAI,GAAG,aAAa,CAAC;IAC3B,MAAM,KAAK,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtE,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC/C,OAAO;;;;;;oBAMW,WAAW;0FAC2D,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;+EAC/B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;;;oDAG/C,YAAY,CAAC,QAAQ,iBAAiB,YAAY,CAAC,UAAU,WAAW,YAAY,CAAC,IAAI;;;gCAG7G,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;;;qDAGN,KAAK;;;sCAGpB,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiC9C,CAAC;AACF,CAAC;AAED,MAAM,CAAC,MAAM,iBAAiB,GAAkB;IAC9C,QAAQ,EAAE,YAAY;IACtB,aAAa,EAAE,KAAK;IACpB,oBAAoB,EAAE,oBAAoB;IAC1C,IAAI;CACL,CAAC"}

package/dist/generator/fingerprint.d.ts

@@ -0,0 +1,14 @@
+/** fingerprint 入力の不変条件違反（fail-closed）。 */
+export declare class FingerprintFailure extends Error {
+    code: "UNSAFE_NUMBER" | "INVALID_VALUE";
+    constructor(code: "UNSAFE_NUMBER" | "INVALID_VALUE", message: string);
+}
+/**
+ * fingerprintComponentGraph — 可搬 IR ドキュメントの決定的 fingerprint。
+ *
+ * `"fnv1a64:<16hex>"` を返す。同一構造の IR（キー順・整数/整数値float の表記差を除く）は
+ * 言語（TS/Python）を跨いで同一の fingerprint になる。生成モジュールのロード時
+ * 自己検査・consumer 側の「live IR ↔ 生成コード」照合（#208 の prepared-loader と同型）に使う。
+ */
+export declare function fingerprintComponentGraph(doc: unknown): string;
+//# sourceMappingURL=fingerprint.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.d.ts","sourceRoot":"","sources":["../../src/generator/fingerprint.ts"],"names":[],"mappings":"AAuBA,0CAA0C;AAC1C,qBAAa,kBAAmB,SAAQ,KAAK;IAC3C,IAAI,EAAE,eAAe,GAAG,eAAe,CAAC;gBAC5B,IAAI,EAAE,eAAe,GAAG,eAAe,EAAE,OAAO,EAAE,MAAM;CAKrE;AA8DD;;;;;;GAMG;AACH,wBAAgB,yBAAyB,CAAC,GAAG,EAAE,OAAO,GAAG,MAAM,CAG9D"}

package/dist/generator/fingerprint.js

@@ -0,0 +1,74 @@
+import { canonicalJson } from "../canonical.js";
+/** fingerprint 入力の不変条件違反（fail-closed）。 */
+export class FingerprintFailure extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.code = code;
+        this.name = "FingerprintFailure";
+    }
+}
+/**
+ * JSON ドキュメント → Value ドメイン（整数値 number は int=bigint へ正準化）。
+ * canonicalJson の値モデル（bigint=int / number=float）に合わせる。
+ */
+function toValueDomain(doc, path) {
+    if (doc === null || typeof doc === "boolean" || typeof doc === "string")
+        return doc;
+    if (typeof doc === "number") {
+        if (Number.isInteger(doc) && !Object.is(doc, -0)) {
+            if (Math.abs(doc) >= 2 ** 53)
+                throw new FingerprintFailure("UNSAFE_NUMBER", `integral number ${doc} at ${path} exceeds float64-exact range; portable IR must use {int:"..."} (fail-closed)`);
+            return BigInt(doc);
+        }
+        return doc; // 非整数 / -0.0 は float（canonicalJson が pyFloatRepr で直列化）
+    }
+    if (Array.isArray(doc))
+        return doc.map((v, i) => toValueDomain(v, `${path}[${i}]`));
+    if (typeof doc === "object") {
+        const out = {};
+        for (const [k, v] of Object.entries(doc))
+            out[k] = toValueDomain(v, `${path}.${k}`);
+        return out;
+    }
+    throw new FingerprintFailure("INVALID_VALUE", `value of type ${typeof doc} at ${path} cannot appear in a portable IR document (fail-closed)`);
+}
+/** UTF-8 エンコード（依存ゼロ・決定的。lib 制約により TextEncoder を使わない）。 */
+function utf8Bytes(s) {
+    const out = [];
+    for (const ch of s) {
+        const cp = ch.codePointAt(0);
+        if (cp <= 0x7f)
+            out.push(cp);
+        else if (cp <= 0x7ff)
+            out.push(0xc0 | (cp >> 6), 0x80 | (cp & 0x3f));
+        else if (cp <= 0xffff)
+            out.push(0xe0 | (cp >> 12), 0x80 | ((cp >> 6) & 0x3f), 0x80 | (cp & 0x3f));
+        else
+            out.push(0xf0 | (cp >> 18), 0x80 | ((cp >> 12) & 0x3f), 0x80 | ((cp >> 6) & 0x3f), 0x80 | (cp & 0x3f));
+    }
+    return out;
+}
+/** FNV-1a 64（offset 0xcbf29ce484222325, prime 0x100000001b3）→ 16桁小文字 hex。 */
+function fnv1a64(bytes) {
+    let h = 0xcbf29ce484222325n;
+    const prime = 0x100000001b3n;
+    const mask = 0xffffffffffffffffn;
+    for (const b of bytes) {
+        h ^= BigInt(b);
+        h = (h * prime) & mask;
+    }
+    return h.toString(16).padStart(16, "0");
+}
+/**
+ * fingerprintComponentGraph — 可搬 IR ドキュメントの決定的 fingerprint。
+ *
+ * `"fnv1a64:<16hex>"` を返す。同一構造の IR（キー順・整数/整数値float の表記差を除く）は
+ * 言語（TS/Python）を跨いで同一の fingerprint になる。生成モジュールのロード時
+ * 自己検査・consumer 側の「live IR ↔ 生成コード」照合（#208 の prepared-loader と同型）に使う。
+ */
+export function fingerprintComponentGraph(doc) {
+    const s = canonicalJson(toValueDomain(doc, "$"));
+    return "fnv1a64:" + fnv1a64(utf8Bytes(s));
+}
+//# sourceMappingURL=fingerprint.js.map

package/dist/generator/fingerprint.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"fingerprint.js","sourceRoot":"","sources":["../../src/generator/fingerprint.ts"],"names":[],"mappings":"AAqBA,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAEhD,0CAA0C;AAC1C,MAAM,OAAO,kBAAmB,SAAQ,KAAK;IAC3C,IAAI,CAAoC;IACxC,YAAY,IAAuC,EAAE,OAAe;QAClE,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;QACjB,IAAI,CAAC,IAAI,GAAG,oBAAoB,CAAC;IACnC,CAAC;CACF;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,GAAY,EAAE,IAAY;IAC/C,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,SAAS,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC;IACpF,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,IAAI,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACjD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;gBAC1B,MAAM,IAAI,kBAAkB,CAC1B,eAAe,EACf,mBAAmB,GAAG,OAAO,IAAI,8EAA8E,CAChH,CAAC;YACJ,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;QACrB,CAAC;QACD,OAAO,GAAG,CAAC,CAAC,uDAAuD;IACrE,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACpF,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,GAAG,GAA0B,EAAE,CAAC;QACtC,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,GAAG,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;QACpF,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,IAAI,kBAAkB,CAC1B,eAAe,EACf,iBAAiB,OAAO,GAAG,OAAO,IAAI,wDAAwD,CAC/F,CAAC;AACJ,CAAC;AAED,yDAAyD;AACzD,SAAS,SAAS,CAAC,CAAS;IAC1B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC9B,IAAI,EAAE,IAAI,IAAI;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;aACxB,IAAI,EAAE,IAAI,KAAK;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;aAChE,IAAI,EAAE,IAAI,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;;YAEhG,GAAG,CAAC,IAAI,CACN,IAAI,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,EACjB,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC,EAC1B,IAAI,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC,EACzB,IAAI,GAAG,CAAC,EAAE,GAAG,IAAI,CAAC,CACnB,CAAC;IACN,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,6EAA6E;AAC7E,SAAS,OAAO,CAAC,KAAe;IAC9B,IAAI,CAAC,GAAG,mBAAmB,CAAC;IAC5B,MAAM,KAAK,GAAG,cAAc,CAAC;IAC7B,MAAM,IAAI,GAAG,mBAAmB,CAAC;IACjC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC;QACf,CAAC,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC;IACzB,CAAC;IACD,OAAO,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;AAC1C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CAAC,GAAY;IACpD,MAAM,CAAC,GAAG,aAAa,CAAC,aAAa,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC;IACjD,OAAO,UAAU,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC"}

package/dist/generator/index.d.ts

@@ -0,0 +1,9 @@
+export { generateModule, registerEmitter, registeredLanguages, GeneratorFailure, } from "./core.js";
+export type { GenerateOptions, GeneratedModule, EmitContext, EmitterPlugin, GeneratorFailureCode, } from "./core.js";
+export { fingerprintComponentGraph, FingerprintFailure } from "./fingerprint.js";
+export { typescriptEmitter } from "./emit-typescript.js";
+export { pythonEmitter } from "./emit-python.js";
+export { goEmitter } from "./emit-go.js";
+export { rustEmitter } from "./emit-rust.js";
+export { phpEmitter } from "./emit-php.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/generator/index.ts"],"names":[],"mappings":"AAmBA,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,WAAW,CAAC;AACnB,YAAY,EACV,eAAe,EACf,eAAe,EACf,WAAW,EACX,aAAa,EACb,oBAAoB,GACrB,MAAM,WAAW,CAAC;AACnB,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}

package/dist/generator/index.js

@@ -0,0 +1,25 @@
+/**
+ * generator/index.ts — 共通 Generator の公開面（bc#13 SP1 + SP2）。
+ *
+ * 組み込み emitter（typescript / python / go / rust / php）を登録して公開する。
+ * 追加言語は emitter plugin を登録するだけでよい（core は言語中立）。
+ */
+import { registerEmitter } from "./core.js";
+import { typescriptEmitter } from "./emit-typescript.js";
+import { pythonEmitter } from "./emit-python.js";
+import { goEmitter } from "./emit-go.js";
+import { rustEmitter } from "./emit-rust.js";
+import { phpEmitter } from "./emit-php.js";
+registerEmitter(typescriptEmitter);
+registerEmitter(pythonEmitter);
+registerEmitter(goEmitter);
+registerEmitter(rustEmitter);
+registerEmitter(phpEmitter);
+export { generateModule, registerEmitter, registeredLanguages, GeneratorFailure, } from "./core.js";
+export { fingerprintComponentGraph, FingerprintFailure } from "./fingerprint.js";
+export { typescriptEmitter } from "./emit-typescript.js";
+export { pythonEmitter } from "./emit-python.js";
+export { goEmitter } from "./emit-go.js";
+export { rustEmitter } from "./emit-rust.js";
+export { phpEmitter } from "./emit-php.js";
+//# sourceMappingURL=index.js.map

package/dist/generator/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/generator/index.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AACH,OAAO,EAAE,eAAe,EAAE,MAAM,WAAW,CAAC;AAC5C,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC;AAE3C,eAAe,CAAC,iBAAiB,CAAC,CAAC;AACnC,eAAe,CAAC,aAAa,CAAC,CAAC;AAC/B,eAAe,CAAC,SAAS,CAAC,CAAC;AAC3B,eAAe,CAAC,WAAW,CAAC,CAAC;AAC7B,eAAe,CAAC,UAAU,CAAC,CAAC;AAE5B,OAAO,EACL,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,gBAAgB,GACjB,MAAM,WAAW,CAAC;AAQnB,OAAO,EAAE,yBAAyB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AACjF,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AACzD,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AACjD,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,eAAe,CAAC"}

package/dist/generator/literal.d.ts

@@ -0,0 +1,8 @@
+export type LiteralStyle = "ts" | "py" | "go" | "rust" | "php";
+/**
+ * emitDocLiteral — ドキュメントを言語ネイティブのリテラル式として emit する。
+ * インデント 1 段 = dialect の indentUnit（ts/py 2 space・go tab・rust/php 4 space）・
+ * 複数行（JSON.stringify(v, null, indent) と同じレイアウト規則）。
+ */
+export declare function emitDocLiteral(doc: unknown, style: LiteralStyle, indent?: number, path?: string): string;
+//# sourceMappingURL=literal.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"literal.d.ts","sourceRoot":"","sources":["../../src/generator/literal.ts"],"names":[],"mappings":"AA6BA,MAAM,MAAM,YAAY,GAAG,IAAI,GAAG,IAAI,GAAG,IAAI,GAAG,MAAM,GAAG,KAAK,CAAC;AAoJ/D;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,MAAM,SAAI,EAAE,IAAI,SAAM,GAAG,MAAM,CA0BhG"}

package/dist/generator/literal.js

@@ -0,0 +1,191 @@
+/**
+ * literal.ts — 可搬 IR ドキュメントの決定的ネイティブリテラル emit（共通 Generator 内部）。
+ *
+ * 決定性の規律: 入力ドキュメントの**キー順を保存**したまま（ソートしない — port 式の
+ * 評価順序は宣言順が規範で、並べ替えは §7.3 の経路等価を壊し得る）、同一入力から
+ * byte-identical なリテラル文字列を出す。JSON.parse 済みドキュメントが入力なので、
+ * キー順は JSON テキストの順（JS の integer-like キー正規化を含む）で既に決定的。
+ * キーソートは fingerprint 側だけで行う（SP1 audit の SP2 指針 (a)）。
+ *
+ * スカラ規律（クロス言語）:
+ *   - 文字列: 言語別エスケープ（ts/py/go は JSON エスケープで合法。rust は \u{...} 形、
+ *     php は double-quote + $ エスケープ）。
+ *   - 整数値 number: 整数リテラル（Python は int / Go は json.Number("…") — dynamic 経路の
+ *     パーサ出力と一致）。|n| >= 2^53 は fail-closed（fingerprint.ts と同じ規律）。
+ *   - 非整数 number: shortest round-trip 10進（`String(n)` — 全対象言語で合法なリテラル）。
+ *   - -0.0: `-0.0` と emit（JSON.parse は -0 を保存する — 落とすと canonical 出力が発散）。
+ *   - true/false/null: 言語別トークン。
+ *   - undefined / 関数等: fail-closed（JSON.stringify の「黙って落とす」を許さない）。
+ *
+ * 言語別の複合リテラル形（各 emitter の実行 IF に合わせる）:
+ *   - ts:   `{...}` / `[...]`（ComponentGraphIR 型付き const）
+ *   - py:   dict / list
+ *   - go:   `dslcontracts.JObjOf("k", v, …)` / `[]dslcontracts.JNode{…}` / `json.Number("…")`
+ *           （RunBehavior の消費する JNode ドメイン。インデントは gofmt 規範の tab）
+ *   - rust: serde_json `json!({...})` の中身（JSON 形。トークンは Rust 字句で合法）
+ *   - php:  `(object) [...]` / `[...]`（Behavior::runBehavior の stdClass/array ドメイン）
+ */
+import { FingerprintFailure } from "./fingerprint.js";
+// ── 言語別文字列エスケープ ─────────────────────────────────────────────────────
+/** Rust 文字列リテラル（\b/\f/\uXXXX は Rust に無いので \u{…} を使う。非 ASCII は素通し）。 */
+function rustStr(s) {
+    let out = '"';
+    for (const ch of s) {
+        const cp = ch.codePointAt(0);
+        if (ch === '"')
+            out += '\\"';
+        else if (ch === "\\")
+            out += "\\\\";
+        else if (ch === "\n")
+            out += "\\n";
+        else if (ch === "\r")
+            out += "\\r";
+        else if (ch === "\t")
+            out += "\\t";
+        else if (cp < 0x20)
+            out += `\\u{${cp.toString(16)}}`;
+        else
+            out += ch;
+    }
+    return out + '"';
+}
+/** PHP double-quote 文字列リテラル（$ は補間を防ぐためエスケープ。制御は \u{…}）。 */
+function phpStr(s) {
+    let out = '"';
+    for (const ch of s) {
+        const cp = ch.codePointAt(0);
+        if (ch === '"')
+            out += '\\"';
+        else if (ch === "\\")
+            out += "\\\\";
+        else if (ch === "$")
+            out += "\\$";
+        else if (ch === "\n")
+            out += "\\n";
+        else if (ch === "\r")
+            out += "\\r";
+        else if (ch === "\t")
+            out += "\\t";
+        else if (cp < 0x20)
+            out += `\\u{${cp.toString(16)}}`;
+        else
+            out += ch;
+    }
+    return out + '"';
+}
+const jsonishArr = (open, close) => (items, pad, padIn) => `${open}\n${items.map((v) => padIn + v).join(",\n")}\n${pad}${close}`;
+const DIALECTS = {
+    ts: {
+        indentUnit: "  ",
+        null: "null",
+        true: "true",
+        false: "false",
+        str: (s) => JSON.stringify(s),
+        int: (t) => t,
+        float: (t) => t,
+        emptyArr: "[]",
+        emptyObj: "{}",
+        arr: jsonishArr("[", "]"),
+        obj: (entries, pad, padIn) => `{\n${entries.map(([k, v]) => `${padIn}${JSON.stringify(k)}: ${v}`).join(",\n")}\n${pad}}`,
+    },
+    py: {
+        indentUnit: "  ",
+        null: "None",
+        true: "True",
+        false: "False",
+        str: (s) => JSON.stringify(s),
+        int: (t) => t,
+        float: (t) => t,
+        emptyArr: "[]",
+        emptyObj: "{}",
+        arr: jsonishArr("[", "]"),
+        obj: (entries, pad, padIn) => `{\n${entries.map(([k, v]) => `${padIn}${JSON.stringify(k)}: ${v}`).join(",\n")}\n${pad}}`,
+    },
+    go: {
+        indentUnit: "\t",
+        null: "nil",
+        true: "true",
+        false: "false",
+        str: (s) => JSON.stringify(s), // JSON エスケープは Go 文字列リテラルとして合法
+        int: (t) => `json.Number("${t}")`,
+        float: (t) => `json.Number("${t}")`,
+        emptyArr: "[]dslcontracts.JNode{}",
+        emptyObj: "dslcontracts.JObjOf()",
+        arr: (items, pad, padIn) => `[]dslcontracts.JNode{\n${items.map((v) => `${padIn}${v},`).join("\n")}\n${pad}}`,
+        obj: (entries, pad, padIn) => `dslcontracts.JObjOf(\n${entries.map(([k, v]) => `${padIn}${JSON.stringify(k)}, ${v},`).join("\n")}\n${pad})`,
+    },
+    rust: {
+        indentUnit: "    ",
+        null: "null", // json! マクロ内の JSON トークン
+        true: "true",
+        false: "false",
+        str: rustStr,
+        int: (t) => t,
+        float: (t) => t,
+        emptyArr: "[]",
+        emptyObj: "{}",
+        arr: jsonishArr("[", "]"),
+        obj: (entries, pad, padIn) => `{\n${entries.map(([k, v]) => `${padIn}${rustStr(k)}: ${v}`).join(",\n")}\n${pad}}`,
+    },
+    php: {
+        indentUnit: "    ",
+        null: "null",
+        true: "true",
+        false: "false",
+        str: phpStr,
+        int: (t) => t,
+        float: (t) => t,
+        emptyArr: "[]",
+        emptyObj: "(object) []",
+        arr: (items, pad, padIn) => `[\n${items.map((v) => `${padIn}${v},`).join("\n")}\n${pad}]`,
+        obj: (entries, pad, padIn) => `(object) [\n${entries.map(([k, v]) => `${padIn}${phpStr(k)} => ${v},`).join("\n")}\n${pad}]`,
+    },
+};
+function scalarNumber(n, path, d) {
+    if (!Number.isFinite(n))
+        throw new FingerprintFailure("INVALID_VALUE", `non-finite number at ${path} cannot be emitted (fail-closed)`);
+    if (Object.is(n, -0))
+        return d.float("-0.0");
+    if (Number.isInteger(n)) {
+        if (Math.abs(n) >= 2 ** 53)
+            throw new FingerprintFailure("UNSAFE_NUMBER", `integral number ${n} at ${path} exceeds float64-exact range; portable IR must use {int:"..."} (fail-closed)`);
+        return d.int(String(n));
+    }
+    return d.float(String(n)); // shortest round-trip（"0.1" / "1e-7" — 全対象言語で合法）
+}
+/**
+ * emitDocLiteral — ドキュメントを言語ネイティブのリテラル式として emit する。
+ * インデント 1 段 = dialect の indentUnit（ts/py 2 space・go tab・rust/php 4 space）・
+ * 複数行（JSON.stringify(v, null, indent) と同じレイアウト規則）。
+ */
+export function emitDocLiteral(doc, style, indent = 0, path = "$") {
+    const d = DIALECTS[style];
+    const pad = d.indentUnit.repeat(indent);
+    const padIn = d.indentUnit.repeat(indent + 1);
+    if (doc === null)
+        return d.null;
+    if (typeof doc === "boolean")
+        return doc ? d.true : d.false;
+    if (typeof doc === "string")
+        return d.str(doc);
+    if (typeof doc === "number")
+        return scalarNumber(doc, path, d);
+    if (Array.isArray(doc)) {
+        if (doc.length === 0)
+            return d.emptyArr;
+        const items = doc.map((v, i) => emitDocLiteral(v, style, indent + 1, `${path}[${i}]`));
+        return d.arr(items, pad, padIn);
+    }
+    if (typeof doc === "object") {
+        const entries = Object.entries(doc);
+        if (entries.length === 0)
+            return d.emptyObj;
+        const emitted = entries.map(([k, v]) => [
+            k,
+            emitDocLiteral(v, style, indent + 1, `${path}.${k}`),
+        ]);
+        return d.obj(emitted, pad, padIn);
+    }
+    throw new FingerprintFailure("INVALID_VALUE", `value of type ${typeof doc} at ${path} cannot be emitted as a portable IR literal (fail-closed)`);
+}
+//# sourceMappingURL=literal.js.map

package/dist/generator/literal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"literal.js","sourceRoot":"","sources":["../../src/generator/literal.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAItD,uEAAuE;AACvE,sEAAsE;AACtE,SAAS,OAAO,CAAC,CAAS;IACxB,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC9B,IAAI,EAAE,KAAK,GAAG;YAAE,GAAG,IAAI,KAAK,CAAC;aACxB,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,IAAI,MAAM,CAAC;aAC/B,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC9B,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC9B,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC9B,IAAI,EAAE,GAAG,IAAI;YAAE,GAAG,IAAI,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;;YAChD,GAAG,IAAI,EAAE,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,GAAG,GAAG,CAAC;AACnB,CAAC;AAED,2DAA2D;AAC3D,SAAS,MAAM,CAAC,CAAS;IACvB,IAAI,GAAG,GAAG,GAAG,CAAC;IACd,KAAK,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACnB,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;QAC9B,IAAI,EAAE,KAAK,GAAG;YAAE,GAAG,IAAI,KAAK,CAAC;aACxB,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,IAAI,MAAM,CAAC;aAC/B,IAAI,EAAE,KAAK,GAAG;YAAE,GAAG,IAAI,KAAK,CAAC;aAC7B,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC9B,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC9B,IAAI,EAAE,KAAK,IAAI;YAAE,GAAG,IAAI,KAAK,CAAC;aAC9B,IAAI,EAAE,GAAG,IAAI;YAAE,GAAG,IAAI,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,GAAG,CAAC;;YAChD,GAAG,IAAI,EAAE,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,GAAG,GAAG,CAAC;AACnB,CAAC;AAsBD,MAAM,UAAU,GAAG,CAAC,IAAY,EAAE,KAAa,EAAE,EAAE,CAAC,CAAC,KAAe,EAAE,GAAW,EAAE,KAAa,EAAE,EAAE,CAClG,GAAG,IAAI,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG,KAAK,EAAE,CAAC;AAExE,MAAM,QAAQ,GAAkC;IAC9C,EAAE,EAAE;QACF,UAAU,EAAE,IAAI;QAChB,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,OAAO;QACd,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAC7B,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACb,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACf,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,IAAI;QACd,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;QACzB,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAC3B,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG;KAC7F;IACD,EAAE,EAAE;QACF,UAAU,EAAE,IAAI;QAChB,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,OAAO;QACd,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;QAC7B,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACb,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACf,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,IAAI;QACd,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;QACzB,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAC3B,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG;KAC7F;IACD,EAAE,EAAE;QACF,UAAU,EAAE,IAAI;QAChB,IAAI,EAAE,KAAK;QACX,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,OAAO;QACd,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,8BAA8B;QAC7D,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI;QACjC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,IAAI;QACnC,QAAQ,EAAE,wBAAwB;QAClC,QAAQ,EAAE,uBAAuB;QACjC,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CACzB,0BAA0B,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG;QACnF,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAC3B,yBAAyB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG;KAChH;IACD,IAAI,EAAE;QACJ,UAAU,EAAE,MAAM;QAClB,IAAI,EAAE,MAAM,EAAE,wBAAwB;QACtC,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,OAAO;QACd,GAAG,EAAE,OAAO;QACZ,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACb,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACf,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,IAAI;QACd,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC;QACzB,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAC3B,MAAM,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,GAAG,GAAG;KACtF;IACD,GAAG,EAAE;QACH,UAAU,EAAE,MAAM;QAClB,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,MAAM;QACZ,KAAK,EAAE,OAAO;QACd,GAAG,EAAE,MAAM;QACX,GAAG,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACb,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QACf,QAAQ,EAAE,IAAI;QACd,QAAQ,EAAE,aAAa;QACvB,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG;QACzF,GAAG,EAAE,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,CAC3B,eAAe,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,GAAG,GAAG;KAChG;CACF,CAAC;AAEF,SAAS,YAAY,CAAC,CAAS,EAAE,IAAY,EAAE,CAAU;IACvD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACrB,MAAM,IAAI,kBAAkB,CAAC,eAAe,EAAE,wBAAwB,IAAI,kCAAkC,CAAC,CAAC;IAChH,IAAI,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAAE,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAC7C,IAAI,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC;QACxB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,EAAE;YACxB,MAAM,IAAI,kBAAkB,CAC1B,eAAe,EACf,mBAAmB,CAAC,OAAO,IAAI,8EAA8E,CAC9G,CAAC;QACJ,OAAO,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IACD,OAAO,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,iDAAiD;AAC9E,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,GAAY,EAAE,KAAmB,EAAE,MAAM,GAAG,CAAC,EAAE,IAAI,GAAG,GAAG;IACtF,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC1B,MAAM,GAAG,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACxC,MAAM,KAAK,GAAG,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC9C,IAAI,GAAG,KAAK,IAAI;QAAE,OAAO,CAAC,CAAC,IAAI,CAAC;IAChC,IAAI,OAAO,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC5D,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IAC/C,IAAI,OAAO,GAAG,KAAK,QAAQ;QAAE,OAAO,YAAY,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,QAAQ,CAAC;QACxC,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;QACvF,OAAO,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IAClC,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAA8B,CAAC,CAAC;QAC/D,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC,QAAQ,CAAC;QAC5C,MAAM,OAAO,GAAuB,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC;YAC1D,CAAC;YACD,cAAc,CAAC,CAAC,EAAE,KAAK,EAAE,MAAM,GAAG,CAAC,EAAE,GAAG,IAAI,IAAI,CAAC,EAAE,CAAC;SACrD,CAAC,CAAC;QACH,OAAO,CAAC,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;IACpC,CAAC;IACD,MAAM,IAAI,kBAAkB,CAC1B,eAAe,EACf,iBAAiB,OAAO,GAAG,OAAO,IAAI,2DAA2D,CAClG,CAAC;AACJ,CAAC"}

package/dist/guard.d.ts

@@ -24,4 +24,22 @@ export declare class PortabilityError extends Error {
  * @throws {PortabilityError} non-portable な値を検出したとき。
  */
 export declare function assertPortable(value: unknown, path?: string): void;
+/**
+ * 可搬 IR で許可される Expression IR オペレータの閉集合（expression-ir.md §3）。
+ * `assertPortableComponentGraph` はこの集合外の単一キーオブジェクトノードを未知 operator
+ * として fail-closed で拒否する（component-graph の port 式・output・map.over/cond に適用）。
+ */
+export declare const PORTABLE_EXPR_OPERATORS: ReadonlySet<string>;
+/**
+ * assertPortableComponentGraph — component-graph IR（scp-ir-architecture.md §5）の
+ * 可搬性 Guard（P0-2）。generic な {@link assertPortable}（関数/Date/Promise 残存禁止）に加え、
+ * SCP 汎用層に固有の不変条件を fail-closed で強制する:
+ *   1. `component` フィールド（componentRef / map）は **文字列参照のみ**（catalog 名）。
+ *   2. port 式・output・map.over・cond に現れる Expression IR ノードは **既知 operator の閉集合のみ**
+ *      （PORTABLE_EXPR_OPERATORS 外の単一キーオブジェクトは未知 operator として拒否）。
+ *   3. 関数残存禁止（generic guard を全域に適用）。
+ *
+ * @throws {PortabilityError} 非可搬な構造を検出したとき。
+ */
+export declare function assertPortableComponentGraph(ir: unknown, path?: string): void;
 //# sourceMappingURL=guard.d.ts.map

package/dist/guard.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,MAAM,CAAC;gBACD,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK1C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAa/D"}
+{"version":3,"file":"guard.d.ts","sourceRoot":"","sources":["../src/guard.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,qBAAa,gBAAiB,SAAQ,KAAK;IACzC,IAAI,EAAE,MAAM,CAAC;gBACD,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM;CAK1C;AAED;;;;;;;GAOG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAa/D;AAED;;;;GAIG;AACH,eAAO,MAAM,uBAAuB,EAAE,WAAW,CAAC,MAAM,CAKtD,CAAC;AAEH;;;;;;;;;;GAUG;AACH,wBAAgB,4BAA4B,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,SAAM,GAAG,IAAI,CAQ1E"}