@weave-framework/check 0.2.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Aidas Josas
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/dist/check.d.ts

@@ -0,0 +1,28 @@
+/**
+ * `weave check` core — type-check virtual modules and translate `tsc`
+ * diagnostics back to the original `.weave`/`.html`/`.ts` source.
+ *
+ * All virtual files share one {@link ts.Program} (fast, and lets cross-component
+ * imports resolve). A thin compiler-host shim serves each virtual module's text
+ * from memory while delegating every other read (node_modules, libs) to disk —
+ * so `@weave-framework/runtime` and friends resolve through their normal package exports.
+ */
+import type { Virtual } from './emit.js';
+export interface Diagnostic {
+    file: string;
+    /** 1-based */
+    line: number;
+    /** 1-based */
+    col: number;
+    code: number;
+    message: string;
+    category: 'error' | 'warning' | 'suggestion' | 'message';
+}
+/** Type-check the given virtual modules; returns diagnostics mapped to original source. */
+export declare function runCheck(virtuals: Virtual[]): Diagnostic[];
+/** Translate a character offset into a 1-based line:col within `text`. */
+export declare function offsetToLineCol(text: string, offset: number): {
+    line: number;
+    col: number;
+};
+//# sourceMappingURL=check.d.ts.map

package/dist/check.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.d.ts","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEzC,MAAM,WAAW,UAAU;IACzB,IAAI,EAAE,MAAM,CAAC;IACb,cAAc;IACd,IAAI,EAAE,MAAM,CAAC;IACb,cAAc;IACd,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,EAAE,MAAM,CAAC;IACb,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,EAAE,OAAO,GAAG,SAAS,GAAG,YAAY,GAAG,SAAS,CAAC;CAC1D;AAgBD,2FAA2F;AAC3F,wBAAgB,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,GAAG,UAAU,EAAE,CA8B1D;AAiDD,0EAA0E;AAC1E,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAa3F"}

package/dist/check.js

@@ -0,0 +1,103 @@
+/**
+ * `weave check` core — type-check virtual modules and translate `tsc`
+ * diagnostics back to the original `.weave`/`.html`/`.ts` source.
+ *
+ * All virtual files share one {@link ts.Program} (fast, and lets cross-component
+ * imports resolve). A thin compiler-host shim serves each virtual module's text
+ * from memory while delegating every other read (node_modules, libs) to disk —
+ * so `@weave-framework/runtime` and friends resolve through their normal package exports.
+ */
+import ts from 'typescript';
+const OPTIONS = {
+    target: ts.ScriptTarget.ES2022,
+    module: ts.ModuleKind.ESNext,
+    moduleResolution: ts.ModuleResolutionKind.Bundler,
+    lib: ['lib.es2022.d.ts', 'lib.dom.d.ts', 'lib.dom.iterable.d.ts'],
+    types: [],
+    strict: true,
+    noEmit: true,
+    skipLibCheck: true,
+    allowJs: false,
+};
+const norm = (p) => p.replace(/\\/g, '/').toLowerCase();
+/** Type-check the given virtual modules; returns diagnostics mapped to original source. */
+export function runCheck(virtuals) {
+    const byPath = new Map(virtuals.map((v) => [norm(v.path), v]));
+    const host = ts.createCompilerHost(OPTIONS, true);
+    const getSourceFile = host.getSourceFile.bind(host);
+    const readFile = host.readFile.bind(host);
+    const fileExists = host.fileExists.bind(host);
+    host.getSourceFile = (fileName, languageVersion, onError, shouldCreate) => {
+        const v = byPath.get(norm(fileName));
+        if (v)
+            return ts.createSourceFile(fileName, v.text, languageVersion, true);
+        return getSourceFile(fileName, languageVersion, onError, shouldCreate);
+    };
+    host.readFile = (fileName) => byPath.get(norm(fileName))?.text ?? readFile(fileName);
+    host.fileExists = (fileName) => byPath.has(norm(fileName)) || fileExists(fileName);
+    const program = ts.createProgram(virtuals.map((v) => v.path), OPTIONS, host);
+    const raw = [];
+    for (const v of virtuals) {
+        const sf = program.getSourceFile(v.path);
+        if (!sf)
+            continue;
+        raw.push(...program.getSyntacticDiagnostics(sf), ...program.getSemanticDiagnostics(sf));
+    }
+    return raw.map((d) => mapDiagnostic(d, byPath));
+}
+function mapDiagnostic(d, byPath) {
+    const message = ts.flattenDiagnosticMessageText(d.messageText, '\n');
+    const category = categoryName(d.category);
+    if (!d.file || d.start === undefined) {
+        return { file: '(global)', line: 0, col: 0, code: d.code, message, category };
+    }
+    const { line, character } = d.file.getLineAndCharacterOfPosition(d.start); // 0-based
+    const v = byPath.get(norm(d.file.fileName));
+    if (!v) {
+        // An error surfaced in a real dependency — report it as-is.
+        return { file: d.file.fileName, line: line + 1, col: character + 1, code: d.code, message, category };
+    }
+    const vLine = line + 1; // 1-based virtual line
+    const offset = v.templateMap.get(vLine);
+    if (offset !== undefined) {
+        const { line: l, col } = offsetToLineCol(v.templateText, offset);
+        return { file: v.templateFile, line: l, col, code: d.code, message, category };
+    }
+    if (vLine <= v.scriptLineCount) {
+        return {
+            file: v.scriptFile,
+            line: v.scriptLine + (vLine - 1) + 1,
+            col: character + 1,
+            code: d.code,
+            message,
+            category,
+        };
+    }
+    // A generated scaffold line — should not carry user errors; surface it plainly.
+    return { file: v.templateFile, line: 1, col: 1, code: d.code, message: `[generated] ${message}`, category };
+}
+function categoryName(c) {
+    switch (c) {
+        case ts.DiagnosticCategory.Error: return 'error';
+        case ts.DiagnosticCategory.Warning: return 'warning';
+        case ts.DiagnosticCategory.Suggestion: return 'suggestion';
+        default: return 'message';
+    }
+}
+/** Translate a character offset into a 1-based line:col within `text`. */
+export function offsetToLineCol(text, offset) {
+    let line = 1;
+    let col = 1;
+    const end = Math.min(offset, text.length);
+    for (let i = 0; i < end; i++) {
+        if (text[i] === '\n') {
+            line++;
+            col = 1;
+        }
+        else {
+            col++;
+        }
+    }
+    return { line, col };
+}
+//# sourceMappingURL=check.js.map

