@hy-sde-org/dsh-memory-extraction 0.1.2-rc.1 → 0.1.5-rc.1

package/README.i18n.yaml

@@ -2,5 +2,5 @@
 # side as of the last confirmed-consistent state. Both languages carry equal authority;
 # after editing either side, bring the other along and re-record with:
 #   pnpm run verify-translation-pairing --write packages/memory/memory-extraction/README.md
-README.md: 25234ba6ae648ede9e26988d72271e257596e5eb
-README.zh.md: c7b48d15b06fe6381c66ad5bfd3824ba6e54a258
+README.md: 5d53e50b06ffb7d095101de40a8ae807f5a29f57
+README.zh.md: f2c32b514ce9d3a27540479d0f5dcd4ba503210d

package/README.md

@@ -1,8 +1,3 @@
----
-description: "Automatic long-term-memory extraction at compaction checkpoints: evidence projection, proposal/canonicalization pipeline, gated ctx.memory commit, and durable cursors/receipts/failure ledger (Maka port, slice No. 2)."
-kind: "package-reference"
----
-
 # @hy-sde-org/dsh-memory-extraction
 
 English | [中文](README.zh.md)
@@ -46,6 +41,16 @@ per-session serialized and never block the compaction listener.
    commit-side dedupe probe heals a crash between items and receipt.
 5. **Subagents are excluded** — the gate re-checks after every model call and
    rejects child sessions by default (`excludeSubagents: true`).
+6. **Cross-session evidence floor (E1)** — a fact only commits once
+   `minGapEvidence` **distinct** sessions (default 2; one session never counts
+   twice, even across its own compactions) have proposed the same durable fact.
+   Uncorroborated facts become `gaps` sighted in the ledger, shown to later
+   proposal passes as open pending facts (the model cites a `gapId` instead of
+   coining a paraphrase); identity falls back to the normalized content hash.
+   A fact retires (covered) when it commits or is found already in the bank.
+   Sightings older than `gapLedgerMaxAgeMs` (default 90 d) expire. Deferrals
+   still advance the cursor and settle the receipt; reads/writes of the ledger
+   take a config value of `0` off entirely (pre-E1 behavior).
 
 ## Table of Contents
 
@@ -74,11 +79,12 @@ every session's events. There is no agent-preset contribution and no tool.
     importance: 0.5           # bank importance for auto-extracted facts (default 0.5)
     dedupe: true              # probe the bank before committing duplicates (default true)
     timeoutMs: 60000          # auxiliary call timeout (default 60000)
+    minGapEvidence: 2         # distinct sessions before a fact commits (default 2; 0 disables the floor)
+    gapLedgerMaxAgeMs: 7776000000   # sightings older than this stop counting (default 90 d in ms)
 ```
 
 Its storage backend must expose a `kv` facet (the shipped `sqlite` backend
-does; `storage-json` does not) — see the
-[example patch](../../../apps/cli/config/examples/memory-extraction/cordis.yml).
+does; `storage-json` does not) — the row above is the complete host wiring.
 The engine itself is pure and testable without cordis:
 
 ```ts
@@ -92,7 +98,10 @@ const result = await engine.execute(snapshot)   // never throws; idempotent by o
 
 The plugin boots asynchronously: an effect opens the control unit via
 `storage.backend.<backend>.kv.open(MemoryExtractionControlStore.descriptor)`
-(`memory_extraction`, version 1, tables `cursors`/`receipts`/`failures`) and
+(`memory_extraction`, version 1, tables `cursors`/`receipts`/`failures`/`gaps`
+— the gap table is additive and the version stays 1 because the storage-sqlite
+backend rejects version bumps on existing media; `CREATE TABLE IF NOT EXISTS`
+materializes it on upgrade) and
 registers the `session/event` listener. A missing backend logs and leaves the
 plugin inert instead of failing composition.
 
@@ -105,7 +114,7 @@ plugin inert instead of failing composition.
   `search_required` / `cannot_resolve` / canonicalization), prompt builders that
   frame evidence as **untrusted data**, admission (verbatim quotes, min 4 chars,
   secret rejection, NFC + injection neutralization, 2 000-char content cap).
-- `src/control.ts` — the durable cursor/receipt/failure store over one
+- `src/control.ts` — the durable cursor/receipt/failure/gap store over one
   `KvUnit` (single write chain; heal-on-open; write ordering documented).
 - `src/engine.ts` — the state machine: idempotency receipt, gate, empty-range
   advance, one-retry-then-discard, 3-call budget, commit ordering.
@@ -119,8 +128,7 @@ plugin inert instead of failing composition.
 
 ## Further Exploration
 
