behavior-contracts 0.2.0 → 0.2.2

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

@@ -0,0 +1,592 @@
+import { emitDocLiteral, emitDocLiteralCompact } from "./literal.js";
+import { emitStraightlineModule, } from "./straightline.js";
+/** runtime package alias（生成コード内）。emit-go.ts と同じ `dslcontracts`。 */
+const PKG = "dslcontracts";
+/**
+ * scope 式（生成コード内）。scope は「input + それまでの ok 結果」のその時点のスナップ。
+ * baseScope() 関数呼びで呼び時点の results を読む（決定的）。
+ */
+const SCOPE = "baseScope()";
+/**
+ * map 本体（over/guard/ports）の要素 scope 式（生成コード内）。RunBehavior の map と同じく
+ * baseScope に `as`→要素値 を足したスナップ。生成コードは map arm 内で per-element に
+ * `mscope()`（*Obj を返すクロージャ）をローカル定義し、port/guard 式はそれを呼ぶ。
+ */
+const MAP_SCOPE = "mscope()";
+/** IR リテラルを単一行 Go 式として emit（primitive 被演算子用）。 */
+function lit(node) {
+    return emitDocLiteralCompact(node, "go");
+}
+/** args 配列（binary/unary primitive の被演算子）を個別 IR リテラルへ落として `, ` 連結。 */
+function argList(arg) {
+    return arg.map((a) => lit(a)).join(", ");
+}
+/**
+ * OP_PRIM — overflow/短絡/型判定を持つ演算子 → A0 primitive 直呼びの綴じ方。
+ * 命名は go/primitives.go の `Prim*`。被演算子は expr.go の Expr 契約どおり**未評価 IR リテラル**
+ * （`and`/`or`/`cond`/`coalesce` の短絡を primitive 内 evaluate が保存する）。
+ * NB: ここに `ref`/`refOpt`/`concat` は無い（native 化するため — AC#2）。
+ */
+const OP_PRIM = {
+    int: (a, s) => `${PKG}.PrimIntLit(${lit(a)}, ${s})`,
+    float: (a, s) => `${PKG}.PrimFloatLit(${lit(a)}, ${s})`,
+    obj: (a, s) => `${PKG}.PrimObj(${lit(a)}, ${s})`,
+    arr: (a, s) => `${PKG}.PrimArr(${lit(a)}, ${s})`,
+    add: (a, s) => `${PKG}.PrimAdd(${argList(a)}, ${s})`,
+    sub: (a, s) => `${PKG}.PrimSub(${argList(a)}, ${s})`,
+    mul: (a, s) => `${PKG}.PrimMul(${argList(a)}, ${s})`,
+    neg: (a, s) => `${PKG}.PrimNeg(${argList(a)}, ${s})`,
+    div: (a, s) => `${PKG}.PrimDiv(${argList(a)}, ${s})`,
+    mod: (a, s) => `${PKG}.PrimMod(${argList(a)}, ${s})`,
+    eq: (a, s) => `${PKG}.PrimEq(${argList(a)}, ${s})`,
+    ne: (a, s) => `${PKG}.PrimNe(${argList(a)}, ${s})`,
+    lt: (a, s) => `${PKG}.PrimLt(${argList(a)}, ${s})`,
+    le: (a, s) => `${PKG}.PrimLe(${argList(a)}, ${s})`,
+    gt: (a, s) => `${PKG}.PrimGt(${argList(a)}, ${s})`,
+    ge: (a, s) => `${PKG}.PrimGe(${argList(a)}, ${s})`,
+    and: (a, s) => `${PKG}.PrimAnd(${argList(a)}, ${s})`,
+    or: (a, s) => `${PKG}.PrimOr(${argList(a)}, ${s})`,
+    not: (a, s) => `${PKG}.PrimNot(${argList(a)}, ${s})`,
+    coalesce: (a, s) => `${PKG}.PrimCoalesce(${argList(a)}, ${s})`,
+    cond: (a, s) => `${PKG}.PrimCond(${argList(a)}, ${s})`,
+    len: (a, s) => `${PKG}.PrimLen(${argList(a)}, ${s})`,
+};
+/**
+ * emitExpr — Expression IR ノードを「scope を受けて (Value, error) を返す」Go 式に落とす。
+ *
+ * 単純式は **native Go helper** へ（脱解釈 — AC#2）、overflow/短絡系は A0 primitive SSoT へ、
+ * むき出しスカラは EvalExpr（同一 SSoT）へ落とす。生成される Go 式はどれも `(Value, error)` を
+ * 返すので、直線関数側は `must(<expr>)` で 1 行に畳んで scope へ束ねる。
+ *   - `{ref:[...]}`    → `${PKG}.slRef(<path>, scope)`      （native scope/field walk）
+ *   - `{refOpt:[...]}` → `${PKG}? no — slRefOpt`            （native, null 伝播）
+ *   - `{concat:[...]}` → `slConcat([]slPart{...}, scope)`   （native strings.Builder）
+ *   - overflow/短絡    → `${PKG}.PrimAdd(...)` 等            （SSoT 直呼び）
+ *   - bare scalar      → `${PKG}.EvalExpr(<lit>, scope)`    （SSoT）
+ * slRef/slRefOpt/slConcat は **生成モジュール内の native helper**（`EvaluateExpression`/`Prim*`
+ * を呼ばない）で、pure ref/concat の生成コードには evaluate/primitive 呼びが一切現れない
+ * （AC#2 の構造的 grep 証明）。
+ */
+function emitExpr(node, scopeVar) {
+    // ── bare スカラ literal: 型判定の無い string/bool/null は native 化（脱解釈）──────
+    // これらは expr.go でも素通し（INVALID_LITERAL/range 判定を持たない）ので、native Go 値を
+    // そのまま (Value, error) へ包む。number は checked-range/型区別（int vs float）の意味論を
+    // 持つため native 化せず EvalExpr(SSoT) に委譲する（下の fall-through）。
+    if (node === null)
+        return `slVal(nil)`;
+    if (typeof node === "boolean")
+        return `slVal(${node ? "true" : "false"})`;
+    if (typeof node === "string")
+        return `slVal(${JSON.stringify(node)})`;
+    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];
+            // ── 単純式: native 化（脱解釈） ─────────────────────────────────────────
+            if (op === "ref" || op === "refOpt") {
+                // path は string リテラル配列。native helper へ Go の []string を直接渡す。
+                return `slRef${op === "refOpt" ? "Opt" : ""}(${emitStringPath(arg)}, ${scopeVar})`;
+            }
+            if (op === "concat") {
+                // parts は Expression IR 配列。各 part を再帰 native emit した slPart のスライスへ。
+                return `slConcat([]slPart{${emitConcatParts(arg, scopeVar)}}, ${scopeVar})`;
+            }
+            // ── overflow/短絡/型判定: A0 primitive SSoT（再実装しない） ──────────────
+            const prim = OP_PRIM[op];
+            if (prim)
+                return prim(arg, scopeVar);
+        }
+    }
+    // むき出しスカラ（string/number/bool/null）等 — evaluate SSoT に委譲（同一意味論）。
+    return `${PKG}.EvalExpr(${lit(node)}, ${scopeVar})`;
+}
+/** ref/refOpt の path（string リテラル配列）を Go の `[]string{...}` へ。非 string は不正 IR。 */
+function emitStringPath(arg) {
+    if (!Array.isArray(arg))
+        throw new Error("straight-line go: ref/refOpt path must be an array literal");
+    const segs = arg.map((s) => {
+        if (typeof s !== "string")
+            throw new Error("straight-line go: ref/refOpt path segments must be string literals (portable IR)");
+        return JSON.stringify(s);
+    });
+    return `[]string{${segs.join(", ")}}`;
+}
+/**
+ * concat の各 part を native `slPart` へ。slPart は「self-eval なクロージャ」= func(scope) (Value, error)。
+ * part 自身が式なので `func(s *${PKG}.Obj) (${PKG}.Value, error) { return <emitExpr(part)>; }` で
+ * 再帰 native emit する（part が別の concat/ref なら native、overflow なら primitive のまま）。
+ */
+function emitConcatParts(arg, scopeVar) {
+    if (!Array.isArray(arg))
+        throw new Error("straight-line go: concat args must be an array literal");
+    // part の scope 変数は helper 引数 `s`（呼び時点の scope を受ける）。scopeVar は無視される。
+    void scopeVar;
+    return arg.map((p) => `func(s *${PKG}.Obj) (${PKG}.Value, error) { return ${emitExpr(p, "s")} }`).join(", ");
+}
+// ── per-node exec 分岐 / component 関数 / module の綴じ方 ──────────────────────
+/** ops リテラル（RunPlan に渡す []OpSpec の Go リテラル）を綴じる。 */
+function emitOpsLiteral(plan) {
+    const rows = plan.opsLiteral.map((o) => {
+        const parts = [`ID: ${JSON.stringify(o.id)}`, `Parent: ${o.parent === null ? "-1" : String(o.parent)}`];
+        if (o.bindField !== undefined)
+            parts.push(`BindField: ${JSON.stringify(o.bindField)}, HasBindField: true`);
+        if (o.relationKind !== undefined)
+            parts.push(`RelationKind: ${JSON.stringify(o.relationKind)}`);
+        if (o.policy !== undefined)
+            parts.push(`Policy: ${JSON.stringify(o.policy)}, HasPolicy: true`);
+        return `\t\t{${parts.join(", ")}},`;
+    });
+    return `[]${PKG}.OpSpec{\n${rows.join("\n")}\n\t}`;
+}
+/** 1ノードの exec 分岐本体（index で分岐 — nodeKind ディスパッチではない）。 */
+function emitExecArm(op) {
+    if (op.kind === "map")
+        return emitMapArm(op);
+    if (op.kind === "cond") {
+        // cond は純 Expression。scope を渡して 1 式評価（handler は呼ばない）。式は (Value,error)。
+        return `\t\tif i == ${op.index} {
+\t\t\tv, err := ${op.expr}
+\t\t\tif err != nil {
+\t\t\t\treturn abort(idx, err)
+\t\t\t}
+\t\t\treturn ${PKG}.OkOutcome(v)
+\t\t}`;
+    }
+    // componentRef: 各 port を名前付き native/primitive 呼びで評価 → handler 注入呼び。
+    const portEvals = op.ports
+        .map((p) => `\t\t\t${goPortVar(p.name)}, err := ${p.expr}
+\t\t\tif err != nil {
+\t\t\t\treturn abort(idx, err)
+\t\t\t}
+\t\t\tports.Set(${JSON.stringify(p.name)}, ${goPortVar(p.name)})`)
+        .join("\n");
+    const body = op.ports.length === 0 ? "" : `\n${portEvals}`;
+    return `\t\tif i == ${op.index} {
+\t\t\tports := ${PKG}.NewObj()${body}
+\t\t\toutcome, resolved := ${PKG}.ExecHandler(handlers, ${JSON.stringify(op.id)}, ${JSON.stringify(op.component)}, ports, nil)
+\t\t\tif !resolved {
+\t\t\t\treturn abort(idx, ${PKG}.NewBehaviorFailure("UNKNOWN_COMPONENT", "component '${op.component}' has no handler (fail-closed)"))
+\t\t\t}
+\t\t\treturn outcome
+\t\t}`;
+}
+/** port ローカル変数名（Go 識別子として安全・一意）。宣言順に p0,p1,… を index で衝突回避。 */
+function goPortVar(name) {
+    return `pv_${name.replace(/[^A-Za-z0-9_]/g, "_")}`;
+}
+/** map arm の要素 ports 構築（要素 scope `mscope()` で各 port を native/primitive 評価）。 */
+function emitMapPortEvals(op) {
+    if (op.ports.length === 0)
+        return `\t\t\t\tports := ${PKG}.NewObj()`;
+    const lines = op.ports
+        .map((p) => `\t\t\t\t${goPortVar(p.name)}, err := ${p.expr}
+\t\t\t\tif err != nil {
+\t\t\t\t\treturn abort(idx, err)
+\t\t\t\t}
+\t\t\t\tports.Set(${JSON.stringify(p.name)}, ${goPortVar(p.name)})`)
+        .join("\n");
+    return `\t\t\t\tports := ${PKG}.NewObj()\n${lines}`;
+}
+/**
+ * emitMapArm — map ノードの直線展開（要素反復・guard skip・per-element/batched handler・into
+ * zip-attach）。RunBehavior の map 分岐（behavior.go）を生成 Go へ直線展開する。op-log 等価のため
+ * ExecHandler は RunBehavior と同じ ctx（非 batched は bound=要素値、batched は nil）・同じ ports で
+ * 呼ぶ。guard は PrimCond（strict-bool SSoT）、into は inline zip-attach（MAP_INTO_ELEMENT_NOT_OBJECT
+ * fail-closed で Failure code 一致）。要素反復は宣言どおり逐次。
+ */
+function emitMapArm(op) {
+    const comp = JSON.stringify(op.component);
+    const nodeId = JSON.stringify(op.id);
+    const asKey = JSON.stringify(op.as);
+    const guardBlock = op.guard === undefined
+        ? ""
+        : `\n\t\t\t\tgkeep, gerr := ${op.guard}
+\t\t\t\tif gerr != nil {
+\t\t\t\t\treturn abort(idx, gerr)
+\t\t\t\t}
+\t\t\t\tif gkeep != true {
+\t\t\t\t\tcontinue
+\t\t\t\t}`;
+    const mscopeDef = `\t\t\t\tmel := el
+\t\t\t\tmscope := func() *${PKG}.Obj {
+\t\t\t\t\ts := ${SCOPE}
+\t\t\t\t\ts.Set(${asKey}, mel)
+\t\t\t\t\treturn s
+\t\t\t\t}
+\t\t\t\t_ = mscope`;
+    const intoTail = op.into === undefined
+        ? `\t\t\treturn ${PKG}.OkOutcome(collected)`
+        : `\t\t\taugmented := make([]${PKG}.Value, 0, len(overArr))
+\t\t\tmk := 0
+\t\t\tfor mj, oel := range overArr {
+\t\t\t\tif mk < len(keptIdx) && keptIdx[mk] == mj {
+\t\t\t\t\toelObj, isObj := oel.(*${PKG}.Obj)
+\t\t\t\t\tif !isObj {
+\t\t\t\t\t\treturn abort(idx, ${PKG}.NewBehaviorFailure("MAP_INTO_ELEMENT_NOT_OBJECT", fmt.Sprintf("map '${op.id}': 'into' requires object elements (element %d is not an object)", mj)))
+\t\t\t\t\t}
+\t\t\t\t\tcp := ${PKG}.NewObj()
+\t\t\t\t\tfor _, fk := range oelObj.Keys {
+\t\t\t\t\t\tcp.Set(fk, oelObj.Vals[fk])
+\t\t\t\t\t}
+\t\t\t\t\tcp.Set(${JSON.stringify(op.into)}, collected[mk])
+\t\t\t\t\taugmented = append(augmented, cp)
+\t\t\t\t\tmk++
+\t\t\t\t} else {
+\t\t\t\t\taugmented = append(augmented, oel)
+\t\t\t\t}
+\t\t\t}
+\t\t\treturn ${PKG}.OkOutcome(augmented)`;
+    const body = op.batched
+        ? `\t\t\titems := make([]${PKG}.Value, 0, len(overArr))
+\t\t\tfor mi, el := range overArr {
+${mscopeDef}${guardBlock}
+${emitMapPortEvals(op)}
+\t\t\t\titems = append(items, ports)
+\t\t\t\tkeptIdx = append(keptIdx, mi)
+\t\t\t}
+\t\t\tvar collected []${PKG}.Value
+\t\t\tif len(items) == 0 {
+\t\t\t\tcollected = []${PKG}.Value{}
+\t\t\t} else {
+\t\t\t\tbatchPorts := ${PKG}.NewObj()
+\t\t\t\tbatchPorts.Set("items", items)
+\t\t\t\toutcome, resolved := ${PKG}.ExecHandler(handlers, ${nodeId}, ${comp}, batchPorts, nil)
+\t\t\t\tif !resolved {
+\t\t\t\t\treturn abort(idx, ${PKG}.NewBehaviorFailure("UNKNOWN_COMPONENT", "component '${op.component}' has no handler (fail-closed)"))
+\t\t\t\t}
+\t\t\t\tif outcome.IsError {
+\t\t\t\t\treturn outcome
+\t\t\t\t}
+\t\t\t\tr, isArr := outcome.Ok.([]${PKG}.Value)
+\t\t\t\tif !isArr || len(r) != len(items) {
+\t\t\t\t\treturn abort(idx, ${PKG}.NewBehaviorFailure("MAP_BATCH_RESULT_MISMATCH", fmt.Sprintf("map '${op.id}': batched handler must return a list aligned to items (want %d)", len(items))))
+\t\t\t\t}
+\t\t\t\tcollected = r
+\t\t\t}
+${intoTail}`
+        : `\t\t\tcollected := make([]${PKG}.Value, 0, len(overArr))
+\t\t\tfor mi, el := range overArr {
+${mscopeDef}${guardBlock}
+${emitMapPortEvals(op)}
+\t\t\t\toutcome, resolved := ${PKG}.ExecHandler(handlers, ${nodeId}, ${comp}, ports, mel)
+\t\t\t\tif !resolved {
+\t\t\t\t\treturn abort(idx, ${PKG}.NewBehaviorFailure("UNKNOWN_COMPONENT", "component '${op.component}' has no handler (fail-closed)"))
+\t\t\t\t}
+\t\t\t\tif outcome.IsError {
+\t\t\t\t\treturn outcome
+\t\t\t\t}
+\t\t\t\tcollected = append(collected, outcome.Ok)
+\t\t\t\tkeptIdx = append(keptIdx, mi)
+\t\t\t}
+${intoTail}`;
+    return `\t\tif i == ${op.index} {
+\t\t\toverVal, overErr := ${op.over}
+\t\t\tif overErr != nil {
+\t\t\t\treturn abort(idx, overErr)
+\t\t\t}
+\t\t\toverArr, isArr := overVal.([]${PKG}.Value)
+\t\t\tif !isArr {
+\t\t\t\treturn abort(idx, ${PKG}.NewBehaviorFailure("MAP_OVER_NOT_ARRAY", "map '${op.id}': 'over' did not evaluate to an array"))
+\t\t\t}
+\t\t\tkeptIdx := make([]int, 0, len(overArr))
+${body}
+\t\t}`;
+}
+/**
+ * emitComponentFn — 1 component の直線 Go 関数を綴じる。RunBehavior の実行フロー（results 蓄積 +
+ * baseScope + RunPlan + skip→unproduced + output 評価）を **生成コードに直線展開**する
+ * （汎用 exec/nodeKind/evalPorts は無い。各 exec 分岐は index で確定・ハードコード）。
+ */
+function emitComponentFn(plan) {
+    const arms = plan.ops.map(emitExecArm).join("\n");
+    const planLiteral = plan.component.plan
+        ? emitBehaviorPlanLiteral(plan.component.plan)
+        : `(*${PKG}.ExecutionPlanSpec)(nil)`;
+    const output = emitExpr(plan.component.output, SCOPE);
+    const relationKinds = plan.opsLiteral.map((o) => (o.relationKind === "connection" ? "connection" : "single"));
+    const rkLiteral = `[]string{${relationKinds.map((r) => JSON.stringify(r)).join(", ")}}`;
+    return `func run_${sanitize(plan.name)}(handlers ${PKG}.ComponentExec, input *${PKG}.Obj) (${PKG}.Value, error) {
+\tops := ${emitOpsLiteral(plan)}
+\tif input == nil {
+\t\tinput = ${PKG}.NewObj()
+\t}
+\tresults := ${PKG}.NewObj()
+\tvar resultsMu sync.Mutex
+\t// baseScope = input params + accumulated ok results (snapshot at call time).
+\tbaseScope := func() *${PKG}.Obj {
+\t\ts := ${PKG}.NewObj()
+\t\tfor _, k := range input.Keys {
+\t\t\ts.Set(k, input.Vals[k])
+\t\t}
+\t\tresultsMu.Lock()
+\t\tfor _, k := range results.Keys {
+\t\t\ts.Set(k, results.Vals[k])
+\t\t}
+\t\tresultsMu.Unlock()
+\t\treturn s
+\t}
+\trelationKinds := ${rkLiteral}
+\t// exec-internal failures (BehaviorFailure/ExprFailure) cannot unwind through the
+\t// RunPlan ExecOutcome seam, so each op records its own error and returns a synthetic
+\t// aborted ErrOutcome; sequential precedence is restored after RunPlan (bc#23).
+\texecErrs := make([]error, len(ops))
+\tabort := func(idx int, err error) ${PKG}.ExecOutcome {
+\t\texecErrs[idx] = err
+\t\treturn ${PKG}.ErrOutcome("aborted")
+\t}
+\texec := func(op ${PKG}.OpSpec, _ ${PKG}.Value) ${PKG}.ExecOutcome {
+\t\tidx := -1
+\t\tfor k := range ops {
+\t\t\tif ops[k].ID == op.ID {
+\t\t\t\tidx = k
+\t\t\t\tbreak
+\t\t\t}
+\t\t}
+\t\ti := idx
+${arms}
+\t\treturn abort(idx, ${PKG}.NewBehaviorFailure("UNKNOWN_NODE_KIND", "op '"+op.ID+"' has no generated exec arm (fail-closed)"))
+\t}
+\twrappedExec := func(op ${PKG}.OpSpec, bound ${PKG}.Value) ${PKG}.ExecOutcome {
+\t\toutcome := exec(op, bound)
+\t\tif !outcome.IsError {
+\t\t\tresultsMu.Lock()
+\t\t\tresults.Set(op.ID, outcome.Ok)
+\t\t\tresultsMu.Unlock()
+\t\t}
+\t\treturn outcome
+\t}
+\tplan := ${planLiteral}
+\trun, err := ${PKG}.RunPlan(plan, ops, wrappedExec)
+\tif firstErr := ${PKG}.FirstExecErrInVisitOrder(execErrs, plan, len(ops), err); firstErr != nil {
+\t\treturn nil, firstErr
+\t}
+\tif err != nil {
+\t\treturn nil, err
+\t}
+\t// Skipped nodes contribute their unproduced representation to the scope.
+\tfor _, id := range run.Skipped {
+\t\tif _, present := results.Get(id); present {
+\t\t\tcontinue
+\t\t}
+\t\tfor k := range ops {
+\t\t\tif ops[k].ID == id {
+\t\t\t\tresults.Set(id, ${PKG}.UnproducedValue(relationKinds[k]))
+\t\t\t\tbreak
+\t\t\t}
+\t\t}
+\t}
+\treturn ${output}
+}`;
+}
+/** behavior plan（{groups, concurrency}）を *ExecutionPlanSpec Go リテラルへ。 */
+function emitBehaviorPlanLiteral(plan) {
+    const p = plan;
+    const groups = p.groups ?? [];
+    const groupsLit = `[][]int{${groups.map((g) => `{${g.join(", ")}}`).join(", ")}}`;
+    const conc = p.concurrency ?? 1;
+    return `&${PKG}.ExecutionPlanSpec{Groups: ${groupsLit}, Concurrency: ${conc}}`;
+}
+/** component 名を Go 関数名に使える形へ（決定的。名前一意は 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 irLiteral = emitDocLiteral(ctx.ir, "go");
+    const fns = plans.map((p) => emitComponent(p, ctx)).join("\n\n");
+    const dispatchArms = plans
+        .map((p) => `\tif name == ${JSON.stringify(p.name)} {\n\t\treturn run_${sanitize(p.name)}(handlers, input)\n\t}`)
+        .join("\n");
+    return `// GENERATED by behavior-contracts common generator (bc#38, 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#38 A2): each
+// component is emitted as a native Go function that drives the plan via the RunPlan
+// primitive (#36) and injected handlers. Simple ports are NATIVE-IZED (Phase B
+// de-interpretation): ref/refOpt -> native scope/field walk (slRef/slRefOpt), concat ->
+// native string concatenation (slConcat) — NO EvaluateExpression / Prim* call for those.
+// Only overflow/short-circuit-prone ops (add/sub/mul/div/mod/and/or/cond/coalesce/…) route
+// through the A0 primitive SSoT to preserve fail-closed semantics. It does NOT go through
+// RunBehavior's tree-walk (no nodeKind dispatch / no evalPorts loop / no generic exec).
+// Handlers are ALWAYS injected at the boundary; they are never generated.
+// irFingerprint: ${fingerprint}
+
+package behaviors
+
+import (
+\t"encoding/json"
+\t"fmt"
+\t"strings"
+\t"sync"
+
+\t${PKG} ${JSON.stringify(runtimeImport)}
+)
+
+// ExpectedSpecVersions are the spec versions baked at generation time
+// (fail-closed constant comparison at init).
+var ExpectedSpecVersions = map[string]int64{"behavior": ${specVersions.behavior}, "expression": ${specVersions.expression}, "plan": ${specVersions.plan}}
+
+// IRFingerprint is the FNV-1a 64 fingerprint of the source portable IR
+// (CanonicalJSON discipline, #208).
+const IRFingerprint = ${JSON.stringify(fingerprint)}
+
+// ComponentNames are the components exposed by Bind(), in IR declaration order.
+var ComponentNames = []string{${names}}
+
+// IR is the portable component-graph IR, embedded for the init-time fingerprint
+// self-check only (the straight-line functions do NOT interpret it at run time).
+var IR ${PKG}.JNode = ${irLiteral}
+
+// init — load-time fail-closed checks (#208 prepared-artifact discipline).
+func init() {
+\tfor k, want := range ExpectedSpecVersions {
+\t\tif got := ${PKG}.SpecVersions[k]; got != want {
+\t\t\tpanic(fmt.Sprintf("behavior-contracts generated module: spec-version skew for '%s' (generated=%d, runtime=%d) — regenerate against this runtime (fail-closed)", k, want, got))
+\t\t}
+\t}
+\tgot, err := ${PKG}.FingerprintComponentGraph(IR)
+\tif err != nil {
+\t\tpanic(fmt.Sprintf("behavior-contracts generated module: fingerprint recompute failed: %v (fail-closed)", err))
+\t}
+\tif got != IRFingerprint {
+\t\tpanic(fmt.Sprintf("behavior-contracts generated module: IR fingerprint mismatch (baked=%s, embedded literal=%s) — the generated code was modified or corrupted (fail-closed)", IRFingerprint, got))
+\t}
+}
+
+// ── native simple-expression helpers (Phase B de-interpretation, bc#38) ────────
+// These are NATIVE Go — they never call EvaluateExpression / Prim*. They reproduce
+// expr.go's ref/refOpt/concat semantics (same Failure codes) so the straight-line
+// path is observationally equivalent to RunBehavior for simple ports while removing
+// the expression-tree interpretation.
+
+// slPart is a self-evaluating concat part (recursively native / primitive).
+type slPart = func(scope *${PKG}.Obj) (${PKG}.Value, error)
+
+// slVal wraps a native Go literal (string/bool/null) as a (Value, error) result —
+// bare scalars carry no INVALID_LITERAL/range semantics, so no evaluate is needed.
+func slVal(v ${PKG}.Value) (${PKG}.Value, error) { return v, nil }
+
+// slRef walks a non-empty string path over scope (native; expr.go ref semantics).
+func slRef(path []string, scope *${PKG}.Obj) (${PKG}.Value, error) {
+\treturn slRefWalk("ref", path, scope)
+}
+
+// slRefOpt is the null-safe variant: a null intermediate propagates null.
+func slRefOpt(path []string, scope *${PKG}.Obj) (${PKG}.Value, error) {
+\treturn slRefWalk("refOpt", path, scope)
+}
+
+func slRefWalk(op string, path []string, scope *${PKG}.Obj) (${PKG}.Value, error) {
+\tif len(path) == 0 {
+\t\treturn nil, ${PKG}.NewExprFailure("INVALID_NODE", op+" expects a non-empty string path")
+\t}
+\thead := path[0]
+\tcur, ok := scope.Get(head)
+\tif !ok {
+\t\treturn nil, ${PKG}.NewExprFailure("UNKNOWN_BINDING", "unknown binding: "+head)
+\t}
+\tfor _, seg := range path[1:] {
+\t\tif cur == nil {
+\t\t\tif op == "refOpt" {
+\t\t\t\treturn nil, nil
+\t\t\t}
+\t\t\treturn nil, ${PKG}.NewExprFailure("NULL_REF", "null intermediate at ."+seg+" (use ?.)")
+\t\t}
+\t\to, ok := cur.(*${PKG}.Obj)
+\t\tif !ok {
+\t\t\treturn nil, ${PKG}.NewExprFailure("TYPE_MISMATCH", "cannot access ."+seg+" on "+${PKG}.TypeName(cur))
+\t\t}
+\t\tnext, present := o.Get(seg)
+\t\tif !present {
+\t\t\treturn nil, ${PKG}.NewExprFailure("MISSING_PROP", "missing property ."+seg)
+\t\t}
+\t\tcur = next
+\t}
+\treturn cur, nil
+}
+
+// slConcat concatenates n>=2 string parts natively (expr.go concat semantics:
+// strings only, no implicit toString; arity < 2 is invalid IR).
+func slConcat(parts []slPart, scope *${PKG}.Obj) (${PKG}.Value, error) {
+\tif len(parts) < 2 {
+\t\treturn nil, ${PKG}.NewExprFailure("INVALID_NODE", fmt.Sprintf("concat expects >= 2 args, got %d", len(parts)))
+\t}
+\tvar b strings.Builder
+\tfor _, part := range parts {
+\t\tv, err := part(scope)
+\t\tif err != nil {
+\t\t\treturn nil, err
+\t\t}
+\t\ts, ok := v.(string)
+\t\tif !ok {
+\t\t\treturn nil, ${PKG}.NewExprFailure("TYPE_MISMATCH", "concat: strings only (got "+${PKG}.TypeName(v)+"; no implicit toString)")
+\t\t}
+\t\tb.WriteString(s)
+\t}
+\treturn b.String(), nil
+}
+
+// ── straight-line component functions (no RunBehavior tree-walk) ───────────────
+${fns}
+
+// Bind — inject handlers (boundary injection; catalog name → implementation) and get
+// one executor per component. Each executor runs the straight-line function for that
+// component (plan via RunPlan primitive + per-node native/primitive port eval +
+// injected handler) — NOT the RunBehavior tree-walk. Observationally equivalent to the
+// RunBehavior path: same values, same emitted op sequence, same Failure code.
+func Bind(handlers ${PKG}.ComponentExec) map[string]func(input *${PKG}.Obj) (${PKG}.Value, error) {
+\tbound := make(map[string]func(input *${PKG}.Obj) (${PKG}.Value, error), len(ComponentNames))
+\tfor _, name := range ComponentNames {
+\t\tn := name
+\t\tbound[n] = func(input *${PKG}.Obj) (${PKG}.Value, error) {
+\t\t\treturn dispatch(n, handlers, input)
+\t\t}
+\t}
+\treturn bound
+}
+
+func dispatch(name string, handlers ${PKG}.ComponentExec, input *${PKG}.Obj) (${PKG}.Value, error) {
+${dispatchArms}
+\treturn nil, ${PKG}.NewBehaviorFailure("UNKNOWN_ENTRY", "component '"+name+"' not found in this module (fail-closed)")
+}
+`;
+}
+const dialect = {
+    emitExpr,
+    mapScopeVar: MAP_SCOPE,
+    emitComponent,
+    emitModule,
+};
+/**
+ * go-typed（bc#47）が struct-native exec を綴じるために再利用する内部 emit ヘルパ。straight-line の
+ * plan/handler-dispatch SSoT（RunPlan + ExecHandler + native/primitive port eval）をそのまま使い、
+ * 「結果を Value scope でなく struct scope に持つ」差分だけを typed 側で足すための seam。runtime 語彙
+ * （PKG）と ops/plan リテラル・式 emit を共有する（意味論の二重実装を避ける）。
+ */
+export const goStraightlineInternals = {
+    PKG,
+    emitExpr,
+    emitOpsLiteral,
+    emitBehaviorPlanLiteral,
+    goPortVar,
+    sanitize,
+    dialect,
+};
+function emit(ctx) {
+    return emitStraightlineModule(ctx, dialect, SCOPE);
+}
+/**
+ * goStraightlineEmitter — 言語識別子 `"go-straightline"` の emitter plugin。
+ * 既存の `go`（リテラル焼き込み・endpoint 3-literal）と併存する additive な第2モード。
+ */
+export const goStraightlineEmitter = {
+    language: "go-straightline",
+    fileExtension: ".go",
+    defaultRuntimeImport: "github.com/foo-ogawa/behavior-contracts/go",
+    filenameHint: "behaviors.straightline.generated.go",
+    emit,
+};
+//# sourceMappingURL=emit-straightline-go.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-go.js","sourceRoot":"","sources":["../../src/generator/emit-straightline-go.ts"],"names":[],"mappings":"AA8BA,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EACL,sBAAsB,GAIvB,MAAM,mBAAmB,CAAC;AAE3B,mEAAmE;AACnE,MAAM,GAAG,GAAG,cAAc,CAAC;AAC3B;;;GAGG;AACH,MAAM,KAAK,GAAG,aAAa,CAAC;AAC5B;;;;GAIG;AACH,MAAM,SAAS,GAAG,UAAU,CAAC;AAE7B,iDAAiD;AACjD,SAAS,GAAG,CAAC,IAAa;IACxB,OAAO,qBAAqB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;AAC3C,CAAC;AAED,qEAAqE;AACrE,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;;;;;GAKG;AACH,MAAM,OAAO,GAAwD;IACnE,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,eAAe,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACnD,KAAK,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACvD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAChD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACpD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACpD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAClD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAClD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACpD,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,WAAW,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAClD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACpD,QAAQ,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,iBAAiB,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IAC9D,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,aAAa,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;IACtD,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,YAAY,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;CACrD,CAAC;AAEF;;;;;;;;;;;;;;GAcG;AACH,SAAS,QAAQ,CAAC,IAAa,EAAE,QAAgB;IAC/C,qEAAqE;IACrE,mEAAmE;IACnE,wEAAwE;IACxE,yDAAyD;IACzD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,YAAY,CAAC;IACvC,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,SAAS,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC;IAC1E,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC;IACtE,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;YAClD,kEAAkE;YAClE,IAAI,EAAE,KAAK,KAAK,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACpC,4DAA4D;gBAC5D,OAAO,QAAQ,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,cAAc,CAAC,GAAG,CAAC,KAAK,QAAQ,GAAG,CAAC;YACrF,CAAC;YACD,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACpB,oEAAoE;gBACpE,OAAO,qBAAqB,eAAe,CAAC,GAAG,EAAE,QAAQ,CAAC,MAAM,QAAQ,GAAG,CAAC;YAC9E,CAAC;YACD,+DAA+D;YAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;YACzB,IAAI,IAAI;gBAAE,OAAO,IAAI,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IACD,gEAAgE;IAChE,OAAO,GAAG,GAAG,aAAa,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,GAAG,CAAC;AACtD,CAAC;AAED,gFAAgF;AAChF,SAAS,cAAc,CAAC,GAAY;IAClC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IACvG,MAAM,IAAI,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACzB,IAAI,OAAO,CAAC,KAAK,QAAQ;YACvB,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAC;QACtG,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC,CAAC,CAAC;IACH,OAAO,YAAY,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;AACxC,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,GAAY,EAAE,QAAgB;IACrD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IACnG,oEAAoE;IACpE,KAAK,QAAQ,CAAC;IACd,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,GAAG,UAAU,GAAG,2BAA2B,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC/G,CAAC;AAED,0EAA0E;AAE1E,oDAAoD;AACpD,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,CAAC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACxG,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,cAAc,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,sBAAsB,CAAC,CAAC;QAC3G,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QAChG,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,WAAW,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,mBAAmB,CAAC,CAAC;QAC/F,OAAO,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IACtC,CAAC,CAAC,CAAC;IACH,OAAO,KAAK,GAAG,aAAa,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;AACrD,CAAC;AAED,wDAAwD;AACxD,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,uEAAuE;QACvE,OAAO,eAAe,EAAE,CAAC,KAAK;kBAChB,EAAE,CAAC,IAAI;;;;eAIV,GAAG;MACZ,CAAC;IACL,CAAC;IACD,oEAAoE;IACpE,MAAM,SAAS,GAAG,EAAE,CAAC,KAAK;SACvB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,SAAS,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI;;;;kBAIlC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAC5D;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,EAAE,CAAC;IAC3D,OAAO,eAAe,EAAE,CAAC,KAAK;iBACf,GAAG,YAAY,IAAI;6BACP,GAAG,0BAA0B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC;;4BAEpF,GAAG,wDAAwD,EAAE,CAAC,SAAS;;;MAG7F,CAAC;AACP,CAAC;AAED,+DAA+D;AAC/D,SAAS,SAAS,CAAC,IAAY;IAC7B,OAAO,MAAM,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,EAAE,CAAC;AACrD,CAAC;AAED,+EAA+E;AAC/E,SAAS,gBAAgB,CAAC,EAA4C;IACpE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,oBAAoB,GAAG,WAAW,CAAC;IACrE,MAAM,KAAK,GAAG,EAAE,CAAC,KAAK;SACnB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,WAAW,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,IAAI;;;;oBAIlC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAC9D;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,oBAAoB,GAAG,cAAc,KAAK,EAAE,CAAC;AACtD,CAAC;AAED;;;;;;GAMG;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;QACpB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,4BAA4B,EAAE,CAAC,KAAK;;;;;;UAMlC,CAAC;IACT,MAAM,SAAS,GAAG;4BACQ,GAAG;iBACd,KAAK;kBACJ,KAAK;;;mBAGJ,CAAC;IAClB,MAAM,QAAQ,GACZ,EAAE,CAAC,IAAI,KAAK,SAAS;QACnB,CAAC,CAAC,gBAAgB,GAAG,uBAAuB;QAC5C,CAAC,CAAC,6BAA6B,GAAG;;;;mCAIL,GAAG;;gCAEN,GAAG,wEAAwE,EAAE,CAAC,EAAE;;kBAE9F,GAAG;;;;mBAIF,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC;;;;;;;eAO3B,GAAG,uBAAuB,CAAC;IACxC,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO;QACrB,CAAC,CAAC,yBAAyB,GAAG;;EAEhC,SAAS,GAAG,UAAU;EACtB,gBAAgB,CAAC,EAAE,CAAC;;;;wBAIE,GAAG;;wBAEH,GAAG;;wBAEH,GAAG;;+BAEI,GAAG,0BAA0B,MAAM,KAAK,IAAI;;8BAE7C,GAAG,wDAAwD,EAAE,CAAC,SAAS;;;;;oCAKjE,GAAG;;8BAET,GAAG,sEAAsE,EAAE,CAAC,EAAE;;;;EAI1G,QAAQ,EAAE;QACR,CAAC,CAAC,6BAA6B,GAAG;;EAEpC,SAAS,GAAG,UAAU;EACtB,gBAAgB,CAAC,EAAE,CAAC;+BACS,GAAG,0BAA0B,MAAM,KAAK,IAAI;;8BAE7C,GAAG,wDAAwD,EAAE,CAAC,SAAS;;;;;;;;EAQnG,QAAQ,EAAE,CAAC;IACX,OAAO,eAAe,EAAE,CAAC,KAAK;4BACJ,EAAE,CAAC,IAAI;;;;qCAIE,GAAG;;4BAEZ,GAAG,mDAAmD,EAAE,CAAC,EAAE;;;EAGrF,IAAI;MACA,CAAC;AACP,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;QACrC,CAAC,CAAC,uBAAuB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAC9C,CAAC,CAAC,KAAK,GAAG,0BAA0B,CAAC;IACvC,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,SAAS,GAAG,YAAY,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACxF,OAAO,YAAY,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,GAAG,0BAA0B,GAAG,UAAU,GAAG;WACvF,cAAc,CAAC,IAAI,CAAC;;cAEjB,GAAG;;eAEF,GAAG;;;yBAGO,GAAG;WACjB,GAAG;;;;;;;;;;;qBAWO,SAAS;;;;;sCAKQ,GAAG;;aAE5B,GAAG;;oBAEI,GAAG,cAAc,GAAG,WAAW,GAAG;;;;;;;;;EASpD,IAAI;wBACkB,GAAG;;2BAEA,GAAG,kBAAkB,GAAG,WAAW,GAAG;;;;;;;;;YASrD,WAAW;gBACP,GAAG;mBACA,GAAG;;;;;;;;;;;;;0BAaI,GAAG;;;;;WAKlB,MAAM;EACf,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAS,uBAAuB,CAAC,IAAa;IAC5C,MAAM,CAAC,GAAG,IAAqD,CAAC;IAChE,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,IAAI,EAAE,CAAC;IAC9B,MAAM,SAAS,GAAG,WAAW,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAClF,MAAM,IAAI,GAAG,CAAC,CAAC,WAAW,IAAI,CAAC,CAAC;IAChC,OAAO,IAAI,GAAG,8BAA8B,SAAS,kBAAkB,IAAI,GAAG,CAAC;AACjF,CAAC;AAED,oEAAoE;AACpE,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,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,MAAM,CAAC,CAAC;IACjE,MAAM,YAAY,GAAG,KAAK;SACvB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,gBAAgB,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,wBAAwB,CACvG;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO;;;;;;;;;;;oBAWW,WAAW;;;;;;;;;;IAU3B,GAAG,IAAI,IAAI,CAAC,SAAS,CAAC,aAAa,CAAC;;;;;0DAKkB,YAAY,CAAC,QAAQ,mBAAmB,YAAY,CAAC,UAAU,aAAa,YAAY,CAAC,IAAI;;;;wBAI/H,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;;;gCAGnB,KAAK;;;;SAI5B,GAAG,YAAY,SAAS;;;;;gBAKjB,GAAG;;;;gBAIH,GAAG;;;;;;;;;;;;;;;;4BAgBS,GAAG,UAAU,GAAG;;;;eAI7B,GAAG,YAAY,GAAG;;;mCAGE,GAAG,UAAU,GAAG;;;;;sCAKb,GAAG,UAAU,GAAG;;;;kDAIJ,GAAG,UAAU,GAAG;;kBAEhD,GAAG;;;;;kBAKH,GAAG;;;;;;;oBAOD,GAAG;;qBAEF,GAAG;;oBAEJ,GAAG,iEAAiE,GAAG;;;;oBAIvE,GAAG;;;;;;;;;uCASgB,GAAG,UAAU,GAAG;;kBAErC,GAAG;;;;;;;;;;oBAUD,GAAG,iEAAiE,GAAG;;;;;;;;EAQzF,GAAG;;;;;;;qBAOgB,GAAG,0CAA0C,GAAG,UAAU,GAAG;yCACzC,GAAG,UAAU,GAAG;;;6BAG5B,GAAG,UAAU,GAAG;;;;;;;sCAOP,GAAG,0BAA0B,GAAG,UAAU,GAAG;EACjF,YAAY;gBACE,GAAG;;CAElB,CAAC;AACF,CAAC;AAED,MAAM,OAAO,GAAwB;IACnC,QAAQ;IACR,WAAW,EAAE,SAAS;IACtB,aAAa;IACb,UAAU;CACX,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG;IACrC,GAAG;IACH,QAAQ;IACR,cAAc;IACd,uBAAuB;IACvB,SAAS;IACT,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,qBAAqB,GAAkB;IAClD,QAAQ,EAAE,iBAAiB;IAC3B,aAAa,EAAE,KAAK;IACpB,oBAAoB,EAAE,4CAA4C;IAClE,YAAY,EAAE,qCAAqC;IACnD,IAAI;CACL,CAAC"}

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