package/dist/check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"check.js","sourceRoot":"","sources":["../src/check.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,MAAM,YAAY,CAAC;AAc5B,MAAM,OAAO,GAAuB;IAClC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;IAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;IAC5B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,OAAO;IACjD,GAAG,EAAE,CAAC,iBAAiB,EAAE,cAAc,EAAE,uBAAuB,CAAC;IACjE,KAAK,EAAE,EAAE;IACT,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;IACZ,YAAY,EAAE,IAAI;IAClB,OAAO,EAAE,KAAK;CACf,CAAC;AAEF,MAAM,IAAI,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC;AAExE,2FAA2F;AAC3F,MAAM,UAAU,QAAQ,CAAC,QAAmB;IAC1C,MAAM,MAAM,GAAyB,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IAErF,MAAM,IAAI,GAAoB,EAAE,CAAC,kBAAkB,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,aAAa,GAAqC,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtF,MAAM,QAAQ,GAAgC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvE,MAAM,UAAU,GAAkC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAE7E,IAAI,CAAC,aAAa,GAAG,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,YAAY,EAAE,EAAE;QACxE,MAAM,CAAC,GAAwB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC1D,IAAI,CAAC;YAAE,OAAO,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,CAAC,CAAC,IAAI,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;QAC3E,OAAO,aAAa,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;IACzE,CAAC,CAAC;IACF,IAAI,CAAC,QAAQ,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,IAAI,IAAI,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACrF,IAAI,CAAC,UAAU,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,CAAC;IAEnF,MAAM,OAAO,GAAe,EAAE,CAAC,aAAa,CAC1C,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAC3B,OAAO,EACP,IAAI,CACL,CAAC;IAEF,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;QACzB,MAAM,EAAE,GAA8B,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACpE,IAAI,CAAC,EAAE;YAAE,SAAS;QAClB,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,uBAAuB,CAAC,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,CAAC;IAC1F,CAAC;IAED,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;AAClD,CAAC;AAED,SAAS,aAAa,CAAC,CAAgB,EAAE,MAA4B;IACnE,MAAM,OAAO,GAAW,EAAE,CAAC,4BAA4B,CAAC,CAAC,CAAC,WAAW,EAAE,IAAI,CAAC,CAAC;IAC7E,MAAM,QAAQ,GAA2B,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;IAElE,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;QACrC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IAChF,CAAC;IAED,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU;IACrF,MAAM,CAAC,GAAwB,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;IACjE,IAAI,CAAC,CAAC,EAAE,CAAC;QACP,4DAA4D;QAC5D,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,GAAG,CAAC,EAAE,GAAG,EAAE,SAAS,GAAG,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IACxG,CAAC;IAED,MAAM,KAAK,GAAW,IAAI,GAAG,CAAC,CAAC,CAAC,uBAAuB;IAEvD,MAAM,MAAM,GAAuB,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAC5D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,eAAe,CAAC,CAAC,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;QACjE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;IACjF,CAAC;IAED,IAAI,KAAK,IAAI,CAAC,CAAC,eAAe,EAAE,CAAC;QAC/B,OAAO;YACL,IAAI,EAAE,CAAC,CAAC,UAAU;YAClB,IAAI,EAAE,CAAC,CAAC,UAAU,GAAG,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC;YACpC,GAAG,EAAE,SAAS,GAAG,CAAC;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI;YACZ,OAAO;YACP,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,gFAAgF;IAChF,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,eAAe,OAAO,EAAE,EAAE,QAAQ,EAAE,CAAC;AAC9G,CAAC;AAED,SAAS,YAAY,CAAC,CAAwB;IAC5C,QAAQ,CAAC,EAAE,CAAC;QACV,KAAK,EAAE,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC,OAAO,OAAO,CAAC;QACjD,KAAK,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,OAAO,SAAS,CAAC;QACrD,KAAK,EAAE,CAAC,kBAAkB,CAAC,UAAU,CAAC,CAAC,OAAO,YAAY,CAAC;QAC3D,OAAO,CAAC,CAAC,OAAO,SAAS,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,MAAc;IAC1D,IAAI,IAAI,GAAW,CAAC,CAAC;IACrB,IAAI,GAAG,GAAW,CAAC,CAAC;IACpB,MAAM,GAAG,GAAW,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,KAAK,IAAI,CAAC,GAAW,CAAC,EAAE,CAAC,GAAG,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACrB,IAAI,EAAE,CAAC;YACP,GAAG,GAAG,CAAC,CAAC;QACV,CAAC;aAAM,CAAC;YACN,GAAG,EAAE,CAAC;QACR,CAAC;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC;AACvB,CAAC"}

package/dist/emit.d.ts

@@ -0,0 +1,61 @@
+/**
+ * Virtual `.ts` generation — the heart of M8, shared by `weave check` and the
+ * M9 language server.
+ *
+ * For each component we synthesize a never-bundled TypeScript module: the user's
+ * verbatim `setup` script, followed by a `__weave__()` harness that places every
+ * template expression in a type-checked position against `ReturnType<typeof
+ * setup>` (exposed as `__ctx`). Template locals (`@for` item + `$index`…, `@let`,
+ * `@if … as x`) become real lexical bindings, so TypeScript scopes and narrows
+ * them exactly as the runtime does.
+ *
+ * Two source maps come out of the same emit:
+ *  - `templateMap` (line → source offset) — what `weave check` uses to translate a
+ *    `tsc` diagnostic line back to a `.weave`/`.html` line:col.
+ *  - `mappings` (char-precise verbatim runs) — what the Volar language server uses
+ *    to drive hover / go-to-definition / rename and to surface diagnostics at the
+ *    exact template span. Built from `rewrite`'s segment maps.
+ */
+/**
+ * A verbatim run linking the generated module to its source, char-precise. The
+ * `source` tag selects which file `sourceOffset` indexes into (a SFC keeps both
+ * in the same file; the separate form splits script ↔ template across two).
+ */
+export interface WeaveMapping {
+    /** offset into the generated `text` */
+    generatedOffset: number;
+    /** offset into the mapped source file (see `source`) */
+    sourceOffset: number;
+    /** run length (same on both sides) */
+    length: number;
+    /** `script` → `scriptFile`/`scriptText`; `template` → `templateFile`/`templateText` */
+    source: 'script' | 'template';
+}
+/** A generated virtual module plus everything needed to map its diagnostics back. */
+export interface Virtual {
+    /** Virtual module path (drives module resolution); never written to disk. */
+    path: string;
+    /** The generated TypeScript source. */
+    text: string;
+    /** File reported for template-region errors. */
+    templateFile: string;
+    /** Offset-faithful template text (template `sourceOffset`s index into this). */
+    templateText: string;
+    /** virtual line (1-based) → source offset into `templateText`. */
+    templateMap: Map<number, number>;
+    /** File reported for script-region (user TS) errors. */
+    scriptFile: string;
+    /** Script source text (script `sourceOffset`s index into this). */
+    scriptText: string;
+    /** 0-based line in `scriptFile` where the embedded script begins. */
+    scriptLine: number;
+    /** Number of leading virtual lines occupied by the embedded script. */
+    scriptLineCount: number;
+    /** Char-precise generated↔source runs for editor tooling. */
+    mappings: WeaveMapping[];
+}
+/** Build a virtual module for a `.weave` SFC. */
+export declare function buildVirtualSfc(filePath: string, source: string): Virtual;
+/** Build a virtual module for the separate-file form (`name.ts` + `name.html`). */
+export declare function buildVirtualSeparate(tsPath: string, tsSource: string, htmlPath: string, htmlSource: string): Virtual;
+//# sourceMappingURL=emit.d.ts.map

