@plurnk/plurnk-service 1.0.0

package/dist/schemes/_entry-find.js

@@ -0,0 +1,226 @@
+// FIND helper for entry-bearing schemes (SPEC §find; plurnk.md FIND row).
+// FIND resolves to the scheme's CATALOG ROWS — the very rows the manifest catalogs —
+// filtered to the statement's matches. A matcher (glob/regex/jsonpath/xpath/~semantic/
+// @graph) decides WHICH entries appear. A CONTENT matcher also stamps each row with
+// `matchLines` — the source line(s) where it hit (plurnk.md:31: FIND returns the matching
+// rows with the match lines in the metadata; the line CONTENT is a READ). The result is a
+// JSON array of catalog rows: the per-scheme slice of the catalog (§find-result-catalog-rows).
+//
+// Slot semantics (plurnk.md §"Body matcher dispatch (FIND, READ, OPEN, FOLD)"):
+//   target  — required scope (path or glob); selects which entries are candidates
+//   body    — matcher (glob/regex/jsonpath/xpath/~semantic/@graph). A content matcher
+//             runs against the entry's default-channel CONTENT (Matcher.matchAgainstContent
+//             → the mimetypes daughter) and INCLUDES/EXCLUDES the entry — e.g.
+//             `FIND(log:///**/error):/timeout/i` keeps logs whose content matches.
+//   signal  — tag filter: candidate entry must have ALL listed tags
+//   <L>     — results pagination: select results N..M from the matched list
+import { LineMarkerOps } from "../content/index.js";
+import Matcher from "../content/matcher.js";
+import { decodePathParens } from "../core/path-decode.js";
+import EntryGraph from "./_entry-graph.js";
+import EntryManifest from "./_entry-manifest.js";
+import EntrySemantic from "./_entry-semantic.js";
+export default class EntryFind {
+    // §run-scheme — the owner-prefix glob (`/<owner>/*`) for a run-scope FIND, from the target
+    // pathname Run.find already folded (`/<owner>/<rest>`). Bounds the catalog source to one run's
+    // scratch — the building run's own (self) or a named sister's.
+    static #runOwnerPrefix(statement) {
+        const path = statement.target?.kind === "url" ? statement.target.pathname : "";
+        const owner = path.split("/").filter((s) => s.length > 0)[0];
+        return owner === undefined ? "/*" : `/${owner}/*`;
+    }
+    static #scopePathnameOf(statement) {
+        const path = statement.target;
+        if (path === null)
+            return null;
+        if (path.kind === "regex")
+            return path.raw; // regex source — parens are syntax, never encoded
+        return decodePathParens(path.kind === "url" ? path.pathname : path.raw); // #239 item 4
+    }
+    static #paginate(items, marker) {
+        const total = items.length;
+        const { first, last } = marker;
+        // #209 — a fractional marker is a semantic similarity threshold; on a
+        // non-semantic (paginated) result it's nonsense → 416, never floored.
+        if (!Number.isInteger(first) || (last !== null && !Number.isInteger(last)))
+            return { status: 416 };
+        if (last === null) {
+            if (first === 0 || first === -1)
+                return { status: 200, items: [] };
+            if (first > 0 && first <= total)
+                return { status: 200, items: [items[first - 1]] };
+            return { status: 416 };
+        }
+        let n = first;
+        let m = last;
+        if (n === 0)
+            n = 1;
+        if (m === -1)
+            m = total;
+        if (n < 1 || n > total)
+            return { status: 416 };
+        if (m < 1 || m > total)
+            return { status: 416 };
+        if (n > m)
+            return { status: 416 };
+        return { status: 200, items: items.slice(n - 1, m) };
+    }
+    static #unique(xs) {
+        const seen = new Set();
+        const out = [];
+        for (const x of xs)
+            if (!seen.has(x)) {
+                seen.add(x);
+                out.push(x);
+            }
+        return out;
+    }
+    // Resolve a FIND to its matched session PATHNAMES — entry-level, unique, in result
+    // order (rank for ~semantic, candidate order otherwise). Candidate selection (scope +
+    // tags) runs in SQL (find_session_entry_candidates); a content matcher then runs against
+    // each candidate's default-channel CONTENT (Matcher.matchAgainstContent → the mimetypes
+    // daughter) and INCLUDES/EXCLUDES the entry — 200 keeps it, 204/415/203 drop it, 400
+    // (malformed matcher) fails the whole op. Path-scoping stays in the (target). Returns the
+    // matched pathnames plus `locations` — each content hit's source line(s), keyed by pathname.
+    static async #matchPathnames(statement, ctx, manifest) {
+        if (statement.target === null)
+            return { status: 400, matches: [] };
+        // Scope by the manifest's persisted entries.scheme (storedScheme; absent →
+        // name). File sets storedScheme=null — bare rows.
+        const scheme = manifest.storedScheme === undefined ? manifest.name : manifest.storedScheme;
+        if (statement.body !== null && statement.body.dialect === "semantic") {
+            // ~query: embed the query text, FTS-narrow by its terms, cosine-rank the narrowed
+            // set, top-K CHUNKS. Each ranked chunk is a (file, span) item — a file may appear
+            // more than once (#286, no dedup). 501 when no embeddings handler is installed. <L> carries the rank marker.
+            const { mimetypes } = ctx;
+            if (mimetypes === undefined)
+                return { status: 501, matches: [] };
+            if (statement.lineMarker === null)
+                return { status: 400, matches: [] }; // ~query needs a rank marker, e.g. ~query<10>
+            // §semantic-cold-query-full-fidelity — warm the query's own candidate slice inline
+            // (bit-identical to a warm corpus; the background pump owes nothing to THIS query).
+            await EntryManifest.deriveFtsCandidates(ctx, scheme, EntrySemantic.ftsQueryFor(statement.body.raw), 128);
+            const ranked = await EntrySemantic.rankSemantic(ctx.db, ctx.sessionId, scheme, mimetypes, statement.body.raw, LineMarkerOps.firstLast(statement.lineMarker));
+            if (ranked.status !== 200)
+                return { status: ranked.status, matches: [] };
+            return { status: 200, matches: ranked.results.map((x) => ({ pathname: x.pathname, span: { lineStart: x.lineStart, lineEnd: x.lineEnd } })) };
+        }
+        const scopePathname = EntryFind.#scopePathnameOf(statement);
+        // The target's GLOB scope. A FOLDER (trailing slash, incl. the scheme root `/`) expands to
+        // its contents — append `*`; a bare ENTRY path stays exact (one entry); an explicit glob
+        // passes through literally. The `*` is folderhood, not a blanket prefix — so FIND(README.md)
+        // is the one entry, uniform with READ's target contract (#286). grammar 0.46 regex-in-path:
+        // a `#pattern#flags` target filters by regex over the pathname (below), no scope glob.
+        // §find-scope-prefix-filter
+        const scopeGlob = statement.target.kind === "regex" || scopePathname === null || scopePathname.length === 0
+            ? null
+            : (scopePathname.endsWith("/") ? `${scopePathname}*` : scopePathname);
+        const tags = Array.isArray(statement.signal) ? statement.signal : []; // tag filter, AND semantics — §find-tag-filter-and-semantics
+        const tagsParam = tags.length > 0 ? JSON.stringify(tags) : "[]";
+        const { db, sessionId } = ctx;
+        // Candidates are session-scoped — a FIND never reaches across sessions. §find-scoped-isolation.
+        // §run-scheme — a run-scope scheme (manifest.scope==='run', today run://) draws from the run
+        // partition instead; the owner narrowing rides scopeGlob (Run.find folds `/<owner>/*` in).
+        const candidatesQuery = manifest.scope === "run" ? "find_run_entry_candidates" : "find_session_entry_candidates";
+        let candidates = await db[candidatesQuery].all({
+            session_id: sessionId,
+            scheme,
+            channel: manifest.defaultChannel,
+            scope_pathname: scopeGlob,
+            tags: tagsParam,
+        });
+        // grammar 0.46 regex-in-path — a `#pattern#flags` target narrows candidates by regex
+        // over their pathname (in TS; SQLite has no regex). Malformed pattern → 400, parallel
+        // to a malformed body matcher.
+        if (statement.target.kind === "regex") {
+            let re;
+            try {
+                re = new RegExp(statement.target.pattern, statement.target.flags || undefined);
+            }
+            catch {
+                return { status: 400, matches: [] };
+            }
+            candidates = candidates.filter((c) => re.test(c.pathname));
+        }
+        // Every dialect resolves to (file, span) items — one per match (#286). A body-less FIND
+        // selects the whole entry (span: null); a matcher selects spans within it.
+        let matches;
+        if (statement.body === null) {
+            matches = candidates.map((c) => ({ pathname: c.pathname, span: null }));
+        }
+        else if (statement.body.dialect === "graph") {
+            // @graph (plurnk-service#186): body is `@<sym` / `@>sym` / `@sym`. EntryGraph resolves
+            // the relation across (session, scheme), each as a (file, span); intersect with the
+            // in-scope candidates (target glob + tags) for the final set.
+            const inScope = new Set(candidates.map((c) => c.pathname));
+            const graph = await EntryGraph.match(ctx.db, ctx.sessionId, scheme, statement.body.raw);
+            if (graph.status !== 200)
+                return { status: graph.status, matches: [] };
+            matches = graph.matches.filter((m) => inScope.has(m.pathname)).map((m) => ({ pathname: m.pathname, span: { lineStart: m.lineStart, lineEnd: m.lineEnd } }));
+        }
+        else {
+            const { mimetypes } = ctx;
+            if (mimetypes === undefined)
+                throw new Error("EntryFind.#matchPathnames: body matcher requires the mimetypes capability in ctx");
+            // §find-source-agnostic — the shared content-matcher primitive (Log.find runs the same
+            // one over log rows). Candidates key by pathname; each hit becomes a Match.
+            const r = await Matcher.matchCandidates(statement.body, candidates.map((c) => ({ key: c.pathname, content: c.content, mimetype: c.mimetype })), mimetypes);
+            if (r.status !== 200)
+                return { status: r.status, matches: [] };
+            matches = r.matches.map((m) => ({ pathname: m.key, span: m.span, ...(m.path !== undefined ? { path: m.path } : {}) }));
+        }
+        if (statement.lineMarker !== null) {
+            const page = EntryFind.#paginate(matches, LineMarkerOps.firstLast(statement.lineMarker));
+            if (page.status !== 200)
+                return { status: page.status, matches: [] };
+            matches = page.items ?? [];
+        }
+        return { status: 200, matches };
+    }
+    // FIND result = the scheme's catalog rows, filtered to the matched entries and kept in
+    // match order. A catalog row is exactly what the manifest catalogs (path + per-channel
+    // {mimetype, tokens, lines}, tags, seconds) — FIND is the filtered, navigable slice of
+    // that catalog, rendered as a JSON array (application/json). §find-result-catalog-rows
+    static async findSessionEntries(statement, ctx, manifest) {
+        const match = await EntryFind.#matchPathnames(statement, ctx, manifest);
+        if (match.status !== 200)
+            return { status: match.status, content: null, mimetype: null, results: [], itemsTokenTotal: 0, pathnames: [], matches: [] };
+        const scheme = manifest.storedScheme === undefined ? manifest.name : manifest.storedScheme;
+        // The catalog row is keyed by its addressable path; align each match to its row through
+        // the same EntryManifest.toPath the catalog uses (single source of truth). Match order is
+        // preserved (rank for ~semantic); a match whose entry has no row (e.g. the self-excluded
+        // manifest) drops out. Each match becomes ONE result item carrying its span (#286).
+        // §run-scheme — a run-scope FIND aligns to the building run's OWN run-scope catalog rows
+        // (the owner prefix the candidate scope already enforced), never the session filesystem.
+        const runOwnerPrefix = manifest.scope === "run" ? EntryFind.#runOwnerPrefix(statement) : undefined;
+        const byPath = new Map((await EntryManifest.catalogRowsFor(ctx, scheme, runOwnerPrefix)).map((r) => [r.path, r]));
+        const results = [];
+        const matches = [];
+        const seenPath = new Set();
+        let itemsTokenTotal = 0; // content weight summed per UNIQUE entry (items repeat a file across its matches)
+        // Two granularities from one hit list (§matcher-selection-signal ÷ #286): `results` (the
+        // rx the model reads) keeps EVERY hit — on a single-line document the per-hit matchPath is
+        // the only thing distinguishing them; `matches` (the fan-out's delivery list) dedups by
+        // (pathname, span) — N hits on one source line deliver that line ONCE, no identical-row noise.
+        const seenSpan = new Set();
+        for (const m of match.matches) {
+            const row = byPath.get(EntryManifest.toPath(scheme, m.pathname));
+            if (row === undefined)
+                continue;
+            results.push(m.span !== null ? { ...row, matchSpan: m.span, ...(m.path !== undefined ? { matchPath: m.path } : {}) } : row);
+            const spanKey = `${m.pathname}\0${m.span === null ? "" : `${m.span.lineStart},${m.span.lineEnd}`}`;
+            if (!seenSpan.has(spanKey)) {
+                seenSpan.add(spanKey);
+                matches.push(m);
+            }
+            if (!seenPath.has(m.pathname)) {
+                seenPath.add(m.pathname);
+                itemsTokenTotal += Object.values(row.channels).reduce((s, c) => s + c.tokens, 0);
+            }
+        }
+        // Compact JSON — the model parses it natively; the `null, 2` pretty-print was ~36%
+        // whitespace of the catalog body, tokens the wire doesn't need.
+        return { status: 200, content: JSON.stringify(results), mimetype: "application/json", results, itemsTokenTotal, pathnames: [...seenPath], matches };
+    }
+}
+//# sourceMappingURL=_entry-find.js.map

