@specverse/engines 6.60.1 → 6.63.0

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

@@ -46,6 +46,7 @@ export const STUB_CODES = {
     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) {
@@ -141,6 +142,7 @@ export function extractAsyncFunctions(source) {
             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;
@@ -168,6 +170,103 @@ export function stripCommentsAndBlanks(body) {
 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
@@ -195,7 +294,7 @@ export function classifyBody(body) {
     return null;
 }
 /** Render a feedback-prompt-friendly message for a stub match. */
-function messageFor(kind, fnName) {
+function messageFor(kind, fnName, orphanPreview) {
     switch (kind) {
         case 'gamma-fallback':
             return (`Function '${fnName}' is a γ-stub placeholder (per-owner emit fell back). ` +
@@ -209,6 +308,15 @@ function messageFor(kind, fnName) {
         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
@@ -269,18 +377,35 @@ export const STUB_COMPLETENESS_VERIFIER = {
             }
             const fns = extractAsyncFunctions(source);
             totalFunctions += fns.length;
-            for (const fn of fns) {
+            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: match.code,
-                    message: messageFor(match.kind, fn.name),
+                    code: resolvedCode,
+                    message: messageFor(resolvedKind, fn.name, orphanPreview),
                 });
             }
         }

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

@@ -1 +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"}
+{"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/libs/instance-factories/services/templates/_shared/step-matching.ts

@@ -30,6 +30,49 @@ export function toVar(name: string): string {
   return name.charAt(0).toLowerCase() + name.slice(1);
 }
 
+/**
+ * Common English adjectives/articles that can leak into entity-noun
+ * extraction from NL spec steps. The matcher's pattern fragments use
+ * this to skip a leading adjective when capturing the entity noun, so
+ * "Create new Player with…" extracts `Player`, not `new`.
+ *
+ * Concern-separation note: this is NL-input-side. The TS-output-side
+ * counterpart is `TS_RESERVED_WORDS` from `@specverse/types`. Don't
+ * merge the two lists — they have distinct consumers and tuning
+ * lifecycles. NL adjectives are open-ended (extend as we see leakage);
+ * reserved identifiers are fixed by the target language spec.
+ */
+export const NL_LEADING_ADJECTIVES: readonly string[] = [
+  'new', 'existing', 'current', 'the', 'a', 'an',
+];
+
+/**
+ * Regex fragment for the optional leading-adjective skip, e.g.
+ *   pattern: new RegExp(`^create\\s+${NL_ADJECTIVE_PREFIX}(\\w+)…`, 'i')
+ *
+ * Patterns that prefer regex literals can inline the equivalent group:
+ *   /^create\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)…/i
+ * — keep this in sync if you do.
+ */
+export const NL_ADJECTIVE_PREFIX = `(?:(?:${NL_LEADING_ADJECTIVES.join('|')})\\s+)?`;
+
+// Safe-identifier primitives live in `@specverse/types`:
+//   - `safeEntityName(name)`   → returns the lowerCamel identifier, or
+//                                 null when the name would emit a TS
+//                                 reserved word as an entity reference
+//                                 (`prisma.<X>.create`). Use this in
+//                                 step-conventions' `generateCall` to
+//                                 replace the toVar+predicate pair.
+//   - `safeFunctionName(name)` → returns `{ name, reserved }`; on
+//                                 reserved input, name is suffix-renamed
+//                                 (`delete` → `delete_`) and the caller
+//                                 emits a re-export so consumers
+//                                 importing the original name still
+//                                 resolve. Used by the γ-stub renderers.
+// Import directly from `@specverse/types`; this file no longer
+// re-exports the predicate (was `isUnsafeEntityName`, retired in favour
+// of the more expressive primitives).
+
 // #54 (2026-05-10): SharedStepContext, SharedConvention, MatchResult
 // and MatcherFn are now canonical in @specverse/types. Re-exported here
 // so existing dynamic-import call sites that grab types from this path

package/libs/instance-factories/services/templates/mongodb-native/step-conventions.ts

@@ -21,6 +21,7 @@ import {
   type SharedConvention,
   type SharedStepContext,
 } from '../_shared/step-matching.js';
+import { safeEntityName } from '@specverse/types';
 
 export type MongoStepConvention = SharedConvention<MongoStepContext>;
 
@@ -178,7 +179,8 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
     generateCall: (m, ctx) => {
       const model = m[1];
       const field = m[2];
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const collection = toCollection(model);
       const params = ctx.parameterNames || [];
       const declared = ctx.declaredVars || new Set();
@@ -212,7 +214,8 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
       const model = m[1];
       const f1 = m[2];
       const f2 = m[3];
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const collection = toCollection(model);
       const declared = ctx.declaredVars || new Set();
       if (declared.has(modelVar)) {
@@ -246,13 +249,19 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
   },
 
   // --- Create model record ---
-  // Matches: "Create X", "Create new X with ..."
+  // Matches: "Create X", "Create new X with ...", "Create existing X with ...".
+  // Leading-adjective skip kept in sync with NL_LEADING_ADJECTIVES in
+  // _shared/step-matching.ts. Reserved-word safety net via
+  // safeEntityName from @specverse/types — returns null when the extracted noun would emit a TS reserved word
+  // (e.g. mis-parsed adjectives) by returning '' so the matcher falls
+  // through to the AI [WRITE] fallback.
   {
     name: 'create',
-    pattern: /^create\s+(?:new\s+)?(\w+)(?:\s+(?:with\s+)?(.+))?/i,
+    pattern: /^create\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)(?:\s+(?:with\s+)?(.+))?/i,
     generateCall: (m, ctx) => {
       const model = m[1];
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const collection = toCollection(model);
       const params = ctx.parameterNames || [];
       const declared = ctx.declaredVars || new Set();
@@ -272,12 +281,13 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
   // lets the AI layer handle it.
   {
     name: 'update-field',
-    pattern: /^update\s+(\w+)\s+(\w+)\s+to\s+(.+)/i,
+    pattern: /^update\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)\s+(\w+)\s+to\s+(.+)/i,
     generateCall: (m, ctx) => {
       const model = m[1];
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const field = m[2];
       const rawValue = m[3];
-      const modelVar = toVar(model);
       if (!ctx.declaredVars?.has(modelVar)) return '';  // signal "not really matched"
       const collection = toCollection(model);
       const val = resolveValue(rawValue, ctx);
@@ -292,11 +302,12 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
   // --- Update field timestamp (e.g. "Update device lastLoginAt timestamp") ---
   {
     name: 'update-field-timestamp',
-    pattern: /^update\s+(\w+)\s+(\w+)\s+timestamp$/i,
+    pattern: /^update\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)\s+(\w+)\s+timestamp$/i,
     generateCall: (m, ctx) => {
       const model = m[1];
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const field = m[2];
-      const modelVar = toVar(model);
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const collection = toCollection(model);
       return `    // Step ${ctx.stepNum}: Update ${model}.${field} timestamp
@@ -310,10 +321,11 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
   // --- Generic "Update X" (writes args back to record) ---
   {
     name: 'update',
-    pattern: /^update\s+(\w+)(?:\s+(.+))?$/i,
+    pattern: /^update\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)(?:\s+(.+))?$/i,
     generateCall: (m, ctx) => {
       const model = m[1];
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const collection = toCollection(model);
       return `    // Step ${ctx.stepNum}: Update ${model}
@@ -327,10 +339,11 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
   // --- Delete model record ---
   {
     name: 'delete',
-    pattern: /^delete\s+(\w+)/i,
+    pattern: /^delete\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)/i,
     generateCall: (m, ctx) => {
       const model = m[1];
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const collection = toCollection(model);
       return `    // Step ${ctx.stepNum}: Delete ${model}
@@ -349,7 +362,8 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
     generateCall: (m, ctx) => {
       const model = m[1];
       const state = m[2];
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const collection = toCollection(model);
       return `    // Step ${ctx.stepNum}: Transition ${model} to ${state}
@@ -424,7 +438,8 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
     pattern: /^(?:persist|save|store)\s+(\w+(?:\s+\w+)?)(?:\s+(?:for|to|record).*)?$/i,
     generateCall: (m, ctx) => {
       // m[1] may be "refresh token" — collapse to camelCase + collection
-      const target = toVar(m[1].replace(/\s+(.)/g, (_, c) => c.toUpperCase()));
+      const target = safeEntityName(m[1].replace(/\s+(.)/g, (_, c) => c.toUpperCase()));
+      if (!target) return '';
       const collection = toCollection(target);
       const recordSrc = mostRecentStepResult(ctx) ?? 'args';
       return `    // Step ${ctx.stepNum}: Persist ${m[1]}
@@ -442,7 +457,8 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
     name: 'conditional-create',
     pattern: /^if\s+(\w+)\s+does\s+not\s+exist,?\s+create\s+new\s+(\w+)(?:\s+with\s+.+)?$/i,
     generateCall: (m, ctx) => {
-      const modelVar = toVar(m[1]);
+      const modelVar = safeEntityName(m[1]);
+      if (!modelVar) return '';
       const Model = pascal(m[2]);
       const collection = toCollection(Model);
       if (!ctx.declaredVars?.has(modelVar)) return '';  // need prior find
@@ -472,7 +488,8 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
     name: 'conditional-update',
     pattern: /^if\s+(\w+)\s+exists,?\s+update\s+(\w+)(?:\s+(.+))?$/i,
     generateCall: (m, ctx) => {
-      const modelVar = toVar(m[1]);
+      const modelVar = safeEntityName(m[1]);
+      if (!modelVar) return '';
       const field = m[2];
       const collection = toCollection(m[1]);
       if (!ctx.declaredVars?.has(modelVar)) return '';
@@ -547,7 +564,8 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
     pattern: /^otherwise\s+create\s+(?:new\s+)?(\w+)\s+record$/i,
     generateCall: (m, ctx) => {
       const Model = pascal(m[1]);
-      const modelVar = toVar(Model);
+      const modelVar = safeEntityName(Model);
+      if (!modelVar) return '';
       const collection = toCollection(Model);
       // The model var was declared (as `let`) by the find that paired
       // with the prior conditional-update; reassign it here so downstream
@@ -612,9 +630,11 @@ export const MONGO_STEP_CONVENTIONS: MongoStepConvention[] = [
     generateCall: (m, ctx) => {
       const service = m[1];
       const method = m[2];
+      const serviceVar = safeEntityName(service);
+      if (!serviceVar) return '';
       const args = (ctx.parameterNames || []).join(', ');
       return `    // Step ${ctx.stepNum}: Call ${service}.${method}
-    await (${toVar(service)} as any).${method}({ ${args} });`;
+    await (${serviceVar} as any).${method}({ ${args} });`;
     },
   },
 

package/libs/instance-factories/services/templates/postgres-native/step-conventions.ts

@@ -20,6 +20,7 @@ import {
   type SharedConvention,
   type SharedStepContext,
 } from '../_shared/step-matching.js';
+import { safeEntityName } from '@specverse/types';
 
 export type PgStepConvention = SharedConvention<PgStepContext>;
 
@@ -146,7 +147,8 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
     generateCall: (m, ctx) => {
       const model = m[1]!;
       const field = m[2]!;
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const table = toTable(model);
       const params = ctx.parameterNames || [];
       const declared = ctx.declaredVars || new Set();
@@ -174,7 +176,8 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
       const model = m[1]!;
       const f1 = m[2]!;
       const f2 = m[3]!;
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const table = toTable(model);
       const declared = ctx.declaredVars || new Set();
       if (declared.has(modelVar)) {
@@ -201,10 +204,13 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
   // --- Create model record ---
   {
     name: 'create',
-    pattern: /^create\s+(?:new\s+)?(\w+)(?:\s+(?:with\s+)?(.+))?/i,
+    // Leading-adjective skip (NL_LEADING_ADJECTIVES) + isUnsafeEntityName
+    // safety net — see comment in prisma/step-conventions.ts "find" block.
+    pattern: /^create\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)(?:\s+(?:with\s+)?(.+))?/i,
     generateCall: (m, ctx) => {
       const model = m[1]!;
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const table = toTable(model);
       const params = ctx.parameterNames || [];
       const declared = ctx.declaredVars || new Set();
@@ -218,12 +224,13 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
   // --- Update specific field on previously-loaded model ---
   {
     name: 'update-field',
-    pattern: /^update\s+(\w+)\s+(\w+)\s+to\s+(.+)/i,
+    pattern: /^update\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)\s+(\w+)\s+to\s+(.+)/i,
     generateCall: (m, ctx) => {
       const model = m[1]!;
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const field = m[2]!;
       const rawValue = m[3]!;
-      const modelVar = toVar(model);
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const table = toTable(model);
       const val = resolveValue(rawValue, ctx);
@@ -235,11 +242,12 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
   // --- Update field timestamp ---
   {
     name: 'update-field-timestamp',
-    pattern: /^update\s+(\w+)\s+(\w+)\s+timestamp$/i,
+    pattern: /^update\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)\s+(\w+)\s+timestamp$/i,
     generateCall: (m, ctx) => {
       const model = m[1]!;
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       const field = m[2]!;
-      const modelVar = toVar(model);
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const table = toTable(model);
       return `    // Step ${ctx.stepNum}: Update ${model}.${field} timestamp
@@ -250,10 +258,11 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
   // --- Generic "Update X" (writes args back) ---
   {
     name: 'update',
-    pattern: /^update\s+(\w+)(?:\s+(.+))?$/i,
+    pattern: /^update\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)(?:\s+(.+))?$/i,
     generateCall: (m, ctx) => {
       const model = m[1]!;
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const table = toTable(model);
       return `    // Step ${ctx.stepNum}: Update ${model}
@@ -264,10 +273,11 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
   // --- Delete model record ---
   {
     name: 'delete',
-    pattern: /^delete\s+(\w+)/i,
+    pattern: /^delete\s+(?:(?:new|existing|current|the|a|an)\s+)?(\w+)/i,
     generateCall: (m, ctx) => {
       const model = m[1]!;
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const table = toTable(model);
       return `    // Step ${ctx.stepNum}: Delete ${model}
@@ -282,7 +292,8 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
     generateCall: (m, ctx) => {
       const model = m[1]!;
       const state = m[2]!;
-      const modelVar = toVar(model);
+      const modelVar = safeEntityName(model);
+      if (!modelVar) return '';
       if (!ctx.declaredVars?.has(modelVar)) return '';
       const table = toTable(model);
       return `    // Step ${ctx.stepNum}: Transition ${model} to ${state}
@@ -337,7 +348,8 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
     name: 'persist',
     pattern: /^(?:persist|save|store)\s+(\w+(?:\s+\w+)?)(?:\s+(?:for|to|record).*)?$/i,
     generateCall: (m, ctx) => {
-      const target = toVar(m[1]!.replace(/\s+(.)/g, (_, c) => c.toUpperCase()));
+      const target = safeEntityName(m[1]!.replace(/\s+(.)/g, (_, c) => c.toUpperCase()));
+      if (!target) return '';
       const table = toTable(target);
       const recordSrc = mostRecentStepResult(ctx) ?? 'args';
       // Ensure `record` is an object before insertOne — wrap primitives.
@@ -355,7 +367,8 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
     name: 'conditional-create',
     pattern: /^if\s+(\w+)\s+does\s+not\s+exist,?\s+create\s+new\s+(\w+)(?:\s+with\s+.+)?$/i,
     generateCall: (m, ctx) => {
-      const modelVar = toVar(m[1]!);
+      const modelVar = safeEntityName(m[1]!);
+      if (!modelVar) return '';
       const Model = pascal(m[2]!);
       const table = toTable(Model);
       if (!ctx.declaredVars?.has(modelVar)) return '';
@@ -374,7 +387,8 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
     name: 'conditional-update',
     pattern: /^if\s+(\w+)\s+exists,?\s+update\s+(\w+)(?:\s+(.+))?$/i,
     generateCall: (m, ctx) => {
-      const modelVar = toVar(m[1]!);
+      const modelVar = safeEntityName(m[1]!);
+      if (!modelVar) return '';
       const field = m[2]!;
       const table = toTable(m[1]!);
       if (!ctx.declaredVars?.has(modelVar)) return '';
@@ -428,7 +442,8 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
     pattern: /^otherwise\s+create\s+(?:new\s+)?(\w+)\s+record$/i,
     generateCall: (m, ctx) => {
       const Model = pascal(m[1]!);
-      const modelVar = toVar(Model);
+      const modelVar = safeEntityName(Model);
+      if (!modelVar) return '';
       const table = toTable(Model);
       const wasDeclared = ctx.declaredVars?.has(modelVar);
       const declared = Array.from(ctx.declaredVars || []);
@@ -480,9 +495,11 @@ export const PG_STEP_CONVENTIONS: PgStepConvention[] = [
     generateCall: (m, ctx) => {
       const service = m[1]!;
       const method = m[2]!;
+      const serviceVar = safeEntityName(service);
+      if (!serviceVar) return '';
       const args = (ctx.parameterNames || []).join(', ');
       return `    // Step ${ctx.stepNum}: Call ${service}.${method}
-    await (${toVar(service)} as any).${method}({ ${args} });`;
+    await (${serviceVar} as any).${method}({ ${args} });`;
     },
   },