package/dist/emit.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.d.ts","sourceRoot":"","sources":["../src/emit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAyBH;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,uCAAuC;IACvC,eAAe,EAAE,MAAM,CAAC;IACxB,wDAAwD;IACxD,YAAY,EAAE,MAAM,CAAC;IACrB,sCAAsC;IACtC,MAAM,EAAE,MAAM,CAAC;IACf,uFAAuF;IACvF,MAAM,EAAE,QAAQ,GAAG,UAAU,CAAC;CAC/B;AAED,qFAAqF;AACrF,MAAM,WAAW,OAAO;IACtB,6EAA6E;IAC7E,IAAI,EAAE,MAAM,CAAC;IACb,uCAAuC;IACvC,IAAI,EAAE,MAAM,CAAC;IACb,gDAAgD;IAChD,YAAY,EAAE,MAAM,CAAC;IACrB,gFAAgF;IAChF,YAAY,EAAE,MAAM,CAAC;IACrB,kEAAkE;IAClE,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACjC,wDAAwD;IACxD,UAAU,EAAE,MAAM,CAAC;IACnB,mEAAmE;IACnE,UAAU,EAAE,MAAM,CAAC;IACnB,qEAAqE;IACrE,UAAU,EAAE,MAAM,CAAC;IACnB,uEAAuE;IACvE,eAAe,EAAE,MAAM,CAAC;IACxB,6DAA6D;IAC7D,QAAQ,EAAE,YAAY,EAAE,CAAC;CAC1B;AA0BD,iDAAiD;AACjD,wBAAgB,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAkBzE;AAED,mFAAmF;AACnF,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,EAChB,UAAU,EAAE,MAAM,GACjB,OAAO,CAmBT"}

package/dist/emit.js

