@specverse/engines 6.0.7 → 6.0.9

package/dist/analyse-prepass/backends/method-patterns.js

@@ -0,0 +1,177 @@
+/** Region markers SpecVerse-realized backends emit in behavior method bodies. */
+const REGION_MARKERS = {
+    preconditions: /===\s*PRECONDITIONS\s*===/,
+    execute: /===\s*EXECUTE\s*===/,
+    postconditions: /===\s*POSTCONDITIONS\s*===/,
+    events: /===\s*EVENTS\s*===/,
+};
+/** Slice a method body into the canonical PRECONDITIONS/EXECUTE/POSTCONDITIONS/EVENTS regions. */
+export function sliceBody(body) {
+    // Detect each marker's position in the body
+    const positions = [];
+    for (const [name, regex] of Object.entries(REGION_MARKERS)) {
+        const match = body.match(regex);
+        if (match && match.index !== undefined) {
+            positions.push({ name: name, pos: match.index });
+        }
+    }
+    if (positions.length === 0)
+        return undefined;
+    positions.sort((a, b) => a.pos - b.pos);
+    const out = {};
+    for (let i = 0; i < positions.length; i++) {
+        const { name, pos } = positions[i];
+        const next = i + 1 < positions.length ? positions[i + 1].pos : body.length;
+        out[name] = body.slice(pos, next).trim();
+    }
+    return out;
+}
+/** Extract event names emitted from a TS/JS method body. */
+export function extractEmits(body) {
+    const out = new Set();
+    // Common emission patterns:
+    //   eventBus.emit('Foo', ...)             eventBus.publish('Foo', ...)
+    //   emit('Foo', ...)                      this.dispatchEvent('Foo', ...)
+    //   subject.next(new FooEvent())          this.bus.publish('Foo', ...)
+    //   pubsub.publish('Foo', ...)            this.events.emit('Foo', ...)
+    const stringEmitRegex = /(?:emit|publish|dispatchEvent|next)\s*\(\s*['"`]([^'"`]+)['"`]/g;
+    for (const m of body.matchAll(stringEmitRegex)) {
+        out.add(m[1]);
+    }
+    // For "subject.next(new FooEvent())" type patterns, capture the constructor name
+    const constructorEmitRegex = /\.next\s*\(\s*new\s+(\w+Event)\s*\(/g;
+    for (const m of body.matchAll(constructorEmitRegex)) {
+        out.add(m[1]);
+    }
+    return [...out];
+}
+/** Extract Prisma-style DB writes from a TS/JS method body. */
+export function extractDbWrites(body) {
+    const out = [];
+    // Prisma: prisma.modelName.create(...)/.update(...)/.delete(...)/.upsert(...)
+    // Capture entity name (camelCase) and op
+    const prismaRegex = /\bprisma\.(\w+)\.(create|update|delete|upsert|createMany|updateMany|deleteMany)\s*\(/g;
+    for (const m of body.matchAll(prismaRegex)) {
+        const entity = m[1].charAt(0).toUpperCase() + m[1].slice(1); // pollOption → PollOption
+        const opRaw = m[2];
+        const op = opRaw.startsWith('create')
+            ? 'create'
+            : opRaw.startsWith('update')
+                ? 'update'
+                : opRaw.startsWith('delete')
+                    ? 'delete'
+                    : opRaw === 'upsert'
+                        ? 'upsert'
+                        : 'unknown';
+        out.push({ entity, op });
+    }
+    // TypeORM: repository.save() / .update() / .remove()
+    const typeormRegex = /\b(\w*[Rr]epository)\.(save|update|remove|delete|insert|upsert)\s*\(/g;
+    for (const m of body.matchAll(typeormRegex)) {
+        const repoName = m[1];
+        const entity = repoName.replace(/Repository$/i, '');
+        const opRaw = m[2];
+        const op = opRaw === 'save' || opRaw === 'insert'
+            ? 'create'
+            : opRaw === 'update'
+                ? 'update'
+                : opRaw === 'remove' || opRaw === 'delete'
+                    ? 'delete'
+                    : opRaw === 'upsert'
+                        ? 'upsert'
+                        : 'unknown';
+        if (entity)
+            out.push({ entity, op });
+    }
+    return out;
+}
+/** Extract external system calls from a TS/JS method body. */
+export function extractExternalCalls(body) {
+    const out = [];
+    // HTTP: fetch / axios.X / http.request / got / undici
+    if (/\bfetch\s*\(/.test(body) || /\baxios\.\w+\s*\(/.test(body) ||
+        /\bhttp[s]?\.(request|get|post)\s*\(/.test(body) ||
+        /\bgot\.\w+\s*\(/.test(body)) {
+        out.push({ kind: 'http' });
+    }
+    // Queue: kafka / rabbit / sqs
+    if (/\bkafka\.\w+\s*\(/.test(body) || /\brabbit\w*\.\w+\s*\(/.test(body) ||
+        /\bsqs\.\w+\s*\(/.test(body)) {
+        out.push({ kind: 'queue' });
+    }
+    // Cache: redis / memcached / cache.X
+    if (/\bredis\.\w+\s*\(/.test(body) || /\bmemcached\.\w+\s*\(/.test(body) ||
+        /\bcache\.\w+\s*\(/.test(body)) {
+        out.push({ kind: 'cache' });
+    }
+    return out;
+}
+/** Extract throw statements (the type of error being thrown). */
+export function extractThrows(body) {
+    const out = new Set();
+    // throw new ErrorType(...) — captures the constructor name
+    const throwNewRegex = /throw\s+new\s+(\w+)\s*\(/g;
+    for (const m of body.matchAll(throwNewRegex)) {
+        out.add(m[1]);
+    }
+    return [...out];
+}
+/** Find async boundaries (await / Promise.all / Promise.race). */
+export function extractAsyncBoundaries(body) {
+    const out = [];
+    const lines = body.split('\n');
+    for (let i = 0; i < lines.length; i++) {
+        const line = lines[i];
+        if (/\bawait\b/.test(line)) {
+            if (/Promise\.all\b/.test(line)) {
+                out.push({ type: 'promise.all', line: i + 1 });
+            }
+            else if (/Promise\.race\b/.test(line)) {
+                out.push({ type: 'promise.race', line: i + 1 });
+            }
+            else if (/Promise\.allSettled\b/.test(line)) {
+                out.push({ type: 'promise.allSettled', line: i + 1 });
+            }
+            else {
+                out.push({ type: 'await', line: i + 1 });
+            }
+        }
+    }
+    return out;
+}
+/** Count branch points — if / else if / switch case / catch / ternary. */
+export function countBranchPoints(body) {
+    let count = 0;
+    // `if (...)`, but exclude `else if` (avoids double-counting; we count the if portion)
+    count += (body.match(/\bif\s*\(/g) || []).length;
+    count += (body.match(/\bcase\s+/g) || []).length;
+    count += (body.match(/\bcatch\s*\(/g) || []).length;
+    // Ternaries: `... ? ... : ...` — count each occurrence of `?...:` (rough proxy)
+    count += (body.match(/\?\s*[^:?]+:/g) || []).length;
+    return count;
+}
+/**
+ * Heuristic: extract called functions from a method body via regex
+ * (fallback when call graph isn't available — grep-only backend).
+ * Returns deduplicated function names. Filters out language keywords.
+ */
+const KEYWORD_FILTER = new Set([
+    'if', 'for', 'while', 'switch', 'catch', 'return', 'throw', 'new',
+    'await', 'typeof', 'instanceof', 'function', 'async', 'yield',
+    'console', 'JSON', 'Object', 'Array', 'String', 'Number', 'Boolean',
+    'Math', 'Date', 'Promise', 'Error', 'Map', 'Set',
+]);
+export function extractCallNames(body) {
+    const out = new Set();
+    // Match `name(` or `obj.name(` — capture the identifier before `(`
+    // For chained calls (obj.method()), this captures the last identifier
+    const callRegex = /\b(\w+)\s*\(/g;
+    for (const m of body.matchAll(callRegex)) {
+        const name = m[1];
+        if (KEYWORD_FILTER.has(name))
+            continue;
+        out.add(name);
+    }
+    return [...out];
+}
+//# sourceMappingURL=method-patterns.js.map

package/dist/analyse-prepass/backends/method-patterns.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"method-patterns.js","sourceRoot":"","sources":["../../../src/analyse-prepass/backends/method-patterns.ts"],"names":[],"mappings":"AAYA,iFAAiF;AACjF,MAAM,cAAc,GAAG;IACrB,aAAa,EAAE,2BAA2B;IAC1C,OAAO,EAAE,qBAAqB;IAC9B,cAAc,EAAE,4BAA4B;IAC5C,MAAM,EAAE,oBAAoB;CAC7B,CAAC;AAEF,kGAAkG;AAClG,MAAM,UAAU,SAAS,CAAC,IAAY;IACpC,4CAA4C;IAC5C,MAAM,SAAS,GAA8D,EAAE,CAAC;IAChF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QAC3D,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAChC,IAAI,KAAK,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACvC,SAAS,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAmC,EAAE,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC;QAClF,CAAC;IACH,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC7C,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC;IAExC,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC1C,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;QACnC,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC;QAC3E,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,4DAA4D;AAC5D,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,4BAA4B;IAC5B,uEAAuE;IACvE,yEAAyE;IACzE,uEAAuE;IACvE,uEAAuE;IACvE,MAAM,eAAe,GAAG,iEAAiE,CAAC;IAC1F,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,CAAC;QAC/C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,iFAAiF;IACjF,MAAM,oBAAoB,GAAG,sCAAsC,CAAC;IACpE,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,EAAE,CAAC;QACpD,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,+DAA+D;AAC/D,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,MAAM,GAAG,GAAgC,EAAE,CAAC;IAC5C,8EAA8E;IAC9E,yCAAyC;IACzC,MAAM,WAAW,GAAG,uFAAuF,CAAC;IAC5G,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,CAAC;QAC3C,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAE,0BAA0B;QACxF,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;YACnC,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;gBAC1B,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,QAAQ,CAAC;oBAC1B,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,KAAK,KAAK,QAAQ;wBAClB,CAAC,CAAC,QAAQ;wBACV,CAAC,CAAC,SAAS,CAAC;QACpB,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3B,CAAC;IACD,qDAAqD;IACrD,MAAM,YAAY,GAAG,uEAAuE,CAAC;IAC7F,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC5C,MAAM,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,MAAM,GAAG,QAAQ,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;QACpD,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACnB,MAAM,EAAE,GAAG,KAAK,KAAK,MAAM,IAAI,KAAK,KAAK,QAAQ;YAC/C,CAAC,CAAC,QAAQ;YACV,CAAC,CAAC,KAAK,KAAK,QAAQ;gBAClB,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,QAAQ;oBACxC,CAAC,CAAC,QAAQ;oBACV,CAAC,CAAC,KAAK,KAAK,QAAQ;wBAClB,CAAC,CAAC,QAAQ;wBACV,CAAC,CAAC,SAAS,CAAC;QACpB,IAAI,MAAM;YAAE,GAAG,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,CAAC;IACvC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,oBAAoB,CAAC,IAAY;IAC/C,MAAM,GAAG,GAAqC,EAAE,CAAC;IACjD,sDAAsD;IACtD,IAAI,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC;QAC3D,qCAAqC,CAAC,IAAI,CAAC,IAAI,CAAC;QAChD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC7B,CAAC;IACD,8BAA8B;IAC9B,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;QACpE,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,qCAAqC;IACrC,IAAI,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;QACpE,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IAC9B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,2DAA2D;IAC3D,MAAM,aAAa,GAAG,2BAA2B,CAAC;IAClD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC;QAC7C,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC;AAED,kEAAkE;AAClE,MAAM,UAAU,sBAAsB,CAAC,IAAY;IACjD,MAAM,GAAG,GAAuC,EAAE,CAAC;IACnD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;QACtB,IAAI,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,IAAI,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAChC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACjD,CAAC;iBAAM,IAAI,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAClD,CAAC;iBAAM,IAAI,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9C,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,oBAAoB,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YACxD,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAC3C,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,iBAAiB,CAAC,IAAY;IAC5C,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,sFAAsF;IACtF,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACjD,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACjD,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACpD,gFAAgF;IAChF,KAAK,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC;IACpD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;GAIG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC7B,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK;IACjE,OAAO,EAAE,QAAQ,EAAE,YAAY,EAAE,UAAU,EAAE,OAAO,EAAE,OAAO;IAC7D,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS;IACnE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK;CACjD,CAAC,CAAC;AAEH,MAAM,UAAU,gBAAgB,CAAC,IAAY;IAC3C,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,mEAAmE;IACnE,sEAAsE;IACtE,MAAM,SAAS,GAAG,eAAe,CAAC;IAClC,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QACzC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAClB,IAAI,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,SAAS;QACvC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IACD,OAAO,CAAC,GAAG,GAAG,CAAC,CAAC;AAClB,CAAC"}

package/dist/analyse-prepass/backends/walk.d.ts

@@ -0,0 +1,7 @@
+/** Walk dir recursively, returning absolute file paths. */
+export declare function walkSourceTree(dir: string): string[];
+/** Map common file extensions to language identifiers used by the indexer. */
+export declare function detectLanguage(filePath: string): string | null;
+/** Convert a minimal glob (`**`, `*`, `?`) to a regex for file path matching. */
+export declare function globToRegex(glob: string): RegExp;
+//# sourceMappingURL=walk.d.ts.map

package/dist/analyse-prepass/backends/walk.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.d.ts","sourceRoot":"","sources":["../../../src/analyse-prepass/backends/walk.ts"],"names":[],"mappings":"AAkBA,2DAA2D;AAC3D,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,EAAE,CA8BpD;AAED,8EAA8E;AAC9E,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAuC9D;AAED,iFAAiF;AACjF,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAQhD"}

package/dist/analyse-prepass/backends/walk.js

@@ -0,0 +1,105 @@
+/**
+ * Shared filesystem walker — used by both grep-only and codegraph backends
+ * for `listFiles()`. The richer backends index *symbols* in their preferred
+ * languages, but the file inventory itself comes from a plain fs walk so
+ * adapters can find arbitrary file types (schema.prisma, package.json,
+ * config files, etc.).
+ */
+import { readdirSync, statSync } from 'fs';
+import { join, extname } from 'path';
+/** Common dirs to exclude from any walk. */
+const EXCLUDE_DIRS = new Set([
+    'node_modules', '.git', '.svn', '.hg',
+    'dist', 'build', 'out', 'target', '__pycache__',
+    '.codegraph', '.gitnexus',
+    'coverage', '.next', '.nuxt',
+]);
+/** Walk dir recursively, returning absolute file paths. */
+export function walkSourceTree(dir) {
+    const out = [];
+    const stack = [dir];
+    while (stack.length > 0) {
+        const cur = stack.pop();
+        let entries;
+        try {
+            entries = readdirSync(cur);
+        }
+        catch {
+            continue;
+        }
+        for (const entry of entries) {
+            if (EXCLUDE_DIRS.has(entry))
+                continue;
+            // Skip dotfiles + hidden dirs (except known ones we'd want to expose later)
+            if (entry.startsWith('.'))
+                continue;
+            const full = join(cur, entry);
+            let st;
+            try {
+                st = statSync(full);
+            }
+            catch {
+                continue;
+            }
+            if (st.isDirectory()) {
+                stack.push(full);
+            }
+            else if (st.isFile()) {
+                out.push(full);
+            }
+        }
+    }
+    return out;
+}
+/** Map common file extensions to language identifiers used by the indexer. */
+export function detectLanguage(filePath) {
+    const ext = extname(filePath).toLowerCase();
+    switch (ext) {
+        case '.ts':
+        case '.tsx':
+            return 'typescript';
+        case '.js':
+        case '.jsx':
+        case '.mjs':
+        case '.cjs':
+            return 'javascript';
+        case '.py':
+            return 'python';
+        case '.go':
+            return 'go';
+        case '.rs':
+            return 'rust';
+        case '.java':
+            return 'java';
+        case '.kt':
+            return 'kotlin';
+        case '.swift':
+            return 'swift';
+        case '.cs':
+            return 'csharp';
+        case '.rb':
+            return 'ruby';
+        case '.php':
+            return 'php';
+        case '.c':
+        case '.h':
+            return 'c';
+        case '.cpp':
+        case '.cc':
+        case '.hpp':
+            return 'cpp';
+        default:
+            return null;
+    }
+}
+/** Convert a minimal glob (`**`, `*`, `?`) to a regex for file path matching. */
+export function globToRegex(glob) {
+    const escaped = glob.replace(/[.+^${}()|\\]/g, '\\$&');
+    const pattern = escaped
+        .replace(/\*\*/g, '__DOUBLESTAR__')
+        .replace(/\*/g, '[^/]*')
+        .replace(/__DOUBLESTAR__/g, '.*')
+        .replace(/\?/g, '[^/]');
+    return new RegExp(pattern + '$');
+}
+//# sourceMappingURL=walk.js.map

package/dist/analyse-prepass/backends/walk.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"walk.js","sourceRoot":"","sources":["../../../src/analyse-prepass/backends/walk.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,IAAI,CAAC;AAC3C,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAErC,4CAA4C;AAC5C,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC;IAC3B,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK;IACrC,MAAM,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa;IAC/C,YAAY,EAAE,WAAW;IACzB,UAAU,EAAE,OAAO,EAAE,OAAO;CAC7B,CAAC,CAAC;AAEH,2DAA2D;AAC3D,MAAM,UAAU,cAAc,CAAC,GAAW;IACxC,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,KAAK,GAAa,CAAC,GAAG,CAAC,CAAC;IAC9B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,EAAG,CAAC;QACzB,IAAI,OAAiB,CAAC;QACtB,IAAI,CAAC;YACH,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC;QAC7B,CAAC;QAAC,MAAM,CAAC;YACP,SAAS;QACX,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,IAAI,YAAY,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YACtC,4EAA4E;YAC5E,IAAI,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,SAAS;YACpC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;YAC9B,IAAI,EAAE,CAAC;YACP,IAAI,CAAC;gBACH,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;YACtB,CAAC;YAAC,MAAM,CAAC;gBACP,SAAS;YACX,CAAC;YACD,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;iBAAM,IAAI,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;gBACvB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,cAAc,CAAC,QAAgB;IAC7C,MAAM,GAAG,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC,WAAW,EAAE,CAAC;IAC5C,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,OAAO,YAAY,CAAC;QACtB,KAAK,KAAK,CAAC;QACX,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM,CAAC;QACZ,KAAK,MAAM;YACT,OAAO,YAAY,CAAC;QACtB,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,IAAI,CAAC;QACd,KAAK,KAAK;YACR,OAAO,MAAM,CAAC;QAChB,KAAK,OAAO;YACV,OAAO,MAAM,CAAC;QAChB,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,OAAO,CAAC;QACjB,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC;QAClB,KAAK,KAAK;YACR,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf,KAAK,IAAI,CAAC;QACV,KAAK,IAAI;YACP,OAAO,GAAG,CAAC;QACb,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACT,OAAO,KAAK,CAAC;QACf;YACE,OAAO,IAAI,CAAC;IAChB,CAAC;AACH,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,WAAW,CAAC,IAAY;IACtC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,gBAAgB,EAAE,MAAM,CAAC,CAAC;IACvD,MAAM,OAAO,GAAG,OAAO;SACpB,OAAO,CAAC,OAAO,EAAE,gBAAgB,CAAC;SAClC,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC;SACvB,OAAO,CAAC,iBAAiB,EAAE,IAAI,CAAC;SAChC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;IAC1B,OAAO,IAAI,MAAM,CAAC,OAAO,GAAG,GAAG,CAAC,CAAC;AACnC,CAAC"}

package/dist/analyse-prepass/index.d.ts

@@ -0,0 +1,76 @@
+/**
+ * Structural pre-pass for analyse — orchestrator + public exports.
+ *
+ * Walks a source directory, extracts deterministic structural facts,
+ * translates them into SpecVerse vocabulary via per-framework adapters,
+ * and produces a `SpecVerseFacts` object suitable for injection into the
+ * analyse prompt as a structural-context preamble.
+ *
+ * Design: see specverse-self/docs/proposals/STRUCTURAL-PREPASS-FOR-ANALYSE.md
+ *
+ * Usage:
+ *   import { runPrepass } from '@specverse/engines/analyse-prepass';
+ *   const facts = await runPrepass('/path/to/source');
+ *   // facts.entities, facts.relationships, facts.lifecycles, ...
+ */
+export type { StructuralPrepass, Symbol, Import, Capabilities, FileFilter, ClassFilter, MethodFilter, InterfaceFilter, IndexResult, MethodFactSheet, } from './interface.js';
+export { GrepOnlyBackend, CodeGraphBackend, GitNexusBackend, selectBackend, type BackendName, } from './backends/index.js';
+export { extractTypeScriptPrisma, type PrismaFacts, type PrismaEntity, type PrismaField, type PrismaRelation, } from './adapters/index.js';
+import { type BackendName } from './backends/index.js';
+import type { StructuralPrepass } from './interface.js';
+export interface SpecVerseFacts {
+    /** Detected entities (model candidates). */
+    entities: Array<{
+        name: string;
+        filePath: string;
+        sourceFramework: string;
+    }>;
+    /** Detected relationships between entities. */
+    relationships: Array<{
+        from: string;
+        to: string;
+        type: 'belongsTo' | 'hasMany' | 'hasOne';
+        cascade?: boolean;
+    }>;
+    /** Detected lifecycle declarations: states attached to a model's status field. */
+    lifecycles: Array<{
+        model: string;
+        field: string;
+        states: string[];
+    }>;
+    /** Provenance: which adapter(s) ran, what backend was used. */
+    meta: {
+        backend: string;
+        backendCapabilities: Record<string, boolean>;
+        adaptersRun: string[];
+        sourceDir: string;
+        durationMs: number;
+    };
+}
+export interface RunPrepassOptions {
+    /** Backend to use; defaults to 'auto' (CodeGraph if available, else grep-only). */
+    backend?: BackendName;
+    /** Pre-built backend instance (advanced; bypasses selectBackend). */
+    prepass?: StructuralPrepass;
+    /** Skip adapter selection and run only the named ones. Default = all detected. */
+    adapters?: Array<'typescript-prisma'>;
+}
+/**
+ * Run the structural pre-pass on a source directory.
+ *
+ * Pipeline:
+ *   1. Select / receive a backend (`StructuralPrepass`)
+ *   2. Initialize + index the source dir
+ *   3. Detect which adapters apply (e.g. schema.prisma exists → TS+Prisma)
+ *   4. Run each detected adapter to extract framework-specific facts
+ *   5. Merge facts into a single SpecVerse-vocabulary `SpecVerseFacts` object
+ */
+export declare function runPrepass(sourceDir: string, options?: RunPrepassOptions): Promise<SpecVerseFacts>;
+/**
+ * Format a `SpecVerseFacts` object as a markdown block suitable for
+ * injection into the analyse prompt's user template (mirrors the format
+ * from the existing manually-extracted facts files used in §5/§6
+ * experiments).
+ */
+export declare function formatFactsAsMarkdown(facts: SpecVerseFacts): string;
+//# sourceMappingURL=index.d.ts.map

package/dist/analyse-prepass/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/analyse-prepass/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;AACH,YAAY,EACV,iBAAiB,EACjB,MAAM,EACN,MAAM,EACN,YAAY,EACZ,UAAU,EACV,WAAW,EACX,YAAY,EACZ,eAAe,EACf,WAAW,EACX,eAAe,GAChB,MAAM,gBAAgB,CAAC;AAExB,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,aAAa,EACb,KAAK,WAAW,GACjB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,uBAAuB,EACvB,KAAK,WAAW,EAChB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,cAAc,GACpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAiB,KAAK,WAAW,EAAE,MAAM,qBAAqB,CAAC;AAEtE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAExD,MAAM,WAAW,cAAc;IAC7B,4CAA4C;IAC5C,QAAQ,EAAE,KAAK,CAAC;QACd,IAAI,EAAE,MAAM,CAAC;QACb,QAAQ,EAAE,MAAM,CAAC;QACjB,eAAe,EAAE,MAAM,CAAC;KACzB,CAAC,CAAC;IACH,+CAA+C;IAC/C,aAAa,EAAE,KAAK,CAAC;QACnB,IAAI,EAAE,MAAM,CAAC;QACb,EAAE,EAAE,MAAM,CAAC;QACX,IAAI,EAAE,WAAW,GAAG,SAAS,GAAG,QAAQ,CAAC;QACzC,OAAO,CAAC,EAAE,OAAO,CAAC;KACnB,CAAC,CAAC;IACH,kFAAkF;IAClF,UAAU,EAAE,KAAK,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;QACd,MAAM,EAAE,MAAM,EAAE,CAAC;KAClB,CAAC,CAAC;IACH,+DAA+D;IAC/D,IAAI,EAAE;QACJ,OAAO,EAAE,MAAM,CAAC;QAChB,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC7C,WAAW,EAAE,MAAM,EAAE,CAAC;QACtB,SAAS,EAAE,MAAM,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;KACpB,CAAC;CACH;AAED,MAAM,WAAW,iBAAiB;IAChC,mFAAmF;IACnF,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,qEAAqE;IACrE,OAAO,CAAC,EAAE,iBAAiB,CAAC;IAC5B,kFAAkF;IAClF,QAAQ,CAAC,EAAE,KAAK,CAAC,mBAAmB,CAAC,CAAC;CACvC;AAED;;;;;;;;;GASG;AACH,wBAAsB,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,GAAE,iBAAsB,GAAG,OAAO,CAAC,cAAc,CAAC,CAyD5G;AAED;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,cAAc,GAAG,MAAM,CA2CnE"}

package/dist/analyse-prepass/index.js

@@ -0,0 +1,114 @@
+export { GrepOnlyBackend, CodeGraphBackend, GitNexusBackend, selectBackend, } from './backends/index.js';
+export { extractTypeScriptPrisma, } from './adapters/index.js';
+import { selectBackend } from './backends/index.js';
+import { extractTypeScriptPrisma } from './adapters/index.js';
+/**
+ * Run the structural pre-pass on a source directory.
+ *
+ * Pipeline:
+ *   1. Select / receive a backend (`StructuralPrepass`)
+ *   2. Initialize + index the source dir
+ *   3. Detect which adapters apply (e.g. schema.prisma exists → TS+Prisma)
+ *   4. Run each detected adapter to extract framework-specific facts
+ *   5. Merge facts into a single SpecVerse-vocabulary `SpecVerseFacts` object
+ */
+export async function runPrepass(sourceDir, options = {}) {
+    const start = Date.now();
+    const prepass = options.prepass ?? selectBackend(options.backend ?? 'auto');
+    await prepass.init(sourceDir);
+    await prepass.index();
+    const adaptersRun = [];
+    const facts = {
+        entities: [],
+        relationships: [],
+        lifecycles: [],
+        meta: {
+            backend: prepass.constructor.name,
+            backendCapabilities: { ...prepass.capabilities },
+            adaptersRun: [],
+            sourceDir,
+            durationMs: 0,
+        },
+    };
+    // ── TypeScript + Prisma adapter ──
+    // Detect via schema.prisma presence. (Future: also TypeORM via @Entity decorators,
+    // Sequelize via Model.init calls, Drizzle via *.schema.ts, etc.)
+    const prismaSchemas = await prepass.listFiles({ glob: '**/schema.prisma' });
+    if (prismaSchemas.length > 0) {
+        adaptersRun.push('typescript-prisma');
+        const prisma = await extractTypeScriptPrisma(prepass);
+        for (const ent of prisma.entities) {
+            facts.entities.push({
+                name: ent.name,
+                filePath: ent.filePath,
+                sourceFramework: 'prisma',
+            });
+            if (ent.lifecycleStates && ent.lifecycleField) {
+                facts.lifecycles.push({
+                    model: ent.name,
+                    field: ent.lifecycleField,
+                    states: ent.lifecycleStates,
+                });
+            }
+        }
+        for (const rel of prisma.relationships) {
+            facts.relationships.push({
+                from: rel.fromModel,
+                to: rel.toModel,
+                type: rel.type,
+                cascade: rel.cascade,
+            });
+        }
+    }
+    // Future adapters slot in here. Each detects its applicability + runs.
+    facts.meta.adaptersRun = adaptersRun;
+    facts.meta.durationMs = Date.now() - start;
+    return facts;
+}
+/**
+ * Format a `SpecVerseFacts` object as a markdown block suitable for
+ * injection into the analyse prompt's user template (mirrors the format
+ * from the existing manually-extracted facts files used in §5/§6
+ * experiments).
+ */
+export function formatFactsAsMarkdown(facts) {
+    const lines = [];
+    lines.push('# Structural facts extracted from source via Tree-sitter + per-framework adapters');
+    lines.push('');
+    lines.push('These facts are deterministic — extracted from AST analysis');
+    lines.push('and source-pattern matching, NOT LLM judgment. Treat as ground');
+    lines.push('truth for what symbols/files exist; verify SpecVerse semantics');
+    lines.push('against the source where you can.');
+    lines.push('');
+    lines.push(`Backend: ${facts.meta.backend} | Adapters: ${facts.meta.adaptersRun.join(', ') || '(none)'}`);
+    lines.push('');
+    if (facts.entities.length > 0) {
+        lines.push('## Entities (model candidates)');
+        lines.push('');
+        for (const ent of facts.entities) {
+            lines.push(`- **${ent.name}** — declared in ${ent.filePath} (via ${ent.sourceFramework})`);
+        }
+        lines.push('');
+    }
+    if (facts.relationships.length > 0) {
+        lines.push('## Relationships');
+        lines.push('');
+        for (const r of facts.relationships) {
+            const cascade = r.cascade ? ' cascade' : '';
+            lines.push(`- ${r.from} ${r.type} ${r.to}${cascade}`);
+        }
+        lines.push('');
+    }
+    if (facts.lifecycles.length > 0) {
+        lines.push('## Lifecycle states (extracted from source enums + field declarations)');
+        lines.push('');
+        lines.push('These are the canonical lifecycle declarations found in source. Use these state names literally; do NOT invent generic synonyms (e.g. `pending` when source says `planning`).');
+        lines.push('');
+        for (const lc of facts.lifecycles) {
+            lines.push(`- **${lc.model}.${lc.field}**: states = [${lc.states.join(', ')}]`);
+        }
+        lines.push('');
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=index.js.map

package/dist/analyse-prepass/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/analyse-prepass/index.ts"],"names":[],"mappings":"AA4BA,OAAO,EACL,eAAe,EACf,gBAAgB,EAChB,eAAe,EACf,aAAa,GAEd,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,uBAAuB,GAKxB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EAAE,aAAa,EAAoB,MAAM,qBAAqB,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAC;AA0C9D;;;;;;;;;GASG;AACH,MAAM,CAAC,KAAK,UAAU,UAAU,CAAC,SAAiB,EAAE,UAA6B,EAAE;IACjF,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IACzB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC;IAE5E,MAAM,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9B,MAAM,OAAO,CAAC,KAAK,EAAE,CAAC;IAEtB,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,MAAM,KAAK,GAAmB;QAC5B,QAAQ,EAAE,EAAE;QACZ,aAAa,EAAE,EAAE;QACjB,UAAU,EAAE,EAAE;QACd,IAAI,EAAE;YACJ,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,IAAI;YACjC,mBAAmB,EAAE,EAAE,GAAG,OAAO,CAAC,YAAY,EAAE;YAChD,WAAW,EAAE,EAAE;YACf,SAAS;YACT,UAAU,EAAE,CAAC;SACd;KACF,CAAC;IAEF,oCAAoC;IACpC,mFAAmF;IACnF,iEAAiE;IACjE,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC,CAAC;IAC5E,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC7B,WAAW,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAC;QACtD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAClC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;gBAClB,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,eAAe,EAAE,QAAQ;aAC1B,CAAC,CAAC;YACH,IAAI,GAAG,CAAC,eAAe,IAAI,GAAG,CAAC,cAAc,EAAE,CAAC;gBAC9C,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC;oBACpB,KAAK,EAAE,GAAG,CAAC,IAAI;oBACf,KAAK,EAAE,GAAG,CAAC,cAAc;oBACzB,MAAM,EAAE,GAAG,CAAC,eAAe;iBAC5B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,aAAa,EAAE,CAAC;YACvC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC;gBACvB,IAAI,EAAE,GAAG,CAAC,SAAS;gBACnB,EAAE,EAAE,GAAG,CAAC,OAAO;gBACf,IAAI,EAAE,GAAG,CAAC,IAAI;gBACd,OAAO,EAAE,GAAG,CAAC,OAAO;aACrB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,uEAAuE;IAEvE,KAAK,CAAC,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC;IACrC,KAAK,CAAC,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC;IAC3C,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,qBAAqB,CAAC,KAAqB;IACzD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,mFAAmF,CAAC,CAAC;IAChG,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,6DAA6D,CAAC,CAAC;IAC1E,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;IAC7E,KAAK,CAAC,IAAI,CAAC,gEAAgE,CAAC,CAAC;IAC7E,KAAK,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IAChD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,YAAY,KAAK,CAAC,IAAI,CAAC,OAAO,gBAAgB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC;IAC1G,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEf,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC9B,KAAK,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;QAC7C,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;YACjC,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,IAAI,oBAAoB,GAAG,CAAC,QAAQ,SAAS,GAAG,CAAC,eAAe,GAAG,CAAC,CAAC;QAC7F,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;QAC/B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,aAAa,EAAE,CAAC;YACpC,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5C,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC;QACxD,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,wEAAwE,CAAC,CAAC;QACrF,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,CAAC,IAAI,CAAC,+KAA+K,CAAC,CAAC;QAC5L,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACf,KAAK,MAAM,EAAE,IAAI,KAAK,CAAC,UAAU,EAAE,CAAC;YAClC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,KAAK,iBAAiB,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAClF,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjB,CAAC;IAED,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC"}