@fossil-lang/wasm 0.3.0-alpha.2 → 0.3.0-alpha.21

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,kGAAkG;AAClG,wGAAwG;AACxG,uFAAuF;AACvF,OAAO,EACL,gBAAgB,IAAI,mBAAmB,EACvC,UAAU,IAAI,aAAa,EAC3B,QAAQ,IAAI,WAAW,EACvB,eAAe,IAAI,iBAAiB,EACpC,gBAAgB,IAAI,iBAAiB,GACtC,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAG3C;;;;;;;;;;;;;;;;;;;GAmBG;AACH,MAAM,UAAU,gBAAgB;IAC9B,iBAAiB,EAAE,CAAC;AACtB,CAAC;AAYD;;;;;;;;GAQG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,6EAA6E;IAC7E,sEAAsE;IACtE,8EAA8E;IAC9E,6EAA6E;IAC7E,OAAO,WAAW,CAAC,IAAI,CAAe,CAAC;AACzC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,cAAc;IAC5B,OAAO,iBAAiB,EAA0B,CAAC;AACrD,CAAC;AA8ED;;;;;;;;;;;;;;;;;;GAkBG;AACH,MAAM,OAAO,gBAAgB;IACnB,MAAM,CAAsB;IAEpC;QACE,IAAI,CAAC,MAAM,GAAG,IAAI,mBAAmB,EAAE,CAAC;IAC1C,CAAC;IAED;;;;OAIG;IACH,IAAI;QACF,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;IACrB,CAAC;IAED;;;;OAIG;IACH,cAAc;QACZ,OAAO,IAAI,CAAC,MAAM,CAAC,cAAc,EAAmB,CAAC;IACvD,CAAC;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,IAAY,EAAE,QAAgB;QACrC,OAAO,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IAC/C,CAAC;IAED;;;;;;OAMG;IACH,UAAU,CAAC,MAAkB,EAAE,QAAgB;QAC7C,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IAC5C,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,MAAkB;QAC1B,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACjC,CAAC;IAED;;;;;OAKG;IACH,KAAK;QACH,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,EAAgB,CAAC;IAC3C,CAAC;IAED;;;;;;OAMG;IACH,cAAc,CAAC,MAAkB;QAC/B,OAAO,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,MAAM,CAAe,CAAC;IAC3D,CAAC;IAED;;;;;;OAMG;IACH,aAAa,CAAC,IAAY;QACxB,IAAI,CAAC,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;IACpC,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,0BAA0B,CAAC,UAAkC;QAC3D,0EAA0E;QAC1E,2EAA2E;QAC3E,IAAI,CAAC,MAAM,CAAC,0BAA0B,CAAC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;IACrE,CAAC;CACF"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAUH,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAG3C,OAAO,EACL,QAAQ,EACR,UAAU,EACV,eAAe,EACf,IAAI,EACJ,SAAS,GACV,MAAM,aAAa,CAAC;AAGrB,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC"}

package/dist/load.d.ts

