@specverse/engines 6.53.1 → 6.63.0

package/dist/realize/post-emit-verify/verifiers/stub-completeness.d.ts

@@ -0,0 +1,127 @@
+/**
+ * Stub-completeness verifier — detects placeholder/stub bodies in
+ * emitted `.ai.ts` files and reports them as VerifyErrors so the
+ * existing feedback runner re-emits real bodies.
+ *
+ * Why this exists:
+ *   The tsc verifier catches code that DOESN'T COMPILE. It says nothing
+ *   about code that compiles but ships no behavior — the dominant
+ *   failure mode for smaller/open LLMs on per-owner emit:
+ *     - Engine γ-stubs (LLM declined → fallback placeholder file)
+ *     - LLM-emitted throw stubs ("not implemented", "TODO: ...")
+ *     - LLM-emitted trivial returns (`return null as any`)
+ *
+ *   Empirical at 2026-05-13:
+ *     - idle-meta Ollama: 58% real-LLM fill, 80 tsc errors → 0 tsc
+ *       errors looks clean but 42% of bodies are stubs.
+ *     - idle-meta MarrBox: 69% real-LLM fill, 40 → ? tsc errors,
+ *       31% bodies still stubs.
+ *
+ *   Reporting stubs as VerifyErrors lets the feedback runner re-emit
+ *   them with a targeted prompt. The existing rollback machinery
+ *   prevents regressions if the LLM can't do better.
+ *
+ * Design:
+ *   - Regex-only — no TS compiler API import. The `.ai.ts` files have
+ *     a narrow shape: top-level `export async function NAME(...):
+ *     Promise<X> { ... }` declarations. Brace-balanced extraction with
+ *     a single line scanner is enough.
+ *   - Conservative: ONLY flags single-statement bodies that match
+ *     stub patterns. A real function body with a stub-shaped throw
+ *     inside a conditional is NOT flagged.
+ *   - Severity `warning` not `error` — these don't break the build,
+ *     but the feedback runner counts them as errors-to-fix.
+ *
+ * Initial release: `enabledByDefault: false` — opt in via
+ * `SPECVERSE_REALIZE_POST_VERIFY_ENABLE=stub-completeness`. Once the
+ * empirical hit-rate is measured we flip default-on.
+ */
+import type { PostEmitVerifier } from '../types.js';
+/** Stub error codes — surfaced to the feedback prompt as the verifier
+ *  code; the LLM doesn't see them directly but they appear in the
+ *  audit sidecar + logs. */
+export declare const STUB_CODES: {
+    readonly GAMMA_FALLBACK: "STUB001";
+    readonly LLM_THROW: "STUB002";
+    readonly TRIVIAL_RETURN: "STUB003";
+    readonly EMPTY_BODY: "STUB004";
+    readonly MISPLACED_BRACE: "STUB005";
+};
+/**
+ * Find every top-level `export async function NAME(...): Promise<X> {`
+ * declaration in a file and return its name + body + start-line.
+ *
+ * Brace counting handles nested blocks and template-literal expression
+ * holes. We don't try to parse strings/regexes/comments precisely; the
+ * narrow shape of `.ai.ts` files makes this safe in practice (each
+ * function is independent and bodies don't contain `}` in odd places
+ * at the start of a line at depth 0).
+ */
+interface ExtractedFunction {
+    name: string;
+    body: string;
+    /** 1-based line number of the `export async function` declaration. */
+    declLine: number;
+    /** 1-based line number of the first body line (after the opening `{`). */
+    bodyStartLine: number;
+    /** 1-based line number of the closing `}` that ends the body. */
+    endLine: number;
+}
+export declare function extractAsyncFunctions(source: string): ExtractedFunction[];
+/**
+ * Strip line + block comments and blank lines, then trim.
+ * Used to normalize bodies before stub-pattern matching.
+ */
+export declare function stripCommentsAndBlanks(body: string): string;
+export interface StubMatch {
+    kind: 'gamma-fallback' | 'llm-throw' | 'trivial-return' | 'empty' | 'misplaced-brace';
+    code: string;
+    /** For 'misplaced-brace': a sample of the orphan code that follows
+     *  the misplaced `}`. Surfaced to the LLM in the reemit prompt so it
+     *  knows exactly which lines were displaced. */
+    orphanPreview?: string;
+}
+/**
+ * Detect the "misplaced `}`" emission pattern surfaced by marrbox on
+ * `GameConditionController.loadGameData` (2026-05-14). When the LLM
+ * emits a stray `}` right after the [PRE-BAKED] comment block, the
+ * brace-walker (correctly) treats it as the function's end. The
+ * function body classifies as `empty`, but the steps that were meant
+ * to be inside the body are now orphan top-level code:
+ *
+ *   export async function loadGameData(_input: any): Promise<any> {
+ *     // [PRE-BAKED] Step 1: ...
+ *     // TODO: ...
+ *     }                              ← misplaced
+ *     // [WRITE] Step 2: ...         ← orphan
+ *     const v3BaseUrl = ...;         ← orphan
+ *     return { ... };                ← orphan, tsc TS1108
+ *
+ * The plain STUB004 message ("empty body") gives the LLM no clue why
+ * its previous emission was wrong; the reemit typically repeats the
+ * same mistake. STUB005's message names the specific shape so the
+ * LLM can correct the brace placement.
+ *
+ * Heuristic: between `fn.endLine + 1` and `nextDeclLine - 1` (or EOF
+ * if no next function), strip comments + blanks; if any non-trivial
+ * line remains AND we see at least one of:
+ *   - `// [WRITE]` or `// [PRE-BAKED]` marker (these belong INSIDE
+ *     function bodies; their presence at top level is diagnostic)
+ *   - a top-level `return` statement (illegal TS — TS1108)
+ *   - a top-level `const`/`let`/`var` declaration that isn't followed
+ *     by `export`/`function` (i.e. not a module-level binding)
+ * → it's misplaced-brace orphan code.
+ *
+ * Returns a preview of the first ~5 orphan lines, or `null` if not
+ * misplaced-brace.
+ */
+export declare function detectMisplacedBrace(source: string, fn: ExtractedFunction, nextDeclLine: number | null): string | null;
+/**
+ * Classify a function body as a stub (or not). Conservative: requires
+ * the body to be a single-statement match to avoid false positives on
+ * real bodies that happen to contain a throw deep inside a conditional.
+ */
+export declare function classifyBody(body: string): StubMatch | null;
+export declare const STUB_COMPLETENESS_VERIFIER: PostEmitVerifier;
+export {};
+//# sourceMappingURL=stub-completeness.d.ts.map

