@aisy/core 0.1.0

package/dist/memory/index.js

@@ -0,0 +1,419 @@
+import { createHash, randomUUID } from 'node:crypto';
+import { existsSync, mkdirSync, readFileSync } from 'node:fs';
+import { dirname, join } from 'node:path';
+import Database from 'better-sqlite3';
+import { CorruptIndexError, ForgetListTamperError } from './types.js';
+export { CorruptIndexError, ForgetListTamperError, BypassError, GuardBlocked, } from './types.js';
+// ---------------------------------------------------------------------------
+// Deterministic fact-key extraction (§5.4) — equivalence class over
+// (entity, relation, object), no model call on this path.
+// ---------------------------------------------------------------------------
+const STOPWORDS = new Set([
+    'i', 'my', 'me', 'a', 'an', 'the', 'is', 'are', 'was', 'were', 'in', 'on',
+    'at', 'of', 'to', 'and', 'or', 'where', 'that', 'this', 'it', 'be', 'am',
+]);
+/** Relation/synonym canonicalization — collapses common paraphrases. */
+const CANON = {
+    live: 'reside', lives: 'reside', living: 'reside', home: 'reside',
+    reside: 'reside', resides: 'reside', residence: 'reside',
+    job: 'role', position: 'role', role: 'role',
+};
+function keyTokens(text) {
+    const tokens = text
+        .toLowerCase()
+        .replace(/[^a-z0-9\s-]/g, ' ')
+        .split(/\s+/)
+        .filter(t => t.length > 0 && !STOPWORDS.has(t))
+        .map(t => CANON[t] ?? t);
+    return [...new Set(tokens)].sort();
+}
+function factKeyOf(tokens) {
+    return sha256(tokens.join('|'));
+}
+function sha256(input) {
+    return createHash('sha256').update(input).digest('hex');
+}
+// ---------------------------------------------------------------------------
+// Schema
+// ---------------------------------------------------------------------------
+const SCHEMA = `
+CREATE TABLE IF NOT EXISTS facts (
+  rowid INTEGER PRIMARY KEY,
+  id TEXT UNIQUE NOT NULL,
+  text TEXT NOT NULL,
+  fact_key TEXT NOT NULL,
+  key_tokens TEXT NOT NULL,
+  valid_at TEXT NOT NULL,
+  invalid_at TEXT,
+  is_human_confirmed INTEGER NOT NULL DEFAULT 0,
+  source_authority INTEGER,
+  confidence REAL,
+  provenance TEXT NOT NULL DEFAULT '',
+  supersedes TEXT,
+  contradicts TEXT,
+  extends_key TEXT
+);
+CREATE INDEX IF NOT EXISTS idx_facts_key ON facts(fact_key);
+CREATE VIRTUAL TABLE IF NOT EXISTS fts USING fts5(text);
+CREATE TABLE IF NOT EXISTS do_not_remember (
+  rowid INTEGER PRIMARY KEY,
+  fact_key TEXT NOT NULL,
+  key_tokens TEXT NOT NULL,
+  reason TEXT NOT NULL,
+  is_human_confirmed INTEGER NOT NULL,
+  ts TEXT NOT NULL,
+  prev_hash TEXT NOT NULL,
+  row_hash TEXT NOT NULL
+);
+`;
+/** The read/ingestion filter (§5.1 step 1) — applied in the SQL itself. */
+const LIVE_FILTER = `invalid_at IS NULL AND fact_key NOT IN (SELECT fact_key FROM do_not_remember)`;
+/**
+ * Spec §3 "Events emitted" — the Observability binding vocabulary. Each commit
+ * outcome maps to its declared event name (a fact mutation that did not
+ * supersede/block is `memory.committed`; NOT_FOUND is still a committed-class
+ * no-op outcome). The spec has no `memory.commit`/`memory.forget` event.
+ */
+const EVENT_BY_STATUS = {
+    COMMITTED: 'memory.committed',
+    SUPERSEDED: 'memory.superseded',
+    BLOCKED: 'memory.guard_blocked',
+    ROUTED_TO_REVIEW: 'memory.routed_to_review',
+    NOT_FOUND: 'memory.committed',
+};
+// ---------------------------------------------------------------------------
+// makeMemoryStore — the single indexer choke point (§5.1, ADR-0030)
+// ---------------------------------------------------------------------------
+export function makeMemoryStore(deps) {
+    let db = null;
+    let frozen = null;
+    const open = () => {
+        if (db)
+            return db;
+        mkdirSync(dirname(deps.dbPath), { recursive: true });
+        db = new Database(deps.dbPath);
+        db.exec(SCHEMA);
+        return db;
+    };
+    /** Reads block on cold start (§5.8 fail-loud) until an index exists. */
+    const openForRead = () => {
+        if (db)
+            return db;
+        if (!existsSync(deps.dbPath)) {
+            throw new CorruptIndexError('cold start: no index on disk — run rebuildFromFiles() first');
+        }
+        return open();
+    };
+    // --- forget-list (append-only, hash-chained; §4) ---
+    const dnrRows = (d) => d.prepare('SELECT * FROM do_not_remember ORDER BY rowid').all();
+    const appendForgetRow = (d, factKey, tokens, reason, humanConfirmed) => {
+        const last = d.prepare('SELECT row_hash FROM do_not_remember ORDER BY rowid DESC LIMIT 1').get();
+        const prevHash = last?.row_hash ?? 'genesis';
+        const ts = deps.nowIso();
+        const rowHash = sha256(`${prevHash}‖${factKey}‖${tokens.join('|')}‖${reason}‖${ts}`);
+        d.prepare('INSERT INTO do_not_remember (fact_key, key_tokens, reason, is_human_confirmed, ts, prev_hash, row_hash) VALUES (?,?,?,?,?,?,?)').run(factKey, tokens.join('|'), reason, humanConfirmed ? 1 : 0, ts, prevHash, rowHash);
+    };
+    const verifyForgetChain = (d) => {
+        let prev = 'genesis';
+        for (const row of dnrRows(d)) {
+            const expect = sha256(`${prev}‖${row.fact_key}‖${row.key_tokens}‖${row.reason}‖${row.ts}`);
+            if (row.prev_hash !== prev || row.row_hash !== expect) {
+                return { ok: false, detail: `hash mismatch at row ${row.rowid}` };
+            }
+            prev = row.row_hash;
+        }
+        return { ok: true };
+    };
+    const guardCheck = (d, factKey, tokens) => {
+        const exact = d.prepare('SELECT rowid FROM do_not_remember WHERE fact_key = ?').get(factKey);
+        if (exact)
+            return 'BLOCK';
+        // Residual-paraphrase fail-safe (§5.4): partial token overlap with a
+        // forgotten equivalence class routes to human review, never silent commit.
+        const tokenSet = new Set(tokens);
+        for (const row of dnrRows(d)) {
+            const theirs = row.key_tokens.split('|');
+            if (theirs.some(t => t.length > 0 && tokenSet.has(t)))
+                return 'REVIEW';
+        }
+        return 'PASS';
+    };
+    // --- tombstone helper (soft delete; no hard DELETE — §4) ---
+    const invalidate = (d, row, humanConfirmed) => {
+        d.prepare('UPDATE facts SET invalid_at = ?, is_human_confirmed = ? WHERE rowid = ?').run(deps.nowIso(), humanConfirmed ? 1 : 0, row.rowid);
+        d.prepare('DELETE FROM fts WHERE rowid = ?').run(row.rowid);
+    };
+    const insertFact = (d, text, factKey, tokens, supersedes) => {
+        const id = randomUUID();
+        const info = d.prepare('INSERT INTO facts (id, text, fact_key, key_tokens, valid_at, provenance, supersedes) VALUES (?,?,?,?,?,?,?)').run(id, text, factKey, tokens.join('|'), deps.nowIso(), 'commit', supersedes ?? null);
+        d.prepare('INSERT INTO fts (rowid, text) VALUES (?, ?)').run(info.lastInsertRowid, text);
+        return id;
+    };
+    const findById = (d, id) => d.prepare('SELECT * FROM facts WHERE id = ?').get(id);
+    const refreshDerivedIndex = (d) => {
+        // Every rebuild re-applies the full forget invariant (ADR-0030): the
+        // filter is in the SQL — there is no path around it.
+        d.exec('BEGIN');
+        d.exec('DELETE FROM fts');
+        d.exec(`INSERT INTO fts (rowid, text) SELECT rowid, text FROM facts WHERE ${LIVE_FILTER}`);
+        d.exec('COMMIT');
+    };
+    const reindexScoped = (d, ids) => {
+        // Scoped reindex (§5.1, ADR-0030): re-sync ONLY the listed ids' FTS rows,
+        // still through the forget filter. A listed id that is tombstoned/forgotten
+        // is dropped from the index; a live one is re-inserted. Unlisted ids are
+        // left untouched.
+        const selectLive = d.prepare(`SELECT rowid, text FROM facts WHERE id = ? AND ${LIVE_FILTER}`);
+        const findRowid = d.prepare('SELECT rowid FROM facts WHERE id = ?');
+        const delFts = d.prepare('DELETE FROM fts WHERE rowid = ?');
+        const insFts = d.prepare('INSERT INTO fts (rowid, text) VALUES (?, ?)');
+        d.exec('BEGIN');
+        try {
+            for (const id of ids) {
+                const known = findRowid.get(id);
+                if (!known)
+                    continue;
+                delFts.run(known.rowid);
+                const live = selectLive.get(id);
+                if (live)
+                    insFts.run(live.rowid, live.text);
+            }
+            d.exec('COMMIT');
+        }
+        catch (err) {
+            try {
+                d.exec('ROLLBACK');
+            }
+            catch { /* preserve the original error */ }
+            throw err;
+        }
+    };
+    return {
+        // READ PATH — filter applied in the SQL itself (§5.2)
+        async search(query, opts) {
+            const d = openForRead();
+            const chain = verifyForgetChain(d);
+            if (!chain.ok)
+                throw new ForgetListTamperError(chain.detail ?? 'hash chain break');
+            // Reduce each token to its FTS5-indexable content (letters/digits) FIRST,
+            // then drop tokens that are now empty, so a query of only quotes /
+            // whitespace / punctuation yields no MATCH terms and is caught by the
+            // guard below — never relying on FTS5 treating '""' as an empty query.
+            const match = query
+                .split(/\s+/)
+                .map(t => t.replace(/[^a-zA-Z0-9]+/g, ''))
+                .filter(t => t.length > 0)
+                .map(t => `"${t}"`)
+                .join(' OR ');
+            if (!match)
+                return [];
+            const rows = d.prepare(`SELECT f.id, f.fact_key, f.text, bm25(fts) AS score
+         FROM fts JOIN facts f ON f.rowid = fts.rowid
+         WHERE fts MATCH ? AND f.invalid_at IS NULL
+           AND f.fact_key NOT IN (SELECT fact_key FROM do_not_remember)
+         ORDER BY score LIMIT ?`).all(match, opts?.limit ?? 20);
+            return rows.map(r => ({ id: r.id, factKey: r.fact_key, text: r.text, score: r.score }));
+        },
+        // Filter applies at EVERY lazy-load step — a tombstoned fact never leaks
+        // even as a 50-token annotation (§5.2).
+        async load(hitId, step) {
+            const d = openForRead();
+            const chain = verifyForgetChain(d);
+            if (!chain.ok)
+                throw new ForgetListTamperError(chain.detail ?? 'hash chain break');
+            const row = findById(d, hitId);
+            if (!row || row.invalid_at !== null) {
+                throw new CorruptIndexError(`fact ${hitId} is not live (tombstoned or unknown)`);
+            }
+            const dnr = d.prepare('SELECT rowid FROM do_not_remember WHERE fact_key = ?').get(row.fact_key);
+            if (dnr)
+                throw new CorruptIndexError(`fact ${hitId} is on the forget-list`);
+            if (step === 'annotation')
+                return row.text.slice(0, 200);
+            if (step === 'overview')
+                return row.text.slice(0, 2000);
+            return row.text;
+        },
+        // ENUMERATE — all live facts through the same forget filter as search() (Tier-4 B1)
+        async listLive() {
+            const d = openForRead();
+            const chain = verifyForgetChain(d);
+            if (!chain.ok)
+                throw new ForgetListTamperError(chain.detail ?? 'hash chain break');
+            const rows = d.prepare(`SELECT id, text, fact_key, valid_at, invalid_at, is_human_confirmed,
+                source_authority, confidence, provenance, supersedes, contradicts, extends_key
+         FROM facts WHERE ${LIVE_FILTER}
+         ORDER BY valid_at, id`).all();
+            return rows.map((r) => ({
+                id: r.id,
+                text: r.text,
+                factKey: r.fact_key,
+                validAt: r.valid_at,
+                invalidAt: r.invalid_at,
+                isHumanConfirmed: r.is_human_confirmed !== 0,
+                sourceAuthority: r.source_authority,
+                confidence: r.confidence,
+                provenance: r.provenance,
+                ...(r.supersedes != null ? { supersedes: r.supersedes } : {}),
+                ...(r.contradicts != null ? { contradicts: r.contradicts } : {}),
+                ...(r.extends_key != null ? { extends: r.extends_key } : {}),
+            }));
+        },
+        // SESSION SNAPSHOT — read once, frozen for the store's lifetime (ADR-0007)
+        async readFrozenSnapshot() {
+            if (frozen)
+                return frozen;
+            const parts = [];
+            for (const name of ['constitution.md', 'SOUL.md', 'USER.md', 'MEMORY.md']) {
+                const p = join(deps.memoryRoot, name);
+                if (existsSync(p))
+                    parts.push(readFileSync(p));
+            }
+            const bytes = Buffer.concat(parts);
+            frozen = { bytes, sha256: sha256(bytes) };
+            return frozen;
+        },
+        // WRITE PATH — the single choke point (§5.1). Guard + contradiction
+        // resolution + reindex in one transaction; journal emit is fail-closed.
+        async commit(op, _ctx) {
+            const d = open();
+            d.exec('BEGIN');
+            try {
+                let result;
+                if (op.op === 'NOOP') {
+                    result = { status: 'COMMITTED', factId: op.targetId };
+                }
+                else if (op.op === 'DELETE') {
+                    const target = findById(d, op.targetId);
+                    if (target) {
+                        invalidate(d, target, op.humanConfirmed);
+                        if (op.humanConfirmed) {
+                            appendForgetRow(d, target.fact_key, target.key_tokens.split('|'), op.reason, true);
+                        }
+                        result = { status: 'COMMITTED', factId: op.targetId };
+                    }
+                    else {
+                        // No such fact — the intended (permanent) forget never happened.
+                        // Surface that nothing was deleted rather than a misleading COMMITTED.
+                        result = { status: 'NOT_FOUND', factId: op.targetId };
+                    }
+                }
+                else {
+                    // ADD / UPDATE share the guarded insert path
+                    const tokens = keyTokens(op.text);
+                    const factKey = factKeyOf(tokens);
+                    const guard = guardCheck(d, factKey, tokens);
+                    if (guard === 'BLOCK') {
+                        result = {
+                            status: 'BLOCKED',
+                            verdict: { decision: 'BLOCK', matched: 'forget_list', factId: factKey },
+                        };
+                    }
+                    else if (guard === 'REVIEW') {
+                        // fail-safe: surfaced for human review, never stored searchable
+                        result = { status: 'ROUTED_TO_REVIEW', verdict: { decision: 'REVIEW', reason: 'residual_paraphrase' } };
+                    }
+                    else if (op.op === 'UPDATE') {
+                        const target = findById(d, op.targetId);
+                        if (target && target.invalid_at === null)
+                            invalidate(d, target, false);
+                        const id = insertFact(d, op.text, factKey, tokens, target?.fact_key);
+                        result = { status: 'SUPERSEDED', factId: id };
+                    }
+                    else {
+                        // Contradiction resolution (§5.6): a live fact with the same key is
+                        // recency-superseded (tombstone, NOT forget-list) — re-assertable.
+                        const live = d.prepare('SELECT * FROM facts WHERE fact_key = ? AND invalid_at IS NULL').all(factKey);
+                        for (const row of live)
+                            invalidate(d, row, false);
+                        const id = insertFact(d, op.text, factKey, tokens);
+                        result = { status: 'COMMITTED', factId: id };
+                    }
+                }
+                // Fail-closed journal binding: if the Observability emit fails, the
+                // whole commit rolls back and no searchable fact persists (AC-03-15).
+                // Event name comes from the spec §3 "Events emitted" vocabulary,
+                // selected by outcome so the Observability binding is correct.
+                await deps.emitEvent(EVENT_BY_STATUS[result.status], { op: op.op, status: result.status });
+                d.exec('COMMIT');
+                return result;
+            }
+            catch (err) {
+                try {
+                    d.exec('ROLLBACK');
+                }
+                catch { /* preserve the original error */ }
+                throw err;
+            }
+        },
+        // FORGET-LIST — append-only, integrity-protected (§4)
+        async forget(factId, reason, humanConfirmed) {
+            const d = open();
+            d.exec('BEGIN');
+            try {
+                const row = findById(d, factId);
+                if (row) {
+                    invalidate(d, row, humanConfirmed);
+                    if (humanConfirmed)
+                        appendForgetRow(d, row.fact_key, row.key_tokens.split('|'), reason, true);
+                }
+                // forget() is a fact mutation (tombstone + forget-list append) →
+                // the spec §3 vocabulary records it as memory.committed.
+                await deps.emitEvent('memory.committed', { op: 'forget', factId, humanConfirmed });
+                d.exec('COMMIT');
+            }
+            catch (err) {
+                try {
+                    d.exec('ROLLBACK');
+                }
+                catch { /* preserve the original error */ }
+                throw err;
+            }
+        },
+        // DERIVED-INDEX CONTRACT — any reindex routes through the choke point's
+        // filter, never around it (ADR-0030). A scoped { ids } request reindexes
+        // only those ids; 'all' rebuilds the whole derived index.
+        async reindex(scope) {
+            const d = open();
+            if (scope === 'all')
+                refreshDerivedIndex(d);
+            else
+                reindexScoped(d, scope.ids);
+        },
+        async rebuildFromFiles() {
+            // Reconstructs the derived FTS index from the canonical store,
+            // re-applying the full forget invariant during rebuild (§5.8).
+            refreshDerivedIndex(open());
+        },
+        // DETERMINISM — byte-stable MEMORY.md regeneration (§5.7): stable sort,
+        // fixed UTC format, \n endings, single trailing newline, no volatile ids.
+        async serializeMemoryIndex() {
+            const d = open();
+            const rows = d.prepare(`SELECT fact_key, valid_at, text FROM facts WHERE ${LIVE_FILTER}
+         ORDER BY fact_key, valid_at, text`).all();
+            const lines = ['# Memory index', ''];
+            for (const r of rows) {
+                lines.push(`- ${r.fact_key.slice(0, 12)} ${r.valid_at} ${r.text.replace(/\s+/g, ' ').trimEnd()}`);
+            }
+            const content = lines.join('\n').replace(/\n+$/, '') + '\n';
+            return { content, sha256: sha256(content) };
+        },
+        // INTEGRITY — PRAGMA + forget-list chain (§5.8); fails loud, never empty
+        async integrityCheck() {
+            if (!db && !existsSync(deps.dbPath)) {
+                return { ok: false, detail: 'no index on disk' };
+            }
+            const d = open();
+            const pragma = d.pragma('integrity_check');
+            if (pragma[0]?.integrity_check !== 'ok') {
+                return { ok: false, detail: `PRAGMA integrity_check: ${pragma[0]?.integrity_check}` };
+            }
+            const chain = verifyForgetChain(d);
+            if (!chain.ok) {
+                return { ok: false, detail: `ForgetListTamperError: ${chain.detail}` };
+            }
+            return { ok: true };
+        },
+    };
+}
+//# sourceMappingURL=index.js.map