@@ -1,27 +1,21 @@
-/** Options for {@link initFossilWasm}. */
-export interface InitFossilWasmOpts {
-    /**
-     * URL or path to `fossil_wasm_bg.wasm`. Consumers control resolution:
-     *  - Vite: `import wasmUrl from '@fossil-lang/wasm/pkg/fossil_wasm_bg.wasm?url'`
-     *  - Next.js: serve from `public/` and pass the static URL (e.g. `'/wasm/fossil_wasm_bg.wasm'`)
-     *  - Web Worker: `new URL('@fossil-lang/wasm/pkg/fossil_wasm_bg.wasm', import.meta.url)`
-     *  - Node test: a `file://` URL resolved from `import.meta.url`
-     *
-     * Accepts `string` (a URL string), `URL`, a `Request`, or a `Response` —
-     * matching `wasm-bindgen --target web`'s init signature.
-     */
-    wasmUrl: string | URL | Request | Response;
-}
+import type { InitInput } from '../pkg/fossil_wasm.js';
+export type { InitInput };
 /**
  * Boot the fossil-wasm module. MUST be awaited before calling any of
- * {@link tokenize}, {@link semanticLegend}, or instantiating
- * {@link FossilPlayground}. Memoised — subsequent calls return the same promise.
+ * {@link tokenize}, {@link tokenKinds}, or instantiating
+ * {@link FossilWorkspace}. A boot that succeeded is kept; one that failed is
+ * not, so the next call tries again — `module/unreachable` for a module that could not be
+ * fetched within 60 s, `internal/bug` for one that would not instantiate.
  *
- * Per 08-RESEARCH.md Pattern 3 (wasm-bindgen --target web), consumers control
- * the `.wasm` URL — this avoids tying library users to a specific bundler's
- * `.wasm` import magic. See `packages/wasm/README.md` for consumer patterns.
+ * **Called with nothing, the module finds its own `.wasm`.** The glue resolves
+ * `new URL('fossil_wasm_bg.wasm', import.meta.url)`, which is the pattern Vite,
+ * webpack 5 and Turbopack all recognise and emit as an asset — so a bundled host
+ * writes `await initFossilWasm()` and copies nothing.
+ *
+ * `wasm` is for the host with no bundler to do that: Node, whose `fetch` rejects
+ * `file://`, hands the bytes (`BufferSource`) or a `Response`.
  */
-export declare function initFossilWasm(opts: InitFossilWasmOpts): Promise<unknown>;
+export declare function initFossilWasm(wasm?: InitInput): Promise<unknown>;
 /**
  * For tests + hot-reload — reset the memoised promise. NOT exported from the
  * package index (test-internal helper).

package/dist/load.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAMA,0CAA0C;AAC1C,MAAM,WAAW,kBAAkB;IACjC;;;;;;;;;OASG;IACH,OAAO,EAAE,MAAM,GAAG,GAAG,GAAG,OAAO,GAAG,QAAQ,CAAC;CAC5C;AAID;;;;;;;;GAQG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,kBAAkB,GAAG,OAAO,CAAC,OAAO,CAAC,CASzE;AAED;;;GAGG;AACH,wBAAgB,eAAe,IAAI,IAAI,CAEtC"}
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAIA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAIvD,YAAY,EAAE,SAAS,EAAE,CAAC;AAI1B;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,cAAc,CAAC,IAAI,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC,OAAO,CAAC,CAUjE;AAED;;;GAGG;AACH,wBAAgB,eAAe,IAAI,IAAI,CAEtC"}

package/dist/load.js

@@ -1,25 +1,33 @@
 // '../pkg/fossil_wasm.js' is a wasm-bindgen --target web output emitted by `pnpm run build:wasm`.
-// It is gitignored (per 08-01 .gitignore + repo .gitignore `packages/wasm/pkg/`) but always present at build time.
-// The accompanying fossil_wasm.d.ts is consumed via the file's `/* @ts-self-types="./fossil_wasm.d.ts" */` pragma —
-// TS 5.6 resolves the `import` to that side-channel `.d.ts` automatically (no `@ts-expect-error` needed).
+// It is gitignored (repo .gitignore `packages/wasm/pkg/`) but always present at build time and in
+// the published tarball. Its `.d.ts` is consumed via the file's `/* @ts-self-types */` pragma.
 import init from '../pkg/fossil_wasm.js';
+import { boot } from '@fossil-lang/types';
 let _initPromise = null;
 /**
  * Boot the fossil-wasm module. MUST be awaited before calling any of
- * {@link tokenize}, {@link semanticLegend}, or instantiating
- * {@link FossilPlayground}. Memoised — subsequent calls return the same promise.
+ * {@link tokenize}, {@link tokenKinds}, or instantiating
+ * {@link FossilWorkspace}. A boot that succeeded is kept; one that failed is
+ * not, so the next call tries again — `module/unreachable` for a module that could not be
+ * fetched within 60 s, `internal/bug` for one that would not instantiate.
  *
- * Per 08-RESEARCH.md Pattern 3 (wasm-bindgen --target web), consumers control
- * the `.wasm` URL — this avoids tying library users to a specific bundler's
- * `.wasm` import magic. See `packages/wasm/README.md` for consumer patterns.
+ * **Called with nothing, the module finds its own `.wasm`.** The glue resolves
+ * `new URL('fossil_wasm_bg.wasm', import.meta.url)`, which is the pattern Vite,
+ * webpack 5 and Turbopack all recognise and emit as an asset — so a bundled host
+ * writes `await initFossilWasm()` and copies nothing.
+ *
+ * `wasm` is for the host with no bundler to do that: Node, whose `fetch` rejects
+ * `file://`, hands the bytes (`BufferSource`) or a `Response`.
  */