@@ -0,0 +1,380 @@
+/**
+ * Virtual `.ts` generation — the heart of M8, shared by `weave check` and the
+ * M9 language server.
+ *
+ * For each component we synthesize a never-bundled TypeScript module: the user's
+ * verbatim `setup` script, followed by a `__weave__()` harness that places every
+ * template expression in a type-checked position against `ReturnType<typeof
+ * setup>` (exposed as `__ctx`). Template locals (`@for` item + `$index`…, `@let`,
+ * `@if … as x`) become real lexical bindings, so TypeScript scopes and narrows
+ * them exactly as the runtime does.
+ *
+ * Two source maps come out of the same emit:
+ *  - `templateMap` (line → source offset) — what `weave check` uses to translate a
+ *    `tsc` diagnostic line back to a `.weave`/`.html` line:col.
+ *  - `mappings` (char-precise verbatim runs) — what the Volar language server uses
+ *    to drive hover / go-to-definition / rename and to surface diagnostics at the
+ *    exact template span. Built from `rewrite`'s segment maps.
+ */
+import { parseTemplate, parseSfcLoc, inferCtxNames, rewrite, } from '@weave-framework/compiler';
+const FOR_VARS = ['$index', '$count', '$first', '$last', '$even', '$odd'];
+const HAS_SETUP = /export\s+(?:async\s+)?function\s+setup\b|export\s+(?:const|let|var)\s+setup\b/;
+/** A capitalized tag (`<TaskCard>`) is a child component, not a DOM element. */
+const isComponentTag = (tag) => /^[A-Z]/.test(tag);
+/** Object-literal key: bare when a valid identifier, else quoted. */
+const propKey = (name) => /^[A-Za-z_$][\w$]*$/.test(name) ? name : JSON.stringify(name);
+/** Build a virtual module for a `.weave` SFC. */
+export function buildVirtualSfc(filePath, source) {
+    const loc = parseSfcLoc(source);
+    const nodes = parseTemplate(loc.template);
+    const body = emit(nodes, new Set(inferCtxNames(nodes)));
+    const hasSetup = HAS_SETUP.test(loc.script ?? '');
+    const asm = assemble(loc.script, hasSetup, body, loc.scriptOffset);
+    return {
+        path: filePath + '.ts',
+        text: asm.text,
+        templateFile: filePath,
+        templateText: loc.template,
+        templateMap: asm.templateMap,
+        scriptFile: filePath,
+        scriptText: source,
+        scriptLine: loc.scriptLine,
+        scriptLineCount: asm.scriptLineCount,
+        mappings: asm.mappings,
+    };
+}
+/** Build a virtual module for the separate-file form (`name.ts` + `name.html`). */
+export function buildVirtualSeparate(tsPath, tsSource, htmlPath, htmlSource) {
+    const nodes = parseTemplate(htmlSource);
+    const body = emit(nodes, new Set(inferCtxNames(nodes)));
+    const asm = assemble(tsSource, HAS_SETUP.test(tsSource), body, 0);
+    return {
+        // Live at the real `.ts` path (shadowing disk) so a parent's `import Foo from
+        // './foo'` resolves to this virtual — which carries the synthesized typed
+        // default export — instead of the on-disk source (which has only `setup`).
+        path: tsPath,
+        text: asm.text,
+        templateFile: htmlPath,
+        templateText: htmlSource,
+        templateMap: asm.templateMap,
+        scriptFile: tsPath,
+        scriptText: tsSource,
+        scriptLine: 0,
+        scriptLineCount: asm.scriptLineCount,
+        mappings: asm.mappings,
+    };
+}
+/* ──────────── harness body emitter ──────────── */
+function emit(nodes, ctx) {
+    const lines = [];
+    let awaitN = 0; // unique source-binding names for `@await` type-queries
+    let propsN = 0; // unique names for child-component prop-check objects
+    // A plain scaffolding line (no source mapping), optionally pinned to a source
+    // offset for the legacy line→offset `templateMap`.
+    const push = (text, offset) => {
+        lines.push({ text, offset });
+    };
+    // ctx names → `__ctx.name`; template locals → the bare lexical name.
+    const scopeOf = (locals) => {
+        const s = new Map();
+        for (const n of ctx)
+            s.set(n, { kind: 'ctx' });
+        for (const n of locals)
+            s.set(n, { kind: 'local' });
+        return s;
+    };
+    // A chainable line builder: `lit()` appends scaffolding text, `expr()` appends a
+    // rewritten template expression and records its char-precise src↔gen segments
+    // (offset by where the expression landed in the line). `push()` flushes the line.
+    const mk = () => {
+        let text = '';
+        const segs = [];
+        const api = {
+            lit(s) {
+                text += s;
+                return api;
+            },
+            expr(srcOffset, exprStr, locals) {
+                const r = rewrite(exprStr, scopeOf(locals), '__ctx');
+                // Length-preserving flatten keeps the statement single-line (so the legacy
+                // line map stays valid) without shifting any segment offset.
+                const code = r.code.replace(/[\r\n]/g, ' ');
+                const base = text.length;
+                if (srcOffset !== undefined) {
+                    for (const s of r.segments)
+                        segs.push({ col: base + s.gen, src: srcOffset + s.src, len: s.len });
+                }
+                text += code;
+                return api;
+            },
+            push(offset) {
+                lines.push({ text, offset, segs });
+            },
+        };
+        return api;
+    };
+    // A non-static attribute on a DOM element (or a directive on a component):
+    // place its expression in a type-checked position. `use:`/`transition:` verify
+    // the referenced fn is callable with the runtime's (Element, arg) pair.
+    const emitAttr = (attr, locals) => {
+        if (attr.type === 'static')
+            return;
+        if (attr.type === 'use' || attr.type === 'transition') {
+            const at = attr.nameOffset ?? attr.offset;
+            const b = mk().lit('  (').expr(at, attr.name, locals);
+            if (attr.expr !== undefined)
+                b.lit(')(null as any, ').expr(attr.offset, attr.expr, locals).lit(');');
+            else
+                b.lit(')(null as any);');
+            b.push(at);
+            return;
+        }
+        mk().lit('  void (').expr(attr.offset, attr.expr, locals).lit(');').push(attr.offset);
+    };
+    // A child component `<Tag prop={expr} …>`: assemble its data props into one typed
+    // object literal checked against the child's prop contract (the first parameter of
+    // its `setup`, exposed via the generated default export). Required/excess/mismatched
+    // props all surface, each pinned to its own attribute. Events stay outside the
+    // contract (the runtime wires them) but their handler bodies are still checked.
+    const emitComponent = (node, locals) => {
+        const dataProps = [];
+        for (const attr of node.attrs) {
+            if (attr.type === 'static') {
+                if (attr.name === 'slot')
+                    continue; // slot marker, stripped by codegen
+                dataProps.push({ key: attr.name, staticVal: JSON.stringify(attr.value) });
+            }
+            else if (attr.type === 'attr') {
+                dataProps.push({ key: attr.name, expr: attr.expr, srcOffset: attr.offset });
+            }
+            else {
+                emitAttr(attr, locals); // events / stray directives — checked, not part of props
+            }
+        }
+        const id = `__props${propsN++}`;
+        const anchor = dataProps.find((p) => p.srcOffset !== undefined)?.srcOffset;
+        // The tag name is emitted as a *mapped* expression (not scaffolding), so the
+        // `<Component>` tag itself supports go-to-definition into the `.ts` import and an
+        // unknown tag surfaces "Cannot find name 'X'" pinned to the tag span.
+        mk()
+            .lit(`  const ${id}: NonNullable<Parameters<typeof `)
+            .expr(node.tagOffset, node.tag, locals)
+            .lit(`>[0]> = {`)
+            .push(anchor ?? node.tagOffset);
+        for (const p of dataProps) {
+            if (p.expr !== undefined) {
+                mk().lit(`    ${propKey(p.key)}: (`).expr(p.srcOffset, p.expr, locals).lit('),').push(p.srcOffset);
+            }
+            else {
+                push(`    ${propKey(p.key)}: (${p.staticVal}),`);
+            }
+        }
+        push(`  };`);
+        push(`  void ${id};`);
+    };
+    const walk = (list, locals) => {
+        let scope = locals; // `@let` extends scope for following siblings
+        // Hoist sibling snippets to typed arrows first (params: any), so a `@render`
+        // call type-checks the snippet name/arity regardless of declaration order.
+        const snippets = list.filter((n) => n.type === 'snippet');
+        if (snippets.length) {
+            scope = new Set(scope);
+            for (const s of snippets)
+                scope.add(s.name);
+            for (const s of snippets) {
+                const params = s.params.map((p) => `${p}: any`).join(', ');
+                push(`  const ${s.name} = (${params}): void => {`);
+                const inner = new Set(scope);
+                for (const p of s.params)
+                    inner.add(p);
+                walk(s.children, inner);
+                push(`  };`);
+            }
+        }
+        for (const node of list) {
+            switch (node.type) {
+                case 'snippet':
+                    break; // already emitted above
+                case 'render':
+                    mk().lit('  void (').expr(node.exprOffset, node.expr, scope).lit(');').push(node.exprOffset);
+                    break;
+                case 'key':
+                    mk().lit('  void (').expr(node.exprOffset, node.expr, scope).lit(');').push(node.exprOffset);
+                    walk(node.children, scope);
+                    break;
+                case 'text':
+                    break;
+                case 'interp':
+                    mk().lit('  void (').expr(node.offset, node.expr, scope).lit(');').push(node.offset);
+                    break;
+                case 'let': {
+                    mk().lit(`  const ${node.name} = (`).expr(node.exprOffset, node.expr, scope).lit(');').push(node.exprOffset);
+                    scope = new Set(scope).add(node.name);
+                    break;
+                }
+                case 'element':
+                    if (isComponentTag(node.tag)) {
+                        emitComponent(node, scope);
+                        walk(node.children, scope); // slot content is authored in the parent scope
+                        break;
+                    }
+                    for (const attr of node.attrs)
+                        emitAttr(attr, scope);
+                    walk(node.children, scope);
+                    break;
+                case 'if':
+                    for (const br of node.branches) {
+                        if (br.cond !== undefined) {
+                            mk().lit('  if (').expr(br.condOffset, br.cond, scope).lit(') {').push(br.condOffset);
+                        }
+                        else {
+                            push(`  {`);
+                        }
+                        let inner = scope;
+                        if (br.alias && br.cond !== undefined) {
+                            mk().lit(`    const ${br.alias} = (`).expr(br.condOffset, br.cond, scope).lit(');').push(br.condOffset);
+                            inner = new Set(scope).add(br.alias);
+                        }
+                        walk(br.children, inner);
+                        push(`  }`);
+                    }
+                    break;
+                case 'for': {
+                    mk().lit(`  for (const ${node.item} of (`).expr(node.listOffset, node.list, scope).lit(')) {').push(node.listOffset);
+                    push(`    const $index: number = 0, $count: number = 0, ` +
+                        `$first: boolean = true, $last: boolean = true, ` +
+                        `$even: boolean = true, $odd: boolean = true;`);
+                    const inner = new Set(scope).add(node.item);
+                    for (const v of FOR_VARS)
+                        inner.add(v);
+                    if (node.track)
+                        mk().lit('    void (').expr(node.trackOffset, node.track, inner).lit(');').push(node.trackOffset);
+                    walk(node.children, inner);
+                    push(`  }`);
+                    if (node.empty)
+                        walk(node.empty, scope);
+                    break;
+                }
+                case 'switch': {
+                    mk().lit('  switch (').expr(node.exprOffset, node.expr, scope).lit(') {').push(node.exprOffset);
+                    for (const c of node.cases) {
+                        if (c.test !== undefined) {
+                            mk().lit('    case ').expr(c.testOffset, c.test, scope).lit(': {').push(c.testOffset);
+                        }
+                        else {
+                            push(`    default: {`);
+                        }
+                        walk(c.children, scope);
+                        push(`    break; }`);
+                    }
+                    push(`  }`);
+                    break;
+                }
+                case 'defer': {
+                    if (node.trigger.kind === 'when') {
+                        mk().lit('  void (').expr(node.trigger.exprOffset, node.trigger.expr, scope).lit(');').push(node.trigger.exprOffset);
+                    }
+                    else if (node.trigger.kind === 'timer') {
+                        mk().lit('  void (').expr(node.trigger.msOffset, node.trigger.ms, scope).lit(');').push(node.trigger.msOffset);
+                    }
+                    walk(node.children, scope);
+                    if (node.placeholder)
+                        walk(node.placeholder, scope);
+                    break;
+                }
+                case 'await': {
+                    // Bind the source to a const so a `typeof` type-query has an entity name
+                    // (`typeof (expr)` is a syntax error in a type position) — and so the source
+                    // expression itself is type-checked. Only needed when `@then` binds an alias.
+                    let srcVar = '';
+                    if (node.then?.alias) {
+                        srcVar = `__await${awaitN++}`;
+                        mk().lit(`  const ${srcVar} = (`).expr(node.exprOffset, node.expr, scope).lit(');').push(node.exprOffset);
+                    }
+                    else {
+                        mk().lit('  void (').expr(node.exprOffset, node.expr, scope).lit(');').push(node.exprOffset);
+                    }
+                    if (node.pending)
+                        walk(node.pending, scope);
+                    if (node.then) {
+                        push(`  {`);
+                        let inner = scope;
+                        if (node.then.alias) {
+                            // the resolved value: a resource's data type or the awaited Promise type
+                            push(`    const ${node.then.alias}: __WeaveAwaited<typeof ${srcVar}> = undefined as any;`, node.exprOffset);
+                            inner = new Set(scope).add(node.then.alias);
+                        }
+                        walk(node.then.children, inner);
+                        push(`  }`);
+                    }
+                    if (node.catch) {
+                        push(`  {`);
+                        let inner = scope;
+                        if (node.catch.alias) {
+                            push(`    const ${node.catch.alias}: unknown = undefined;`);
+                            inner = new Set(scope).add(node.catch.alias);
+                        }
+                        walk(node.catch.children, inner);
+                        push(`  }`);
+                    }
+                    break;
+                }
+            }
+        }
+    };
+    walk(nodes, new Set());
+    return lines;
+}
+/* ──────────── assembly + line bookkeeping ──────────── */
+function assemble(script, hasSetup, body, scriptBaseOffset) {
+    const out = [];
+    const scriptLines = script ? script.split('\n') : [];
+    for (const l of scriptLines)
+        out.push(l);
+    out.push('');
+    out.push(hasSetup
+        ? 'type __WeaveCtx = ReturnType<typeof setup>;'
+        : 'type __WeaveCtx = Record<string, any>;');
+    out.push('declare const __ctx: __WeaveCtx;');
+    // `@await (src)` resolved-value type: a resource's data type, else the awaited Promise.
+    out.push('type __WeaveAwaited<S> = S extends { data: () => infer D } ? NonNullable<D> : Awaited<S>;');
+    // A child component's prop contract = the first parameter of its `setup`.
+    out.push('type __WeavePropsOf<F> = F extends (props: infer P, ...rest: any[]) => any ? P : Record<string, never>;');
+    out.push('function __weave__(): void {');
+    const bodyBase = out.length; // out index of body[0]
+    const templateMap = new Map();
+    body.forEach((ln, i) => {
+        out.push(ln.text);
+        if (ln.offset !== undefined)
+            templateMap.set(bodyBase + i + 1, ln.offset); // +1 → 1-based line
+    });
+    out.push('}');
+    // Synthesize the typed default export the loader emits at build time
+    // (`defineComponent(render, setup)`), so a PARENT importing this component
+    // type-checks the props it passes against this component's `setup` contract.
+    const propsType = hasSetup ? '__WeavePropsOf<typeof setup>' : 'Record<string, never>';
+    out.push(`declare const __weaveDefault: (props: ${propsType}, slots?: Record<string, () => unknown>) => unknown;`);
+    out.push('export default __weaveDefault;'); // also forces module scope
+    // Char-precise mappings. The script is embedded verbatim at the very top, so it
+    // maps 1:1 as a single run; template runs are placed by each line's offset.
+    const mappings = [];
+    if (script && script.length) {
+        mappings.push({ generatedOffset: 0, sourceOffset: scriptBaseOffset, length: script.length, source: 'script' });
+    }
+    const lineGenOffset = new Array(out.length);
+    let acc = 0;
+    for (let k = 0; k < out.length; k++) {
+        lineGenOffset[k] = acc;
+        acc += out[k].length + 1; // +1 for the joining '\n'
+    }
+    body.forEach((ln, i) => {
+        if (!ln.segs)
+            return;
+        const gBase = lineGenOffset[bodyBase + i];
+        for (const s of ln.segs) {
+            mappings.push({ generatedOffset: gBase + s.col, sourceOffset: s.src, length: s.len, source: 'template' });
+        }
+    });
+    return { text: out.join('\n'), scriptLineCount: scriptLines.length, templateMap, mappings };
+}
+//# sourceMappingURL=emit.js.map