-- The Maka source this was ported from: `packages/runtime/src/memory-extraction.ts`
-  in the Maka repository.
+- The Maka source this was ported from: [`memory-extraction.ts`](https://github.com/apache/maka/blob/main/packages/runtime/src/memory-extraction.ts).
 - The compaction lifecycle that emits the boundary events:
   `@deepseek-ai/dsh-compaction`.
 
@@ -140,6 +148,13 @@ the bounded, user-authored evidence plus a short localization context.
   retry.
 - **No persistent re-extraction** on evidence growth: a checkpoint that failed
   is retried once and then dropped.
+- **Gap identity is model-cited or exact-hash** — a paraphrase the proposal
+  pass does not link to an open pending fact via `gapId` falls back to the
+  normalized content hash and stays pending until a byte-identical sighting (or
+  an explicit cite) corroborates it. No lexical/semantic matching is done.
+- **Deferred facts are not dedupe-probed** — a fact someone already
+  `retain`ed that the extraction proposes never retires via the bank check; it
+  retires when a second session cites it or its sighting expires.
 - **Maka facets are not ported** (kind/temporal/scope/tags); every extracted
   fact lands with `source: 'memory_extract'` and the configured importance.
 - **No per-verb tools**: `memory_remember`/`memory_extract` are reserved names;

package/README.zh.md

@@ -1,8 +1,3 @@
----
-description: "在压缩检查点自动提取长期记忆：证据投影、提案/规范化流水线、受门控的 ctx.memory 提交，以及持久化的游标/回执/失败账本（Maka 移植，切片 No. 2）。"
-kind: "package-reference"
----
-
 # @hy-sde-org/dsh-memory-extraction
 
 [English](README.md) | 中文
@@ -69,8 +64,7 @@ kind: "package-reference"
 ```
 
 其存储后端必须暴露 `kv` 面（shipped 的 `sqlite` 后端可以；`storage-json`
-不可以）—— 参见
-[示例补丁](../../../apps/cli/config/examples/memory-extraction/cordis.yml)。
+不可以）—— 上面展示的行即完整主机接线。
 引擎本身是纯的，可在无 cordis 下测试：
 
 ```ts
@@ -110,7 +104,7 @@ const result = await engine.execute(snapshot)   // never throws; idempotent by o
 <a id="further-exploration"></a>
 ## 进一步探索
 
-- 移植来源：Maka 仓库 `packages/runtime/src/memory-extraction.ts`。
+- 移植来源：[Maka 的 `memory-extraction.ts`](https://github.com/apache/maka/blob/main/packages/runtime/src/memory-extraction.ts)。
 - 产生边界事件的压缩生命周期：`@deepseek-ai/dsh-compaction`。
 
 <a id="model-experience"></a>

package/dist/control.d.ts

@@ -1,9 +1,16 @@
 /**
  * The memory-extraction control store: durable per-session cursor, idempotency
- * receipts, and the single pending-failure record, over one {@link KvUnit}
- * (`memory_extraction`). Same pattern as `dsh-graph-control`: single write
- * chain, heal-on-open, no SQL transactions (the storage contract already
- * forbids concurrent writers on one unit).
+ * receipts, the single pending-failure record, and the cross-session gap
+ * ledger, over one {@link KvUnit} (`memory_extraction`). Same pattern as
+ * `dsh-graph-control`: single write chain, heal-on-open, no SQL transactions
+ * (the storage contract already forbids concurrent writers on one unit).
+ *
+ * The `gaps` table is ADDITIVE and the unit version stays 1 on purpose: the
+ * storage-sqlite backend stamps a unit's version on the medium at first
+ * materialization and rejects any mismatch on reopen (no migrations exist), so
+ * a version bump would brick every existing control unit on upgrade. Adding a
+ * table is the compatible path: `CREATE TABLE IF NOT EXISTS` at open
+ * materializes `gaps` on an existing v1 unit with no data loss.
  *
  * Write ordering is load-bearing: the CURSOR is written before the receipt so
  * a crash between the two can never double-process a range (the next trigger's
@@ -12,7 +19,7 @@
  * @module @hy-sde-org/dsh-memory-extraction/control
  */
 import type { KvUnit } from '@deepseek-ai/dsh-storage';
-import type { MemoryExtractionCursor, MemoryExtractionReceipt, PendingMemoryExtractionFailure } from './types.ts';
+import type { MemoryExtractionCursor, MemoryExtractionGapEntry, MemoryExtractionReceipt, PendingMemoryExtractionFailure } from './types.ts';
 export declare const MEMORY_EXTRACTION_CONTROL_UNIT_NAME = "memory_extraction";
 export declare const MEMORY_EXTRACTION_CONTROL_UNIT_VERSION = 1;
 export declare class MemoryExtractionControlStore {
@@ -21,7 +28,7 @@ export declare class MemoryExtractionControlStore {
     static readonly descriptor: {
         name: string;
         version: number;
-        tables: ("cursors" | "receipts" | "failures")[];
+        tables: ("cursors" | "receipts" | "failures" | "gaps")[];
         hasGlobal: boolean;
     };
     private constructor();
@@ -38,5 +45,9 @@ export declare class MemoryExtractionControlStore {
     readFailure(sessionId: string): Promise<PendingMemoryExtractionFailure | undefined>;
     writeFailure(failure: PendingMemoryExtractionFailure): Promise<void>;
     deleteFailure(sessionId: string): Promise<void>;
+    /** Read every gap entry (open and covered). The engine applies expiry/floor math. */
+    readGaps(): Promise<readonly MemoryExtractionGapEntry[]>;
+    writeGap(entry: MemoryExtractionGapEntry): Promise<void>;
+    deleteGap(id: string): Promise<void>;
 }
 //# sourceMappingURL=control.d.ts.map

package/dist/control.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"control.d.ts","sourceRoot":"","sources":["../src/control.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EACV,sBAAsB,EACtB,uBAAuB,EACvB,8BAA8B,EAC/B,MAAM,YAAY,CAAA;AAEnB,eAAO,MAAM,mCAAmC,sBAAsB,CAAA;AACtE,eAAO,MAAM,sCAAsC,IAAI,CAAA;AAQvD,qBAAa,4BAA4B;IASnB,OAAO,CAAC,QAAQ,CAAC,EAAE;IARvC,0FAA0F;IAC1F,MAAM,CAAC,QAAQ,CAAC,UAAU;;;;;MAKzB;IAED,OAAO;IAEP,kDAAkD;IAClD,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,4BAA4B;IAIrD,8EAA8E;IAC9E,OAAO,CAAC,SAAS;IAWjB,OAAO,CAAC,IAAI,CAAsC;IAI5C,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,sBAAsB,GAAG,SAAS,CAAC;IAUhF,8EAA8E;IAC9E,WAAW,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC;IAMpD,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,GAAG,SAAS,CAAC;IAqBpF,YAAY,CAAC,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAAC;IAMvD,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,8BAA8B,GAAG,SAAS,CAAC;IA8BzF,YAAY,CAAC,OAAO,EAAE,8BAA8B,GAAG,OAAO,CAAC,IAAI,CAAC;IAIpE,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;CAGhD"}
+{"version":3,"file":"control.d.ts","sourceRoot":"","sources":["../src/control.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,0BAA0B,CAAA;AACtD,OAAO,KAAK,EACV,sBAAsB,EACtB,wBAAwB,EAExB,uBAAuB,EACvB,8BAA8B,EAC/B,MAAM,YAAY,CAAA;AAEnB,eAAO,MAAM,mCAAmC,sBAAsB,CAAA;AACtE,eAAO,MAAM,sCAAsC,IAAI,CAAA;AAQvD,qBAAa,4BAA4B;IASnB,OAAO,CAAC,QAAQ,CAAC,EAAE;IARvC,0FAA0F;IAC1F,MAAM,CAAC,QAAQ,CAAC,UAAU;;;;;MAKzB;IAED,OAAO;IAEP,kDAAkD;IAClD,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,MAAM,GAAG,4BAA4B;IAIrD,8EAA8E;IAC9E,OAAO,CAAC,SAAS;IAWjB,OAAO,CAAC,IAAI,CAAsC;IAI5C,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,sBAAsB,GAAG,SAAS,CAAC;IAUhF,8EAA8E;IAC9E,WAAW,CAAC,MAAM,EAAE,sBAAsB,GAAG,OAAO,CAAC,IAAI,CAAC;IAMpD,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,GAAG,SAAS,CAAC;IAqBpF,YAAY,CAAC,OAAO,EAAE,uBAAuB,GAAG,OAAO,CAAC,IAAI,CAAC;IAMvD,WAAW,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,8BAA8B,GAAG,SAAS,CAAC;IA8BzF,YAAY,CAAC,OAAO,EAAE,8BAA8B,GAAG,OAAO,CAAC,IAAI,CAAC;IAIpE,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAM/C,qFAAqF;IAC/E,QAAQ,IAAI,OAAO,CAAC,SAAS,wBAAwB,EAAE,CAAC;IAW9D,QAAQ,CAAC,KAAK,EAAE,wBAAwB,GAAG,OAAO,CAAC,IAAI,CAAC;IAIxD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;CAGrC"}

package/dist/control.js

@@ -1,9 +1,16 @@
 /**
  * The memory-extraction control store: durable per-session cursor, idempotency
- * receipts, and the single pending-failure record, over one {@link KvUnit}
- * (`memory_extraction`). Same pattern as `dsh-graph-control`: single write
- * chain, heal-on-open, no SQL transactions (the storage contract already
- * forbids concurrent writers on one unit).
+ * receipts, the single pending-failure record, and the cross-session gap
+ * ledger, over one {@link KvUnit} (`memory_extraction`). Same pattern as
+ * `dsh-graph-control`: single write chain, heal-on-open, no SQL transactions
+ * (the storage contract already forbids concurrent writers on one unit).
+ *
+ * The `gaps` table is ADDITIVE and the unit version stays 1 on purpose: the
+ * storage-sqlite backend stamps a unit's version on the medium at first
+ * materialization and rejects any mismatch on reopen (no migrations exist), so
+ * a version bump would brick every existing control unit on upgrade. Adding a
+ * table is the compatible path: `CREATE TABLE IF NOT EXISTS` at open
+ * materializes `gaps` on an existing v1 unit with no data loss.
  *
  * Write ordering is load-bearing: the CURSOR is written before the receipt so
  * a crash between the two can never double-process a range (the next trigger's
@@ -13,7 +20,7 @@
  */
 export const MEMORY_EXTRACTION_CONTROL_UNIT_NAME = 'memory_extraction';
 export const MEMORY_EXTRACTION_CONTROL_UNIT_VERSION = 1;
-const UNIT_TABLES = ['cursors', 'receipts', 'failures'];
+const UNIT_TABLES = ['cursors', 'receipts', 'failures', 'gaps'];
 function isRecord(value) {
     return typeof value === 'object' && value !== null && !Array.isArray(value);
 }
@@ -121,5 +128,56 @@ export class MemoryExtractionControlStore {
     deleteFailure(sessionId) {
         return this.withChain(() => this.kv.deleteRecord('failures', sessionId));
     }
+    /* ── gap ledger (cross-session evidence floor) ────────────────────────── */
+    /** Read every gap entry (open and covered). The engine applies expiry/floor math. */
+    async readGaps() {
+        const { tables } = await this.kv.loadAll();
+        const rows = tables['gaps'] ?? {};
+        const entries = [];
+        for (const [id, value] of Object.entries(rows)) {
+            const entry = parseGapEntry(id, value);
+            if (entry !== undefined)
+                entries.push(entry);
+        }
+        return entries;
+    }
+    writeGap(entry) {
+        return this.withChain(() => this.kv.putRecord('gaps', entry.id, { ...entry }));
+    }
+    deleteGap(id) {
+        return this.withChain(() => this.kv.deleteRecord('gaps', id));
+    }
+}
+function parseGapEntry(id, value) {
+    if (!isRecord(value))
+        return undefined;
+    const content = value['content'];
+    const sightings = value['sightings'];
+    const covered = value['covered'];
+    const updatedAt = value['updatedAt'];
+    if (typeof id !== 'string' || id.length < 1
+        || typeof content !== 'string' || content.length < 1
+        || !Array.isArray(sightings) || typeof covered !== 'boolean' || typeof updatedAt !== 'number') {
+        return undefined;
+    }
+    const parsed = [];
+    for (const sighting of sightings) {
+        if (!isRecord(sighting))
+            return undefined;
+        const sessionId = sighting['sessionId'];
+        const at = sighting['at'];
+        if (typeof sessionId !== 'string' || sessionId.length < 1 || typeof at !== 'number')
+            return undefined;
+        parsed.push({ sessionId, at });
+    }
+    const coveredAt = value['coveredAt'];
+    return {
+        id,
+        content,
+        sightings: parsed,
+        covered,
+        ...typeof coveredAt === 'number' ? { coveredAt } : {},
+        updatedAt,
+    };
 }
 //# sourceMappingURL=control.js.map

package/dist/control.js.map

@@ -1 +1 @@
-{"version":3,"file":"control.js","sourceRoot":"","sources":["../src/control.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AASH,MAAM,CAAC,MAAM,mCAAmC,GAAG,mBAAmB,CAAA;AACtE,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAC,CAAA;AAEvD,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAU,CAAA;AAEhE,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,OAAO,4BAA4B;IASF;IARrC,0FAA0F;IAC1F,MAAM,CAAU,UAAU,GAAG;QAC3B,IAAI,EAAE,mCAAmC;QACzC,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC;QACxB,SAAS,EAAE,KAAK;KACjB,CAAA;IAED,YAAqC,EAAU;QAAV,OAAE,GAAF,EAAE,CAAQ;IAAI,CAAC;IAEpD,kDAAkD;IAClD,MAAM,CAAC,IAAI,CAAC,EAAU;QACpB,OAAO,IAAI,4BAA4B,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC;IAED,8EAA8E;IACtE,SAAS,CAAI,GAAqB;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CACvB,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,CAAA,CAAC,CAAC,EAClE,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,CAAA,CAAC,CAAC,CACnE,CAAA;QACD,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;QACnB,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,IAAI,GAAqB,OAAO,CAAC,OAAO,EAAE,CAAA;IAElD,4EAA4E;IAE5E,KAAK,CAAC,UAAU,CAAC,SAAiB;QAChC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,CAAA;QAC1C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACpC,MAAM,YAAY,GAAG,GAAG,CAAC,cAAc,CAAC,CAAA;QACxC,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,CAAA;QAClC,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,OAAO,SAAS,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAA;QACvF,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,CAAA;IAC/C,CAAC;IAED,8EAA8E;IAC9E,WAAW,CAAC,MAA8B;QACxC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAA;IAC5F,CAAC;IAED,4EAA4E;IAE5E,KAAK,CAAC,WAAW,CAAC,WAAmB;QACnC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,WAAW,CAAC,CAAA;QAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACpC,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,CAAA;QAClC,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAA;QAC1B,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,CAAA;QACtC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;YACnG,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAA;QAC3F,OAAO;YACL,WAAW;YACX,SAAS;YACT,MAAM,EAAE,MAA2C;YACnD,KAAK,EAAE,KAAiB;YACxB,WAAW;SACZ,CAAA;IACH,CAAC;IAED,YAAY,CAAC,OAAgC;QAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAA;IACjG,CAAC;IAED,4EAA4E;IAE5E,KAAK,CAAC,WAAW,CAAC,SAAiB;QACjC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAA;QAC3C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACpC,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC,CAAA;QACpC,MAAM,YAAY,GAAG,GAAG,CAAC,cAAc,CAAC,CAAA;QACxC,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,CAAA;QACtC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,CAAA;QAChC,MAAM,YAAY,GAAG,GAAG,CAAC,cAAc,CAAC,CAAA;QACxC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,CAAA;QAChC,IACE,OAAO,UAAU,KAAK,QAAQ,IAAI,OAAO,YAAY,KAAK,QAAQ;eAC/D,OAAO,WAAW,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;eAC/D,OAAO,YAAY,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EACnE,CAAC;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAA;QAC9B,OAAO;YACL,SAAS;YACT,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU;YAC3D,UAAU;YACV,YAAY;YACZ,WAAW;YACX,QAAQ;YACR,YAAY,EAAE,YAA8D;YAC5E,QAAQ;SACT,CAAA;IACH,CAAC;IAED,YAAY,CAAC,OAAuC;QAClD,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAA;IAC/F,CAAC;IAED,aAAa,CAAC,SAAiB;QAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAA;IAC1E,CAAC"}
+{"version":3,"file":"control.js","sourceRoot":"","sources":["../src/control.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAWH,MAAM,CAAC,MAAM,mCAAmC,GAAG,mBAAmB,CAAA;AACtE,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAC,CAAA;AAEvD,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,CAAU,CAAA;AAExE,SAAS,QAAQ,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,OAAO,4BAA4B;IASF;IARrC,0FAA0F;IAC1F,MAAM,CAAU,UAAU,GAAG;QAC3B,IAAI,EAAE,mCAAmC;QACzC,OAAO,EAAE,sCAAsC;QAC/C,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC;QACxB,SAAS,EAAE,KAAK;KACjB,CAAA;IAED,YAAqC,EAAU;QAAV,OAAE,GAAF,EAAE,CAAQ;IAAI,CAAC;IAEpD,kDAAkD;IAClD,MAAM,CAAC,IAAI,CAAC,EAAU;QACpB,OAAO,IAAI,4BAA4B,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC;IAED,8EAA8E;IACtE,SAAS,CAAI,GAAqB;QACxC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,CAAC,CAAA;QAChC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CACvB,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,CAAA,CAAC,CAAC,EAClE,GAAG,EAAE,GAAG,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO;YAAE,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,OAAO,EAAE,CAAA,CAAC,CAAC,CACnE,CAAA;QACD,IAAI,CAAC,IAAI,GAAG,OAAO,CAAA;QACnB,OAAO,IAAI,CAAA;IACb,CAAC;IAEO,IAAI,GAAqB,OAAO,CAAC,OAAO,EAAE,CAAA;IAElD,4EAA4E;IAE5E,KAAK,CAAC,UAAU,CAAC,SAAiB;QAChC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,CAAA;QAC1C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACpC,MAAM,YAAY,GAAG,GAAG,CAAC,cAAc,CAAC,CAAA;QACxC,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,CAAA;QAClC,IAAI,OAAO,YAAY,KAAK,QAAQ,IAAI,OAAO,SAAS,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAA;QACvF,OAAO,EAAE,SAAS,EAAE,YAAY,EAAE,SAAS,EAAE,CAAA;IAC/C,CAAC;IAED,8EAA8E;IAC9E,WAAW,CAAC,MAA8B;QACxC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,CAAA;IAC5F,CAAC;IAED,4EAA4E;IAE5E,KAAK,CAAC,WAAW,CAAC,WAAmB;QACnC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,WAAW,CAAC,CAAA;QAC7C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACpC,MAAM,SAAS,GAAG,GAAG,CAAC,WAAW,CAAC,CAAA;QAClC,MAAM,MAAM,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAA;QAC5B,MAAM,KAAK,GAAG,GAAG,CAAC,OAAO,CAAC,CAAA;QAC1B,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,CAAA;QACtC,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;YACnG,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAA;QAC3F,OAAO;YACL,WAAW;YACX,SAAS;YACT,MAAM,EAAE,MAA2C;YACnD,KAAK,EAAE,KAAiB;YACxB,WAAW;SACZ,CAAA;IACH,CAAC;IAED,YAAY,CAAC,OAAgC;QAC3C,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAA;IACjG,CAAC;IAED,4EAA4E;IAE5E,KAAK,CAAC,WAAW,CAAC,SAAiB;QACjC,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAA;QAC1C,MAAM,GAAG,GAAG,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,SAAS,CAAC,CAAA;QAC3C,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC;YAAE,OAAO,SAAS,CAAA;QACpC,MAAM,UAAU,GAAG,GAAG,CAAC,YAAY,CAAC,CAAA;QACpC,MAAM,YAAY,GAAG,GAAG,CAAC,cAAc,CAAC,CAAA;QACxC,MAAM,WAAW,GAAG,GAAG,CAAC,aAAa,CAAC,CAAA;QACtC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,CAAA;QAChC,MAAM,YAAY,GAAG,GAAG,CAAC,cAAc,CAAC,CAAA;QACxC,MAAM,QAAQ,GAAG,GAAG,CAAC,UAAU,CAAC,CAAA;QAChC,IACE,OAAO,UAAU,KAAK,QAAQ,IAAI,OAAO,YAAY,KAAK,QAAQ;eAC/D,OAAO,WAAW,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ;eAC/D,OAAO,YAAY,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EACnE,CAAC;YACD,OAAO,SAAS,CAAA;QAClB,CAAC;QACD,MAAM,OAAO,GAAG,GAAG,CAAC,SAAS,CAAC,CAAA;QAC9B,OAAO;YACL,SAAS;YACT,OAAO,EAAE,OAAO,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,UAAU;YAC3D,UAAU;YACV,YAAY;YACZ,WAAW;YACX,QAAQ;YACR,YAAY,EAAE,YAA8D;YAC5E,QAAQ;SACT,CAAA;IACH,CAAC;IAED,YAAY,CAAC,OAAuC;QAClD,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAA;IAC/F,CAAC;IAED,aAAa,CAAC,SAAiB;QAC7B,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC,CAAA;IAC1E,CAAC;IAED,6EAA6E;IAE7E,qFAAqF;IACrF,KAAK,CAAC,QAAQ;QACZ,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,IAAI,CAAC,EAAE,CAAC,OAAO,EAAE,CAAA;QAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,CAAA;QACjC,MAAM,OAAO,GAA+B,EAAE,CAAA;QAC9C,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/C,MAAM,KAAK,GAAG,aAAa,CAAC,EAAE,EAAE,KAAK,CAAC,CAAA;YACtC,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAC9C,CAAC;QACD,OAAO,OAAO,CAAA;IAChB,CAAC;IAED,QAAQ,CAAC,KAA+B;QACtC,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAA;IAChF,CAAC;IAED,SAAS,CAAC,EAAU;QAClB,OAAO,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,CAAA;IAC/D,CAAC;;AAGH,SAAS,aAAa,CAAC,EAAU,EAAE,KAAc;IAC/C,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAA;IACtC,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAA;IAChC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,CAAA;IACpC,MAAM,OAAO,GAAG,KAAK,CAAC,SAAS,CAAC,CAAA;IAChC,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,CAAA;IACpC,IACE,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC;WACpC,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;WACjD,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,OAAO,OAAO,KAAK,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,EAC7F,CAAC;QACD,OAAO,SAAS,CAAA;IAClB,CAAC;IACD,MAAM,MAAM,GAAkC,EAAE,CAAA;IAChD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;YAAE,OAAO,SAAS,CAAA;QACzC,MAAM,SAAS,GAAG,QAAQ,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,EAAE,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAA;QACzB,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,EAAE,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAA;QACrG,MAAM,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAA;IAChC,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,WAAW,CAAC,CAAA;IACpC,OAAO;QACL,EAAE;QACF,OAAO;QACP,SAAS,EAAE,MAAM;QACjB,OAAO;QACP,GAAG,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE;QACrD,SAAS;KACV,CAAA;AACH,CAAC"}

package/dist/engine.d.ts

@@ -16,7 +16,7 @@
  * state machine is unit-testable with fakes.
  * @module @hy-sde-org/dsh-memory-extraction/engine
  */
-import type { AdmittedMemoryItem, MemoryExtractionCursor, MemoryExtractionEventEntry, MemoryExtractionGate, MemoryExtractionReceipt, MemoryExtractionRunResult, MemoryExtractionSourceSnapshot, PendingMemoryExtractionFailure } from './types.ts';
+import type { AdmittedMemoryItem, MemoryExtractionCursor, MemoryExtractionEventEntry, MemoryExtractionGapEntry, MemoryExtractionGate, MemoryExtractionReceipt, MemoryExtractionRunResult, MemoryExtractionSourceSnapshot, PendingMemoryExtractionFailure } from './types.ts';
 export type MemoryExtractionStage = 'proposal' | 'localized' | 'canonicalize';
 export type MemoryGenerateResult = {
     readonly ok: true;
@@ -37,6 +37,12 @@ export interface MemoryExtractionPorts {
     writeReceipt(receipt: MemoryExtractionReceipt): void | Promise<void>;
     writeFailure(failure: PendingMemoryExtractionFailure): void | Promise<void>;
     deleteFailure(sessionId: string): void | Promise<void>;
+    /** Read every gap-ledger entry (open and covered); the engine applies floor/expiry math. */
+    readGaps(): readonly MemoryExtractionGapEntry[] | Promise<readonly MemoryExtractionGapEntry[]>;
+    /** Upsert one gap-ledger entry. */
+    writeGap(entry: MemoryExtractionGapEntry): void | Promise<void>;
+    /** Delete one gap-ledger entry (expiry purge). */
+    deleteGap(id: string): void | Promise<void>;
     /** Commit admitted items into the project memory store; returns what was actually stored. */
     commitItems(input: {
         readonly sessionId: string;
@@ -45,9 +51,15 @@ export interface MemoryExtractionPorts {
         readonly boundarySeq: number;
         readonly items: readonly AdmittedMemoryItem[];
     }): {
-        readonly committed: readonly string[];
+        readonly results: readonly {
+            readonly content: string;
+            readonly outcome: 'committed' | 'duplicate' | 'dropped';
+        }[];
     } | Promise<{
-        readonly committed: readonly string[];
+        readonly results: readonly {
+            readonly content: string;
+            readonly outcome: 'committed' | 'duplicate' | 'dropped';
+        }[];
     }>;
     /** One bounded auxiliary model call. Implementations own the timeout signal. */
     generate(input: {
@@ -57,22 +69,66 @@ export interface MemoryExtractionPorts {
     }): MemoryGenerateResult | Promise<MemoryGenerateResult>;
     now?(): number;
 }
+/**
+ * Engine options (config-derived). The evidence floor is opt-in per value:
+ * `minGapEvidence` 0 disables the ledger entirely (pre-E1 behavior); 1 admits
+ * on the first sighting while still recording; 2+ (default) requires that many
+ * distinct sessions.
+ */
+export interface MemoryExtractionEngineOptions {
+    /** Distinct sessions a fact needs before it commits (default 2; 0 disables the floor). */
+    readonly minGapEvidence?: number;
+    /** Gap sightings older than this expire and stop counting (default 90 days). */
+    readonly gapLedgerMaxAgeMs?: number;
+}
 /** Max auxiliary model calls per range (Maka: 3). */
 export declare const MAX_MEMORY_EXTRACTION_MODEL_CALLS = 3;
 /** One later retry after a settled failure, then discard (Maka keeps more states). */
 export declare const MAX_FAILURE_ATTEMPTS = 2;
+/** Distinct sessions a fact needs before committing (backpass `minGapEvidence` default). */
+export declare const DEFAULT_MIN_GAP_EVIDENCE = 2;
+/** Gap sightings older than this stop counting (backpass `gapLedgerMaxAge` default). */
+export declare const DEFAULT_GAP_LEDGER_MAX_AGE_MS: number;
+/** Content-hash identity: `gap_` + 24 hex chars of the normalized content's sha256. */
+export declare const GAP_CONTENT_HASH_HEX = 24;
 export declare class MemoryExtractionEngine {
     private readonly ports;
-    constructor(ports: MemoryExtractionPorts);
+    private readonly options;
+    constructor(ports: MemoryExtractionPorts, options?: MemoryExtractionEngineOptions);
     execute(snapshot: MemoryExtractionSourceSnapshot): Promise<MemoryExtractionRunResult>;
     private processRange;
     private processCoverage;
     private commitEmpty;
     private settleCountedFailure;
+    private minGapEvidence;
+    private gapMaxAge;
+    /**
+     * Load the whole gap ledger once per range: the identity index (for the
+     * floor gate) plus the open, uncorroborated, non-expired entries for the
+     * proposal prompt (most recently sighted first, capped). Disabled floor →
+     * empty index (no reads at all).
+     */
+    private loadGapIndex;
+    /**
+     * Apply the evidence floor to the final writes: a write commits only when
+     * `minGapEvidence` DISTINCT sessions (fresh sightings plus this one, counted
+     * once per session) have proposed the same gap identity; otherwise it is
+     * recorded as a new sighting and deferred. `minGapEvidence <= 0` is the
+     * pre-E1 path: everything commits, nothing is tracked.
+     */
+    private gateWrites;
+    /** Mark one gap entry covered (committed or found already in the bank). */
+    private coveredGapEntry;
     private callModel;
     private allowed;
     private now;
 }
 export declare function memoryExtractionOperationId(snapshot: MemoryExtractionSourceSnapshot): string;
 export declare function memoryCoverageHash(entries: readonly MemoryExtractionEventEntry[], fromSeq: number, throughSeq: number): string;
+/**
+ * Content-hash gap identity fallback (used when the proposal cited no gapId):
+ * `gap_` + the first 24 hex chars of the normalized content's sha256, so two
+ * sessions proposing byte-identical normalized facts land on one ledger entry.
+ */
+export declare function memoryGapIdForContent(content: string): string | undefined;
 //# sourceMappingURL=engine.d.ts.map

package/dist/engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAqBH,OAAO,KAAK,EACV,kBAAkB,EAElB,sBAAsB,EACtB,0BAA0B,EAE1B,oBAAoB,EACpB,uBAAuB,EACvB,yBAAyB,EACzB,8BAA8B,EAE9B,8BAA8B,EAC/B,MAAM,YAAY,CAAA;AAEnB,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,WAAW,GAAG,cAAc,CAAA;AAE7E,MAAM,MAAM,oBAAoB,GAC5B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5C;IACA,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;IAClB,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,SAAS,GAAG,eAAe,GAAG,UAAU,GAAG,aAAa,GAAG,SAAS,CAAA;CACtG,CAAA;AAEH,4FAA4F;AAC5F,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,GAAG,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAA;IACxG,mFAAmF;IACnF,UAAU,CACR,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,GACjB,SAAS,0BAA0B,EAAE,GAAG,OAAO,CAAC,SAAS,0BAA0B,EAAE,CAAC,CAAA;IACzF,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,sBAAsB,GAAG,SAAS,GAAG,OAAO,CAAC,sBAAsB,GAAG,SAAS,CAAC,CAAA;IAC/G,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS,GAAG,OAAO,CAAC,uBAAuB,GAAG,SAAS,CAAC,CAAA;IACpH,WAAW,CACT,SAAS,EAAE,MAAM,GAChB,8BAA8B,GAAG,SAAS,GAAG,OAAO,CAAC,8BAA8B,GAAG,SAAS,CAAC,CAAA;IACnG,WAAW,CAAC,MAAM,EAAE,sBAAsB,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACjE,YAAY,CAAC,OAAO,EAAE,uBAAuB,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACpE,YAAY,CAAC,OAAO,EAAE,8BAA8B,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC3E,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACtD,6FAA6F;IAC7F,WAAW,CAAC,KAAK,EAAE;QACjB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;QAC9B,QAAQ,CAAC,OAAO,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAA;QAC3D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAA;KAC9C,GAAG;QAAE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,GAAG,OAAO,CAAC;QAAE,QAAQ,CAAC,SAAS,EAAE,SAAS,MAAM,EAAE,CAAA;KAAE,CAAC,CAAA;IAClG,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,CAAA;QACjD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;KACtC,GAAG,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAA;IACxD,GAAG,CAAC,IAAI,MAAM,CAAA;CACf;AAED,qDAAqD;AACrD,eAAO,MAAM,iCAAiC,IAAI,CAAA;AAClD,sFAAsF;AACtF,eAAO,MAAM,oBAAoB,IAAI,CAAA;AAcrC,qBAAa,sBAAsB;IACrB,OAAO,CAAC,QAAQ,CAAC,KAAK;gBAAL,KAAK,EAAE,qBAAqB;IAEnD,OAAO,CAAC,QAAQ,EAAE,8BAA8B,GAAG,OAAO,CAAC,yBAAyB,CAAC;YAwF7E,YAAY;YA6CZ,eAAe;YAgMf,WAAW;YAoBX,oBAAoB;YAwCpB,SAAS;YAqBT,OAAO;IAIrB,OAAO,CAAC,GAAG;CAIZ;AAID,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,8BAA8B,GAAG,MAAM,CAQ5F;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,SAAS,0BAA0B,EAAE,EAC9C,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,GACjB,MAAM,CAQR"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../src/engine.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAwBH,OAAO,KAAK,EACV,kBAAkB,EAElB,sBAAsB,EACtB,0BAA0B,EAE1B,wBAAwB,EACxB,oBAAoB,EACpB,uBAAuB,EACvB,yBAAyB,EACzB,8BAA8B,EAE9B,8BAA8B,EAC/B,MAAM,YAAY,CAAA;AAEnB,MAAM,MAAM,qBAAqB,GAAG,UAAU,GAAG,WAAW,GAAG,cAAc,CAAA;AAE7E,MAAM,MAAM,oBAAoB,GAC5B;IAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC5C;IACA,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAA;IAClB,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,SAAS,GAAG,eAAe,GAAG,UAAU,GAAG,aAAa,GAAG,SAAS,CAAA;CACtG,CAAA;AAEH,4FAA4F;AAC5F,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,GAAG,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAA;IACxG,mFAAmF;IACnF,UAAU,CACR,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,GACjB,SAAS,0BAA0B,EAAE,GAAG,OAAO,CAAC,SAAS,0BAA0B,EAAE,CAAC,CAAA;IACzF,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,sBAAsB,GAAG,SAAS,GAAG,OAAO,CAAC,sBAAsB,GAAG,SAAS,CAAC,CAAA;IAC/G,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,uBAAuB,GAAG,SAAS,GAAG,OAAO,CAAC,uBAAuB,GAAG,SAAS,CAAC,CAAA;IACpH,WAAW,CACT,SAAS,EAAE,MAAM,GAChB,8BAA8B,GAAG,SAAS,GAAG,OAAO,CAAC,8BAA8B,GAAG,SAAS,CAAC,CAAA;IACnG,WAAW,CAAC,MAAM,EAAE,sBAAsB,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACjE,YAAY,CAAC,OAAO,EAAE,uBAAuB,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACpE,YAAY,CAAC,OAAO,EAAE,8BAA8B,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC3E,aAAa,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACtD,4FAA4F;IAC5F,QAAQ,IAAI,SAAS,wBAAwB,EAAE,GAAG,OAAO,CAAC,SAAS,wBAAwB,EAAE,CAAC,CAAA;IAC9F,mCAAmC;IACnC,QAAQ,CAAC,KAAK,EAAE,wBAAwB,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC/D,kDAAkD;IAClD,SAAS,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAC3C,6FAA6F;IAC7F,WAAW,CAAC,KAAK,EAAE;QACjB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;QAC1B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;QAC9B,QAAQ,CAAC,OAAO,EAAE,8BAA8B,CAAC,SAAS,CAAC,CAAA;QAC3D,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;QAC5B,QAAQ,CAAC,KAAK,EAAE,SAAS,kBAAkB,EAAE,CAAA;KAC9C,GAAG;QACF,QAAQ,CAAC,OAAO,EAAE,SAAS;YAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,WAAW,GAAG,SAAS,CAAA;SAAE,EAAE,CAAA;KACnH,GAAG,OAAO,CAAC;QACV,QAAQ,CAAC,OAAO,EAAE,SAAS;YAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,GAAG,WAAW,GAAG,SAAS,CAAA;SAAE,EAAE,CAAA;KACnH,CAAC,CAAA;IACF,gFAAgF;IAChF,QAAQ,CAAC,KAAK,EAAE;QACd,QAAQ,CAAC,QAAQ,EAAE,8BAA8B,CAAA;QACjD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;QACvB,QAAQ,CAAC,KAAK,EAAE,qBAAqB,CAAA;KACtC,GAAG,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAA;IACxD,GAAG,CAAC,IAAI,MAAM,CAAA;CACf;AAED;;;;;GAKG;AACH,MAAM,WAAW,6BAA6B;IAC5C,0FAA0F;IAC1F,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,gFAAgF;IAChF,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAA;CACpC;AAED,qDAAqD;AACrD,eAAO,MAAM,iCAAiC,IAAI,CAAA;AAClD,sFAAsF;AACtF,eAAO,MAAM,oBAAoB,IAAI,CAAA;AACrC,4FAA4F;AAC5F,eAAO,MAAM,wBAAwB,IAAI,CAAA;AACzC,wFAAwF;AACxF,eAAO,MAAM,6BAA6B,QAA2B,CAAA;AACrE,uFAAuF;AACvF,eAAO,MAAM,oBAAoB,KAAK,CAAA;AAqBtC,qBAAa,sBAAsB;IAE/B,OAAO,CAAC,QAAQ,CAAC,KAAK;IACtB,OAAO,CAAC,QAAQ,CAAC,OAAO;gBADP,KAAK,EAAE,qBAAqB,EAC5B,OAAO,GAAE,6BAAkC;IAGxD,OAAO,CAAC,QAAQ,EAAE,8BAA8B,GAAG,OAAO,CAAC,yBAAyB,CAAC;YA6F7E,YAAY;YA6CZ,eAAe;YA+Pf,WAAW;YAoBX,oBAAoB;IA0ClC,OAAO,CAAC,cAAc;IAItB,OAAO,CAAC,SAAS;IAIjB;;;;;OAKG;YACW,YAAY;IA2B1B;;;;;;OAMG;YACW,UAAU;IA2ExB,2EAA2E;IAC3E,OAAO,CAAC,eAAe;YAmBT,SAAS;YAqBT,OAAO;IAIrB,OAAO,CAAC,GAAG;CAIZ;AAID,wBAAgB,2BAA2B,CAAC,QAAQ,EAAE,8BAA8B,GAAG,MAAM,CAQ5F;AAED,wBAAgB,kBAAkB,CAChC,OAAO,EAAE,SAAS,0BAA0B,EAAE,EAC9C,OAAO,EAAE,MAAM,EACf,UAAU,EAAE,MAAM,GACjB,MAAM,CAQR;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAIzE"}