package/dist/memory/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/memory/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACpD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAC7D,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AACzC,OAAO,QAAQ,MAAM,gBAAgB,CAAA;AAarC,OAAO,EAAE,iBAAiB,EAAE,qBAAqB,EAAE,MAAM,YAAY,CAAA;AAgBrE,OAAO,EACL,iBAAiB,EACjB,qBAAqB,EACrB,WAAW,EACX,YAAY,GACb,MAAM,YAAY,CAAA;AAEnB,8EAA8E;AAC9E,oEAAoE;AACpE,0DAA0D;AAC1D,8EAA8E;AAE9E,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;IACxB,GAAG,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI;IACzE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;CACzE,CAAC,CAAA;AAEF,wEAAwE;AACxE,MAAM,KAAK,GAA2B;IACpC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,QAAQ;IACjE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ;IACxD,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM;CAC5C,CAAA;AAED,SAAS,SAAS,CAAC,IAAY;IAC7B,MAAM,MAAM,GAAG,IAAI;SAChB,WAAW,EAAE;SACb,OAAO,CAAC,eAAe,EAAE,GAAG,CAAC;SAC7B,KAAK,CAAC,KAAK,CAAC;SACZ,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;SAC9C,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAA;IAC1B,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAA;AACpC,CAAC;AAED,SAAS,SAAS,CAAC,MAAgB;IACjC,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAA;AACjC,CAAC;AAED,SAAS,MAAM,CAAC,KAAsB;IACpC,OAAO,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AACzD,CAAC;AAED,8EAA8E;AAC9E,SAAS;AACT,8EAA8E;AAE9E,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA6Bd,CAAA;AAwCD,2EAA2E;AAC3E,MAAM,WAAW,GAAG,+EAA+E,CAAA;AAEnG;;;;;GAKG;AACH,MAAM,eAAe,GAA2C;IAC9D,SAAS,EAAE,kBAAkB;IAC7B,UAAU,EAAE,mBAAmB;IAC/B,OAAO,EAAE,sBAAsB;IAC/B,gBAAgB,EAAE,yBAAyB;IAC3C,SAAS,EAAE,kBAAkB;CAC9B,CAAA;AAED,8EAA8E;AAC9E,oEAAoE;AACpE,8EAA8E;AAE9E,MAAM,UAAU,eAAe,CAAC,IAAqB;IACnD,IAAI,EAAE,GAA6B,IAAI,CAAA;IACvC,IAAI,MAAM,GAA0B,IAAI,CAAA;IAExC,MAAM,IAAI,GAAG,GAAsB,EAAE;QACnC,IAAI,EAAE;YAAE,OAAO,EAAE,CAAA;QACjB,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QACpD,EAAE,GAAG,IAAI,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC9B,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QACf,OAAO,EAAE,CAAA;IACX,CAAC,CAAA;IAED,wEAAwE;IACxE,MAAM,WAAW,GAAG,GAAsB,EAAE;QAC1C,IAAI,EAAE;YAAE,OAAO,EAAE,CAAA;QACjB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,iBAAiB,CAAC,6DAA6D,CAAC,CAAA;QAC5F,CAAC;QACD,OAAO,IAAI,EAAE,CAAA;IACf,CAAC,CAAA;IAED,sDAAsD;IAEtD,MAAM,OAAO,GAAG,CAAC,CAAoB,EAAY,EAAE,CACjD,CAAC,CAAC,OAAO,CAAC,8CAA8C,CAAC,CAAC,GAAG,EAAc,CAAA;IAE7E,MAAM,eAAe,GAAG,CACtB,CAAoB,EACpB,OAAe,EACf,MAAgB,EAChB,MAAc,EACd,cAAuB,EACjB,EAAE;QACR,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,kEAAkE,CAAC,CAAC,GAAG,EAEjF,CAAA;QACb,MAAM,QAAQ,GAAG,IAAI,EAAE,QAAQ,IAAI,SAAS,CAAA;QAC5C,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA;QACxB,MAAM,OAAO,GAAG,MAAM,CAAC,GAAG,QAAQ,IAAI,OAAO,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,IAAI,EAAE,EAAE,CAAC,CAAA;QACpF,CAAC,CAAC,OAAO,CACP,gIAAgI,CACjI,CAAC,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAA;IACzF,CAAC,CAAA;IAED,MAAM,iBAAiB,GAAG,CAAC,CAAoB,EAAoC,EAAE;QACnF,IAAI,IAAI,GAAG,SAAS,CAAA;QACpB,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,IAAI,IAAI,GAAG,CAAC,QAAQ,IAAI,GAAG,CAAC,UAAU,IAAI,GAAG,CAAC,MAAM,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC,CAAA;YAC1F,IAAI,GAAG,CAAC,SAAS,KAAK,IAAI,IAAI,GAAG,CAAC,QAAQ,KAAK,MAAM,EAAE,CAAC;gBACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,GAAG,CAAC,KAAK,EAAE,EAAE,CAAA;YACnE,CAAC;YACD,IAAI,GAAG,GAAG,CAAC,QAAQ,CAAA;QACrB,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;IACrB,CAAC,CAAA;IAMD,MAAM,UAAU,GAAG,CAAC,CAAoB,EAAE,OAAe,EAAE,MAAgB,EAAS,EAAE;QACpF,MAAM,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,sDAAsD,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAC5F,IAAI,KAAK;YAAE,OAAO,OAAO,CAAA;QACzB,qEAAqE;QACrE,2EAA2E;QAC3E,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,CAAA;QAChC,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACxC,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,QAAQ,CAAA;QACxE,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC,CAAA;IAED,8DAA8D;IAE9D,MAAM,UAAU,GAAG,CAAC,CAAoB,EAAE,GAAY,EAAE,cAAuB,EAAQ,EAAE;QACvF,CAAC,CAAC,OAAO,CAAC,yEAAyE,CAAC,CAAC,GAAG,CACtF,IAAI,CAAC,MAAM,EAAE,EACb,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EACtB,GAAG,CAAC,KAAK,CACV,CAAA;QACD,CAAC,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IAC7D,CAAC,CAAA;IAED,MAAM,UAAU,GAAG,CACjB,CAAoB,EACpB,IAAY,EACZ,OAAe,EACf,MAAgB,EAChB,UAAmB,EACX,EAAE;QACV,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CACpB,6GAA6G,CAC9G,CAAC,GAAG,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,MAAM,EAAE,EAAE,QAAQ,EAAE,UAAU,IAAI,IAAI,CAAC,CAAA;QACvF,CAAC,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,eAAe,EAAE,IAAI,CAAC,CAAA;QACxF,OAAO,EAAE,CAAA;IACX,CAAC,CAAA;IAED,MAAM,QAAQ,GAAG,CAAC,CAAoB,EAAE,EAAU,EAAuB,EAAE,CACzE,CAAC,CAAC,OAAO,CAAC,kCAAkC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAwB,CAAA;IAE9E,MAAM,mBAAmB,GAAG,CAAC,CAAoB,EAAQ,EAAE;QACzD,qEAAqE;QACrE,qDAAqD;QACrD,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACf,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACzB,CAAC,CAAC,IAAI,CAAC,qEAAqE,WAAW,EAAE,CAAC,CAAA;QAC1F,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IAClB,CAAC,CAAA;IAED,MAAM,aAAa,GAAG,CAAC,CAAoB,EAAE,GAAa,EAAQ,EAAE;QAClE,0EAA0E;QAC1E,4EAA4E;QAC5E,yEAAyE;QACzE,kBAAkB;QAClB,MAAM,UAAU,GAAG,CAAC,CAAC,OAAO,CAC1B,kDAAkD,WAAW,EAAE,CAChE,CAAA;QACD,MAAM,SAAS,GAAG,CAAC,CAAC,OAAO,CAAC,sCAAsC,CAAC,CAAA;QACnE,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,iCAAiC,CAAC,CAAA;QAC3D,MAAM,MAAM,GAAG,CAAC,CAAC,OAAO,CAAC,6CAA6C,CAAC,CAAA;QACvE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACf,IAAI,CAAC;YACH,KAAK,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC;gBACrB,MAAM,KAAK,GAAG,SAAS,CAAC,GAAG,CAAC,EAAE,CAAkC,CAAA;gBAChE,IAAI,CAAC,KAAK;oBAAE,SAAQ;gBACpB,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;gBACvB,MAAM,IAAI,GAAG,UAAU,CAAC,GAAG,CAAC,EAAE,CAAgD,CAAA;gBAC9E,IAAI,IAAI;oBAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,CAAC,CAAA;YAC7C,CAAC;YACD,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QAClB,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC;gBAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;YAAC,CAAC;YAAC,MAAM,CAAC,CAAC,iCAAiC,CAAC,CAAC;YACtE,MAAM,GAAG,CAAA;QACX,CAAC;IACH,CAAC,CAAA;IAED,OAAO;QACL,sDAAsD;QACtD,KAAK,CAAC,MAAM,CAAC,KAAa,EAAE,IAAyB;YACnD,MAAM,CAAC,GAAG,WAAW,EAAE,CAAA;YACvB,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAA;YAClC,IAAI,CAAC,KAAK,CAAC,EAAE;gBAAE,MAAM,IAAI,qBAAqB,CAAC,KAAK,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAA;YAClF,0EAA0E;YAC1E,mEAAmE;YACnE,sEAAsE;YACtE,uEAAuE;YACvE,MAAM,KAAK,GAAG,KAAK;iBAChB,KAAK,CAAC,KAAK,CAAC;iBACZ,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;iBACzC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC;iBACzB,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;iBAClB,IAAI,CAAC,MAAM,CAAC,CAAA;YACf,IAAI,CAAC,KAAK;gBAAE,OAAO,EAAE,CAAA;YACrB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CACpB;;;;gCAIwB,CACzB,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,EAAE,CAAyE,CAAA;YACvG,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAA;QACzF,CAAC;QAED,yEAAyE;QACzE,wCAAwC;QACxC,KAAK,CAAC,IAAI,CAAC,KAAa,EAAE,IAAkB;YAC1C,MAAM,CAAC,GAAG,WAAW,EAAE,CAAA;YACvB,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAA;YAClC,IAAI,CAAC,KAAK,CAAC,EAAE;gBAAE,MAAM,IAAI,qBAAqB,CAAC,KAAK,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAA;YAClF,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,KAAK,CAAC,CAAA;YAC9B,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;gBACpC,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,sCAAsC,CAAC,CAAA;YAClF,CAAC;YACD,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,sDAAsD,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;YAC/F,IAAI,GAAG;gBAAE,MAAM,IAAI,iBAAiB,CAAC,QAAQ,KAAK,wBAAwB,CAAC,CAAA;YAC3E,IAAI,IAAI,KAAK,YAAY;gBAAE,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAA;YACxD,IAAI,IAAI,KAAK,UAAU;gBAAE,OAAO,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAA;YACvD,OAAO,GAAG,CAAC,IAAI,CAAA;QACjB,CAAC;QAED,oFAAoF;QACpF,KAAK,CAAC,QAAQ;YACZ,MAAM,CAAC,GAAG,WAAW,EAAE,CAAA;YACvB,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAA;YAClC,IAAI,CAAC,KAAK,CAAC,EAAE;gBAAE,MAAM,IAAI,qBAAqB,CAAC,KAAK,CAAC,MAAM,IAAI,kBAAkB,CAAC,CAAA;YAClF,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CACpB;;4BAEoB,WAAW;+BACR,CACxB,CAAC,GAAG,EAAmB,CAAA;YACxB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAc,EAAE,CAAC,CAAC;gBAClC,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,IAAI,EAAE,CAAC,CAAC,IAAI;gBACZ,OAAO,EAAE,CAAC,CAAC,QAAQ;gBACnB,OAAO,EAAE,CAAC,CAAC,QAAQ;gBACnB,SAAS,EAAE,CAAC,CAAC,UAAU;gBACvB,gBAAgB,EAAE,CAAC,CAAC,kBAAkB,KAAK,CAAC;gBAC5C,eAAe,EAAE,CAAC,CAAC,gBAAgB;gBACnC,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,UAAU,EAAE,CAAC,CAAC,UAAU;gBACxB,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC7D,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChE,GAAG,CAAC,CAAC,CAAC,WAAW,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC7D,CAAC,CAAC,CAAA;QACL,CAAC;QAED,2EAA2E;QAC3E,KAAK,CAAC,kBAAkB;YACtB,IAAI,MAAM;gBAAE,OAAO,MAAM,CAAA;YACzB,MAAM,KAAK,GAAa,EAAE,CAAA;YAC1B,KAAK,MAAM,IAAI,IAAI,CAAC,iBAAiB,EAAE,SAAS,EAAE,SAAS,EAAE,WAAW,CAAC,EAAE,CAAC;gBAC1E,MAAM,CAAC,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;gBACrC,IAAI,UAAU,CAAC,CAAC,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;YAChD,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClC,MAAM,GAAG,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAA;YACzC,OAAO,MAAM,CAAA;QACf,CAAC;QAED,oEAAoE;QACpE,wEAAwE;QACxE,KAAK,CAAC,MAAM,CAAC,EAAY,EAAE,IAAgC;YACzD,MAAM,CAAC,GAAG,IAAI,EAAE,CAAA;YAChB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACf,IAAI,CAAC;gBACH,IAAI,MAAoB,CAAA;gBAExB,IAAI,EAAE,CAAC,EAAE,KAAK,MAAM,EAAE,CAAC;oBACrB,MAAM,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAA;gBACvD,CAAC;qBAAM,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;oBAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAA;oBACvC,IAAI,MAAM,EAAE,CAAC;wBACX,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,CAAA;wBACxC,IAAI,EAAE,CAAC,cAAc,EAAE,CAAC;4BACtB,eAAe,CAAC,CAAC,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;wBACpF,CAAC;wBACD,MAAM,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAA;oBACvD,CAAC;yBAAM,CAAC;wBACN,iEAAiE;wBACjE,uEAAuE;wBACvE,MAAM,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,CAAC,QAAQ,EAAE,CAAA;oBACvD,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,6CAA6C;oBAC7C,MAAM,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,IAAI,CAAC,CAAA;oBACjC,MAAM,OAAO,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;oBACjC,MAAM,KAAK,GAAG,UAAU,CAAC,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;oBAC5C,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;wBACtB,MAAM,GAAG;4BACP,MAAM,EAAE,SAAS;4BACjB,OAAO,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,EAAE,OAAO,EAAE;yBACxE,CAAA;oBACH,CAAC;yBAAM,IAAI,KAAK,KAAK,QAAQ,EAAE,CAAC;wBAC9B,gEAAgE;wBAChE,MAAM,GAAG,EAAE,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,qBAAqB,EAAE,EAAE,CAAA;oBACzG,CAAC;yBAAM,IAAI,EAAE,CAAC,EAAE,KAAK,QAAQ,EAAE,CAAC;wBAC9B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAA;wBACvC,IAAI,MAAM,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI;4BAAE,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,CAAA;wBACtE,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAA;wBACpE,MAAM,GAAG,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;oBAC/C,CAAC;yBAAM,CAAC;wBACN,oEAAoE;wBACpE,mEAAmE;wBACnE,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CAAC,+DAA+D,CAAC,CAAC,GAAG,CACzF,OAAO,CACK,CAAA;wBACd,KAAK,MAAM,GAAG,IAAI,IAAI;4BAAE,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,KAAK,CAAC,CAAA;wBACjD,MAAM,EAAE,GAAG,UAAU,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,CAAA;wBAClD,MAAM,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;oBAC9C,CAAC;gBACH,CAAC;gBAED,oEAAoE;gBACpE,sEAAsE;gBACtE,iEAAiE;gBACjE,+DAA+D;gBAC/D,MAAM,IAAI,CAAC,SAAS,CAAC,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,CAAC,CAAA;gBAC1F,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBAChB,OAAO,MAAM,CAAA;YACf,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,CAAC;oBAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,iCAAiC,CAAC,CAAC;gBACtE,MAAM,GAAG,CAAA;YACX,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,KAAK,CAAC,MAAM,CAAC,MAAc,EAAE,MAAc,EAAE,cAAuB;YAClE,MAAM,CAAC,GAAG,IAAI,EAAE,CAAA;YAChB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACf,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;gBAC/B,IAAI,GAAG,EAAE,CAAC;oBACR,UAAU,CAAC,CAAC,EAAE,GAAG,EAAE,cAAc,CAAC,CAAA;oBAClC,IAAI,cAAc;wBAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,GAAG,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,CAAA;gBAC/F,CAAC;gBACD,iEAAiE;gBACjE,yDAAyD;gBACzD,MAAM,IAAI,CAAC,SAAS,CAAC,kBAAkB,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,cAAc,EAAE,CAAC,CAAA;gBAClF,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YAClB,CAAC;YAAC,OAAO,GAAG,EAAE,CAAC;gBACb,IAAI,CAAC;oBAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBAAC,CAAC;gBAAC,MAAM,CAAC,CAAC,iCAAiC,CAAC,CAAC;gBACtE,MAAM,GAAG,CAAA;YACX,CAAC;QACH,CAAC;QAED,wEAAwE;QACxE,yEAAyE;QACzE,0DAA0D;QAC1D,KAAK,CAAC,OAAO,CAAC,KAAgC;YAC5C,MAAM,CAAC,GAAG,IAAI,EAAE,CAAA;YAChB,IAAI,KAAK,KAAK,KAAK;gBAAE,mBAAmB,CAAC,CAAC,CAAC,CAAA;;gBACtC,aAAa,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAA;QAClC,CAAC;QAED,KAAK,CAAC,gBAAgB;YACpB,+DAA+D;YAC/D,+DAA+D;YAC/D,mBAAmB,CAAC,IAAI,EAAE,CAAC,CAAA;QAC7B,CAAC;QAED,wEAAwE;QACxE,0EAA0E;QAC1E,KAAK,CAAC,oBAAoB;YACxB,MAAM,CAAC,GAAG,IAAI,EAAE,CAAA;YAChB,MAAM,IAAI,GAAG,CAAC,CAAC,OAAO,CACpB,oDAAoD,WAAW;2CAC5B,CACpC,CAAC,GAAG,EAAiE,CAAA;YACtE,MAAM,KAAK,GAAG,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAA;YACpC,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAA;YACnG,CAAC;YACD,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,IAAI,CAAA;YAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAA;QAC7C,CAAC;QAED,yEAAyE;QACzE,KAAK,CAAC,cAAc;YAClB,IAAI,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACpC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,kBAAkB,EAAE,CAAA;YAClD,CAAC;YACD,MAAM,CAAC,GAAG,IAAI,EAAE,CAAA;YAChB,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,iBAAiB,CAAuC,CAAA;YAChF,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,eAAe,KAAK,IAAI,EAAE,CAAC;gBACxC,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,2BAA2B,MAAM,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,EAAE,CAAA;YACvF,CAAC;YACD,MAAM,KAAK,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAA;YAClC,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC;gBACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,0BAA0B,KAAK,CAAC,MAAM,EAAE,EAAE,CAAA;YACxE,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;QACrB,CAAC;KACF,CAAA;AACH,CAAC"}

