behavior-contracts 0.2.0 → 0.2.1

package/dist/generator/emit-straightline-python.js

@@ -0,0 +1,441 @@
+import { emitDocLiteral, emitDocLiteralCompact } from "./literal.js";
+import { emitStraightlineModule, } from "./straightline.js";
+/** primitive namespace alias（生成コード内 — `behavior_contracts.primitives` を `cgp` で import）。 */
+const CGP = "cgp";
+/**
+ * scope 式（生成コード内）。scope は「input + それまでの ok 結果」のその時点のスナップで
+ * あり、run_behavior の base_scope() と同じく exec ごとに新規に組む。native/primitive 双方へ
+ * `_scope()`（関数呼び）を渡す（呼び時点の results を読む — 決定的）。
+ */
+const SCOPE = "_scope()";
+/**
+ * map 本体（over/guard/ports）の要素 scope 式（生成コード内）。run_behavior の map と同じく
+ * `{**base_scope(), as: el}` を per-element で組む（生成コードは map arm 内で `_mscope()` を
+ * ローカル定義する）。
+ */
+const MAP_SCOPE = "_mscope()";
+/** IR リテラルを python 式として emit（primitive 被演算子用の単一行リテラル）。 */
+function lit(node) {
+    return emitDocLiteralCompact(node, "py");
+}
+/** args 配列（比較・算術の二項/単項）を要素ごとに IR リテラルへ落として `, ` 連結。 */
+function argList(arg) {
+    return arg.map((a) => lit(a)).join(", ");
+}
+// A0 primitives.py の引数形に合わせた op → 呼び式の綴じ方（TS oracle と違い python の primitive は
+// 被演算子を **位置引数**で取る: add(a, b, scope) / cond(c, then, els, scope) / obj(fields, scope) …）。
+// 命名は docs/codegen-primitives.md（python 列）に一致。ref/refOpt/concat と単純リテラルはここに無い
+// （native 化するため emitExpr が直接 native コードを出す — 本 issue の脱解釈）。
+const OP_EMITTERS = {
+    // リテラルラッパ（int は i64 checked / float は NaN/Inf checked — native 化しない）
+    int: (arg, s) => `${CGP}.int_lit(${lit(arg)}, ${s})`,
+    float: (arg, s) => `${CGP}.float_lit(${lit(arg)}, ${s})`,
+    // 構築（fields/elements は未評価 IR）
+    obj: (arg, s) => `${CGP}.obj(${lit(arg)}, ${s})`,
+    arr: (arg, s) => `${CGP}.arr(${lit(arg)}, ${s})`,
+    // 数値（checked。二項は a,b / 単項は a）
+    add: (arg, s) => `${CGP}.add(${argList(arg)}, ${s})`,
+    sub: (arg, s) => `${CGP}.sub(${argList(arg)}, ${s})`,
+    mul: (arg, s) => `${CGP}.mul(${argList(arg)}, ${s})`,
+    neg: (arg, s) => `${CGP}.neg(${argList(arg)}, ${s})`,
+    div: (arg, s) => `${CGP}.div(${argList(arg)}, ${s})`,
+    mod: (arg, s) => `${CGP}.mod(${argList(arg)}, ${s})`,
+    // 比較（二項）
+    eq: (arg, s) => `${CGP}.eq(${argList(arg)}, ${s})`,
+    ne: (arg, s) => `${CGP}.ne(${argList(arg)}, ${s})`,
+    lt: (arg, s) => `${CGP}.lt(${argList(arg)}, ${s})`,
+    le: (arg, s) => `${CGP}.le(${argList(arg)}, ${s})`,
+    gt: (arg, s) => `${CGP}.gt(${argList(arg)}, ${s})`,
+    ge: (arg, s) => `${CGP}.ge(${argList(arg)}, ${s})`,
+    // bool/null（短絡: 被演算子は未評価 IR で渡す — primitive 内 evaluate が短絡）
+    and: (arg, s) => `${CGP}.and_(${argList(arg)}, ${s})`,
+    or: (arg, s) => `${CGP}.or_(${argList(arg)}, ${s})`,
+    not: (arg, s) => `${CGP}.not_(${argList(arg)}, ${s})`,
+    coalesce: (arg, s) => `${CGP}.coalesce(${argList(arg)}, ${s})`,
+    cond: (arg, s) => `${CGP}.cond(${argList(arg)}, ${s})`,
+    len: (arg, s) => `${CGP}.len_(${argList(arg)}, ${s})`,
+};
+/** ref/refOpt の path（string 配列）を python list リテラルへ。 */
+function pathLit(arg) {
+    return lit(arg);
+}
+/**
+ * emitExpr — Expression IR ノードを python 式へ落とす（脱解釈: 単純式は native、意味論式は primitive）。
+ *
+ *   - `concat`                → native `_sl_concat([...])`（str-only / arity>=2 を native チェック）。
+ *   - `ref` / `refOpt`        → native `_sl_ref(...)` / `_sl_ref_opt(...)`（path を native 走査）。
+ *   - str/bool/None/int/float → native python リテラル（portability guard 済み → 安全域内で evaluate と同値）。
+ *   - それ以外の演算子ノード  → A0 primitive（`cgp.*`。被演算子は未評価 IR リテラル＝短絡保存）。
+ *   - 未知の形               → 到達しない（Portability Guard 通過済み）。防御的に primitive `eval_expr` へ。
+ *
+ * native 経路は `evaluate()` も `cgp.*` も呼ばない（AC#2/#7 の grep 証明の対象）。
+ */
+function emitExpr(node, scopeVar) {
+    // スカラリテラル（native）。
+    if (node === null)
+        return "None";
+    if (typeof node === "boolean")
+        return node ? "True" : "False";
+    if (typeof node === "string")
+        return lit(node);
+    if (typeof node === "number")
+        return lit(node); // literal.ts が安全域を fail-closed 済み
+    if (typeof node === "object" && !Array.isArray(node)) {
+        const keys = Object.keys(node);
+        if (keys.length === 1) {
+            const op = keys[0];
+            const arg = node[op];
+            // ── 単純式の native 化（脱解釈）──────────────────────────────────────
+            if (op === "ref")
+                return `_sl_ref(${pathLit(arg)}, ${scopeVar})`;
+            if (op === "refOpt")
+                return `_sl_ref_opt(${pathLit(arg)}, ${scopeVar})`;
+            if (op === "concat") {
+                const parts = arg.map((p) => emitExpr(p, scopeVar));
+                return `_sl_concat([${parts.join(", ")}])`;
+            }
+            // ── 意味論式（overflow/短絡/fail-closed）は A0 primitive SSoT へ ─────────
+            const em = OP_EMITTERS[op];
+            if (em)
+                return em(arg, scopeVar);
+        }
+    }
+    // 配列裸出し等の不正形は Portability Guard で弾かれ到達しないが、防御的に SSoT へ委譲。
+    return `${CGP}.eval_expr(${lit(node)}, ${scopeVar})`;
+}
+// ── per-node exec 分岐 / component 関数 / module の綴じ方 ──────────────────────
+/** ops リテラル（run_plan に渡す OpSpec[] の python list リテラル）を綴じる。 */
+function emitOpsLiteral(plan) {
+    const rows = plan.opsLiteral.map((o) => {
+        const parts = [`"id": ${JSON.stringify(o.id)}`, `"parent": ${o.parent === null ? "None" : String(o.parent)}`];
+        if (o.bindField !== undefined)
+            parts.push(`"bindField": ${JSON.stringify(o.bindField)}`);
+        if (o.relationKind !== undefined)
+            parts.push(`"relationKind": ${JSON.stringify(o.relationKind)}`);
+        if (o.policy !== undefined)
+            parts.push(`"policy": ${JSON.stringify(o.policy)}`);
+        return `        {${parts.join(", ")}},`;
+    });
+    return `[\n${rows.join("\n")}\n    ]`;
+}
+/** map arm の要素 ports リテラル（要素 scope `_mscope()` で評価）。 */
+function emitMapPorts(op) {
+    if (op.ports.length === 0)
+        return "{}";
+    return `{\n${op.ports
+        .map((p) => `                ${JSON.stringify(p.name)}: ${p.expr},`)
+        .join("\n")}\n            }`;
+}
+/**
+ * emitMapArm — map ノードの直線展開（要素反復・guard skip・per-element/batched handler・into
+ * zip-attach）。run_behavior の map 分岐を生成 python へ直線展開する。op-log 等価のため handler は
+ * run_behavior と同じ ctx（非 batched は bound 付き、batched は無し）・同じ ports 形で呼ぶ。guard は
+ * cond primitive（strict-bool SSoT）で、into は A0 `cgp.hydrate_into`（zip-attach SSoT）で解決する。
+ */
+function emitMapArm(op) {
+    const comp = JSON.stringify(op.component);
+    const nodeId = JSON.stringify(op.id);
+    const asKey = JSON.stringify(op.as);
+    const guardCheck = op.guard === undefined ? "" : `\n                if ${op.guard} is not True:\n                    continue`;
+    const intoTail = op.into === undefined
+        ? "            return {\"ok\": _collected}"
+        : `            # map.into zip-attach（behavior.py applyInto）: over と同じ長さ・順序で guard 通過要素へ
+            # 書き戻す（skip 要素は無変更、親不変）。Failure code は run_behavior と一致。
+            _augmented = []
+            _k = 0
+            for _mj, _oel in enumerate(_over):
+                if _k < len(_kept_idx) and _kept_idx[_k] == _mj:
+                    if not isinstance(_oel, dict):
+                        raise BehaviorFailure("MAP_INTO_ELEMENT_NOT_OBJECT", "map '${op.id}': 'into' requires object elements (element %d is not an object)" % _mj)
+                    _augmented.append({**_oel, ${JSON.stringify(op.into)}: _collected[_k]})
+                    _k += 1
+                else:
+                    _augmented.append(_oel)
+            return {"ok": _augmented}`;
+    const body = op.batched
+        ? `            _items = []
+            for _mi, _el in enumerate(_over):
+                def _mscope(_el=_el):
+                    return {**_scope(), ${asKey}: _el}${guardCheck}
+                _items.append(${emitMapPorts(op)})
+                _kept_idx.append(_mi)
+            if not _items:
+                _collected = []
+            else:
+                h = handlers.get(${comp})
+                if h is None:
+                    raise BehaviorFailure("UNKNOWN_COMPONENT", "component '${op.component}' has no handler (fail-closed)")
+                outcome = h({"items": _items}, {"nodeId": ${nodeId}, "component": ${comp}})
+                if "error" in outcome:
+                    return outcome
+                _r = outcome["ok"]
+                if not isinstance(_r, list) or len(_r) != len(_items):
+                    raise BehaviorFailure("MAP_BATCH_RESULT_MISMATCH", "map '${op.id}': batched handler must return a list aligned to items (want %d)" % len(_items))
+                _collected = _r
+${intoTail}`
+        : `            _collected = []
+            h = handlers.get(${comp})
+            if h is None:
+                raise BehaviorFailure("UNKNOWN_COMPONENT", "component '${op.component}' has no handler (fail-closed)")
+            for _mi, _el in enumerate(_over):
+                def _mscope(_el=_el):
+                    return {**_scope(), ${asKey}: _el}${guardCheck}
+                ports = ${emitMapPorts(op)}
+                outcome = h(ports, {"nodeId": ${nodeId}, "component": ${comp}, "bound": _el})
+                if "error" in outcome:
+                    return outcome
+                _collected.append(outcome["ok"])
+                _kept_idx.append(_mi)
+${intoTail}`;
+    return `        if i == ${op.index}:
+            _over = ${op.over}
+            if not isinstance(_over, list):
+                raise BehaviorFailure("MAP_OVER_NOT_ARRAY", "map '${op.id}': 'over' did not evaluate to an array")
+            _kept_idx = []
+${body}`;
+}
+/** 1ノードの exec 分岐本体（index で分岐 — nodeKind ディスパッチではない）。 */
+function emitExecArm(op) {
+    if (op.kind === "cond") {
+        // cond は純 Expression。scope を渡して1式評価（handler は呼ばない）。
+        return `        if i == ${op.index}:\n            return {"ok": ${op.expr}}`;
+    }
+    if (op.kind === "map")
+        return emitMapArm(op);
+    // componentRef: 各 port を名前付き native/primitive 呼びで評価 → handler 注入呼び。
+    const portLines = op.ports.length === 0
+        ? "            ports = {}"
+        : `            ports = {\n${op.ports
+            .map((p) => `                ${JSON.stringify(p.name)}: ${p.expr},`)
+            .join("\n")}\n            }`;
+    return `        if i == ${op.index}:
+${portLines}
+            h = handlers.get(${JSON.stringify(op.component)})
+            if h is None:
+                raise BehaviorFailure("UNKNOWN_COMPONENT", "component '${op.component}' has no handler (fail-closed)")
+            return h(ports, {"nodeId": ${JSON.stringify(op.id)}, "component": ${JSON.stringify(op.component)}})`;
+}
+/**
+ * emitComponentFn — 1 component の直線 python 関数を綴じる。run_behavior の実行フロー
+ * （results 蓄積 + base_scope + run_plan + 未生成書き戻し + output 評価）を **生成コードに
+ * 直線展開**する（汎用 exec/nodeKind/eval_ports は無い。各 exec 分岐は index で確定・ハードコード）。
+ */
+function emitComponentFn(plan) {
+    const arms = plan.ops.map(emitExecArm).join("\n");
+    const planLiteral = plan.component.plan ? emitDocLiteral(plan.component.plan, "py", 1) : "None";
+    const output = emitExpr(plan.component.output, SCOPE);
+    const relationKinds = plan.opsLiteral.map((o) => (o.relationKind === "connection" ? "connection" : "single"));
+    const relLit = "[" + relationKinds.map((r) => JSON.stringify(r)).join(", ") + "]";
+    return `def run_${sanitize(plan.name)}(handlers, input):
+    ops = ${emitOpsLiteral(plan)}
+    results = {}
+
+    def _scope():
+        return {**input, **results}
+
+    relation_kinds = ${relLit}
+
+    def _exec(op, _bound):
+        i = _op_index(ops, op["id"])
+${arms}
+        raise BehaviorFailure("UNKNOWN_NODE_KIND", "op '%s' has no generated exec arm (fail-closed)" % op["id"])
+
+    def _wrapped_exec(op, bound):
+        outcome = _exec(op, bound)
+        if "ok" in outcome:
+            results[op["id"]] = outcome["ok"]
+        return outcome
+
+    run = ${CGP}.run_plan(${planLiteral}, ops, _wrapped_exec)
+    for _i, _st in enumerate(run["states"]):
+        if _st is not None and _st.get("status") == "skipped":
+            results[ops[_i]["id"]] = ${CGP}.unproduced_value(relation_kinds[_i])
+    return ${output}`;
+}
+/** component 名を関数名に使える形へ（決定的。名前一意は DUPLICATE_COMPONENT で保証）。 */
+function sanitize(name) {
+    return name.replace(/[^A-Za-z0-9_]/g, "_");
+}
+function emitComponent(plan, _ctx) {
+    return emitComponentFn(plan);
+}
+function emitModule(plans, ctx) {
+    const { fingerprint, specVersions, componentNames, runtimeImport } = ctx;
+    const names = componentNames.map((n) => JSON.stringify(n)).join(", ");
+    const namesTuple = componentNames.length === 1 ? `(${names},)` : `(${names})`;
+    const irLiteral = emitDocLiteral(ctx.ir, "py");
+    const fns = plans.map((p) => emitComponent(p, ctx)).join("\n\n\n");
+    const dispatchArms = plans
+        .map((p) => `    if name == ${JSON.stringify(p.name)}:\n        return run_${sanitize(p.name)}(handlers, dict(input))`)
+        .join("\n");
+    return `# GENERATED by behavior-contracts common generator (bc#40, straight-line) — DO NOT EDIT.
+# Input: portable component-graph IR only (scp-ir-architecture.md §5/§7.4).
+# This is the STRAIGHT-LINE codegen endpoint (typed-codegen.md §4.1 / bc#40 A2): each
+# component is emitted as a native python function that drives the plan via the run_plan
+# primitive and evaluates every port + output either NATIVELY (concat -> python string
+# concat; ref/refOpt -> native scope/field access) or through the A0 expression-operator
+# primitives (#36) for overflow / short-circuit / fail-closed operators + injected handlers.
+# It does NOT go through run_behavior's tree-walk (no nodeKind dispatch / no eval_ports loop
+# / no generic exec). Scope: componentRef + cond + map (over/when/into/batched — bc#42 A3);
+# into is zip-attached inline (native, MAP_INTO_ELEMENT_NOT_OBJECT fail-closed). plan.concurrency is preserved: the
+# run_plan primitive dispatches same-stage independent ops up to plan.concurrency in flight
+# (ThreadPoolExecutor), matching run_behavior's parallel behavior (bc#42 AC#2). Handlers are
+# ALWAYS injected at the boundary.
+# irFingerprint: ${fingerprint}
+from ${runtimeImport} import SPEC_VERSIONS, fingerprint_component_graph, BehaviorFailure, ExprFailure, primitives as ${CGP}
+
+# Spec versions baked at generation time (fail-closed constant comparison at load).
+EXPECTED_SPEC_VERSIONS = {"behavior": ${specVersions.behavior}, "expression": ${specVersions.expression}, "plan": ${specVersions.plan}}
+
+# FNV-1a 64 fingerprint of the source portable IR (canonical_json discipline, #208).
+IR_FINGERPRINT = ${JSON.stringify(fingerprint)}
+
+# Component names exposed by bind(), in IR declaration order.
+COMPONENT_NAMES = ${namesTuple}
+
+# The portable component-graph IR, embedded for the load-time fingerprint self-check only.
+IR = ${irLiteral}
+
+
+def _check_generated_module():
+    # load-time fail-closed checks (#208 prepared-artifact discipline, checked ONCE).
+    for _k, _want in EXPECTED_SPEC_VERSIONS.items():
+        _got = SPEC_VERSIONS.get(_k)
+        if _got != _want:
+            raise RuntimeError(
+                "behavior-contracts generated module: spec-version skew for '%s' "
+                "(generated=%s, runtime=%s) — regenerate against this runtime (fail-closed)"
+                % (_k, _want, _got)
+            )
+    _got_fp = fingerprint_component_graph(IR)
+    if _got_fp != IR_FINGERPRINT:
+        raise RuntimeError(
+            "behavior-contracts generated module: IR fingerprint mismatch "
+            "(baked=%s, embedded literal=%s) — the generated code was modified or corrupted (fail-closed)"
+            % (IR_FINGERPRINT, _got_fp)
+        )
+
+
+_check_generated_module()
+
+_MISSING = object()
+
+
+# ── native-ized simple-expression helpers (de-interpretation — NO evaluate tree-walk) ──
+# These statically unroll ref/refOpt/concat into native python, reproducing expr_eval.py's
+# fail-closed semantics EXACTLY (same Failure codes via ExprFailure — the semantics SSoT is
+# still one class). This is the Phase-B de-interpretation win: no recursive evaluate dispatch
+# and no per-node operator lookup for pure ref/concat ports.
+def _sl_ref(path, scope):
+    head = path[0]
+    if head not in scope:
+        raise ExprFailure("UNKNOWN_BINDING", "unknown binding: %s" % head)
+    cur = scope[head]
+    for seg in path[1:]:
+        if cur is None:
+            raise ExprFailure("NULL_REF", "null intermediate at .%s（?. を使う）" % seg)
+        if not isinstance(cur, dict):
+            raise ExprFailure("TYPE_MISMATCH", "cannot access .%s on %s" % (seg, _type_name(cur)))
+        got = cur.get(seg, _MISSING)
+        if got is _MISSING:
+            raise ExprFailure("MISSING_PROP", "missing property .%s" % seg)
+        cur = got
+    return cur
+
+
+def _sl_ref_opt(path, scope):
+    head = path[0]
+    if head not in scope:
+        raise ExprFailure("UNKNOWN_BINDING", "unknown binding: %s" % head)
+    cur = scope[head]
+    for seg in path[1:]:
+        if cur is None:
+            return None  # ?. null propagation
+        if not isinstance(cur, dict):
+            raise ExprFailure("TYPE_MISMATCH", "cannot access .%s on %s" % (seg, _type_name(cur)))
+        got = cur.get(seg, _MISSING)
+        if got is _MISSING:
+            raise ExprFailure("MISSING_PROP", "missing property .%s" % seg)
+        cur = got
+    return cur
+
+
+def _sl_concat(parts):
+    # n-ary (min 2). string-only (TYPE_MISMATCH otherwise) — matches expr_eval.py concat.
+    if len(parts) < 2:
+        raise ExprFailure("INVALID_NODE", "concat expects >= 2 args, got %d" % len(parts))
+    for p in parts:
+        if not isinstance(p, str):
+            raise ExprFailure("TYPE_MISMATCH", "concat: string のみ（got %s）" % _type_name(p))
+    return "".join(parts)
+
+
+def _type_name(v):
+    # expr_eval.py _type_name: JS-flavored type names for parity of messages.
+    if v is None:
+        return "null"
+    if isinstance(v, bool):
+        return "boolean"
+    if isinstance(v, str):
+        return "string"
+    if isinstance(v, (int, float)):
+        return "number"
+    if isinstance(v, list):
+        return "array"
+    return "object"
+
+
+def _op_index(ops, op_id):
+    for i, o in enumerate(ops):
+        if o["id"] == op_id:
+            return i
+    return -1
+
+
+# ── straight-line component functions (no run_behavior tree-walk) ───────────────────
+${fns}
+
+
+def bind(handlers):
+    """Inject handlers (boundary injection; catalog name -> implementation) and get one
+    callable per component. Each callable runs the straight-line function for that component
+    (plan via run_plan primitive + per-node native/primitive port eval + injected handler) —
+    NOT the run_behavior tree-walk. Observationally equivalent to the run_behavior path:
+    same values, same emitted op sequence, same Failure code/message."""
+
+    def _make(name):
+        def _call(input=None):
+            return _dispatch(name, handlers, dict(input or {}))
+
+        return _call
+
+    return {name: _make(name) for name in COMPONENT_NAMES}
+
+
+def _dispatch(name, handlers, input):
+${dispatchArms}
+    raise BehaviorFailure("UNKNOWN_ENTRY", "component '%s' not found in this module (fail-closed)" % name)
+`;
+}
+const dialect = {
+    emitExpr,
+    mapScopeVar: MAP_SCOPE,
+    emitComponent,
+    emitModule,
+};
+function emit(ctx) {
+    return emitStraightlineModule(ctx, dialect, SCOPE);
+}
+/**
+ * pythonStraightlineEmitter — 言語識別子 `"python-straightline"` の emitter plugin。
+ * 既存の `python`（リテラル焼き込み・endpoint 3-literal → run_behavior）と併存する additive な
+ * 第2モード（単純式を native 化し `evaluate` 解釈を消す脱解釈経路 — typed-codegen.md §4.1）。
+ */
+export const pythonStraightlineEmitter = {
+    language: "python-straightline",
+    fileExtension: ".py",
+    defaultRuntimeImport: "behavior_contracts",
+    filenameHint: "behaviors.straightline.generated.py",
+    emit,
+};
+//# sourceMappingURL=emit-straightline-python.js.map

