@kelnishi/tropelang-wasm 0.13.0

package/package.json

@@ -0,0 +1,22 @@
+{
+  "name": "@kelnishi/tropelang-wasm",
+  "type": "module",
+  "description": "WASM bindings for the TropeLang analysis core (the LSP/IDE backend).",
+  "version": "0.13.0",
+  "files": [
+    "tropelang_wasm_bg.wasm",
+    "tropelang_wasm.js",
+    "tropelang_wasm_bg.js",
+    "tropelang_wasm.d.ts"
+  ],
+  "main": "tropelang_wasm.js",
+  "types": "tropelang_wasm.d.ts",
+  "sideEffects": [
+    "./tropelang_wasm.js",
+    "./snippets/*"
+  ],
+  "repository": {
+    "type": "git",
+    "url": "git+https://github.com/kelnishi/TropeLang.git"
+  }
+}

package/tropelang_wasm.d.ts

@@ -0,0 +1,175 @@
+/* tslint:disable */
+/* eslint-disable */
+
+/**
+ * Context-aware completion at char offset `off`. The offset is a CHAR offset (== the editor's CM
+ * position for BMP text); the returned `from` is likewise a char offset.
+ */
+export function complete(src: string, off: number): string;
+
+/**
+ * The corpus catalog (metadata, no source) for the browser — tropes plus the base libraries
+ * (concepts + module dynamics). Each entry carries `terms`: the names it declares so Library search
+ * can find a file by an element it defines. `{"tropes": [{name, bucket, category, url, terms}, ...]}`.
+ */
+export function corpus(): string;
+
+/**
+ * The repo-relative `.trl` path of a corpus file, by name (e.g. "heist" → "trl/tropes/conflict/tactics/
+ * heist.trl") — for the viewer title bar. Empty if the name is not a corpus file.
+ */
+export function corpus_path(name: string): string;
+
+/**
+ * The full `.trl` source of one corpus file (trope or base library), by name.
+ */
+export function corpus_source(name: string): string;
+
+/**
+ * Where in the corpus a name is defined → the file (open it with `corpus_source`), or "" if none.
+ * Alias-aware: a surface form chases through to its canonical declaration's file.
+ */
+export function define(name: string): string;
+
+/**
+ * Describe a name for the hover / caret callout: its declaration kind, tags, first-class docstring, and —
+ * if it is a corpus-defined trope — its category/domain and wiki laconic. Buffer first (a local
+ * declaration), then the corpus. Returns `null` when nothing is known.
+ */
+export function describe(src: string, name: string): string;
+
+/**
+ * Exact drams over the buffer → `{density, coverage, facts, firings, gap}`.
+ */
+export function drams(src: string): string;
+
+/**
+ * The engine/grammar version (the core crate's version) — the source of truth for the spec-19
+ * `engineMin` compatibility gate. The site compares a corpus's `engineMin` against this and refuses to
+ * load a corpus newer than the bundled engine.
+ */
+export function engine_version(): string;
+
+/**
+ * Epistemic-marked regions in a buffer (`!…!` absolute, `*…*` contingent, `?…?` latent) → spans for
+ * rendering markup (bold / italic / small-caps) over the inner text.
+ * `{"regions":[{tier, line, col, off, len}, ...]}` where `tier` ∈ {"!","*","?"}.
+ */
+export function epistemics(src: string): string;
+
+/**
+ * Run S3 over the buffer → `{firings, derived, initial, final}`. (Named `eval_buffer`, not `eval`,
+ * because `eval` is a reserved word in JS and wasm-bindgen would mangle it to `_eval`.)
+ */
+export function eval_buffer(src: string): string;
+
+/**
+ * Tab auto-expand: if the cursor is in a POSITIONAL param slot, the edit that names it — `{from, insert}`
+ * where insert is `key=` (key from the signature, else a default reserved key). "" when not applicable.
+ */
+export function expand_param(src: string, off: number): string;
+
+/**
+ * Recognition provenance — the recognition `--why` for the embed's pill panel. Per recognition: which
+ * buffer event satisfied each `when:` clause, the coverage re-checks behind the confidence, and any
+ * kind violation. Mirrors `suggest` (corpus + buffer-local). Use `explain_local` to toggle inline rules.
+ * `{"explanations": [{trope, file, confidence, clauses, coverage, typeViolation, bindings}, ...]}`.
+ */
+export function explain(src: string): string;
+
+/**
+ * `explain` with the buffer-local-rules toggle (paired with `suggest_local`).
+ */
+export function explain_local(src: string, include_local: boolean): string;
+
+/**
+ * Parse + canonically serialize the buffer (round-trip / format) → `{ok, canonical, roundtrips}` or `{ok:false, error}`.
+ */
+export function format(src: string): string;
+
+/**
+ * The whole documented vocabulary of the corpus, for generating reference pages (glossary + trope
+ * index) from close-to-code. One call → the whole reference dataset.
+ */
+export function glossary(): string;
+
+/**
+ * Inlay hints: at each entity declaration, the tags its written tags transitively IMPLY (the hidden truth
+ * the imply rules bring), placed at the end of the declaration line. `[{off, text}]` (off = char offset).
+ */
+export function inlays(src: string): string;
+
+/**
+ * Layer a `.trlb` payload onto the active corpus (later-wins-by-stem) and apply `strikes` (a JSON array
+ * of stems to redact), then rebuild — so subsequent loads compose (base + expansion packs + redactions)
+ * without re-fetching the base. Returns `{ ok, count, errors }`.
+ */
+export function layer_corpus_trlb(bytes: Uint8Array, strikes_json: string): string;
+
+/**
+ * Semantic links for a buffer — declarations, references, and tags. A tag is flagged `known` iff it
+ * has a CANONICAL DECLARATION in the corpus (i.e. it would chase — an `imply` title or a concept/decl).
+ * Drives semantic highlighting, go-to-definition, and the context menu.
+ * `{"declarations":[{name,line,col,off,len}], "references":[…], "tags":[{…,known}]}`.
+ */
+export function links(src: string): string;
+
+/**
+ * Load a corpus from `[{"path","source"}]` JSON, replacing the active one. Rust derives all metadata
+ * from the path + preamble. Returns `{ "ok": bool, "count": n, "errors": [..] }`.
+ */
+export function load_corpus(files_json: string): string;
+
+/**
+ * Load a corpus from a `.trlb` post-parse binary payload (spec 24), **replacing** the active corpus —
+ * the parse-skip peer of [`load_corpus`]. `bytes` is a JS `Uint8Array`; decode the transport
+ * (`.trlb.gz`/br) in JS via `DecompressionStream` before calling. Returns `{ ok, count, errors }`.
+ */
+export function load_corpus_trlb(bytes: Uint8Array): string;
+
+/**
+ * Signature help: when the cursor is inside a declared tag/verb's `(...)`, its signature + the active
+ * param. `{name, params:[{label}], active}` (active is the 0-based slot), or "" when not in a known call.
+ */
+export function signature(src: string, off: number): string;
+
+export function state_at(src: string, name: string, offset: number): string;
+
+/**
+ * S23 fabula lens: re-emit the buffer in **story-time order** — top-level scenes carrying a `@@` stamp
+ * sorted by the `~>` clock (presentation order as tiebreak). The first S11 lens exposed to the host
+ * (`specs/17 §`); closed under TRL. → `{ok, trl}` or `{ok:false, error}`.
+ */
+export function story(src: string): string;
+
+/**
+ * Recognize tropes in a buffer → tiered, ranked recognitions with bindings, confidence, a span, and the
+ * trope file's header `meta`. `{"recognitions": [{trope, status:{kind,…}, confidence, bindings, span,
+ * meta:{…}}, ...]}`. Buffer-local rules are included by default; use `suggest_local` to toggle that off.
+ */
+export function suggest(src: string): string;
+
+/**
+ * `suggest` with the buffer-local-rules toggle (the embed's "recognize inline rules" switch). Pass
+ * `false` to recognize against the embedded corpus only; the plain `suggest` keeps it on.
+ */
+export function suggest_local(src: string, include_local: boolean): string;
+
+/**
+ * Declared symbols in a buffer (the document outline / go-to-def source).
+ * `{"declarations": [{name, line, col, off, len}, ...]}`.
+ */
+export function symbols(src: string): string;
+
+/**
+ * Validate a buffer → `{"diagnostics": [{severity, line, message, fix?}, ...]}`. Import- and
+ * corpus-aware (`ide::Workspace::diagnostics`): "ensure it is imported" warnings are dropped for names
+ * the imports/corpus actually provide, surviving unfounded references are promoted to errors (with a
+ * founding-concept quick-fix), and the auto-fixable tag issues + S13 typed-signature checks append.
+ */
+export function validate(src: string): string;
+
+/**
+ * Core/grammar version, for a frontend sanity check that the WASM loaded.
+ */
+export function version(): string;

