@specverse/engines 6.53.1 → 6.60.1

package/dist/realize/post-emit-verify/reemit.js

@@ -32,6 +32,7 @@ export function buildLlmReemit(options) {
     const maxAttempts = options.maxAttempts ?? 1;
     const timeoutMs = options.timeoutMs ?? 3 * 60_000;
     const skills = options.skills ?? ['realize-emit'];
+    const contextLoader = options.contextLoader;
     // Provider-aware skill inlining: claude-cli auto-loads skills via the
     // CLI's filesystem resolution; everyone else needs the skill content
     // prepended to the system prompt. Compute once at build time — the
@@ -39,7 +40,8 @@ export function buildLlmReemit(options) {
     const providerId = resolveProviderId();
     const systemPrompt = assembleSystemWithSkills('', providerId, skills);
     return async (req) => {
-        const prompt = formatFeedbackPrompt(req);
+        const ownerContext = contextLoader?.(req.ownerName) ?? null;
+        const prompt = formatFeedbackPrompt(req, ownerContext);
         for (let attempt = 0; attempt < maxAttempts; attempt++) {
             try {
                 const result = await Promise.race([
@@ -74,28 +76,28 @@ export function buildLlmReemit(options) {
  * Format the feedback prompt body. Caller's LLM provider (e.g.
  * claude-cli) loads the realize-emit skill as system context.
  *
+ * The optional `ownerContext` (Phase 3) is the per-owner realize-context
+ * snapshot — TARGET RUNTIME + [PRE-BAKED] step bullets + cross-service
+ * surface + capabilities — prepended to the prompt so the LLM sees the
+ * same input the original per-owner emit had. Without this, smaller
+ * models (Ollama / MarrBox) hallucinate cross-file calls; with it,
+ * they have the canonical contract to anchor against.
+ *
  * Exported for tests + so callers can override the prompt shape.
  */
-export function formatFeedbackPrompt(req) {
+export function formatFeedbackPrompt(req, ownerContext = null) {
     const errorLines = req.errors
         .map(formatError)
         .join('\n');
-    return [
-        `Re-emit the entire contents of \`${req.file}\`.`,
-        '',
-        `Your previous emission had the following compile / lint errors:`,
-        '',
-        errorLines,
-        '',
-        `Previous file content (re-emit this with the errors fixed):`,
-        '',
-        '```typescript',
-        req.previousContent,
-        '```',
-        '',
-        `Fix the errors and emit the ENTIRE updated file inside one \`\`\`typescript code block.`,
-        `Do not change any logic beyond what's needed to fix the errors.`,
-    ].join('\n');
+    const parts = [];
+    if (ownerContext) {
+        parts.push(ownerContext);
+        parts.push('');
+        parts.push('---');
+        parts.push('');
+    }
+    parts.push(`Re-emit the entire contents of \`${req.file}\`.`, '', `Your previous emission had the following compile / lint errors:`, '', errorLines, '', `Previous file content (re-emit this with the errors fixed):`, '', '```typescript', req.previousContent, '```', '', `Fix the errors and emit the ENTIRE updated file inside one \`\`\`typescript code block.`, `Honour the [PRE-BAKED] step bodies above verbatim where present; do not paraphrase.`, `Do not change any logic beyond what's needed to fix the errors.`);
+    return parts.join('\n');
 }
 function formatError(e) {
     const pos = e.line !== undefined

package/dist/realize/post-emit-verify/reemit.js.map

@@ -1 +1 @@
-{"version":3,"file":"reemit.js","sourceRoot":"","sources":["../../../src/realize/post-emit-verify/reemit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAElC,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AA4B/D;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,OAA2B;IACxD,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,GAAG,MAAM,CAAC;IAClD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,CAAC;IAElD,sEAAsE;IACtE,qEAAqE;IACrE,mEAAmE;IACnE,kCAAkC;IAClC,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;IACvC,MAAM,YAAY,GAAG,wBAAwB,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAEtE,OAAO,KAAK,EAAE,GAAkB,EAA0B,EAAE;QAC1D,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC;QAEzC,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC;YACvD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;oBAChC,YAAY,CAAC;wBACX,KAAK,EAAE,OAAO,CAAC,KAAK;wBACpB,MAAM;wBACN,2DAA2D;wBAC3D,uDAAuD;wBACvD,cAAc;wBACd,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAClD,CAAC;oBACF,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAC/B,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC,EAAE,SAAS,CAAC,CACjE;iBACF,CAAC,CAAC;gBAEH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;oBACf,IAAI,OAAO,GAAG,CAAC,GAAG,WAAW;wBAAE,SAAS;oBACxC,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,OAAO,GAAG,CAAC,GAAG,WAAW;oBAAE,SAAS;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAAC,GAAkB;IACrD,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM;SAC1B,GAAG,CAAC,WAAW,CAAC;SAChB,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,OAAO;QACL,oCAAoC,GAAG,CAAC,IAAI,KAAK;QACjD,EAAE;QACF,iEAAiE;QACjE,EAAE;QACF,UAAU;QACV,EAAE;QACF,6DAA6D;QAC7D,EAAE;QACF,eAAe;QACf,GAAG,CAAC,eAAe;QACnB,KAAK;QACL,EAAE;QACF,yFAAyF;QACzF,iEAAiE;KAClE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,SAAS,WAAW,CAAC,CAAc;IACjC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS;QAC9B,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvD,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;AACtD,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,IAAY;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC;IAClC,OAAO,IAAI,CAAC;AACd,CAAC"}
+{"version":3,"file":"reemit.js","sourceRoot":"","sources":["../../../src/realize/post-emit-verify/reemit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAElC,OAAO,EAAE,wBAAwB,EAAE,MAAM,2BAA2B,CAAC;AACrE,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AA0C/D;;;;GAIG;AACH,MAAM,UAAU,cAAc,CAAC,OAA2B;IACxD,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,CAAC,CAAC;IAC7C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,GAAG,MAAM,CAAC;IAClD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,CAAC,cAAc,CAAC,CAAC;IAClD,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;IAE5C,sEAAsE;IACtE,qEAAqE;IACrE,mEAAmE;IACnE,kCAAkC;IAClC,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;IACvC,MAAM,YAAY,GAAG,wBAAwB,CAAC,EAAE,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;IAEtE,OAAO,KAAK,EAAE,GAAkB,EAA0B,EAAE;QAC1D,MAAM,YAAY,GAAG,aAAa,EAAE,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC;QAC5D,MAAM,MAAM,GAAG,oBAAoB,CAAC,GAAG,EAAE,YAAY,CAAC,CAAC;QAEvD,KAAK,IAAI,OAAO,GAAG,CAAC,EAAE,OAAO,GAAG,WAAW,EAAE,OAAO,EAAE,EAAE,CAAC;YACvD,IAAI,CAAC;gBACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC;oBAChC,YAAY,CAAC;wBACX,KAAK,EAAE,OAAO,CAAC,KAAK;wBACpB,MAAM;wBACN,2DAA2D;wBAC3D,uDAAuD;wBACvD,cAAc;wBACd,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,YAAY,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;qBAClD,CAAC;oBACF,IAAI,OAAO,CAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAC/B,UAAU,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC,EAAE,SAAS,CAAC,CACjE;iBACF,CAAC,CAAC;gBAEH,MAAM,SAAS,GAAG,sBAAsB,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBAC5D,IAAI,CAAC,SAAS,EAAE,CAAC;oBACf,IAAI,OAAO,GAAG,CAAC,GAAG,WAAW;wBAAE,SAAS;oBACxC,OAAO,IAAI,CAAC;gBACd,CAAC;gBACD,OAAO,SAAS,CAAC;YACnB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,OAAO,GAAG,CAAC,GAAG,WAAW;oBAAE,SAAS;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,oBAAoB,CAClC,GAAkB,EAClB,eAA8B,IAAI;IAElC,MAAM,UAAU,GAAG,GAAG,CAAC,MAAM;SAC1B,GAAG,CAAC,WAAW,CAAC;SAChB,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,IAAI,YAAY,EAAE,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QACzB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,IAAI,CACR,oCAAoC,GAAG,CAAC,IAAI,KAAK,EACjD,EAAE,EACF,iEAAiE,EACjE,EAAE,EACF,UAAU,EACV,EAAE,EACF,6DAA6D,EAC7D,EAAE,EACF,eAAe,EACf,GAAG,CAAC,eAAe,EACnB,KAAK,EACL,EAAE,EACF,yFAAyF,EACzF,qFAAqF,EACrF,iEAAiE,CAClE,CAAC;IAEF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,WAAW,CAAC,CAAc;IACjC,MAAM,GAAG,GAAG,CAAC,CAAC,IAAI,KAAK,SAAS;QAC9B,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;QACvD,CAAC,CAAC,EAAE,CAAC;IACP,OAAO,KAAK,CAAC,CAAC,IAAI,GAAG,GAAG,KAAK,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;AACtD,CAAC;AAED;;;;GAIG;AACH,SAAS,sBAAsB,CAAC,IAAY;IAC1C,IAAI,CAAC,IAAI;QAAE,OAAO,IAAI,CAAC;IACvB,MAAM,OAAO,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC/D,IAAI,OAAO;QAAE,OAAO,OAAO,CAAC,CAAC,CAAE,CAAC;IAChC,MAAM,QAAQ,GAAG,yBAAyB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAE,CAAC;IAClC,OAAO,IAAI,CAAC;AACd,CAAC"}

package/dist/realize/post-emit-verify/types.d.ts

@@ -135,4 +135,53 @@ export interface OwnerMapping {
      *  per-owner LLM emit — those should NOT receive feedback re-emits). */
     ownerName: string | null;
 }
+/**
+ * Per-error fix strategy. Phase 2 of
+ * 2026-05-13-VERIFIER-DIAGNOSTIC-TREATMENT-SPLIT — different verifier
+ * errors need different fix strategies, not a single "always reemit"
+ * path:
+ *
+ *   - `auto-reemit`: include this error in the file's reemit prompt;
+ *     the LLM should try to fix it. Right for tsc errors (unambiguous
+ *     fix) + γ-fallback / trivial-return / empty-body stubs (LLM never
+ *     produced real output the first time; a second try with focused
+ *     context is high-success).
+ *
+ *   - `surface-spec-gap`: do NOT reemit; surface the error to the user
+ *     via the `realize-quality.json` sidecar (`specGaps` field).
+ *     Right for STUB002 (LLM-throw stubs) where the LLM already
+ *     signaled a context gap on the original emit — re-prompting
+ *     either no-ops or hallucinates cross-file regressions (measured
+ *     on idle-meta 2026-05-13 at engines 6.54.0).
+ *
+ *   - `skip`: ignore entirely. Right for unmappable errors (already
+ *     filtered) and for future categories the framework doesn't know
+ *     how to treat.
+ */
+export type TreatmentStrategy = 'auto-reemit' | 'surface-spec-gap' | 'skip';
+/**
+ * Decides how each verifier error should be treated. The default
+ * selector lives in `feedback-runner.ts::defaultTreatmentSelector`;
+ * callers may override for advanced cases (testing, custom verifiers,
+ * different LLM tolerance profiles).
+ */
+export type TreatmentSelector = (error: VerifyError) => TreatmentStrategy;
+/**
+ * A single spec-level gap surfaced from a verifier error that the
+ * framework chose NOT to auto-fix. Goes into the realize-quality.json
+ * sidecar's `specGaps` array; users read it and decide whether to
+ * adjust the spec/manifest, switch providers, or hand-edit.
+ */
+export interface SpecGapEntry {
+    /** Owner name (e.g. "AuthController"). null when unmappable. */
+    ownerName: string | null;
+    /** Source file path, relative to outputDir. */
+    file: string;
+    line?: number;
+    col?: number;
+    /** Verifier code (e.g. "STUB002"). */
+    code: string;
+    /** Verifier-formatted message — directly suitable for user reading. */
+    message: string;
+}
 //# sourceMappingURL=types.d.ts.map

package/dist/realize/post-emit-verify/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/realize/post-emit-verify/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAC;IACb;yEACqE;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,mDAAmD;IACnD,UAAU,EAAE,MAAM,CAAC;IACnB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;IACnB;;+EAE2E;IAC3E,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB;;mBAEe;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B;mDAC+C;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB;kEAC8D;IAC9D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;uEACmE;IACnE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;;;;;OAUG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,oEAAoE;IACpE,EAAE,EAAE,MAAM,CAAC;IACX,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;;OAQG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gEAAgE;IAChE,OAAO,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,OAAO,CAAC;IACzC,0EAA0E;IAC1E,MAAM,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC;CACvD;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,YAAY;IAC3B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb;;4EAEwE;IACxE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/realize/post-emit-verify/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAEH;;;;GAIG;AACH,MAAM,WAAW,WAAW;IAC1B,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,oEAAoE;IACpE,IAAI,EAAE,MAAM,CAAC;IACb;yEACqE;IACrE,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,GAAG,SAAS,CAAC;CAC/B;AAED;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B,mDAAmD;IACnD,UAAU,EAAE,MAAM,CAAC;IACnB,4DAA4D;IAC5D,UAAU,EAAE,MAAM,CAAC;IACnB;;+EAE2E;IAC3E,EAAE,EAAE,OAAO,CAAC;IACZ,MAAM,EAAE,WAAW,EAAE,CAAC;IACtB;;mBAEe;IACf,KAAK,EAAE,MAAM,EAAE,CAAC;CACjB;AAED;;;;;GAKG;AACH,MAAM,WAAW,aAAa;IAC5B;mDAC+C;IAC/C,SAAS,EAAE,MAAM,CAAC;IAClB;kEAC8D;IAC9D,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB;uEACmE;IACnE,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB;;;;;;;;;;OAUG;IACH,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,gBAAgB;IAC/B,oEAAoE;IACpE,EAAE,EAAE,MAAM,CAAC;IACX,8CAA8C;IAC9C,IAAI,EAAE,MAAM,CAAC;IACb;;;;;;;;OAQG;IACH,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gEAAgE;IAChE,OAAO,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,OAAO,CAAC;IACzC,0EAA0E;IAC1E,MAAM,EAAE,CAAC,GAAG,EAAE,aAAa,KAAK,OAAO,CAAC,YAAY,CAAC,CAAC;CACvD;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,YAAY;IAC3B,gDAAgD;IAChD,IAAI,EAAE,MAAM,CAAC;IACb;;4EAEwE;IACxE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;CAC1B;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,MAAM,MAAM,iBAAiB,GAAG,aAAa,GAAG,kBAAkB,GAAG,MAAM,CAAC;AAE5E;;;;;GAKG;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,KAAK,EAAE,WAAW,KAAK,iBAAiB,CAAC;AAE1E;;;;;GAKG;AACH,MAAM,WAAW,YAAY;IAC3B,gEAAgE;IAChE,SAAS,EAAE,MAAM,GAAG,IAAI,CAAC;IACzB,+CAA+C;IAC/C,IAAI,EAAE,MAAM,CAAC;IACb,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,sCAAsC;IACtC,IAAI,EAAE,MAAM,CAAC;IACb,uEAAuE;IACvE,OAAO,EAAE,MAAM,CAAC;CACjB"}

package/dist/realize/post-emit-verify/verifier-manifest.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"verifier-manifest.d.ts","sourceRoot":"","sources":["../../../src/realize/post-emit-verify/verifier-manifest.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAGhF,eAAO,MAAM,SAAS,EAAE,gBAAgB,EAOvC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,eAAe,CACnC,GAAG,EAAE,aAAa,EAClB,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAC7B,OAAO,CAAC,YAAY,EAAE,CAAC,CAqBzB;AAED,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAErE"}
+{"version":3,"file":"verifier-manifest.d.ts","sourceRoot":"","sources":["../../../src/realize/post-emit-verify/verifier-manifest.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAIhF,eAAO,MAAM,SAAS,EAAE,gBAAgB,EAQvC,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,eAAe,CACnC,GAAG,EAAE,aAAa,EAClB,gBAAgB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAC7B,OAAO,CAAC,YAAY,EAAE,CAAC,CAqBzB;AAED,wBAAgB,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,gBAAgB,GAAG,SAAS,CAErE"}

package/dist/realize/post-emit-verify/verifier-manifest.js

@@ -1,6 +1,8 @@
 import { TSC_VERIFIER } from './verifiers/tsc.js';
+import { STUB_COMPLETENESS_VERIFIER } from './verifiers/stub-completeness.js';
 export const VERIFIERS = [
     TSC_VERIFIER,
+    STUB_COMPLETENESS_VERIFIER,
     // Future:
     //   PY_MYPY_VERIFIER  — `mypy --strict src/`
     //   GO_VET_VERIFIER   — `go vet ./...`

package/dist/realize/post-emit-verify/verifier-manifest.js.map

@@ -1 +1 @@
-{"version":3,"file":"verifier-manifest.js","sourceRoot":"","sources":["../../../src/realize/post-emit-verify/verifier-manifest.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAElD,MAAM,CAAC,MAAM,SAAS,GAAuB;IAC3C,YAAY;IACZ,UAAU;IACV,6CAA6C;IAC7C,uCAAuC;IACvC,yCAAyC;IACzC,8CAA8C;CAC/C,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,GAAkB,EAClB,gBAA8B;IAE9B,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,gBAAgB,GAAG,CAAC,CAAC,gBAAgB,KAAK,KAAK,CAAC;QACtD,MAAM,iBAAiB,GAAG,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;QAC/D,IAAI,CAAC,gBAAgB,IAAI,CAAC,iBAAiB;YAAE,SAAS;QACtD,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACnC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,GAAG,CAAC,IAAI,CAAC;gBACP,UAAU,EAAE,CAAC,CAAC,EAAE;gBAChB,UAAU,EAAE,CAAC;gBACb,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,YAAY,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;aACpE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAU;IACrC,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC"}
+{"version":3,"file":"verifier-manifest.js","sourceRoot":"","sources":["../../../src/realize/post-emit-verify/verifier-manifest.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EAAE,0BAA0B,EAAE,MAAM,kCAAkC,CAAC;AAE9E,MAAM,CAAC,MAAM,SAAS,GAAuB;IAC3C,YAAY;IACZ,0BAA0B;IAC1B,UAAU;IACV,6CAA6C;IAC7C,uCAAuC;IACvC,yCAAyC;IACzC,8CAA8C;CAC/C,CAAC;AAEF;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,CAAC,KAAK,UAAU,eAAe,CACnC,GAAkB,EAClB,gBAA8B;IAE9B,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QAC1B,MAAM,gBAAgB,GAAG,CAAC,CAAC,gBAAgB,KAAK,KAAK,CAAC;QACtD,MAAM,iBAAiB,GAAG,gBAAgB,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC;QAC/D,IAAI,CAAC,gBAAgB,IAAI,CAAC,iBAAiB;YAAE,SAAS;QACtD,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YACnC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,GAAG,CAAC,IAAI,CAAC;gBACP,UAAU,EAAE,CAAC,CAAC,EAAE;gBAChB,UAAU,EAAE,CAAC;gBACb,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,EAAE;gBACV,KAAK,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,YAAY,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;aACpE,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,EAAU;IACrC,OAAO,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAC5C,CAAC"}

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

@@ -0,0 +1,85 @@
+/**
+ * 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";
+};
+/**
+ * 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;
+}
+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';
+    code: string;
+}
+/**
+ * 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;;;;;CAKb,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;CACvB;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,EAAE,CAuFzE;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,CAAC;IAClE,IAAI,EAAE,MAAM,CAAC;CACd;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,IAAI,CAwB3D;AA2CD,eAAO,MAAM,0BAA0B,EAAE,gBAoExC,CAAC"}

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

@@ -0,0 +1,298 @@
+/**
+ * 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
+};
+/** 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,
+        });
+        // 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;
+/**
+ * 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) {
+    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.`);
+    }
+}
+/** 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 (const fn of fns) {
+                const match = classifyBody(fn.body);
+                if (!match)
+                    continue;
+                totalStubs++;
+                errors.push({
+                    file: relative(ctx.outputDir, absFile),
+                    line: fn.declLine,
+                    col: 1,
+                    severity: 'warning',
+                    code: match.code,
+                    message: messageFor(match.kind, fn.name),
+                });
+            }
+        }
+        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;CACvD,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;AAqBD,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;SACpC,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;AAO9F;;;;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;IACzD,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;IACN,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,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;gBACpC,IAAI,CAAC,KAAK;oBAAE,SAAS;gBACrB,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,KAAK,CAAC,IAAI;oBAChB,OAAO,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC;iBACzC,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"}