package/dist/emit.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emit.js","sourceRoot":"","sources":["../src/emit.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACL,aAAa,EACb,WAAW,EACX,aAAa,EACb,OAAO,GAOR,MAAM,2BAA2B,CAAC;AAEnC,MAAM,QAAQ,GAAa,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;AACpF,MAAM,SAAS,GAAW,+EAA+E,CAAC;AAE1G,gFAAgF;AAChF,MAAM,cAAc,GAAG,CAAC,GAAW,EAAW,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAEpE,qEAAqE;AACrE,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE,CACvC,oBAAoB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAkEhE,iDAAiD;AACjD,MAAM,UAAU,eAAe,CAAC,QAAgB,EAAE,MAAc;IAC9D,MAAM,GAAG,GAAuB,WAAW,CAAC,MAAM,CAAC,CAAC;IACpD,MAAM,KAAK,GAAmB,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAC1D,MAAM,IAAI,GAAW,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,QAAQ,GAAY,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAgC,QAAQ,CAAC,GAAG,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC;IAChG,OAAO;QACL,IAAI,EAAE,QAAQ,GAAG,KAAK;QACtB,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,YAAY,EAAE,QAAQ;QACtB,YAAY,EAAE,GAAG,CAAC,QAAQ;QAC1B,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,MAAM;QAClB,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,eAAe,EAAE,GAAG,CAAC,eAAe;QACpC,QAAQ,EAAE,GAAG,CAAC,QAAQ;KACvB,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,oBAAoB,CAClC,MAAc,EACd,QAAgB,EAChB,QAAgB,EAChB,UAAkB;IAElB,MAAM,KAAK,GAAmB,aAAa,CAAC,UAAU,CAAC,CAAC;IACxD,MAAM,IAAI,GAAW,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IAChE,MAAM,GAAG,GAAgC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC/F,OAAO;QACL,8EAA8E;QAC9E,0EAA0E;QAC1E,2EAA2E;QAC3E,IAAI,EAAE,MAAM;QACZ,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,YAAY,EAAE,QAAQ;QACtB,YAAY,EAAE,UAAU;QACxB,WAAW,EAAE,GAAG,CAAC,WAAW;QAC5B,UAAU,EAAE,MAAM;QAClB,UAAU,EAAE,QAAQ;QACpB,UAAU,EAAE,CAAC;QACb,eAAe,EAAE,GAAG,CAAC,eAAe;QACpC,QAAQ,EAAE,GAAG,CAAC,QAAQ;KACvB,CAAC;AACJ,CAAC;AAED,oDAAoD;AAEpD,SAAS,IAAI,CAAC,KAAqB,EAAE,GAAgB;IACnD,MAAM,KAAK,GAAW,EAAE,CAAC;IACzB,IAAI,MAAM,GAAW,CAAC,CAAC,CAAC,wDAAwD;IAChF,IAAI,MAAM,GAAW,CAAC,CAAC,CAAC,sDAAsD;IAE9E,8EAA8E;IAC9E,mDAAmD;IACnD,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,MAAe,EAAQ,EAAE;QACnD,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,qEAAqE;IACrE,MAAM,OAAO,GAAG,CAAC,MAAmB,EAAS,EAAE;QAC7C,MAAM,CAAC,GAAU,IAAI,GAAG,EAAE,CAAC;QAC3B,KAAK,MAAM,CAAC,IAAI,GAAG;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;QAC/C,KAAK,MAAM,CAAC,IAAI,MAAM;YAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;QACpD,OAAO,CAAC,CAAC;IACX,CAAC,CAAC;IAEF,iFAAiF;IACjF,8EAA8E;IAC9E,kFAAkF;IAClF,MAAM,EAAE,GAAG,GAAY,EAAE;QACvB,IAAI,IAAI,GAAW,EAAE,CAAC;QACtB,MAAM,IAAI,GAAc,EAAE,CAAC;QAC3B,MAAM,GAAG,GAAY;YACnB,GAAG,CAAC,CAAS;gBACX,IAAI,IAAI,CAAC,CAAC;gBACV,OAAO,GAAG,CAAC;YACb,CAAC;YACD,IAAI,CAAC,SAA6B,EAAE,OAAe,EAAE,MAAmB;gBACtE,MAAM,CAAC,GAA+B,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC;gBACjF,2EAA2E;gBAC3E,6DAA6D;gBAC7D,MAAM,IAAI,GAAW,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC;gBACpD,MAAM,IAAI,GAAW,IAAI,CAAC,MAAM,CAAC;gBACjC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC5B,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ;wBAAE,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,SAAS,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC;gBACnG,CAAC;gBACD,IAAI,IAAI,IAAI,CAAC;gBACb,OAAO,GAAG,CAAC;YACb,CAAC;YACD,IAAI,CAAC,MAAe;gBAClB,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;YACrC,CAAC;SACF,CAAC;QACF,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,2EAA2E;IAC3E,+EAA+E;IAC/E,wEAAwE;IACxE,MAAM,QAAQ,GAAG,CAAC,IAAU,EAAE,MAAmB,EAAQ,EAAE;QACzD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO;QACnC,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACtD,MAAM,EAAE,GAAuB,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,MAAM,CAAC;YAC9D,MAAM,CAAC,GAAY,EAAE,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;YAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS;gBAAE,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;;gBAChG,CAAC,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;YAC9B,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACX,OAAO;QACT,CAAC;QACD,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACxF,CAAC,CAAC;IAEF,kFAAkF;IAClF,mFAAmF;IACnF,qFAAqF;IACrF,+EAA+E;IAC/E,gFAAgF;IAChF,MAAM,aAAa,GAAG,CAAC,IAAiB,EAAE,MAAmB,EAAQ,EAAE;QACrE,MAAM,SAAS,GAAkF,EAAE,CAAC;QACpG,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YAC9B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3B,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM;oBAAE,SAAS,CAAC,mCAAmC;gBACvE,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC5E,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAChC,SAAS,CAAC,IAAI,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;YAC9E,CAAC;iBAAM,CAAC;gBACN,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,yDAAyD;YACnF,CAAC;QACH,CAAC;QACD,MAAM,EAAE,GAAW,UAAU,MAAM,EAAE,EAAE,CAAC;QACxC,MAAM,MAAM,GAAuB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,KAAK,SAAS,CAAC,EAAE,SAAS,CAAC;QAC/F,6EAA6E;QAC7E,kFAAkF;QAClF,sEAAsE;QACtE,EAAE,EAAE;aACD,GAAG,CAAC,WAAW,EAAE,kCAAkC,CAAC;aACpD,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC;aACtC,GAAG,CAAC,WAAW,CAAC;aAChB,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YAC1B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;gBACzB,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;YACrG,CAAC;iBAAM,CAAC;gBACN,IAAI,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,SAAS,IAAI,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,CAAC;QACb,IAAI,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;IACxB,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,IAAoB,EAAE,MAAmB,EAAQ,EAAE;QAC/D,IAAI,KAAK,GAAgB,MAAM,CAAC,CAAC,8CAA8C;QAC/E,6EAA6E;QAC7E,2EAA2E;QAC3E,MAAM,QAAQ,GAAkB,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAoB,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;QAC3F,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;YACpB,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;YACvB,KAAK,MAAM,CAAC,IAAI,QAAQ;gBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YAC5C,KAAK,MAAM,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACzB,MAAM,MAAM,GAAW,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnE,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,OAAO,MAAM,cAAc,CAAC,CAAC;gBACnD,MAAM,KAAK,GAAgB,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;gBAC1C,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBACvC,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;gBACxB,IAAI,CAAC,MAAM,CAAC,CAAC;YACf,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,IAAI,EAAE,CAAC;YACxB,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;gBAClB,KAAK,SAAS;oBACZ,MAAM,CAAC,wBAAwB;gBACjC,KAAK,QAAQ;oBACX,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC7F,MAAM;gBACR,KAAK,KAAK;oBACR,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC7F,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;oBAC3B,MAAM;gBACR,KAAK,MAAM;oBACT,MAAM;gBACR,KAAK,QAAQ;oBACX,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;oBACrF,MAAM;gBACR,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,IAAI,CAAC,IAAI,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC7G,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACtC,MAAM;gBACR,CAAC;gBACD,KAAK,SAAS;oBACZ,IAAI,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;wBAC7B,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;wBAC3B,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC,CAAC,+CAA+C;wBAC3E,MAAM;oBACR,CAAC;oBACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK;wBAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;oBACrD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;oBAC3B,MAAM;gBACR,KAAK,IAAI;oBACP,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;wBAC/B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BAC1B,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;wBACxF,CAAC;6BAAM,CAAC;4BACN,IAAI,CAAC,KAAK,CAAC,CAAC;wBACd,CAAC;wBACD,IAAI,KAAK,GAAgB,KAAK,CAAC;wBAC/B,IAAI,EAAE,CAAC,KAAK,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BACtC,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa,EAAE,CAAC,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,CAAC;4BACxG,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;wBACvC,CAAC;wBACD,IAAI,CAAC,EAAE,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;wBACzB,IAAI,CAAC,KAAK,CAAC,CAAC;oBACd,CAAC;oBACD,MAAM;gBACR,KAAK,KAAK,CAAC,CAAC,CAAC;oBACX,EAAE,EAAE,CAAC,GAAG,CAAC,gBAAgB,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBACrH,IAAI,CACF,oDAAoD;wBAClD,iDAAiD;wBACjD,8CAA8C,CACjD,CAAC;oBACF,MAAM,KAAK,GAAgB,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACzD,KAAK,MAAM,CAAC,IAAI,QAAQ;wBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;oBACvC,IAAI,IAAI,CAAC,KAAK;wBAAE,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;oBAClH,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;oBAC3B,IAAI,CAAC,KAAK,CAAC,CAAC;oBACZ,IAAI,IAAI,CAAC,KAAK;wBAAE,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;oBACxC,MAAM;gBACR,CAAC;gBACD,KAAK,QAAQ,CAAC,CAAC,CAAC;oBACd,EAAE,EAAE,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAChG,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBAC3B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;4BACzB,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;wBACxF,CAAC;6BAAM,CAAC;4BACN,IAAI,CAAC,gBAAgB,CAAC,CAAC;wBACzB,CAAC;wBACD,IAAI,CAAC,CAAC,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;wBACxB,IAAI,CAAC,cAAc,CAAC,CAAC;oBACvB,CAAC;oBACD,IAAI,CAAC,KAAK,CAAC,CAAC;oBACZ,MAAM;gBACR,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBACjC,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;oBACvH,CAAC;yBAAM,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;wBACzC,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;oBACjH,CAAC;oBACD,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;oBAC3B,IAAI,IAAI,CAAC,WAAW;wBAAE,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;oBACpD,MAAM;gBACR,CAAC;gBACD,KAAK,OAAO,CAAC,CAAC,CAAC;oBACb,yEAAyE;oBACzE,6EAA6E;oBAC7E,8EAA8E;oBAC9E,IAAI,MAAM,GAAW,EAAE,CAAC;oBACxB,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC;wBACrB,MAAM,GAAG,UAAU,MAAM,EAAE,EAAE,CAAC;wBAC9B,EAAE,EAAE,CAAC,GAAG,CAAC,WAAW,MAAM,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC5G,CAAC;yBAAM,CAAC;wBACN,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC/F,CAAC;oBACD,IAAI,IAAI,CAAC,OAAO;wBAAE,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;oBAC5C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACd,IAAI,CAAC,KAAK,CAAC,CAAC;wBACZ,IAAI,KAAK,GAAgB,KAAK,CAAC;wBAC/B,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC;4BACpB,yEAAyE;4BACzE,IAAI,CACF,aAAa,IAAI,CAAC,IAAI,CAAC,KAAK,2BAA2B,MAAM,uBAAuB,EACpF,IAAI,CAAC,UAAU,CAChB,CAAC;4BACF,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;wBAC9C,CAAC;wBACD,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;wBAChC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACd,CAAC;oBACD,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;wBACf,IAAI,CAAC,KAAK,CAAC,CAAC;wBACZ,IAAI,KAAK,GAAgB,KAAK,CAAC;wBAC/B,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;4BACrB,IAAI,CAAC,aAAa,IAAI,CAAC,KAAK,CAAC,KAAK,wBAAwB,CAAC,CAAC;4BAC5D,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;wBAC/C,CAAC;wBACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAC;wBACjC,IAAI,CAAC,KAAK,CAAC,CAAC;oBACd,CAAC;oBACD,MAAM;gBACR,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,KAAK,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC;IACvB,OAAO,KAAK,CAAC;AACf,CAAC;AAED,2DAA2D;AAE3D,SAAS,QAAQ,CACf,MAA0B,EAC1B,QAAiB,EACjB,IAAY,EACZ,gBAAwB;IAExB,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,MAAM,WAAW,GAAa,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;IAC/D,KAAK,MAAM,CAAC,IAAI,WAAW;QAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAEzC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACb,GAAG,CAAC,IAAI,CACN,QAAQ;QACN,CAAC,CAAC,6CAA6C;QAC/C,CAAC,CAAC,wCAAwC,CAC7C,CAAC;IACF,GAAG,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC7C,wFAAwF;IACxF,GAAG,CAAC,IAAI,CAAC,2FAA2F,CAAC,CAAC;IACtG,0EAA0E;IAC1E,GAAG,CAAC,IAAI,CAAC,yGAAyG,CAAC,CAAC;IACpH,GAAG,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAEzC,MAAM,QAAQ,GAAW,GAAG,CAAC,MAAM,CAAC,CAAC,uBAAuB;IAC5D,MAAM,WAAW,GAAwB,IAAI,GAAG,EAAkB,CAAC;IACnE,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;QACrB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAClB,IAAI,EAAE,CAAC,MAAM,KAAK,SAAS;YAAE,WAAW,CAAC,GAAG,CAAC,QAAQ,GAAG,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,oBAAoB;IACjG,CAAC,CAAC,CAAC;IAEH,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACd,qEAAqE;IACrE,2EAA2E;IAC3E,6EAA6E;IAC7E,MAAM,SAAS,GAAW,QAAQ,CAAC,CAAC,CAAC,8BAA8B,CAAC,CAAC,CAAC,uBAAuB,CAAC;IAC9F,GAAG,CAAC,IAAI,CAAC,yCAAyC,SAAS,sDAAsD,CAAC,CAAC;IACnH,GAAG,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC,CAAC,2BAA2B;IAEvE,gFAAgF;IAChF,4EAA4E;IAC5E,MAAM,QAAQ,GAAmB,EAAE,CAAC;IACpC,IAAI,MAAM,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAC5B,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,CAAC,EAAE,YAAY,EAAE,gBAAgB,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjH,CAAC;IACD,MAAM,aAAa,GAAa,IAAI,KAAK,CAAS,GAAG,CAAC,MAAM,CAAC,CAAC;IAC9D,IAAI,GAAG,GAAW,CAAC,CAAC;IACpB,KAAK,IAAI,CAAC,GAAW,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC5C,aAAa,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC;QACvB,GAAG,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,0BAA0B;IACtD,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE;QACrB,IAAI,CAAC,EAAE,CAAC,IAAI;YAAE,OAAO;QACrB,MAAM,KAAK,GAAW,aAAa,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC;QAClD,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,YAAY,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,CAAC;QAC5G,CAAC;IACH,CAAC,CAAC,CAAC;IAEH,OAAO,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,eAAe,EAAE,WAAW,CAAC,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC;AAC9F,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,12 @@
+/**
+ * @weave-framework/check — template type-checking (M8).
+ *
+ * Generates a never-bundled virtual `.ts` per component (verbatim `setup` + a
+ * synthesized `__weave__()` placing each template expression against
+ * `ReturnType<typeof setup>`), type-checks them with the real TypeScript
+ * compiler, and maps diagnostics back to the original `.weave`/`.html` line:col.
+ */
+export { buildVirtualSfc, buildVirtualSeparate, type Virtual, type WeaveMapping } from './emit.js';
+export { runCheck, offsetToLineCol, type Diagnostic } from './check.js';
+export { checkProject } from './project.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,KAAK,OAAO,EAAE,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AACnG,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}