package/dist/generator/emit-straightline-python.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-python.js","sourceRoot":"","sources":["../../src/generator/emit-straightline-python.ts"],"names":[],"mappings":"AA6BA,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EACL,sBAAsB,GAIvB,MAAM,mBAAmB,CAAC;AAE3B,4FAA4F;AAC5F,MAAM,GAAG,GAAG,KAAK,CAAC;AAClB;;;;GAIG;AACH,MAAM,KAAK,GAAG,UAAU,CAAC;AACzB;;;;GAIG;AACH,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B,0DAA0D;AAC1D,SAAS,GAAG,CAAC,IAAa;IACxB,OAAO,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAKD,uDAAuD;AACvD,SAAS,OAAO,CAAC,GAAY;IAC3B,OAAQ,GAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1D,CAAC;AAED,6EAA6E;AAC7E,2FAA2F;AAC3F,8EAA8E;AAC9E,4DAA4D;AAC5D,MAAM,WAAW,GAA8B;IAC7C,qEAAqE;IACrE,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,cAAc,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACxD,8BAA8B;IAC9B,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAChD,8BAA8B;IAC9B,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACpD,SAAS;IACT,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,OAAO,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,4DAA4D;IAC5D,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACrD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACrD,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAC9D,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACtD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;CACtD,CAAC;AAEF,uDAAuD;AACvD,SAAS,OAAO,CAAC,GAAY;IAC3B,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;AAClB,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,QAAQ,CAAC,IAAa,EAAE,QAAgB;IAC/C,mBAAmB;IACnB,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9D,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC;IAC/C,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,kCAAkC;IAClF,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAA+B,CAAC,CAAC;QAC1D,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACnB,MAAM,GAAG,GAAI,IAAgC,CAAC,EAAE,CAAC,CAAC;YAClD,8DAA8D;YAC9D,IAAI,EAAE,KAAK,KAAK;gBAAE,OAAO,WAAW,OAAO,CAAC,GAAG,CAAC,KAAK,QAAQ,GAAG,CAAC;YACjE,IAAI,EAAE,KAAK,QAAQ;gBAAE,OAAO,eAAe,OAAO,CAAC,GAAG,CAAC,KAAK,QAAQ,GAAG,CAAC;YACxE,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACpB,MAAM,KAAK,GAAI,GAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACnE,OAAO,eAAe,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7C,CAAC;YACD,kEAAkE;YAClE,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,EAAE;gBAAE,OAAO,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,0DAA0D;IAC1D,OAAO,GAAG,GAAG,cAAc,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,GAAG,CAAC;AACvD,CAAC;AAED,0EAA0E;AAE1E,8DAA8D;AAC9D,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,CAAC,SAAS,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,aAAa,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC9G,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,gBAAgB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACzF,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAClG,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChF,OAAO,YAAY,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC1C,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;AACxC,CAAC;AAED,wDAAwD;AACxD,SAAS,YAAY,CAAC,EAA4C;IAChE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,MAAM,EAAE,CAAC,KAAK;SAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;SACnE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC;AACjC,CAAC;AAED;;;;;GAKG;AACH,SAAS,UAAU,CAAC,EAA4C;IAC9D,MAAM,IAAI,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IAC1C,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACpC,MAAM,UAAU,GACd,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,wBAAwB,EAAE,CAAC,KAAK,6CAA6C,CAAC;IAC9G,MAAM,QAAQ,GACZ,EAAE,CAAC,IAAI,KAAK,SAAS;QACnB,CAAC,CAAC,yCAAyC;QAC3C,CAAC,CAAC;;;;;;;qFAO6E,EAAE,CAAC,EAAE;iDACzC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC;;;;sCAIlC,CAAC;IACrC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO;QACrB,CAAC,CAAC;;;0CAGoC,KAAK,SAAS,UAAU;gCAClC,YAAY,CAAC,EAAE,CAAC;;;;;mCAKb,IAAI;;6EAEsC,EAAE,CAAC,SAAS;4DAC7B,MAAM,kBAAkB,IAAI;;;;;+EAKT,EAAE,CAAC,EAAE;;EAElF,QAAQ,EAAE;QACR,CAAC,CAAC;+BACyB,IAAI;;yEAEsC,EAAE,CAAC,SAAS;;;0CAG3C,KAAK,SAAS,UAAU;0BACxC,YAAY,CAAC,EAAE,CAAC;gDACM,MAAM,kBAAkB,IAAI;;;;;EAK1E,QAAQ,EAAE,CAAC;IACX,OAAO,mBAAmB,EAAE,CAAC,KAAK;sBACd,EAAE,CAAC,IAAI;;oEAEuC,EAAE,CAAC,EAAE;;EAEvE,IAAI,EAAE,CAAC;AACT,CAAC;AAED,wDAAwD;AACxD,SAAS,WAAW,CAAC,EAAkB;IACrC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvB,oDAAoD;QACpD,OAAO,mBAAmB,EAAE,CAAC,KAAK,gCAAgC,EAAE,CAAC,IAAI,GAAG,CAAC;IAC/E,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;IAC7C,oEAAoE;IACpE,MAAM,SAAS,GACb,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACnB,CAAC,CAAC,wBAAwB;QAC1B,CAAC,CAAC,0BAA0B,EAAE,CAAC,KAAK;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,GAAG,CAAC;aACnE,IAAI,CAAC,IAAI,CAAC,iBAAiB,CAAC;IACrC,OAAO,mBAAmB,EAAE,CAAC,KAAK;EAClC,SAAS;+BACoB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC;;yEAEc,EAAE,CAAC,SAAS;yCAC5C,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC;AACjH,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,IAAmB;IAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAChG,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACtD,MAAM,aAAa,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC9G,MAAM,MAAM,GAAG,GAAG,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,GAAG,CAAC;IAClF,OAAO,WAAW,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;YAC3B,cAAc,CAAC,IAAI,CAAC;;;;;;uBAMT,MAAM;;;;EAI3B,IAAI;;;;;;;;;YASM,GAAG,aAAa,WAAW;;;uCAGA,GAAG;aAC7B,MAAM,EAAE,CAAC;AACtB,CAAC;AAED,gEAAgE;AAChE,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB,EAAE,IAAiB;IAC3D,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,UAAU,CAAC,KAAsB,EAAE,GAAgB;IAC1D,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,cAAc,EAAE,aAAa,EAAE,GAAG,GAAG,CAAC;IACzE,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,UAAU,GAAG,cAAc,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,GAAG,CAAC;IAC9E,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IAC/C,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACnE,MAAM,YAAY,GAAG,KAAK;SACvB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC;SACtH,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO;;;;;;;;;;;;;mBAaU,WAAW;OACvB,aAAa,mGAAmG,GAAG;;;wCAGlF,YAAY,CAAC,QAAQ,mBAAmB,YAAY,CAAC,UAAU,aAAa,YAAY,CAAC,IAAI;;;mBAGlH,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;;;oBAG1B,UAAU;;;OAGvB,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAmGd,GAAG;;;;;;;;;;;;;;;;;;;;EAoBH,YAAY;;CAEb,CAAC;AACF,CAAC;AAED,MAAM,OAAO,GAAwB;IACnC,QAAQ;IACR,WAAW,EAAE,SAAS;IACtB,aAAa;IACb,UAAU;CACX,CAAC;AAEF,SAAS,IAAI,CAAC,GAAgB;IAC5B,OAAO,sBAAsB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACrD,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAkB;IACtD,QAAQ,EAAE,qBAAqB;IAC/B,aAAa,EAAE,KAAK;IACpB,oBAAoB,EAAE,oBAAoB;IAC1C,YAAY,EAAE,qCAAqC;IACnD,IAAI;CACL,CAAC"}