package/dist/schemes/_entry-find.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_entry-find.js","sourceRoot":"","sources":["../../src/schemes/_entry-find.ts"],"names":[],"mappings":"AAAA,0EAA0E;AAC1E,qFAAqF;AACrF,uFAAuF;AACvF,oFAAoF;AACpF,0FAA0F;AAC1F,0FAA0F;AAC1F,+FAA+F;AAC/F,EAAE;AACF,gFAAgF;AAChF,kFAAkF;AAClF,sFAAsF;AACtF,4FAA4F;AAC5F,+EAA+E;AAC/E,mFAAmF;AACnF,oEAAoE;AACpE,4EAA4E;AAG5E,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAGpD,OAAO,OAAO,MAAM,uBAAuB,CAAC;AAC5C,OAAO,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC1D,OAAO,UAAU,MAAM,mBAAmB,CAAC;AAC3C,OAAO,aAAoC,MAAM,sBAAsB,CAAC;AACxE,OAAO,aAAa,MAAM,sBAAsB,CAAC;AAsBjD,MAAM,CAAC,OAAO,OAAO,SAAS;IAC1B,2FAA2F;IAC3F,+FAA+F;IAC/F,+DAA+D;IAC/D,MAAM,CAAC,eAAe,CAAC,SAAwB;QAC3C,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,EAAE,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,OAAO,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC;IACtD,CAAC;IAED,MAAM,CAAC,gBAAgB,CAAC,SAAwB;QAC5C,MAAM,IAAI,GAAG,SAAS,CAAC,MAAM,CAAC;QAC9B,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC/B,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,kDAAkD;QAC9F,OAAO,gBAAgB,CAAC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,cAAc;IAC3F,CAAC;IAED,MAAM,CAAC,SAAS,CAAI,KAAU,EAAE,MAA8C;QAC1E,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC;QAC3B,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC;QAC/B,sEAAsE;QACtE,sEAAsE;QACtE,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QACnG,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAChB,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC;gBAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC;YACnE,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,IAAI,KAAK;gBAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YACnF,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC3B,CAAC;QACD,IAAI,CAAC,GAAG,KAAK,CAAC;QACd,IAAI,CAAC,GAAG,IAAI,CAAC;QACb,IAAI,CAAC,KAAK,CAAC;YAAE,CAAC,GAAG,CAAC,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,CAAC;YAAE,CAAC,GAAG,KAAK,CAAC;QACxB,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,GAAG,KAAK;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAC/C,IAAI,CAAC,GAAG,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;QAClC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;IACzD,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,EAAY;QACvB,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC;QACnE,OAAO,GAAG,CAAC;IACf,CAAC;IAED,mFAAmF;IACnF,sFAAsF;IACtF,yFAAyF;IACzF,wFAAwF;IACxF,qFAAqF;IACrF,0FAA0F;IAC1F,6FAA6F;IAC7F,MAAM,CAAC,KAAK,CAAC,eAAe,CACxB,SAAwB,EACxB,GAAwB,EACxB,QAAwB;QAExB,IAAI,SAAS,CAAC,MAAM,KAAK,IAAI;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACnE,2EAA2E;QAC3E,kDAAkD;QAClD,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC;QAC3F,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YACnE,kFAAkF;YAClF,kFAAkF;YAClF,6GAA6G;YAC7G,MAAM,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC;YAC1B,IAAI,SAAS,KAAK,SAAS;gBAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACjE,IAAI,SAAS,CAAC,UAAU,KAAK,IAAI;gBAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAE,8CAA8C;YACvH,mFAAmF;YACnF,oFAAoF;YACpF,MAAM,aAAa,CAAC,mBAAmB,CAAC,GAAG,EAAE,MAAM,EAAE,aAAa,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;YACzG,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,YAAY,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,EAAE,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;YAC7J,IAAI,MAAM,CAAC,MAAM,KAAK,GAAG;gBAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACzE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC;QACjJ,CAAC;QAED,MAAM,aAAa,GAAG,SAAS,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAC5D,2FAA2F;QAC3F,yFAAyF;QACzF,6FAA6F;QAC7F,4FAA4F;QAC5F,uFAAuF;QACvF,4BAA4B;QAC5B,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,aAAa,KAAK,IAAI,IAAI,aAAa,CAAC,MAAM,KAAK,CAAC;YACvG,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,aAAa,GAAG,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC;QAC1E,MAAM,IAAI,GAAG,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,6DAA6D;QACnI,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAEhE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC;QAC9B,gGAAgG;QAChG,6FAA6F;QAC7F,2FAA2F;QAC3F,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,2BAA2B,CAAC,CAAC,CAAC,+BAA+B,CAAC;QACjH,IAAI,UAAU,GAAG,MAAO,EAAE,CAAC,eAAe,CAAgB,CAAC,GAAG,CAA4E;YACtI,UAAU,EAAE,SAAS;YACrB,MAAM;YACN,OAAO,EAAE,QAAQ,CAAC,cAAc;YAChC,cAAc,EAAE,SAAS;YACzB,IAAI,EAAE,SAAS;SAClB,CAAC,CAAC;QAEH,qFAAqF;QACrF,sFAAsF;QACtF,+BAA+B;QAC/B,IAAI,SAAS,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACpC,IAAI,EAAU,CAAC;YACf,IAAI,CAAC;gBAAC,EAAE,GAAG,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,IAAI,SAAS,CAAC,CAAC;YAAC,CAAC;YACvF,MAAM,CAAC;gBAAC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YAAC,CAAC;YAC9C,UAAU,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/D,CAAC;QAED,wFAAwF;QACxF,2EAA2E;QAC3E,IAAI,OAAgB,CAAC;QACrB,IAAI,SAAS,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC1B,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;QAC5E,CAAC;aAAM,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;YAC5C,uFAAuF;YACvF,oFAAoF;YACpF,8DAA8D;YAC9D,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC3D,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACxF,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG;gBAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACvE,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,SAAS,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;QAChK,CAAC;aAAM,CAAC;YACJ,MAAM,EAAE,SAAS,EAAE,GAAG,GAAG,CAAC;YAC1B,IAAI,SAAS,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,kFAAkF,CAAC,CAAC;YACjI,uFAAuF;YACvF,4EAA4E;YAC5E,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,eAAe,CAAC,SAAS,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;YAC3J,IAAI,CAAC,CAAC,MAAM,KAAK,GAAG;gBAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YAC/D,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC3H,CAAC;QAED,IAAI,SAAS,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;YAChC,MAAM,IAAI,GAAG,SAAS,CAAC,SAAS,CAAC,OAAO,EAAE,aAAa,CAAC,SAAS,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC;YACzF,IAAI,IAAI,CAAC,MAAM,KAAK,GAAG;gBAAE,OAAO,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;YACrE,OAAO,GAAG,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;QAC/B,CAAC;QACD,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;IACpC,CAAC;IAED,uFAAuF;IACvF,uFAAuF;IACvF,uFAAuF;IACvF,uFAAuF;IACvF,MAAM,CAAC,KAAK,CAAC,kBAAkB,CAAC,SAAwB,EAAE,GAAwB,EAAE,QAAwB;QACxG,MAAM,KAAK,GAAG,MAAM,SAAS,CAAC,eAAe,CAAC,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACxE,IAAI,KAAK,CAAC,MAAM,KAAK,GAAG;YAAE,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,eAAe,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACtJ,MAAM,MAAM,GAAG,QAAQ,CAAC,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC;QAC3F,wFAAwF;QACxF,0FAA0F;QAC1F,yFAAyF;QACzF,oFAAoF;QACpF,yFAAyF;QACzF,yFAAyF;QACzF,MAAM,cAAc,GAAG,QAAQ,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACnG,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,MAAM,aAAa,CAAC,cAAc,CAAC,GAAG,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAU,CAAC,CAAC,CAAC;QAC3H,MAAM,OAAO,GAAgB,EAAE,CAAC;QAChC,MAAM,OAAO,GAAY,EAAE,CAAC;QAC5B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,IAAI,eAAe,GAAG,CAAC,CAAC,CAAE,kFAAkF;QAC5G,yFAAyF;QACzF,2FAA2F;QAC3F,wFAAwF;QACxF,+FAA+F;QAC/F,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;QACnC,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAC5B,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC;YACjE,IAAI,GAAG,KAAK,SAAS;gBAAE,SAAS;YAChC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;YAC5H,MAAM,OAAO,GAAG,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;YACnG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;gBAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC;YACvE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC5B,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC;gBACzB,eAAe,IAAI,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;YACrF,CAAC;QACL,CAAC;QACD,mFAAmF;QACnF,gEAAgE;QAChE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,kBAAkB,EAAE,OAAO,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,GAAG,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC;IACxJ,CAAC;CACJ"}

