@specverse/engines 6.42.3 → 6.60.1

package/dist/realize/per-action-recovery.js

@@ -0,0 +1,268 @@
+/**
+ * Per-action recovery tier — Phase 5a of
+ * `2026-05-14-PER-ACTION-RECOVERY-TIER.md`.
+ *
+ * The realize per-owner runner has three tiers:
+ *
+ *   Tier 1 — whole-owner emit (`per-owner-emit.ts`). One LLM call emits
+ *            the entire `<Owner>.ai.ts`. Works for the easy majority.
+ *   Tier 2 — THIS MODULE. When Tier 1 fails (structural-preservation
+ *            reject, parse failure, LLM decline), instead of dropping
+ *            straight to a γ-stub file, retry the owner ACTION-BY-ACTION
+ *            — but with the FULL owner context in every call.
+ *   Tier 3 — γ-stub placeholder file (`renderFallbackPlaceholderFile`
+ *            in `per-owner-runner.ts`). Only reached if Tier 2 produced
+ *            ZERO real bodies.
+ *
+ * "Wide context, narrow output" — the distinction from the abandoned
+ * Realize L3 per-action emit: L3 gave the LLM NARROW context (one
+ * action's steps, no class shell, no capabilities) and it starved
+ * (29/94 actions came back as throw-stubs). This keeps the FULL owner
+ * context — every action's [PRE-BAKED] scaffolding, the target runtime,
+ * manifest capabilities, V2 clients, cross-service operation surface —
+ * in every per-action call, and only narrows the OUTPUT to one function
+ * body. The reasoning load per call drops (the model holds one function
+ * in its head, not all of them) without re-introducing context
+ * starvation.
+ *
+ * Motivation (Phase 3 trial, 2026-05-14): the quant-fidelity gap between
+ * Ollama (Q4 GGUF) and MarrBox (FP8) — SAME model, Qwen3-Coder-30B-A3B
+ * — localized to the single hardest owner (`ReactiveStateEngine`, 7
+ * interrelated functions). The Mac Mini's 24GB RAM structurally pins it
+ * at ~Q4 (Q6/Q8 don't fit), so "run a better quant" is closed. This
+ * makes the TASK easier instead.
+ *
+ * Phase 5a scope: declaration-order emission, full owner SCAFFOLDING
+ * context per call. Phase 5b adds dependency-ordered emission +
+ * already-emitted siblings shown as concrete code. Phase 5c adds the
+ * action-count cap telemetry.
+ */
+import { generateText } from 'ai';
+import { assembleSystemWithSkills } from '../ai/prompt-runner.js';
+import { resolveProviderId } from '../ai/model-resolver.js';
+import { buildPerActionScaffolding, } from './per-owner-emit.js';
+import { validateLlmOutputPreservesConventions, DEFAULT_STRUCTURAL_DROP_THRESHOLD, } from './structural-validator.js';
+import { extractTypescriptBlock } from './owner-emit-shared.js';
+/** Reserved words that can't appear as `export async function <name>`.
+ *  Mirrors `per-owner-runner.ts`'s TS_RESERVED_WORDS — kept local to
+ *  avoid a cross-module dependency for a 5a-scoped concern; a future
+ *  cleanup could hoist both to `owner-emit-shared.ts`. */
+const TS_RESERVED_WORDS = new Set([
+    'delete', 'class', 'function', 'return', 'void', 'typeof',
+    'instanceof', 'new', 'this', 'throw', 'try', 'catch', 'finally',
+    'if', 'else', 'for', 'while', 'do', 'switch', 'case', 'break',
+    'continue', 'default', 'var', 'let', 'const', 'in', 'of',
+    'async', 'await', 'yield', 'export', 'import', 'from',
+    'true', 'false', 'null', 'undefined', 'static', 'public',
+    'private', 'protected', 'interface', 'type', 'enum', 'extends',
+    'implements', 'super',
+]);
+/**
+ * Render a γ-stub for a single action whose per-action recovery emit
+ * failed. The error string says "per-action recovery fell back" — the
+ * stub-completeness verifier's GAMMA_FALLBACK_RE matches this (STUB001,
+ * auto-reemit-eligible), distinct from an LLM's own "not implemented"
+ * throw (STUB002, surface-spec-gap). Reserved-word action names get the
+ * re-export-rename treatment so the file still parses.
+ */
+function renderActionGammaStub(actionName) {
+    const body = `  throw new Error("${actionName}: not implemented (per-action recovery fell back)");`;
+    if (TS_RESERVED_WORDS.has(actionName)) {
+        const safe = `${actionName}_`;
+        return (`/** Placeholder — per-action recovery failed for ${actionName}. */\n` +
+            `async function ${safe}(_input: any): Promise<any> {\n${body}\n}\n` +
+            `export { ${safe} as ${actionName} };`);
+    }
+    return (`/** Placeholder — per-action recovery failed for ${actionName}. */\n` +
+        `export async function ${actionName}(_input: any): Promise<any> {\n${body}\n}`);
+}
+/** Collect the pre-baked snippets for ONE action (its matched steps). */
+function prebakedForAction(action) {
+    const out = [];
+    action.perStepMatches.forEach((match, idx) => {
+        if (match?.matched && match.call) {
+            out.push({
+                stepNum: idx + 1,
+                stepText: action.spec.steps[idx] ?? '',
+                snippet: match.call,
+            });
+        }
+    });
+    return out;
+}
+/** esbuild parse-check a single per-action emission as a TS module.
+ *  Returns null on success, an error string on failure. */
+async function parseCheckModule(code) {
+    try {
+        const esbuild = await import('esbuild');
+        await esbuild.transform(code, { loader: 'ts', format: 'esm', target: 'es2022' });
+        return null;
+    }
+    catch (err) {
+        return err?.errors?.[0]?.text || err?.message || 'unknown parse error';
+    }
+}
+/** Build the per-action recovery user prompt. Full owner context +
+ *  "emit ONLY this one action". */
+function buildActionPrompt(request, target) {
+    const allScaffolding = buildPerActionScaffolding(request.actions);
+    const targetScaffolding = buildPerActionScaffolding([target]);
+    const parts = [];
+    parts.push(`You are recovering ONE function for the \`${request.ownerName}\` ` +
+        `${request.ownerKind}. The whole-owner emit for it could not be ` +
+        `produced coherently, so each action is being emitted on its own — ` +
+        `but with the FULL owner context below. Emit ONLY the one action ` +
+        `named in EMIT TARGET.`);
+    parts.push('');
+    parts.push(`## TARGET RUNTIME`);
+    parts.push(request.targetRuntime ?? 'Node.js (backend)');
+    parts.push('');
+    parts.push(`## AVAILABLE CAPABILITIES`);
+    parts.push(request.availableCapabilities ?? '(none — only `input: any` is available)');
+    parts.push('');
+    parts.push(`## AVAILABLE CLIENTS`);
+    parts.push(request.availableClients ?? '(none)');
+    parts.push('');
+    parts.push(`## AVAILABLE SPEC SURFACE (other services / controllers — call these, don't reimplement)`);
+    parts.push(request.availableSpecSurface ?? '(no other services / controllers in this spec)');
+    parts.push('');
+    parts.push(`## ALL ACTIONS ON THIS OWNER (context — do NOT emit these)`);
+    parts.push(allScaffolding);
+    parts.push('');
+    parts.push(`## EMIT TARGET: ${target.actionName}`);
+    parts.push(targetScaffolding);
+    parts.push('');
+    parts.push(`Emit ONLY \`export async function ${target.actionName}(...)\` inside one ` +
+        '```typescript code block.');
+    parts.push(`- Put any imports the function needs on single lines ABOVE it.`);
+    parts.push(`- Honour every [PRE-BAKED] snippet verbatim — do not paraphrase.`);
+    parts.push(`- Do NOT emit the other actions; they are shown for context only.`);
+    return parts.join('\n');
+}
+/** Pull single-line \`import ...\` statements out of an emission. The
+ *  realize-emit skill convention emits single-line imports; multi-line
+ *  imports (rare) are left in place and ride the post-emit tsc verifier. */
+function extractImports(code) {
+    const imports = [];
+    const restLines = [];
+    for (const line of code.split('\n')) {
+        if (/^\s*import\s.+;?\s*$/.test(line) && line.includes('from')) {
+            imports.push(line.trim());
+        }
+        else {
+            restLines.push(line);
+        }
+    }
+    return { imports, rest: restLines.join('\n').trim() };
+}
+/** Assemble the final `<Owner>.ai.ts` from per-action results: hoisted
+ *  + deduped imports, then each function (real emission or γ-stub). */
+function assembleOwnerFile(ownerName, perAction) {
+    const allImports = new Set();
+    const bodies = [];
+    for (const entry of perAction) {
+        if (entry.real) {
+            const { imports, rest } = extractImports(entry.code);
+            for (const imp of imports)
+                allImports.add(imp);
+            bodies.push(rest);
+        }
+        else {
+            bodies.push(entry.code);
+        }
+    }
+    const header = [
+        '/**',
+        ` * ${ownerName} — Per-owner AI behaviors (per-action recovery)`,
+        ' *',
+        ' * The whole-owner emit failed; each action below was emitted on its',
+        ' * own with full owner context (Tier 2). Actions that still could not',
+        ' * be emitted carry a γ-stub — the post-emit feedback loop will retry',
+        ' * those (they are STUB001, auto-reemit-eligible).',
+        ' *',
+        ` * Generated: ${new Date().toISOString().split('T')[0]}`,
+        ' */',
+    ].join('\n');
+    const importBlock = [...allImports].sort().join('\n');
+    return [header, '', importBlock, importBlock ? '' : null, bodies.join('\n\n'), '']
+        .filter((s) => s !== null)
+        .join('\n');
+}
+/**
+ * Build a {@link PerActionRecoveryFn}. The returned function loops over
+ * the owner's actions, emits each with full owner context, validates
+ * (structural + parse), γ-stubs the ones that fail, and assembles the
+ * owner file. Returns null only when EVERY action γ-stubbed (caller
+ * then uses the Tier 3 placeholder, which is equivalent).
+ */
+export function createPerActionRecovery(opts = {}) {
+    const timeoutMs = opts.timeoutMs ?? 5 * 60_000;
+    const skills = opts.skills ?? ['realize-emit'];
+    const providerId = resolveProviderId();
+    const systemPrompt = assembleSystemWithSkills('', providerId, skills);
+    const envThreshold = process.env.SPECVERSE_REALIZE_STRUCTURAL_DROP_THRESHOLD;
+    const dropThreshold = opts.dropThreshold ??
+        (envThreshold !== undefined && !Number.isNaN(parseFloat(envThreshold))
+            ? parseFloat(envThreshold)
+            : DEFAULT_STRUCTURAL_DROP_THRESHOLD);
+    const callLlm = opts.generateOverride ??
+        (async (system, user) => {
+            const result = await Promise.race([
+                generateText({
+                    model: opts.model,
+                    prompt: user,
+                    ...(system ? { system } : {}),
+                }),
+                new Promise((_, reject) => setTimeout(() => reject(new Error('per-action recovery timeout')), timeoutMs)),
+            ]);
+            return result.text ?? '';
+        });
+    return async (request) => {
+        const perAction = [];
+        let realCount = 0;
+        for (const action of request.actions) {
+            const user = buildActionPrompt(request, action);
+            let emitted = null;
+            try {
+                const text = await callLlm(systemPrompt, user);
+                emitted = extractTypescriptBlock(text);
+            }
+            catch {
+                emitted = null;
+            }
+            if (!emitted || emitted.trim().length === 0) {
+                perAction.push({ actionName: action.actionName, code: renderActionGammaStub(action.actionName), real: false });
+                continue;
+            }
+            // Gate 1: parse check.
+            const parseError = await parseCheckModule(emitted);
+            if (parseError !== null) {
+                if (process.env.SPECVERSE_VERBOSE) {
+                    console.error(`   ✗ per-action recovery parse-failed for ${request.ownerName}.${action.actionName}: ${parseError.slice(0, 160)}`);
+                }
+                perAction.push({ actionName: action.actionName, code: renderActionGammaStub(action.actionName), real: false });
+                continue;
+            }
+            // Gate 2: structural preservation (this action's snippets only).
+            const structural = validateLlmOutputPreservesConventions(emitted, prebakedForAction(action), dropThreshold);
+            if (structural.ok === false) {
+                if (process.env.SPECVERSE_VERBOSE) {
+                    console.error(`   ✗ per-action recovery structural-failed for ${request.ownerName}.${action.actionName}`);
+                }
+                perAction.push({ actionName: action.actionName, code: renderActionGammaStub(action.actionName), real: false });
+                continue;
+            }
+            perAction.push({ actionName: action.actionName, code: emitted, real: true });
+            realCount++;
+        }
+        // Zero real bodies → no better than the Tier 3 placeholder. Return
+        // null so the caller uses its own (reserved-word-safe) placeholder.
+        if (realCount === 0)
+            return null;
+        if (process.env.SPECVERSE_VERBOSE) {
+            console.error(`   ↻ per-action recovery for ${request.ownerName}: ${realCount}/${request.actions.length} action(s) recovered`);
+        }
+        return assembleOwnerFile(request.ownerName, perAction);
+    };
+}
+//# sourceMappingURL=per-action-recovery.js.map

