behavior-contracts 0.5.0 → 0.6.0

package/dist/generator/emit-raw-abi-rust.js

@@ -1,380 +0,0 @@
-import { GeneratorFailure } from "./core.js";
-import { buildTypePlan, deriveTypeRef } from "./typed.js";
-import { buildComponentPlan } from "./straightline.js";
-import { rustTypedInternals } from "./emit-straightline-typed-rust.js";
-const PORT_SCOPE = "port_scope()";
-const { sanitize, rustFieldName, rustStrLit, renderTypeRef, rustScalar, typedCell, isTypedComponent, hasAnyTypeAnnotation, collectTypedNodes, emitTypeDecls, emitDefaults, emitSerializers, emitMarshallers, emitMarshalHelpers, serializeTyped, emitTypedValue, indentBlock, emitOpsLiteral, emitPlanLiteral, rustStraightlineEmitter, setRustForceRunPlanImports, } = rustTypedInternals;
-// ── RAW marshallers (the de-box): read a RawValue field-by-field into a concrete struct ──
-function emitRawMarshallers(plan) {
-    if (plan.decls.length === 0)
-        return "";
-    return plan.decls.map((d) => emitOneRawMarshaller(d, plan)).join("\n\n");
-}
-function emitOneRawMarshaller(d, plan) {
-    const lines = [];
-    lines.push(`#[allow(dead_code)]`);
-    lines.push(`fn marshal_raw_${d.name}(raw: &RawValue) -> Result<${d.name}, BehaviorError> {`);
-    // The row seam: a RawRow (native accessor), NOT a Value::Obj. This IS the de-box.
-    lines.push(`    let row = match raw {`);
-    lines.push(`        RawValue::Row(r) => r,`);
-    lines.push(`        other => return Err(raw_type_mismatch(${rustStrLit("obj")}, 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 row.field(${keyLit}) {`);
-        lines.push(`            Some(v) => v,`);
-        lines.push(`            None => return Err(raw_missing_prop(${rustStrLit(d.name)}, ${keyLit})),`);
-        lines.push(`        };`);
-        lines.push(indentBlock(emitRawFieldMaterialize("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");
-}
-/**
- * emitRawFieldMaterialize — materialize `src` (a `&RawValue` expr) into a concrete typed value
- * per `ref` (a value-returning block). scalar -> RawValue match, named -> marshal_raw_T*, arr
- * -> RawValue::Arr loop, opt -> RawValue::Null branch. No Value::Obj/Value ever built.
- */
-function emitRawFieldMaterialize(src, ref, plan) {
-    switch (ref.kind) {
-        case "scalar": {
-            if (ref.scalar === "null") {
-                // null-only field stays a Value::Null (the struct field type is Value for null-only).
-                return `Value::Null`;
-            }
-            const variant = ref.scalar === "int" ? "Int" : ref.scalar === "float" ? "Float" : ref.scalar === "bool" ? "Bool" : "Str";
-            const bind = ref.scalar === "string" ? "s.clone()" : "*s";
-            return [
-                `match ${src} {`,
-                `    RawValue::${variant}(s) => ${bind},`,
-                `    other => return Err(raw_type_mismatch(${rustStrLit(ref.scalar)}, other.type_name())),`,
-                `}`,
-            ].join("\n");
-        }
-        case "named": {
-            return `marshal_raw_${ref.name}(${src})?`;
-        }
-        case "arr": {
-            const elemTy = renderTypeRef(ref.elem);
-            const inner = emitRawFieldMaterialize("elem_raw", ref.elem, plan);
-            return [
-                `match ${src} {`,
-                `    RawValue::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(raw_type_mismatch(${rustStrLit("arr")}, other.type_name())),`,
-                `}`,
-            ].join("\n");
-        }
-        case "opt": {
-            const inner = emitRawFieldMaterialize("inner_raw", ref.inner, plan);
-            return [
-                `match ${src} {`,
-                `    RawValue::Null => None,`,
-                `    inner_raw => {`,
-                `        let inner_out = ${indentBlock(inner, 2).trimStart()};`,
-                `        Some(inner_out)`,
-                `    }`,
-                `}`,
-            ].join("\n");
-        }
-    }
-}
-/** scalar/arr/opt node RAW materializer name. */
-function rawNodeMaterializerName(nodeId) {
-    return `materialize_raw_node_${typedCell(nodeId)}`;
-}
-function emitRawNodeMaterializers(comp, typedNodes, plan) {
-    const parts = [];
-    for (const [id, ref] of typedNodes.entries()) {
-        if (ref.kind === "named")
-            continue;
-        const ty = renderTypeRef(ref);
-        const body = emitRawFieldMaterialize("raw", ref, plan);
-        parts.push(`#[allow(dead_code)]\nfn ${rawNodeMaterializerName(id)}(raw: &RawValue) -> Result<${ty}, BehaviorError> {\n    Ok(${indentBlock(body, 1).trimStart()})\n}`);
-    }
-    return parts.join("\n\n");
-}
-// ── RAW runner ────────────────────────────────────────────────────────────────────────
-function assertRawSupported(comp) {
-    for (const n of comp.body) {
-        if ("map" in n || "cond" in n) {
-            const ot = n.outType;
-            if (ot !== undefined) {
-                throw new GeneratorFailure("UNSUPPORTED_NODE_STRAIGHTLINE", `rust raw ABI (bc#76): component '${comp.name}' node '${n.id}' is a typed ${"map" in n ? "map" : "cond"} node. The raw handler ABI de-box currently covers the componentRef read-handler shape (graphddb's row hydrator). Regenerate this component on the boxed typed path (rust-typed) — do NOT emit a raw module that re-boxes map/cond results.`);
-            }
-        }
-    }
-}
-function emitStoreRawNode(nodeId, srcExpr, ref, indent, producedCell) {
-    const pad = "    ".repeat(indent);
-    if (ref === undefined)
-        return `${pad}let _ = ${srcExpr};`;
-    const call = ref.kind === "named" ? `marshal_raw_${ref.name}(${srcExpr})` : `${rawNodeMaterializerName(nodeId)}(${srcExpr})`;
-    const prod = ` ${producedCell(nodeId)}.set(true);`;
-    return `${pad}match ${call} {
-${pad}    Ok(tv) => { *${typedCell(nodeId)}.borrow_mut() = tv;${prod} }
-${pad}    Err(e) => {
-${pad}        *err_cell = Some(e);
-${pad}        return ExecOutcome::Error("aborted".to_string());
-${pad}    }
-${pad}}`;
-}
-function producedCellName(id) {
-    return `produced_${typedCell(id)}`;
-}
-function emitRawExecArm(op, typedNodes, plan) {
-    if (op.kind !== "componentRef") {
-        throw new GeneratorFailure("UNSUPPORTED_NODE_STRAIGHTLINE", `rust raw ABI (bc#76): node '${op.id}' kind '${op.kind}' is not supported on the raw path (componentRef only). Regenerate on rust-typed.`);
-    }
-    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                ])`;
-    const ref = typedNodes.get(op.id);
-    const materialize = emitStoreRawNode(op.id, "v", ref, 4, producedCellName);
-    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_raw_ctx(${rustStrLit(op.id)}, ${rustStrLit(op.component ?? "")}, &ports, None) {
-                    Some(o) => o,
-                    None => {
-                        *err_cell = Some(BehaviorError::new("UNKNOWN_COMPONENT", format!("component '{}' has no handler (fail-closed)", ${rustStrLit(op.component ?? "")})));
-                        return ExecOutcome::Error("aborted".to_string());
-                    }
-                };
-                let v = match &outcome {
-                    RawOutcome::Ok(v) => v,
-                    RawOutcome::Error(e) => {
-                        *err_cell = Some(BehaviorError::new("OP_FAILED", e.clone()));
-                        return ExecOutcome::Error("aborted".to_string());
-                    }
-                };
-${materialize}
-                return ExecOutcome::Ok(Value::Null);
-            }`;
-}
-function emitRawRunner(comp, plan) {
-    assertRawSupported(comp);
-    const fn = sanitize(comp.name);
-    const plans = buildComponentPlan(comp, rustTypedInternals.rustStraightlineInternals.dialect, PORT_SCOPE);
-    const typedNodes = collectTypedNodes(comp, plan);
-    const cellDecls = [...typedNodes.entries()]
-        .map(([id, ref]) => `    let ${typedCell(id)}: RefCell<${renderTypeRef(ref)}> = RefCell::new(Default::default());`)
-        .join("\n");
-    const producedDecls = [...typedNodes.keys()]
-        .map((id) => `    let ${producedCellName(id)} = std::cell::Cell::new(false);`)
-        .join("\n");
-    const portScopeNodeInjections = [...typedNodes.entries()]
-        .map(([id, ref]) => {
-        const isBareCopyScalar = ref.kind === "scalar" && (ref.scalar === "int" || ref.scalar === "float" || ref.scalar === "bool");
-        const owned = isBareCopyScalar ? `*${typedCell(id)}.borrow()` : `${typedCell(id)}.borrow().clone()`;
-        const ser = serializeTyped(owned, ref, plan);
-        return `            if ${producedCellName(id)}.get() {\n                s.push((${rustStrLit(id)}.to_string(), ${ser}));\n            }`;
-    })
-        .join("\n");
-    const arms = plans.ops.map((op) => emitRawExecArm(op, typedNodes, plan)).join("\n");
-    const planExpr = comp.plan ? emitPlanLiteral(comp.plan) : "None";
-    const outRef = comp.outputType !== undefined ? deriveTypeRef(comp.outputType, plan) : undefined;
-    const out = emitTypedValue(comp.output, outRef, typedNodes, plan);
-    const outRefFinal = out.ref ?? outRef;
-    const serialized = outRefFinal ? serializeTyped("__typed_out", outRefFinal, plan) : "__typed_out";
-    const opsLiteral = emitOpsLiteral(plans);
-    return `// run_typed_raw_${fn} — RAW-ABI STRUCT-NATIVE exec (bc#76 de-box): the run_plan primitive drives the
-// plan (plan SSoT); per-node arms call the RAW handler (exec_raw_ctx -> RawValue, NOT a boxed Value) and
-// materialize the node's outType struct DIRECTLY from the RawValue via marshal_raw_T*. The dynamic
-// Value/Value::Obj tree is NEVER built on the row data plane — that is the de-box the boxed typed path
-// only LAYERED. Output is assembled as a struct and serialized to a Value ONLY at the final return
-// boundary (the equivalence pin), so the OBSERVED result equals run_behavior. Called by bind_raw.
-fn run_typed_raw_${fn}<H: RawComponentExec>(
-    handlers: &mut H,
-    input: &[(String, Value)],
-) -> Result<Value, BehaviorError> {
-    let ops: Vec<OpSpec> = ${opsLiteral};
-${cellDecls ? cellDecls + "\n" : ""}${producedDecls ? producedDecls + "\n" : ""}    let port_scope = || -> Vec<(String, Value)> {
-        let mut s = input.to_vec();
-${portScopeNodeInjections ? portScopeNodeInjections + "\n" : ""}        s
-    };
-    let _ = &port_scope;
-    let mut pending_err: Option<BehaviorError> = None;
-
-    let run = {
-        let err_cell = &mut pending_err;
-        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_typed_exec_arm(&op.id));
-                    return ExecOutcome::Error("aborted".to_string());
-                }
-            };
-            let _ = i;
-${arms}
-            *err_cell = Some(BehaviorError::new("UNKNOWN_NODE_KIND", format!("op '{}' has no generated raw exec arm (fail-closed)", op.id)));
-            ExecOutcome::Error("aborted".to_string())
-        };
-        run_plan(${planExpr}, &ops, exec)
-    };
-
-    if let Some(e) = pending_err {
-        return Err(e);
-    }
-    let _run = run?;
-
-    let __typed_out = ${out.expr};
-    Ok(${serialized})
-}`;
-}
-// ── bind_raw dispatch surface ───────────────────────────────────────────────────────
-function emitBindRaw(ctx) {
-    const typedComps = ctx.ir.components.filter((c) => isTypedComponent(c));
-    const names = typedComps.map((c) => rustStrLit(c.name));
-    const arms = typedComps
-        .map((c) => `            ${rustStrLit(c.name)} => run_typed_raw_${sanitize(c.name)}(&mut self.handlers, input),`)
-        .join("\n");
-    return `// COMPONENT_NAMES_RAW — typed components exposed on the RAW-ABI de-boxed path.
-pub const COMPONENT_NAMES_RAW: [&str; ${names.length}] = [${names.join(", ")}];
-
-// bind_raw / BoundRaw — the RAW-ABI dispatch surface (bc#76): binds a RawComponentExec (native-backed
-// handler results) to the de-boxed struct-native runners. Mirrors bind/Bound::call but drives the raw
-// runner. Untyped components stay on the boxed bind.
-pub fn bind_raw<H: RawComponentExec>(handlers: H) -> BoundRaw<H> {
-    BoundRaw { handlers }
-}
-
-pub struct BoundRaw<H: RawComponentExec> {
-    handlers: H,
-}
-
-impl<H: RawComponentExec> BoundRaw<H> {
-    pub fn call(&mut self, name: &str, input: &[(String, Value)]) -> Result<Value, BehaviorError> {
-        match name {
-${arms}
-            other => Err(BehaviorError::new("UNKNOWN_ENTRY", format!("component '{other}' is not a raw-typed entry (fail-closed)"))),
-        }
-    }
-}`;
-}
-// ── module assembly ──────────────────────────────────────────────────────────────────
-function emit(ctx) {
-    const typed = hasAnyTypeAnnotation(ctx);
-    if (!typed) {
-        throw new GeneratorFailure("UNSUPPORTED_NODE_STRAIGHTLINE", "rust raw ABI (bc#76): the IR has no outType/outputType annotations — there is nothing to de-box. Use rust-straightline for untyped IR.");
-    }
-    const plan = buildTypePlan(ctx.ir);
-    const decls = emitTypeDecls(plan);
-    const defaults = emitDefaults(plan);
-    const rawMarshallers = emitRawMarshallers(plan);
-    const serializers = emitSerializers(plan);
-    // Boxed marshallers + helpers exist ONLY for the Value-space output-assembly fallback
-    // (materializeExpr on an output that directly refs an input param of a named type — a Value
-    // boundary read, NOT the row data plane). The ROW data plane is de-boxed via marshal_raw_* in
-    // the runner (asserted by the anti-sham gate).
-    const boxedMarshallers = emitMarshallers(plan);
-    const marshalHelpers = emitMarshalHelpers();
-    const nodeMaterializers = [];
-    for (const comp of ctx.ir.components) {
-        if (!isTypedComponent(comp))
-            continue;
-        const typedNodes = new Map();
-        for (const n of comp.body) {
-            if ("map" in n)
-                continue;
-            const ot = n.outType;
-            if (ot !== undefined)
-                typedNodes.set(n.id, deriveTypeRef(ot, plan));
-        }
-        const nm = emitRawNodeMaterializers(comp, typedNodes, plan);
-        if (nm)
-            nodeMaterializers.push(nm);
-    }
-    const runners = ctx.ir.components
-        .filter((c) => isTypedComponent(c))
-        .map((c) => emitRawRunner(c, plan))
-        .join("\n\n");
-    const bindRaw = emitBindRaw(ctx);
-    const banner = `// ── RAW handler ABI layer (bc#76 — Rust de-box: struct materialized DIRECTLY from the wire payload) ──
-// This layer is ADDITIVE to the straight-line body above. A RawComponentExec handler returns a RawValue
-// (native-backed, NOT a Value::Obj tree — see rust/src/rawabi.rs). marshal_raw_T* matches on it straight
-// into the concrete struct: the dynamic Value tree the boxed typed path built and then re-walked NEVER
-// exists here. bind_raw drives the de-boxed runners.
-use std::cell::RefCell;
-use behavior_contracts::{RawComponentExec, RawOutcome, RawValue, raw_missing_prop, raw_type_mismatch};`;
-    const sections = [
-        banner,
-        decls || undefined,
-        defaults || undefined,
-        rawMarshallers
-            ? `// RAW marshallers (§4.4, de-box): materialize a concrete struct field-by-field from a native RawValue.\n// NO Value::Obj on this data plane — that is the whole point of #76.\n${rawMarshallers}`
-            : undefined,
-        marshalHelpers,
-        boxedMarshallers
-            ? `// Value-space output-assembly fallback (marshal_*): reached ONLY when an output directly refs an\n// input param of a named type (a Value boundary read, not the row data plane). Off the de-box hot path.\n${boxedMarshallers}`
-            : undefined,
-        nodeMaterializers.length
-            ? `// scalar/arr/opt node RAW materializers: FAIL-CLOSED de-box (TYPE_MISMATCH/MISSING_PROP) from RawValue.\n${nodeMaterializers.join("\n\n")}`
-            : undefined,
-        serializers
-            ? `// typed -> Value serializers (final return boundary only): canonical observation for the equivalence pin.\n${serializers}`
-            : undefined,
-        `// RAW-ABI struct-native runners: the REAL de-box exec path (called by bind_raw).\n${runners}`,
-        bindRaw,
-    ];
-    const typedBody = sections.filter((s) => !!s).join("\n\n");
-    // Force the RunPlan-path imports the raw runner needs (run_plan/OpSpec/ExecOutcome). Ports are
-    // Value-space, so the straight-line body's expression helpers are reused unchanged. relationKind
-    // is needed when a raw op literal carries a relationKind (parent-field child/relation nodes, #74).
-    setRustForceRunPlanImports({
-        runPlan: true,
-        relationKind: /\bRelationKind\b/.test(typedBody),
-        json: /\bjson!\(/.test(typedBody),
-    });
-    const straightlineCode = rustStraightlineEmitter.emit(ctx);
-    setRustForceRunPlanImports(null);
-    // The RAW module reuses the straight-line body as a SUBSTRATE (its expression helpers drive the
-    // Value-space ports), but drives dispatch through bind_raw — so the boxed bind/Bound/run_* and the
-    // boxed-only marshal helpers are unused in this artifact. A module-level allow keeps the generated
-    // RAW module clippy -D warnings clean without hand-editing the shared straight-line emitter. This
-    // is a GENERATED-TOOLKIT allowance on dead SUBSTRATE, not a blanket allow on the de-box path: the
-    // de-box (marshal_raw_*, run_typed_raw_*, bind_raw) is exercised and asserted by the anti-sham gate.
-    const moduleAllow = `#![allow(dead_code, unused_imports)]\n`;
-    return `${moduleAllow}${straightlineCode.replace(/\n+$/, "\n")}\n${typedBody}\n`;
-}
-/**
- * rustRawAbiEmitter — language id `rust-typed-raw` (bc#76). Emits the straight-line body (for
- * untyped components / helpers) plus the RAW-ABI de-boxed layer (struct materialized directly from
- * RawValue) and the bind_raw surface. Requires at least one outType/outputType annotation.
- */
-export const rustRawAbiEmitter = {
-    language: "rust-typed-raw",
-    fileExtension: ".rs",
-    defaultRuntimeImport: "behavior_contracts",
-    filenameHint: "behaviors_typed_raw_generated.rs",
-    emit,
-};
-//# sourceMappingURL=emit-raw-abi-rust.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"emit-raw-abi-rust.js","sourceRoot":"","sources":["../../src/generator/emit-raw-abi-rust.ts"],"names":[],"mappings":"AAsCA,OAAO,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,aAAa,EAA8C,MAAM,YAAY,CAAC;AACtG,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAGvE,MAAM,UAAU,GAAG,cAAc,CAAC;AAElC,MAAM,EACJ,QAAQ,EACR,aAAa,EACb,UAAU,EACV,aAAa,EACb,UAAU,EACV,SAAS,EACT,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,eAAe,EACf,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,cAAc,EACd,WAAW,EACX,cAAc,EACd,eAAe,EACf,uBAAuB,EACvB,0BAA0B,GAC3B,GAAG,kBAAkB,CAAC;AAEvB,4FAA4F;AAE5F,SAAS,kBAAkB,CAAC,IAAc;IACxC,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,oBAAoB,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,oBAAoB,CAAC,CAAW,EAAE,IAAc;IACvD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IAClC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC,IAAI,8BAA8B,CAAC,CAAC,IAAI,oBAAoB,CAAC,CAAC;IAC7F,kFAAkF;IAClF,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAC7C,KAAK,CAAC,IAAI,CACR,iDAAiD,UAAU,CAAC,KAAK,CAAC,wBAAwB,CAC3F,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,oCAAoC,MAAM,KAAK,CAAC,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;QACxC,KAAK,CAAC,IAAI,CAAC,mDAAmD,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,MAAM,KAAK,CAAC,CAAC;QAClG,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,uBAAuB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;QACxE,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;;;;GAIG;AACH,SAAS,uBAAuB,CAAC,GAAW,EAAE,GAAY,EAAE,IAAc;IACxE,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC1B,sFAAsF;gBACtF,OAAO,aAAa,CAAC;YACvB,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,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,CAAC;YAC1D,OAAO;gBACL,SAAS,GAAG,IAAI;gBAChB,iBAAiB,OAAO,UAAU,IAAI,GAAG;gBACzC,6CAA6C,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,wBAAwB;gBAC3F,GAAG;aACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;QACD,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,OAAO,eAAe,GAAG,CAAC,IAAI,IAAI,GAAG,IAAI,CAAC;QAC5C,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,MAAM,GAAG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACvC,MAAM,KAAK,GAAG,uBAAuB,CAAC,UAAU,EAAE,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;YAClE,OAAO;gBACL,SAAS,GAAG,IAAI;gBAChB,+BAA+B;gBAC/B,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,6CAA6C,UAAU,CAAC,KAAK,CAAC,wBAAwB;gBACtF,GAAG;aACJ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,KAAK,GAAG,uBAAuB,CAAC,WAAW,EAAE,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YACpE,OAAO;gBACL,SAAS,GAAG,IAAI;gBAChB,6BAA6B;gBAC7B,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,iDAAiD;AACjD,SAAS,uBAAuB,CAAC,MAAc;IAC7C,OAAO,wBAAwB,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,SAAS,wBAAwB,CAAC,IAAe,EAAE,UAAgC,EAAE,IAAc;IACjG,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,EAAE,EAAE,GAAG,CAAC,IAAI,UAAU,CAAC,OAAO,EAAE,EAAE,CAAC;QAC7C,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QACnC,MAAM,EAAE,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QAC9B,MAAM,IAAI,GAAG,uBAAuB,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QACvD,KAAK,CAAC,IAAI,CACR,2BAA2B,uBAAuB,CAAC,EAAE,CAAC,8BAA8B,EAAE,8BAA8B,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,MAAM,CAC3J,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AAC5B,CAAC;AAED,yFAAyF;AAEzF,SAAS,kBAAkB,CAAC,IAAe;IACzC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;QAC1B,IAAI,KAAK,IAAI,CAAC,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;YAC9B,MAAM,EAAE,GAAI,CAAgC,CAAC,OAAO,CAAC;YACrD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACrB,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,oCAAoC,IAAI,CAAC,IAAI,WAAY,CAAoB,CAAC,EAAE,gBAAgB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,6OAA6O,CACzW,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,MAAc,EAAE,OAAe,EAAE,GAAwB,EAAE,MAAc,EAAE,YAAoC;IACvI,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAClC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,GAAG,GAAG,WAAW,OAAO,GAAG,CAAC;IAC1D,MAAM,IAAI,GACR,GAAG,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,eAAe,GAAG,CAAC,IAAI,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC,GAAG,uBAAuB,CAAC,MAAM,CAAC,IAAI,OAAO,GAAG,CAAC;IAClH,MAAM,IAAI,GAAG,IAAI,YAAY,CAAC,MAAM,CAAC,aAAa,CAAC;IACnD,OAAO,GAAG,GAAG,SAAS,IAAI;EAC1B,GAAG,oBAAoB,SAAS,CAAC,MAAM,CAAC,sBAAsB,IAAI;EAClE,GAAG;EACH,GAAG;EACH,GAAG;EACH,GAAG;EACH,GAAG,GAAG,CAAC;AACT,CAAC;AAED,SAAS,gBAAgB,CAAC,EAAU;IAClC,OAAO,YAAY,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;AACrC,CAAC;AAED,SAAS,cAAc,CAAC,EAA4G,EAAE,UAAgC,EAAE,IAAc;IACpL,IAAI,EAAE,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;QAC/B,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,+BAA+B,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,IAAI,mFAAmF,CAC1I,CAAC;IACJ,CAAC;IACD,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,MAAM,GAAG,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAClC,MAAM,WAAW,GAAG,gBAAgB,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,gBAAgB,CAAC,CAAC;IAC3E,OAAO,uBAAuB,EAAE,CAAC,KAAK;;EAEtC,QAAQ;;;;;;;;;4DASkD,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,UAAU,CAAC,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC;;;0IAG0B,UAAU,CAAC,EAAE,CAAC,SAAS,IAAI,EAAE,CAAC;;;;;;;;;;;EAWtK,WAAW;;cAEC,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CAAC,IAAe,EAAE,IAAc;IACpD,kBAAkB,CAAC,IAAI,CAAC,CAAC;IACzB,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,kBAAkB,CAAC,IAAI,EAAE,kBAAkB,CAAC,yBAAyB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;IACzG,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAEjD,MAAM,SAAS,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;SACxC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,WAAW,SAAS,CAAC,EAAE,CAAC,aAAa,aAAa,CAAC,GAAG,CAAC,uCAAuC,CAAC;SAClH,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,aAAa,GAAG,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,CAAC;SACzC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,gBAAgB,CAAC,EAAE,CAAC,iCAAiC,CAAC;SAC7E,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,uBAAuB,GAAG,CAAC,GAAG,UAAU,CAAC,OAAO,EAAE,CAAC;SACtD,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE;QACjB,MAAM,gBAAgB,GACpB,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,MAAM,KAAK,KAAK,IAAI,GAAG,CAAC,MAAM,KAAK,OAAO,IAAI,GAAG,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QACrG,MAAM,KAAK,GAAG,gBAAgB,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,EAAE,CAAC,mBAAmB,CAAC;QACpG,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;QAC7C,OAAO,kBAAkB,gBAAgB,CAAC,EAAE,CAAC,qCAAqC,UAAU,CAAC,EAAE,CAAC,iBAAiB,GAAG,oBAAoB,CAAC;IAC3I,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,cAAc,CAAC,EAAyH,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3M,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;IAEjE,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,KAAK,SAAS,CAAC,CAAC,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChG,MAAM,GAAG,GAAG,cAAc,CAAC,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;IAClE,MAAM,WAAW,GAAG,GAAG,CAAC,GAAG,IAAI,MAAM,CAAC;IACtC,MAAM,UAAU,GAAG,WAAW,CAAC,CAAC,CAAC,cAAc,CAAC,aAAa,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;IAClG,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IAEzC,OAAO,oBAAoB,EAAE;;;;;;mBAMZ,EAAE;;;;6BAIQ,UAAU;EACrC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,aAAa,CAAC,CAAC,CAAC,aAAa,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE;;EAE7E,uBAAuB,CAAC,CAAC,CAAC,uBAAuB,GAAG,IAAI,CAAC,CAAC,CAAC,EAAE;;;;;;;;;;;;;;;;;;;EAmB7D,IAAI;;;;mBAIa,QAAQ;;;;;;;;wBAQH,GAAG,CAAC,IAAI;SACvB,UAAU;EACjB,CAAC;AACH,CAAC;AAED,uFAAuF;AAEvF,SAAS,WAAW,CAAC,GAAgB;IACnC,MAAM,UAAU,GAAG,GAAG,CAAC,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,UAAU;SACpB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,qBAAqB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC;SAChH,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO;wCAC+B,KAAK,CAAC,MAAM,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;;;;;;;;;;;;;;;;EAgB1E,IAAI;;;;EAIJ,CAAC;AACH,CAAC;AAED,wFAAwF;AAExF,SAAS,IAAI,CAAC,GAAgB;IAC5B,MAAM,KAAK,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK,EAAE,CAAC;QACX,MAAM,IAAI,gBAAgB,CACxB,+BAA+B,EAC/B,wIAAwI,CACzI,CAAC;IACJ,CAAC;IAED,MAAM,IAAI,GAAG,aAAa,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACnC,MAAM,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IAClC,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,cAAc,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,WAAW,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC1C,sFAAsF;IACtF,4FAA4F;IAC5F,8FAA8F;IAC9F,+CAA+C;IAC/C,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;IAC/C,MAAM,cAAc,GAAG,kBAAkB,EAAE,CAAC;IAE5C,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,KAAK,MAAM,IAAI,IAAI,GAAG,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;QACrC,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC;YAAE,SAAS;QACtC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAmB,CAAC;QAC9C,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC1B,IAAI,KAAK,IAAI,CAAC;gBAAE,SAAS;YACzB,MAAM,EAAE,GAAI,CAAgC,CAAC,OAAO,CAAC;YACrD,IAAI,EAAE,KAAK,SAAS;gBAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,aAAa,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC;QACtE,CAAC;QACD,MAAM,EAAE,GAAG,wBAAwB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;QAC5D,IAAI,EAAE;YAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrC,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,CAAC,EAAE,CAAC,UAAU;SAC9B,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;SAClC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;SAClC,IAAI,CAAC,MAAM,CAAC,CAAC;IAChB,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;IAEjC,MAAM,MAAM,GAAG;;;;;;uGAMsF,CAAC;IAEtG,MAAM,QAAQ,GAA2B;QACvC,MAAM;QACN,KAAK,IAAI,SAAS;QAClB,QAAQ,IAAI,SAAS;QACrB,cAAc;YACZ,CAAC,CAAC,mLAAmL,cAAc,EAAE;YACrM,CAAC,CAAC,SAAS;QACb,cAAc;QACd,gBAAgB;YACd,CAAC,CAAC,gNAAgN,gBAAgB,EAAE;YACpO,CAAC,CAAC,SAAS;QACb,iBAAiB,CAAC,MAAM;YACtB,CAAC,CAAC,6GAA6G,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;YAC/I,CAAC,CAAC,SAAS;QACb,WAAW;YACT,CAAC,CAAC,+GAA+G,WAAW,EAAE;YAC9H,CAAC,CAAC,SAAS;QACb,sFAAsF,OAAO,EAAE;QAC/F,OAAO;KACR,CAAC;IACF,MAAM,SAAS,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAExE,+FAA+F;IAC/F,iGAAiG;IACjG,mGAAmG;IACnG,0BAA0B,CAAC;QACzB,OAAO,EAAE,IAAI;QACb,YAAY,EAAE,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC;QAChD,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC;KAClC,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,uBAAuB,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3D,0BAA0B,CAAC,IAAI,CAAC,CAAC;IAEjC,gGAAgG;IAChG,mGAAmG;IACnG,mGAAmG;IACnG,kGAAkG;IAClG,kGAAkG;IAClG,qGAAqG;IACrG,MAAM,WAAW,GAAG,wCAAwC,CAAC;IAC7D,OAAO,GAAG,WAAW,GAAG,gBAAgB,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC;AACnF,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAkB;IAC9C,QAAQ,EAAE,gBAAgB;IAC1B,aAAa,EAAE,KAAK;IACpB,oBAAoB,EAAE,oBAAoB;IAC1C,YAAY,EAAE,kCAAkC;IAChD,IAAI;CACL,CAAC"}

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

@@ -1,25 +0,0 @@
-/**
- * emit-rust.ts — Rust emitter（共通 Generator, bc#13 SP2）。
- *
- * 生成物: 可搬 IR を **`serde_json::json!` マクロのネイティブ構築コード**として埋め込み
- * （JSON テキストの実行時パースなし・構文はコンパイル時検査）、runtime-core の
- * `run_behavior` に handler 注入で渡す accessor（`bind` → `Bound::call`）を公開する
- * .rs モジュール。
- *
- * **「true const」からの正直な逸脱（SP1 audit の SP2 指針 (c)）**:
- * Rust runtime は IR を `serde_json::Value` で消費するが、`Value` は const 構築
- * できない。そのため IR は `std::sync::LazyLock`（std, Rust >= 1.80）で**初回使用時に
- * 一度だけ**ネイティブ構築される（以後は共有参照）。実行時 JSON パースは行わず、
- * 構築コストは初回 1 回のみ。const-friendly な型付き IR 受け皿を runtime に足す案は
- * runtime 再設計を伴うため将来 issue（本 SP のスコープ外）。
- *
- * ロード時検査は **first-use 時**: `IR` の LazyLock 初期化子の中で spec-version /
- * fingerprint を検査し、skew は panic で LOUD reject（`bind()` が最初に force する）。
- *
- * 出力は rustfmt-clean（rustfmt は json! マクロ本体を触らないため、emitter の
- * レイアウトが不動点になる）— fixture byte-drift ゲートと `cargo fmt --check` 系
- * ゲートの両立のため。
- */
-import type { EmitterPlugin } from "./core.js";
-export declare const rustEmitter: EmitterPlugin;
-//# sourceMappingURL=emit-rust.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"emit-rust.d.ts","sourceRoot":"","sources":["../../src/generator/emit-rust.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAyH5D,eAAO,MAAM,WAAW,EAAE,aAMzB,CAAC"}

package/dist/generator/emit-rust.js

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

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

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

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

@@ -1,60 +0,0 @@
-/**
- * emit-straightline-go.ts — Go 直線 emitter（bc#38 / Layer A2 → bc#75 static-code rework）。
- *
- * typed-codegen.md §4.1 の Go 具体化。bc#75 で「解釈機構の転写」を排し、**本当の静的コード**を
- * emit する（TS oracle と同じ static-wiring 解析 {@link sequentialOrder}/{@link analyzeSequentialOps}/
- * {@link classifyExpr}/{@link isScopeFree} を消費する）:
- *
- *   - **逐次 plan（plan 無し / 全 stage 高々 1 op）は素の文列**として直線展開する。`RunPlan` も
- *     `[]OpSpec` テーブルも `baseScope()` snapshot も `exec` closure も `for k := range ops { if ops[k].ID== }`
- *     線形探索も emit しない。ノード結果は素のローカル（`r_<id>`）に住み、skip 伝播（parent 連鎖 /
- *     bindField null-binding / continue policy）は静的に確定した分岐として展開する（Failure code /
- *     message は plan.go interpretOutcome と byte 一致）。
- *   - **静的形状の式はネイティブ inline**: string/bool/null リテラルは Go リテラル、静的 path の
- *     ref/refOpt は「ローカル直読み（配線は生成時に確定）＋ field walk helper `slField`」、concat は
- *     可変長 `slCat(...)`（評価済み値を受ける — closure も per-part func 値も無い）。
- *   - **per-expression scope snapshot を廃止**: scope を本当に読む residual dynamic 式（ref を含む
- *     primitive 経路）がある component だけが「進行形 scope（`scope *Obj`）」を組み、ノード完了ごとに
- *     1 key を Set する。scope-free な primitive 式には空 scope 定数（`slEmpty()`）を渡す。
- *   - **RunPlan primitive は実並行 plan（複数 op の stage）だけ**が使う（bounded 並行の意味論 SSoT）。
- *     その経路も per-op exec は index で確定した switch（`for k := range ops` 線形探索は無い）。
- *
- * fail-closed 演算子意味論（overflow 算術・短絡 and/or/cond/coalesce・obj/arr 構築・比較・len・
- * checked リテラル）は従来どおり A0 primitive SSoT（`Prim*`）を直呼びする（再実装しない）。
- *
- * この emitter は A1 の TS golden oracle と観測等価（値・発行 op 列・Failure）であることを
- * conformance（codegen-straightline.test.ts の Go 節）で実 Go toolchain 実行により pin する。
- */
-import type { EmitterPlugin } from "./core.js";
-import { type ComponentPlan, type StraightlineDialect } from "./straightline.js";
-export declare function setGoForceRunPlanHelpers(on: boolean): void;
-export declare function setGoForceStraightHelpers(on: boolean): void;
-/**
- * emitExpr — Expression IR ノードを「scope を受けて (Value, error) を返す」Go 式に落とす
- * （**dynamic 式専用**の legacy 経路 — RunPlan 経路と typed emitter が流用する seam）。
- */
-declare function emitExpr(node: unknown, scopeVar: string): string;
-/** component 名を Go 関数名に使える形へ（決定的。名前一意は DUPLICATE_COMPONENT で保証）。 */
-declare function sanitize(name: string): string;
-/** ops リテラル（RunPlan に渡す []OpSpec の Go リテラル）を綴じる。 */
-declare function emitOpsLiteral(plan: ComponentPlan): string;
-/** port ローカル変数名（Go 識別子として安全）。 */
-declare function goPortVar(name: string): string;
-/** behavior plan（{groups, concurrency}）を *ExecutionPlanSpec Go リテラルへ。 */
-declare function emitBehaviorPlanLiteral(plan: unknown): string;
-/**
- * go-typed（bc#47）が struct-native exec を綴じるために再利用する内部 emit ヘルパ。
- */
-export declare const goStraightlineInternals: {
-    PKG: string;
-    emitExpr: typeof emitExpr;
-    emitOpsLiteral: typeof emitOpsLiteral;
-    emitBehaviorPlanLiteral: typeof emitBehaviorPlanLiteral;
-    goPortVar: typeof goPortVar;
-    sanitize: typeof sanitize;
-    dialect: StraightlineDialect;
-    setGoForceStraightHelpers: typeof setGoForceStraightHelpers;
-};
-export declare const goStraightlineEmitter: EmitterPlugin;
-export {};
-//# sourceMappingURL=emit-straightline-go.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"emit-straightline-go.d.ts","sourceRoot":"","sources":["../../src/generator/emit-straightline-go.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAG5D,OAAO,EAQL,KAAK,aAAa,EAIlB,KAAK,mBAAmB,EACzB,MAAM,mBAAmB,CAAC;AAmC3B,wBAAgB,wBAAwB,CAAC,EAAE,EAAE,OAAO,GAAG,IAAI,CAE1D;AAUD,wBAAgB,yBAAyB,CAAC,EAAE,EAAE,OAAO,GAAG,IAAI,CAE3D;AA8ED;;;GAGG;AACH,iBAAS,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CA4BzD;AAgHD,oEAAoE;AACpE,iBAAS,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEtC;AAkZD,oDAAoD;AACpD,iBAAS,cAAc,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CASnD;AAmCD,iCAAiC;AACjC,iBAAS,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAEvC;AAgND,yEAAyE;AACzE,iBAAS,uBAAuB,CAAC,IAAI,EAAE,OAAO,GAAG,MAAM,CAMtD;AA0PD;;GAEG;AACH,eAAO,MAAM,uBAAuB;;;;;;;;;CASnC,CAAC;AAMF,eAAO,MAAM,qBAAqB,EAAE,aAUnC,CAAC"}