package/dist/schemes/_entry-find.sql

@@ -0,0 +1,54 @@
+-- FIND / multi-entry OPEN / FOLD candidate selection for entry-bearing
+-- schemes (SPEC §find; plurnk.md FIND row).
+--
+-- Scope (target) + tag filters ONLY. The body matcher does NOT belong here:
+-- per plurnk.md §"Body matcher dispatch" it runs against entry CONTENT, which
+-- needs the mimetypes daughter (xpath/jsonpath/regex/glob over structured
+-- content) — so the body match runs in JS (Matcher.matchAgainstContent) over
+-- the default-channel content this query returns. Static query handles every
+-- filter combination via IS-NULL guards (per SqlRite LLMS.md §channels).
+
+-- PREP: find_session_entry_candidates
+-- $channel: default-channel name whose content the body matcher runs against
+-- $scope_pathname: pathname-prefix glob (e.g., "foo/*") or NULL for no prefix
+-- $tags: JSON string of tag list (e.g., '["a","b"]'); '[]' or NULL for no tag filter
+SELECT e.id AS entry_id, e.pathname, ec.content, ec.mimetype
+FROM entries e
+JOIN entry_channels ec ON ec.entry_id = e.id AND ec.name = $channel
+WHERE e.scope = 'session'
+  AND e.session_id = $session_id
+  AND e.scheme IS $scheme
+  AND ($scope_pathname IS NULL OR e.pathname GLOB $scope_pathname)
+  AND (
+    json_array_length(COALESCE($tags, '[]')) = 0
+    OR e.id IN (
+        SELECT entry_id FROM entry_tags
+        WHERE tag IN (SELECT value FROM json_each(COALESCE($tags, '[]')))
+        GROUP BY entry_id
+        HAVING COUNT(DISTINCT tag) = json_array_length(COALESCE($tags, '[]'))
+    )
+  )
+ORDER BY e.pathname;
+
+-- PREP: find_run_entry_candidates
+-- §run-scheme — run-scope FIND, byte-identical to find_session_entry_candidates BUT scope='run'.
+-- The owner narrowing rides $scope_pathname (Run.find folds the owner into the prefix glob —
+-- `/<owner>/*`), so a run reaches only its own (self) or a named sister's scratch. Additive: the
+-- session query above is untouched (§run-scheme Inc-1).
+SELECT e.id AS entry_id, e.pathname, ec.content, ec.mimetype
+FROM entries e
+JOIN entry_channels ec ON ec.entry_id = e.id AND ec.name = $channel
+WHERE e.scope = 'run'
+  AND e.session_id = $session_id
+  AND e.scheme IS $scheme
+  AND ($scope_pathname IS NULL OR e.pathname GLOB $scope_pathname)
+  AND (
+    json_array_length(COALESCE($tags, '[]')) = 0
+    OR e.id IN (
+        SELECT entry_id FROM entry_tags
+        WHERE tag IN (SELECT value FROM json_each(COALESCE($tags, '[]')))
+        GROUP BY entry_id
+        HAVING COUNT(DISTINCT tag) = json_array_length(COALESCE($tags, '[]'))
+    )
+  )
+ORDER BY e.pathname;

