behavior-contracts 0.2.0 → 0.2.2

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

@@ -0,0 +1,501 @@
+import { emitDocLiteral, emitDocLiteralCompact } from "./literal.js";
+import { emitStraightlineModule, } from "./straightline.js";
+/** primitive クラスを保持する生成コード内変数（可変クラス名で静的呼び — namespace 非依存）。 */
+const P = "$__P";
+/**
+ * plan runtime クラス（`Plan::runPlan`）を保持する変数。runPlan は式演算子 primitive ではなく
+ * runtime top-level の実行 SSoT（TS oracle が top-level `runPlan` を import するのと同じ位置づけ）。
+ */
+const PLAN = "$__plan";
+/** ref/refOpt/concat の native 化 helper（生成モジュール内クロージャ変数）。 */
+const REF = "$__sl_ref";
+const REF_OPT = "$__sl_ref_opt";
+const CONCAT = "$__sl_concat";
+/**
+ * scope 式（生成コード内）。scope は「input + それまでの ok 結果」のその時点のスナップで
+ * あり、runBehavior の baseScope() と同じく呼び時点の $results を読む（決定的）。
+ */
+const SCOPE = "$scope()";
+/**
+ * map 本体（over/guard/ports）の要素 scope 式（生成コード内）。runBehavior の map と同じく
+ * `array_merge($scope(), [$as => $el])` を per-element で組む（生成コードは map arm 内で
+ * `$mscope` クロージャをローカル定義し、port/guard 式はそれを呼ぶ）。
+ */
+const MAP_SCOPE = "$mscope()";
+/** IR リテラルを PHP 式として emit（primitive 被演算子・path 用の単一行リテラル）。 */
+function lit(node) {
+    return emitDocLiteralCompact(node, "php");
+}
+/** args 配列を要素ごとに IR リテラルへ落として `, ` 連結（二項/単項 primitive 用）。 */
+function argList(arg) {
+    return arg.map((a) => lit(a)).join(", ");
+}
+const OP_EMITTERS = {
+    // リテラルラッパ（int は文字列, float は number）— 範囲/有限性検査は primitive SSoT。
+    int: (arg, s) => `${P}::intLit(${lit(arg)}, ${s})`,
+    float: (arg, s) => `${P}::floatLit(${lit(arg)}, ${s})`,
+    // 構築（fields/elements は未評価 IR）
+    obj: (arg, s) => `${P}::obj(${lit(arg)}, ${s})`,
+    arr: (arg, s) => `${P}::arr(${lit(arg)}, ${s})`,
+    // 数値（二項は [a,b]・単項は [a]）
+    add: (arg, s) => `${P}::add(${argList(arg)}, ${s})`,
+    sub: (arg, s) => `${P}::sub(${argList(arg)}, ${s})`,
+    mul: (arg, s) => `${P}::mul(${argList(arg)}, ${s})`,
+    neg: (arg, s) => `${P}::neg(${argList(arg)}, ${s})`,
+    div: (arg, s) => `${P}::div(${argList(arg)}, ${s})`,
+    mod: (arg, s) => `${P}::mod(${argList(arg)}, ${s})`,
+    // 比較（二項）
+    eq: (arg, s) => `${P}::eq(${argList(arg)}, ${s})`,
+    ne: (arg, s) => `${P}::ne(${argList(arg)}, ${s})`,
+    lt: (arg, s) => `${P}::lt(${argList(arg)}, ${s})`,
+    le: (arg, s) => `${P}::le(${argList(arg)}, ${s})`,
+    gt: (arg, s) => `${P}::gt(${argList(arg)}, ${s})`,
+    ge: (arg, s) => `${P}::ge(${argList(arg)}, ${s})`,
+    // bool/null（短絡: 被演算子は未評価 IR で渡す — primitive 内 evaluate が短絡）
+    and: (arg, s) => `${P}::and(${argList(arg)}, ${s})`,
+    or: (arg, s) => `${P}::or(${argList(arg)}, ${s})`,
+    not: (arg, s) => `${P}::not(${argList(arg)}, ${s})`,
+    coalesce: (arg, s) => `${P}::coalesce(${argList(arg)}, ${s})`,
+    cond: (arg, s) => {
+        const a = arg;
+        return `${P}::cond(${lit(a[0])}, ${lit(a[1])}, ${lit(a[2])}, ${s})`;
+    },
+    len: (arg, s) => `${P}::len(${argList(arg)}, ${s})`,
+};
+/**
+ * emitExpr — Expression IR ノードを PHP の評価式へ落とす（A2 = 脱解釈）。context-free。
+ *
+ * NATIVE-IZE（式ツリーの evaluate 解釈を単純式で消す — AC2）:
+ *   - `ref`/`refOpt` → native helper 呼び（`$__sl_ref(path, scope)`）。path は静的 array リテラル。
+ *     `ExprEval::evaluate` を経由せず PHP array/stdClass アクセスで直接解決する。
+ *   - `concat`        → native helper 呼び（`$__sl_concat([<各 part を再帰 emit>], scope)`）。
+ *     各 part は再帰的に emitExpr するので、part 内の ref も native になる（純 concat(ref…) は
+ *     evaluate/primitive を一切踏まない）。
+ *   - string/bool/null のむき出しリテラル → PHP リテラル直書き（evaluate は scalar を素通しする
+ *     だけなので値等価。ネイティブ化で primitive 呼びも消える）。
+ *
+ * ROUTE-TO-PRIMITIVE（fail-closed 意味論の SSoT を再実装しない）:
+ *   - overflow/短絡/比較/構築/リテラルラッパ演算子 → {@link OP_EMITTERS}（A0 primitive 直呼び）。
+ *   - bare number（安全整数域・有限性の検査が要る）や未知の形 → `$__P::evalExpr`（同一 SSoT）。
+ *
+ * Portability Guard を通過済み（生成時検査）なので未知 operator はここに来ない。
+ */
+function emitExpr(node, scopeVar) {
+    // むき出しスカラ（string/bool/null）は PHP リテラル直書きで native 化（値等価・primitive 消去）。
+    if (node === null)
+        return "null";
+    if (typeof node === "boolean")
+        return node ? "true" : "false";
+    if (typeof node === "string")
+        return lit(node);
+    if (typeof node === "object" && !Array.isArray(node)) {
+        const keys = Object.keys(node);
+        if (keys.length === 1) {
+            const op = keys[0];
+            const arg = node[op];
+            // ── native 化する単純式（AC2）─────────────────────────────────────────
+            if (op === "ref")
+                return `${REF}(${lit(arg)}, ${scopeVar})`;
+            if (op === "refOpt")
+                return `${REF_OPT}(${lit(arg)}, ${scopeVar})`;
+            if (op === "concat") {
+                const parts = arg.map((p) => emitExpr(p, scopeVar));
+                return `${CONCAT}([${parts.join(", ")}], ${scopeVar})`;
+            }
+            // ── overflow/短絡/比較/構築 → A0 primitive SSoT（fail-closed 意味論）──────
+            const em = OP_EMITTERS[op];
+            if (em)
+                return em(arg, scopeVar);
+        }
+    }
+    // bare number（範囲/有限性検査）・その他 → evaluate SSoT（同一意味論）へ委譲。
+    return `${P}::evalExpr(${lit(node)}, ${scopeVar})`;
+}
+// ── per-node exec 分岐 / component クロージャ / module の綴じ方 ──────────────────
+/** ops リテラル（runPlan に渡す OpSpec[] の PHP array リテラル）を綴じる。 */
+function emitOpsLiteral(plan) {
+    const rows = plan.opsLiteral.map((o) => {
+        const parts = [`'id' => ${lit(o.id)}`, `'parent' => ${o.parent === null ? "null" : String(o.parent)}`];
+        if (o.bindField !== undefined)
+            parts.push(`'bindField' => ${lit(o.bindField)}`);
+        if (o.relationKind !== undefined)
+            parts.push(`'relationKind' => ${lit(o.relationKind)}`);
+        if (o.policy !== undefined)
+            parts.push(`'policy' => ${lit(o.policy)}`);
+        return `            [${parts.join(", ")}],`;
+    });
+    return `[\n${rows.join("\n")}\n        ]`;
+}
+/** map arm の要素 ports リテラル（要素 scope `$mscope()` で評価）。 */
+function emitMapPorts(op) {
+    if (op.ports.length === 0)
+        return "[]";
+    return `[\n${op.ports
+        .map((p) => `                            ${lit(p.name)} => ${p.expr},`)
+        .join("\n")}\n                        ]`;
+}
+/**
+ * emitMapArm — map ノードの直線展開（要素反復・guard skip・per-element/batched handler・into
+ * zip-attach）。Behavior.php の map 分岐を生成 PHP へ直線展開する。op-log 等価のため handler は
+ * runBehavior と同じ ctx（非 batched は bound 付き、batched は無し）・同じ ports 形で呼ぶ。guard は
+ * Primitives::cond（strict-bool SSoT）、into は inline zip-attach（MAP_INTO_ELEMENT_NOT_OBJECT
+ * fail-closed で runBehavior と Failure code 一致）。要素反復は宣言どおり逐次。
+ */
+function emitMapArm(op) {
+    const comp = lit(op.component);
+    const nodeId = lit(op.id);
+    const asKey = lit(op.as);
+    const guardCheck = op.guard === undefined ? "" : `\n                        if (${op.guard} !== true) { continue; }`;
+    const intoTail = op.into === undefined
+        ? "                    return ['ok' => $collected];"
+        : `                    $augmented = [];
+                    $mk = 0;
+                    foreach ($over as $mj => $oel) {
+                        if ($mk < count($keptIdx) && $keptIdx[$mk] === $mj) {
+                            if (!($oel instanceof \\stdClass)) {
+                                $__bhFail::raise('MAP_INTO_ELEMENT_NOT_OBJECT', "map '${op.id}': 'into' requires object elements (element {$mj} is not an object)");
+                            }
+                            $aug = clone $oel;
+                            $aug->{${lit(op.into)}} = $collected[$mk];
+                            $augmented[] = $aug;
+                            $mk++;
+                        } else {
+                            $augmented[] = $oel;
+                        }
+                    }
+                    return ['ok' => $augmented];`;
+    const body = op.batched
+        ? `                    $items = [];
+                    foreach ($over as $mi => $el) {
+                        $mscope = static function () use ($scope, $el): array { return array_merge($scope(), [${asKey} => $el]); };
+                        $mscope; // bound by port/guard exprs${guardCheck}
+                        $items[] = ${emitMapPorts(op)};
+                        $keptIdx[] = $mi;
+                    }
+                    if (count($items) === 0) {
+                        $collected = [];
+                    } else {
+                        if (!isset($handlers[${comp}])) {
+                            $__bhFail::raise('UNKNOWN_COMPONENT', "component '${op.component}' has no handler (fail-closed)");
+                        }
+                        $h = $handlers[${comp}];
+                        $outcome = $h(['items' => $items], ['nodeId' => ${nodeId}, 'component' => ${comp}]);
+                        if (array_key_exists('error', $outcome)) { return $outcome; }
+                        $r = $outcome['ok'];
+                        if (!is_array($r) || !array_is_list($r) || count($r) !== count($items)) {
+                            $__bhFail::raise('MAP_BATCH_RESULT_MISMATCH', "map '${op.id}': batched handler must return a list aligned to items (want " . count($items) . ')');
+                        }
+                        $collected = $r;
+                    }
+${intoTail}`
+        : `                    $collected = [];
+                    if (!isset($handlers[${comp}])) {
+                        $__bhFail::raise('UNKNOWN_COMPONENT', "component '${op.component}' has no handler (fail-closed)");
+                    }
+                    $h = $handlers[${comp}];
+                    foreach ($over as $mi => $el) {
+                        $mscope = static function () use ($scope, $el): array { return array_merge($scope(), [${asKey} => $el]); };
+                        $mscope; // bound by port/guard exprs${guardCheck}
+                        $ports = ${emitMapPorts(op)};
+                        $outcome = $h($ports, ['nodeId' => ${nodeId}, 'component' => ${comp}, 'bound' => $el]);
+                        if (array_key_exists('error', $outcome)) { return $outcome; }
+                        $collected[] = $outcome['ok'];
+                        $keptIdx[] = $mi;
+                    }
+${intoTail}`;
+    return `                if ($i === ${op.index}) {
+                    $over = ${op.over};
+                    if (!is_array($over)) {
+                        $__bhFail::raise('MAP_OVER_NOT_ARRAY', "map '${op.id}': 'over' did not evaluate to an array");
+                    }
+                    $keptIdx = [];
+${body}
+                }`;
+}
+/** 1ノードの exec 分岐本体（index で分岐 — nodeKind ディスパッチではない）。 */
+function emitExecArm(op) {
+    if (op.kind === "cond") {
+        // cond は純 Expression。scope を渡して1式評価（handler は呼ばない）。
+        return `                if ($i === ${op.index}) return ['ok' => ${op.expr}];`;
+    }
+    if (op.kind === "map")
+        return emitMapArm(op);
+    // componentRef: 各 port を名前付き native/primitive 評価 → handler 注入呼び。
+    const portLines = op.ports.length === 0
+        ? "                    $ports = [];"
+        : `                    $ports = [\n${op.ports
+            .map((p) => `                        ${lit(p.name)} => ${p.expr},`)
+            .join("\n")}\n                    ];`;
+    return `                if ($i === ${op.index}) {
+${portLines}
+                    if (!isset($handlers[${lit(op.component)}])) {
+                        $__bhFail::raise('UNKNOWN_COMPONENT', "component '${op.component}' has no handler (fail-closed)");
+                    }
+                    $h = $handlers[${lit(op.component)}];
+                    return $h($ports, ['nodeId' => ${lit(op.id)}, 'component' => ${lit(op.component)}]);
+                }`;
+}
+/** component 名をクロージャキーに使える形へ（決定的・名前一意は DUPLICATE_COMPONENT で保証）。 */
+function sanitize(name) {
+    return name.replace(/[^A-Za-z0-9_]/g, "_");
+}
+/**
+ * emitPlanSpec — plan を `Plan::runPlan(?array $plan, …)` が受ける **PHP array**（stdClass ではない）
+ * として綴じる。Behavior.php の `$planSpec`（`['groups'=>…, 'concurrency'=>…]`）と鏡映。plan 不在は
+ * `null`（1 op = 1 stage の逐次 fallback）。groups は int の list of list（IR リテラルをそのまま）。
+ */
+function emitPlanSpec(plan) {
+    if (plan === null || plan === undefined)
+        return "null";
+    const p = plan;
+    const groups = p.groups === undefined ? "[]" : lit(p.groups);
+    const concurrency = typeof p.concurrency === "number" ? String(p.concurrency) : "1";
+    return `['groups' => ${groups}, 'concurrency' => ${concurrency}]`;
+}
+/**
+ * emitComponentClosure — 1 component の直線クロージャを綴じる。runBehavior の実行フロー
+ * （results 蓄積 + baseScope + runPlan + writeUnproduced + output 評価）を **生成コードに直線
+ * 展開**する（汎用 exec/nodeKind/evalPorts は無い。各 exec 分岐は index で確定・ハードコード）。
+ * native helper（$__sl_*）・primitive クラス名（$__P）・failure クラス（$__bhFail）を `use` で
+ * 捕捉し、handler 注入を受けて1回の実行を driving する。
+ */
+function emitComponentClosure(plan) {
+    const arms = plan.ops.map(emitExecArm).join("\n");
+    const planLiteral = emitPlanSpec(plan.component.plan);
+    const output = emitExpr(plan.component.output, SCOPE);
+    const relationKinds = plan.opsLiteral.map((o) => (o.relationKind === "connection" ? "'connection'" : "null"));
+    return `    ${lit(sanitize(plan.name))} => static function (array $handlers, array $input) use (${P}, ${PLAN}, ${REF}, ${REF_OPT}, ${CONCAT}, $__bhFail): mixed {
+        $ops = ${emitOpsLiteral(plan)};
+        $results = [];
+        $scope = static function () use ($input, &$results): array {
+            return array_merge($input, $results);
+        };
+        $relationKinds = [${relationKinds.join(", ")}];
+        $exec = static function (array $op, mixed $bound) use ($ops, $handlers, $scope, ${P}, ${REF}, ${REF_OPT}, ${CONCAT}, $__bhFail): array {
+            $i = null;
+            foreach ($ops as $k => $o) {
+                if ($o['id'] === $op['id']) { $i = $k; break; }
+            }
+${arms}
+            $__bhFail::raise('UNKNOWN_NODE_KIND', "op '{$op['id']}' has no generated exec arm (fail-closed)");
+        };
+        $wrappedExec = static function (array $op, mixed $bound) use ($exec, &$results): array {
+            $outcome = $exec($op, $bound);
+            if (array_key_exists('ok', $outcome)) {
+                $results[$op['id']] = $outcome['ok'];
+            }
+            return $outcome;
+        };
+        $run = ${PLAN}::runPlan(${planLiteral}, $ops, $wrappedExec);
+        foreach ($run['states'] as $idx => $st) {
+            if ($st !== null && ($st['status'] ?? null) === 'skipped') {
+                $results[$ops[$idx]['id']] = ${P}::unproducedValue($relationKinds[$idx]);
+            }
+        }
+        return ${output};
+    }`;
+}
+function emitComponent(plan, _ctx) {
+    return emitComponentClosure(plan);
+}
+/**
+ * native helper（$__sl_ref/$__sl_ref_opt/$__sl_concat）の生成テキスト。
+ * `ExprEval::evalRef` / `ExprEval::evaluate(concat)` の意味論を native PHP で完全再現する
+ * （evaluate を経由しない = 脱解釈の実体）。Failure code は ExprEval と一致。
+ */
+function emitNativeHelpers() {
+    return `// ── native-ized simple-expression helpers (bc#41 A2 de-interpretation) ──────────────
+// These resolve ref/refOpt/concat by DIRECT php array/stdClass access + '.' concat,
+// WITHOUT the ExprEval interpreter tree-walk (the point of the straight-line path). Their
+// semantics + Failure codes match the ExprEval ref/concat evaluation exactly.
+${REF} = static function (array $path, array $scope) use ($__exprFail): mixed {
+    // == ExprEval::evalRef('ref', ...) の native 版（中間 null は NULL_REF）。
+    if (count($path) === 0) {
+        $__exprFail::raise('INVALID_NODE', 'ref expects a non-empty string path');
+    }
+    foreach ($path as $p) {
+        if (!is_string($p)) {
+            $__exprFail::raise('INVALID_NODE', 'ref expects a non-empty string path');
+        }
+    }
+    $head = $path[0];
+    if (!array_key_exists($head, $scope)) {
+        $__exprFail::raise('UNKNOWN_BINDING', "unknown binding: {$head}");
+    }
+    $cur = $scope[$head];
+    for ($k = 1; $k < count($path); $k++) {
+        $seg = $path[$k];
+        if ($cur === null) {
+            $__exprFail::raise('NULL_REF', "null intermediate at .{$seg}（?. を使う）");
+        }
+        if (!($cur instanceof \\stdClass)) {
+            $__exprFail::raise('TYPE_MISMATCH', "cannot access .{$seg} on " . gettype($cur));
+        }
+        $props = get_object_vars($cur);
+        if (!array_key_exists($seg, $props)) {
+            $__exprFail::raise('MISSING_PROP', "missing property .{$seg}");
+        }
+        $cur = $props[$seg];
+    }
+    return $cur;
+};
+${REF_OPT} = static function (array $path, array $scope) use ($__exprFail): mixed {
+    // == ExprEval::evalRef('refOpt', ...) の native 版（中間 null は null 伝播）。
+    if (count($path) === 0) {
+        $__exprFail::raise('INVALID_NODE', 'refOpt expects a non-empty string path');
+    }
+    foreach ($path as $p) {
+        if (!is_string($p)) {
+            $__exprFail::raise('INVALID_NODE', 'refOpt expects a non-empty string path');
+        }
+    }
+    $head = $path[0];
+    if (!array_key_exists($head, $scope)) {
+        $__exprFail::raise('UNKNOWN_BINDING', "unknown binding: {$head}");
+    }
+    $cur = $scope[$head];
+    for ($k = 1; $k < count($path); $k++) {
+        $seg = $path[$k];
+        if ($cur === null) {
+            return null; // ?. の null 伝播
+        }
+        if (!($cur instanceof \\stdClass)) {
+            $__exprFail::raise('TYPE_MISMATCH', "cannot access .{$seg} on " . gettype($cur));
+        }
+        $props = get_object_vars($cur);
+        if (!array_key_exists($seg, $props)) {
+            $__exprFail::raise('MISSING_PROP', "missing property .{$seg}");
+        }
+        $cur = $props[$seg];
+    }
+    return $cur;
+};
+${CONCAT} = static function (array $parts, array $scope) use ($__exprFail): string {
+    // == ExprEval concat の native 版（n-ary, min 2, string のみ, php '.' で結合）。
+    // parts は emitExpr で各 part を native 評価済みの値配列（part 内 ref も native）。
+    if (count($parts) < 2) {
+        $__exprFail::raise('INVALID_NODE', 'concat expects >= 2 args, got ' . count($parts));
+    }
+    $out = '';
+    foreach ($parts as $p) {
+        if (!is_string($p)) {
+            $__exprFail::raise('TYPE_MISMATCH', 'concat: string のみ（got ' . gettype($p) . '）');
+        }
+        $out .= $p;
+    }
+    return $out;
+};`;
+}
+function emitModule(plans, ctx) {
+    const { fingerprint, specVersions, componentNames, runtimeImport } = ctx;
+    const names = componentNames.map((n) => lit(n)).join(", ");
+    const irLiteral = emitDocLiteral(ctx.ir, "php");
+    const closures = plans.map((p) => emitComponent(p, ctx)).join(",\n");
+    const dispatchArms = plans
+        .map((p) => `                if ($name === ${lit(p.name)}) return ($componentFns[${lit(sanitize(p.name))}])($handlers, $input);`)
+        .join("\n");
+    return `<?php
+
+// GENERATED by behavior-contracts common generator (bc#41, 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#41 A2-php): each
+// component is emitted as a native PHP closure that drives the plan via the runPlan
+// primitive. Simple expressions are NATIVE-IZED (ref/refOpt via direct array/stdClass
+// access, concat via php '.'), removing the ExprEval::evaluate tree-walk for them; only
+// overflow/short-circuit ops route through the A0 Primitives SSoT (#36). It does NOT go
+// through Behavior::runBehavior's tree-walk (no nodeKind dispatch / no evalPorts 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}
+
+declare(strict_types=1);
+
+// Spec versions baked at generation time (fail-closed constant comparison at require).
+$expectedSpecVersions = ['behavior' => ${specVersions.behavior}, 'expression' => ${specVersions.expression}, 'plan' => ${specVersions.plan}];
+
+// FNV-1a 64 fingerprint of the source portable IR (canonical-json discipline, #208).
+$irFingerprint = ${lit(fingerprint)};
+
+// Component names exposed by bind(), in IR declaration order.
+$componentNames = [${names}];
+
+// The portable component-graph IR, embedded as a native literal (for the require-time
+// fingerprint self-check only — the straight-line closures do NOT walk it).
+$ir = ${irLiteral};
+
+// Require-time fail-closed checks (#208 prepared-artifact discipline).
+$runtimeSpecVersions = [
+    'behavior' => \\${runtimeImport}\\SpecVersions::BEHAVIOR,
+    'expression' => \\${runtimeImport}\\SpecVersions::EXPRESSION,
+    'plan' => \\${runtimeImport}\\SpecVersions::PLAN,
+];
+foreach ($expectedSpecVersions as $specKey => $specWant) {
+    $specGot = $runtimeSpecVersions[$specKey] ?? null;
+    if ($specGot !== $specWant) {
+        throw new \\RuntimeException("behavior-contracts generated module: spec-version skew for '{$specKey}' (generated={$specWant}, runtime={$specGot}) — regenerate against this runtime (fail-closed)");
+    }
+}
+$gotFingerprint = \\${runtimeImport}\\Fingerprint::componentGraph($ir);
+if ($gotFingerprint !== $irFingerprint) {
+    throw new \\RuntimeException("behavior-contracts generated module: IR fingerprint mismatch (baked={$irFingerprint}, embedded literal={$gotFingerprint}) — the generated code was modified or corrupted (fail-closed)");
+}
+
+// Bound symbols used by the straight-line closures (primitive class + failure classes as
+// variable class-names, so the closures stay namespace-agnostic).
+${P} = '\\${runtimeImport}\\Primitives';
+${PLAN} = '\\${runtimeImport}\\Plan';
+$__bhFail = '\\${runtimeImport}\\BehaviorFailure';
+$__exprFail = '\\${runtimeImport}\\ExprFailure';
+
+${emitNativeHelpers()}
+
+// ── straight-line component closures (no runBehavior tree-walk) ─────────────────────
+$componentFns = [
+${closures},
+];
+
+// bind — inject handlers (boundary injection; catalog name → implementation) and get one
+// executor closure per component. Each callable runs the straight-line closure for that
+// component (plan via runPlan primitive + 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.
+return (object) [
+    'EXPECTED_SPEC_VERSIONS' => $expectedSpecVersions,
+    'IR_FINGERPRINT' => $irFingerprint,
+    'COMPONENT_NAMES' => $componentNames,
+    'IR' => $ir,
+    'bind' => static function (array $handlers) use ($componentNames, $componentFns, $__bhFail): array {
+        $bound = [];
+        foreach ($componentNames as $name) {
+            $bound[$name] = static function (array $input = []) use ($name, $handlers, $componentFns, $__bhFail): mixed {
+${dispatchArms}
+                $__bhFail::raise('UNKNOWN_ENTRY', "component '{$name}' not found in this module (fail-closed)");
+            };
+        }
+        return $bound;
+    },
+];
+`;
+}
+const dialect = {
+    emitExpr,
+    mapScopeVar: MAP_SCOPE,
+    emitComponent,
+    emitModule,
+};
+function emit(ctx) {
+    return emitStraightlineModule(ctx, dialect, SCOPE);
+}
+/**
+ * phpStraightlineEmitter — 言語識別子 `"php-straightline"` の emitter plugin。
+ * 既存の `php`（リテラル焼き込み・runBehavior 委譲）と併存する additive な第2モード。
+ */
+export const phpStraightlineEmitter = {
+    language: "php-straightline",
+    fileExtension: ".php",
+    defaultRuntimeImport: "BehaviorContracts",
+    filenameHint: "behaviors.straightline.generated.php",
+    emit,
+};
+//# sourceMappingURL=emit-straightline-php.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-php.js","sourceRoot":"","sources":["../../src/generator/emit-straightline-php.ts"],"names":[],"mappings":"AAwCA,OAAO,EAAE,cAAc,EAAE,qBAAqB,EAAE,MAAM,cAAc,CAAC;AACrE,OAAO,EACL,sBAAsB,GAIvB,MAAM,mBAAmB,CAAC;AAE3B,+DAA+D;AAC/D,MAAM,CAAC,GAAG,MAAM,CAAC;AACjB;;;GAGG;AACH,MAAM,IAAI,GAAG,SAAS,CAAC;AACvB,4DAA4D;AAC5D,MAAM,GAAG,GAAG,WAAW,CAAC;AACxB,MAAM,OAAO,GAAG,eAAe,CAAC;AAChC,MAAM,MAAM,GAAG,cAAc,CAAC;AAE9B;;;GAGG;AACH,MAAM,KAAK,GAAG,UAAU,CAAC;AACzB;;;;GAIG;AACH,MAAM,SAAS,GAAG,WAAW,CAAC;AAE9B,6DAA6D;AAC7D,SAAS,GAAG,CAAC,IAAa;IACxB,OAAO,qBAAqB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC5C,CAAC;AAED,6DAA6D;AAC7D,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;AAUD,MAAM,WAAW,GAA8B;IAC7C,+DAA+D;IAC/D,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAClD,KAAK,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACtD,8BAA8B;IAC9B,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAC/C,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAC/C,wBAAwB;IACxB,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,SAAS;IACT,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACjD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACjD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACjD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACjD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACjD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACjD,4DAA4D;IAC5D,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACjD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IACnD,QAAQ,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;IAC7D,IAAI,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;QACf,MAAM,CAAC,GAAG,GAAgB,CAAC;QAC3B,OAAO,GAAG,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC;IACtE,CAAC;IACD,GAAG,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,SAAS,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG;CACpD,CAAC;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,SAAS,QAAQ,CAAC,IAAa,EAAE,QAAgB;IAC/C,sEAAsE;IACtE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9D,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC;IAE/C,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACrD,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,iEAAiE;YACjE,IAAI,EAAE,KAAK,KAAK;gBAAE,OAAO,GAAG,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,QAAQ,GAAG,CAAC;YAC5D,IAAI,EAAE,KAAK,QAAQ;gBAAE,OAAO,GAAG,OAAO,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,QAAQ,GAAG,CAAC;YACnE,IAAI,EAAE,KAAK,QAAQ,EAAE,CAAC;gBACpB,MAAM,KAAK,GAAI,GAAiB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC;gBACnE,OAAO,GAAG,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,QAAQ,GAAG,CAAC;YACzD,CAAC;YACD,kEAAkE;YAClE,MAAM,EAAE,GAAG,WAAW,CAAC,EAAE,CAAC,CAAC;YAC3B,IAAI,EAAE;gBAAE,OAAO,EAAE,CAAC,GAAG,EAAE,QAAQ,CAAC,CAAC;QACnC,CAAC;IACH,CAAC;IACD,uDAAuD;IACvD,OAAO,GAAG,CAAC,cAAc,GAAG,CAAC,IAAI,CAAC,KAAK,QAAQ,GAAG,CAAC;AACrD,CAAC;AAED,yEAAyE;AAEzE,2DAA2D;AAC3D,SAAS,cAAc,CAAC,IAAmB;IACzC,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QACrC,MAAM,KAAK,GAAG,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,eAAe,CAAC,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvG,IAAI,CAAC,CAAC,SAAS,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,kBAAkB,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QAChF,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACzF,IAAI,CAAC,CAAC,MAAM,KAAK,SAAS;YAAE,KAAK,CAAC,IAAI,CAAC,eAAe,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvE,OAAO,gBAAgB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;IAC9C,CAAC,CAAC,CAAC;IACH,OAAO,MAAM,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC;AAC5C,CAAC;AAED,wDAAwD;AACxD,SAAS,YAAY,CAAC,EAA4C;IAChE,IAAI,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACvC,OAAO,MAAM,EAAE,CAAC,KAAK;SAClB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,+BAA+B,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC;SACtE,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAAC;AAC7C,CAAC;AAED;;;;;;GAMG;AACH,SAAS,UAAU,CAAC,EAA4C;IAC9D,MAAM,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;IACzB,MAAM,UAAU,GACd,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,iCAAiC,EAAE,CAAC,KAAK,0BAA0B,CAAC;IACpG,MAAM,QAAQ,GACZ,EAAE,CAAC,IAAI,KAAK,SAAS;QACnB,CAAC,CAAC,kDAAkD;QACpD,CAAC,CAAC;;;;;wFAKgF,EAAE,CAAC,EAAE;;;qCAGxD,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC;;;;;;;iDAOA,CAAC;IAChD,MAAM,IAAI,GAAG,EAAE,CAAC,OAAO;QACrB,CAAC,CAAC;;gHAE0G,KAAK;+DACtD,UAAU;qCACpC,YAAY,CAAC,EAAE,CAAC;;;;;;+CAMN,IAAI;gFAC6B,EAAE,CAAC,SAAS;;yCAEnD,IAAI;0EAC6B,MAAM,oBAAoB,IAAI;;;;kFAItB,EAAE,CAAC,EAAE;;;;EAIrF,QAAQ,EAAE;QACR,CAAC,CAAC;2CACqC,IAAI;4EAC6B,EAAE,CAAC,SAAS;;qCAEnD,IAAI;;gHAEuE,KAAK;+DACtD,UAAU;mCACtC,YAAY,CAAC,EAAE,CAAC;6DACU,MAAM,oBAAoB,IAAI;;;;;EAKzF,QAAQ,EAAE,CAAC;IACX,OAAO,8BAA8B,EAAE,CAAC,KAAK;8BACjB,EAAE,CAAC,IAAI;;uEAEkC,EAAE,CAAC,EAAE;;;EAG1E,IAAI;kBACY,CAAC;AACnB,CAAC;AAED,wDAAwD;AACxD,SAAS,WAAW,CAAC,EAAkB;IACrC,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACvB,oDAAoD;QACpD,OAAO,8BAA8B,EAAE,CAAC,KAAK,qBAAqB,EAAE,CAAC,IAAI,IAAI,CAAC;IAChF,CAAC;IACD,IAAI,EAAE,CAAC,IAAI,KAAK,KAAK;QAAE,OAAO,UAAU,CAAC,EAAE,CAAC,CAAC;IAC7C,iEAAiE;IACjE,MAAM,SAAS,GACb,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;QACnB,CAAC,CAAC,kCAAkC;QACpC,CAAC,CAAC,mCAAmC,EAAE,CAAC,KAAK;aACxC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,2BAA2B,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,GAAG,CAAC;aAClE,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC;IAC9C,OAAO,8BAA8B,EAAE,CAAC,KAAK;EAC7C,SAAS;2CACgC,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;4EACgB,EAAE,CAAC,SAAS;;qCAEnD,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;qDACD,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,oBAAoB,GAAG,CAAC,EAAE,CAAC,SAAS,CAAC;kBAClF,CAAC;AACnB,CAAC;AAED,oEAAoE;AACpE,SAAS,QAAQ,CAAC,IAAY;IAC5B,OAAO,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC;AAC7C,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,IAAa;IACjC,IAAI,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC;IACvD,MAAM,CAAC,GAAG,IAAmD,CAAC;IAC9D,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,OAAO,CAAC,CAAC,WAAW,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;IACpF,OAAO,gBAAgB,MAAM,sBAAsB,WAAW,GAAG,CAAC;AACpE,CAAC;AAED;;;;;;GAMG;AACH,SAAS,oBAAoB,CAAC,IAAmB;IAC/C,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IACtD,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,cAAc,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9G,OAAO,OAAO,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,4DAA4D,CAAC,KAAK,IAAI,KAAK,GAAG,KAAK,OAAO,KAAK,MAAM;iBAC5H,cAAc,CAAC,IAAI,CAAC;;;;;4BAKT,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC;0FACsC,CAAC,KAAK,GAAG,KAAK,OAAO,KAAK,MAAM;;;;;EAKxH,IAAI;;;;;;;;;;iBAUW,IAAI,aAAa,WAAW;;;+CAGE,CAAC;;;iBAG/B,MAAM;MACjB,CAAC;AACP,CAAC;AAED,SAAS,aAAa,CAAC,IAAmB,EAAE,IAAiB;IAC3D,OAAO,oBAAoB,CAAC,IAAI,CAAC,CAAC;AACpC,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB;IACxB,OAAO;;;;EAIP,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+BH,OAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EA+BP,MAAM;;;;;;;;;;;;;;GAcL,CAAC;AACJ,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,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,cAAc,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACrE,MAAM,YAAY,GAAG,KAAK;SACvB,GAAG,CACF,CAAC,CAAC,EAAE,EAAE,CACJ,iCAAiC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,2BAA2B,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,wBAAwB,CACvH;SACA,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO;;;;;;;;;;;;;oBAaW,WAAW;;;;;yCAKU,YAAY,CAAC,QAAQ,qBAAqB,YAAY,CAAC,UAAU,eAAe,YAAY,CAAC,IAAI;;;mBAGvH,GAAG,CAAC,WAAW,CAAC;;;qBAGd,KAAK;;;;QAIlB,SAAS;;;;sBAIK,aAAa;wBACX,aAAa;kBACnB,aAAa;;;;;;;;sBAQT,aAAa;;;;;;;EAOjC,CAAC,SAAS,aAAa;EACvB,IAAI,SAAS,aAAa;iBACX,aAAa;mBACX,aAAa;;EAE9B,iBAAiB,EAAE;;;;EAInB,QAAQ;;;;;;;;;;;;;;;;;EAiBR,YAAY;;;;;;;CAOb,CAAC;AACF,CAAC;AAED,MAAM,OAAO,GAAwB;IACnC,QAAQ;IACR,WAAW,EAAE,SAAS;IACtB,aAAa;IACb,UAAU;CACX,CAAC;AAEF,SAAS,IAAI,CAAC,GAAgB;IAC5B,OAAO,sBAAsB,CAAC,GAAG,EAAE,OAAO,EAAE,KAAK,CAAC,CAAC;AACrD,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAkB;IACnD,QAAQ,EAAE,kBAAkB;IAC5B,aAAa,EAAE,MAAM;IACrB,oBAAoB,EAAE,mBAAmB;IACzC,YAAY,EAAE,sCAAsC;IACpD,IAAI;CACL,CAAC"}

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