package/dist/index.js

@@ -0,0 +1,12 @@
+/**
+ * @weave-framework/check — template type-checking (M8).
+ *
+ * Generates a never-bundled virtual `.ts` per component (verbatim `setup` + a
+ * synthesized `__weave__()` placing each template expression against
+ * `ReturnType<typeof setup>`), type-checks them with the real TypeScript
+ * compiler, and maps diagnostics back to the original `.weave`/`.html` line:col.
+ */
+export { buildVirtualSfc, buildVirtualSeparate } from './emit.js';
+export { runCheck, offsetToLineCol } from './check.js';
+export { checkProject } from './project.js';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAmC,MAAM,WAAW,CAAC;AACnG,OAAO,EAAE,QAAQ,EAAE,eAAe,EAAmB,MAAM,YAAY,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,cAAc,CAAC"}

package/dist/project.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Discovery + one-shot project check. Walks a directory for both authoring forms —
+ * `.weave` SFCs and `.ts` components — builds a virtual module for each, and
+ * type-checks them all in a single program. A `.ts` component's template/styles are
+ * resolved the same way the build plugin resolves them (see `extractSources`): a
+ * declared inline/file `template`, else the sibling `name.html`.
+ */
+import { type Diagnostic } from './check.js';
+/** Build virtuals for every component found under `roots`, then check them together. */
+export declare function checkProject(roots: string[]): Diagnostic[];
+//# sourceMappingURL=project.d.ts.map

