behavior-contracts 0.4.0 → 0.6.0

package/dist/generator/emit-shared-rust-typed.js

@@ -0,0 +1,576 @@
+import { GeneratorFailure } from "./core.js";
+import { deriveTypeRef, findDecl, } from "./typed.js";
+import { rustStraightlineInternals, setRustForceRunPlanImports } from "./emit-shared-rust.js";
+/** struct-native exec の port scope 式（input params のみ — node-result Value scope は組まない）。 */
+const PORT_SCOPE = "port_scope()";
+// ── Rust typed materializer（TypedMaterializer seam の Rust 具体化 — 拡張 hook 実装）────
+/** 可搬スカラ → Rust の具体型名（de-box 後の struct field 型）。int=i64 / float=f64 で区別。 */
+function rustScalar(scalar) {
+    switch (scalar) {
+        case "string":
+            return "String";
+        case "int":
+            return "i64";
+        case "float":
+            return "f64";
+        case "bool":
+            return "bool";
+        case "null":
+            // null 単独型は Rust に無いので Value（Null のみ格納）。opt でラップされて現れるのが通常。
+            return "Value";
+    }
+}
+/** TypeRef を Rust の具体型名へ（named→struct 名、arr→Vec、opt→Option、scalar→具体型）。 */
+function renderTypeRef(ref) {
+    switch (ref.kind) {
+        case "scalar":
+            return rustScalar(ref.scalar);
+        case "opt":
+            // nullable は Rust の Option で表す（None = null）。
+            return `Option<${renderTypeRef(ref.inner)}>`;
+        case "arr":
+            return `Vec<${renderTypeRef(ref.elem)}>`;
+        case "named":
+            return ref.name;
+    }
+}
+/** wire field 名 → Rust の struct field 名（決定的・安全化）。元名は struct コメント/marshaller で保持。 */
+function rustFieldName(wire) {
+    // 非識別子文字は `_`。先頭が数字なら `f_` を前置。予約語衝突は `r#` で回避（raw identifier）。
+    let safe = wire.replace(/[^A-Za-z0-9_]/g, "_");
+    if (/^[0-9]/.test(safe))
+        safe = `f_${safe}`;
+    if (safe.length === 0)
+        safe = "f_";
+    if (RUST_KEYWORDS.has(safe))
+        return `r#${safe}`;
+    return safe;
+}
+/** field 名衝突を避けるための Rust 予約語（raw identifier 化する）。 */
+const RUST_KEYWORDS = new Set([
+    "as", "break", "const", "continue", "crate", "dyn", "else", "enum", "extern", "false", "fn",
+    "for", "if", "impl", "in", "let", "loop", "match", "mod", "move", "mut", "pub", "ref", "return",
+    "self", "Self", "static", "struct", "super", "trait", "true", "type", "unsafe", "use", "where",
+    "while", "async", "await", "abstract", "become", "box", "do", "final", "macro", "override",
+    "priv", "typeof", "unsized", "virtual", "yield", "try", "union",
+]);
+/** string を Rust 文字列リテラルへ。 */
+function rustStrLit(s) {
+    return JSON.stringify(s);
+}
+/** 単一 char を Rust の char リテラルへ（`'x'`）。特殊文字はエスケープ。 */
+function rustCharLit(ch) {
+    if (ch === "'")
+        return "'\\''";
+    if (ch === "\\")
+        return "'\\\\'";
+    if (ch === "\n")
+        return "'\\n'";
+    if (ch === "\r")
+        return "'\\r'";
+    if (ch === "\t")
+        return "'\\t'";
+    // 制御文字/非 ASCII 印字外は \u{..} エスケープ、その他はそのまま（Rust の char リテラルは Unicode スカラ値）。
+    const cp = ch.codePointAt(0);
+    if (cp < 0x20 || cp === 0x7f)
+        return `'\\u{${cp.toString(16)}}'`;
+    return `'${ch}'`;
+}
+/**
+ * TypeRef が Rust の `Default` を導出可能か（null 単独型は `Value` に落ち Default 非実装 → false）。
+ * scalar(non-null)/opt/arr は常に Default 導出可、named は各 field が導出可なら導出可、arr/opt はラップ先に依存。
+ */
+function isDefaultable(ref, plan) {
+    switch (ref.kind) {
+        case "scalar":
+            return ref.scalar !== "null"; // null → Value（Default 非実装）
+        case "opt":
+            return true; // Option<T> は常に None default
+        case "arr":
+            return true; // Vec<T> は常に空 default
+        case "named": {
+            const decl = findDecl(plan, ref.name);
+            return decl ? decl.fields.every((f) => isDefaultable(f.type, plan)) : false;
+        }
+    }
+}
+/** 型プランの named obj を Rust struct 宣言へ（decls 順＝決定的）。field は宣言順。 */
+function emitTypeDecls(plan) {
+    if (plan.decls.length === 0)
+        return "";
+    return plan.decls
+        .map((d) => {
+        const fields = d.fields
+            .map((f) => `    ${rustFieldName(f.name)}: ${renderTypeRef(f.type)}, // ${JSON.stringify(f.name)}`)
+            .join("\n");
+        // Clone: struct field 直参照で output に clone するため。Default: cell の初期値（RefCell::new）用。
+        // 全 field が Default 導出可能なら `#[derive(Default)]`（clippy::derivable_impls 対応）。null 単独型
+        // （Value・Default 非実装）を持つ struct だけは手書き Default を emitDefaults() で綴じる（そこでは
+        // 導出不能なので derivable_impls は発火しない）。生成 struct は output で全 field が読まれるとは限らない → dead_code 許容。
+        const derives = isDefaultable({ kind: "named", name: d.name }, plan) ? "Clone, Default" : "Clone";
+        return `#[derive(${derives})]\n#[allow(dead_code)]\nstruct ${d.name} {\n${fields}\n}`;
+    })
+        .join("\n\n");
+}
+/**
+ * emitMarshallers — 各 named struct の raw→typed marshaller（§4.4）。動的 `&Value`（`Value::Obj` 期待）を
+ * 受け、各 field を typed に読み出して具体 struct を組む。generic Value 走査を exec 経路から除去する de-box の実体。
+ * field 型ごとに再帰: named→marshal_T*、arr→要素ループ、opt→null 分岐、scalar→型 match。
+ */
+function emitMarshallers(plan) {
+    if (plan.decls.length === 0)
+        return "";
+    return plan.decls.map((d) => emitOneMarshaller(d, plan)).join("\n\n");
+}
+function emitOneMarshaller(d, plan) {
+    const lines = [];
+    // 型プランは全 struct に marshaller を emit するが、named struct が exec で 1 度も handler 結果として
+    // 現れない vector（例: outputType 専用の合成 struct）では未使用になり得る → dead_code 許容（生成ツールキット）。
+    lines.push(`#[allow(dead_code)]`);
+    lines.push(`fn marshal_${d.name}(raw: &Value) -> Result<${d.name}, BehaviorError> {`);
+    lines.push(`    let pairs = match raw {`);
+    lines.push(`        Value::Obj(p) => p,`);
+    lines.push(`        other => return Err(marshal_type_error(${rustStrLit(`typed marshal ${d.name}: expected obj, got `)}, other.type_name())),`);
+    lines.push(`    };`);
+    const fieldInits = [];
+    for (const f of d.fields) {
+        const fieldVar = `field_${rustFieldName(f.name).replace(/^r#/, "")}`;
+        const keyLit = rustStrLit(f.name);
+        lines.push(`    let ${fieldVar} = {`);
+        lines.push(`        let fv = match pairs.iter().find(|(k, _)| k == ${keyLit}) {`);
+        lines.push(`            Some((_, v)) => v,`);
+        lines.push(`            None => return Err(marshal_missing_prop(${rustStrLit(`typed marshal ${d.name}: missing property .`)}, ${keyLit})),`);
+        lines.push(`        };`);
+        lines.push(indentBlock(emitFieldMaterialize("fv", f.type, plan), 2));
+        lines.push(`    };`);
+        fieldInits.push(`        ${rustFieldName(f.name)}: ${fieldVar},`);
+    }
+    lines.push(`    Ok(${d.name} {`);
+    lines.push(...fieldInits);
+    lines.push(`    })`);
+    lines.push(`}`);
+    return lines.join("\n");
+}
+/** テキストブロックを indent 段（4 space/段）だけ字下げする。 */
+function indentBlock(block, levels) {
+    const pad = "    ".repeat(levels);
+    return block
+        .split("\n")
+        .map((l) => (l.length === 0 ? l : pad + l))
+        .join("\n");
+}
+/**
+ * emitFieldMaterialize — `src` (`&Value` 式) を型 `ref` の具体 typed 値へ materialize する Rust **式**を返す
+ * （末尾式・値を返す block）。scalar は型 match、named は marshal_T* 呼び（`?`）、arr は要素ループ、
+ * opt は null 分岐（Option）。すべて具体 Rust 型で組む（de-box）。fail は marshaller helper（BehaviorError）。
+ */
+function emitFieldMaterialize(src, ref, plan) {
+    switch (ref.kind) {
+        case "scalar": {
+            if (ref.scalar === "null") {
+                // null 単独型は Value のまま保持（clone）。
+                return `${src}.clone()`;
+            }
+            const variant = ref.scalar === "int" ? "Int" : ref.scalar === "float" ? "Float" : ref.scalar === "bool" ? "Bool" : "Str";
+            // Str は clone（所有 String）、その他は Copy。
+            const bind = ref.scalar === "string" ? "s.clone()" : "*s";
+            return [
+                `match ${src} {`,
+                `    Value::${variant}(s) => ${bind},`,
+                `    other => return Err(marshal_type_error(${rustStrLit(`typed marshal: expected ${ref.scalar}, got `)}, other.type_name())),`,
+                `}`,
+            ].join("\n");
+        }
+        case "named": {
+            return `marshal_${ref.name}(${src})?`;
+        }
+        case "arr": {
+            const elemTy = renderTypeRef(ref.elem);
+            const inner = emitFieldMaterialize("elem_raw", ref.elem, plan);
+            return [
+                `match ${src} {`,
+                `    Value::Arr(items) => {`,
+                `        let mut out: Vec<${elemTy}> = Vec::with_capacity(items.len());`,
+                `        for elem_raw in items.iter() {`,
+                `            let elem_out = ${indentBlock(inner, 3).trimStart()};`,
+                `            out.push(elem_out);`,
+                `        }`,
+                `        out`,
+                `    }`,
+                `    other => return Err(marshal_type_error(${rustStrLit("typed marshal: expected arr, got ")}, other.type_name())),`,
+                `}`,
+            ].join("\n");
+        }
+        case "opt": {
+            const inner = emitFieldMaterialize("inner_raw", ref.inner, plan);
+            return [
+                `match ${src} {`,
+                `    Value::Null => None,`,
+                `    inner_raw => {`,
+                `        let inner_out = ${indentBlock(inner, 2).trimStart()};`,
+                `        Some(inner_out)`,
+                `    }`,
+                `}`,
+            ].join("\n");
+        }
+    }
+}
+/**
+ * materializeExpr — raw な `&Value` 式 `rawExpr` を型 `ref` の具体 typed 値へ変換する **単一式**（exec 経路の
+ * de-box）。named→`marshal_T*(...)?`、scalar/arr/opt→インライン材化 block。呼び側が typed ローカルへ束ねる。
+ * これが seam の runtime-materialization hook の Rust 実装本体（go の同型 hook）。
+ */
+function materializeExpr(rawExpr, ref, plan) {
+    // 参照式（`&x`）を受ける前提に統一するため、marshaller/材化 block はいずれも `&Value` を読む。
+    if (ref.kind === "named")
+        return `marshal_${ref.name}(${rawExpr})?`;
+    // scalar/arr/opt は emitFieldMaterialize の block を使う（式として評価される）。
+    return `{ let __src = ${rawExpr}; ${emitFieldMaterialize("__src", ref, plan).replace(/\n/g, " ")} }`;
+}
+/**
+ * typedFieldAccess — typed base 式 `baseExpr`（型 `baseRef`）に field path を **struct field 直参照**で辿る。
+ * map/obj_get lookup ではなく `.field` 連結（＝de-box されている証拠）。辿り着いた TypeRef も返す。
+ */
+function typedFieldAccess(baseExpr, baseRef, fields, plan) {
+    let expr = baseExpr;
+    let ref = baseRef;
+    for (const f of fields) {
+        if (ref.kind !== "named") {
+            throw new Error(`typed rust: field access '.${f}' on non-struct TypeRef ${JSON.stringify(ref)}`);
+        }
+        const decl = findDecl(plan, ref.name);
+        const fld = decl?.fields.find((x) => x.name === f);
+        if (!fld)
+            throw new Error(`typed rust: field '${f}' not found on struct ${ref.name}`);
+        expr = `${expr}.${rustFieldName(f)}`; // struct field 直参照（map lookup でない）
+        ref = fld.type;
+    }
+    return { expr, ref };
+}
+/**
+ * serializeTyped — 具体 typed 値式を canonical 直列化用の動的 Value へ戻す式（観測等価 pin）。exec は
+ * typed のまま進み、component 境界でだけ Value 化して golden と突き合わせる。named→ser_T*、scalar→Value::variant、
+ * arr→要素 ser の map collect、opt→None/Some 分岐。式一発で返す。`typedExpr` は所有値（by-value）想定。
+ */
+function serializeTyped(typedExpr, ref, plan) {
+    switch (ref.kind) {
+        case "named":
+            return `ser_${ref.name}(${typedExpr})`;
+        case "scalar": {
+            switch (ref.scalar) {
+                case "string":
+                    return `Value::Str(${typedExpr})`;
+                case "int":
+                    return `Value::Int(${typedExpr})`;
+                case "float":
+                    return `Value::Float(${typedExpr})`;
+                case "bool":
+                    return `Value::Bool(${typedExpr})`;
+                case "null":
+                    // null 単独型は Value をそのまま（clone 済みで保持）。
+                    return `${typedExpr}`;
+            }
+            break;
+        }
+        case "arr": {
+            const elemTy = renderTypeRef(ref.elem);
+            return `Value::Arr(${typedExpr}.into_iter().map(|e: ${elemTy}| ${serializeTyped("e", ref.elem, plan)}).collect())`;
+        }
+        case "opt":
+            return `match ${typedExpr} { Some(inner) => ${serializeTyped("inner", ref.inner, plan)}, None => Value::Null }`;
+    }
+    throw new Error(`typed rust: serializeTyped fell through for ${JSON.stringify(ref)}`);
+}
+// ── serializer helper（named struct → Value）を型プランから emit ────────────────────
+/** 各 named struct を canonical Value（Obj, field は宣言順）へ戻す `ser_T*` を emit（by-value consume）。 */
+function emitSerializers(plan) {
+    return plan.decls
+        .map((d) => {
+        const sets = d.fields
+            .map((f) => `        (${rustStrLit(f.name)}.to_string(), ${serializeTyped(`v.${rustFieldName(f.name)}`, f.type, plan)}),`)
+            .join("\n");
+        // 型プランは全 struct に serializer を emit するが、output が named struct を丸ごと返さない vector では
+        // 未使用になり得る（scalar output 等） → dead_code 許容（生成ツールキット）。
+        return `#[allow(dead_code)]\nfn ser_${d.name}(v: ${d.name}) -> Value {\n    Value::Obj(vec![\n${sets}\n    ])\n}`;
+    })
+        .join("\n\n");
+}
+// ── struct-native runner（実 exec 経路 — 実 de-box）─────────────────────────────────
+/** 生成コード内の typed ローカル cell 名（materialize 済み struct を RefCell で保持）。 */
+function typedCell(nodeId) {
+    return `cell_${nodeId.replace(/[^A-Za-z0-9_]/g, "_")}`;
+}
+/** `ref` の path 配列（Expression IR）を取り出す。単純 ref ノードでなければ undefined。 */
+function refPathOf(node) {
+    if (node === null || typeof node !== "object" || Array.isArray(node))
+        return undefined;
+    const keys = Object.keys(node);
+    if (keys.length !== 1 || keys[0] !== "ref")
+        return undefined;
+    const path = node.ref;
+    if (!Array.isArray(path) || !path.every((p) => typeof p === "string"))
+        return undefined;
+    return path;
+}
+/**
+ * emitTypedValue — output（Φ 合流式）IR を、期待型 `expected` の **具体 Rust typed 値**式へ再帰 lower し、
+ * `{ expr, ref }` を返す。これが AC の「exec が具体 struct を保持」の実体（go と同型）:
+ *   - `{ref:[typedNode, …fields]}` → typed struct field 直参照（typedFieldAccess — map lookup でない。struct は clone）。
+ *   - `{ref:[input/非 typed node]}` → 型付け不能な生 Value。expected があれば materialize（de-box）。
+ *   - `{obj:{…}}` → 具体 struct literal（expected が named のとき各 field を期待型で lower）。
+ *   - `{arr:[…]}` → 具体 Vec literal（要素は要素型で lower）。
+ *   - scalar literal → 具体 Rust 値。
+ *   - concat → de-box された typed 値で native String 連結（意味論保存）。他演算子は LOUD fail-closed。
+ */
+function emitTypedValue(node, expected, typedNodes, plan) {
+    const path = refPathOf(node);
+    if (path && path.length >= 1) {
+        const head = path[0];
+        if (typedNodes.has(head)) {
+            // typed node への参照: cell から struct を借りて field 直参照で辿る（de-box された struct access）。
+            const baseRef = typedNodes.get(head);
+            // struct を所有値として取り出す（cell.borrow().clone()）。field access は clone 済みの struct に対して行う。
+            // bare な Copy スカラ node（int/float/bool、以降の field path 無し）は `.clone()` が clippy::clone_on_copy
+            // を踏むので deref-copy（`*cell.borrow()`）で取り出す（意味論同値、clippy-clean — bc#49 B3）。
+            const isBareCopyScalar = path.length === 1 &&
+                baseRef.kind === "scalar" &&
+                (baseRef.scalar === "int" || baseRef.scalar === "float" || baseRef.scalar === "bool");
+            const base = isBareCopyScalar
+                ? `*${typedCell(head)}.borrow()`
+                : `${typedCell(head)}.borrow().clone()`;
+            const { expr, ref } = typedFieldAccess(base, baseRef, path.slice(1), plan);
+            return { expr, ref };
+        }
+        // input param 参照（非 typed node）: input Value を局所的に読み、expected へ materialize（de-box）。
+        // 動的 Value tree の再構築ではなく input 境界値の 1 leaf 読み（許容される局所変換）。
+        if (expected)
+            return { expr: materializeExpr(`&${inputRead(path)}`, expected, plan), ref: expected };
+        return { expr: inputRead(path), ref: undefined };
+    }
+    if (node !== null && typeof node === "object" && !Array.isArray(node)) {
+        const keys = Object.keys(node);
+        if (keys.length === 1 && keys[0] === "obj" && expected && expected.kind === "named") {
+            // 具体 struct literal を組む（de-box した output assembly）。
+            const decl = findDecl(plan, expected.name);
+            const fields = node.obj;
+            const inits = decl.fields.map((f) => {
+                const sub = emitTypedValue(fields[f.name], f.type, typedNodes, plan);
+                return `${rustFieldName(f.name)}: ${sub.expr}`;
+            });
+            return { expr: `${expected.name} { ${inits.join(", ")} }`, ref: expected };
+        }
+        if (keys.length === 1 && keys[0] === "arr" && expected && expected.kind === "arr") {
+            const elems = node.arr;
+            const elemTy = renderTypeRef(expected.elem);
+            const items = elems.map((e) => emitTypedValue(e, expected.elem, typedNodes, plan).expr);
+            return { expr: `{ let v: Vec<${elemTy}> = vec![${items.join(", ")}]; v }`, ref: expected };
+        }
+        // concat 演算子: operand を **de-box された typed 値**（typed field access なら concrete String）で
+        // 読み、native String 連結する（rust-straightline の concat_native と同じ native 化パターン — 意味論保存）。
+        if (keys.length === 1 && keys[0] === "concat" && expected && expected.kind === "scalar" && expected.scalar === "string") {
+            const parts = node.concat;
+            // 各 part を push_str へ渡す `&str` 式に落とす。bare 文字列リテラルは `"..."`（str slice）を直接渡し
+            // （clippy::unnecessary_to_owned 回避 — `&("x".to_string())` にしない）、それ以外（field access で得た
+            // concrete String など）は `&(expr)` で借用する。いずれも native String 連結（意味論保存）。
+            const pushes = parts.map((p) => {
+                if (typeof p === "string") {
+                    // 1 文字リテラルは push(char)（clippy::single_char_add_str 回避）、それ以外は push_str(str slice)。
+                    const chars = [...p];
+                    if (chars.length === 1)
+                        return `__s.push(${rustCharLit(chars[0])});`;
+                    return `__s.push_str(${rustStrLit(p)});`;
+                }
+                const sub = emitTypedValue(p, { kind: "scalar", scalar: "string" }, typedNodes, plan);
+                return `__s.push_str(&(${sub.expr}));`;
+            });
+            return {
+                expr: `{ let mut __s = String::new(); ${pushes.join(" ")} __s }`,
+                ref: expected,
+            };
+        }
+        // その他単一キー = 別演算子（add/eq/…）: struct-native exec では動的 Value output tree を組まない方針
+        // ゆえ LOUD fail-closed（bc typed corpus には output 位置の非 concat 演算子が無い。go と一致）。
+        if (keys.length === 1) {
+            throw new GeneratorFailure("UNSUPPORTED_NODE_STRAIGHTLINE", `rust-typed struct-native output: operator '${keys[0]}' at the output position is not supported in the struct-native de-box path yet (typed corpus covers only ref / obj / arr / concat outputs). Do not fall back to building the dynamic Value output tree.`);
+        }
+    }
+    // scalar literal（typed operand として現れる bare リテラル）: 具体 Rust スカラ。
+    if (expected && expected.kind === "scalar") {
+        return { expr: litScalar(node, expected.scalar), ref: expected };
+    }
+    return { expr: litScalarUnknown(node), ref: undefined };
+}
+/** input/非 typed node の scope 読み（動的 Value 式）。input params のみを持つ port_scope() から 1 leaf。 */
+function inputRead(path) {
+    return `input_ref(&[${path.map(rustStrLit).join(", ")}], &${PORT_SCOPE})`;
+}
+/** 期待スカラの Rust リテラル（string/int/float/bool/null）。 */
+function litScalar(node, scalar) {
+    if (scalar === "string" && typeof node === "string")
+        return `${rustStrLit(node)}.to_string()`;
+    if (scalar === "bool" && typeof node === "boolean")
+        return node ? "true" : "false";
+    if (scalar === "int") {
+        if (node !== null && typeof node === "object" && typeof node.int === "string")
+            return `${node.int}i64`;
+        if (typeof node === "number")
+            return `${node}i64`;
+    }
+    if (scalar === "float") {
+        if (node !== null && typeof node === "object" && typeof node.float === "number")
+            return `${node.float}f64`;
+        if (typeof node === "number")
+            return `${node}f64`;
+    }
+    if (scalar === "null")
+        return "Value::Null";
+    throw new Error(`typed rust: scalar literal ${JSON.stringify(node)} does not match expected ${scalar}`);
+}
+function litScalarUnknown(node) {
+    if (node === null)
+        return "Value::Null";
+    if (typeof node === "boolean")
+        return node ? "Value::Bool(true)" : "Value::Bool(false)";
+    if (typeof node === "string")
+        return `Value::Str(${rustStrLit(node)}.to_string())`;
+    return "Value::Null";
+}
+/**
+ * collectTypedNodes — component の body ノードで outType を持つもの（componentRef / map / cond）を
+ * id → 結果 TypeRef に index 化する（#66: map/cond も struct 空間で結果を保持）。
+ */
+function collectTypedNodes(comp, plan) {
+    const typedNodes = new Map();
+    for (const n of comp.body) {
+        const ot = n.outType;
+        if (ot !== undefined)
+            typedNodes.set(n.id, deriveTypeRef(ot, plan));
+    }
+    return typedNodes;
+}
+// ── module 綴じ（straight-line 本体を流用 ＋ typed 層）──────────────────────────────
+function hasAnyTypeAnnotation(ctx) {
+    for (const comp of ctx.ir.components) {
+        if (comp.outputType !== undefined)
+            return true;
+        for (const n of comp.body)
+            if (n.outType !== undefined)
+                return true;
+    }
+    return false;
+}
+/** typed component（run_typed_* 経路で駆動するもの）か。 */
+function isTypedComponent(comp) {
+    if (comp.outputType !== undefined)
+        return true;
+    return comp.body.some((n) => n.outType !== undefined);
+}
+/** marshaller helper（BehaviorError 生成）。生成モジュールに 1 度だけ emit。 */
+function emitMarshalHelpers() {
+    return `// marshaller helpers — de-box failures map to BehaviorError (fail-closed, TYPE_MISMATCH / MISSING_PROP).
+// (Some are unused in modules whose typed corpus never hits that failure shape — generated toolkit.)
+#[allow(dead_code)]
+fn marshal_type_error(prefix: &str, got: &str) -> BehaviorError {
+    BehaviorError::new("TYPE_MISMATCH", format!("{prefix}{got}"))
+}
+
+#[allow(dead_code)]
+fn marshal_missing_prop(prefix: &str, key: &str) -> BehaviorError {
+    BehaviorError::new("MISSING_PROP", format!("{prefix}{key}"))
+}
+
+// input_ref — reads a single leaf from the input params Value (a genuine boundary read, NOT a
+// reconstruction of a dynamic Value node-result tree). Used only when an output directly references
+// an input param (rare in the bc typed corpus). Best-effort: the type plan guarantees the shape.
+#[allow(dead_code)]
+fn input_ref(path: &[&str], scope: &[(String, Value)]) -> Value {
+    if path.is_empty() {
+        return Value::Null;
+    }
+    let mut cur = match scope.iter().find(|(k, _)| k == path[0]) {
+        Some((_, v)) => v.clone(),
+        None => return Value::Null,
+    };
+    for seg in &path[1..] {
+        match cur.obj_get(seg) {
+            Some(v) => cur = v.clone(),
+            None => return Value::Null,
+        }
+    }
+    cur
+}
+
+fn no_typed_exec_arm(id: &str) -> BehaviorError {
+    BehaviorError::new("UNKNOWN_NODE_KIND", format!("op '{id}' has no generated typed exec arm (fail-closed)"))
+}`;
+}
+/** Default 導出不能な named struct（null 単独型 Value field を持つもの）だけ手書き Default を emit。 */
+function emitDefaults(plan) {
+    return plan.decls
+        .filter((d) => !isDefaultable({ kind: "named", name: d.name }, plan))
+        .map((d) => {
+        const fields = d.fields
+            .map((f) => `            ${rustFieldName(f.name)}: ${defaultExpr(f.type)},`)
+            .join("\n");
+        return `impl Default for ${d.name} {\n    fn default() -> Self {\n        ${d.name} {\n${fields}\n        }\n    }\n}`;
+    })
+        .join("\n\n");
+}
+/** TypeRef の Rust default 値式（Default::default() を持たない Value 型に対応するため明示）。 */
+function defaultExpr(ref) {
+    switch (ref.kind) {
+        case "scalar":
+            switch (ref.scalar) {
+                case "string":
+                    return "String::new()";
+                case "int":
+                    return "0i64";
+                case "float":
+                    return "0f64";
+                case "bool":
+                    return "false";
+                case "null":
+                    return "Value::Null";
+            }
+            break;
+        case "opt":
+            return "None";
+        case "arr":
+            return "Vec::new()";
+        case "named":
+            return `${ref.name}::default()`;
+    }
+    throw new Error(`typed rust: defaultExpr fell through for ${JSON.stringify(ref)}`);
+}
+/**
+ * rustTypedInternals — shared Rust typed-emit helpers the native emitter (emit-typed-native-rust.ts)
+ * reuses so the native de-box path shares one implementation of the type-plan/naming/serializer/
+ * marshaller discipline. This module carries NO emitter plugin (#90/#99): the rust-typed and
+ * rust-straightline emitter surfaces were removed — rust converges to the native target only.
+ */
+export const rustTypedInternals = {
+    sanitize: rustStraightlineInternals.sanitize,
+    rustFieldName,
+    rustStrLit,
+    renderTypeRef,
+    rustScalar,
+    typedCell,
+    typedFieldAccess,
+    isTypedComponent,
+    hasAnyTypeAnnotation,
+    collectTypedNodes,
+    emitTypeDecls,
+    emitDefaults,
+    emitSerializers,
+    emitMarshallers,
+    emitMarshalHelpers,
+    materializeExpr,
+    serializeTyped,
+    emitTypedValue,
+    indentBlock,
+    emitOpsLiteral: rustStraightlineInternals.emitOpsLiteral,
+    emitPlanLiteral: rustStraightlineInternals.emitPlanLiteral,
+    rustStraightlineInternals,
+    setRustForceRunPlanImports,
+};
+//# sourceMappingURL=emit-shared-rust-typed.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit-shared-rust-typed.js","sourceRoot":"","sources":["../../src/generator/emit-shared-rust-typed.ts"],"names":[],"mappings":"AAyCA,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EACL,aAAa,EACb,QAAQ,GAIT,MAAM,YAAY,CAAC;AACpB,OAAO,EAAE,yBAAyB,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAG9F,0FAA0F;AAC1F,MAAM,UAAU,GAAG,cAAc,CAAC;AAElC,iFAAiF;AAEjF,4EAA4E;AAC5E,SAAS,UAAU,CAAC,MAAoD;IACtE,QAAQ,MAAM,EAAE,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,KAAK,CAAC;QACf,KAAK,OAAO;YACV,OAAO,KAAK,CAAC;QACf,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM;YACT,4DAA4D;YAC5D,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC;AAED,2EAA2E;AAC3E,SAAS,aAAa,CAAC,GAAY;IACjC,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAChC,KAAK,KAAK;YACR,6CAA6C;YAC7C,OAAO,UAAU,aAAa,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC;QAC/C,KAAK,KAAK;YACR,OAAO,OAAO,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC;QAC3C,KAAK,OAAO;YACV,OAAO,GAAG,CAAC,IAAI,CAAC;IACpB,CAAC;AACH,CAAC;AAED,oFAAoF;AACpF,SAAS,aAAa,CAAC,IAAY;IACjC,gEAAgE;IAChE,IAAI,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;IAC/C,IAAI,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;QAAE,IAAI,GAAG,KAAK,IAAI,EAAE,CAAC;IAC5C,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,IAAI,GAAG,IAAI,CAAC;IACnC,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,IAAI,EAAE,CAAC;IAChD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,qDAAqD;AACrD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;IAC5B,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI;IAC3F,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ;IAC/F,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO;IAC9F,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,UAAU;IAC1F,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO;CAChE,CAAC,CAAC;AAEH,8BAA8B;AAC9B,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED,qDAAqD;AACrD,SAAS,WAAW,CAAC,EAAU;IAC7B,IAAI,EAAE,KAAK,GAAG;QAAE,OAAO,OAAO,CAAC;IAC/B,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IACjC,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IAChC,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IAChC,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,OAAO,CAAC;IAChC,2EAA2E;IAC3E,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,CAAC,CAAE,CAAC;IAC9B,IAAI,EAAE,GAAG,IAAI,IAAI,EAAE,KAAK,IAAI;QAAE,OAAO,QAAQ,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC;IACjE,OAAO,IAAI,EAAE,GAAG,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,SAAS,aAAa,CAAC,GAAY,EAAE,IAAc;IACjD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,4BAA4B;QAC5D,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,CAAC,6BAA6B;QAC5C,KAAK,KAAK;YACR,OAAO,IAAI,CAAC,CAAC,sBAAsB;QACrC,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;YACtC,OAAO,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;QAC9E,CAAC;IACH,CAAC;AACH,CAAC;AAED,iEAAiE;AACjE,SAAS,aAAa,CAAC,IAAc;IACnC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,OAAO,IAAI,CAAC,KAAK;SACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;aAClG,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,kFAAkF;QAClF,qFAAqF;QACrF,0EAA0E;QAC1E,0FAA0F;QAC1F,MAAM,OAAO,GAAG,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,OAAO,CAAC;QAClG,OAAO,YAAY,OAAO,mCAAmC,CAAC,CAAC,IAAI,OAAO,MAAM,KAAK,CAAC;IACxF,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAc;IACrC,IAAI,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACxE,CAAC;AAED,SAAS,iBAAiB,CAAC,CAAW,EAAE,IAAc;IACpD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,iFAAiF;IACjF,8EAA8E;IAC9E,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,2BAA2B,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC;IACtF,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;IAC1C,KAAK,CAAC,IAAI,CACR,kDAAkD,UAAU,CAAC,iBAAiB,CAAC,CAAC,IAAI,sBAAsB,CAAC,wBAAwB,CACpI,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC;QACzB,MAAM,QAAQ,GAAG,SAAS,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,EAAE,CAAC;QACrE,MAAM,MAAM,GAAG,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAClC,KAAK,CAAC,IAAI,CAAC,WAAW,QAAQ,MAAM,CAAC,CAAC;QACtC,KAAK,CAAC,IAAI,CAAC,0DAA0D,MAAM,KAAK,CAAC,CAAC;QAClF,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CACR,uDAAuD,UAAU,CAAC,iBAAiB,CAAC,CAAC,IAAI,sBAAsB,CAAC,KAAK,MAAM,KAAK,CACjI,CAAC;QACF,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACrE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACrB,UAAU,CAAC,IAAI,CAAC,WAAW,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,QAAQ,GAAG,CAAC,CAAC;IACpE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC;IACjC,KAAK,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IAC1B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACrB,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAChB,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,4CAA4C;AAC5C,SAAS,WAAW,CAAC,KAAa,EAAE,MAAc;IAChD,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,OAAO,KAAK;SACT,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;SAC1C,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,SAAS,oBAAoB,CAAC,GAAW,EAAE,GAAY,EAAE,IAAc;IACrE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC1B,gCAAgC;gBAChC,OAAO,GAAG,GAAG,UAAU,CAAC;YAC1B,CAAC;YACD,MAAM,OAAO,GAAG,GAAG,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;YACzH,oCAAoC;YACpC,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1D,OAAO;gBACL,SAAS,GAAG,IAAI;gBAChB,cAAc,OAAO,UAAU,IAAI,GAAG;gBACtC,8CAA8C,UAAU,CAAC,2BAA2B,GAAG,CAAC,MAAM,QAAQ,CAAC,wBAAwB;gBAC/H,GAAG;aACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,WAAW,GAAG,CAAC,IAAI,IAAI,GAAG,IAAI,CAAC;QACxC,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,KAAK,GAAG,oBAAoB,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAC/D,OAAO;gBACL,SAAS,GAAG,IAAI;gBAChB,4BAA4B;gBAC5B,4BAA4B,MAAM,sCAAsC;gBACxE,wCAAwC;gBACxC,8BAA8B,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG;gBAClE,iCAAiC;gBACjC,WAAW;gBACX,aAAa;gBACb,OAAO;gBACP,8CAA8C,UAAU,CAAC,mCAAmC,CAAC,wBAAwB;gBACrH,GAAG;aACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,oBAAoB,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACjE,OAAO;gBACL,SAAS,GAAG,IAAI;gBAChB,0BAA0B;gBAC1B,oBAAoB;gBACpB,2BAA2B,WAAW,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,GAAG;gBAC/D,yBAAyB;gBACzB,OAAO;gBACP,GAAG;aACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;IACH,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,OAAe,EAAE,GAAY,EAAE,IAAc;IACpE,iEAAiE;IACjE,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,WAAW,GAAG,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC;IACpE,gEAAgE;IAChE,OAAO,iBAAiB,OAAO,KAAK,oBAAoB,CAAC,OAAO,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC;AACvG,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACvB,QAAgB,EAChB,OAAgB,EAChB,MAAgB,EAChB,IAAc;IAEd,IAAI,IAAI,GAAG,QAAQ,CAAC;IACpB,IAAI,GAAG,GAAG,OAAO,CAAC;IAClB,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;QACvB,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,2BAA2B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACnG,CAAC;QACD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC;QACnD,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,yBAAyB,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACtF,IAAI,GAAG,GAAG,IAAI,IAAI,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,mCAAmC;QACzE,GAAG,GAAG,GAAG,CAAC,IAAI,CAAC;IACjB,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,SAAiB,EAAE,GAAY,EAAE,IAAc;IACrE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO;YACV,OAAO,OAAO,GAAG,CAAC,IAAI,IAAI,SAAS,GAAG,CAAC;QACzC,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC;gBACnB,KAAK,QAAQ;oBACX,OAAO,cAAc,SAAS,GAAG,CAAC;gBACpC,KAAK,KAAK;oBACR,OAAO,cAAc,SAAS,GAAG,CAAC;gBACpC,KAAK,OAAO;oBACV,OAAO,gBAAgB,SAAS,GAAG,CAAC;gBACtC,KAAK,MAAM;oBACT,OAAO,eAAe,SAAS,GAAG,CAAC;gBACrC,KAAK,MAAM;oBACT,sCAAsC;oBACtC,OAAO,GAAG,SAAS,EAAE,CAAC;YAC1B,CAAC;YACD,MAAM;QACR,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,OAAO,cAAc,SAAS,wBAAwB,MAAM,KAAK,cAAc,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC;QACrH,CAAC;QACD,KAAK,KAAK;YACR,OAAO,SAAS,SAAS,qBAAqB,cAAc,CAAC,OAAO,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,yBAAyB,CAAC;IACpH,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,+CAA+C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACxF,CAAC;AAED,8EAA8E;AAE9E,8FAA8F;AAC9F,SAAS,eAAe,CAAC,IAAc;IACrC,OAAO,IAAI,CAAC,KAAK;SACd,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,IAAI,GAAG,CAAC,CAAC,MAAM;aAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,iBAAiB,cAAc,CAAC,KAAK,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC;aACzH,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,iFAAiF;QACjF,sDAAsD;QACtD,OAAO,+BAA+B,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,uCAAuC,IAAI,aAAa,CAAC;IACpH,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC;AAED,iFAAiF;AAEjF,sEAAsE;AACtE,SAAS,SAAS,CAAC,MAAc;IAC/B,OAAO,QAAQ,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,EAAE,CAAC;AACzD,CAAC;AAED,qEAAqE;AACrE,SAAS,SAAS,CAAC,IAAa;IAC9B,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7D,MAAM,IAAI,GAAI,IAAyB,CAAC,GAAG,CAAC;IAC5C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACxF,OAAO,IAAgB,CAAC;AAC1B,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,cAAc,CACrB,IAAa,EACb,QAA6B,EAC7B,UAAgC,EAChC,IAAc;IAEd,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,IAAI,IAAI,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACrB,IAAI,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,+EAA+E;YAC/E,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAE,CAAC;YACtC,oFAAoF;YACpF,6FAA6F;YAC7F,0EAA0E;YAC1E,MAAM,gBAAgB,GACpB,IAAI,CAAC,MAAM,KAAK,CAAC;gBACjB,OAAO,CAAC,IAAI,KAAK,QAAQ;gBACzB,CAAC,OAAO,CAAC,MAAM,KAAK,KAAK,IAAI,OAAO,CAAC,MAAM,KAAK,OAAO,IAAI,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;YACxF,MAAM,IAAI,GAAG,gBAAgB;gBAC3B,CAAC,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,WAAW;gBAChC,CAAC,CAAC,GAAG,SAAS,CAAC,IAAI,CAAC,mBAAmB,CAAC;YAC1C,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,gBAAgB,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;YAC3E,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;QACvB,CAAC;QACD,oFAAoF;QACpF,0DAA0D;QAC1D,IAAI,QAAQ;YAAE,OAAO,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QACrG,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;IACnD,CAAC;IAED,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAA+B,CAAC,CAAC;QAC1D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpF,oDAAoD;YACpD,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAE,CAAC;YAC5C,MAAM,MAAM,GAAI,IAAyC,CAAC,GAAG,CAAC;YAC9D,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAClC,MAAM,GAAG,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBACrE,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;YACjD,CAAC,CAAC,CAAC;YACH,OAAO,EAAE,IAAI,EAAE,GAAG,QAAQ,CAAC,IAAI,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC7E,CAAC;QACD,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAClF,MAAM,KAAK,GAAI,IAA2B,CAAC,GAAG,CAAC;YAC/C,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YAC5C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC;YACxF,OAAO,EAAE,IAAI,EAAE,gBAAgB,MAAM,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;QAC7F,CAAC;QACD,uFAAuF;QACvF,qFAAqF;QACrF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;YACxH,MAAM,KAAK,GAAI,IAA8B,CAAC,MAAM,CAAC;YACrD,2EAA2E;YAC3E,sFAAsF;YACtF,qEAAqE;YACrE,MAAM,MAAM,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;gBAC7B,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;oBAC1B,kFAAkF;oBAClF,MAAM,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC;oBACrB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;wBAAE,OAAO,YAAY,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;oBACrE,OAAO,gBAAgB,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC3C,CAAC;gBACD,MAAM,GAAG,GAAG,cAAc,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBACtF,OAAO,kBAAkB,GAAG,CAAC,IAAI,KAAK,CAAC;YACzC,CAAC,CAAC,CAAC;YACH,OAAO;gBACL,IAAI,EAAE,kCAAkC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ;gBAChE,GAAG,EAAE,QAAQ;aACd,CAAC;QACJ,CAAC;QACD,8EAA8E;QAC9E,4EAA4E;QAC5E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,8CAA8C,IAAI,CAAC,CAAC,CAAC,yMAAyM,CAC/P,CAAC;QACJ,CAAC;IACH,CAAC;IAED,+DAA+D;IAC/D,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3C,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,CAAC;IACnE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,gBAAgB,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;AAC1D,CAAC;AAED,2FAA2F;AAC3F,SAAS,SAAS,CAAC,IAAc;IAC/B,OAAO,eAAe,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,UAAU,GAAG,CAAC;AAC5E,CAAC;AAED,oDAAoD;AACpD,SAAS,SAAS,CAAC,IAAa,EAAE,MAAoD;IACpF,IAAI,MAAM,KAAK,QAAQ,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,GAAG,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC;IAC9F,IAAI,MAAM,KAAK,MAAM,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IACnF,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;QACrB,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAQ,IAAgC,CAAC,GAAG,KAAK,QAAQ;YACxG,OAAO,GAAI,IAA+B,CAAC,GAAG,KAAK,CAAC;QACtD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,IAAI,KAAK,CAAC;IACpD,CAAC;IACD,IAAI,MAAM,KAAK,OAAO,EAAE,CAAC;QACvB,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,OAAQ,IAAgC,CAAC,KAAK,KAAK,QAAQ;YAC1G,OAAO,GAAI,IAA+B,CAAC,KAAK,KAAK,CAAC;QACxD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,GAAG,IAAI,KAAK,CAAC;IACpD,CAAC;IACD,IAAI,MAAM,KAAK,MAAM;QAAE,OAAO,aAAa,CAAC;IAC5C,MAAM,IAAI,KAAK,CAAC,8BAA8B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,4BAA4B,MAAM,EAAE,CAAC,CAAC;AAC1G,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa;IACrC,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,aAAa,CAAC;IACxC,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,oBAAoB,CAAC;IACxF,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,cAAc,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC;IACnF,OAAO,aAAa,CAAC;AACvB,CAAC;AAED;;;GAGG;AACH,SAAS,iBAAiB,CAAC,IAAe,EAAE,IAAc;IACxD,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAI,CAAgC,CAAC,OAAO,CAAC;QACrD,IAAI,EAAE,KAAK,SAAS;YAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,4EAA4E;AAE5E,SAAS,oBAAoB,CAAC,GAAgB;IAC5C,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI;YAAE,IAAK,CAAgC,CAAC,OAAO,KAAK,SAAS;gBAAE,OAAO,IAAI,CAAC;IACtG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+CAA+C;AAC/C,SAAS,gBAAgB,CAAC,IAAe;IACvC,IAAI,IAAI,CAAC,UAAU,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAC/C,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAgC,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;AACxF,CAAC;AAED,+DAA+D;AAC/D,SAAS,kBAAkB;IACzB,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmCP,CAAC;AACH,CAAC;AAED,kFAAkF;AAClF,SAAS,YAAY,CAAC,IAAc;IAClC,OAAO,IAAI,CAAC,KAAK;SACd,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,EAAE,IAAI,CAAC,CAAC;SACpE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACT,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM;aACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;aAC3E,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,oBAAoB,CAAC,CAAC,IAAI,2CAA2C,CAAC,CAAC,IAAI,OAAO,MAAM,uBAAuB,CAAC;IACzH,CAAC,CAAC;SACD,IAAI,CAAC,MAAM,CAAC,CAAC;AAClB,CAAC;AAED,4EAA4E;AAC5E,SAAS,WAAW,CAAC,GAAY;IAC/B,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ;YACX,QAAQ,GAAG,CAAC,MAAM,EAAE,CAAC;gBACnB,KAAK,QAAQ;oBACX,OAAO,eAAe,CAAC;gBACzB,KAAK,KAAK;oBACR,OAAO,MAAM,CAAC;gBAChB,KAAK,OAAO;oBACV,OAAO,MAAM,CAAC;gBAChB,KAAK,MAAM;oBACT,OAAO,OAAO,CAAC;gBACjB,KAAK,MAAM;oBACT,OAAO,aAAa,CAAC;YACzB,CAAC;YACD,MAAM;QACR,KAAK,KAAK;YACR,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,YAAY,CAAC;QACtB,KAAK,OAAO;YACV,OAAO,GAAG,GAAG,CAAC,IAAI,aAAa,CAAC;IACpC,CAAC;IACD,MAAM,IAAI,KAAK,CAAC,4CAA4C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AACrF,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG;IAChC,QAAQ,EAAE,yBAAyB,CAAC,QAAQ;IAC5C,aAAa;IACb,UAAU;IACV,aAAa;IACb,UAAU;IACV,SAAS;IACT,gBAAgB;IAChB,gBAAgB;IAChB,oBAAoB;IACpB,iBAAiB;IACjB,aAAa;IACb,YAAY;IACZ,eAAe;IACf,eAAe;IACf,kBAAkB;IAClB,eAAe;IACf,cAAc;IACd,cAAc;IACd,WAAW;IACX,cAAc,EAAE,yBAAyB,CAAC,cAAc;IACxD,eAAe,EAAE,yBAAyB,CAAC,eAAe;IAC1D,yBAAyB;IACzB,0BAA0B;CAC3B,CAAC"}