package/dist/realize/post-emit-verify/verifiers/stub-completeness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"stub-completeness.d.ts","sourceRoot":"","sources":["../../../../src/realize/post-emit-verify/verifiers/stub-completeness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAIH,OAAO,KAAK,EACV,gBAAgB,EAIjB,MAAM,aAAa,CAAC;AAErB;;4BAE4B;AAC5B,eAAO,MAAM,UAAU;;;;;;CAMb,CAAC;AAQX;;;;;;;;;GASG;AACH,UAAU,iBAAiB;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,EAAE,MAAM,CAAC;IACb,sEAAsE;IACtE,QAAQ,EAAE,MAAM,CAAC;IACjB,0EAA0E;IAC1E,aAAa,EAAE,MAAM,CAAC;IACtB,iEAAiE;IACjE,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAwFzE;AAED;;;GAGG;AACH,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQ3D;AAaD,MAAM,WAAW,SAAS;IACxB,IAAI,EAAE,gBAAgB,GAAG,WAAW,GAAG,gBAAgB,GAAG,OAAO,GAAG,iBAAiB,CAAC;IACtF,IAAI,EAAE,MAAM,CAAC;IACb;;oDAEgD;IAChD,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,EAAE,EAAE,iBAAiB,EACrB,YAAY,EAAE,MAAM,GAAG,IAAI,GAC1B,MAAM,GAAG,IAAI,CA8Df;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAwB3D;AAsDD,eAAO,MAAM,0BAA0B,EAAE,gBAuFxC,CAAC"}

package/dist/realize/post-emit-verify/verifiers/stub-completeness.js