package/dist/memory/types.d.ts

@@ -0,0 +1,131 @@
+/** Hash of normalized (entity, relation, object) equivalence class. */
+export type FactKey = string;
+/** The unit of forgetting and contradiction resolution (§4 fact row). */
+export interface MemoryFact {
+    id: string;
+    text: string;
+    factKey: FactKey;
+    validAt: string;
+    invalidAt: string | null;
+    isHumanConfirmed: boolean;
+    sourceAuthority: number | null;
+    confidence: number | null;
+    provenance: string;
+    supersedes?: string;
+    contradicts?: string;
+    extends?: string;
+}
+export type MemoryOp = {
+    op: 'ADD';
+    text: string;
+} | {
+    op: 'UPDATE';
+    targetId: string;
+    text: string;
+} | {
+    op: 'DELETE';
+    targetId: string;
+    humanConfirmed: boolean;
+    reason: string;
+} | {
+    op: 'NOOP';
+    targetId: string;
+};
+export type GuardVerdict = {
+    decision: 'PASS';
+} | {
+    decision: 'BLOCK';
+    matched: 'tombstone' | 'forget_list' | 'human_confirmed_delete';
+    factId: string;
+} | {
+    decision: 'REVIEW';
+    reason: 'residual_paraphrase';
+};
+export interface CommitResult {
+    status: 'COMMITTED' | 'BLOCKED' | 'ROUTED_TO_REVIEW' | 'SUPERSEDED' | 'NOT_FOUND';
+    factId?: string;
+    verdict?: GuardVerdict;
+}
+export interface RankedHit {
+    id: string;
+    factKey: FactKey;
+    text: string;
+    score: number;
+    annotation?: string;
+}
+/** The three-step lazy-load depth (annotation → overview → full). */
+export type LazyLoadStep = 'annotation' | 'overview' | 'full';
+/** One row of the append-only, hash-chained do_not_remember table (§4). */
+export interface ForgetListEntry {
+    factKey: FactKey;
+    reason: string;
+    isHumanConfirmed: boolean;
+    ts: string;
+    prevHash: string;
+    rowHash: string;
+}
+export interface FrozenSnapshot {
+    bytes: Buffer;
+    sha256: string;
+}
+export interface IntegrityResult {
+    ok: boolean;
+    detail?: string;
+}
+/** Fail-loud error: corrupt FTS5/SQLite index detected. */
+export declare class CorruptIndexError extends Error {
+    constructor(detail: string);
+}
+/** Fail-loud error: hash-chain break on the do_not_remember forget-list. */
+export declare class ForgetListTamperError extends Error {
+    constructor(detail: string);
+}
+/** A fact-mutating write arrived without passing the indexer choke point. */
+export declare class BypassError extends Error {
+    constructor(detail: string);
+}
+/** Resurrection-guard blocked a write (convenience alias over CommitResult). */
+export declare class GuardBlocked extends Error {
+    readonly verdict: GuardVerdict & {
+        decision: 'BLOCK';
+    };
+    constructor(verdict: GuardVerdict & {
+        decision: 'BLOCK';
+    });
+}
+export interface Memory {
+    search(query: string, opts?: {
+        limit?: number;
+    }): Promise<RankedHit[]>;
+    load(hitId: string, step: LazyLoadStep): Promise<string>;
+    /** Enumerate live facts (invalid_at IS NULL, not forgotten) through the read-path
+     *  forget filter. Used by nightly consolidation (Tier-4). */
+    listLive(): Promise<MemoryFact[]>;
+    readFrozenSnapshot(): Promise<FrozenSnapshot>;
+    commit(op: MemoryOp, ctx: {
+        withinSession: boolean;
+    }): Promise<CommitResult>;
+    forget(factId: string, reason: string, humanConfirmed: boolean): Promise<void>;
+    reindex(scope: 'all' | {
+        ids: string[];
+    }): Promise<void>;
+    rebuildFromFiles(): Promise<void>;
+    serializeMemoryIndex(): Promise<{
+        content: string;
+        sha256: string;
+    }>;
+    integrityCheck(): Promise<IntegrityResult>;
+}
+export interface MemoryStoreDeps {
+    /** Filesystem root that contains constitution.md, MEMORY.md, working/, daily/, etc. */
+    memoryRoot: string;
+    /** Path to the SQLite db file (FTS5 index). */
+    dbPath: string;
+    /** Emit an event to the Observability journal. Fail-closed: commit rolls back if this throws. */
+    emitEvent(event: string, payload: unknown): Promise<void>;
+    /** Returns current time as ISO-8601 string (injectable for deterministic tests). */
+    nowIso(): string;
+}
+/** The public store type — same contract as Memory with its deps baked in. */
+export type MemoryStore = Memory;
+//# sourceMappingURL=types.d.ts.map