package/dist/generator/emit-straightline-rust.d.ts

@@ -0,0 +1,78 @@
+/**
+ * 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";
+/** string を rust 文字列リテラルへ（path セグメント用。JSON エスケープで安全側）。 */
+declare function rustStrLit(s: string): string;
+/**
+ * emitExpr — Expression IR ノードを rust の「scope を受けて `R`（= Result<Value, ExprFailure>）を
+ * 返す」式へ落とす。**単純式はネイティブ化**（式ツリー解釈 `evaluate` を消す — bc#39 AC#2 の
+ * 脱解釈の実体）、overflow/短絡系のみ A0 primitive SSoT を直呼びする:
+ *
+ *   - `concat`               → `primitives::concat_native(&[<part>?, …])`（native 連結。`evaluate` 非経由）
+ *   - `ref`/`refOpt`（静的 path）→ `primitives::ref_native(&["a","b"], scope)` 等（native scope walk）
+ *   - それ以外の演算子          → 対応する A0 evaluate 委譲 primitive（被演算子は未評価 IR リテラル）
+ *   - スカラ/ null / bool リテラルや非静的 path・未知形 → `primitives::eval_expr(&json!(..), scope)`
+ *     （同一 SSoT。型判定を生成コードに残さない）
+ *
+ * Portability Guard を通過済み（生成時検査）なので未知 operator はここに来ない。
+ * 返り値は必ず `R` 型の rust 式（呼び側が `?` で Value へ展開する）。
+ */
+declare function emitExpr(node: unknown, scopeVar: string): string;
+/** component 名 → rust 関数名の一部（決定的・一意は DUPLICATE_COMPONENT で保証）。 */
+declare function sanitize(name: string): string;
+/** ops リテラル（run_plan に渡す OpSpec の Vec を綴じる rust コード）。 */
+declare function emitOpsLiteral(plan: ComponentPlan): string;
+/** plan（ExecutionPlanSpec）リテラルを rust の `Some(&ExecutionPlanSpec{..})` へ（fully-qualified）。 */
+declare function emitPlanLiteral(plan: unknown): string;
+/**
+ * rust-typed（bc#48）が struct-native exec を綴じるために再利用する内部 emit ヘルパ。straight-line の
+ * plan/handler-dispatch SSoT（run_plan primitive + handlers.exec_ctx + native/primitive port eval）を
+ * そのまま使い、「結果を Value scope でなく struct scope に持つ」差分だけを typed 側で足すための seam。
+ * primitive namespace（P）と ops/plan リテラル・式 emit・sanitize を共有する（意味論の二重実装を避ける）。
+ * go の {@link goStraightlineInternals} と同型（seam が language-neutral であることの担保）。
+ */
+export declare const rustStraightlineInternals: {
+    P: string;
+    SCOPE: string;
+    emitExpr: typeof emitExpr;
+    emitOpsLiteral: typeof emitOpsLiteral;
+    emitPlanLiteral: typeof emitPlanLiteral;
+    rustStrLit: typeof rustStrLit;
+    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

package/dist/generator/emit-straightline-rust.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-rust.d.ts","sourceRoot":"","sources":["../../src/generator/emit-straightline-rust.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAE5D,OAAO,EAEL,KAAK,aAAa,EAClB,KAAK,mBAAmB,EAEzB,MAAM,mBAAmB,CAAC;AAgC3B,0DAA0D;AAC1D,iBAAS,UAAU,CAAC,CAAC,EAAE,MAAM,GAAG,MAAM,CAErC;AAED;;;;;;;;;;;;;GAaG;AACH,iBAAS,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CA4BzD;AA0CD,kEAAkE;AAClE,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtC;AAED,yDAAyD;AACzD,iBAAS,cAAc,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CAkBnD;AA+SD,6FAA6F;AAC7F,iBAAS,eAAe,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAK9C;AAyJD;;;;;;GAMG;AACH,eAAO,MAAM,yBAAyB;;;;;;;;;CASrC,CAAC;AAMF;;;GAGG;AACH,eAAO,MAAM,uBAAuB,EAAE,aAMrC,CAAC"}