package/dist/schemes/_entry-graph.d.ts

@@ -0,0 +1,16 @@
+import type { Db } from "../core/Db.ts";
+import type { MimeSymbol, MimeRef } from "@plurnk/plurnk-mimetypes";
+export default class EntryGraph {
+    #private;
+    static populateFrom(db: Db, sessionId: number, entryId: number, symbols: readonly MimeSymbol[], references: readonly MimeRef[]): Promise<void>;
+    static match(db: Db, sessionId: number, scheme: string | null, raw: string): Promise<{
+        status: number;
+        matches: GraphMatch[];
+    }>;
+}
+export interface GraphMatch {
+    pathname: string;
+    lineStart: number;
+    lineEnd: number;
+}
+//# sourceMappingURL=_entry-graph.d.ts.map

package/dist/schemes/_entry-graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_entry-graph.d.ts","sourceRoot":"","sources":["../../src/schemes/_entry-graph.ts"],"names":[],"mappings":"AAWA,OAAO,KAAK,EAAE,EAAE,EAAc,MAAM,eAAe,CAAC;AACpD,OAAO,KAAK,EAAE,UAAU,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAEpE,MAAM,CAAC,OAAO,OAAO,UAAU;;IAI3B,OAAa,YAAY,CACrB,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAC1C,OAAO,EAAE,SAAS,UAAU,EAAE,EAAE,UAAU,EAAE,SAAS,OAAO,EAAE,GAC/D,OAAO,CAAC,IAAI,CAAC,CAef;IAMD,OAAa,KAAK,CAAC,EAAE,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,UAAU,EAAE,CAAA;KAAE,CAAC,CAmBpI;CAoCJ;AAID,MAAM,WAAW,UAAU;IAAG,QAAQ,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,OAAO,EAAE,MAAM,CAAC;CAAE"}