package/tropelang_wasm.js

@@ -0,0 +1,9 @@
+/* @ts-self-types="./tropelang_wasm.d.ts" */
+import * as wasm from "./tropelang_wasm_bg.wasm";
+import { __wbg_set_wasm } from "./tropelang_wasm_bg.js";
+
+__wbg_set_wasm(wasm);
+
+export {
+    complete, corpus, corpus_path, corpus_source, define, describe, drams, engine_version, epistemics, eval_buffer, expand_param, explain, explain_local, format, glossary, inlays, layer_corpus_trlb, links, load_corpus, load_corpus_trlb, signature, state_at, story, suggest, suggest_local, symbols, validate, version
+} from "./tropelang_wasm_bg.js";

package/tropelang_wasm_bg.js

@@ -0,0 +1,807 @@
+/**
+ * Context-aware completion at char offset `off`. The offset is a CHAR offset (== the editor's CM
+ * position for BMP text); the returned `from` is likewise a char offset.
+ * @param {string} src
+ * @param {number} off
+ * @returns {string}
+ */
+export function complete(src, off) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.complete(retptr, ptr0, len0, off);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * The corpus catalog (metadata, no source) for the browser — tropes plus the base libraries
+ * (concepts + module dynamics). Each entry carries `terms`: the names it declares so Library search
+ * can find a file by an element it defines. `{"tropes": [{name, bucket, category, url, terms}, ...]}`.
+ * @returns {string}
+ */
+export function corpus() {
+    let deferred1_0;
+    let deferred1_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.corpus(retptr);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred1_0 = r0;
+        deferred1_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred1_0, deferred1_1, 1);
+    }
+}
+
+/**
+ * The repo-relative `.trl` path of a corpus file, by name (e.g. "heist" → "trl/tropes/conflict/tactics/
+ * heist.trl") — for the viewer title bar. Empty if the name is not a corpus file.
+ * @param {string} name
+ * @returns {string}
+ */
+export function corpus_path(name) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.corpus_path(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * The full `.trl` source of one corpus file (trope or base library), by name.
+ * @param {string} name
+ * @returns {string}
+ */
+export function corpus_source(name) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.corpus_source(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Where in the corpus a name is defined → the file (open it with `corpus_source`), or "" if none.
+ * Alias-aware: a surface form chases through to its canonical declaration's file.
+ * @param {string} name
+ * @returns {string}
+ */
+export function define(name) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.define(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Describe a name for the hover / caret callout: its declaration kind, tags, first-class docstring, and —
+ * if it is a corpus-defined trope — its category/domain and wiki laconic. Buffer first (a local
+ * declaration), then the corpus. Returns `null` when nothing is known.
+ * @param {string} src
+ * @param {string} name
+ * @returns {string}
+ */
+export function describe(src, name) {
+    let deferred3_0;
+    let deferred3_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len1 = WASM_VECTOR_LEN;
+        wasm.describe(retptr, ptr0, len0, ptr1, len1);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred3_0 = r0;
+        deferred3_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+    }
+}
+
+/**
+ * Exact drams over the buffer → `{density, coverage, facts, firings, gap}`.
+ * @param {string} src
+ * @returns {string}
+ */
+export function drams(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.drams(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * The engine/grammar version (the core crate's version) — the source of truth for the spec-19
+ * `engineMin` compatibility gate. The site compares a corpus's `engineMin` against this and refuses to
+ * load a corpus newer than the bundled engine.
+ * @returns {string}
+ */
+export function engine_version() {
+    let deferred1_0;
+    let deferred1_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.engine_version(retptr);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred1_0 = r0;
+        deferred1_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred1_0, deferred1_1, 1);
+    }
+}
+
+/**
+ * Epistemic-marked regions in a buffer (`!…!` absolute, `*…*` contingent, `?…?` latent) → spans for
+ * rendering markup (bold / italic / small-caps) over the inner text.
+ * `{"regions":[{tier, line, col, off, len}, ...]}` where `tier` ∈ {"!","*","?"}.
+ * @param {string} src
+ * @returns {string}
+ */
+export function epistemics(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.epistemics(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Run S3 over the buffer → `{firings, derived, initial, final}`. (Named `eval_buffer`, not `eval`,
+ * because `eval` is a reserved word in JS and wasm-bindgen would mangle it to `_eval`.)
+ * @param {string} src
+ * @returns {string}
+ */
+export function eval_buffer(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.eval_buffer(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Tab auto-expand: if the cursor is in a POSITIONAL param slot, the edit that names it — `{from, insert}`
+ * where insert is `key=` (key from the signature, else a default reserved key). "" when not applicable.
+ * @param {string} src
+ * @param {number} off
+ * @returns {string}
+ */
+export function expand_param(src, off) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.expand_param(retptr, ptr0, len0, off);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Recognition provenance — the recognition `--why` for the embed's pill panel. Per recognition: which
+ * buffer event satisfied each `when:` clause, the coverage re-checks behind the confidence, and any
+ * kind violation. Mirrors `suggest` (corpus + buffer-local). Use `explain_local` to toggle inline rules.
+ * `{"explanations": [{trope, file, confidence, clauses, coverage, typeViolation, bindings}, ...]}`.
+ * @param {string} src
+ * @returns {string}
+ */
+export function explain(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.explain(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * `explain` with the buffer-local-rules toggle (paired with `suggest_local`).
+ * @param {string} src
+ * @param {boolean} include_local
+ * @returns {string}
+ */
+export function explain_local(src, include_local) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.explain_local(retptr, ptr0, len0, include_local);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Parse + canonically serialize the buffer (round-trip / format) → `{ok, canonical, roundtrips}` or `{ok:false, error}`.
+ * @param {string} src
+ * @returns {string}
+ */
+export function format(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.format(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * The whole documented vocabulary of the corpus, for generating reference pages (glossary + trope
+ * index) from close-to-code. One call → the whole reference dataset.
+ * @returns {string}
+ */
+export function glossary() {
+    let deferred1_0;
+    let deferred1_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.glossary(retptr);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred1_0 = r0;
+        deferred1_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred1_0, deferred1_1, 1);
+    }
+}
+
+/**
+ * Inlay hints: at each entity declaration, the tags its written tags transitively IMPLY (the hidden truth
+ * the imply rules bring), placed at the end of the declaration line. `[{off, text}]` (off = char offset).
+ * @param {string} src
+ * @returns {string}
+ */
+export function inlays(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.inlays(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Layer a `.trlb` payload onto the active corpus (later-wins-by-stem) and apply `strikes` (a JSON array
+ * of stems to redact), then rebuild — so subsequent loads compose (base + expansion packs + redactions)
+ * without re-fetching the base. Returns `{ ok, count, errors }`.
+ * @param {Uint8Array} bytes
+ * @param {string} strikes_json
+ * @returns {string}
+ */
+export function layer_corpus_trlb(bytes, strikes_json) {
+    let deferred3_0;
+    let deferred3_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passArray8ToWasm0(bytes, wasm.__wbindgen_export);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(strikes_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len1 = WASM_VECTOR_LEN;
+        wasm.layer_corpus_trlb(retptr, ptr0, len0, ptr1, len1);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred3_0 = r0;
+        deferred3_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+    }
+}
+
+/**
+ * Semantic links for a buffer — declarations, references, and tags. A tag is flagged `known` iff it
+ * has a CANONICAL DECLARATION in the corpus (i.e. it would chase — an `imply` title or a concept/decl).
+ * Drives semantic highlighting, go-to-definition, and the context menu.
+ * `{"declarations":[{name,line,col,off,len}], "references":[…], "tags":[{…,known}]}`.
+ * @param {string} src
+ * @returns {string}
+ */
+export function links(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.links(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Load a corpus from `[{"path","source"}]` JSON, replacing the active one. Rust derives all metadata
+ * from the path + preamble. Returns `{ "ok": bool, "count": n, "errors": [..] }`.
+ * @param {string} files_json
+ * @returns {string}
+ */
+export function load_corpus(files_json) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(files_json, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.load_corpus(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Load a corpus from a `.trlb` post-parse binary payload (spec 24), **replacing** the active corpus —
+ * the parse-skip peer of [`load_corpus`]. `bytes` is a JS `Uint8Array`; decode the transport
+ * (`.trlb.gz`/br) in JS via `DecompressionStream` before calling. Returns `{ ok, count, errors }`.
+ * @param {Uint8Array} bytes
+ * @returns {string}
+ */
+export function load_corpus_trlb(bytes) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passArray8ToWasm0(bytes, wasm.__wbindgen_export);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.load_corpus_trlb(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Signature help: when the cursor is inside a declared tag/verb's `(...)`, its signature + the active
+ * param. `{name, params:[{label}], active}` (active is the 0-based slot), or "" when not in a known call.
+ * @param {string} src
+ * @param {number} off
+ * @returns {string}
+ */
+export function signature(src, off) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.signature(retptr, ptr0, len0, off);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * @param {string} src
+ * @param {string} name
+ * @param {number} offset
+ * @returns {string}
+ */
+export function state_at(src, name, offset) {
+    let deferred3_0;
+    let deferred3_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        const ptr1 = passStringToWasm0(name, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len1 = WASM_VECTOR_LEN;
+        wasm.state_at(retptr, ptr0, len0, ptr1, len1, offset);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred3_0 = r0;
+        deferred3_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred3_0, deferred3_1, 1);
+    }
+}
+
+/**
+ * S23 fabula lens: re-emit the buffer in **story-time order** — top-level scenes carrying a `@@` stamp
+ * sorted by the `~>` clock (presentation order as tiebreak). The first S11 lens exposed to the host
+ * (`specs/17 §`); closed under TRL. → `{ok, trl}` or `{ok:false, error}`.
+ * @param {string} src
+ * @returns {string}
+ */
+export function story(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.story(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Recognize tropes in a buffer → tiered, ranked recognitions with bindings, confidence, a span, and the
+ * trope file's header `meta`. `{"recognitions": [{trope, status:{kind,…}, confidence, bindings, span,
+ * meta:{…}}, ...]}`. Buffer-local rules are included by default; use `suggest_local` to toggle that off.
+ * @param {string} src
+ * @returns {string}
+ */
+export function suggest(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.suggest(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * `suggest` with the buffer-local-rules toggle (the embed's "recognize inline rules" switch). Pass
+ * `false` to recognize against the embedded corpus only; the plain `suggest` keeps it on.
+ * @param {string} src
+ * @param {boolean} include_local
+ * @returns {string}
+ */
+export function suggest_local(src, include_local) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.suggest_local(retptr, ptr0, len0, include_local);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Declared symbols in a buffer (the document outline / go-to-def source).
+ * `{"declarations": [{name, line, col, off, len}, ...]}`.
+ * @param {string} src
+ * @returns {string}
+ */
+export function symbols(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.symbols(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Validate a buffer → `{"diagnostics": [{severity, line, message, fix?}, ...]}`. Import- and
+ * corpus-aware (`ide::Workspace::diagnostics`): "ensure it is imported" warnings are dropped for names
+ * the imports/corpus actually provide, surviving unfounded references are promoted to errors (with a
+ * founding-concept quick-fix), and the auto-fixable tag issues + S13 typed-signature checks append.
+ * @param {string} src
+ * @returns {string}
+ */
+export function validate(src) {
+    let deferred2_0;
+    let deferred2_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        const ptr0 = passStringToWasm0(src, wasm.__wbindgen_export, wasm.__wbindgen_export2);
+        const len0 = WASM_VECTOR_LEN;
+        wasm.validate(retptr, ptr0, len0);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred2_0 = r0;
+        deferred2_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred2_0, deferred2_1, 1);
+    }
+}
+
+/**
+ * Core/grammar version, for a frontend sanity check that the WASM loaded.
+ * @returns {string}
+ */
+export function version() {
+    let deferred1_0;
+    let deferred1_1;
+    try {
+        const retptr = wasm.__wbindgen_add_to_stack_pointer(-16);
+        wasm.version(retptr);
+        var r0 = getDataViewMemory0().getInt32(retptr + 4 * 0, true);
+        var r1 = getDataViewMemory0().getInt32(retptr + 4 * 1, true);
+        deferred1_0 = r0;
+        deferred1_1 = r1;
+        return getStringFromWasm0(r0, r1);
+    } finally {
+        wasm.__wbindgen_add_to_stack_pointer(16);
+        wasm.__wbindgen_export3(deferred1_0, deferred1_1, 1);
+    }
+}
+let cachedDataViewMemory0 = null;
+function getDataViewMemory0() {
+    if (cachedDataViewMemory0 === null || cachedDataViewMemory0.buffer.detached === true || (cachedDataViewMemory0.buffer.detached === undefined && cachedDataViewMemory0.buffer !== wasm.memory.buffer)) {
+        cachedDataViewMemory0 = new DataView(wasm.memory.buffer);
+    }
+    return cachedDataViewMemory0;
+}
+
+function getStringFromWasm0(ptr, len) {
+    return decodeText(ptr >>> 0, len);
+}
+
+let cachedUint8ArrayMemory0 = null;
+function getUint8ArrayMemory0() {
+    if (cachedUint8ArrayMemory0 === null || cachedUint8ArrayMemory0.byteLength === 0) {
+        cachedUint8ArrayMemory0 = new Uint8Array(wasm.memory.buffer);
+    }
+    return cachedUint8ArrayMemory0;
+}
+
+function passArray8ToWasm0(arg, malloc) {
+    const ptr = malloc(arg.length * 1, 1) >>> 0;
+    getUint8ArrayMemory0().set(arg, ptr / 1);
+    WASM_VECTOR_LEN = arg.length;
+    return ptr;
+}
+
+function passStringToWasm0(arg, malloc, realloc) {
+    if (realloc === undefined) {
+        const buf = cachedTextEncoder.encode(arg);
+        const ptr = malloc(buf.length, 1) >>> 0;
+        getUint8ArrayMemory0().subarray(ptr, ptr + buf.length).set(buf);
+        WASM_VECTOR_LEN = buf.length;
+        return ptr;
+    }
+
+    let len = arg.length;
+    let ptr = malloc(len, 1) >>> 0;
+
+    const mem = getUint8ArrayMemory0();
+
+    let offset = 0;
+
+    for (; offset < len; offset++) {
+        const code = arg.charCodeAt(offset);
+        if (code > 0x7F) break;
+        mem[ptr + offset] = code;
+    }
+    if (offset !== len) {
+        if (offset !== 0) {
+            arg = arg.slice(offset);
+        }
+        ptr = realloc(ptr, len, len = offset + arg.length * 3, 1) >>> 0;
+        const view = getUint8ArrayMemory0().subarray(ptr + offset, ptr + len);
+        const ret = cachedTextEncoder.encodeInto(arg, view);
+
+        offset += ret.written;
+        ptr = realloc(ptr, len, offset, 1) >>> 0;
+    }
+
+    WASM_VECTOR_LEN = offset;
+    return ptr;
+}
+
+let cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+cachedTextDecoder.decode();
+const MAX_SAFARI_DECODE_BYTES = 2146435072;
+let numBytesDecoded = 0;
+function decodeText(ptr, len) {
+    numBytesDecoded += len;
+    if (numBytesDecoded >= MAX_SAFARI_DECODE_BYTES) {
+        cachedTextDecoder = new TextDecoder('utf-8', { ignoreBOM: true, fatal: true });
+        cachedTextDecoder.decode();
+        numBytesDecoded = len;
+    }
+    return cachedTextDecoder.decode(getUint8ArrayMemory0().subarray(ptr, ptr + len));
+}
+
+const cachedTextEncoder = new TextEncoder();
+
+if (!('encodeInto' in cachedTextEncoder)) {
+    cachedTextEncoder.encodeInto = function (arg, view) {
+        const buf = cachedTextEncoder.encode(arg);
+        view.set(buf);
+        return {
+            read: arg.length,
+            written: buf.length
+        };
+    };
+}
+
+let WASM_VECTOR_LEN = 0;
+
+
+let wasm;
+export function __wbg_set_wasm(val) {
+    wasm = val;
+}