package/dist/generator/{emit-straightline-rust.d.ts → emit-shared-rust.d.ts}

@@ -1,33 +1,3 @@
-/**
- * emit-straightline-rust.ts — Rust 直線 emitter（bc#39 / Layer A2, 脱解釈が目的）。
- *
- * typed-codegen.md §4.1 の rust 具体化。language-neutral な {@link StraightlineDialect} を実装し、
- * component ごとに「plan を `run_plan` primitive で直呼び・各ノードの port 評価と handler 呼びを
- * 直線展開した」ネイティブ rust 関数を emit する。生成コードは A0（#36）の rust primitive 面
- * ＋`run_plan`＋`unproduced_value` を直呼びし、**`run_behavior` の tree-walk（node_kind
- * ディスパッチ / eval_ports / 汎用 exec）を経由しない**。
- *
- * ★ この emitter の主眼（TS oracle との違い — AC#2）: **単純式のネイティブ化。**
- *   rust は Phase B の脱解釈利得が最大の言語なので、単純 Port は式ツリー解釈（`evaluate`）を
- *   消してネイティブコードに落とす:
- *     - `concat`  → `primitives::concat_native(&[<part0>?, <part1>?, …])`。各 part は再帰的に
- *                   native emit した `Value`（`?` 展開）。`concat_native` は `String::push_str` で
- *                   連結し `evaluate` を呼ばない（純 concat の式ツリー解釈が消える）。
- *     - `ref` / `refOpt`（**静的 string path** のとき）→ `primitives::ref_native(&["a","b"], scope)` /
- *                   `ref_opt_native`。scope→field を native に歩き `evaluate`/`json!` を呼ばない。
- *   これらの native helper は意味論を [`evaluate`] の該当アームから写し取っており（同じ
- *   ExprFailureCode）、tests/primitives.rs で差分 pin 済み（別実装ではなく写像）。
- *
- * ★ ネイティブ化しない演算子（fail-closed 意味論の SSoT を一本化）: overflow/短絡系
- *   （`add`/`sub`/`mul`/`div`/`mod`/`neg`/`and`/`or`/`not`/`cond`/`coalesce`/比較/`obj`/`arr`/
- *   リテラル）は A0 の evaluate 委譲 primitive（`primitives::add` 等）を直呼びする。短絡の
- *   被演算子は A0 契約どおり**未評価 IR リテラル**（`json!`）で渡す（primitive 内 `evaluate` が
- *   短絡を保存する）。単純式まで evaluate 委譲 primitive に丸投げしない（＝A1 との差 — AC#2）。
- *
- * go/rust/python/php は A2 で同じ枠（StraightlineDialect）に乗る。conformance で
- * 「直線生成 ≡ run_behavior ≡ golden」を実 rust toolchain で pin する（bc#39 AC#3）。
- */
-import type { EmitterPlugin } from "./core.js";
 import { type ComponentPlan, type StraightlineDialect } from "./straightline.js";
 export declare function setRustForceRunPlanImports(req: {
     runPlan: boolean;
@@ -74,10 +44,5 @@ export declare const rustStraightlineInternals: {
     sanitize: typeof sanitize;
     dialect: StraightlineDialect;
 };
-/**
- * rustStraightlineEmitter — 言語識別子 `"rust-straightline"` の emitter plugin。既存の `rust`
- * （リテラル焼き込み・endpoint 3・run_behavior 丸投げ）と併存する additive な第2モード。
- */
-export declare const rustStraightlineEmitter: EmitterPlugin;
 export {};
-//# sourceMappingURL=emit-straightline-rust.d.ts.map
+//# sourceMappingURL=emit-shared-rust.d.ts.map