package/dist/schemes/_entry-graph.js

@@ -0,0 +1,94 @@
+// @graph (plurnk-service#186) — the symbol index behind the FIND `graph` dialect
+// (@<sym referrers / @>sym referents / @sym neighborhood). Files are first-class
+// channel-backed entries, so the index is uniform across known:/// and file:/// with
+// no scheme special-casing. Traversal is kind-agnostic; 1-hop (the grammar's
+// `@<sym` surface). Cross-entry resolution is name-match (ctags-grade-plus per #186).
+//
+// Derivation does NOT happen at write — a scheme write never invokes the mimetypes
+// handler (§mimetype). The engine extracts symbols+references once per entry at manifest-add
+// (EntryManifest.buildManifestBody) and hands them here via populateFrom; this module
+// only owns the relational index (insert + the @</@>/@ resolution).
+export default class EntryGraph {
+    // Replace an entry's graph rows with the given extracted symbols/references
+    // (delete-then-insert, so empty arrays clear a now-empty/binary/non-code entry
+    // to zero rows). Caller has already run the handler; this is pure storage.
+    static async populateFrom(db, sessionId, entryId, symbols, references) {
+        await db.graph_delete_defs.run({ entry_id: entryId });
+        await db.graph_delete_refs.run({ entry_id: entryId });
+        for (const s of symbols) {
+            await db.graph_insert_def.run({
+                session_id: sessionId, entry_id: entryId, name: s.name, kind: s.kind,
+                container: s.container ?? null, line: s.line, end_line: s.endLine ?? null,
+            });
+        }
+        for (const r of references) {
+            await db.graph_insert_ref.run({
+                session_id: sessionId, entry_id: entryId, name: r.name, kind: r.kind,
+                container: r.container ?? null, line: r.line, col: r.column ?? null,
+            });
+        }
+    }
+    // Resolve a FIND graph-dialect body (`@<sym` / `@>sym` / `@sym`) to matches within
+    // (session, scheme). Each match is a (pathname, span) — the reference's line (@<) or
+    // the symbol's def span (@> / def side of @) — so a matcher resolves to (file, span)
+    // uniformly with every other dialect (#286). Malformed → 400.
+    static async match(db, sessionId, scheme, raw) {
+        const m = /^@([<>]?)(.+)$/.exec(raw.trim());
+        if (m === null)
+            return { status: 400, matches: [] };
+        const direction = m[1];
+        const name = m[2].trim();
+        if (name.length === 0)
+            return { status: 400, matches: [] };
+        if (direction === "<")
+            return { status: 200, matches: await EntryGraph.#referrers(db, sessionId, scheme, name) };
+        if (direction === ">")
+            return { status: 200, matches: await EntryGraph.#referents(db, sessionId, scheme, name) };
+        // @sym neighborhood: the def ∪ referrers ∪ referents, deduped by (pathname, span).
+        return {
+            status: 200,
+            matches: EntryGraph.#dedupe([
+                ...await EntryGraph.#defs(db, sessionId, scheme, name),
+                ...await EntryGraph.#referrers(db, sessionId, scheme, name),
+                ...await EntryGraph.#referents(db, sessionId, scheme, name),
+            ]),
+        };
+    }
+    static #dedupe(matches) {
+        const seen = new Set();
+        const out = [];
+        for (const m of matches) {
+            const key = `${m.pathname}\0${m.lineStart}\0${m.lineEnd}`;
+            if (!seen.has(key)) {
+                seen.add(key);
+                out.push(m);
+            }
+        }
+        return out.sort((a, b) => a.pathname.localeCompare(b.pathname) || a.lineStart - b.lineStart);
+    }
+    static async #referrers(db, sessionId, scheme, name) {
+        const rows = await db.graph_referrers.all({ session_id: sessionId, scheme, name });
+        return rows.map((r) => ({ pathname: r.pathname, lineStart: r.line, lineEnd: r.end_line }));
+    }
+    static async #defs(db, sessionId, scheme, name) {
+        const rows = await db.graph_def_pathnames_by_name.all({ session_id: sessionId, scheme, name });
+        return rows.map((r) => ({ pathname: r.pathname, lineStart: r.line, lineEnd: r.end_line }));
+    }
+    // @>sym: sym's def(s) → the target names those defs reference → those targets'
+    // defining entries (with their def spans). The def's full qualified path is the @> join key (#186).
+    static async #referents(db, sessionId, scheme, name) {
+        const defs = await db.graph_resolve_def.all({ session_id: sessionId, name });
+        const targets = new Set();
+        for (const d of defs) {
+            const qualified = d.container === null ? name : `${d.container}.${name}`;
+            const refs = await db.graph_refs_from_source.all({ session_id: sessionId, entry_id: d.entry_id, container: qualified });
+            for (const r of refs)
+                targets.add(r.name);
+        }
+        const out = [];
+        for (const t of targets)
+            out.push(...await EntryGraph.#defs(db, sessionId, scheme, t));
+        return EntryGraph.#dedupe(out);
+    }
+}
+//# sourceMappingURL=_entry-graph.js.map