package/dist/realize/per-action-recovery.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"per-action-recovery.js","sourceRoot":"","sources":["../../src/realize/per-action-recovery.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAElC,OAAO,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,EACL,yBAAyB,GAG1B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EACL,qCAAqC,EACrC,iCAAiC,GAElC,MAAM,2BAA2B,CAAC;AACnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AA8BhE;;;0DAG0D;AAC1D,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAS;IACxC,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ;IACzD,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS;IAC/D,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO;IAC7D,UAAU,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI;IACxD,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM;IACrD,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ;IACxD,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS;IAC9D,YAAY,EAAE,OAAO;CACtB,CAAC,CAAC;AAEH;;;;;;;GAOG;AACH,SAAS,qBAAqB,CAAC,UAAkB;IAC/C,MAAM,IAAI,GACR,sBAAsB,UAAU,sDAAsD,CAAC;IACzF,IAAI,iBAAiB,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,GAAG,UAAU,GAAG,CAAC;QAC9B,OAAO,CACL,oDAAoD,UAAU,QAAQ;YACtE,kBAAkB,IAAI,kCAAkC,IAAI,OAAO;YACnE,YAAY,IAAI,OAAO,UAAU,KAAK,CACvC,CAAC;IACJ,CAAC;IACD,OAAO,CACL,oDAAoD,UAAU,QAAQ;QACtE,yBAAyB,UAAU,kCAAkC,IAAI,KAAK,CAC/E,CAAC;AACJ,CAAC;AAED,yEAAyE;AACzE,SAAS,iBAAiB,CAAC,MAA4B;IACrD,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,MAAM,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;QAC3C,IAAI,KAAK,EAAE,OAAO,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACjC,GAAG,CAAC,IAAI,CAAC;gBACP,OAAO,EAAE,GAAG,GAAG,CAAC;gBAChB,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE;gBACtC,OAAO,EAAE,KAAK,CAAC,IAAI;aACpB,CAAC,CAAC;QACL,CAAC;IACH,CAAC,CAAC,CAAC;IACH,OAAO,GAAG,CAAC;AACb,CAAC;AAED;2DAC2D;AAC3D,KAAK,UAAU,gBAAgB,CAAC,IAAY;IAC1C,IAAI,CAAC;QACH,MAAM,OAAO,GAAG,MAAM,MAAM,CAAC,SAAS,CAAC,CAAC;QACxC,MAAM,OAAO,CAAC,SAAS,CAAC,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;QACjF,OAAO,IAAI,CAAC;IACd,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,OAAO,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,IAAI,GAAG,EAAE,OAAO,IAAI,qBAAqB,CAAC;IACzE,CAAC;AACH,CAAC;AAED;mCACmC;AACnC,SAAS,iBAAiB,CACxB,OAA4B,EAC5B,MAA4B;IAE5B,MAAM,cAAc,GAAG,yBAAyB,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAClE,MAAM,iBAAiB,GAAG,yBAAyB,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,KAAK,CAAC,IAAI,CACR,6CAA6C,OAAO,CAAC,SAAS,KAAK;QACnE,GAAG,OAAO,CAAC,SAAS,6CAA6C;QACjE,oEAAoE;QACpE,kEAAkE;QAClE,uBAAuB,CACxB,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IAChC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,IAAI,mBAAmB,CAAC,CAAC;IACzD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACxC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,qBAAqB,IAAI,yCAAyC,CAAC,CAAC;IACvF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACnC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,IAAI,QAAQ,CAAC,CAAC;IACjD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,0FAA0F,CAAC,CAAC;IACvG,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,oBAAoB,IAAI,gDAAgD,CAAC,CAAC;IAC7F,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,4DAA4D,CAAC,CAAC;IACzE,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,mBAAmB,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;IACnD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAC9B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CACR,qCAAqC,MAAM,CAAC,UAAU,qBAAqB;QAC3E,2BAA2B,CAC5B,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;IAC7E,KAAK,CAAC,IAAI,CAAC,kEAAkE,CAAC,CAAC;IAC/E,KAAK,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;IAChF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED;;4EAE4E;AAC5E,SAAS,cAAc,CAAC,IAAY;IAClC,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QACpC,IAAI,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACN,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;AACxD,CAAC;AAED;uEACuE;AACvE,SAAS,iBAAiB,CACxB,SAAiB,EACjB,SAAqE;IAErE,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,KAAK,IAAI,SAAS,EAAE,CAAC;QAC9B,IAAI,KAAK,CAAC,IAAI,EAAE,CAAC;YACf,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACrD,KAAK,MAAM,GAAG,IAAI,OAAO;gBAAE,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC/C,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1B,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG;QACb,KAAK;QACL,MAAM,SAAS,iDAAiD;QAChE,IAAI;QACJ,sEAAsE;QACtE,uEAAuE;QACvE,uEAAuE;QACvE,oDAAoD;QACpD,IAAI;QACJ,iBAAiB,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE;QACzD,KAAK;KACN,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACb,MAAM,WAAW,GAAG,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,OAAO,CAAC,MAAM,EAAE,EAAE,EAAE,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;SAC/E,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC;SACzB,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAuC,EAAE;IAEzC,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,CAAC,GAAG,MAAM,CAAC;IAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,CAAC;IAC/C,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;IACvC,MAAM,YAAY,GAAG,wBAAwB,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAEtE,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,2CAA2C,CAAC;IAC7E,MAAM,aAAa,GACjB,IAAI,CAAC,aAAa;QAClB,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;YACpE,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC;YAC1B,CAAC,CAAC,iCAAiC,CAAC,CAAC;IAEzC,MAAM,OAAO,GACX,IAAI,CAAC,gBAAgB;QACrB,CAAC,KAAK,EAAE,MAAc,EAAE,IAAY,EAAmB,EAAE;YACvD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;gBAChC,YAAY,CAAC;oBACX,KAAK,EAAE,IAAI,CAAC,KAAM;oBAClB,MAAM,EAAE,IAAI;oBACZ,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;iBAC9B,CAAC;gBACF,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAC/B,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC,EAAE,SAAS,CAAC,CAC9E;aACF,CAAC,CAAC;YACH,OAAO,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QAC3B,CAAC,CAAC,CAAC;IAEL,OAAO,KAAK,EAAE,OAA4B,EAA0B,EAAE;QACpE,MAAM,SAAS,GAA+D,EAAE,CAAC;QACjF,IAAI,SAAS,GAAG,CAAC,CAAC;QAElB,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YAChD,IAAI,OAAO,GAAkB,IAAI,CAAC;YAClC,IAAI,CAAC;gBACH,MAAM,IAAI,GAAG,MAAM,OAAO,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC;gBAC/C,OAAO,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC;YAAC,MAAM,CAAC;gBACP,OAAO,GAAG,IAAI,CAAC;YACjB,CAAC;YAED,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC5C,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,qBAAqB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC/G,SAAS;YACX,CAAC;YAED,uBAAuB;YACvB,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,OAAO,CAAC,CAAC;YACnD,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;gBACxB,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;oBAClC,OAAO,CAAC,KAAK,CAAC,6CAA6C,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC,UAAU,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpI,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,qBAAqB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC/G,SAAS;YACX,CAAC;YAED,iEAAiE;YACjE,MAAM,UAAU,GAAG,qCAAqC,CACtD,OAAO,EACP,iBAAiB,CAAC,MAAM,CAAC,EACzB,aAAa,CACd,CAAC;YACF,IAAI,UAAU,CAAC,EAAE,KAAK,KAAK,EAAE,CAAC;gBAC5B,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;oBAClC,OAAO,CAAC,KAAK,CAAC,kDAAkD,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC,CAAC;gBAC5G,CAAC;gBACD,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,qBAAqB,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC/G,SAAS;YACX,CAAC;YAED,SAAS,CAAC,IAAI,CAAC,EAAE,UAAU,EAAE,MAAM,CAAC,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,SAAS,EAAE,CAAC;QACd,CAAC;QAED,mEAAmE;QACnE,oEAAoE;QACpE,IAAI,SAAS,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAEjC,IAAI,OAAO,CAAC,GAAG,CAAC,iBAAiB,EAAE,CAAC;YAClC,OAAO,CAAC,KAAK,CAAC,gCAAgC,OAAO,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,sBAAsB,CAAC,CAAC;QACjI,CAAC;QACD,OAAO,iBAAiB,CAAC,OAAO,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC;IACzD,CAAC,CAAC;AACJ,CAAC"}