@@ -0,0 +1,46 @@
+/**
+ * emit-straightline-php.ts — PHP 直線 emitter（bc#41 / Layer A2）。
+ *
+ * typed-codegen.md §4.1 の PHP 具体化。language-neutral な {@link StraightlineDialect} を実装し、
+ * component ごとに「plan を `Primitives::runPlan` で直呼び・各ノードの port 評価と handler 呼びを
+ * 直線展開した」ネイティブ PHP クロージャを emit する。生成コードは A0（#36）の PHP primitive 面
+ * （`BehaviorContracts\Primitives::*`）＋`runPlan`＋`unproducedValue`＋注入 handler を直呼びし、
+ * **`Behavior::runBehavior` の tree-walk（nodeKind ディスパッチ / evalPorts / 汎用 output 評価）を
+ * 経由しない**（AC1）。
+ *
+ * A1 の TS oracle との決定的な違い（AC2 — PHP は脱解釈が目的）:
+ *   TS emitter は全式ノードを A0 primitive の直呼びへ落とす（primitive 内 `evaluate` が意味論の
+ *   SSoT を持つ）。PHP はそれに加えて **単純式をネイティブ化**して式ツリーの `evaluate()` 解釈を
+ *   単純式で消す（Phase B の脱解釈利得の実体）:
+ *     - `ref`/`refOpt` → 生成モジュール内の native helper（`$__sl_ref`/`$__sl_ref_opt`）が
+ *       PHP array/stdClass アクセスで直接解決する（`ExprEval::evaluate` を経由しない）。
+ *       Failure code（UNKNOWN_BINDING/NULL_REF/MISSING_PROP/TYPE_MISMATCH/INVALID_NODE）は
+ *       ExprEval::evalRef と完全一致（同一意味論を native 実装で再現）。
+ *     - `concat`  → native helper（`$__sl_concat`）が各 part を native 評価した値配列を php の `.` で
+ *       結合する。part の型検査（string のみ）・arity（min 2）・INVALID_NODE も ExprEval::concat と一致。
+ *     - string/bool/null のむき出しリテラル → その PHP リテラルを直接 emit（`evaluate` は scalar を
+ *       素通しするだけなので値等価。範囲/有限性検査が要る bare number は evalExpr SSoT に委譲）。
+ *   overflow/短絡系（`add`/`sub`/`mul`/`div`/`mod`/`neg`/`and`/`or`/`not`/`cond`/`coalesce`/
+ *   `eq`/`ne`/`lt`/`le`/`gt`/`ge`/`len`/`int`/`float`/`obj`/`arr`）は fail-closed 意味論（INT_OVERFLOW /
+ *   PRECISION_LOSS / MOD_ZERO / 短絡未評価 / code-point 順 等）のため A0 primitive SSoT を呼ぶ。
+ *   単純式を primitive(evaluate 経由) に丸投げしないのが本 issue の要件（native-emit を pin する）。
+ *
+ * ロード形（emit-php.ts と同じ idiom）: PHP に「モジュール」概念は無いため、生成ファイルは
+ * **require の戻り値**として stdClass（EXPECTED_SPEC_VERSIONS / IR_FINGERPRINT / COMPONENT_NAMES /
+ * IR / bind）を返す。native helper・primitive クラス名・各 component クロージャは変数（`$__P` /
+ * `$__sl_*` / `$componentFns`）として綴じ、トップレベルシンボルを一切定義しない（同一プロセスで
+ * 複数の生成モジュールを衝突なく require できる）。primitive の静的呼びは PHP の可変クラス名
+ * （`$__P::add(...)`）で行うので、生成式は runtimeImport の namespace に依存しない（emitExpr は
+ * context-free で {@link buildComponentPlan} の seam から呼べる）。
+ *
+ * スコープ（A2 = A1 と同じ read hot path）: `componentRef` ＋ `cond` ＋ 単純 Expression Port。
+ * `map`/`batched`/`concurrency`（A3）・hydration（A4）は {@link emitStraightlineModule} の
+ * {@link assertStraightlineSupported} が LOUD reject（fail-closed — AC4）。
+ */
+import type { EmitterPlugin } from "./core.js";
+/**
+ * phpStraightlineEmitter — 言語識別子 `"php-straightline"` の emitter plugin。
+ * 既存の `php`（リテラル焼き込み・runBehavior 委譲）と併存する additive な第2モード。
+ */
+export declare const phpStraightlineEmitter: EmitterPlugin;
+//# sourceMappingURL=emit-straightline-php.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-php.d.ts","sourceRoot":"","sources":["../../src/generator/emit-straightline-php.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AAsgB5D;;;GAGG;AACH,eAAO,MAAM,sBAAsB,EAAE,aAMpC,CAAC"}