package/dist/schemes/_entry-graph.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"_entry-graph.js","sourceRoot":"","sources":["../../src/schemes/_entry-graph.ts"],"names":[],"mappings":"AAAA,iFAAiF;AACjF,iFAAiF;AACjF,qFAAqF;AACrF,6EAA6E;AAC7E,sFAAsF;AACtF,EAAE;AACF,mFAAmF;AACnF,6FAA6F;AAC7F,sFAAsF;AACtF,oEAAoE;AAKpE,MAAM,CAAC,OAAO,OAAO,UAAU;IAC3B,4EAA4E;IAC5E,+EAA+E;IAC/E,2EAA2E;IAC3E,MAAM,CAAC,KAAK,CAAC,YAAY,CACrB,EAAM,EAAE,SAAiB,EAAE,OAAe,EAC1C,OAA8B,EAAE,UAA8B;QAE9D,MAAO,EAAE,CAAC,iBAAgC,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACtE,MAAO,EAAE,CAAC,iBAAgC,CAAC,GAAG,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QACtE,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACtB,MAAO,EAAE,CAAC,gBAA+B,CAAC,GAAG,CAAC;gBAC1C,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;gBACpE,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,OAAO,IAAI,IAAI;aAC5E,CAAC,CAAC;QACP,CAAC;QACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;YACzB,MAAO,EAAE,CAAC,gBAA+B,CAAC,GAAG,CAAC;gBAC1C,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI;gBACpE,SAAS,EAAE,CAAC,CAAC,SAAS,IAAI,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,MAAM,IAAI,IAAI;aACtE,CAAC,CAAC;QACP,CAAC;IACL,CAAC;IAED,mFAAmF;IACnF,qFAAqF;IACrF,qFAAqF;IACrF,8DAA8D;IAC9D,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAM,EAAE,SAAiB,EAAE,MAAqB,EAAE,GAAW;QAC5E,MAAM,CAAC,GAAG,gBAAgB,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QAC5C,IAAI,CAAC,KAAK,IAAI;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QACpD,MAAM,SAAS,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACvB,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;QAE3D,IAAI,SAAS,KAAK,GAAG;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACjH,IAAI,SAAS,KAAK,GAAG;YAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QAEjH,mFAAmF;QACnF,OAAO;YACH,MAAM,EAAE,GAAG;YACX,OAAO,EAAE,UAAU,CAAC,OAAO,CAAC;gBACxB,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC;gBACtD,GAAG,MAAM,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC;gBAC3D,GAAG,MAAM,UAAU,CAAC,UAAU,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,CAAC;aAC9D,CAAC;SACL,CAAC;IACN,CAAC;IAED,MAAM,CAAC,OAAO,CAAC,OAAqB;QAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,GAAG,GAAiB,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;YACtB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;YAC1D,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YAAC,CAAC;QACvD,CAAC;QACD,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;IACjG,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAM,EAAE,SAAiB,EAAE,MAAqB,EAAE,IAAY;QAClF,MAAM,IAAI,GAAG,MAAO,EAAE,CAAC,eAA8B,CAAC,GAAG,CAAuD,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACzJ,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC;IAED,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAM,EAAE,SAAiB,EAAE,MAAqB,EAAE,IAAY;QAC7E,MAAM,IAAI,GAAG,MAAO,EAAE,CAAC,2BAA0C,CAAC,GAAG,CAAuD,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;QACrK,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IAC/F,CAAC;IAED,+EAA+E;IAC/E,oGAAoG;IACpG,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,EAAM,EAAE,SAAiB,EAAE,MAAqB,EAAE,IAAY;QAClF,MAAM,IAAI,GAAG,MAAO,EAAE,CAAC,iBAAgC,CAAC,GAAG,CAAiD,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7I,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;QAClC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACnB,MAAM,SAAS,GAAG,CAAC,CAAC,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,SAAS,IAAI,IAAI,EAAE,CAAC;YACzE,MAAM,IAAI,GAAG,MAAO,EAAE,CAAC,sBAAqC,CAAC,GAAG,CAAmB,EAAE,UAAU,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC;YAC1J,KAAK,MAAM,CAAC,IAAI,IAAI;gBAAE,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9C,CAAC;QACD,MAAM,GAAG,GAAiB,EAAE,CAAC;QAC7B,KAAK,MAAM,CAAC,IAAI,OAAO;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC;QACvF,OAAO,UAAU,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IACnC,CAAC;CACJ"}