package/dist/project.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"project.d.ts","sourceRoot":"","sources":["../src/project.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAMH,OAAO,EAAY,KAAK,UAAU,EAAE,MAAM,YAAY,CAAC;AAIvD,wFAAwF;AACxF,wBAAgB,YAAY,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,UAAU,EAAE,CAI1D"}

package/dist/project.js

@@ -0,0 +1,78 @@
+/**
+ * Discovery + one-shot project check. Walks a directory for both authoring forms —
+ * `.weave` SFCs and `.ts` components — builds a virtual module for each, and
+ * type-checks them all in a single program. A `.ts` component's template/styles are
+ * resolved the same way the build plugin resolves them (see `extractSources`): a
+ * declared inline/file `template`, else the sibling `name.html`.
+ */
+import { readFileSync, readdirSync, existsSync, statSync } from 'node:fs';
+import { join, resolve, dirname } from 'node:path';
+import { extractSources, classifyTemplate, faithfulTemplate } from '@weave-framework/compiler';
+import { buildVirtualSfc, buildVirtualSeparate } from './emit.js';
+import { runCheck } from './check.js';
+const SKIP = new Set(['node_modules', 'dist', '.git', '.weave']);
+/** Build virtuals for every component found under `roots`, then check them together. */
+export function checkProject(roots) {
+    const virtuals = [];
+    for (const root of roots)
+        collect(root, virtuals);
+    return virtuals.length ? runCheck(virtuals) : [];
+}
+function collect(path, out) {
+    if (!existsSync(path))
+        return;
+    const st = statSync(path);
+    if (st.isDirectory()) {
+        for (const entry of readdirSync(path)) {
+            if (SKIP.has(entry))
+                continue;
+            collect(join(path, entry), out);
+        }
+        return;
+    }
+    if (path.endsWith('.weave')) {
+        out.push(absolutize(buildVirtualSfc(path, readFileSync(path, 'utf8'))));
+    }
+    else if (path.endsWith('.ts') && !path.endsWith('.d.ts')) {
+        const v = collectTs(path);
+        if (v)
+            out.push(absolutize(v));
+    }
+}
+/**
+ * Make a virtual's module path absolute so cross-component imports resolve to it.
+ * TypeScript resolves a relative import specifier to an ABSOLUTE path; the host's
+ * lookup table is keyed on `v.path`, so an unresolved relative key would miss and
+ * fall through to the on-disk source (which lacks the synthesized default export).
+ * Display paths (`scriptFile`/`templateFile`) stay as-passed, so diagnostics keep
+ * their tidy relative form.
+ */
+function absolutize(v) {
+    v.path = resolve(v.path);
+    return v;
+}
+/** Resolve a `.ts` component's template into a virtual (or null if it is not a component). */
+function collectTs(tsPath) {
+    const source = readFileSync(tsPath, 'utf8');
+    const decl = extractSources(source);
+    const siblingHtml = tsPath.replace(/\.ts$/, '.html');
+    if (decl.template !== undefined) {
+        if (classifyTemplate(decl.template) === 'inline') {
+            // Offset-faithful: template at its real `.ts` offsets, everything else blanked,
+            // so diagnostics map back to the `.ts` line:col.
+            const faithful = decl.templateRange
+                ? faithfulTemplate(source, decl.templateRange)
+                : decl.template;
+            return buildVirtualSeparate(tsPath, decl.script, tsPath, faithful);
+        }
+        const file = resolve(dirname(tsPath), decl.template);
+        if (!existsSync(file))
+            return null; // build reports the missing file; check just skips
+        return buildVirtualSeparate(tsPath, decl.script, file, readFileSync(file, 'utf8'));
+    }
+    if (existsSync(siblingHtml)) {
+        return buildVirtualSeparate(tsPath, decl.script, siblingHtml, readFileSync(siblingHtml, 'utf8'));
+    }
+    return null; // ordinary module
+}
+//# sourceMappingURL=project.js.map

