behavior-contracts 0.2.0 → 0.2.2

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

@@ -0,0 +1,615 @@
+import { emitDocLiteral, emitDocLiteralCompact } from "./literal.js";
+import { emitStraightlineModule, } from "./straightline.js";
+/** primitive namespace（生成コード内）。crate から `primitives` を use する。 */
+const P = "primitives";
+/**
+ * scope 変数（生成コード内）。scope は「input + それまでの ok 結果」のその時点のスナップで
+ * あり、run_behavior の base_scope と同じく exec ごとに新規に組む。primitive へは `&scope()`
+ * （呼び時点の results を読む — 決定的）を渡す。
+ */
+const SCOPE = "scope()";
+/**
+ * map 本体（over/guard/ports）の要素 scope 式（生成コード内）。run_behavior の map と同じく
+ * base_scope に `as`→要素値 を足したスナップ。生成コードは map arm 内で per-element に
+ * `mscope()`（Vec<(String, Value)> を返すクロージャ）をローカル定義し、port/guard 式はそれを呼ぶ。
+ */
+const MAP_SCOPE = "mscope()";
+/** IR リテラルを rust の `json!(...)` 引数（単一行）へ落とす（未評価 Expr 被演算子用）。 */
+function jsonLit(node) {
+    return `json!(${emitDocLiteralCompact(node, "rust")})`;
+}
+/** args 配列（二項/単項 op の被演算子）を `&json!(a), &json!(b)` の形へ。 */
+function argRefs(arg) {
+    return arg.map((a) => `&${jsonLit(a)}`).join(", ");
+}
+/** ref/refOpt の path がすべて string リテラルか（native 化の条件）。 */
+function isStaticStringPath(arg) {
+    return Array.isArray(arg) && arg.length > 0 && arg.every((p) => typeof p === "string");
+}
+/** string を rust 文字列リテラルへ（path セグメント用。JSON エスケープで安全側）。 */
+function rustStrLit(s) {
+    return JSON.stringify(s);
+}
+/**
+ * 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 へ展開する）。
+ */
+function emitExpr(node, scopeVar) {
+    if (node !== null && typeof node === "object" && !Array.isArray(node)) {
+        const keys = Object.keys(node);
+        if (keys.length === 1) {
+            const op = keys[0];
+            const arg = node[op];
+            // ── (1) ネイティブ化: concat（式ツリー解釈を消す）───────────────────────────
+            if (op === "concat" && Array.isArray(arg)) {
+                // 各 part を再帰的に native emit → `?` で Value 化 → concat_native が push_str 連結。
+                const parts = arg.map((a) => `(${emitExpr(a, scopeVar)})?`).join(", ");
+                return `${P}::concat_native(&[${parts}])`;
+            }
+            // ── (2) ネイティブ化: ref / refOpt（静的 string path のみ scope walk へ）────────
+            if ((op === "ref" || op === "refOpt") && isStaticStringPath(arg)) {
+                const path = arg.map(rustStrLit).join(", ");
+                const fn = op === "ref" ? "ref_native" : "ref_opt_native";
+                return `${P}::${fn}(&[${path}], &${scopeVar})`;
+            }
+            // ── (3) SSoT: overflow/短絡系ほか — A0 evaluate 委譲 primitive を直呼び ─────────
+            const call = OP_PRIMITIVE[op];
+            if (call)
+                return call(arg, scopeVar);
+        }
+    }
+    // スカラリテラル / 非静的 path / 未知形 — evaluate SSoT に委譲（同一意味論）。
+    return `${P}::eval_expr(&${jsonLit(node)}, &${scopeVar})`;
+}
+const OP_PRIMITIVE = {
+    // 参照（動的 path — 静的 path は上で native 化済み）。
+    ref: (a, s) => `${P}::eval_expr(&${jsonLit({ ref: a })}, &${s})`,
+    refOpt: (a, s) => `${P}::eval_expr(&${jsonLit({ refOpt: a })}, &${s})`,
+    // リテラルラッパ（int は string, float は number）。
+    int: (a, s) => `${P}::int_lit(${rustStrLit(a)}, &${s})`,
+    float: (a, s) => `${P}::float_lit(${String(a)}, &${s})`,
+    // 構築（fields/elements は未評価 IR）。
+    obj: (a, s) => `${P}::obj(&${jsonLit(a)}, &${s})`,
+    arr: (a, s) => `${P}::arr(&[${a.map((e) => jsonLit(e)).join(", ")}], &${s})`,
+    // 数値（二項は [a,b]・単項は [a]）。fail-closed 意味論のため SSoT primitive。
+    add: (a, s) => `${P}::add(${argRefs(a)}, &${s})`,
+    sub: (a, s) => `${P}::sub(${argRefs(a)}, &${s})`,
+    mul: (a, s) => `${P}::mul(${argRefs(a)}, &${s})`,
+    neg: (a, s) => `${P}::neg(${argRefs(a)}, &${s})`,
+    div: (a, s) => `${P}::div(${argRefs(a)}, &${s})`,
+    mod: (a, s) => `${P}::r#mod(${argRefs(a)}, &${s})`,
+    // 比較（二項）。
+    eq: (a, s) => `${P}::eq(${argRefs(a)}, &${s})`,
+    ne: (a, s) => `${P}::ne(${argRefs(a)}, &${s})`,
+    lt: (a, s) => `${P}::lt(${argRefs(a)}, &${s})`,
+    le: (a, s) => `${P}::le(${argRefs(a)}, &${s})`,
+    gt: (a, s) => `${P}::gt(${argRefs(a)}, &${s})`,
+    ge: (a, s) => `${P}::ge(${argRefs(a)}, &${s})`,
+    // bool/null（短絡: 被演算子は未評価 IR で渡す — primitive 内 evaluate が短絡）。
+    and: (a, s) => `${P}::and(${argRefs(a)}, &${s})`,
+    or: (a, s) => `${P}::or(${argRefs(a)}, &${s})`,
+    not: (a, s) => `${P}::not(${argRefs(a)}, &${s})`,
+    coalesce: (a, s) => `${P}::coalesce(${argRefs(a)}, &${s})`,
+    cond: (a, s) => {
+        const [c, t, e] = a;
+        return `${P}::cond(&${jsonLit(c)}, &${jsonLit(t)}, &${jsonLit(e)}, &${s})`;
+    },
+    len: (a, s) => `${P}::len(${argRefs(a)}, &${s})`,
+};
+// ── per-node exec 分岐 / component 関数 / module の綴じ方 ──────────────────────
+/** component 名 → rust 関数名の一部（決定的・一意は DUPLICATE_COMPONENT で保証）。 */
+function sanitize(name) {
+    return name.replace(/[^A-Za-z0-9_]/g, "_");
+}
+/** ops リテラル（run_plan に渡す OpSpec の Vec を綴じる rust コード）。 */
+function emitOpsLiteral(plan) {
+    const rows = plan.opsLiteral.map((o) => {
+        const parent = o.parent === null ? "None" : `Some(${o.parent})`;
+        const bindField = o.bindField === undefined ? "None" : `Some(${rustStrLit(o.bindField)}.to_string())`;
+        const relationKind = o.relationKind === undefined
+            ? "None"
+            : `Some(RelationKind::${o.relationKind === "connection" ? "Connection" : "Single"})`;
+        const policy = o.policy === undefined ? "None" : `Some(${rustStrLit(o.policy)}.to_string())`;
+        return `        OpSpec {
+            id: ${rustStrLit(o.id)}.to_string(),
+            parent: ${parent},
+            bind_field: ${bindField},
+            relation_kind: ${relationKind},
+            policy: ${policy},
+        },`;
+    });
+    return `vec![\n${rows.join("\n")}\n    ]`;
+}
+/** map arm の要素 ports 構築式（要素 scope `mscope()` で各 port を native/primitive 評価）。 */
+function emitMapPortsRust(op) {
+    if (op.ports.length === 0)
+        return "Ok(Vec::new())";
+    return `Ok(vec![\n${op.ports
+        .map((pt) => `                        (${rustStrLit(pt.name)}.to_string(), (${pt.expr})?),`)
+        .join("\n")}\n                    ])`;
+}
+/**
+ * emitMapArm — map ノードの直線展開（要素反復・guard skip・per-element/batched handler・into
+ * zip-attach）。run_behavior の map 分岐（behavior.rs）を生成 rust へ直線展開する。op-log 等価のため
+ * exec_ctx は run_behavior と同じ ctx（非 batched は bound=Some(要素)、batched は None）・同じ ports で
+ * 呼ぶ。guard は cond primitive（strict-bool SSoT）、into は inline zip-attach
+ * （MAP_INTO_ELEMENT_NOT_OBJECT fail-closed で Failure code 一致）。要素反復は宣言どおり逐次
+ * （run_behavior が sequential run_plan を使うのと同一 — 経路等価の pin 対象）。
+ */
+function emitMapArm(op) {
+    const comp = rustStrLit(op.component);
+    const nodeId = rustStrLit(op.id);
+    const asKey = rustStrLit(op.as);
+    const guardBlock = op.guard === undefined
+        ? ""
+        : `
+                let gkeep = {
+                    let mscope = || -> Vec<(String, Value)> {
+                        let mut s = ${SCOPE};
+                        s.push((${asKey}.to_string(), el.clone()));
+                        s
+                    };
+                    let _ = &mscope;
+                    match ${op.guard} {
+                        Ok(v) => matches!(v, Value::Bool(true)),
+                        Err(e) => {
+                            *err_cell = Some(e.into());
+                            return ExecOutcome::Error("aborted".to_string());
+                        }
+                    }
+                };
+                if !gkeep {
+                    continue;
+                }`;
+    const portEval = `
+                let eval_ports = || -> Result<Vec<(String, Value)>, behavior_contracts::ExprFailure> {
+                    let mscope = || -> Vec<(String, Value)> {
+                        let mut s = ${SCOPE};
+                        s.push((${asKey}.to_string(), el.clone()));
+                        s
+                    };
+                    let _ = &mscope;
+                    ${emitMapPortsRust(op)}
+                };
+                let ports = match eval_ports() {
+                    Ok(p) => p,
+                    Err(e) => {
+                        *err_cell = Some(e.into());
+                        return ExecOutcome::Error("aborted".to_string());
+                    }
+                };`;
+    const intoTail = op.into === undefined
+        ? `                results_cell.push((op.id.clone(), Value::Arr(collected.clone())));
+            return ExecOutcome::Ok(Value::Arr(collected));`
+        : `                let mut augmented: Vec<Value> = Vec::with_capacity(over_arr.len());
+            let mut mk = 0usize;
+            for (mj, oel) in over_arr.iter().enumerate() {
+                if mk < kept_idx.len() && kept_idx[mk] == mj {
+                    match oel {
+                        Value::Obj(pairs) => {
+                            let mut next: Vec<(String, Value)> = pairs.clone();
+                            if let Some(slot) = next.iter_mut().find(|(kk, _)| kk == ${rustStrLit(op.into)}) {
+                                slot.1 = collected[mk].clone();
+                            } else {
+                                next.push((${rustStrLit(op.into)}.to_string(), collected[mk].clone()));
+                            }
+                            augmented.push(Value::Obj(next));
+                        }
+                        _ => {
+                            *err_cell = Some(behavior_contracts::BehaviorError::new(
+                                "MAP_INTO_ELEMENT_NOT_OBJECT",
+                                format!("map '${op.id}': 'into' requires object elements (element {mj} is not an object)"),
+                            ));
+                            return ExecOutcome::Error("aborted".to_string());
+                        }
+                    }
+                    mk += 1;
+                } else {
+                    augmented.push(oel.clone());
+                }
+            }
+            results_cell.push((op.id.clone(), Value::Arr(augmented.clone())));
+            return ExecOutcome::Ok(Value::Arr(augmented));`;
+    const loopBody = op.batched
+        ? `            let mut items: Vec<Value> = Vec::new();
+            for (mi, el) in over_arr.iter().enumerate() {${guardBlock}${portEval}
+                items.push(Value::Obj(ports));
+                kept_idx.push(mi);
+            }
+            let collected: Vec<Value> = if items.is_empty() {
+                Vec::new()
+            } else {
+                let want = items.len();
+                let batch_ports = vec![("items".to_string(), Value::Arr(items))];
+                match handlers.exec_ctx(${nodeId}, ${comp}, &batch_ports, None) {
+                    None => {
+                        *err_cell = Some(unknown_component(${comp}));
+                        return ExecOutcome::Error("aborted".to_string());
+                    }
+                    Some(ExecOutcome::Error(e)) => return ExecOutcome::Error(e),
+                    Some(ExecOutcome::Ok(v)) => match v {
+                        Value::Arr(r) if r.len() == want => r,
+                        _ => {
+                            *err_cell = Some(behavior_contracts::BehaviorError::new(
+                                "MAP_BATCH_RESULT_MISMATCH",
+                                format!("map '${op.id}': batched handler must return a list aligned to items (want {want})"),
+                            ));
+                            return ExecOutcome::Error("aborted".to_string());
+                        }
+                    },
+                }
+            };
+${intoTail}`
+        : `            let mut collected: Vec<Value> = Vec::with_capacity(over_arr.len());
+            for (mi, el) in over_arr.iter().enumerate() {${guardBlock}${portEval}
+                match handlers.exec_ctx(${nodeId}, ${comp}, &ports, Some(el)) {
+                    None => {
+                        *err_cell = Some(unknown_component(${comp}));
+                        return ExecOutcome::Error("aborted".to_string());
+                    }
+                    Some(ExecOutcome::Error(e)) => return ExecOutcome::Error(e),
+                    Some(ExecOutcome::Ok(v)) => collected.push(v),
+                }
+                kept_idx.push(mi);
+            }
+${intoTail}`;
+    return `        if i == ${op.index} {
+            let over_arr: Vec<Value> = match ${op.over} {
+                Ok(Value::Arr(a)) => a,
+                Ok(_) => {
+                    *err_cell = Some(behavior_contracts::BehaviorError::new(
+                        "MAP_OVER_NOT_ARRAY",
+                        format!("map '${op.id}': 'over' did not evaluate to an array"),
+                    ));
+                    return ExecOutcome::Error("aborted".to_string());
+                }
+                Err(e) => {
+                    *err_cell = Some(e.into());
+                    return ExecOutcome::Error("aborted".to_string());
+                }
+            };
+            let mut kept_idx: Vec<usize> = Vec::new();
+${loopBody}
+        }`;
+}
+/**
+ * 1ノードの exec 分岐本体（index で分岐 — node_kind ディスパッチではない）。生成コードは
+ * `i == <index>` で確定した分岐に入る（実行時の種別判定は無い）。
+ */
+function emitExecArm(op) {
+    if (op.kind === "map")
+        return emitMapArm(op);
+    if (op.kind === "cond") {
+        // cond は純 Expression。scope を渡して1式評価（handler は呼ばない）。式評価失敗は
+        // BehaviorError へ写して err_cell に載せ、run_plan を "aborted" で巻き戻す。ok 結果は
+        // results に足す（後続ノード・output が参照できるように — run_behavior と同一）。
+        return `        if i == ${op.index} {
+            match ${op.expr} {
+                Ok(v) => {
+                    results_cell.push((op.id.clone(), v.clone()));
+                    return ExecOutcome::Ok(v);
+                }
+                Err(e) => {
+                    *err_cell = Some(e.into());
+                    return ExecOutcome::Error("aborted".to_string());
+                }
+            }
+        }`;
+    }
+    // componentRef: 各 port を名前付き（native or primitive）呼びで評価 → handler 注入呼び。
+    // port 評価は `?` を使うため R を返す**名前付き**クロージャに畳む（即時実行 IIFE は
+    // clippy::redundant_closure_call になるため、宣言と呼び出しを分ける）。Err は err_cell へ写す。
+    const portRows = op.ports.length === 0
+        ? "                Ok(Vec::new())"
+        : `                Ok(vec![\n${op.ports
+            .map((pt) => `                    (${rustStrLit(pt.name)}.to_string(), (${pt.expr})?),`)
+            .join("\n")}\n                ])`;
+    return `        if i == ${op.index} {
+            let eval_ports =
+                || -> Result<Vec<(String, Value)>, behavior_contracts::ExprFailure> {
+${portRows}
+                };
+            let ports = match eval_ports() {
+                Ok(p) => p,
+                Err(e) => {
+                    *err_cell = Some(e.into());
+                    return ExecOutcome::Error("aborted".to_string());
+                }
+            };
+            let outcome = match handlers.exec_ctx(${rustStrLit(op.id)}, ${rustStrLit(op.component)}, &ports, None) {
+                Some(o) => o,
+                None => {
+                    *err_cell = Some(unknown_component(${rustStrLit(op.component)}));
+                    return ExecOutcome::Error("aborted".to_string());
+                }
+            };
+            if let ExecOutcome::Ok(v) = &outcome {
+                results_cell.push((op.id.clone(), v.clone()));
+            }
+            return outcome;
+        }`;
+}
+/**
+ * emitComponentFn — 1 component の直線関数を綴じる。run_behavior の実行フロー（results 蓄積 +
+ * base_scope + run_plan + skipped→unproduced + output 評価）を**生成コードに直線展開**する
+ * （汎用 exec/node_kind/eval_ports は無い。各 exec 分岐は index で確定・ハードコード）。
+ * run_behavior_inner と同じく err_cell（pending_err）が run_plan の合成 OP_FAILED に優先する。
+ */
+function emitComponentFn(plan) {
+    const arms = plan.ops.map(emitExecArm).join("\n");
+    const planExpr = plan.component.plan ? emitPlanLiteral(plan.component.plan) : "None";
+    const output = emitExpr(plan.component.output, SCOPE);
+    const relationKinds = plan.opsLiteral.map((o) => (o.relationKind === "connection" ? "connection" : "single"));
+    const relLit = `[${relationKinds.map(rustStrLit).join(", ")}]`;
+    // handler を1つも呼ばない component（cond のみ等）では `handlers` を `_handlers` に（未使用 lint 回避）。
+    // componentRef と map（要素 handler / batched handler）は handler を呼ぶ。
+    const usesHandlers = plan.ops.some((o) => o.kind === "componentRef" || o.kind === "map");
+    const handlerParam = usesHandlers ? "handlers" : "_handlers";
+    // output が scope を参照するか（純リテラル output では scope closure を作らない）。
+    const outputUsesScope = output.includes(SCOPE);
+    const outputScope = outputUsesScope
+        ? `    let scope = || -> Vec<(String, Value)> {
+        let mut s: Vec<(String, Value)> = input.to_vec();
+        s.extend(results.iter().cloned());
+        s
+    };
+`
+        : "";
+    return `fn run_${sanitize(plan.name)}<H: ComponentExec>(
+    ${handlerParam}: &mut H,
+    input: &[(String, Value)],
+) -> Result<Value, BehaviorError> {
+    let ops: Vec<OpSpec> = ${emitOpsLiteral(plan)};
+    let relation_kinds: [&str; ${relationKinds.length}] = ${relLit};
+    let mut results: Vec<(String, Value)> = Vec::new();
+    let mut pending_err: Option<BehaviorError> = None;
+
+    let run = {
+        let results_cell = &mut results;
+        let err_cell = &mut pending_err;
+        // 各 exec 分岐は index で確定（node_kind ディスパッチではない）。scope() は「input +
+        // それまでの ok 結果」のその時点スナップ（run_behavior の base_scope と同一・決定的）。
+        let exec = |op: &OpSpec, _bound: Option<&Value>| -> ExecOutcome {
+            if err_cell.is_some() {
+                return ExecOutcome::Error("aborted".to_string());
+            }
+            let i = match ops.iter().position(|o| o.id == op.id) {
+                Some(i) => i,
+                None => {
+                    *err_cell = Some(no_exec_arm(&op.id));
+                    return ExecOutcome::Error("aborted".to_string());
+                }
+            };
+            let scope = || -> Vec<(String, Value)> {
+                let mut s: Vec<(String, Value)> = input.to_vec();
+                s.extend(results_cell.iter().cloned());
+                s
+            };
+            let _ = &scope;
+${arms}
+            *err_cell = Some(no_exec_arm(&op.id));
+            ExecOutcome::Error("aborted".to_string())
+        };
+        run_plan(${planExpr}, &ops, exec)
+    };
+
+    // exec 内で立てた BehaviorError は run_plan が返す合成 OP_FAILED に優先する。
+    if let Some(e) = pending_err {
+        return Err(e);
+    }
+    let run = run?;
+
+    // Skip ノードは unproduced 表現を results に足す（output が ref/coalesce できるように）。
+    for id_val in run.skipped.iter() {
+        if let Some(pos) = ops.iter().position(|o| &o.id == id_val) {
+            let kind = if relation_kinds[pos] == "connection" {
+                Some(RelationKind::Connection)
+            } else {
+                Some(RelationKind::Single)
+            };
+            if !results.iter().any(|(k, _)| k == id_val) {
+                results.push((id_val.clone(), ${P}::unproduced_value(kind)));
+            }
+        }
+    }
+${outputScope}
+    Ok(${output}?)
+}`;
+}
+/** plan（ExecutionPlanSpec）リテラルを rust の `Some(&ExecutionPlanSpec{..})` へ（fully-qualified）。 */
+function emitPlanLiteral(plan) {
+    const p = plan;
+    const groups = (p.groups ?? []).map((g) => `vec![${g.join(", ")}]`).join(", ");
+    const concurrency = p.concurrency ?? 1;
+    return `Some(&behavior_contracts::ExecutionPlanSpec { groups: vec![${groups}], concurrency: ${concurrency} })`;
+}
+function emitComponent(plan, _ctx) {
+    return emitComponentFn(plan);
+}
+/** 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 emitModule(plans, ctx) {
+    const { fingerprint, specVersions, componentNames, runtimeImport } = ctx;
+    const irLiteral = emitDocLiteral(ctx.ir, "rust", 1);
+    const fns = plans.map((p) => emitComponent(p, ctx)).join("\n\n");
+    const dispatchArms = plans
+        .map((p) => `        ${rustStrLit(p.name)} => run_${sanitize(p.name)}(&mut self.handlers, input),`)
+        .join("\n");
+    return `// GENERATED by behavior-contracts common generator (bc#39, 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#39 A2-rust): each
+// component is emitted as a NATIVE rust function that drives the plan via the run_plan
+// primitive and evaluates every port + output. SIMPLE expressions are DE-INTERPRETED to
+// native rust (Phase B win, largest in rust): concat -> primitives::concat_native (push_str,
+// no evaluate), ref/refOpt with a static path -> primitives::ref_native / ref_opt_native
+// (native scope walk, no evaluate/json!). Overflow/short-circuit operators still go through
+// the A0 evaluate-backed primitives (#36) so the fail-closed semantics stay single-sourced.
+// It does NOT go through run_behavior's tree-walk (no node_kind dispatch / no eval_ports
+// loop / no generic exec). Scope: componentRef + cond + simple Expression ports
+// (map/batched/concurrency -> A3, hydration -> A4). Handlers are ALWAYS injected at the
+// boundary; they are never generated.
+// irFingerprint: ${fingerprint}
+
+// Generated per-component function names deterministically mirror the IR component
+// identifiers (which may be camelCase), so non_snake_case is expected and intentional.
+#![allow(non_snake_case)]
+
+use ${runtimeImport}::{
+    fingerprint_component_graph, primitives, run_plan, BehaviorError, ComponentExec, ExecOutcome,
+    OpSpec, RelationKind, 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 — embedded for the
+/// load-time fingerprint self-check ONLY (execution never walks it; the straight-line
+/// functions drive the plan directly).
+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)");
+    }
+}
+
+/// UNKNOWN_COMPONENT の fail-closed error（run_behavior と同一コード・文言）。
+/// cond のみの component だけを含むモジュールでは未使用になり得る（generated helper）。
+#[allow(dead_code)]
+fn unknown_component(component: &str) -> BehaviorError {
+    BehaviorError::new("UNKNOWN_COMPONENT", format!("component '{component}' has no handler (fail-closed)"))
+}
+
+/// 生成された exec 分岐に無い op（決定的には起きない — fail-closed）。
+fn no_exec_arm(id: &str) -> BehaviorError {
+    BehaviorError::new("UNKNOWN_NODE_KIND", format!("op '{id}' has no generated exec arm (fail-closed)"))
+}
+
+// ── straight-line component functions (no run_behavior tree-walk) ──────────────────
+${fns}
+
+/// bind — inject handlers (boundary injection; catalog name → implementation) and get an
+/// executor. Each \`call\` 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. Forces the first-use fail-closed checks.
+pub fn bind<H: ComponentExec>(handlers: H) -> Bound<H> {
+    LazyLock::force(&IR);
+    Bound { handlers }
+}
+
+pub struct Bound<H: ComponentExec> {
+    handlers: H,
+}
+
+impl<H: ComponentExec> Bound<H> {
+    pub fn call(&mut self, name: &str, input: &[(String, Value)]) -> Result<Value, BehaviorError> {
+        match name {
+${dispatchArms}
+            other => Err(BehaviorError::new(
+                "UNKNOWN_ENTRY",
+                format!("component '{other}' not found in this module (fail-closed)"),
+            )),
+        }
+    }
+}
+`;
+}
+const dialect = {
+    emitExpr,
+    mapScopeVar: MAP_SCOPE,
+    emitComponent,
+    emitModule,
+};
+/**
+ * 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 const rustStraightlineInternals = {
+    P,
+    SCOPE,
+    emitExpr,
+    emitOpsLiteral,
+    emitPlanLiteral,
+    rustStrLit,
+    sanitize,
+    dialect,
+};
+function emit(ctx) {
+    return emitStraightlineModule(ctx, dialect, SCOPE);
+}
+/**
+ * rustStraightlineEmitter — 言語識別子 `"rust-straightline"` の emitter plugin。既存の `rust`
+ * （リテラル焼き込み・endpoint 3・run_behavior 丸投げ）と併存する additive な第2モード。
+ */
+export const rustStraightlineEmitter = {
+    language: "rust-straightline",
+    fileExtension: ".rs",
+    defaultRuntimeImport: "behavior_contracts",
+    filenameHint: "behaviors_straightline_generated.rs",
+    emit,
+};
+//# sourceMappingURL=emit-straightline-rust.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-rust.js","sourceRoot":"","sources":["../../src/generator/emit-straightline-rust.ts"],"names":[],"mappings":"AA8BA,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EACL,sBAAsB,GAIvB,MAAM,mBAAmB,CAAC;AAE3B,kEAAkE;AAClE,MAAM,CAAC,GAAG,YAAY,CAAC;AACvB;;;;GAIG;AACH,MAAM,KAAK,GAAG,SAAS,CAAC;AACxB;;;;GAIG;AACH,MAAM,SAAS,GAAG,UAAU,CAAC;AAE7B,gEAAgE;AAChE,SAAS,OAAO,CAAC,IAAa;IAC5B,OAAO,SAAS,qBAAqB,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,CAAC;AACzD,CAAC;AAED,2DAA2D;AAC3D,SAAS,OAAO,CAAC,GAAY;IAC3B,OAAQ,GAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACpE,CAAC;AAED,wDAAwD;AACxD,SAAS,kBAAkB,CAAC,GAAY;IACtC,OAAO,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;AACzF,CAAC;AAED,0DAA0D;AAC1D,SAAS,UAAU,CAAC,CAAS;IAC3B,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAC3B,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,SAAS,QAAQ,CAAC,IAAa,EAAE,QAAgB;IAC/C,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,IAAI,CAAC,CAAC;QAC/B,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;YAElD,8DAA8D;YAC9D,IAAI,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1C,0EAA0E;gBAC1E,MAAM,KAAK,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvE,OAAO,GAAG,CAAC,qBAAqB,KAAK,IAAI,CAAC;YAC5C,CAAC;YAED,sEAAsE;YACtE,IAAI,CAAC,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,CAAC,IAAI,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC;gBACjE,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5C,MAAM,EAAE,GAAG,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,gBAAgB,CAAC;gBAC1D,OAAO,GAAG,CAAC,KAAK,EAAE,MAAM,IAAI,OAAO,QAAQ,GAAG,CAAC;YACjD,CAAC;YAED,wEAAwE;YACxE,MAAM,IAAI,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;YAC9B,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,uDAAuD;IACvD,OAAO,GAAG,CAAC,gBAAgB,OAAO,CAAC,IAAI,CAAC,MAAM,QAAQ,GAAG,CAAC;AAC5D,CAAC;AAID,MAAM,YAAY,GAAgC;IAChD,wCAAwC;IACxC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG;IAChE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG;IACtE,yCAAyC;IACzC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,UAAU,CAAC,CAAW,CAAC,MAAM,CAAC,GAAG;IACjE,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IACvD,+BAA+B;IAC/B,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IACjD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,WAAY,CAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG;IAC3F,2DAA2D;IAC3D,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAClD,UAAU;IACV,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAC9C,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAC9C,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAC9C,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAC9C,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAC9C,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAC9C,6DAA6D;IAC7D,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAChD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAC9C,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAChD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;IAC1D,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACb,MAAM,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GAAG,CAAc,CAAC;QACjC,OAAO,GAAG,CAAC,WAAW,OAAO,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC;IAC7E,CAAC;IACD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG;CACjD,CAAC;AAEF,0EAA0E;AAE1E,kEAAkE;AAClE,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED,yDAAyD;AACzD,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,GAAG,CAAC;QAChE,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC;QACtG,MAAM,YAAY,GAChB,CAAC,CAAC,YAAY,KAAK,SAAS;YAC1B,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,sBAAsB,CAAC,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC;QACzF,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,eAAe,CAAC;QAC7F,OAAO;kBACO,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;sBACZ,MAAM;0BACF,SAAS;6BACN,YAAY;sBACnB,MAAM;WACjB,CAAC;IACV,CAAC,CAAC,CAAC;IACH,OAAO,UAAU,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;AAC5C,CAAC;AAED,gFAAgF;AAChF,SAAS,gBAAgB,CAAC,EAA4C;IACpE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,gBAAgB,CAAC;IACnD,OAAO,aAAa,EAAE,CAAC,KAAK;SACzB,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,4BAA4B,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,MAAM,CAAC;SAC3F,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC;AAC1C,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,EAA4C;IAC9D,MAAM,IAAI,GAAG,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IACtC,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,KAAK,GAAG,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,UAAU,GACd,EAAE,CAAC,KAAK,KAAK,SAAS;QACpB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;;;sCAG8B,KAAK;kCACT,KAAK;;;;4BAIX,EAAE,CAAC,KAAK;;;;;;;;;;kBAUlB,CAAC;IACjB,MAAM,QAAQ,GAAG;;;sCAGmB,KAAK;kCACT,KAAK;;;;sBAIjB,gBAAgB,CAAC,EAAE,CAAC;;;;;;;;mBAQvB,CAAC;IAClB,MAAM,QAAQ,GACZ,EAAE,CAAC,IAAI,KAAK,SAAS;QACnB,CAAC,CAAC;2DACmD;QACrD,CAAC,CAAC;;;;;;;uFAO+E,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC;;;6CAG7D,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC;;;;;;;gDAOhB,EAAE,CAAC,EAAE;;;;;;;;;;;2DAWM,CAAC;IAC1D,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO;QACzB,CAAC,CAAC;2DACqD,UAAU,GAAG,QAAQ;;;;;;;;;0CAStC,MAAM,KAAK,IAAI;;6DAEI,IAAI;;;;;;;;;gDASjB,EAAE,CAAC,EAAE;;;;;;;EAOnD,QAAQ,EAAE;QACR,CAAC,CAAC;2DACqD,UAAU,GAAG,QAAQ;0CACtC,MAAM,KAAK,IAAI;;6DAEI,IAAI;;;;;;;;EAQ/D,QAAQ,EAAE,CAAC;IACX,OAAO,mBAAmB,EAAE,CAAC,KAAK;+CACW,EAAE,CAAC,IAAI;;;;;wCAKd,EAAE,CAAC,EAAE;;;;;;;;;;EAU3C,QAAQ;UACA,CAAC;AACX,CAAC;AAED;;;GAGG;AACH,SAAS,WAAW,CAAC,EAAkB;IACrC,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;IAC7C,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvB,0DAA0D;QAC1D,oEAAoE;QACpE,0DAA0D;QAC1D,OAAO,mBAAmB,EAAE,CAAC,KAAK;oBAClB,EAAE,CAAC,IAAI;;;;;;;;;;UAUjB,CAAC;IACT,CAAC;IACD,uEAAuE;IACvE,uDAAuD;IACvD,wEAAwE;IACxE,MAAM,QAAQ,GACZ,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACnB,CAAC,CAAC,gCAAgC;QAClC,CAAC,CAAC,6BAA6B,EAAE,CAAC,KAAK;aAClC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,wBAAwB,UAAU,CAAC,EAAE,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC,IAAI,MAAM,CAAC;aACvF,IAAI,CAAC,IAAI,CAAC,sBAAsB,CAAC;IAC1C,OAAO,mBAAmB,EAAE,CAAC,KAAK;;;EAGlC,QAAQ;;;;;;;;;oDAS0C,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC;;;yDAGzC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC;;;;;;;;UAQvE,CAAC;AACX,CAAC;AAED;;;;;GAKG;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,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IACrF,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,IAAI,aAAa,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC/D,kFAAkF;IAClF,iEAAiE;IACjE,MAAM,YAAY,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,cAAc,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;IACzF,MAAM,YAAY,GAAG,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC;IAC7D,8DAA8D;IAC9D,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC/C,MAAM,WAAW,GAAG,eAAe;QACjC,CAAC,CAAC;;;;;CAKL;QACG,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,UAAU,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC;MAChC,YAAY;;;6BAGW,cAAc,CAAC,IAAI,CAAC;iCAChB,aAAa,CAAC,MAAM,OAAO,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;EA0BhE,IAAI;;;;mBAIa,QAAQ;;;;;;;;;;;;;;;;;;gDAkBqB,CAAC;;;;EAI/C,WAAW;SACJ,MAAM;EACb,CAAC;AACH,CAAC;AAED,6FAA6F;AAC7F,SAAS,eAAe,CAAC,IAAa;IACpC,MAAM,CAAC,GAAG,IAAqD,CAAC;IAChE,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/E,MAAM,WAAW,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC;IACvC,OAAO,8DAA8D,MAAM,mBAAmB,WAAW,KAAK,CAAC;AACjH,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB,EAAE,IAAiB;IAC3D,OAAO,eAAe,CAAC,IAAI,CAAC,CAAC;AAC/B,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,UAAU,CAAC,KAAsB,EAAE,GAAgB;IAC1D,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,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,KAAK;SACvB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,WAAW,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC;SAClG,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO;;;;;;;;;;;;;oBAaW,WAAW;;;;;;MAMzB,aAAa;;;;;;;;;oBASC,YAAY,CAAC,QAAQ,qBAAqB,YAAY,CAAC,UAAU,eAAe,YAAY,CAAC,IAAI;;;mCAGlF,UAAU,CAAC,WAAW,CAAC;;;EAGxD,mBAAmB,CAAC,cAAc,CAAC;;;;;;qBAMhB,SAAS;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuD5B,GAAG;;;;;;;;;;;;;;;;;;;EAmBH,YAAY;;;;;;;;CAQb,CAAC;AACF,CAAC;AAED,MAAM,OAAO,GAAwB;IACnC,QAAQ;IACR,WAAW,EAAE,SAAS;IACtB,aAAa;IACb,UAAU;CACX,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG;IACvC,CAAC;IACD,KAAK;IACL,QAAQ;IACR,cAAc;IACd,eAAe;IACf,UAAU;IACV,QAAQ;IACR,OAAO;CACR,CAAC;AAEF,SAAS,IAAI,CAAC,GAAgB;IAC5B,OAAO,sBAAsB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAkB;IACpD,QAAQ,EAAE,mBAAmB;IAC7B,aAAa,EAAE,KAAK;IACpB,oBAAoB,EAAE,oBAAoB;IAC1C,YAAY,EAAE,qCAAqC;IACnD,IAAI;CACL,CAAC"}