package/dist/memory/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/memory/types.ts"],"names":[],"mappings":"AAOA,uEAAuE;AACvE,MAAM,MAAM,OAAO,GAAG,MAAM,CAAA;AAE5B,yEAAyE;AACzE,MAAM,WAAW,UAAU;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,IAAI,EAAE,MAAM,CAAA;IACZ,OAAO,EAAE,OAAO,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;IACf,SAAS,EAAE,MAAM,GAAG,IAAI,CAAA;IACxB,gBAAgB,EAAE,OAAO,CAAA;IACzB,eAAe,EAAE,MAAM,GAAG,IAAI,CAAA;IAC9B,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;IACzB,UAAU,EAAE,MAAM,CAAA;IAGlB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,WAAW,CAAC,EAAE,MAAM,CAAA;IACpB,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAMD,MAAM,MAAM,QAAQ,GAChB;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC3B;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChD;IAAE,EAAE,EAAE,QAAQ,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,cAAc,EAAE,OAAO,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,EAAE,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAA;AAEpC,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,GACpB;IAAE,QAAQ,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,WAAW,GAAG,aAAa,GAAG,wBAAwB,CAAC;IAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GACtG;IAAE,QAAQ,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,qBAAqB,CAAA;CAAE,CAAA;AAEzD,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,WAAW,GAAG,SAAS,GAAG,kBAAkB,GAAG,YAAY,GAAG,WAAW,CAAA;IACjF,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,OAAO,CAAC,EAAE,YAAY,CAAA;CACvB;AAMD,MAAM,WAAW,SAAS;IACxB,EAAE,EAAE,MAAM,CAAA;IACV,OAAO,EAAE,OAAO,CAAA;IAChB,IAAI,EAAE,MAAM,CAAA;IACZ,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAED,qEAAqE;AACrE,MAAM,MAAM,YAAY,GAAG,YAAY,GAAG,UAAU,GAAG,MAAM,CAAA;AAM7D,2EAA2E;AAC3E,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,OAAO,CAAA;IAChB,MAAM,EAAE,MAAM,CAAA;IACd,gBAAgB,EAAE,OAAO,CAAA;IACzB,EAAE,EAAE,MAAM,CAAA;IACV,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,EAAE,MAAM,CAAA;CAChB;AAMD,MAAM,WAAW,cAAc;IAC7B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;CACf;AAMD,MAAM,WAAW,eAAe;IAC9B,EAAE,EAAE,OAAO,CAAA;IACX,MAAM,CAAC,EAAE,MAAM,CAAA;CAChB;AAED,2DAA2D;AAC3D,qBAAa,iBAAkB,SAAQ,KAAK;gBAC9B,MAAM,EAAE,MAAM;CAI3B;AAED,4EAA4E;AAC5E,qBAAa,qBAAsB,SAAQ,KAAK;gBAClC,MAAM,EAAE,MAAM;CAI3B;AAED,6EAA6E;AAC7E,qBAAa,WAAY,SAAQ,KAAK;gBACxB,MAAM,EAAE,MAAM;CAI3B;AAED,gFAAgF;AAChF,qBAAa,YAAa,SAAQ,KAAK;aACT,OAAO,EAAE,YAAY,GAAG;QAAE,QAAQ,EAAE,OAAO,CAAA;KAAE;gBAA7C,OAAO,EAAE,YAAY,GAAG;QAAE,QAAQ,EAAE,OAAO,CAAA;KAAE;CAI1E;AAMD,MAAM,WAAW,MAAM;IAErB,MAAM,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE;QAAE,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC,CAAA;IACtE,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,MAAM,CAAC,CAAA;IAExD;iEAC6D;IAC7D,QAAQ,IAAI,OAAO,CAAC,UAAU,EAAE,CAAC,CAAA;IAGjC,kBAAkB,IAAI,OAAO,CAAC,cAAc,CAAC,CAAA;IAK7C,MAAM,CAAC,EAAE,EAAE,QAAQ,EAAE,GAAG,EAAE;QAAE,aAAa,EAAE,OAAO,CAAA;KAAE,GAAG,OAAO,CAAC,YAAY,CAAC,CAAA;IAG5E,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,cAAc,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IAG9E,OAAO,CAAC,KAAK,EAAE,KAAK,GAAG;QAAE,GAAG,EAAE,MAAM,EAAE,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACxD,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAA;IAGjC,oBAAoB,IAAI,OAAO,CAAC;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAGpE,cAAc,IAAI,OAAO,CAAC,eAAe,CAAC,CAAA;CAC3C;AAMD,MAAM,WAAW,eAAe;IAC9B,uFAAuF;IACvF,UAAU,EAAE,MAAM,CAAA;IAClB,+CAA+C;IAC/C,MAAM,EAAE,MAAM,CAAA;IACd,iGAAiG;IACjG,SAAS,CAAC,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAA;IACzD,oFAAoF;IACpF,MAAM,IAAI,MAAM,CAAA;CACjB;AAED,8EAA8E;AAC9E,MAAM,MAAM,WAAW,GAAG,MAAM,CAAA"}