package/dist/schemes/_entry-graph.sql

@@ -0,0 +1,52 @@
+-- @graph (plurnk-service#186) — symbol_defs/refs population + @< / @> / @
+-- resolution. Populated delete-then-insert per entry at EntryCrud.writeEntry;
+-- queried by the FIND `graph` dialect via EntryGraph. Traversal is kind-agnostic
+-- (every ref is an edge; `kind` is edge metadata, never filtered here). 1-hop —
+-- the grammar's `@<sym` surface is single-hop; WITH RECURSIVE the day it grows one.
+
+-- PREP: graph_delete_defs
+DELETE FROM symbol_defs WHERE entry_id = $entry_id;
+
+-- PREP: graph_delete_refs
+DELETE FROM symbol_refs WHERE entry_id = $entry_id;
+
+-- PREP: graph_insert_def
+INSERT INTO symbol_defs (session_id, entry_id, name, kind, container, line, end_line)
+VALUES ($session_id, $entry_id, $name, $kind, $container, $line, $end_line);
+
+-- PREP: graph_insert_ref
+INSERT INTO symbol_refs (session_id, entry_id, name, kind, container, line, col)
+VALUES ($session_id, $entry_id, $name, $kind, $container, $line, $col);
+
+-- PREP: graph_referrers
+-- @<sym — entries (scheme-scoped) that reference sym, with each reference's line
+-- (#286: a matcher resolves to (file, span) — one item per reference occurrence).
+SELECT DISTINCT e.pathname, r.line AS line, r.line AS end_line
+FROM symbol_refs r JOIN entries e ON e.id = r.entry_id
+WHERE r.session_id = $session_id AND e.scheme IS $scheme AND r.name = $name
+ORDER BY e.pathname, r.line;
+
+-- PREP: graph_def_pathnames_by_name
+-- Resolve a name → the defining entries' pathnames + def span (scheme-scoped). Serves
+-- @>'s target resolution and @'s neighborhood def lookup. end_line falls back to line
+-- when a def has no end (#286: the symbol's line..end_line is its (file, span)).
+SELECT DISTINCT e.pathname, d.line AS line, COALESCE(d.end_line, d.line) AS end_line
+FROM symbol_defs d JOIN entries e ON e.id = d.entry_id
+WHERE d.session_id = $session_id AND e.scheme IS $scheme AND d.name = $name
+ORDER BY e.pathname, d.line;
+
+-- PREP: graph_resolve_def
+-- sym → its def(s): (entry_id, container) to compose the qualified path for @>.
+SELECT entry_id, container FROM symbol_defs
+WHERE session_id = $session_id AND name = $name;
+
+-- PREP: graph_refs_from_source
+-- @>sym step — the target names sym's def references (its own ref rows, keyed
+-- by the source def's full qualified path = the @> join semantics from #186).
+SELECT DISTINCT name FROM symbol_refs
+WHERE session_id = $session_id AND entry_id = $entry_id AND container IS $container;
+
+-- PREP: graph_set_deep_hash
+-- Stamp the body-content hash at the moment an entry's deep channels were
+-- (re)derived. The next manifest-add pass skips the entry while the hash holds.
+UPDATE entries SET deep_hash = $deep_hash WHERE id = $entry_id;

package/dist/schemes/_entry-manifest.d.ts

@@ -0,0 +1,25 @@
+import type { PlurnkSchemeContext } from "../core/scheme-types.ts";
+export type CatalogEntry = {
+    path: string;
+    seconds?: number;
+    tags?: string[];
+    channels: Record<string, {
+        mimetype: string;
+        tokens: number;
+        lines: number;
+    }>;
+};
+export default class EntryManifest {
+    #private;
+    static toPath(scheme: string | null, pathname: string): string;
+    static catalogRowsFor(ctx: PlurnkSchemeContext, schemeFilter?: string | null, runOwnerPrefix?: string): Promise<CatalogEntry[]>;
+    static deriveOne(ctx: PlurnkSchemeContext, r: {
+        entry_id: number;
+        pathname: string;
+        content: string;
+        mimetype: string;
+    }, hash: string, embedActive: boolean, maxChunks?: number): Promise<void>;
+    static deriveFtsCandidates(ctx: PlurnkSchemeContext, scheme: string | null, ftsQuery: string, cap: number): Promise<number>;
+    static maintainDerivations(ctx: PlurnkSchemeContext): Promise<void>;
+}
+//# sourceMappingURL=_entry-manifest.d.ts.map

package/dist/schemes/_entry-manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"_entry-manifest.d.ts","sourceRoot":"","sources":["../../src/schemes/_entry-manifest.ts"],"names":[],"mappings":"AAcA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAanE,MAAM,MAAM,YAAY,GAAG;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;CAAE,CAAC;AAE9J,MAAM,CAAC,OAAO,OAAO,aAAa;;IAG9B,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAa7D;IAQD,OAAa,cAAc,CAAC,GAAG,EAAE,mBAAmB,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,IAAI,EAAE,cAAc,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,YAAY,EAAE,CAAC,CAqCpI;IAoBD,OAAa,SAAS,CAAC,GAAG,EAAE,mBAAmB,EAAE,CAAC,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,EAAE,IAAI,EAAE,MAAM,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAIpM;IAkED,OAAa,mBAAmB,CAAC,GAAG,EAAE,mBAAmB,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAmBhI;IAED,OAAa,mBAAmB,CAAC,GAAG,EAAE,mBAAmB,GAAG,OAAO,CAAC,IAAI,CAAC,CAuDxE;CAEJ"}