package/dist/realize/per-owner-emit.d.ts

@@ -29,7 +29,7 @@
  * `specverse-self/assets/` is searched.
  */
 import { runPrompt as runPromptFn, type PromptYaml } from '../ai/prompt-runner.js';
-import type { ActionSpec, MatchResult } from './per-action-emitter.js';
+import { type ActionSpec, type MatchResult } from './owner-emit-shared.js';
 /** One action collected for the owner. Includes step-match results
  *  so the structural validator and the prompt's per-action scaffolding
  *  can both reference them. */
@@ -110,61 +110,10 @@ export declare function createRealizeOwnerLlmEmit(opts?: CreateRealizeOwnerLlmEm
  *  tier search: @specverse/assets package path, engine-bundled assets,
  *  worktree-sibling specverse-self/assets. */
 export declare function loadRealizeOwnerPromptFromFallback(): PromptYaml | null;
-/**
- * Map a target-runtime label to its forbidden-API symbol set.
- *
- * Runtime targets are stated at the top of the realize-owner prompt
- * (`targetRuntime` slot) so the LLM knows up-front which APIs are off
- * limits. This function returns the same set the validator enforces.
- * Targets supported:
- *   - "Node.js (backend)" (default) — browser globals are forbidden
- *   - "Browser (DOM)" — Node builtins are forbidden
- *   - Unknown / unset — treat as Node.js backend (the realize default)
- *
- * Returning an empty array means "no runtime-API rejection" — the
- * caller skips this check entirely (test fixtures use this).
- */
-export declare function forbiddenApisForRuntime(targetRuntime?: string): string[];
-/**
- * Scan the LLM-emitted file contents for forbidden runtime symbols.
- * Returns the list of distinct violations found (truncated to avoid
- * runaway output). Empty array = no violations.
- *
- * The scan is intentionally simple: substring presence test. False
- * positives are rare (these symbols don't legitimately appear in
- * backend code or vice versa) and the consequence of a false positive
- * is one surgical retry — cheap.
- */
-export declare function checkForbiddenRuntimeApis(fileContents: string, targetRuntime?: string): string[];
-/**
- * Build the user-prefix string for the surgical-retry call after a
- * runtime-API violation. Frames the violation concretely so the LLM
- * understands exactly which symbols to remove.
- */
-export declare function buildRuntimeViolationCorrectionMessage(violations: string[], targetRuntime?: string): string;
-/**
- * Detect sibling-.ai import violations in the LLM-emitted file.
- * Each .ai.ts file is supposed to be self-contained; importing
- * another `<Sibling>.ai` produces TS2307 because realize emits
- * per-action exports only, not aggregate types. The prompt's rule
- * 2 forbids this; this validator hard-enforces it the same way
- * `checkForbiddenRuntimeApis` enforces rule 3.
- *
- * Returns the list of distinct violating import specifiers
- * (e.g. `'./GameStateService.ai'`). Empty array = no violations.
- */
-export declare function checkSiblingAiImports(fileContents: string): string[];
-/**
- * Detect relative imports that are missing a `.js` extension.
- * NodeNext module resolution requires explicit extensions for relative
- * specifiers (`./foo`, `../bar`). Bare-package imports (`@prisma/client`)
- * don't need extensions; only relative paths.
- *
- * Returns the list of offending specifiers (e.g. `'../services/Auth'`).
- */
-export declare function checkMissingJsExtensions(fileContents: string): string[];
-/** Surgical-retry correction message for missing-.js violations. */
-export declare function buildExtensionCorrectionMessage(violations: string[]): string;
-/** Surgical-retry correction message for sibling-.ai violations. */
-export declare function buildSiblingAiCorrectionMessage(violations: string[]): string;
+/** Build the per-action scaffolding block. One section per action,
+ *  listing its steps with [PRE-BAKED] / [WRITE] markers. Exported for
+ *  reuse by the realize-context-snapshot module (Phase 3 of
+ *  2026-05-13-VERIFIER-DIAGNOSTIC-TREATMENT-SPLIT) — the reemit prompt
+ *  embeds the same scaffolding the original per-owner prompt used. */
+export declare function buildPerActionScaffolding(actions: CollectedOwnerAction[]): string;
 //# sourceMappingURL=per-owner-emit.d.ts.map

package/dist/realize/per-owner-emit.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"per-owner-emit.d.ts","sourceRoot":"","sources":["../../src/realize/per-owner-emit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAOH,OAAO,EAEL,SAAS,IAAI,WAAW,EAGxB,KAAK,UAAU,EAGhB,MAAM,wBAAwB,CAAC;AAMhC,OAAO,KAAK,EACV,UAAU,EACV,WAAW,EACZ,MAAM,yBAAyB,CAAC;AAIjC;;+BAE+B;AAC/B,MAAM,WAAW,oBAAoB;IACnC,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;IACnB,sCAAsC;IACtC,IAAI,EAAE,UAAU,CAAC;IACjB;wEACoE;IACpE,cAAc,EAAE,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC,CAAC;CAC3C;AAED,gEAAgE;AAChE,MAAM,WAAW,mBAAmB;IAClC,4DAA4D;IAC5D,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,YAAY,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9C,kEAAkE;IAClE,SAAS,EAAE,GAAG,CAAC;IACf,iEAAiE;IACjE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAChC,iEAAiE;IACjE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;sEAEkE;IAClE,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;iDAI6C;IAC7C,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B;;;;kEAI8D;IAC9D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;oCAEoC;AACpC,MAAM,MAAM,cAAc,GAAG,CAC3B,OAAO,EAAE,mBAAmB,KACzB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;AAE5B,qDAAqD;AACrD,MAAM,WAAW,gCAAgC;IAC/C,sCAAsC;IACtC,iBAAiB,CAAC,EAAE,OAAO,WAAW,CAAC;IACvC,sEAAsE;IACtE,kBAAkB,CAAC,EAAE,MAAM,UAAU,CAAC;IACtC;2CACuC;IACvC,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC9D,qDAAqD;IACrD,KAAK,CAAC,EAAE,GAAG,CAAC;IACZ,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,GAAE,gCAAqC,GAC1C,cAAc,CA4KhB;AAwBD;;;8CAG8C;AAC9C,wBAAgB,kCAAkC,IAAI,UAAU,GAAG,IAAI,CA8DtE;AA6JD;;;;;;;;;;;;;GAaG;AACH,wBAAgB,uBAAuB,CAAC,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAmBxE;AAED;;;;;;;;;GASG;AACH,wBAAgB,yBAAyB,CACvC,YAAY,EAAE,MAAM,EACpB,aAAa,CAAC,EAAE,MAAM,GACrB,MAAM,EAAE,CAOV;AAED;;;;GAIG;AACH,wBAAgB,sCAAsC,CACpD,UAAU,EAAE,MAAM,EAAE,EACpB,aAAa,CAAC,EAAE,MAAM,GACrB,MAAM,CAcR;AAYD;;;;;;;;;;GAUG;AACH,wBAAgB,qBAAqB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE,CASpE;AAED;;;;;;;GAOG;AACH,wBAAgB,wBAAwB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,EAAE,CAavE;AAED,oEAAoE;AACpE,wBAAgB,+BAA+B,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAc5E;AAED,oEAAoE;AACpE,wBAAgB,+BAA+B,CAAC,UAAU,EAAE,MAAM,EAAE,GAAG,MAAM,CAiB5E"}
+{"version":3,"file":"per-owner-emit.d.ts","sourceRoot":"","sources":["../../src/realize/per-owner-emit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA6BG;AAOH,OAAO,EAEL,SAAS,IAAI,WAAW,EAGxB,KAAK,UAAU,EAGhB,MAAM,wBAAwB,CAAC;AAMhC,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,WAAW,EACjB,MAAM,wBAAwB,CAAC;AAUhC;;+BAE+B;AAC/B,MAAM,WAAW,oBAAoB;IACnC,yDAAyD;IACzD,UAAU,EAAE,MAAM,CAAC;IACnB,sCAAsC;IACtC,IAAI,EAAE,UAAU,CAAC;IACjB;wEACoE;IACpE,cAAc,EAAE,KAAK,CAAC,WAAW,GAAG,IAAI,CAAC,CAAC;CAC3C;AAED,gEAAgE;AAChE,MAAM,WAAW,mBAAmB;IAClC,4DAA4D;IAC5D,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,YAAY,GAAG,SAAS,GAAG,OAAO,CAAC;IAC9C,kEAAkE;IAClE,SAAS,EAAE,GAAG,CAAC;IACf,iEAAiE;IACjE,OAAO,EAAE,oBAAoB,EAAE,CAAC;IAChC,iEAAiE;IACjE,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B;;sEAEkE;IAClE,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAC/B;;;;iDAI6C;IAC7C,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B;;;;kEAI8D;IAC9D,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,qEAAqE;IACrE,cAAc,CAAC,EAAE,MAAM,CAAC;CACzB;AAED;;oCAEoC;AACpC,MAAM,MAAM,cAAc,GAAG,CAC3B,OAAO,EAAE,mBAAmB,KACzB,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;AAE5B,qDAAqD;AACrD,MAAM,WAAW,gCAAgC;IAC/C,sCAAsC;IACtC,iBAAiB,CAAC,EAAE,OAAO,WAAW,CAAC;IACvC,sEAAsE;IACtE,kBAAkB,CAAC,EAAE,MAAM,UAAU,CAAC;IACtC;2CACuC;IACvC,kBAAkB,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,OAAO,CAAC,MAAM,GAAG,IAAI,CAAC,CAAC;IAC9D,qDAAqD;IACrD,KAAK,CAAC,EAAE,GAAG,CAAC;IACZ,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0CAA0C;IAC1C,oBAAoB,CAAC,EAAE,OAAO,CAAC;CAChC;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,yBAAyB,CACvC,IAAI,GAAE,gCAAqC,GAC1C,cAAc,CA+JhB;AAwBD;;;8CAG8C;AAC9C,wBAAgB,kCAAkC,IAAI,UAAU,GAAG,IAAI,CA8DtE;AA0FD;;;;sEAIsE;AACtE,wBAAgB,yBAAyB,CAAC,OAAO,EAAE,oBAAoB,EAAE,GAAG,MAAM,CA2BjF"}