package/dist/memory/types.js

@@ -0,0 +1,33 @@
+// Memory component types — extracted from spec §3 and §4.
+// Pure interfaces and types; no implementation here.
+/** Fail-loud error: corrupt FTS5/SQLite index detected. */
+export class CorruptIndexError extends Error {
+    constructor(detail) {
+        super(`CorruptIndexError: ${detail}`);
+        this.name = 'CorruptIndexError';
+    }
+}
+/** Fail-loud error: hash-chain break on the do_not_remember forget-list. */
+export class ForgetListTamperError extends Error {
+    constructor(detail) {
+        super(`ForgetListTamperError: ${detail}`);
+        this.name = 'ForgetListTamperError';
+    }
+}
+/** A fact-mutating write arrived without passing the indexer choke point. */
+export class BypassError extends Error {
+    constructor(detail) {
+        super(`BypassError: ${detail}`);
+        this.name = 'BypassError';
+    }
+}
+/** Resurrection-guard blocked a write (convenience alias over CommitResult). */
+export class GuardBlocked extends Error {
+    verdict;
+    constructor(verdict) {
+        super(`GuardBlocked: fact_key matched ${verdict.matched}`);
+        this.verdict = verdict;
+        this.name = 'GuardBlocked';
+    }
+}
+//# sourceMappingURL=types.js.map