package/dist/project.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"project.js","sourceRoot":"","sources":["../src/project.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,gBAAgB,EAAyB,MAAM,2BAA2B,CAAC;AACtH,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAgB,MAAM,WAAW,CAAC;AAChF,OAAO,EAAE,QAAQ,EAAmB,MAAM,YAAY,CAAC;AAEvD,MAAM,IAAI,GAAgB,IAAI,GAAG,CAAC,CAAC,cAAc,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC;AAE9E,wFAAwF;AACxF,MAAM,UAAU,YAAY,CAAC,KAAe;IAC1C,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK;QAAE,OAAO,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAClD,OAAO,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACnD,CAAC;AAED,SAAS,OAAO,CAAC,IAAY,EAAE,GAAc;IAC3C,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO;IAC9B,MAAM,EAAE,GAAgC,QAAQ,CAAC,IAAI,CAAC,CAAC;IACvD,IAAI,EAAE,CAAC,WAAW,EAAE,EAAE,CAAC;QACrB,KAAK,MAAM,KAAK,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;YACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;gBAAE,SAAS;YAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,CAAC;QACD,OAAO;IACT,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,eAAe,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC;SAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,GAAmB,SAAS,CAAC,IAAI,CAAC,CAAC;QAC1C,IAAI,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;IACjC,CAAC;AACH,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAAC,CAAU;IAC5B,CAAC,CAAC,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACzB,OAAO,CAAC,CAAC;AACX,CAAC;AAED,8FAA8F;AAC9F,SAAS,SAAS,CAAC,MAAc;IAC/B,MAAM,MAAM,GAAW,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,MAAM,IAAI,GAAqB,cAAc,CAAC,MAAM,CAAC,CAAC;IACtD,MAAM,WAAW,GAAW,MAAM,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAE7D,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,QAAQ,EAAE,CAAC;YACjD,gFAAgF;YAChF,iDAAiD;YACjD,MAAM,QAAQ,GAAW,IAAI,CAAC,aAAa;gBACzC,CAAC,CAAC,gBAAgB,CAAC,MAAM,EAAE,IAAI,CAAC,aAAa,CAAC;gBAC9C,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC;YAClB,OAAO,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,IAAI,GAAW,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC;QAC7D,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,CAAC,mDAAmD;QACvF,OAAO,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACrF,CAAC;IAED,IAAI,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QAC5B,OAAO,oBAAoB,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,WAAW,EAAE,YAAY,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,OAAO,IAAI,CAAC,CAAC,kBAAkB;AACjC,CAAC"}

package/package.json

@@ -0,0 +1,41 @@
+{
+  "name": "@weave-framework/check",
+  "version": "0.2.0",
+  "description": "Weave template type-checking — virtual .ts generation + tsc, mapped back to source.",
+  "type": "module",
+  "sideEffects": false,
+  "main": "./dist/index.js",
+  "module": "./dist/index.js",
+  "types": "./dist/index.d.ts",
+  "exports": {
+    ".": {
+      "types": "./dist/index.d.ts",
+      "import": "./dist/index.js"
+    },
+    "./emit": {
+      "types": "./dist/emit.d.ts",
+      "import": "./dist/emit.js"
+    }
+  },
+  "files": [
+    "dist"
+  ],
+  "engines": {
+    "node": ">=18"
+  },
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/weave-framework/weave.git",
+    "directory": "packages/check"
+  },
+  "publishConfig": {
+    "access": "public"
+  },
+  "dependencies": {
+    "@weave-framework/compiler": "0.2.0"
+  },
+  "peerDependencies": {
+    "typescript": "^5.7.0"
+  },
+  "license": "MIT"
+}