@cavelang/query 0.5.0 → 0.13.0

package/README.md

@@ -16,6 +16,9 @@ query(store, `?cause CAUSE app/crash
 
 query(store, '?x PART-OF monorepo')     // inverse verb → same physical query
 query(store, 'terrier EXTENDS+ animal') // transitive
+
+query(store, '?x USES postgres', { aliases: true }) // + rows about aliased names (§13.6)
+query(store, 'server IS compromised', { asOf: '2026-01-15' }) // belief state at a past moment (§12.3)
 ```
 
 ## Pattern language (§12.1)
@@ -65,6 +68,21 @@ covers one second.
   `?x EXTENDS+ ?x` finds nodes on cycles, not every reachable pair.
 - Transitive patterns support endpoint slots only; tag/context/WHERE
   filters on them are rejected rather than silently ignored.
+- **`{ aliases: true }` resolves entity terms through the alias closure**
+  (§13.6): current positive `ALIAS` claims as undirected edges. Matching
+  widens — bound terms match aliased spellings, repeated variables compare
+  alias-equal, transitive hops cross alias links — while bindings and rows
+  keep stored names untouched (union-of-rows, never silent merging). The
+  closure always reads current beliefs, even under `{ all: true }`.
+  Values, attribute names and verbs are not entities and never resolve.
+- **`{ asOf }` resolves beliefs as of a past moment** (§12.3): only rows
+  recorded up to the boundary participate, then resolution proceeds as
+  usual — so a claim retracted later is still believed at the boundary,
+  and one first recorded later is unknown. The boundary is a date (whole
+  UTC day included), a timestamp (whole second included), or a
+  transaction id (that append included). The alias closure and transitive
+  hops reconstruct at the same instant; `{ all: true }` composes as
+  full-history-up-to-the-boundary.
 
 ## Tests
 
@@ -74,4 +92,8 @@ pnpm --filter @cavelang/query test
 
 Every §12.1 example pattern and every §12.2 filter runs against a live
 in-memory store, including inverse and transitive-inverse cases,
-current-vs-history semantics and negated patterns.
+current-vs-history semantics, negated patterns, the §13.6 alias
+closure (term widening, transitive hops across aliases, unmerge by
+retraction, value/attribute exemption) and §12.3 as-of resolution
+(tx/date/timestamp boundaries, later retraction, as-of alias closure
+and transitive edges).

package/dist/src/compile.d.ts

@@ -2,7 +2,8 @@
  * CAVE-Q → SQL compilation (spec §12).
  *
  * Patterns run over *current beliefs* by default — the latest transaction
- * per claim key (spec §9.1) — pass `all` to match the full history.
+ * per claim key (spec §9.1) — pass `all` to match the full history, or
+ * `asOf` to resolve the belief state at a past moment (spec §12.3).
  * Inverse verbs compile to the same physical query as their primary
  * (spec §12.1): `?x PART-OF monorepo` and `monorepo CONTAINS ?x` produce
  * identical SQL against canonical rows, with the pattern's subject binding
@@ -12,6 +13,7 @@
  * CTE over current, positive, non-retracted edges (depth-capped at 32).
  */
 import type { Row, Store } from '@cavelang/store';
+import * as Pattern from './pattern.ts';
 /** One query solution: variable bindings plus the matched row (absent for transitive hops). */
 export type Match = {
     readonly bindings: Readonly<Record<string, string>>;
@@ -20,6 +22,23 @@ export type Match = {
 export type Options = {
     /** Match all appended rows, not only current beliefs. */
     readonly all?: boolean;
+    /**
+     * Resolve entity terms through the alias closure — current positive
+     * `ALIAS` claims read as undirected edges (spec §13.6). Union-of-rows:
+     * matching widens to aliased names; bindings and rows keep the stored
+     * names untouched.
+     */
+    readonly aliases?: boolean;
+    /**
+     * Resolve beliefs as of a past moment (spec §12.3): a date
+     * (`2026-01-15`, the whole UTC day included), a timestamp (the whole
+     * second included), or an exact transaction id (UUIDv7, included).
+     * Rows recorded after the boundary are invisible — current-belief
+     * resolution, the alias closure and transitive hops all reconstruct
+     * the belief state at that boundary. Composes with `all`, which then
+     * matches the full history up to the boundary.
+     */
+    readonly asOf?: string;
 };
 /**
  * Runs a CAVE-Q query against a store.
@@ -28,7 +47,15 @@ export type Options = {
  * query(store, '?x USES jwt')
  * query(store, '?cause CAUSE app/crash\n  WHERE conf >= 0.7')
  * query(store, 'terrier EXTENDS+ animal')
+ * query(store, 'server IS compromised', { asOf: '2026-01-15' })
  * ```
  */
 export declare const query: (store: Store, input: string, options?: Options) => Match[];
+/**
+ * Runs an already-parsed pattern against a store — the programmatic
+ * entry point for callers that build or specialize patterns as values
+ * (the §24 rules engine substitutes bindings into premise patterns
+ * between joins) rather than as text.
+ */
+export declare const match: (store: Store, pattern: Pattern.t, options?: Options) => Match[];
 //# sourceMappingURL=compile.d.ts.map

package/dist/src/compile.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAIH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AAGjD,+FAA+F;AAC/F,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACnD,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,yDAAyD;IACzD,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAA;CACvB,CAAA;AAyQD;;;;;;;;GAQG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,EAAE,OAAO,MAAM,EAAE,UAAS,OAAY,KAAG,KAAK,EAS/E,CAAA"}
+{"version":3,"file":"compile.d.ts","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAA;AACjD,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAEvC,+FAA+F;AAC/F,MAAM,MAAM,KAAK,GAAG;IAClB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAA;IACnD,QAAQ,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC,CAAA;CACrB,CAAA;AAED,MAAM,MAAM,OAAO,GAAG;IACpB,yDAAyD;IACzD,QAAQ,CAAC,GAAG,CAAC,EAAE,OAAO,CAAA;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAA;IAC1B;;;;;;;;OAQG;IACH,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AA8UD;;;;;;;;;GASG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,EAAE,OAAO,MAAM,EAAE,UAAS,OAAY,KAAG,KAAK,EACnC,CAAA;AAE7C;;;;;GAKG;AACH,eAAO,MAAM,KAAK,GAAI,OAAO,KAAK,EAAE,SAAS,OAAO,CAAC,CAAC,EAAE,UAAS,OAAY,KAAG,KAAK,EAwBpF,CAAA"}

package/dist/src/compile.js

@@ -2,7 +2,8 @@
  * CAVE-Q → SQL compilation (spec §12).
  *
  * Patterns run over *current beliefs* by default — the latest transaction
- * per claim key (spec §9.1) — pass `all` to match the full history.
+ * per claim key (spec §9.1) — pass `all` to match the full history, or
+ * `asOf` to resolve the belief state at a past moment (spec §12.3).
  * Inverse verbs compile to the same physical query as their primary
  * (spec §12.1): `?x PART-OF monorepo` and `monorepo CONTAINS ?x` produce
  * identical SQL against canonical rows, with the pattern's subject binding
@@ -14,28 +15,68 @@
 import { Uuidv7, Value } from '@cavelang/core';
 import { Registry } from '@cavelang/canonical';
 import * as Pattern from "./pattern.js";
-const currentSql = `
-SELECT c.* FROM cave_claim c
-JOIN (
-  SELECT claim_key, MAX(tx) AS max_tx
-  FROM cave_claim GROUP BY claim_key
-) latest ON c.claim_key = latest.claim_key AND c.tx = latest.max_tx
-`;
 /**
  * UUIDv7 interval `[lo, hi)` for a tx filter value: a bare date covers the
  * whole UTC day, a timestamp covers one second. Interval semantics keep
  * adjacent operators distinguishable (`<=` includes the boundary day that
  * `<` excludes) and make `WHERE tx = 2026-01-01` mean "recorded that day".
  */
-const txBounds = (text) => {
+const txBounds = (text, label = 'tx date') => {
     const hasTime = text.includes('T');
     const start = Date.parse(hasTime ? text : `${text}T00:00:00Z`);
     if (Number.isNaN(start)) {
-        throw new Error(`CAVE-Q: cannot parse tx date ${JSON.stringify(text)}`);
+        throw new Error(`CAVE-Q: cannot parse ${label} ${JSON.stringify(text)}`);
     }
     const end = start + (hasTime ? 1_000 : 86_400_000);
     return { lo: Uuidv7.at(start, 0, new Uint8Array(8)), hi: Uuidv7.at(end, 0, new Uint8Array(8)) };
 };
+/**
+ * SQL tx condition for an as-of boundary (spec §12.3). A UUIDv7 names an
+ * exact transaction, included — belief as of that append; a date or
+ * timestamp is inclusive of the whole named day/second, the same interval
+ * semantics as `WHERE tx <=` (§12.2). Both forms inline as literals: the
+ * id is shape-validated hex-and-dashes and the interval bound comes from
+ * `Uuidv7.at` — no free-form text reaches the SQL, and a literal keeps
+ * the fragment embeddable in CTEs that positional parameters would
+ * complicate.
+ */
+const asOfCondition = (asOf) => {
+    const id = asOf.toLowerCase();
+    return Uuidv7.is(id) ? `tx <= '${id}'` : `tx < '${txBounds(asOf, 'as-of boundary').hi}'`;
+};
+/** Row universe under resolution: every appended row, or only rows recorded up to the as-of boundary. */
+const claimsSql = (asOf) => asOf === undefined ? 'cave_claim' : `(SELECT * FROM cave_claim WHERE ${asOfCondition(asOf)})`;
+const currentSql = (asOf) => `
+SELECT c.* FROM cave_claim c
+JOIN (
+  SELECT claim_key, MAX(tx) AS max_tx
+  FROM ${claimsSql(asOf)} GROUP BY claim_key
+) latest ON c.claim_key = latest.claim_key AND c.tx = latest.max_tx
+`;
+/**
+ * Alias closure CTEs (spec §13.6): `alias_edge` is the current positive
+ * `ALIAS` claims symmetrized (each written direction is its own claim key —
+ * both assert the same undirected link); `alias_pair` its transitive
+ * closure — every ordered pair of names currently believed to denote one
+ * entity. Resolution always reads *current* beliefs, even under `all`:
+ * the closure is entity resolution as believed now, not as believed when
+ * a row landed — except under `asOf`, where "now" is the boundary itself
+ * and the closure reconstructs entity resolution as believed then
+ * (spec §12.3).
+ */
+const aliasPairSql = (asOf) => `alias_edge(a, b) AS (
+  SELECT c.subject, c.object FROM (${currentSql(asOf)}) c
+  WHERE c.verb = 'ALIAS' AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
+  UNION
+  SELECT c.object, c.subject FROM (${currentSql(asOf)}) c
+  WHERE c.verb = 'ALIAS' AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
+), alias_pair(a, b) AS (
+  SELECT a, b FROM alias_edge
+  UNION
+  SELECT p.a, e.b FROM alias_pair p JOIN alias_edge e ON e.a = p.b
+)`;
+/** SQL for "these two expressions name the same entity" under the closure. */
+const aliasSame = (left, right) => `(${left} = ${right} OR EXISTS (SELECT 1 FROM alias_pair p WHERE p.a = ${left} AND p.b = ${right}))`;
 const compile = (pattern, registry, options) => {
     // Inverse resolution (spec §12.1): swap the pattern's endpoint slots and
     // query the primary verb.
@@ -57,27 +98,35 @@ const compile = (pattern, registry, options) => {
     if (verb.kind === 'verb' && verb.transitive) {
         return compileTransitive(pattern, verb.name, subjectSlot, objectSlot, options);
     }
+    const aliases = options.aliases === true;
+    // Alias closure applies to entity columns only: values and attribute
+    // names are not entities, and verb aliasing is a separate, undesigned
+    // lifecycle question.
+    const entityColumns = ['subject', 'object'];
     const conditions = [`c.negated = ${pattern.negated ? 1 : 0}`];
     const params = [];
     /** var name → row columns it binds; repeated vars add join conditions. */
     const varColumns = new Map();
     const slot = (value, column, requireNotNull) => {
         switch (value.kind) {
-            case 'term':
+            case 'term': {
+                const match = aliases && entityColumns.includes(column) ? aliasSame('?', `c.${column}`) : `c.${column} = ?`;
+                const termParams = aliases && entityColumns.includes(column) ? [value.text, value.text] : [value.text];
                 // A date/number term in object position must also match metric
                 // rows, which store their value in value_text with object NULL
                 // (`latency IS 30ms` ⇒ pattern `latency IS 30ms` matches).
                 if (column === 'object') {
                     const parsed = Value.parse(value.text);
                     if (parsed.kind === 'number' || parsed.kind === 'date') {
-                        conditions.push('(c.object = ? OR (c.object IS NULL AND c.value_text = ?))');
-                        params.push(value.text, value.text);
+                        conditions.push(`(${match} OR (c.object IS NULL AND c.value_text = ?))`);
+                        params.push(...termParams, value.text);
                         return;
                     }
                 }
-                conditions.push(`c.${column} = ?`);
-                params.push(value.text);
+                conditions.push(match);
+                params.push(...termParams);
                 return;
+            }
             case 'var': {
                 const columns = varColumns.get(value.name) ?? [];
                 columns.push(column);
@@ -114,7 +163,9 @@ const compile = (pattern, registry, options) => {
     }
     for (const columns of varColumns.values()) {
         for (let i = 1; i < columns.length; i++) {
-            conditions.push(`c.${columns[0]} = c.${columns[i]}`);
+            conditions.push(aliases && entityColumns.includes(columns[0]) && entityColumns.includes(columns[i]) ?
+                aliasSame(`c.${columns[0]}`, `c.${columns[i]}`) :
+                `c.${columns[0]} = c.${columns[i]}`);
         }
     }
     for (const context of pattern.contexts) {
@@ -198,8 +249,9 @@ const compile = (pattern, registry, options) => {
     if (options.all !== true && !pattern.filters.some(filter => filter.field === 'conf')) {
         conditions.push('c.conf > 0');
     }
-    const base = options.all === true ? 'SELECT * FROM cave_claim' : currentSql;
-    const sql = `SELECT c.* FROM (${base}) c WHERE ${conditions.join(' AND ')} ORDER BY c.tx`;
+    const base = options.all === true ? `SELECT * FROM ${claimsSql(options.asOf)}` : currentSql(options.asOf);
+    const withClause = aliases ? `WITH RECURSIVE ${aliasPairSql(options.asOf)} ` : '';
+    const sql = `${withClause}SELECT c.* FROM (${base}) c WHERE ${conditions.join(' AND ')} ORDER BY c.tx`;
     const bind = (row) => {
         const bindings = {};
         for (const [name, columns] of varColumns) {
@@ -214,32 +266,41 @@ const compileTransitive = (pattern, verb, subjectSlot, objectSlot, options) => {
         pattern.payload.kind === 'attribute') {
         throw new Error('CAVE-Q: transitive patterns support subject/object slots only (spec §12.1)');
     }
-    const base = options.all === true ? 'SELECT * FROM cave_claim' : currentSql;
+    const aliases = options.aliases === true;
+    const base = options.all === true ? `SELECT * FROM ${claimsSql(options.asOf)}` : currentSql(options.asOf);
+    /** Endpoint equality: exact, or alias-equal under the closure (spec §13.6). */
+    const same = (left, right) => aliases ? aliasSame(left, right) : `${left} = ${right}`;
     const conditions = [];
     const params = [verb];
     if (subjectSlot.kind === 'term') {
-        conditions.push('h.src = ?');
+        conditions.push(same('h.src', '?'));
         params.push(subjectSlot.text);
+        if (aliases) {
+            params.push(subjectSlot.text);
+        }
     }
     if (objectSlot?.kind === 'term') {
-        conditions.push('h.dst = ?');
+        conditions.push(same('h.dst', '?'));
         params.push(objectSlot.text);
+        if (aliases) {
+            params.push(objectSlot.text);
+        }
     }
     // A repeated variable forces equality here just as in single-hop
     // patterns: `?x EXTENDS+ ?x` asks for nodes on a cycle, not for every
     // reachable pair.
     if (subjectSlot.kind === 'var' && objectSlot?.kind === 'var' && subjectSlot.name === objectSlot.name) {
-        conditions.push('h.src = h.dst');
+        conditions.push(same('h.src', 'h.dst'));
     }
     const sql = `
-WITH RECURSIVE cur AS (
+WITH RECURSIVE ${aliases ? `${aliasPairSql(options.asOf)}, ` : ''}cur AS (
   SELECT c.subject AS src, c.object AS dst
   FROM (${base}) c
   WHERE c.verb = ? AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
 ), hops(src, dst, depth) AS (
   SELECT src, dst, 1 FROM cur
   UNION
-  SELECT h.src, cur.dst, h.depth + 1 FROM hops h JOIN cur ON cur.src = h.dst
+  SELECT h.src, cur.dst, h.depth + 1 FROM hops h JOIN cur ON ${same('cur.src', 'h.dst')}
   WHERE h.depth < 32
 )
 SELECT DISTINCT h.src AS src, h.dst AS dst FROM hops h
@@ -264,12 +325,35 @@ ORDER BY h.src, h.dst`;
  * query(store, '?x USES jwt')
  * query(store, '?cause CAUSE app/crash\n  WHERE conf >= 0.7')
  * query(store, 'terrier EXTENDS+ animal')
+ * query(store, 'server IS compromised', { asOf: '2026-01-15' })
  * ```
  */
-export const query = (store, input, options = {}) => {
-    const pattern = Pattern.parse(input);
+export const query = (store, input, options = {}) => match(store, Pattern.parse(input), options);
+/**
+ * Runs an already-parsed pattern against a store — the programmatic
+ * entry point for callers that build or specialize patterns as values
+ * (the §24 rules engine substitutes bindings into premise patterns
+ * between joins) rather than as text.
+ */
+export const match = (store, pattern, options = {}) => {
     const compiled = compile(pattern, store.registry(), options);
     const rows = store.db.prepare(compiled.sql).all(...compiled.params);
+    if (compiled.transitive && options.aliases === true) {
+        // Distinct (src, dst) pairs can repeat a binding set when an endpoint
+        // matched through different spellings of one aliased entity; a
+        // transitive match carries no row, so identical bindings are identical
+        // answers.
+        const seen = new Set();
+        return rows.flatMap(row => {
+            const bindings = compiled.bind(row);
+            const key = JSON.stringify(bindings);
+            if (seen.has(key)) {
+                return [];
+            }
+            seen.add(key);
+            return [{ bindings }];
+        });
+    }
     return rows.map(row => compiled.transitive ?
         { bindings: compiled.bind(row) } :
         { bindings: compiled.bind(row), row: row });

package/dist/src/compile.js.map

@@ -1 +1 @@
-{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAE9C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AAavC,MAAM,UAAU,GAAG;;;;;;CAMlB,CAAA;AAED;;;;;GAKG;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAA8B,EAAE;IAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,CAAA;IAC9D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IACzE,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IAClD,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACjG,CAAC,CAAA;AASD,MAAM,OAAO,GAAG,CAAC,OAAkB,EAAE,QAAoB,EAAE,OAAgB,EAAY,EAAE;IACvF,yEAAyE;IACzE,0BAA0B;IAC1B,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAA;IACvB,IAAI,WAAW,GAAG,OAAO,CAAC,OAAO,CAAA;IACjC,IAAI,UAAU,GACZ,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IACxE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QACtE,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,IAAI,mCAAmC,CAAC,CAAA;YACvF,CAAC;YACD,MAAM,OAAO,GAAG,UAAU,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAA;YAC3D,UAAU,GAAG,WAAW,CAAA;YACxB,WAAW,GAAG,OAAO,CAAA;YACrB,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAA;QACrE,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5C,OAAO,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAChF,CAAC;IAED,MAAM,UAAU,GAAa,CAAC,eAAe,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACvE,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,0EAA0E;IAC1E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC9C,MAAM,IAAI,GAAG,CAAC,KAAmB,EAAE,MAAc,EAAE,cAAuB,EAAQ,EAAE;QAClF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,MAAM;gBACT,+DAA+D;gBAC/D,+DAA+D;gBAC/D,2DAA2D;gBAC3D,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACxB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;oBACtC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBACvD,UAAU,CAAC,IAAI,CAAC,2DAA2D,CAAC,CAAA;wBAC5E,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;wBACnC,OAAM;oBACR,CAAC;gBACH,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC,KAAK,MAAM,MAAM,CAAC,CAAA;gBAClC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBACvB,OAAM;YACR,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;gBAChD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACpB,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;gBACnC,IAAI,cAAc,EAAE,CAAC;oBACnB,UAAU,CAAC,IAAI,CAAC,KAAK,MAAM,cAAc,CAAC,CAAA;gBAC5C,CAAC;gBACD,OAAM;YACR,CAAC;YACD,KAAK,UAAU;gBACb,IAAI,cAAc,EAAE,CAAC;oBACnB,UAAU,CAAC,IAAI,CAAC,KAAK,MAAM,cAAc,CAAC,CAAA;gBAC5C,CAAC;gBACD,OAAM;QACV,CAAC;IACH,CAAC,CAAA;IAED,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACxB,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;QAC/C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACpB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IAClC,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QAClC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QACtC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;IACjD,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,UAAU,CAAC,IAAI,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACtD,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAA;QAClG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACtB,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC,6FAA6F,CAAC,CAAA;YAC9G,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACtB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAA;YAC1G,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,QAAQ,MAAM,CAAC,KAAK,EAAE,CAAC;YACrB,KAAK,MAAM;gBACT,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,EAAE,IAAI,CAAC,CAAA;gBACxC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzB,MAAK;YACP,KAAK,KAAK;gBACR,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC/B,UAAU,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAA;oBAC1F,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBACzB,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAA;oBAC1G,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;gBACvC,CAAC;gBACD,MAAK;YACP,KAAK,SAAS;gBACZ,UAAU,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAA;gBAClG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzB,MAAK;YACP,KAAK,OAAO;gBACV,UAAU,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,EAAE,IAAI,CAAC,CAAA;gBAC7C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9B,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;oBACnC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;gBAC1B,CAAC;gBACD,MAAK;YACP,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzC,QAAQ,MAAM,CAAC,EAAE,EAAE,CAAC;oBAClB,KAAK,GAAG;wBACN,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;wBAC5B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACf,MAAK;oBACP,KAAK,IAAI;wBACP,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;wBAC5B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACf,MAAK;oBACP,KAAK,GAAG;wBACN,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;wBAC3B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACf,MAAK;oBACP,KAAK,IAAI;wBACP,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;wBAC3B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACf,MAAK;oBACP,KAAK,GAAG;wBACN,UAAU,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAA;wBAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;wBACnB,MAAK;oBACP,KAAK,IAAI;wBACP,UAAU,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAA;wBAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;wBACnB,MAAK;gBACT,CAAC;gBACD,MAAK;YACP,CAAC;QACH,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,sEAAsE;IACtE,mEAAmE;IACnE,uDAAuD;IACvD,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC;QACrF,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC/B,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAA;IAC3E,MAAM,GAAG,GAAG,oBAAoB,IAAI,aAAa,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAA;IACzF,MAAM,IAAI,GAAG,CAAC,GAA4B,EAA0B,EAAE;QACpE,MAAM,QAAQ,GAA2B,EAAE,CAAA;QAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;QAC3C,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAA;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;AACjD,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CACxB,OAAkB,EAClB,IAAY,EACZ,WAAyB,EACzB,UAAoC,EACpC,OAAgB,EACN,EAAE;IACZ,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACvG,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;IAC/F,CAAC;IACD,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,UAAU,CAAA;IAC3E,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,MAAM,MAAM,GAAwB,CAAC,IAAI,CAAC,CAAA;IAC1C,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QAC5B,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;IAC/B,CAAC;IACD,IAAI,UAAU,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;QAC5B,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;IAC9B,CAAC;IACD,iEAAiE;IACjE,sEAAsE;IACtE,kBAAkB;IAClB,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,EAAE,IAAI,KAAK,KAAK,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;QACrG,UAAU,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IAClC,CAAC;IACD,MAAM,GAAG,GAAG;;;UAGJ,IAAI;;;;;;;;;EASZ,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;sBAC5C,CAAA;IACpB,MAAM,IAAI,GAAG,CAAC,GAA4B,EAA0B,EAAE;QACpE,MAAM,QAAQ,GAA2B,EAAE,CAAA;QAC3C,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QACjD,CAAC;QACD,IAAI,UAAU,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QAChD,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAA;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;AAChD,CAAC,CAAA;AAED;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,KAAa,EAAE,UAAmB,EAAE,EAAW,EAAE;IACnF,MAAM,OAAO,GAAG,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IACpC,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAA;IAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAA8B,CAAA;IAChG,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CACpB,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnB,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAuB,EAAE,CACjE,CAAA;AACH,CAAC,CAAA"}
+{"version":3,"file":"compile.js","sourceRoot":"","sources":["../../src/compile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,gBAAgB,CAAA;AAC9C,OAAO,EAAE,QAAQ,EAAE,MAAM,qBAAqB,CAAA;AAE9C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AA8BvC;;;;;GAKG;AACH,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAE,KAAK,GAAG,SAAS,EAA8B,EAAE;IAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAA;IAClC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,YAAY,CAAC,CAAA;IAC9D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,wBAAwB,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC1E,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,CAAA;IAClD,OAAO,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,EAAE,IAAI,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACjG,CAAC,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,aAAa,GAAG,CAAC,IAAY,EAAU,EAAE;IAC7C,MAAM,EAAE,GAAG,IAAI,CAAC,WAAW,EAAE,CAAA;IAC7B,OAAO,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC,CAAC,SAAS,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAC,CAAC,EAAE,GAAG,CAAA;AAC1F,CAAC,CAAA;AAED,yGAAyG;AACzG,MAAM,SAAS,GAAG,CAAC,IAAwB,EAAU,EAAE,CACrD,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,mCAAmC,aAAa,CAAC,IAAI,CAAC,GAAG,CAAA;AAE/F,MAAM,UAAU,GAAG,CAAC,IAAwB,EAAU,EAAE,CAAC;;;;SAIhD,SAAS,CAAC,IAAI,CAAC;;CAEvB,CAAA;AAED;;;;;;;;;;GAUG;AACH,MAAM,YAAY,GAAG,CAAC,IAAwB,EAAU,EAAE,CAAC;qCACtB,UAAU,CAAC,IAAI,CAAC;;;qCAGhB,UAAU,CAAC,IAAI,CAAC;;;;;;EAMnD,CAAA;AAEF,8EAA8E;AAC9E,MAAM,SAAS,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CACxD,IAAI,IAAI,MAAM,KAAK,sDAAsD,IAAI,cAAc,KAAK,IAAI,CAAA;AAStG,MAAM,OAAO,GAAG,CAAC,OAAkB,EAAE,QAAoB,EAAE,OAAgB,EAAY,EAAE;IACvF,yEAAyE;IACzE,0BAA0B;IAC1B,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAA;IACvB,IAAI,WAAW,GAAG,OAAO,CAAC,OAAO,CAAA;IACjC,IAAI,UAAU,GACZ,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAA;IACxE,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;QACtE,IAAI,SAAS,EAAE,CAAC;YACd,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBACzC,MAAM,IAAI,KAAK,CAAC,wBAAwB,IAAI,CAAC,IAAI,mCAAmC,CAAC,CAAA;YACvF,CAAC;YACD,MAAM,OAAO,GAAG,UAAU,IAAI,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAA;YAC3D,UAAU,GAAG,WAAW,CAAA;YACxB,WAAW,GAAG,OAAO,CAAA;YACrB,IAAI,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAA;QACrE,CAAC;IACH,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QAC5C,OAAO,iBAAiB,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,WAAW,EAAE,UAAU,EAAE,OAAO,CAAC,CAAA;IAChF,CAAC;IAED,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAA;IACxC,qEAAqE;IACrE,sEAAsE;IACtE,sBAAsB;IACtB,MAAM,aAAa,GAAG,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IAC3C,MAAM,UAAU,GAAa,CAAC,eAAe,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACvE,MAAM,MAAM,GAAwB,EAAE,CAAA;IACtC,0EAA0E;IAC1E,MAAM,UAAU,GAAG,IAAI,GAAG,EAAoB,CAAA;IAC9C,MAAM,IAAI,GAAG,CAAC,KAAmB,EAAE,MAAc,EAAE,cAAuB,EAAQ,EAAE;QAClF,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;YACnB,KAAK,MAAM,CAAC,CAAC,CAAC;gBACZ,MAAM,KAAK,GAAG,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,EAAE,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,MAAM,MAAM,CAAA;gBAC3G,MAAM,UAAU,GAAG,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;gBACtG,+DAA+D;gBAC/D,+DAA+D;gBAC/D,2DAA2D;gBAC3D,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;oBACxB,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;oBACtC,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;wBACvD,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,8CAA8C,CAAC,CAAA;wBACxE,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;wBACtC,OAAM;oBACR,CAAC;gBACH,CAAC;gBACD,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;gBACtB,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAA;gBAC1B,OAAM;YACR,CAAC;YACD,KAAK,KAAK,CAAC,CAAC,CAAC;gBACX,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;gBAChD,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;gBACpB,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;gBACnC,IAAI,cAAc,EAAE,CAAC;oBACnB,UAAU,CAAC,IAAI,CAAC,KAAK,MAAM,cAAc,CAAC,CAAA;gBAC5C,CAAC;gBACD,OAAM;YACR,CAAC;YACD,KAAK,UAAU;gBACb,IAAI,cAAc,EAAE,CAAC;oBACnB,UAAU,CAAC,IAAI,CAAC,KAAK,MAAM,cAAc,CAAC,CAAA;gBAC5C,CAAC;gBACD,OAAM;QACV,CAAC;IACH,CAAC,CAAA;IAED,IAAI,CAAC,WAAW,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;IACnC,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QACzB,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QAC7B,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IACxB,CAAC;SAAM,IAAI,IAAI,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;QAC/C,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACpB,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,IAAI,CAAC,UAAU,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAA;IAClC,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,UAAU,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QAClC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QACtC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,YAAY,EAAE,IAAI,CAAC,CAAA;IACjD,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,UAAU,CAAC,MAAM,EAAE,EAAE,CAAC;QAC1C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,UAAU,CAAC,IAAI,CACb,OAAO,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,IAAI,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC;gBACrF,SAAS,CAAC,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;gBACjD,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,CAAC,EAAE,CACtC,CAAA;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAA;QAClG,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IACtB,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QAC/B,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5B,UAAU,CAAC,IAAI,CAAC,6FAA6F,CAAC,CAAA;YAC9G,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QACtB,CAAC;aAAM,CAAC;YACN,UAAU,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAA;YAC1G,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,KAAK,CAAC,CAAA;QACjC,CAAC;IACH,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;QACrC,QAAQ,MAAM,CAAC,KAAK,EAAE,CAAC;YACrB,KAAK,MAAM;gBACT,UAAU,CAAC,IAAI,CAAC,UAAU,MAAM,CAAC,EAAE,IAAI,CAAC,CAAA;gBACxC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzB,MAAK;YACP,KAAK,KAAK;gBACR,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;oBAC/B,UAAU,CAAC,IAAI,CAAC,yEAAyE,CAAC,CAAA;oBAC1F,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAA;gBACzB,CAAC;qBAAM,CAAC;oBACN,UAAU,CAAC,IAAI,CAAC,yFAAyF,CAAC,CAAA;oBAC1G,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;gBACvC,CAAC;gBACD,MAAK;YACP,KAAK,SAAS;gBACZ,UAAU,CAAC,IAAI,CAAC,iFAAiF,CAAC,CAAA;gBAClG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzB,MAAK;YACP,KAAK,OAAO;gBACV,UAAU,CAAC,IAAI,CAAC,eAAe,MAAM,CAAC,EAAE,IAAI,CAAC,CAAA;gBAC7C,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzB,IAAI,MAAM,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC9B,UAAU,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;oBACnC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAA;gBAC1B,CAAC;gBACD,MAAK;YACP,KAAK,IAAI,CAAC,CAAC,CAAC;gBACV,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;gBACzC,QAAQ,MAAM,CAAC,EAAE,EAAE,CAAC;oBAClB,KAAK,GAAG;wBACN,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;wBAC5B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACf,MAAK;oBACP,KAAK,IAAI;wBACP,UAAU,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;wBAC5B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACf,MAAK;oBACP,KAAK,GAAG;wBACN,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;wBAC3B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACf,MAAK;oBACP,KAAK,IAAI;wBACP,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;wBAC3B,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBACf,MAAK;oBACP,KAAK,GAAG;wBACN,UAAU,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAA;wBAC3C,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;wBACnB,MAAK;oBACP,KAAK,IAAI;wBACP,UAAU,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAA;wBAC1C,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAA;wBACnB,MAAK;gBACT,CAAC;gBACD,MAAK;YACP,CAAC;QACH,CAAC;IACH,CAAC;IAED,wEAAwE;IACxE,sEAAsE;IACtE,mEAAmE;IACnE,uDAAuD;IACvD,IAAI,OAAO,CAAC,GAAG,KAAK,IAAI,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,KAAK,KAAK,MAAM,CAAC,EAAE,CAAC;QACrF,UAAU,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAC/B,CAAC;IAED,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACzG,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,kBAAkB,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAA;IACjF,MAAM,GAAG,GAAG,GAAG,UAAU,oBAAoB,IAAI,aAAa,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAA;IACtG,MAAM,IAAI,GAAG,CAAC,GAA4B,EAA0B,EAAE;QACpE,MAAM,QAAQ,GAA2B,EAAE,CAAA;QAC3C,KAAK,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,UAAU,EAAE,CAAC;YACzC,QAAQ,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,CAAC,CAAA;QAC3C,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAA;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,CAAA;AACjD,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CACxB,OAAkB,EAClB,IAAY,EACZ,WAAyB,EACzB,UAAoC,EACpC,OAAgB,EACN,EAAE;IACZ,IAAI,OAAO,CAAC,OAAO,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;QACvG,OAAO,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,4EAA4E,CAAC,CAAA;IAC/F,CAAC;IACD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,KAAK,IAAI,CAAA;IACxC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,iBAAiB,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;IACzG,+EAA+E;IAC/E,MAAM,IAAI,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CACnD,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,MAAM,KAAK,EAAE,CAAA;IACzD,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,MAAM,MAAM,GAAwB,CAAC,IAAI,CAAC,CAAA;IAC1C,IAAI,WAAW,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAA;QACnC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;QAC7B,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAA;QAC/B,CAAC;IACH,CAAC;IACD,IAAI,UAAU,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QAChC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAA;QACnC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QAC5B,IAAI,OAAO,EAAE,CAAC;YACZ,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;QAC9B,CAAC;IACH,CAAC;IACD,iEAAiE;IACjE,sEAAsE;IACtE,kBAAkB;IAClB,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,IAAI,UAAU,EAAE,IAAI,KAAK,KAAK,IAAI,WAAW,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;QACrG,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC,CAAA;IACzC,CAAC;IACD,MAAM,GAAG,GAAG;iBACG,OAAO,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE;;UAEvD,IAAI;;;;;+DAKiD,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC;;;;EAIrF,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE;sBAC5C,CAAA;IACpB,MAAM,IAAI,GAAG,CAAC,GAA4B,EAA0B,EAAE;QACpE,MAAM,QAAQ,GAA2B,EAAE,CAAA;QAC3C,IAAI,WAAW,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,QAAQ,CAAC,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QACjD,CAAC;QACD,IAAI,UAAU,EAAE,IAAI,KAAK,KAAK,EAAE,CAAC;YAC/B,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAA;QAChD,CAAC;QACD,OAAO,QAAQ,CAAA;IACjB,CAAC,CAAA;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAA;AAChD,CAAC,CAAA;AAED;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,KAAa,EAAE,UAAmB,EAAE,EAAW,EAAE,CACnF,KAAK,CAAC,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,CAAA;AAE7C;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,OAAkB,EAAE,UAAmB,EAAE,EAAW,EAAE;IACxF,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,QAAQ,EAAE,EAAE,OAAO,CAAC,CAAA;IAC5D,MAAM,IAAI,GAAG,KAAK,CAAC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,CAA8B,CAAA;IAChG,IAAI,QAAQ,CAAC,UAAU,IAAI,OAAO,CAAC,OAAO,KAAK,IAAI,EAAE,CAAC;QACpD,sEAAsE;QACtE,+DAA+D;QAC/D,uEAAuE;QACvE,WAAW;QACX,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;QAC9B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE;YACxB,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;YACnC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;YACpC,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClB,OAAO,EAAE,CAAA;YACX,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;YACb,OAAO,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA;QACvB,CAAC,CAAC,CAAA;IACJ,CAAC;IACD,OAAO,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CACpB,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnB,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QAClC,EAAE,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,GAAG,EAAE,GAAuB,EAAE,CACjE,CAAA;AACH,CAAC,CAAA"}

package/dist/src/index.d.ts

@@ -8,9 +8,10 @@
  * query(store, '?x HAS bug: ?bug #security')
  * query(store, '?x PART-OF monorepo')            // inverse verbs compile to canonical rows
  * query(store, 'terrier EXTENDS+ animal')        // transitive
+ * query(store, '?x IS live', { asOf: '2026-01-15' }) // belief state at a past moment (§12.3)
  * ```
  */
 export * as Pattern from './pattern.ts';
-export { query } from './compile.ts';
+export { match, query } from './compile.ts';
 export type { Match, Options } from './compile.ts';
 //# sourceMappingURL=index.d.ts.map

package/dist/src/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AACpC,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA;AAC3C,YAAY,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA"}

package/dist/src/index.js

@@ -8,8 +8,9 @@
  * query(store, '?x HAS bug: ?bug #security')
  * query(store, '?x PART-OF monorepo')            // inverse verbs compile to canonical rows
  * query(store, 'terrier EXTENDS+ animal')        // transitive
+ * query(store, '?x IS live', { asOf: '2026-01-15' }) // belief state at a past moment (§12.3)
  * ```
  */
 export * as Pattern from "./pattern.js";
-export { query } from "./compile.js";
+export { match, query } from "./compile.js";
 //# sourceMappingURL=index.js.map

package/dist/src/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,cAAc,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cavelang/query",
-  "version": "0.5.0",
+  "version": "0.13.0",
   "type": "module",
   "description": "CAVE-Q — graph-pattern queries (?x vars, wildcards, inverse verbs, transitive hops, WHERE filters) compiled to SQL.",
   "license": "CC0-1.0",
@@ -32,10 +32,10 @@
     "access": "public"
   },
   "dependencies": {
-    "@cavelang/canonical": "0.5.0",
-    "@cavelang/parser": "0.5.0",
-    "@cavelang/core": "0.5.0",
-    "@cavelang/store": "0.5.0"
+    "@cavelang/canonical": "0.13.0",
+    "@cavelang/core": "0.13.0",
+    "@cavelang/parser": "0.13.0",
+    "@cavelang/store": "0.13.0"
   },
   "scripts": {
     "build": "tsc -b",

package/src/compile.ts

@@ -2,7 +2,8 @@
  * CAVE-Q → SQL compilation (spec §12).
  *
  * Patterns run over *current beliefs* by default — the latest transaction
- * per claim key (spec §9.1) — pass `all` to match the full history.
+ * per claim key (spec §9.1) — pass `all` to match the full history, or
+ * `asOf` to resolve the belief state at a past moment (spec §12.3).
  * Inverse verbs compile to the same physical query as their primary
  * (spec §12.1): `?x PART-OF monorepo` and `monorepo CONTAINS ?x` produce
  * identical SQL against canonical rows, with the pattern's subject binding
@@ -26,32 +27,95 @@ export type Match = {
 export type Options = {
   /** Match all appended rows, not only current beliefs. */
   readonly all?: boolean
+  /**
+   * Resolve entity terms through the alias closure — current positive
+   * `ALIAS` claims read as undirected edges (spec §13.6). Union-of-rows:
+   * matching widens to aliased names; bindings and rows keep the stored
+   * names untouched.
+   */
+  readonly aliases?: boolean
+  /**
+   * Resolve beliefs as of a past moment (spec §12.3): a date
+   * (`2026-01-15`, the whole UTC day included), a timestamp (the whole
+   * second included), or an exact transaction id (UUIDv7, included).
+   * Rows recorded after the boundary are invisible — current-belief
+   * resolution, the alias closure and transitive hops all reconstruct
+   * the belief state at that boundary. Composes with `all`, which then
+   * matches the full history up to the boundary.
+   */
+  readonly asOf?: string
 }
 
-const currentSql = `
-SELECT c.* FROM cave_claim c
-JOIN (
-  SELECT claim_key, MAX(tx) AS max_tx
-  FROM cave_claim GROUP BY claim_key
-) latest ON c.claim_key = latest.claim_key AND c.tx = latest.max_tx
-`
-
 /**
  * UUIDv7 interval `[lo, hi)` for a tx filter value: a bare date covers the
  * whole UTC day, a timestamp covers one second. Interval semantics keep
  * adjacent operators distinguishable (`<=` includes the boundary day that
  * `<` excludes) and make `WHERE tx = 2026-01-01` mean "recorded that day".
  */
-const txBounds = (text: string): { lo: string, hi: string } => {
+const txBounds = (text: string, label = 'tx date'): { lo: string, hi: string } => {
   const hasTime = text.includes('T')
   const start = Date.parse(hasTime ? text : `${text}T00:00:00Z`)
   if (Number.isNaN(start)) {
-    throw new Error(`CAVE-Q: cannot parse tx date ${JSON.stringify(text)}`)
+    throw new Error(`CAVE-Q: cannot parse ${label} ${JSON.stringify(text)}`)
   }
   const end = start + (hasTime ? 1_000 : 86_400_000)
   return { lo: Uuidv7.at(start, 0, new Uint8Array(8)), hi: Uuidv7.at(end, 0, new Uint8Array(8)) }
 }
 
+/**
+ * SQL tx condition for an as-of boundary (spec §12.3). A UUIDv7 names an
+ * exact transaction, included — belief as of that append; a date or
+ * timestamp is inclusive of the whole named day/second, the same interval
+ * semantics as `WHERE tx <=` (§12.2). Both forms inline as literals: the
+ * id is shape-validated hex-and-dashes and the interval bound comes from
+ * `Uuidv7.at` — no free-form text reaches the SQL, and a literal keeps
+ * the fragment embeddable in CTEs that positional parameters would
+ * complicate.
+ */
+const asOfCondition = (asOf: string): string => {
+  const id = asOf.toLowerCase()
+  return Uuidv7.is(id) ? `tx <= '${id}'` : `tx < '${txBounds(asOf, 'as-of boundary').hi}'`
+}
+
+/** Row universe under resolution: every appended row, or only rows recorded up to the as-of boundary. */
+const claimsSql = (asOf: undefined | string): string =>
+  asOf === undefined ? 'cave_claim' : `(SELECT * FROM cave_claim WHERE ${asOfCondition(asOf)})`
+
+const currentSql = (asOf: undefined | string): string => `
+SELECT c.* FROM cave_claim c
+JOIN (
+  SELECT claim_key, MAX(tx) AS max_tx
+  FROM ${claimsSql(asOf)} GROUP BY claim_key
+) latest ON c.claim_key = latest.claim_key AND c.tx = latest.max_tx
+`
+
+/**
+ * Alias closure CTEs (spec §13.6): `alias_edge` is the current positive
+ * `ALIAS` claims symmetrized (each written direction is its own claim key —
+ * both assert the same undirected link); `alias_pair` its transitive
+ * closure — every ordered pair of names currently believed to denote one
+ * entity. Resolution always reads *current* beliefs, even under `all`:
+ * the closure is entity resolution as believed now, not as believed when
+ * a row landed — except under `asOf`, where "now" is the boundary itself
+ * and the closure reconstructs entity resolution as believed then
+ * (spec §12.3).
+ */
+const aliasPairSql = (asOf: undefined | string): string => `alias_edge(a, b) AS (
+  SELECT c.subject, c.object FROM (${currentSql(asOf)}) c
+  WHERE c.verb = 'ALIAS' AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
+  UNION
+  SELECT c.object, c.subject FROM (${currentSql(asOf)}) c
+  WHERE c.verb = 'ALIAS' AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
+), alias_pair(a, b) AS (
+  SELECT a, b FROM alias_edge
+  UNION
+  SELECT p.a, e.b FROM alias_pair p JOIN alias_edge e ON e.a = p.b
+)`
+
+/** SQL for "these two expressions name the same entity" under the closure. */
+const aliasSame = (left: string, right: string): string =>
+  `(${left} = ${right} OR EXISTS (SELECT 1 FROM alias_pair p WHERE p.a = ${left} AND p.b = ${right}))`
+
 type Compiled = {
   readonly sql: string
   readonly params: (string | number)[]
@@ -83,27 +147,35 @@ const compile = (pattern: Pattern.t, registry: Registry.t, options: Options): Co
     return compileTransitive(pattern, verb.name, subjectSlot, objectSlot, options)
   }
 
+  const aliases = options.aliases === true
+  // Alias closure applies to entity columns only: values and attribute
+  // names are not entities, and verb aliasing is a separate, undesigned
+  // lifecycle question.
+  const entityColumns = ['subject', 'object']
   const conditions: string[] = [`c.negated = ${pattern.negated ? 1 : 0}`]
   const params: (string | number)[] = []
   /** var name → row columns it binds; repeated vars add join conditions. */
   const varColumns = new Map<string, string[]>()
   const slot = (value: Pattern.Slot, column: string, requireNotNull: boolean): void => {
     switch (value.kind) {
-      case 'term':
+      case 'term': {
+        const match = aliases && entityColumns.includes(column) ? aliasSame('?', `c.${column}`) : `c.${column} = ?`
+        const termParams = aliases && entityColumns.includes(column) ? [value.text, value.text] : [value.text]
         // A date/number term in object position must also match metric
         // rows, which store their value in value_text with object NULL
         // (`latency IS 30ms` ⇒ pattern `latency IS 30ms` matches).
         if (column === 'object') {
           const parsed = Value.parse(value.text)
           if (parsed.kind === 'number' || parsed.kind === 'date') {
-            conditions.push('(c.object = ? OR (c.object IS NULL AND c.value_text = ?))')
-            params.push(value.text, value.text)
+            conditions.push(`(${match} OR (c.object IS NULL AND c.value_text = ?))`)
+            params.push(...termParams, value.text)
             return
           }
         }
-        conditions.push(`c.${column} = ?`)
-        params.push(value.text)
+        conditions.push(match)
+        params.push(...termParams)
         return
+      }
       case 'var': {
         const columns = varColumns.get(value.name) ?? []
         columns.push(column)
@@ -140,7 +212,11 @@ const compile = (pattern: Pattern.t, registry: Registry.t, options: Options): Co
   }
   for (const columns of varColumns.values()) {
     for (let i = 1; i < columns.length; i++) {
-      conditions.push(`c.${columns[0]} = c.${columns[i]}`)
+      conditions.push(
+        aliases && entityColumns.includes(columns[0]!) && entityColumns.includes(columns[i]!) ?
+          aliasSame(`c.${columns[0]}`, `c.${columns[i]}`) :
+          `c.${columns[0]} = c.${columns[i]}`
+      )
     }
   }
   for (const context of pattern.contexts) {
@@ -224,8 +300,9 @@ const compile = (pattern: Pattern.t, registry: Registry.t, options: Options): Co
     conditions.push('c.conf > 0')
   }
 
-  const base = options.all === true ? 'SELECT * FROM cave_claim' : currentSql
-  const sql = `SELECT c.* FROM (${base}) c WHERE ${conditions.join(' AND ')} ORDER BY c.tx`
+  const base = options.all === true ? `SELECT * FROM ${claimsSql(options.asOf)}` : currentSql(options.asOf)
+  const withClause = aliases ? `WITH RECURSIVE ${aliasPairSql(options.asOf)} ` : ''
+  const sql = `${withClause}SELECT c.* FROM (${base}) c WHERE ${conditions.join(' AND ')} ORDER BY c.tx`
   const bind = (row: Record<string, unknown>): Record<string, string> => {
     const bindings: Record<string, string> = {}
     for (const [name, columns] of varColumns) {
@@ -247,32 +324,42 @@ const compileTransitive = (
       pattern.payload.kind === 'attribute') {
     throw new Error('CAVE-Q: transitive patterns support subject/object slots only (spec §12.1)')
   }
-  const base = options.all === true ? 'SELECT * FROM cave_claim' : currentSql
+  const aliases = options.aliases === true
+  const base = options.all === true ? `SELECT * FROM ${claimsSql(options.asOf)}` : currentSql(options.asOf)
+  /** Endpoint equality: exact, or alias-equal under the closure (spec §13.6). */
+  const same = (left: string, right: string): string =>
+    aliases ? aliasSame(left, right) : `${left} = ${right}`
   const conditions: string[] = []
   const params: (string | number)[] = [verb]
   if (subjectSlot.kind === 'term') {
-    conditions.push('h.src = ?')
+    conditions.push(same('h.src', '?'))
     params.push(subjectSlot.text)
+    if (aliases) {
+      params.push(subjectSlot.text)
+    }
   }
   if (objectSlot?.kind === 'term') {
-    conditions.push('h.dst = ?')
+    conditions.push(same('h.dst', '?'))
     params.push(objectSlot.text)
+    if (aliases) {
+      params.push(objectSlot.text)
+    }
   }
   // A repeated variable forces equality here just as in single-hop
   // patterns: `?x EXTENDS+ ?x` asks for nodes on a cycle, not for every
   // reachable pair.
   if (subjectSlot.kind === 'var' && objectSlot?.kind === 'var' && subjectSlot.name === objectSlot.name) {
-    conditions.push('h.src = h.dst')
+    conditions.push(same('h.src', 'h.dst'))
   }
   const sql = `
-WITH RECURSIVE cur AS (
+WITH RECURSIVE ${aliases ? `${aliasPairSql(options.asOf)}, ` : ''}cur AS (
   SELECT c.subject AS src, c.object AS dst
   FROM (${base}) c
   WHERE c.verb = ? AND c.negated = 0 AND c.conf > 0 AND c.object IS NOT NULL
 ), hops(src, dst, depth) AS (
   SELECT src, dst, 1 FROM cur
   UNION
-  SELECT h.src, cur.dst, h.depth + 1 FROM hops h JOIN cur ON cur.src = h.dst
+  SELECT h.src, cur.dst, h.depth + 1 FROM hops h JOIN cur ON ${same('cur.src', 'h.dst')}
   WHERE h.depth < 32
 )
 SELECT DISTINCT h.src AS src, h.dst AS dst FROM hops h
@@ -298,12 +385,37 @@ ORDER BY h.src, h.dst`
  * query(store, '?x USES jwt')
  * query(store, '?cause CAUSE app/crash\n  WHERE conf >= 0.7')
  * query(store, 'terrier EXTENDS+ animal')
+ * query(store, 'server IS compromised', { asOf: '2026-01-15' })
  * ```
  */
-export const query = (store: Store, input: string, options: Options = {}): Match[] => {
-  const pattern = Pattern.parse(input)
+export const query = (store: Store, input: string, options: Options = {}): Match[] =>
+  match(store, Pattern.parse(input), options)
+
+/**
+ * Runs an already-parsed pattern against a store — the programmatic
+ * entry point for callers that build or specialize patterns as values
+ * (the §24 rules engine substitutes bindings into premise patterns
+ * between joins) rather than as text.
+ */
+export const match = (store: Store, pattern: Pattern.t, options: Options = {}): Match[] => {
   const compiled = compile(pattern, store.registry(), options)
   const rows = store.db.prepare(compiled.sql).all(...compiled.params) as Record<string, unknown>[]
+  if (compiled.transitive && options.aliases === true) {
+    // Distinct (src, dst) pairs can repeat a binding set when an endpoint
+    // matched through different spellings of one aliased entity; a
+    // transitive match carries no row, so identical bindings are identical
+    // answers.
+    const seen = new Set<string>()
+    return rows.flatMap(row => {
+      const bindings = compiled.bind(row)
+      const key = JSON.stringify(bindings)
+      if (seen.has(key)) {
+        return []
+      }
+      seen.add(key)
+      return [{ bindings }]
+    })
+  }
   return rows.map(row =>
     compiled.transitive ?
       { bindings: compiled.bind(row) } :

package/src/index.ts

@@ -8,9 +8,10 @@
  * query(store, '?x HAS bug: ?bug #security')
  * query(store, '?x PART-OF monorepo')            // inverse verbs compile to canonical rows
  * query(store, 'terrier EXTENDS+ animal')        // transitive
+ * query(store, '?x IS live', { asOf: '2026-01-15' }) // belief state at a past moment (§12.3)
  * ```
  */
 
 export * as Pattern from './pattern.ts'
-export { query } from './compile.ts'
+export { match, query } from './compile.ts'
 export type { Match, Options } from './compile.ts'