@@ -0,0 +1,36 @@
+/**
+ * emit-straightline-python.ts — Python 直線 emitter（bc#40 / Layer A2）。
+ *
+ * typed-codegen.md §4.1 の Python 具体化。language-neutral な {@link StraightlineDialect} を実装し、
+ * component ごとに「plan を `run_plan` primitive で直呼び・各ノードの port 評価と handler 呼びを
+ * 直線展開した」ネイティブ **python** 関数を emit する。生成コードは `run_plan` ＋注入 handler ＋
+ * A0（#36）の式演算子 primitive（`behavior_contracts.primitives`）を直呼びし、**`run_behavior` の
+ * tree-walk（nodeKind ディスパッチ / eval_ports / 汎用 output 評価）を経由しない**。
+ *
+ * 脱解釈（AC#2 — python 版で最重要）:
+ *   TS emitter は「意味論 SSoT を再実装しない oracle」なので全式を primitive（内部 `evaluate`）へ
+ *   落とすが、**python では単純式を native 化して `evaluate` の解釈を消すのが本 issue の目的**である。
+ *   よって {@link emitExpr} は次で分岐する:
+ *     - `concat` → **native python 文字列結合**（module-local `_sl_concat` — str-only TYPE_MISMATCH
+ *       と arity>=2 を native チェック。`evaluate` の再帰 dispatch を通さない）。
+ *     - `ref` / `refOpt` → **native scope/field アクセス**（module-local `_sl_ref` / `_sl_ref_opt` —
+ *       UNKNOWN_BINDING / NULL_REF / TYPE_MISMATCH / MISSING_PROP を native に静的展開）。
+ *     - スカラリテラル（str/bool/None/int/float。int/float は portability guard 済みで安全域内）→
+ *       **native python リテラル**。
+ *   これらは `evaluate()` も A0 primitive（`cgp.*`）も呼ばない純 native コードで、Failure クラス
+ *   （`ExprFailure`）だけを runtime から借りる（Failure code の SSoT は一本のまま）。
+ *   overflow / 短絡 / fail-closed 意味論を持つ演算子（`add`/`sub`/`mul`/`div`/`mod`/`neg`/`and`/`or`/
+ *   `not`/`coalesce`/`cond`/比較/`obj`/`arr`/`int`/`float`/`len`）は意味論 SSoT のため A0 primitive
+ *   （被演算子は**未評価 IR リテラル**で渡す — 短絡は primitive 内 `evaluate` が保存）へ落とす。
+ *   単純式を primitive/`evaluate` へ丸投げしないことが構造的証明（grep）で pin される。
+ *
+ * go/rust/php は別 A2 issue で同じ {@link StraightlineDialect} 枠に乗る。
+ */
+import type { EmitterPlugin } from "./core.js";
+/**
+ * pythonStraightlineEmitter — 言語識別子 `"python-straightline"` の emitter plugin。
+ * 既存の `python`（リテラル焼き込み・endpoint 3-literal → run_behavior）と併存する additive な
+ * 第2モード（単純式を native 化し `evaluate` 解釈を消す脱解釈経路 — typed-codegen.md §4.1）。
+ */
+export declare const pythonStraightlineEmitter: EmitterPlugin;
+//# sourceMappingURL=emit-straightline-python.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"emit-straightline-python.d.ts","sourceRoot":"","sources":["../../src/generator/emit-straightline-python.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,OAAO,KAAK,EAAe,aAAa,EAAE,MAAM,WAAW,CAAC;AA8b5D;;;;GAIG;AACH,eAAO,MAAM,yBAAyB,EAAE,aAMvC,CAAC"}