-export function initFossilWasm(opts) {
-    if (!_initPromise) {
-        // wasm-bindgen 0.2.120 init() prefers the `{ module_or_path }` object form;
-        // passing the URL/Request/Response/BufferSource as a positional argument
-        // still works but logs a deprecation warning ("pass a single object
-        // instead"). We use the object form to stay on the maintained path.
-        _initPromise = init({ module_or_path: opts.wasmUrl });
+export function initFossilWasm(wasm) {
+    if (_initPromise === null) {
+        // The object form: the positional one still works but logs a deprecation warning.
+        const pending = boot('fossil_wasm_bg.wasm', () => init(wasm === undefined ? undefined : { module_or_path: wasm }));
+        _initPromise = pending;
+        pending.catch(() => {
+            if (_initPromise === pending)
+                _initPromise = null; // forgotten, so the next call boots again
+        });
     }
     return _initPromise;
 }

package/dist/load.js.map

@@ -1 +1 @@
-{"version":3,"file":"load.js","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,mHAAmH;AACnH,oHAAoH;AACpH,0GAA0G;AAC1G,OAAO,IAAI,MAAM,uBAAuB,CAAC;AAiBzC,IAAI,YAAY,GAA4B,IAAI,CAAC;AAEjD;;;;;;;;GAQG;AACH,MAAM,UAAU,cAAc,CAAC,IAAwB;IACrD,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,4EAA4E;QAC5E,yEAAyE;QACzE,oEAAoE;QACpE,oEAAoE;QACpE,YAAY,GAAG,IAAI,CAAC,EAAE,cAAc,EAAE,IAAI,CAAC,OAAgB,EAAE,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe;IAC7B,YAAY,GAAG,IAAI,CAAC;AACtB,CAAC"}
+{"version":3,"file":"load.js","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAAA,kGAAkG;AAClG,kGAAkG;AAClG,+FAA+F;AAC/F,OAAO,IAAI,MAAM,uBAAuB,CAAC;AAGzC,OAAO,EAAE,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAI1C,IAAI,YAAY,GAA4B,IAAI,CAAC;AAEjD;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,cAAc,CAAC,IAAgB;IAC7C,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QAC1B,kFAAkF;QAClF,MAAM,OAAO,GAAG,IAAI,CAAC,qBAAqB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QACnH,YAAY,GAAG,OAAO,CAAC;QACvB,OAAO,CAAC,KAAK,CAAC,GAAG,EAAE;YACjB,IAAI,YAAY,KAAK,OAAO;gBAAE,YAAY,GAAG,IAAI,CAAC,CAAC,0CAA0C;QAC/F,CAAC,CAAC,CAAC;IACL,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,eAAe;IAC7B,YAAY,GAAG,IAAI,CAAC;AACtB,CAAC"}

package/dist/program.d.ts

@@ -0,0 +1,68 @@
+import { type Host, type ProgramSource } from '@fossil-lang/types';
+import { FossilWorkspace, tokenize, tokenKinds } from './client.js';
+import type { CheckRow, CompletionRow, DefinitionRow, HoverRow, InferredDescriptorJson, SemanticTokenRow } from './index.js';
+import { type InitInput } from './load.js';
+/** What {@link openProgram} takes beside the key. */
+export interface OpenProgramOptions {
+    /** The connection map, and the credentials a document the program names is read with. */
+    host: Host;
+    /** The buffer's text at open. Defaults to empty; every entry point takes the text anyway. */
+    text?: string;
+    /** The module's `.wasm`, for a host with no bundler — see {@link initFossilWasm}. */
+    wasm?: InitInput;
+    /** Stops the open — the boot and the first read of the documents — rejecting with its reason. */
+    signal?: AbortSignal;
+}
+/**
+ * A program open in its own workspace. Every member that answers about the program takes the
+ * current text, and pushes it first — see the module header for why that repetition is the design.
+ */
+export interface FossilProgram {
+    /** The key the program is open under — `CheckRow.uri` and `DefinitionRow.uri` carry it. */
+    readonly uri: string;
+    /** The compiler's lexer, for highlighting. Needs no workspace, and is here so the spread works. */
+    readonly tokenize: typeof tokenize;
+    /** The legend for a token's `kind`. */
+    readonly tokenKinds: typeof tokenKinds;
+    /** What the compiler knows about each name and reference — shapes, declarations, connections —
+     *  laid over {@link tokenize}'s lexical highlighting. */
+    semanticTokens(text: string): SemanticTokenRow[];
+    /**
+     * Push the text, read every document it names that the workspace lacks, and check. No debounce:
+     * `fossil()`'s linter waits out its own delay AND waits for this to return before it schedules
+     * again, which is what an LSP client does with `didChange`.
+     *
+     * A document that could not be read is a row of its own at the top of the program, under the code
+     * of its read — `storage/host-silent`, `storage/unreachable`, … — beside the checker's rows, which
+     * see it only as missing.
+     */
+    check(text: string): Promise<CheckRow[]>;
+    /** The type under the cursor, and the type the target shape demands of it — or `null`. */
+    hover(text: string, line: number, character: number): HoverRow | null;
+    /** The candidates at the cursor, narrowed by the receiver's type. */
+    complete(text: string, line: number, character: number): CompletionRow[];
+    /** Where the name under the cursor is defined. Often in the shape document: read `uri`. */
+    definition(text: string, line: number, character: number): DefinitionRow[];
+    /**
+     * The data sources the program reads, as fossil resolved them — what introspection DESCRIBEs.
+     * Resolves the documents first, because a source's locator goes through the connection map.
+     */
+    sources(text: string): Promise<ProgramSource[]>;
+    /**
+     * A host-introspected input schema, registered under the URI the program wrote. The compiler
+     * never introspects a source itself; push this before the check that should see it.
+     */
+    registerDescriptor(descriptor: InferredDescriptorJson): void;
+    /** The workspace underneath, for the rare question this surface does not ask. */
+    readonly workspace: FossilWorkspace;
+    /** Free the workspace. Every member fails after it. */
+    close(): void;
+}
+/**
+ * Boot the module, open `uri` in a fresh workspace, and read the documents its text names.
+ *
+ * One call and the answer goes straight into `fossil()`. A boot that succeeded is kept, so a second
+ * program in the same tab costs a workspace and nothing else.
+ */
+export declare function openProgram(uri: string, options: OpenProgramOptions): Promise<FossilProgram>;
+//# sourceMappingURL=program.d.ts.map

package/dist/program.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.d.ts","sourceRoot":"","sources":["../src/program.ts"],"names":[],"mappings":"AAkCA,OAAO,EAAS,KAAK,IAAI,EAAE,KAAK,aAAa,EAAuB,MAAM,oBAAoB,CAAC;AAE/F,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACpE,OAAO,KAAK,EACV,QAAQ,EACR,aAAa,EACb,aAAa,EACb,QAAQ,EACR,sBAAsB,EACtB,gBAAgB,EACjB,MAAM,YAAY,CAAC;AACpB,OAAO,EAAkB,KAAK,SAAS,EAAE,MAAM,WAAW,CAAC;AAE3D,qDAAqD;AACrD,MAAM,WAAW,kBAAkB;IACjC,yFAAyF;IACzF,IAAI,EAAE,IAAI,CAAC;IACX,6FAA6F;IAC7F,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,qFAAqF;IACrF,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,iGAAiG;IACjG,MAAM,CAAC,EAAE,WAAW,CAAC;CACtB;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,2FAA2F;IAC3F,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,mGAAmG;IACnG,QAAQ,CAAC,QAAQ,EAAE,OAAO,QAAQ,CAAC;IACnC,uCAAuC;IACvC,QAAQ,CAAC,UAAU,EAAE,OAAO,UAAU,CAAC;IACvC;6DACyD;IACzD,cAAc,CAAC,IAAI,EAAE,MAAM,GAAG,gBAAgB,EAAE,CAAC;IACjD;;;;;;;;OAQG;IACH,KAAK,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;IACzC,0FAA0F;IAC1F,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,QAAQ,GAAG,IAAI,CAAC;IACtE,qEAAqE;IACrE,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IACzE,2FAA2F;IAC3F,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,aAAa,EAAE,CAAC;IAC3E;;;OAGG;IACH,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC,CAAC;IAChD;;;OAGG;IACH,kBAAkB,CAAC,UAAU,EAAE,sBAAsB,GAAG,IAAI,CAAC;IAC7D,iFAAiF;IACjF,QAAQ,CAAC,SAAS,EAAE,eAAe,CAAC;IACpC,uDAAuD;IACvD,KAAK,IAAI,IAAI,CAAC;CACf;AAED;;;;;GAKG;AACH,wBAAsB,WAAW,CAAC,GAAG,EAAE,MAAM,EAAE,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,aAAa,CAAC,CA6ElG"}

package/dist/program.js

@@ -0,0 +1,117 @@
+/**
+ * One program, open in a workspace, answering an editor — what every host of the checker wrote by
+ * hand before this existed.
+ *
+ * `FossilWorkspace` is the workspace and it is right that it stays general: it holds any number
+ * of files and answers about each. What a host with ONE program in ONE editor needs on top of it
+ * is always the same protocol, and two copies of it had already diverged in their comments:
+ *
+ * 1. **Push before you ask.** Four callers at four rates — the debounced linter, hover on pointer
+ *    rest, completion on nearly every keystroke, goto-def on a key — share one workspace, and all
+ *    four answer about the text of the last `updateFile`. So every entry point takes the text and
+ *    pushes it first, and a string comparison against what was last pushed makes that free in the
+ *    common case. `updateFile` is the one call that bumps the Salsa revision; calling it per
+ *    mouse-move would invalidate the memoised check the squiggles came from for nothing.
+ * 2. **Read what the program names before you check it.** The compiler performs no IO. An edit
+ *    can name a shape document the workspace has not read, so a check first runs
+ *    `resolveDocuments` over the host's {@link Host} — which reads nothing when nothing is
+ *    missing.
+ *
+ * The result is shaped for `@fossil-lang/codemirror-fossil`'s `fossil()`: `tokenize`,
+ * `tokenKinds`, `semanticTokens`, `uri`, `check`, `hover`, `complete` and `definition` are exactly
+ * its option names, so a host spreads it and adds what is its own to decide:
+ *
+ * ```ts
+ * const program = await openProgram('job.fossil', { host, text });
+ * const extensions = fossil({ ...program, onNavigate });
+ * ```
+ *
+ * One workspace rather than one per rate, for the reason `fossil()`'s own header gives: a second
+ * workspace for the position queries would answer from a different revision than the squiggles on
+ * screen. The position methods take a SHARED borrow on the Rust side, so they nest inside a live
+ * check rather than poisoning it.
+ */
+import { resolveDocuments } from '@fossil-lang/storage';
+import { until } from '@fossil-lang/types';
+import { FossilWorkspace, tokenize, tokenKinds } from './client.js';
+import { initFossilWasm } from './load.js';
+/**
+ * Boot the module, open `uri` in a fresh workspace, and read the documents its text names.
+ *
+ * One call and the answer goes straight into `fossil()`. A boot that succeeded is kept, so a second
+ * program in the same tab costs a workspace and nothing else.
+ */
+export async function openProgram(uri, options) {
+    const { host, text = '', wasm, signal } = options;
+    await until(initFossilWasm(wasm), signal);
+    const workspace = new FossilWorkspace();
+    const handle = workspace.openFile(uri, text);
+    let pushed = text;
+    const sync = (next) => {
+        if (next === pushed)
+            return;
+        workspace.updateFile(handle, next);
+        pushed = next;
+    };
+    // What the last read of the documents could not read; every settle reads what is missing again.
+    let unread = [];
+    const settle = async (next, stop) => {
+        sync(next);
+        ({ unread } = await resolveDocuments(workspace.workspace(handle), host, { signal: stop }));
+    };
+    try {
+        await settle(text, signal);
+    }
+    catch (cause) {
+        workspace.free();
+        throw cause;
+    }
+    return {
+        uri,
+        tokenize,
+        tokenKinds,
+        async check(next) {
+            await settle(next);
+            const rows = workspace.check();
+            const failed = unread.map(({ key, problem }) => ({
+                uri,
+                range: { start: { line: 0, character: 0 }, end: { line: 0, character: 0 } },
+                severity: 1,
+                code: problem.code,
+                data: problem.data,
+                title: problem.title,
+                message: `${key}: ${problem.detail}`,
+                ...(problem.help === undefined ? {} : { help: problem.help }),
+            }));
+            return [...failed, ...rows];
+        },
+        semanticTokens(next) {
+            sync(next);
+            return workspace.semanticTokens(handle);
+        },
+        hover(next, line, character) {
+            sync(next);
+            return workspace.hover(handle, line, character);
+        },
+        complete(next, line, character) {
+            sync(next);
+            return workspace.completions(handle, line, character);
+        },
+        definition(next, line, character) {
+            sync(next);
+            return workspace.gotoDefinition(handle, line, character);
+        },
+        async sources(next) {
+            await settle(next);
+            return workspace.sources(handle);
+        },
+        registerDescriptor(descriptor) {
+            workspace.registerInferredDescriptor(descriptor);
+        },
+        workspace,
+        close() {
+            workspace.free();
+        },
+    };
+}
+//# sourceMappingURL=program.js.map

package/dist/program.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"program.js","sourceRoot":"","sources":["../src/program.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,OAAO,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxD,OAAO,EAAE,KAAK,EAAsD,MAAM,oBAAoB,CAAC;AAE/F,OAAO,EAAE,eAAe,EAAE,QAAQ,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AASpE,OAAO,EAAE,cAAc,EAAkB,MAAM,WAAW,CAAC;AA4D3D;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,GAAW,EAAE,OAA2B;IACxE,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;IAClD,MAAM,KAAK,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC;IAE1C,MAAM,SAAS,GAAG,IAAI,eAAe,EAAE,CAAC;IACxC,MAAM,MAAM,GAAG,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;IAC7C,IAAI,MAAM,GAAG,IAAI,CAAC;IAElB,MAAM,IAAI,GAAG,CAAC,IAAY,EAAQ,EAAE;QAClC,IAAI,IAAI,KAAK,MAAM;YAAE,OAAO;QAC5B,SAAS,CAAC,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACnC,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC,CAAC;IACF,gGAAgG;IAChG,IAAI,MAAM,GAA8B,EAAE,CAAC;IAC3C,MAAM,MAAM,GAAG,KAAK,EAAE,IAAY,EAAE,IAAkB,EAAiB,EAAE;QACvE,IAAI,CAAC,IAAI,CAAC,CAAC;QACX,CAAC,EAAE,MAAM,EAAE,GAAG,MAAM,gBAAgB,CAAC,SAAS,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC7F,CAAC,CAAC;IAEF,IAAI,CAAC;QACH,MAAM,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC7B,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,SAAS,CAAC,IAAI,EAAE,CAAC;QACjB,MAAM,KAAK,CAAC;IACd,CAAC;IAED,OAAO;QACL,GAAG;QACH,QAAQ;QACR,UAAU;QACV,KAAK,CAAC,KAAK,CAAC,IAAI;YACd,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,MAAM,IAAI,GAAG,SAAS,CAAC,KAAK,EAAE,CAAC;YAC/B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CACvB,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CACnB,CAAC;gBACC,GAAG;gBACH,KAAK,EAAE,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,EAAE;gBAC3E,QAAQ,EAAE,CAAC;gBACX,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,OAAO,EAAE,GAAG,GAAG,KAAK,OAAO,CAAC,MAAM,EAAE;gBACpC,GAAG,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;aAC9D,CAAa,CACjB,CAAC;YACF,OAAO,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,CAAC,CAAC;QAC9B,CAAC;QACD,cAAc,CAAC,IAAI;YACjB,IAAI,CAAC,IAAI,CAAC,CAAC;YACX,OAAO,SAAS,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QAC1C,CAAC;QACD,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS;YACzB,IAAI,CAAC,IAAI,CAAC,CAAC;YACX,OAAO,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAClD,CAAC;QACD,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS;YAC5B,IAAI,CAAC,IAAI,CAAC,CAAC;YACX,OAAO,SAAS,CAAC,WAAW,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QACxD,CAAC;QACD,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS;YAC9B,IAAI,CAAC,IAAI,CAAC,CAAC;YACX,OAAO,SAAS,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC3D,CAAC;QACD,KAAK,CAAC,OAAO,CAAC,IAAI;YAChB,MAAM,MAAM,CAAC,IAAI,CAAC,CAAC;YACnB,OAAO,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACnC,CAAC;QACD,kBAAkB,CAAC,UAAU;YAC3B,SAAS,CAAC,0BAA0B,CAAC,UAAU,CAAC,CAAC;QACnD,CAAC;QACD,SAAS;QACT,KAAK;YACH,SAAS,CAAC,IAAI,EAAE,CAAC;QACnB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/package.json

@@ -1,11 +1,11 @@
 {
   "name": "@fossil-lang/wasm",
-  "version": "0.3.0-alpha.2",
-  "description": "JS/TS wrapper around the fossil-wasm wasm-bindgen artifacts (--target web). Exposes initFossilWasm + tokenize + semanticLegend + FossilPlayground class for downstream @fossil-lang/* packages.",
+  "version": "0.3.0-alpha.21",
+  "description": "JS/TS wrapper around the fossil-wasm wasm-bindgen artifacts (--target web). Exposes initFossilWasm + tokenize + openProgram + FossilWorkspace class for downstream @fossil-lang/* packages.",
   "license": "Apache-2.0",
   "repository": {
     "type": "git",
-    "url": "https://github.com/kanzo-tech/fossil.git",
+    "url": "git+https://github.com/Kanzo-Tech/fossil-lang.git",
     "directory": "packages/wasm"
   },
   "publishConfig": {
@@ -33,11 +33,12 @@
   ],
   "sideEffects": false,
   "dependencies": {
-    "@fossil-lang/types": "0.3.0-alpha.2"
+    "@fossil-lang/storage": "0.3.0-alpha.21",
+    "@fossil-lang/types": "0.3.0-alpha.21"
   },
   "devDependencies": {
     "typescript": "^5.6.0",
-    "vitest": "^2.0.0"
+    "vitest": "^4.1.11"
   },
   "scripts": {
     "build:wasm": "bash scripts/build-wasm.sh",