@@ -0,0 +1,423 @@
+/**
+ * Stub-completeness verifier — detects placeholder/stub bodies in
+ * emitted `.ai.ts` files and reports them as VerifyErrors so the
+ * existing feedback runner re-emits real bodies.
+ *
+ * Why this exists:
+ *   The tsc verifier catches code that DOESN'T COMPILE. It says nothing
+ *   about code that compiles but ships no behavior — the dominant
+ *   failure mode for smaller/open LLMs on per-owner emit:
+ *     - Engine γ-stubs (LLM declined → fallback placeholder file)
+ *     - LLM-emitted throw stubs ("not implemented", "TODO: ...")
+ *     - LLM-emitted trivial returns (`return null as any`)
+ *
+ *   Empirical at 2026-05-13:
+ *     - idle-meta Ollama: 58% real-LLM fill, 80 tsc errors → 0 tsc
+ *       errors looks clean but 42% of bodies are stubs.
+ *     - idle-meta MarrBox: 69% real-LLM fill, 40 → ? tsc errors,
+ *       31% bodies still stubs.
+ *
+ *   Reporting stubs as VerifyErrors lets the feedback runner re-emit
+ *   them with a targeted prompt. The existing rollback machinery
+ *   prevents regressions if the LLM can't do better.
+ *
+ * Design:
+ *   - Regex-only — no TS compiler API import. The `.ai.ts` files have
+ *     a narrow shape: top-level `export async function NAME(...):
+ *     Promise<X> { ... }` declarations. Brace-balanced extraction with
+ *     a single line scanner is enough.
+ *   - Conservative: ONLY flags single-statement bodies that match
+ *     stub patterns. A real function body with a stub-shaped throw
+ *     inside a conditional is NOT flagged.
+ *   - Severity `warning` not `error` — these don't break the build,
+ *     but the feedback runner counts them as errors-to-fix.
+ *
+ * Initial release: `enabledByDefault: false` — opt in via
+ * `SPECVERSE_REALIZE_POST_VERIFY_ENABLE=stub-completeness`. Once the
+ * empirical hit-rate is measured we flip default-on.
+ */
+import { existsSync, readdirSync, readFileSync, statSync } from 'fs';
+import { join, relative } from 'path';
+/** Stub error codes — surfaced to the feedback prompt as the verifier
+ *  code; the LLM doesn't see them directly but they appear in the
+ *  audit sidecar + logs. */
+export const STUB_CODES = {
+    GAMMA_FALLBACK: 'STUB001', // engine wrote the placeholder file
+    LLM_THROW: 'STUB002', // LLM emitted "throw not implemented"
+    TRIVIAL_RETURN: 'STUB003', // LLM emitted `return null|undefined|{}|[]`
+    EMPTY_BODY: 'STUB004', // body is whitespace/comments only
+    MISPLACED_BRACE: 'STUB005', // empty body + orphan top-level code follows
+};
+/** Resolve the behaviors directory tsc + this verifier scan. */
+function resolveBehaviorsDir(ctx) {
+    const sub = ctx.subpath ?? 'backend';
+    return join(ctx.outputDir, sub, 'src', 'behaviors');
+}
+export function extractAsyncFunctions(source) {
+    const lines = source.split('\n');
+    const out = [];
+    // Pattern: line starts (after optional `export ` + `async `) with
+    // `async function NAME(`. We accept `export async function` (the
+    // canonical case) plus the alternate `async function NAME(...){...}`
+    // followed by `export { NAME as ... }` re-export form used for
+    // reserved-word action names in the engine γ-fallback file.
+    const declRe = /^(export\s+)?async\s+function\s+(\w+)\s*\(/;
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        const m = declRe.exec(line);
+        if (!m)
+            continue;
+        const name = m[2];
+        // Walk forward to find the first `{` that opens the body. Skip
+        // anything inside the parameter list / return-type annotation.
+        let openIdx = -1;
+        let parenDepth = 0;
+        let lineCursor = i;
+        let colCursor = m.index + m[0].length; // just past `(`
+        // We've consumed up to the `(` of params; start at depth 1.
+        parenDepth = 1;
+        scanHeader: while (lineCursor < lines.length) {
+            const s = lines[lineCursor];
+            while (colCursor < s.length) {
+                const ch = s[colCursor];
+                if (parenDepth > 0) {
+                    if (ch === '(')
+                        parenDepth++;
+                    else if (ch === ')')
+                        parenDepth--;
+                }
+                else {
+                    // After params closed: look for `{`.
+                    if (ch === '{') {
+                        openIdx = colCursor;
+                        break scanHeader;
+                    }
+                }
+                colCursor++;
+            }
+            lineCursor++;
+            colCursor = 0;
+        }
+        if (openIdx === -1)
+            continue;
+        // Now brace-count forward from just past `{` until we hit the
+        // matching `}`.
+        let depth = 1;
+        let bodyStartLineIdx = lineCursor;
+        let bodyStartColIdx = openIdx + 1;
+        let endLineIdx = -1;
+        let endColIdx = -1;
+        walkBody: for (let li = lineCursor; li < lines.length; li++) {
+            const s = lines[li];
+            const startCol = li === lineCursor ? openIdx + 1 : 0;
+            for (let ci = startCol; ci < s.length; ci++) {
+                const ch = s[ci];
+                if (ch === '{')
+                    depth++;
+                else if (ch === '}') {
+                    depth--;
+                    if (depth === 0) {
+                        endLineIdx = li;
+                        endColIdx = ci;
+                        break walkBody;
+                    }
+                }
+            }
+        }
+        if (endLineIdx === -1)
+            continue; // unbalanced; bail on this fn
+        // Slice the body content (exclusive of the outer braces).
+        let body;
+        if (bodyStartLineIdx === endLineIdx) {
+            body = lines[bodyStartLineIdx].slice(bodyStartColIdx, endColIdx);
+        }
+        else {
+            const first = lines[bodyStartLineIdx].slice(bodyStartColIdx);
+            const middle = lines.slice(bodyStartLineIdx + 1, endLineIdx).join('\n');
+            const last = lines[endLineIdx].slice(0, endColIdx);
+            body = [first, middle, last].filter((x) => x !== '').join('\n');
+        }
+        out.push({
+            name,
+            body,
+            declLine: i + 1,
+            bodyStartLine: bodyStartLineIdx + 1,
+            endLine: endLineIdx + 1,
+        });
+        // Skip past the end so we don't re-scan content inside the body.
+        i = endLineIdx;
+    }
+    return out;
+}
+/**
+ * Strip line + block comments and blank lines, then trim.
+ * Used to normalize bodies before stub-pattern matching.
+ */
+export function stripCommentsAndBlanks(body) {
+    // Block comments first (greedy, multi-line capable).
+    let s = body.replace(/\/\*[\s\S]*?\*\//g, '');
+    // Line comments.
+    s = s.replace(/(^|\n)\s*\/\/[^\n]*/g, (_, p1) => p1 ?? '');
+    // Collapse multiple newlines + trim.
+    s = s.split('\n').map((l) => l.trimEnd()).filter((l) => l.trim() !== '').join('\n').trim();
+    return s;
+}
+// γ-fallback engine placeholders. Two producers:
+//   - per-owner-runner.renderFallbackPlaceholderFile → "(per-owner emit fell back)"
+//   - per-action-recovery.renderActionGammaStub      → "(per-action recovery fell back)"
+// Both are ENGINE placeholders (STUB001, auto-reemit-eligible), NOT the
+// LLM's own "not implemented" throw (STUB002, surface-spec-gap).
+const GAMMA_FALLBACK_RE = /^throw new Error\s*\(\s*["'`].*?not implemented \((?:per-owner emit|per-action recovery) fell back\).*?["'`]\s*\)\s*;?$/s;
+const LLM_THROW_RE = /^throw new Error\s*\(\s*["'`][^"'`]*\b(not\s+implement\w*|not\s+yet|todo|placeholder|stub|requires|fallback|missing|unimplement\w*)\b[^"'`]*["'`]\s*\)\s*;?$/is;
+const TRIVIAL_RETURN_RE = /^return\s+(?:null|undefined|\{\s*\}|\[\s*\])(\s+as\s+\w+)?\s*;?$/s;
+/**
+ * Detect the "misplaced `}`" emission pattern surfaced by marrbox on
+ * `GameConditionController.loadGameData` (2026-05-14). When the LLM
+ * emits a stray `}` right after the [PRE-BAKED] comment block, the
+ * brace-walker (correctly) treats it as the function's end. The
+ * function body classifies as `empty`, but the steps that were meant
+ * to be inside the body are now orphan top-level code:
+ *
+ *   export async function loadGameData(_input: any): Promise<any> {
+ *     // [PRE-BAKED] Step 1: ...
+ *     // TODO: ...
+ *     }                              ← misplaced
+ *     // [WRITE] Step 2: ...         ← orphan
+ *     const v3BaseUrl = ...;         ← orphan
+ *     return { ... };                ← orphan, tsc TS1108
+ *
+ * The plain STUB004 message ("empty body") gives the LLM no clue why
+ * its previous emission was wrong; the reemit typically repeats the
+ * same mistake. STUB005's message names the specific shape so the
+ * LLM can correct the brace placement.
+ *
+ * Heuristic: between `fn.endLine + 1` and `nextDeclLine - 1` (or EOF
+ * if no next function), strip comments + blanks; if any non-trivial
+ * line remains AND we see at least one of:
+ *   - `// [WRITE]` or `// [PRE-BAKED]` marker (these belong INSIDE
+ *     function bodies; their presence at top level is diagnostic)
+ *   - a top-level `return` statement (illegal TS — TS1108)
+ *   - a top-level `const`/`let`/`var` declaration that isn't followed
+ *     by `export`/`function` (i.e. not a module-level binding)
+ * → it's misplaced-brace orphan code.
+ *
+ * Returns a preview of the first ~5 orphan lines, or `null` if not
+ * misplaced-brace.
+ */
+export function detectMisplacedBrace(source, fn, nextDeclLine) {
+    const lines = source.split('\n');
+    const startIdx = fn.endLine; // 1-based endLine → 0-based first line after = endLine
+    const stopIdx = nextDeclLine !== null ? nextDeclLine - 1 : lines.length;
+    if (startIdx >= stopIdx)
+        return null;
+    const range = lines.slice(startIdx, stopIdx);
+    // Look for diagnostic markers.
+    let hasInsideMarker = false;
+    let hasOrphanStatement = false;
+    const orphanLines = [];
+    for (const raw of range) {
+        const trimmed = raw.trim();
+        if (trimmed === '')
+            continue;
+        // Markers that should only appear INSIDE function bodies.
+        if (/^\/\/\s*\[(WRITE|PRE-BAKED|PRE_BAKED)\]/.test(trimmed)) {
+            hasInsideMarker = true;
+            if (orphanLines.length < 5)
+                orphanLines.push(trimmed);
+            continue;
+        }
+        // Module-level legal tokens (skip — not orphan).
+        if (/^(import|export|function|async\s+function|class|interface|type|enum|declare|\/\/|\/\*|\*)/.test(trimmed)) {
+            continue;
+        }
+        if (trimmed.startsWith('*/') || trimmed.startsWith('*'))
+            continue;
+        if (trimmed === '}' || trimmed === '};' || trimmed === ');' || trimmed === '})' || trimmed === '});') {
+            // Stray closers from orphan bodies. Diagnostic, but not by themselves.
+            if (orphanLines.length < 5)
+                orphanLines.push(trimmed);
+            continue;
+        }
+        // Statement-level keywords / patterns that are illegal at module top.
+        if (/^(return|await|if\s*\(|for\s*\(|while\s*\(|switch\s*\(|throw\s|break|continue)/.test(trimmed)) {
+            hasOrphanStatement = true;
+            if (orphanLines.length < 5)
+                orphanLines.push(trimmed);
+            continue;
+        }
+        // Bare `const`/`let`/`var` could be legal module-level, but in the
+        // body of an .ai.ts file (which only contains function declarations)
+        // they are diagnostic. Treat as orphan in conjunction with other
+        // signals — not on their own.
+        if (/^(const|let|var)\s/.test(trimmed)) {
+            if (orphanLines.length < 5)
+                orphanLines.push(trimmed);
+            continue;
+        }
+        // Identifier-followed-by-call (e.g. `gameDataResponse.edges.forEach`)
+        // is also a statement-level pattern, diagnostic when paired with
+        // markers above.
+        if (/^[A-Za-z_$][\w$]*[.[(]/.test(trimmed)) {
+            if (orphanLines.length < 5)
+                orphanLines.push(trimmed);
+            continue;
+        }
+    }
+    if (!hasInsideMarker && !hasOrphanStatement)
+        return null;
+    return orphanLines.join('\n');
+}
+/**
+ * Classify a function body as a stub (or not). Conservative: requires
+ * the body to be a single-statement match to avoid false positives on
+ * real bodies that happen to contain a throw deep inside a conditional.
+ */
+export function classifyBody(body) {
+    const stripped = stripCommentsAndBlanks(body);
+    if (stripped === '') {
+        return { kind: 'empty', code: STUB_CODES.EMPTY_BODY };
+    }
+    // Single-statement check: count semicolons + ensure no control-flow
+    // keywords at the top level. We don't try to detect every multi-
+    // statement function; instead, we use the simplest signal — if the
+    // stripped body matches a single-statement stub regex end-to-end,
+    // it's a stub.
+    if (GAMMA_FALLBACK_RE.test(stripped)) {
+        return { kind: 'gamma-fallback', code: STUB_CODES.GAMMA_FALLBACK };
+    }
+    if (LLM_THROW_RE.test(stripped)) {
+        return { kind: 'llm-throw', code: STUB_CODES.LLM_THROW };
+    }
+    if (TRIVIAL_RETURN_RE.test(stripped)) {
+        return { kind: 'trivial-return', code: STUB_CODES.TRIVIAL_RETURN };
+    }
+    return null;
+}
+/** Render a feedback-prompt-friendly message for a stub match. */
+function messageFor(kind, fnName, orphanPreview) {
+    switch (kind) {
+        case 'gamma-fallback':
+            return (`Function '${fnName}' is a γ-stub placeholder (per-owner emit fell back). ` +
+                `Emit a real implementation per the [PRE-BAKED] action contract in the spec.`);
+        case 'llm-throw':
+            return (`Function '${fnName}' has a placeholder body that throws 'not implemented' ` +
+                `(or similar). Emit a real implementation per the [PRE-BAKED] action contract.`);
+        case 'trivial-return':
+            return (`Function '${fnName}' returns a trivial placeholder (null/undefined/{}). ` +
+                `Emit a real implementation per the [PRE-BAKED] action contract.`);
+        case 'empty':
+            return (`Function '${fnName}' has an empty body. ` +
+                `Emit a real implementation per the [PRE-BAKED] action contract.`);
+        case 'misplaced-brace': {
+            const preview = orphanPreview ? `\nOrphan code sample:\n${orphanPreview}` : '';
+            return (`Function '${fnName}' has an empty body AND top-level code follows the ` +
+                `closing '}'. This is a misplaced-brace bug: the '}' that closes the function ` +
+                `was emitted right after the [PRE-BAKED] / [WRITE] step comments, leaving the ` +
+                `actual step bodies as illegal top-level statements (tsc TS1108). Fix: place ` +
+                `the closing '}' AFTER the last step body — not between the step comments and ` +
+                `their implementations.${preview}`);
+        }
+    }
+}
+/** Recursively list `*.ai.ts` files under a directory. Defensive — the
+ *  behaviors dir is normally flat but engines may add subdirs later. */
+function listAiTsFiles(dir) {
+    if (!existsSync(dir))
+        return [];
+    const out = [];
+    for (const name of readdirSync(dir)) {
+        const p = join(dir, name);
+        let st;
+        try {
+            st = statSync(p);
+        }
+        catch {
+            continue;
+        }
+        if (st.isDirectory())
+            out.push(...listAiTsFiles(p));
+        else if (st.isFile() && p.endsWith('.ai.ts'))
+            out.push(p);
+    }
+    return out;
+}
+export const STUB_COMPLETENESS_VERIFIER = {
+    id: 'stub-completeness',
+    name: 'Stub Body Completeness',
+    // Default-on as of engines 6.56.0 (Phase 2 of
+    // 2026-05-13-VERIFIER-DIAGNOSTIC-TREATMENT-SPLIT). Safe to flip
+    // because the feedback runner's defaultTreatmentSelector routes
+    // STUB002 to surface-spec-gap (no reemit), preventing the cross-
+    // file regressions measured at engines 6.54.0 on idle-meta.
+    // STUB001/003/004 still auto-reemit (high-success on γ-fallback
+    // recovery, measured at engines 6.54.0 on nestjs-billing: 7/7 fixed).
+    enabledByDefault: true,
+    applies: (ctx) => {
+        if (ctx.targetLanguage && ctx.targetLanguage !== 'typescript')
+            return false;
+        const dir = resolveBehaviorsDir(ctx);
+        return existsSync(dir) && listAiTsFiles(dir).length > 0;
+    },
+    verify: async (ctx) => {
+        const start = Date.now();
+        const dir = resolveBehaviorsDir(ctx);
+        const files = listAiTsFiles(dir);
+        const errors = [];
+        const notes = [];
+        let totalFunctions = 0;
+        let totalStubs = 0;
+        for (const absFile of files) {
+            let source;
+            try {
+                source = readFileSync(absFile, 'utf8');
+            }
+            catch (e) {
+                notes.push(`could not read ${absFile}: ${e?.message ?? String(e)}`);
+                continue;
+            }
+            const fns = extractAsyncFunctions(source);
+            totalFunctions += fns.length;
+            for (let fnIdx = 0; fnIdx < fns.length; fnIdx++) {
+                const fn = fns[fnIdx];
+                const match = classifyBody(fn.body);
+                if (!match)
+                    continue;
+                // Promote 'empty' to 'misplaced-brace' when orphan top-level
+                // code follows the (apparent) closing `}`. Same severity, same
+                // treatment routing — only the message text changes, so the
+                // LLM gets a richer diagnostic on reemit.
+                let resolvedKind = match.kind;
+                let resolvedCode = match.code;
+                let orphanPreview;
+                if (match.kind === 'empty') {
+                    const nextDeclLine = fnIdx + 1 < fns.length ? fns[fnIdx + 1].declLine : null;
+                    const preview = detectMisplacedBrace(source, fn, nextDeclLine);
+                    if (preview !== null) {
+                        resolvedKind = 'misplaced-brace';
+                        resolvedCode = STUB_CODES.MISPLACED_BRACE;
+                        orphanPreview = preview;
+                    }
+                }
+                totalStubs++;
+                errors.push({
+                    file: relative(ctx.outputDir, absFile),
+                    line: fn.declLine,
+                    col: 1,
+                    severity: 'warning',
+                    code: resolvedCode,
+                    message: messageFor(resolvedKind, fn.name, orphanPreview),
+                });
+            }
+        }
+        notes.push(`scanned ${files.length} .ai.ts file(s), ${totalFunctions} function(s); ` +
+            `flagged ${totalStubs} stub(s)`);
+        return {
+            verifierId: 'stub-completeness',
+            durationMs: Date.now() - start,
+            ok: true,
+            errors,
+            notes,
+        };
+    },
+};
+//# sourceMappingURL=stub-completeness.js.map

package/dist/realize/post-emit-verify/verifiers/stub-completeness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stub-completeness.js","sourceRoot":"","sources":["../../../../src/realize/post-emit-verify/verifiers/stub-completeness.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqCG;AAEH,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AACrE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,MAAM,CAAC;AAQtC;;4BAE4B;AAC5B,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,cAAc,EAAE,SAAS,EAAG,oCAAoC;IAChE,SAAS,EAAE,SAAS,EAAQ,sCAAsC;IAClE,cAAc,EAAE,SAAS,EAAG,4CAA4C;IACxE,UAAU,EAAE,SAAS,EAAO,mCAAmC;IAC/D,eAAe,EAAE,SAAS,EAAE,6CAA6C;CACjE,CAAC;AAEX,gEAAgE;AAChE,SAAS,mBAAmB,CAAC,GAAkB;IAC7C,MAAM,GAAG,GAAG,GAAG,CAAC,OAAO,IAAI,SAAS,CAAC;IACrC,OAAO,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,CAAC;AACtD,CAAC;AAuBD,MAAM,UAAU,qBAAqB,CAAC,MAAc;IAClD,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,kEAAkE;IAClE,iEAAiE;IACjE,qEAAqE;IACrE,+DAA+D;IAC/D,4DAA4D;IAC5D,MAAM,MAAM,GAAG,4CAA4C,CAAC;IAE5D,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,MAAM,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,CAAC,CAAC;YAAE,SAAS;QACjB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAE,CAAC;QAEnB,+DAA+D;QAC/D,+DAA+D;QAC/D,IAAI,OAAO,GAAG,CAAC,CAAC,CAAC;QACjB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,UAAU,GAAG,CAAC,CAAC;QACnB,IAAI,SAAS,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAE,gBAAgB;QACxD,4DAA4D;QAC5D,UAAU,GAAG,CAAC,CAAC;QAEf,UAAU,EAAE,OAAO,UAAU,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC;YAC7C,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAE,CAAC;YAC7B,OAAO,SAAS,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC;gBAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,SAAS,CAAE,CAAC;gBACzB,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;oBACnB,IAAI,EAAE,KAAK,GAAG;wBAAE,UAAU,EAAE,CAAC;yBACxB,IAAI,EAAE,KAAK,GAAG;wBAAE,UAAU,EAAE,CAAC;gBACpC,CAAC;qBAAM,CAAC;oBACN,qCAAqC;oBACrC,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;wBAAC,OAAO,GAAG,SAAS,CAAC;wBAAC,MAAM,UAAU,CAAC;oBAAC,CAAC;gBAC5D,CAAC;gBACD,SAAS,EAAE,CAAC;YACd,CAAC;YACD,UAAU,EAAE,CAAC;YACb,SAAS,GAAG,CAAC,CAAC;QAChB,CAAC;QACD,IAAI,OAAO,KAAK,CAAC,CAAC;YAAE,SAAS;QAE7B,8DAA8D;QAC9D,gBAAgB;QAChB,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,IAAI,gBAAgB,GAAG,UAAU,CAAC;QAClC,IAAI,eAAe,GAAG,OAAO,GAAG,CAAC,CAAC;QAClC,IAAI,UAAU,GAAG,CAAC,CAAC,CAAC;QACpB,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC;QAEnB,QAAQ,EAAE,KAAK,IAAI,EAAE,GAAG,UAAU,EAAE,EAAE,GAAG,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;YAC5D,MAAM,CAAC,GAAG,KAAK,CAAC,EAAE,CAAE,CAAC;YACrB,MAAM,QAAQ,GAAG,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACrD,KAAK,IAAI,EAAE,GAAG,QAAQ,EAAE,EAAE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,CAAC;gBAC5C,MAAM,EAAE,GAAG,CAAC,CAAC,EAAE,CAAE,CAAC;gBAClB,IAAI,EAAE,KAAK,GAAG;oBAAE,KAAK,EAAE,CAAC;qBACnB,IAAI,EAAE,KAAK,GAAG,EAAE,CAAC;oBACpB,KAAK,EAAE,CAAC;oBACR,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;wBAAC,UAAU,GAAG,EAAE,CAAC;wBAAC,SAAS,GAAG,EAAE,CAAC;wBAAC,MAAM,QAAQ,CAAC;oBAAC,CAAC;gBACvE,CAAC;YACH,CAAC;QACH,CAAC;QACD,IAAI,UAAU,KAAK,CAAC,CAAC;YAAE,SAAS,CAAE,8BAA8B;QAEhE,0DAA0D;QAC1D,IAAI,IAAY,CAAC;QACjB,IAAI,gBAAgB,KAAK,UAAU,EAAE,CAAC;YACpC,IAAI,GAAG,KAAK,CAAC,gBAAgB,CAAE,CAAC,KAAK,CAAC,eAAe,EAAE,SAAS,CAAC,CAAC;QACpE,CAAC;aAAM,CAAC;YACN,MAAM,KAAK,GAAG,KAAK,CAAC,gBAAgB,CAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YAC9D,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,gBAAgB,GAAG,CAAC,EAAE,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACxE,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAE,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YACpD,IAAI,GAAG,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC;QAED,GAAG,CAAC,IAAI,CAAC;YACP,IAAI;YACJ,IAAI;YACJ,QAAQ,EAAE,CAAC,GAAG,CAAC;YACf,aAAa,EAAE,gBAAgB,GAAG,CAAC;YACnC,OAAO,EAAE,UAAU,GAAG,CAAC;SACxB,CAAC,CAAC;QAEH,iEAAiE;QACjE,CAAC,GAAG,UAAU,CAAC;IACjB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,qDAAqD;IACrD,IAAI,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;IAC9C,iBAAiB;IACjB,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,sBAAsB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC;IAC3D,qCAAqC;IACrC,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3F,OAAO,CAAC,CAAC;AACX,CAAC;AAED,iDAAiD;AACjD,oFAAoF;AACpF,yFAAyF;AACzF,wEAAwE;AACxE,iEAAiE;AACjE,MAAM,iBAAiB,GAAG,0HAA0H,CAAC;AAErJ,MAAM,YAAY,GAAG,gKAAgK,CAAC;AAEtL,MAAM,iBAAiB,GAAG,mEAAmE,CAAC;AAW9F;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiCG;AACH,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,EAAqB,EACrB,YAA2B;IAE3B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACjC,MAAM,QAAQ,GAAG,EAAE,CAAC,OAAO,CAAC,CAAE,uDAAuD;IACrF,MAAM,OAAO,GAAG,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;IACxE,IAAI,QAAQ,IAAI,OAAO;QAAE,OAAO,IAAI,CAAC;IAErC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IAE7C,+BAA+B;IAC/B,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,kBAAkB,GAAG,KAAK,CAAC;IAC/B,MAAM,WAAW,GAAa,EAAE,CAAC;IAEjC,KAAK,MAAM,GAAG,IAAI,KAAK,EAAE,CAAC;QACxB,MAAM,OAAO,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3B,IAAI,OAAO,KAAK,EAAE;YAAE,SAAS;QAE7B,0DAA0D;QAC1D,IAAI,yCAAyC,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC5D,eAAe,GAAG,IAAI,CAAC;YACvB,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QAED,iDAAiD;QACjD,IAAI,2FAA2F,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9G,SAAS;QACX,CAAC;QACD,IAAI,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QAClE,IAAI,OAAO,KAAK,GAAG,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;YACrG,uEAAuE;YACvE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QAED,sEAAsE;QACtE,IAAI,gFAAgF,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACnG,kBAAkB,GAAG,IAAI,CAAC;YAC1B,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QAED,mEAAmE;QACnE,qEAAqE;QACrE,iEAAiE;QACjE,8BAA8B;QAC9B,IAAI,oBAAoB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACvC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;QAED,sEAAsE;QACtE,iEAAiE;QACjE,iBAAiB;QACjB,IAAI,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC3C,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC;gBAAE,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtD,SAAS;QACX,CAAC;IACH,CAAC;IAED,IAAI,CAAC,eAAe,IAAI,CAAC,kBAAkB;QAAE,OAAO,IAAI,CAAC;IACzD,OAAO,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,QAAQ,GAAG,sBAAsB,CAAC,IAAI,CAAC,CAAC;IAE9C,IAAI,QAAQ,KAAK,EAAE,EAAE,CAAC;QACpB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,UAAU,EAAE,CAAC;IACxD,CAAC;IAED,oEAAoE;IACpE,iEAAiE;IACjE,mEAAmE;IACnE,kEAAkE;IAClE,eAAe;IAEf,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,CAAC;IACrE,CAAC;IACD,IAAI,YAAY,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QAChC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,UAAU,CAAC,SAAS,EAAE,CAAC;IAC3D,CAAC;IACD,IAAI,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,UAAU,CAAC,cAAc,EAAE,CAAC;IACrE,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,kEAAkE;AAClE,SAAS,UAAU,CAAC,IAAuB,EAAE,MAAc,EAAE,aAAsB;IACjF,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,gBAAgB;YACnB,OAAO,CACL,aAAa,MAAM,wDAAwD;gBAC3E,6EAA6E,CAC9E,CAAC;QACJ,KAAK,WAAW;YACd,OAAO,CACL,aAAa,MAAM,yDAAyD;gBAC5E,+EAA+E,CAChF,CAAC;QACJ,KAAK,gBAAgB;YACnB,OAAO,CACL,aAAa,MAAM,uDAAuD;gBAC1E,iEAAiE,CAClE,CAAC;QACJ,KAAK,OAAO;YACV,OAAO,CACL,aAAa,MAAM,uBAAuB;gBAC1C,iEAAiE,CAClE,CAAC;QACJ,KAAK,iBAAiB,CAAC,CAAC,CAAC;YACvB,MAAM,OAAO,GAAG,aAAa,CAAC,CAAC,CAAC,0BAA0B,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAC/E,OAAO,CACL,aAAa,MAAM,qDAAqD;gBACxE,+EAA+E;gBAC/E,+EAA+E;gBAC/E,8EAA8E;gBAC9E,+EAA+E;gBAC/E,yBAAyB,OAAO,EAAE,CACnC,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED;wEACwE;AACxE,SAAS,aAAa,CAAC,GAAW;IAChC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;QACpC,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QAC1B,IAAI,EAAE,CAAC;QACP,IAAI,CAAC;YAAC,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;QAAC,CAAC;QAAC,MAAM,CAAC;YAAC,SAAS;QAAC,CAAC;QAC7C,IAAI,EAAE,CAAC,WAAW,EAAE;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;aAC/C,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,CAAC,MAAM,0BAA0B,GAAqB;IAC1D,EAAE,EAAE,mBAAmB;IACvB,IAAI,EAAE,wBAAwB;IAC9B,8CAA8C;IAC9C,gEAAgE;IAChE,gEAAgE;IAChE,iEAAiE;IACjE,4DAA4D;IAC5D,gEAAgE;IAChE,sEAAsE;IACtE,gBAAgB,EAAE,IAAI;IAEtB,OAAO,EAAE,CAAC,GAAkB,EAAW,EAAE;QACvC,IAAI,GAAG,CAAC,cAAc,IAAI,GAAG,CAAC,cAAc,KAAK,YAAY;YAAE,OAAO,KAAK,CAAC;QAC5E,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACrC,OAAO,UAAU,CAAC,GAAG,CAAC,IAAI,aAAa,CAAC,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;IAC1D,CAAC;IAED,MAAM,EAAE,KAAK,EAAE,GAAkB,EAAyB,EAAE;QAC1D,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QACzB,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,CAAC,CAAC;QACrC,MAAM,KAAK,GAAG,aAAa,CAAC,GAAG,CAAC,CAAC;QACjC,MAAM,MAAM,GAAkB,EAAE,CAAC;QACjC,MAAM,KAAK,GAAa,EAAE,CAAC;QAE3B,IAAI,cAAc,GAAG,CAAC,CAAC;QACvB,IAAI,UAAU,GAAG,CAAC,CAAC;QAEnB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;YAC5B,IAAI,MAAc,CAAC;YACnB,IAAI,CAAC;gBACH,MAAM,GAAG,YAAY,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;YACzC,CAAC;YAAC,OAAO,CAAM,EAAE,CAAC;gBAChB,KAAK,CAAC,IAAI,CAAC,kBAAkB,OAAO,KAAK,CAAC,EAAE,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACpE,SAAS;YACX,CAAC;YAED,MAAM,GAAG,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;YAC1C,cAAc,IAAI,GAAG,CAAC,MAAM,CAAC;YAE7B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,GAAG,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBAChD,MAAM,EAAE,GAAG,GAAG,CAAC,KAAK,CAAE,CAAC;gBACvB,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,KAAK;oBAAE,SAAS;gBAErB,6DAA6D;gBAC7D,+DAA+D;gBAC/D,4DAA4D;gBAC5D,0CAA0C;gBAC1C,IAAI,YAAY,GAAsB,KAAK,CAAC,IAAI,CAAC;gBACjD,IAAI,YAAY,GAAW,KAAK,CAAC,IAAI,CAAC;gBACtC,IAAI,aAAiC,CAAC;gBACtC,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;oBAC3B,MAAM,YAAY,GAAG,KAAK,GAAG,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,CAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC;oBAC9E,MAAM,OAAO,GAAG,oBAAoB,CAAC,MAAM,EAAE,EAAE,EAAE,YAAY,CAAC,CAAC;oBAC/D,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;wBACrB,YAAY,GAAG,iBAAiB,CAAC;wBACjC,YAAY,GAAG,UAAU,CAAC,eAAe,CAAC;wBAC1C,aAAa,GAAG,OAAO,CAAC;oBAC1B,CAAC;gBACH,CAAC;gBAED,UAAU,EAAE,CAAC;gBACb,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC;oBACtC,IAAI,EAAE,EAAE,CAAC,QAAQ;oBACjB,GAAG,EAAE,CAAC;oBACN,QAAQ,EAAE,SAAS;oBACnB,IAAI,EAAE,YAAY;oBAClB,OAAO,EAAE,UAAU,CAAC,YAAY,EAAE,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC;iBAC1D,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,KAAK,CAAC,IAAI,CACR,WAAW,KAAK,CAAC,MAAM,oBAAoB,cAAc,gBAAgB;YACzE,WAAW,UAAU,UAAU,CAChC,CAAC;QAEF,OAAO;YACL,UAAU,EAAE,mBAAmB;YAC/B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;YAC9B,EAAE,EAAE,IAAI;YACR,MAAM;YACN,KAAK;SACN,CAAC;IACJ,CAAC;CACF,CAAC"}

package/dist/realize/realize-context-snapshot.d.ts

@@ -0,0 +1,70 @@
+/**
+ * Per-owner realize-context snapshot.
+ *
+ * Phase 3 of 2026-05-13-VERIFIER-DIAGNOSTIC-TREATMENT-SPLIT.
+ *
+ * The per-owner emit prompt has TARGET RUNTIME, [PRE-BAKED] step bullets,
+ * cross-service operation signatures, available capabilities, library
+ * whitelist — everything the LLM needs to emit a real action body. The
+ * post-emit feedback runner's `buildLlmReemit` historically had NONE of
+ * this; the reemit prompt provided only the previous bad output + the
+ * verifier errors.
+ *
+ * Empirical consequence: sonnet still bridged the gap via inference;
+ * smaller models (Ollama qwen3-coder:30b, MarrBox) drifted further from
+ * the realize-emit skill's contract, introducing cross-file tsc
+ * regressions when asked to fix STUB002 stubs (measured 2026-05-13 at
+ * engines 6.54.0 on idle-meta).
+ *
+ * Phase 3 closes the gap by SNAPSHOTTING the per-owner context to disk
+ * at emit time and READING it at reemit time. The snapshot lives at
+ * `<outputDir>/.realize-context/<OwnerName>.md` and contains a compact
+ * markdown blob — directly embeddable in the reemit user prompt.
+ *
+ * Decoupling: the snapshot writer (called from per-owner-runner)
+ * doesn't know about reemit; the snapshot loader (called from reemit
+ * factory) doesn't know about per-owner-emit. They share only the
+ * file layout convention.
+ */
+/** Input data for snapshotting an owner's realize context. Mirrors the
+ *  subset of PerOwnerEmitRequest that's directly useful for fixing
+ *  bodies — TARGET RUNTIME + per-action [PRE-BAKED] scaffolding +
+ *  cross-service signatures + available capabilities. */
+export interface OwnerRealizeContext {
+    ownerName: string;
+    /** e.g. "Node.js (backend)" — short, structurally useful for choosing
+     *  imports + identifying forbidden APIs. */
+    targetRuntime: string;
+    /** The full per-action scaffolding rendered by `buildPerActionScaffolding`
+     *  — already formatted with `[PRE-BAKED] "<step>" → <snippet>` blocks
+     *  and `[WRITE] "<step>"` markers. Reusing the same render keeps the
+     *  reemit prompt aligned with the original per-owner prompt. */
+    perActionScaffolding: string;
+    /** AVAILABLE SPEC SURFACE — signatures of cross-service operations.
+     *  Empty-fallback formatted by the per-owner-runner. */
+    availableSpecSurface: string;
+    /** AVAILABLE CAPABILITIES — clients / repos the LLM may call. */
+    availableCapabilities: string;
+    /** AVAILABLE CLIENTS — generated client classes the LLM may instantiate. */
+    availableClients: string;
+}
+/**
+ * Render the context as a compact markdown blob suitable for direct
+ * embedding in the reemit prompt body. Mirrors the section headings
+ * used in the per-owner-emit prompt template so the LLM sees the same
+ * structural cues.
+ */
+export declare function formatContextSnapshot(ctx: OwnerRealizeContext): string;
+/**
+ * Persist a context snapshot to disk. Best-effort — caller should
+ * never crash on snapshot failure (the reemit prompt degrades to the
+ * pre-Phase-3 behavior cleanly).
+ */
+export declare function writeContextSnapshot(outputDir: string, ctx: OwnerRealizeContext): void;
+/**
+ * Load a previously-written snapshot. Returns the raw markdown blob,
+ * or `null` if no snapshot exists for the owner. Callers (the reemit
+ * factory) include the blob in the prompt body when present.
+ */
+export declare function loadContextSnapshot(outputDir: string, ownerName: string): string | null;
+//# sourceMappingURL=realize-context-snapshot.d.ts.map

package/dist/realize/realize-context-snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"realize-context-snapshot.d.ts","sourceRoot":"","sources":["../../src/realize/realize-context-snapshot.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AAOH;;;yDAGyD;AACzD,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB;gDAC4C;IAC5C,aAAa,EAAE,MAAM,CAAC;IACtB;;;oEAGgE;IAChE,oBAAoB,EAAE,MAAM,CAAC;IAC7B;4DACwD;IACxD,oBAAoB,EAAE,MAAM,CAAC;IAC7B,iEAAiE;IACjE,qBAAqB,EAAE,MAAM,CAAC;IAC9B,4EAA4E;IAC5E,gBAAgB,EAAE,MAAM,CAAC;CAC1B;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,GAAG,EAAE,mBAAmB,GAAG,MAAM,CAmBtE;AAQD;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE,MAAM,EACjB,GAAG,EAAE,mBAAmB,GACvB,IAAI,CASN;AAED;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,GAChB,MAAM,GAAG,IAAI,CAQf"}