package/dist/memory/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/memory/types.ts"],"names":[],"mappings":"AAAA,0DAA0D;AAC1D,qDAAqD;AA+FrD,2DAA2D;AAC3D,MAAM,OAAO,iBAAkB,SAAQ,KAAK;IAC1C,YAAY,MAAc;QACxB,KAAK,CAAC,sBAAsB,MAAM,EAAE,CAAC,CAAA;QACrC,IAAI,CAAC,IAAI,GAAG,mBAAmB,CAAA;IACjC,CAAC;CACF;AAED,4EAA4E;AAC5E,MAAM,OAAO,qBAAsB,SAAQ,KAAK;IAC9C,YAAY,MAAc;QACxB,KAAK,CAAC,0BAA0B,MAAM,EAAE,CAAC,CAAA;QACzC,IAAI,CAAC,IAAI,GAAG,uBAAuB,CAAA;IACrC,CAAC;CACF;AAED,6EAA6E;AAC7E,MAAM,OAAO,WAAY,SAAQ,KAAK;IACpC,YAAY,MAAc;QACxB,KAAK,CAAC,gBAAgB,MAAM,EAAE,CAAC,CAAA;QAC/B,IAAI,CAAC,IAAI,GAAG,aAAa,CAAA;IAC3B,CAAC;CACF;AAED,gFAAgF;AAChF,MAAM,OAAO,YAAa,SAAQ,KAAK;IACT;IAA5B,YAA4B,OAA6C;QACvE,KAAK,CAAC,kCAAkC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAA;QADhC,YAAO,GAAP,OAAO,CAAsC;QAEvE,IAAI,CAAC,IAAI,GAAG,cAAc,CAAA;IAC5B,CAAC;CACF"}

package/dist/nightly/index.d.ts

@@ -0,0 +1,4 @@
+export type { ConsolidationRunner, ConsolidationDeps, NightlyConfig, LintPassResult, MorningCard, NightResult, Stage, MemOp, FactKey, Fact, Diff, QuarantinedDiff, Generator, Judge, JudgeVerdict, Validators, ValidatorId, ValidatorResult, StagedPatch, StagingArea, SkillDraft, RunLock, LockToken, NormalizedDayLog, NormalizedDayLogRecord, LintFinding, LintOrphan, LintStaleAnnotation, LintBrokenEdge, MorningCardItem, ResurrectionBlocked, HygieneReport, BackupStatus, VerificationMiss, CommitJournalEntry, CommitJournalState, SessionRecord, ArchiveStore, GitBackup, Hygiene, TraceProbe, EnvContext, LintInputs, CommitJournal, } from './types.js';
+import type { ConsolidationRunner, ConsolidationDeps } from './types.js';
+export declare function makeConsolidationRunner(deps: ConsolidationDeps): ConsolidationRunner;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/nightly/index.ts"],"names":[],"mappings":"AAEA,YAAY,EACV,mBAAmB,EACnB,iBAAiB,EACjB,aAAa,EACb,cAAc,EACd,WAAW,EACX,WAAW,EACX,KAAK,EACL,KAAK,EACL,OAAO,EACP,IAAI,EACJ,IAAI,EACJ,eAAe,EACf,SAAS,EACT,KAAK,EACL,YAAY,EACZ,UAAU,EACV,WAAW,EACX,eAAe,EACf,WAAW,EACX,WAAW,EACX,UAAU,EACV,OAAO,EACP,SAAS,EACT,gBAAgB,EAChB,sBAAsB,EACtB,WAAW,EACX,UAAU,EACV,mBAAmB,EACnB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,aAAa,EACb,YAAY,EACZ,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,aAAa,EACb,YAAY,EACZ,SAAS,EACT,OAAO,EACP,UAAU,EACV,UAAU,EACV,UAAU,EACV,aAAa,GACd,MAAM,YAAY,CAAA;AAEnB,OAAO,KAAK,EACV,mBAAmB,EACnB,iBAAiB,EAqBlB,MAAM,YAAY,CAAA;AAkDnB,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,iBAAiB,GAAG,mBAAmB,CA4bpF"}