@fgv/ts-agent-memory 5.1.0-46 → 5.1.0-48

package/dist/test/unit/store/temporalStore.test.js

@@ -1,398 +0,0 @@
-/*
- * Copyright (c) 2026 Erik Fortune
- * SPDX-License-Identifier: MIT
- */
-import '@fgv/ts-utils-jest';
-import { Converters, fail, succeed } from '@fgv/ts-utils';
-import { FileTree } from '@fgv/ts-json-base';
-import { BodyConverterRegistry, FileTreeMemoryStore, KnowledgeIdentityCodec, TemporalIdentityCodec, TemporalVersionedPolicy, serializeMemoryFile } from '../../../index';
-const factKind = 'fact';
-const knowledgeKind = 'knowledge';
-const factScope = 'facts/entities/fact-1';
-function mutableRoot(files = []) {
-    const tree = FileTree.inMemory([...files], { mutable: true }).orThrow();
-    const root = tree.getDirectory('/').orThrow();
-    if (!FileTree.isMutableDirectoryItem(root)) {
-        throw new Error('expected a mutable root directory');
-    }
-    return root;
-}
-/**
- * A raw seeded `fact-1` version file. `invalidAt` absent → a CURRENT version;
- * seeding two current versions reproduces a stuck partial-invalidation state.
- */
-function seedFactVersion(seq, validAt, invalidAt) {
-    const temporal = invalidAt === undefined ? { valid_at: validAt } : { valid_at: validAt, invalid_at: invalidAt };
-    const envelope = {
-        id: `fact-1-v${seq}`,
-        entityId: 'fact-1',
-        kind: factKind,
-        tags: [],
-        links: [],
-        created: validAt,
-        updated: validAt,
-        seq,
-        contentHash: `seed-${seq}`,
-        provenance: { source: 'agent' },
-        temporal
-    };
-    return {
-        path: `facts/entities/fact-1/fact-1-v${seq}.md`,
-        contents: serializeMemoryFile(envelope, `seed body v${seq}`).orThrow()
-    };
-}
-function registry() {
-    const reg = BodyConverterRegistry.create().orThrow();
-    reg.register(factKind, Converters.string);
-    reg.register(knowledgeKind, Converters.string);
-    return reg;
-}
-const codecs = new Map([
-    [factKind, TemporalIdentityCodec.create('facts').orThrow()],
-    [knowledgeKind, new KnowledgeIdentityCodec()]
-]);
-const temporalPolicies = new Map([
-    [factKind, TemporalVersionedPolicy.create().orThrow()]
-]);
-/** A record the consumer hands to `put`. The store mints the version `id`. */
-function factRecord(entityId, body) {
-    return {
-        envelope: {
-            id: entityId,
-            entityId: entityId,
-            kind: factKind,
-            tags: [],
-            links: [],
-            created: 0,
-            updated: 0,
-            seq: 0,
-            contentHash: '',
-            provenance: { source: 'agent' }
-        },
-        body
-    };
-}
-/** Like {@link factRecord} but supplying an explicit world-truth `valid_at`. */
-function factRecordAt(entityId, body, validAt) {
-    const base = factRecord(entityId, body);
-    return { envelope: Object.assign(Object.assign({}, base.envelope), { temporal: { valid_at: validAt } }), body: base.body };
-}
-/** Like {@link factRecord} but supplying revised `tags` (metadata surface). */
-function factRecordWithTags(entityId, body, tags) {
-    const base = factRecord(entityId, body);
-    return {
-        envelope: Object.assign(Object.assign({}, base.envelope), { tags: tags }),
-        body: base.body
-    };
-}
-function knowledgeRecord(id, body) {
-    return {
-        envelope: {
-            id: id,
-            entityId: id,
-            kind: knowledgeKind,
-            tags: [],
-            links: [],
-            created: 0,
-            updated: 0,
-            seq: 0,
-            contentHash: '',
-            provenance: { source: 'agent' }
-        },
-        body
-    };
-}
-describe('FileTreeMemoryStore — temporal (versioned) path', () => {
-    let clockValue;
-    const clock = () => clockValue;
-    function createStore(root = mutableRoot(), policies = temporalPolicies) {
-        return FileTreeMemoryStore.create({
-            root,
-            registry: registry(),
-            codecs,
-            writePolicies: policies,
-            clock
-        }).orThrow();
-    }
-    beforeEach(() => {
-        clockValue = 1000;
-    });
-    describe('put / get', () => {
-        test('first put writes v1 under the entity subtree with a minted version id', async () => {
-            const store = createStore();
-            expect(await store.put(factRecord('fact-1', 'the sky is blue'))).toSucceedAndSatisfy((put) => {
-                expect(put.envelope.id).toBe('fact-1-v1');
-                expect(put.envelope.entityId).toBe('fact-1');
-                expect(put.envelope.temporal).toEqual({ valid_at: 1000 });
-            });
-            // Keyed get resolves the current version.
-            expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((got) => {
-                expect(got === null || got === void 0 ? void 0 : got.envelope.id).toBe('fact-1-v1');
-                expect(got === null || got === void 0 ? void 0 : got.body).toBe('the sky is blue');
-            });
-            // The version file lives at facts/entities/fact-1/fact-1-v1.md.
-            expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((got) => {
-                expect(got === null || got === void 0 ? void 0 : got.body).toBe('the sky is blue');
-            });
-        });
-        test('get returns undefined for an entity with no versions', async () => {
-            const store = createStore();
-            expect(await store.get(factKind, 'nope')).toSucceedWith(undefined);
-        });
-    });
-    describe("merge-patch-under-versioning (invalidate-don't-delete)", () => {
-        test('a re-put yields a NEW version and invalidates the prior (both persist)', async () => {
-            const store = createStore();
-            expect(await store.put(factRecord('fact-1', 'the sky is blue'))).toSucceed();
-            clockValue = 2000;
-            expect(await store.put(factRecord('fact-1', 'the sky is grey'))).toSucceedAndSatisfy((put) => {
-                expect(put.envelope.id).toBe('fact-1-v2');
-                expect(put.envelope.temporal).toEqual({ valid_at: 2000 });
-                expect(put.body).toBe('the sky is grey');
-            });
-            // Both versions persist.
-            expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
-                expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);
-            });
-            // The prior version now carries invalid_at.
-            expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((v1) => {
-                expect(v1 === null || v1 === void 0 ? void 0 : v1.envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 2000 });
-            });
-            // The new version is current.
-            expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
-                expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v2');
-            });
-        });
-        test('survives a round-trip through disk (fresh store re-indexes the subtree)', async () => {
-            const root = mutableRoot();
-            const store = createStore(root);
-            expect(await store.put(factRecord('fact-1', 'v1 body'))).toSucceed();
-            clockValue = 2000;
-            expect(await store.put(factRecord('fact-1', 'v2 body'))).toSucceed();
-            const reopened = createStore(root);
-            expect(await reopened.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
-                expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);
-            });
-            expect(await reopened.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
-                expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v2');
-            });
-        });
-        test('an identical re-put is a no-op (entity dedup, no redundant version)', async () => {
-            const store = createStore();
-            expect(await store.put(factRecord('fact-1', 'same'))).toSucceed();
-            clockValue = 2000;
-            expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((put) => {
-                expect(put.envelope.id).toBe('fact-1-v1'); // still v1
-            });
-            expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
-                expect(all).toHaveLength(1);
-            });
-        });
-        test('a metadata-only revision (same body, revised tags) mints a new version, not swallowed', async () => {
-            // TemporalVersionedPolicy declares tags/provenance mutable and
-            // _buildVersionedRecord merges them via applyUpdate; the content-hash dedup
-            // must NOT short-circuit a metadata-only revision, or that merge branch is
-            // unreachable and the revision is dropped entirely.
-            const store = createStore();
-            expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((v1) => {
-                expect(v1.envelope.id).toBe('fact-1-v1');
-                expect(v1.envelope.tags).toEqual([]);
-            });
-            clockValue = 2000;
-            expect(await store.put(factRecordWithTags('fact-1', 'same', ['reviewed']))).toSucceedAndSatisfy((v2) => {
-                expect(v2.envelope.id).toBe('fact-1-v2'); // a NEW version was minted
-                expect(v2.envelope.tags).toEqual(['reviewed']); // metadata merged in
-            });
-            // History retained (prior version invalidated), current resolves to v2.
-            expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
-                expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);
-            });
-            expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
-                expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v2');
-                expect(cur === null || cur === void 0 ? void 0 : cur.envelope.tags).toEqual(['reviewed']);
-            });
-        });
-    });
-    describe('list({ asOf }) and get resolution', () => {
-        test('asOf selects the version valid at the instant; get returns current', async () => {
-            const store = createStore();
-            expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed(); // valid_at 1000
-            clockValue = 2000;
-            expect(await store.put(factRecord('fact-1', 'grey'))).toSucceed(); // v1 invalid_at 2000, v2 valid_at 2000
-            // At t=1500 only v1 was valid.
-            expect(await store.list({ kind: factKind, asOf: 1500 })).toSucceedAndSatisfy((at1500) => {
-                expect(at1500.map((r) => r.envelope.id)).toEqual(['fact-1-v1']);
-            });
-            // At t=2500 v2 is valid.
-            expect(await store.list({ kind: factKind, asOf: 2500 })).toSucceedAndSatisfy((at2500) => {
-                expect(at2500.map((r) => r.envelope.id)).toEqual(['fact-1-v2']);
-            });
-            // Before either version existed.
-            expect(await store.list({ kind: factKind, asOf: 500 })).toSucceedWith([]);
-            // get (no asOf) returns the current version.
-            expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
-                expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v2');
-            });
-        });
-        test('asOf passes non-temporal records through unchanged (timeless)', async () => {
-            const store = createStore();
-            expect(await store.put(knowledgeRecord('doc-a', 'flat body'))).toSucceed();
-            expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed();
-            // asOf at an instant before the flat doc's created still includes it (timeless).
-            expect(await store.list({ asOf: 500 })).toSucceedAndSatisfy((snap) => {
-                expect(snap.map((r) => r.envelope.id).sort()).toEqual(['doc-a']);
-            });
-        });
-    });
-    describe("delete (soft / invalidate-don't-delete)", () => {
-        test('invalidates the current version, retains history, returns the invalidated id', async () => {
-            const store = createStore();
-            expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed();
-            clockValue = 3000;
-            expect(await store.delete(factKind, 'fact-1')).toSucceedWith('fact-1-v1');
-            // No current version after the soft delete.
-            expect(await store.get(factKind, 'fact-1')).toSucceedWith(undefined);
-            // But history is retained (the file still exists, now invalidated).
-            expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {
-                expect(all).toHaveLength(1);
-                expect(all[0].envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 3000 });
-            });
-            // A second delete finds no current version.
-            expect(await store.delete(factKind, 'fact-1')).toFailWith(/no record found/i);
-        });
-    });
-    describe('world-truth valid-time boundary (P2-1)', () => {
-        test('a future-dated supersede closes the prior interval at the NEW valid_at (no gap)', async () => {
-            const store = createStore();
-            expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed(); // v1 valid_at 1000
-            clockValue = 2000;
-            // The new version's world-truth validity starts in the future (5000), while
-            // the transaction happens now (2000).
-            expect(await store.put(factRecordAt('fact-1', 'grey', 5000))).toSucceedAndSatisfy((put) => {
-                expect(put.envelope.temporal).toEqual({ valid_at: 5000 });
-            });
-            // The prior version's interval closes at the NEW valid_at (5000), NOT `now` (2000).
-            expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((v1) => {
-                expect(v1 === null || v1 === void 0 ? void 0 : v1.envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 5000 });
-            });
-            // As-of between the two valid_ats still resolves to v1 — no gap on the axis.
-            expect(await store.list({ kind: factKind, asOf: 3000 })).toSucceedAndSatisfy((at3000) => {
-                expect(at3000.map((r) => r.envelope.id)).toEqual(['fact-1-v1']);
-            });
-        });
-    });
-    describe('self-healing invalidation (P2-7)', () => {
-        test('a put invalidates EVERY stuck-current prior version', async () => {
-            // Seed a corrupt state: two current versions (a prior invalidation only
-            // partially completed).
-            const root = mutableRoot([seedFactVersion(1, 100), seedFactVersion(2, 200)]);
-            const store = createStore(root);
-            clockValue = 3000;
-            expect(await store.put(factRecord('fact-1', 'v3 body'))).toSucceedAndSatisfy((put) => {
-                expect(put.envelope.id).toBe('fact-1-v3');
-            });
-            // BOTH stuck versions are now invalidated at the new valid_at (3000).
-            expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((v1) => {
-                expect(v1 === null || v1 === void 0 ? void 0 : v1.envelope.temporal).toEqual({ valid_at: 100, invalid_at: 3000 });
-            });
-            expect(await store.getById(factScope, 'fact-1-v2')).toSucceedAndSatisfy((v2) => {
-                expect(v2 === null || v2 === void 0 ? void 0 : v2.envelope.temporal).toEqual({ valid_at: 200, invalid_at: 3000 });
-            });
-            // Exactly one current version remains: the new one.
-            expect(await store.get(factKind, 'fact-1')).toSucceedAndSatisfy((cur) => {
-                expect(cur === null || cur === void 0 ? void 0 : cur.envelope.id).toBe('fact-1-v3');
-            });
-        });
-        test('a delete invalidates EVERY stuck-current prior version', async () => {
-            const root = mutableRoot([seedFactVersion(1, 100), seedFactVersion(2, 200)]);
-            const store = createStore(root);
-            clockValue = 4000;
-            expect(await store.delete(factKind, 'fact-1')).toSucceedWith('fact-1-v2');
-            expect(await store.getById(factScope, 'fact-1-v1')).toSucceedAndSatisfy((v1) => {
-                expect(v1 === null || v1 === void 0 ? void 0 : v1.envelope.temporal).toEqual({ valid_at: 100, invalid_at: 4000 });
-            });
-            expect(await store.getById(factScope, 'fact-1-v2')).toSucceedAndSatisfy((v2) => {
-                expect(v2 === null || v2 === void 0 ? void 0 : v2.envelope.temporal).toEqual({ valid_at: 200, invalid_at: 4000 });
-            });
-            expect(await store.get(factKind, 'fact-1')).toSucceedWith(undefined);
-        });
-    });
-    describe('policy admission on the versioned path', () => {
-        function storeWithPolicy(policy) {
-            return FileTreeMemoryStore.create({
-                root: mutableRoot(),
-                registry: registry(),
-                codecs: new Map([[factKind, TemporalIdentityCodec.create('facts').orThrow()]]),
-                writePolicies: new Map([[factKind, policy]]),
-                clock
-            }).orThrow();
-        }
-        test('a rejecting policy fails the put', async () => {
-            const store = storeWithPolicy({
-                mutableFields: ['body'],
-                dedupScope: 'entity',
-                admit: () => succeed({ decision: 'reject', reason: 'blocked' }),
-                applyUpdate: (existing) => succeed(existing)
-            });
-            expect(await store.put(factRecord('fact-1', 'blue'))).toFailWith(/rejected by policy: blocked/i);
-        });
-        test('a policy whose admit fails propagates the failure', async () => {
-            const store = storeWithPolicy({
-                mutableFields: ['body'],
-                dedupScope: 'entity',
-                admit: () => fail('admit exploded'),
-                applyUpdate: (existing) => succeed(existing)
-            });
-            expect(await store.put(factRecord('fact-1', 'blue'))).toFailWith(/admit exploded/i);
-        });
-        test('a policy omitting dedupScope falls back to the default (entity) dedup', async () => {
-            const store = storeWithPolicy({
-                mutableFields: ['body'],
-                // dedupScope intentionally omitted → the store applies DEFAULT_DEDUP_SCOPE.
-                admit: () => succeed({ decision: 'accept' }),
-                applyUpdate: (existing) => succeed(existing)
-            });
-            expect(await store.put(factRecord('fact-1', 'same'))).toSucceed();
-            clockValue = 2000;
-            // Identical re-put is a no-op under the default entity dedup — no v2.
-            expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((put) => {
-                expect(put.envelope.id).toBe('fact-1-v1');
-            });
-        });
-        test('a policy that returns a non-string merged body fails the update', async () => {
-            const store = storeWithPolicy({
-                mutableFields: ['body'],
-                dedupScope: 'entity',
-                admit: () => succeed({ decision: 'accept' }),
-                // Corrupt the merge output on the update branch.
-                applyUpdate: (existing) => succeed({ envelope: existing.envelope, body: 42 })
-            });
-            expect(await store.put(factRecord('fact-1', 'v1'))).toSucceed();
-            clockValue = 2000;
-            expect(await store.put(factRecord('fact-1', 'v2'))).toFailWith(/non-string body/i);
-        });
-    });
-    describe('flat-path regression (adoption guarantee)', () => {
-        test('a non-temporal kind is unaffected: flat put/get/delete, no entities/ subtree', async () => {
-            const store = createStore();
-            expect(await store.put(knowledgeRecord('doc-a', 'flat body'))).toSucceedAndSatisfy((put) => {
-                // Flat: id === entityId, no temporal block, no minted version id.
-                expect(put.envelope.id).toBe('doc-a');
-                expect(put.envelope.entityId).toBe('doc-a');
-                expect(put.envelope.temporal).toBeUndefined();
-            });
-            expect(await store.get(knowledgeKind, 'doc-a')).toSucceedAndSatisfy((got) => {
-                expect(got === null || got === void 0 ? void 0 : got.body).toBe('flat body');
-            });
-            // The flat record lives at the flat knowledge scope, not under any entities/ subtree.
-            expect(await store.getById('knowledge', 'doc-a')).toSucceedAndSatisfy((got) => {
-                expect(got === null || got === void 0 ? void 0 : got.envelope.id).toBe('doc-a');
-            });
-            // Flat delete physically removes the record.
-            expect(await store.delete(knowledgeKind, 'doc-a')).toSucceedWith('doc-a');
-            expect(await store.get(knowledgeKind, 'doc-a')).toSucceedWith(undefined);
-            expect(await store.list({ kind: knowledgeKind })).toSucceedWith([]);
-        });
-    });
-});
-//# sourceMappingURL=temporalStore.test.js.map

package/dist/test/unit/store/temporalStore.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"temporalStore.test.js","sourceRoot":"","sources":["../../../../src/test/unit/store/temporalStore.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,oBAAoB,CAAC;AAC5B,OAAO,EAAE,UAAU,EAAU,IAAI,EAAE,OAAO,EAAE,MAAM,eAAe,CAAC;AAClE,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,EAEL,qBAAqB,EAErB,mBAAmB,EAOnB,sBAAsB,EAGtB,qBAAqB,EACrB,uBAAuB,EACvB,mBAAmB,EACpB,MAAM,gBAAgB,CAAC;AAExB,MAAM,QAAQ,GAAS,MAAc,CAAC;AACtC,MAAM,aAAa,GAAS,WAAmB,CAAC;AAChD,MAAM,SAAS,GAAmB,uBAAyC,CAAC;AAE5E,SAAS,WAAW,CAClB,QAA2D,EAAE;IAE7D,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC,GAAG,KAAK,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IACxE,MAAM,IAAI,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,CAAC;IAC9C,IAAI,CAAC,QAAQ,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,SAAS,eAAe,CACtB,GAAW,EACX,OAAe,EACf,SAAkB;IAElB,MAAM,QAAQ,GACZ,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC;IACjG,MAAM,QAAQ,GAAoB;QAChC,EAAE,EAAE,WAAW,GAAG,EAAc;QAChC,QAAQ,EAAE,QAAoB;QAC9B,IAAI,EAAE,QAAQ;QACd,IAAI,EAAE,EAAE;QACR,KAAK,EAAE,EAAE;QACT,OAAO,EAAE,OAAO;QAChB,OAAO,EAAE,OAAO;QAChB,GAAG;QACH,WAAW,EAAE,QAAQ,GAAG,EAAE;QAC1B,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;QAC/B,QAAQ;KACT,CAAC;IACF,OAAO;QACL,IAAI,EAAE,iCAAiC,GAAG,KAAK;QAC/C,QAAQ,EAAE,mBAAmB,CAAC,QAAQ,EAAE,cAAc,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE;KACvE,CAAC;AACJ,CAAC;AAED,SAAS,QAAQ;IACf,MAAM,GAAG,GAAG,qBAAqB,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;IACrD,GAAG,CAAC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1C,GAAG,CAAC,QAAQ,CAAC,aAAa,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAC/C,OAAO,GAAG,CAAC;AACb,CAAC;AAED,MAAM,MAAM,GAAsC,IAAI,GAAG,CAAuB;IAC9E,CAAC,QAAQ,EAAE,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;IAC3D,CAAC,aAAa,EAAE,IAAI,sBAAsB,EAAE,CAAC;CAC9C,CAAC,CAAC;AAEH,MAAM,gBAAgB,GAAoC,IAAI,GAAG,CAAqB;IACpF,CAAC,QAAQ,EAAE,uBAAuB,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;CACvD,CAAC,CAAC;AAEH,8EAA8E;AAC9E,SAAS,UAAU,CAAC,QAAgB,EAAE,IAAY;IAChD,OAAO;QACL,QAAQ,EAAE;YACR,EAAE,EAAE,QAA+D;YACnE,QAAQ,EAAE,QAAoB;YAC9B,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;YACV,GAAG,EAAE,CAAC;YACN,WAAW,EAAE,EAAE;YACf,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;SAChC;QACD,IAAI;KACL,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAS,YAAY,CAAC,QAAgB,EAAE,IAAY,EAAE,OAAe;IACnE,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO,EAAE,QAAQ,kCAAO,IAAI,CAAC,QAAQ,KAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC;AAC9F,CAAC;AAED,+EAA+E;AAC/E,SAAS,kBAAkB,CACzB,QAAgB,EAChB,IAAY,EACZ,IAA2B;IAE3B,MAAM,IAAI,GAAG,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;IACxC,OAAO;QACL,QAAQ,kCAAO,IAAI,CAAC,QAAQ,KAAE,IAAI,EAAE,IAA0C,GAAE;QAChF,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,EAAU,EAAE,IAAY;IAC/C,OAAO;QACL,QAAQ,EAAE;YACR,EAAE,EAAE,EAAyD;YAC7D,QAAQ,EAAE,EAAc;YACxB,IAAI,EAAE,aAAa;YACnB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;YACV,GAAG,EAAE,CAAC;YACN,WAAW,EAAE,EAAE;YACf,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;SAChC;QACD,IAAI;KACL,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;IAC/D,IAAI,UAAkB,CAAC;IACvB,MAAM,KAAK,GAAG,GAAW,EAAE,CAAC,UAAU,CAAC;IAEvC,SAAS,WAAW,CAClB,OAA+C,WAAW,EAAE,EAC5D,WAA4C,gBAAgB;QAE5D,OAAO,mBAAmB,CAAC,MAAM,CAAC;YAChC,IAAI;YACJ,QAAQ,EAAE,QAAQ,EAAE;YACpB,MAAM;YACN,aAAa,EAAE,QAAQ;YACvB,KAAK;SACN,CAAC,CAAC,OAAO,EAAE,CAAC;IACf,CAAC;IAED,UAAU,CAAC,GAAG,EAAE;QACd,UAAU,GAAG,IAAI,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,WAAW,EAAE,GAAG,EAAE;QACzB,IAAI,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;YACvF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC3F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC7C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5D,CAAC,CAAC,CAAC;YACH,0CAA0C;YAC1C,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC3C,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;YACH,gEAAgE;YAChE,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAkB,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACjF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;QACtE,IAAI,CAAC,wEAAwE,EAAE,KAAK,IAAI,EAAE;YACxF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC7E,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,iBAAiB,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC3F,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC1C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;gBAC1D,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC3C,CAAC,CAAC,CAAC;YAEH,yBAAyB;YACzB,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YACnF,CAAC,CAAC,CAAC;YACH,4CAA4C;YAC5C,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9E,CAAC,CAAC,CAAC;YACH,8BAA8B;YAC9B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yEAAyE,EAAE,KAAK,IAAI,EAAE;YACzF,MAAM,IAAI,GAAG,WAAW,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YACrE,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAErE,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YACnC,MAAM,CAAC,MAAM,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAC1E,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YACnF,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACrF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;YACrF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAClE,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;YACxD,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvE,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;YAC9B,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uFAAuF,EAAE,KAAK,IAAI,EAAE;YACvG,+DAA+D;YAC/D,4EAA4E;YAC5E,2EAA2E;YAC3E,oDAAoD;YACpD,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBAC/E,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBACzC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YACvC,CAAC,CAAC,CAAC;YACH,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC,QAAQ,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAC7F,CAAC,EAAE,EAAE,EAAE;gBACL,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,2BAA2B;gBACrE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,qBAAqB;YACvE,CAAC,CACF,CAAC;YACF,wEAAwE;YACxE,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvE,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;YACnF,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAC3C,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;QACjD,IAAI,CAAC,oEAAoE,EAAE,KAAK,IAAI,EAAE;YACpF,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,gBAAgB;YACnF,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,uCAAuC;YAE1G,+BAA+B;YAC/B,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,EAAE;gBACtF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,CAAC,CAAC,CAAC;YACH,yBAAyB;YACzB,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,EAAE;gBACtF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,CAAC,CAAC,CAAC;YACH,iCAAiC;YACjC,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;YAC1E,6CAA6C;YAC7C,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+DAA+D,EAAE,KAAK,IAAI,EAAE;YAC/E,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAC3E,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAClE,iFAAiF;YACjF,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,IAAI,EAAE,EAAE;gBACnE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACnE,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,IAAI,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;YAC9F,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAClE,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,WAAoB,CAAC,CAAC;YAE/F,4CAA4C;YAC5C,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACjF,oEAAoE;YACpE,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACvE,MAAM,CAAC,GAAG,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;gBAC5B,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YACjF,CAAC,CAAC,CAAC;YACH,4CAA4C;YAC5C,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,IAAI,CAAC,iFAAiF,EAAE,KAAK,IAAI,EAAE;YACjG,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC,mBAAmB;YACtF,UAAU,GAAG,IAAI,CAAC;YAClB,4EAA4E;YAC5E,sCAAsC;YACtC,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACxF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC,CAAC;YAC5D,CAAC,CAAC,CAAC;YACH,oFAAoF;YACpF,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC9E,CAAC,CAAC,CAAC;YACH,6EAA6E;YAC7E,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,MAAM,EAAE,EAAE;gBACtF,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC;YAClE,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAChD,IAAI,CAAC,qDAAqD,EAAE,KAAK,IAAI,EAAE;YACrE,wEAAwE;YACxE,wBAAwB;YACxB,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACnF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;YACH,sEAAsE;YACtE,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC;YACH,oDAAoD;YACpD,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAClF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACxE,MAAM,IAAI,GAAG,WAAW,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;YAC7E,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;YAChC,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,WAAoB,CAAC,CAAC;YAC/F,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,SAAS,EAAE,WAAoB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,EAAE,EAAE,EAAE;gBACtF,MAAM,CAAC,EAAE,aAAF,EAAE,uBAAF,EAAE,CAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC;YAC7E,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;QACnF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,SAAS,eAAe,CAAC,MAAoB;YAC3C,OAAO,mBAAmB,CAAC,MAAM,CAAC;gBAChC,IAAI,EAAE,WAAW,EAAE;gBACnB,QAAQ,EAAE,QAAQ,EAAE;gBACpB,MAAM,EAAE,IAAI,GAAG,CAAuB,CAAC,CAAC,QAAQ,EAAE,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;gBACpG,aAAa,EAAE,IAAI,GAAG,CAAqB,CAAC,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;gBAChE,KAAK;aACN,CAAC,CAAC,OAAO,EAAE,CAAC;QACf,CAAC;QAED,IAAI,CAAC,kCAAkC,EAAE,KAAK,IAAI,EAAE;YAClD,MAAM,KAAK,GAAG,eAAe,CAAC;gBAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;gBACvB,UAAU,EAAE,QAAQ;gBACpB,KAAK,EAAE,GAA8B,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;gBAC1F,WAAW,EAAE,CAAC,QAAQ,EAAkC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC;aAC7E,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,8BAA8B,CAAC,CAAC;QACnG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,mDAAmD,EAAE,KAAK,IAAI,EAAE;YACnE,MAAM,KAAK,GAAG,eAAe,CAAC;gBAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;gBACvB,UAAU,EAAE,QAAQ;gBACpB,KAAK,EAAE,GAA8B,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC;gBAC9D,WAAW,EAAE,CAAC,QAAQ,EAAkC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC;aAC7E,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC;QACtF,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;YACvF,MAAM,KAAK,GAAG,eAAe,CAAC;gBAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;gBACvB,4EAA4E;gBAC5E,KAAK,EAAE,GAA8B,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;gBACvE,WAAW,EAAE,CAAC,QAAQ,EAAkC,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC;aAC7E,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAClE,UAAU,GAAG,IAAI,CAAC;YAClB,sEAAsE;YACtE,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBAChF,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC5C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iEAAiE,EAAE,KAAK,IAAI,EAAE;YACjF,MAAM,KAAK,GAAG,eAAe,CAAC;gBAC5B,aAAa,EAAE,CAAC,MAAM,CAAC;gBACvB,UAAU,EAAE,QAAQ;gBACpB,KAAK,EAAE,GAA8B,EAAE,CAAC,OAAO,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC;gBACvE,iDAAiD;gBACjD,WAAW,EAAE,CAAC,QAAQ,EAAkC,EAAE,CACxD,OAAO,CAAC,EAAE,QAAQ,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;aACrD,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YAChE,UAAU,GAAG,IAAI,CAAC;YAClB,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,kBAAkB,CAAC,CAAC;QACrF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACzD,IAAI,CAAC,8EAA8E,EAAE,KAAK,IAAI,EAAE;YAC9F,MAAM,KAAK,GAAG,WAAW,EAAE,CAAC;YAC5B,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACzF,kEAAkE;gBAClE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBACtC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;gBAC5C,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,aAAa,EAAE,CAAC;YAChD,CAAC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,OAAmB,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAAE;gBACtF,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACtC,CAAC,CAAC,CAAC;YACH,sFAAsF;YACtF,MAAM,CAAC,MAAM,KAAK,CAAC,OAAO,CAAC,WAA6B,EAAE,OAAgB,CAAC,CAAC,CAAC,mBAAmB,CAC9F,CAAC,GAAG,EAAE,EAAE;gBACN,MAAM,CAAC,GAAG,aAAH,GAAG,uBAAH,GAAG,CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzC,CAAC,CACF,CAAC;YACF,6CAA6C;YAC7C,MAAM,CAAC,MAAM,KAAK,CAAC,MAAM,CAAC,aAAa,EAAE,OAAmB,CAAC,CAAC,CAAC,aAAa,CAAC,OAAgB,CAAC,CAAC;YAC/F,MAAM,CAAC,MAAM,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE,OAAmB,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;YACrF,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACtE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC","sourcesContent":["/*\n * Copyright (c) 2026 Erik Fortune\n * SPDX-License-Identifier: MIT\n */\n\nimport '@fgv/ts-utils-jest';\nimport { Converters, Result, fail, succeed } from '@fgv/ts-utils';\nimport { FileTree } from '@fgv/ts-json-base';\nimport {\n  AdmissionDecision,\n  BodyConverterRegistry,\n  EntityId,\n  FileTreeMemoryStore,\n  IBodyConverterRegistry,\n  IIdentityCodec,\n  IMemoryEnvelope,\n  IMemoryRecord,\n  IWritePolicy,\n  Kind,\n  KnowledgeIdentityCodec,\n  MemoryId,\n  MemoryScopeKey,\n  TemporalIdentityCodec,\n  TemporalVersionedPolicy,\n  serializeMemoryFile\n} from '../../../index';\n\nconst factKind: Kind = 'fact' as Kind;\nconst knowledgeKind: Kind = 'knowledge' as Kind;\nconst factScope: MemoryScopeKey = 'facts/entities/fact-1' as MemoryScopeKey;\n\nfunction mutableRoot(\n  files: ReadonlyArray<{ path: string; contents: string }> = []\n): FileTree.IMutableFileTreeDirectoryItem {\n  const tree = FileTree.inMemory([...files], { mutable: true }).orThrow();\n  const root = tree.getDirectory('/').orThrow();\n  if (!FileTree.isMutableDirectoryItem(root)) {\n    throw new Error('expected a mutable root directory');\n  }\n  return root;\n}\n\n/**\n * A raw seeded `fact-1` version file. `invalidAt` absent → a CURRENT version;\n * seeding two current versions reproduces a stuck partial-invalidation state.\n */\nfunction seedFactVersion(\n  seq: number,\n  validAt: number,\n  invalidAt?: number\n): { path: string; contents: string } {\n  const temporal: Record<string, unknown> =\n    invalidAt === undefined ? { valid_at: validAt } : { valid_at: validAt, invalid_at: invalidAt };\n  const envelope: IMemoryEnvelope = {\n    id: `fact-1-v${seq}` as MemoryId,\n    entityId: 'fact-1' as EntityId,\n    kind: factKind,\n    tags: [],\n    links: [],\n    created: validAt,\n    updated: validAt,\n    seq,\n    contentHash: `seed-${seq}`,\n    provenance: { source: 'agent' },\n    temporal\n  };\n  return {\n    path: `facts/entities/fact-1/fact-1-v${seq}.md`,\n    contents: serializeMemoryFile(envelope, `seed body v${seq}`).orThrow()\n  };\n}\n\nfunction registry(): IBodyConverterRegistry {\n  const reg = BodyConverterRegistry.create().orThrow();\n  reg.register(factKind, Converters.string);\n  reg.register(knowledgeKind, Converters.string);\n  return reg;\n}\n\nconst codecs: ReadonlyMap<Kind, IIdentityCodec> = new Map<Kind, IIdentityCodec>([\n  [factKind, TemporalIdentityCodec.create('facts').orThrow()],\n  [knowledgeKind, new KnowledgeIdentityCodec()]\n]);\n\nconst temporalPolicies: ReadonlyMap<Kind, IWritePolicy> = new Map<Kind, IWritePolicy>([\n  [factKind, TemporalVersionedPolicy.create().orThrow()]\n]);\n\n/** A record the consumer hands to `put`. The store mints the version `id`. */\nfunction factRecord(entityId: string, body: string): IMemoryRecord<unknown> {\n  return {\n    envelope: {\n      id: entityId as unknown as IMemoryRecord<unknown>['envelope']['id'],\n      entityId: entityId as EntityId,\n      kind: factKind,\n      tags: [],\n      links: [],\n      created: 0,\n      updated: 0,\n      seq: 0,\n      contentHash: '',\n      provenance: { source: 'agent' }\n    },\n    body\n  };\n}\n\n/** Like {@link factRecord} but supplying an explicit world-truth `valid_at`. */\nfunction factRecordAt(entityId: string, body: string, validAt: number): IMemoryRecord<unknown> {\n  const base = factRecord(entityId, body);\n  return { envelope: { ...base.envelope, temporal: { valid_at: validAt } }, body: base.body };\n}\n\n/** Like {@link factRecord} but supplying revised `tags` (metadata surface). */\nfunction factRecordWithTags(\n  entityId: string,\n  body: string,\n  tags: ReadonlyArray<string>\n): IMemoryRecord<unknown> {\n  const base = factRecord(entityId, body);\n  return {\n    envelope: { ...base.envelope, tags: tags as unknown as IMemoryEnvelope['tags'] },\n    body: base.body\n  };\n}\n\nfunction knowledgeRecord(id: string, body: string): IMemoryRecord<unknown> {\n  return {\n    envelope: {\n      id: id as unknown as IMemoryRecord<unknown>['envelope']['id'],\n      entityId: id as EntityId,\n      kind: knowledgeKind,\n      tags: [],\n      links: [],\n      created: 0,\n      updated: 0,\n      seq: 0,\n      contentHash: '',\n      provenance: { source: 'agent' }\n    },\n    body\n  };\n}\n\ndescribe('FileTreeMemoryStore — temporal (versioned) path', () => {\n  let clockValue: number;\n  const clock = (): number => clockValue;\n\n  function createStore(\n    root: FileTree.IMutableFileTreeDirectoryItem = mutableRoot(),\n    policies: ReadonlyMap<Kind, IWritePolicy> = temporalPolicies\n  ): FileTreeMemoryStore {\n    return FileTreeMemoryStore.create({\n      root,\n      registry: registry(),\n      codecs,\n      writePolicies: policies,\n      clock\n    }).orThrow();\n  }\n\n  beforeEach(() => {\n    clockValue = 1000;\n  });\n\n  describe('put / get', () => {\n    test('first put writes v1 under the entity subtree with a minted version id', async () => {\n      const store = createStore();\n      expect(await store.put(factRecord('fact-1', 'the sky is blue'))).toSucceedAndSatisfy((put) => {\n        expect(put.envelope.id).toBe('fact-1-v1');\n        expect(put.envelope.entityId).toBe('fact-1');\n        expect(put.envelope.temporal).toEqual({ valid_at: 1000 });\n      });\n      // Keyed get resolves the current version.\n      expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((got) => {\n        expect(got?.envelope.id).toBe('fact-1-v1');\n        expect(got?.body).toBe('the sky is blue');\n      });\n      // The version file lives at facts/entities/fact-1/fact-1-v1.md.\n      expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((got) => {\n        expect(got?.body).toBe('the sky is blue');\n      });\n    });\n\n    test('get returns undefined for an entity with no versions', async () => {\n      const store = createStore();\n      expect(await store.get(factKind, 'nope' as EntityId)).toSucceedWith(undefined);\n    });\n  });\n\n  describe(\"merge-patch-under-versioning (invalidate-don't-delete)\", () => {\n    test('a re-put yields a NEW version and invalidates the prior (both persist)', async () => {\n      const store = createStore();\n      expect(await store.put(factRecord('fact-1', 'the sky is blue'))).toSucceed();\n      clockValue = 2000;\n      expect(await store.put(factRecord('fact-1', 'the sky is grey'))).toSucceedAndSatisfy((put) => {\n        expect(put.envelope.id).toBe('fact-1-v2');\n        expect(put.envelope.temporal).toEqual({ valid_at: 2000 });\n        expect(put.body).toBe('the sky is grey');\n      });\n\n      // Both versions persist.\n      expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n        expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);\n      });\n      // The prior version now carries invalid_at.\n      expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((v1) => {\n        expect(v1?.envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 2000 });\n      });\n      // The new version is current.\n      expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n        expect(cur?.envelope.id).toBe('fact-1-v2');\n      });\n    });\n\n    test('survives a round-trip through disk (fresh store re-indexes the subtree)', async () => {\n      const root = mutableRoot();\n      const store = createStore(root);\n      expect(await store.put(factRecord('fact-1', 'v1 body'))).toSucceed();\n      clockValue = 2000;\n      expect(await store.put(factRecord('fact-1', 'v2 body'))).toSucceed();\n\n      const reopened = createStore(root);\n      expect(await reopened.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n        expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);\n      });\n      expect(await reopened.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n        expect(cur?.envelope.id).toBe('fact-1-v2');\n      });\n    });\n\n    test('an identical re-put is a no-op (entity dedup, no redundant version)', async () => {\n      const store = createStore();\n      expect(await store.put(factRecord('fact-1', 'same'))).toSucceed();\n      clockValue = 2000;\n      expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((put) => {\n        expect(put.envelope.id).toBe('fact-1-v1'); // still v1\n      });\n      expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n        expect(all).toHaveLength(1);\n      });\n    });\n\n    test('a metadata-only revision (same body, revised tags) mints a new version, not swallowed', async () => {\n      // TemporalVersionedPolicy declares tags/provenance mutable and\n      // _buildVersionedRecord merges them via applyUpdate; the content-hash dedup\n      // must NOT short-circuit a metadata-only revision, or that merge branch is\n      // unreachable and the revision is dropped entirely.\n      const store = createStore();\n      expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((v1) => {\n        expect(v1.envelope.id).toBe('fact-1-v1');\n        expect(v1.envelope.tags).toEqual([]);\n      });\n      clockValue = 2000;\n      expect(await store.put(factRecordWithTags('fact-1', 'same', ['reviewed']))).toSucceedAndSatisfy(\n        (v2) => {\n          expect(v2.envelope.id).toBe('fact-1-v2'); // a NEW version was minted\n          expect(v2.envelope.tags).toEqual(['reviewed']); // metadata merged in\n        }\n      );\n      // History retained (prior version invalidated), current resolves to v2.\n      expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n        expect(all.map((r) => r.envelope.id).sort()).toEqual(['fact-1-v1', 'fact-1-v2']);\n      });\n      expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n        expect(cur?.envelope.id).toBe('fact-1-v2');\n        expect(cur?.envelope.tags).toEqual(['reviewed']);\n      });\n    });\n  });\n\n  describe('list({ asOf }) and get resolution', () => {\n    test('asOf selects the version valid at the instant; get returns current', async () => {\n      const store = createStore();\n      expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed(); // valid_at 1000\n      clockValue = 2000;\n      expect(await store.put(factRecord('fact-1', 'grey'))).toSucceed(); // v1 invalid_at 2000, v2 valid_at 2000\n\n      // At t=1500 only v1 was valid.\n      expect(await store.list({ kind: factKind, asOf: 1500 })).toSucceedAndSatisfy((at1500) => {\n        expect(at1500.map((r) => r.envelope.id)).toEqual(['fact-1-v1']);\n      });\n      // At t=2500 v2 is valid.\n      expect(await store.list({ kind: factKind, asOf: 2500 })).toSucceedAndSatisfy((at2500) => {\n        expect(at2500.map((r) => r.envelope.id)).toEqual(['fact-1-v2']);\n      });\n      // Before either version existed.\n      expect(await store.list({ kind: factKind, asOf: 500 })).toSucceedWith([]);\n      // get (no asOf) returns the current version.\n      expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n        expect(cur?.envelope.id).toBe('fact-1-v2');\n      });\n    });\n\n    test('asOf passes non-temporal records through unchanged (timeless)', async () => {\n      const store = createStore();\n      expect(await store.put(knowledgeRecord('doc-a', 'flat body'))).toSucceed();\n      expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed();\n      // asOf at an instant before the flat doc's created still includes it (timeless).\n      expect(await store.list({ asOf: 500 })).toSucceedAndSatisfy((snap) => {\n        expect(snap.map((r) => r.envelope.id).sort()).toEqual(['doc-a']);\n      });\n    });\n  });\n\n  describe(\"delete (soft / invalidate-don't-delete)\", () => {\n    test('invalidates the current version, retains history, returns the invalidated id', async () => {\n      const store = createStore();\n      expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed();\n      clockValue = 3000;\n      expect(await store.delete(factKind, 'fact-1' as EntityId)).toSucceedWith('fact-1-v1' as never);\n\n      // No current version after the soft delete.\n      expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedWith(undefined);\n      // But history is retained (the file still exists, now invalidated).\n      expect(await store.list({ kind: factKind })).toSucceedAndSatisfy((all) => {\n        expect(all).toHaveLength(1);\n        expect(all[0].envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 3000 });\n      });\n      // A second delete finds no current version.\n      expect(await store.delete(factKind, 'fact-1' as EntityId)).toFailWith(/no record found/i);\n    });\n  });\n\n  describe('world-truth valid-time boundary (P2-1)', () => {\n    test('a future-dated supersede closes the prior interval at the NEW valid_at (no gap)', async () => {\n      const store = createStore();\n      expect(await store.put(factRecord('fact-1', 'blue'))).toSucceed(); // v1 valid_at 1000\n      clockValue = 2000;\n      // The new version's world-truth validity starts in the future (5000), while\n      // the transaction happens now (2000).\n      expect(await store.put(factRecordAt('fact-1', 'grey', 5000))).toSucceedAndSatisfy((put) => {\n        expect(put.envelope.temporal).toEqual({ valid_at: 5000 });\n      });\n      // The prior version's interval closes at the NEW valid_at (5000), NOT `now` (2000).\n      expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((v1) => {\n        expect(v1?.envelope.temporal).toEqual({ valid_at: 1000, invalid_at: 5000 });\n      });\n      // As-of between the two valid_ats still resolves to v1 — no gap on the axis.\n      expect(await store.list({ kind: factKind, asOf: 3000 })).toSucceedAndSatisfy((at3000) => {\n        expect(at3000.map((r) => r.envelope.id)).toEqual(['fact-1-v1']);\n      });\n    });\n  });\n\n  describe('self-healing invalidation (P2-7)', () => {\n    test('a put invalidates EVERY stuck-current prior version', async () => {\n      // Seed a corrupt state: two current versions (a prior invalidation only\n      // partially completed).\n      const root = mutableRoot([seedFactVersion(1, 100), seedFactVersion(2, 200)]);\n      const store = createStore(root);\n      clockValue = 3000;\n      expect(await store.put(factRecord('fact-1', 'v3 body'))).toSucceedAndSatisfy((put) => {\n        expect(put.envelope.id).toBe('fact-1-v3');\n      });\n      // BOTH stuck versions are now invalidated at the new valid_at (3000).\n      expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((v1) => {\n        expect(v1?.envelope.temporal).toEqual({ valid_at: 100, invalid_at: 3000 });\n      });\n      expect(await store.getById(factScope, 'fact-1-v2' as never)).toSucceedAndSatisfy((v2) => {\n        expect(v2?.envelope.temporal).toEqual({ valid_at: 200, invalid_at: 3000 });\n      });\n      // Exactly one current version remains: the new one.\n      expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedAndSatisfy((cur) => {\n        expect(cur?.envelope.id).toBe('fact-1-v3');\n      });\n    });\n\n    test('a delete invalidates EVERY stuck-current prior version', async () => {\n      const root = mutableRoot([seedFactVersion(1, 100), seedFactVersion(2, 200)]);\n      const store = createStore(root);\n      clockValue = 4000;\n      expect(await store.delete(factKind, 'fact-1' as EntityId)).toSucceedWith('fact-1-v2' as never);\n      expect(await store.getById(factScope, 'fact-1-v1' as never)).toSucceedAndSatisfy((v1) => {\n        expect(v1?.envelope.temporal).toEqual({ valid_at: 100, invalid_at: 4000 });\n      });\n      expect(await store.getById(factScope, 'fact-1-v2' as never)).toSucceedAndSatisfy((v2) => {\n        expect(v2?.envelope.temporal).toEqual({ valid_at: 200, invalid_at: 4000 });\n      });\n      expect(await store.get(factKind, 'fact-1' as EntityId)).toSucceedWith(undefined);\n    });\n  });\n\n  describe('policy admission on the versioned path', () => {\n    function storeWithPolicy(policy: IWritePolicy): FileTreeMemoryStore {\n      return FileTreeMemoryStore.create({\n        root: mutableRoot(),\n        registry: registry(),\n        codecs: new Map<Kind, IIdentityCodec>([[factKind, TemporalIdentityCodec.create('facts').orThrow()]]),\n        writePolicies: new Map<Kind, IWritePolicy>([[factKind, policy]]),\n        clock\n      }).orThrow();\n    }\n\n    test('a rejecting policy fails the put', async () => {\n      const store = storeWithPolicy({\n        mutableFields: ['body'],\n        dedupScope: 'entity',\n        admit: (): Result<AdmissionDecision> => succeed({ decision: 'reject', reason: 'blocked' }),\n        applyUpdate: (existing): Result<IMemoryRecord<unknown>> => succeed(existing)\n      });\n      expect(await store.put(factRecord('fact-1', 'blue'))).toFailWith(/rejected by policy: blocked/i);\n    });\n\n    test('a policy whose admit fails propagates the failure', async () => {\n      const store = storeWithPolicy({\n        mutableFields: ['body'],\n        dedupScope: 'entity',\n        admit: (): Result<AdmissionDecision> => fail('admit exploded'),\n        applyUpdate: (existing): Result<IMemoryRecord<unknown>> => succeed(existing)\n      });\n      expect(await store.put(factRecord('fact-1', 'blue'))).toFailWith(/admit exploded/i);\n    });\n\n    test('a policy omitting dedupScope falls back to the default (entity) dedup', async () => {\n      const store = storeWithPolicy({\n        mutableFields: ['body'],\n        // dedupScope intentionally omitted → the store applies DEFAULT_DEDUP_SCOPE.\n        admit: (): Result<AdmissionDecision> => succeed({ decision: 'accept' }),\n        applyUpdate: (existing): Result<IMemoryRecord<unknown>> => succeed(existing)\n      });\n      expect(await store.put(factRecord('fact-1', 'same'))).toSucceed();\n      clockValue = 2000;\n      // Identical re-put is a no-op under the default entity dedup — no v2.\n      expect(await store.put(factRecord('fact-1', 'same'))).toSucceedAndSatisfy((put) => {\n        expect(put.envelope.id).toBe('fact-1-v1');\n      });\n    });\n\n    test('a policy that returns a non-string merged body fails the update', async () => {\n      const store = storeWithPolicy({\n        mutableFields: ['body'],\n        dedupScope: 'entity',\n        admit: (): Result<AdmissionDecision> => succeed({ decision: 'accept' }),\n        // Corrupt the merge output on the update branch.\n        applyUpdate: (existing): Result<IMemoryRecord<unknown>> =>\n          succeed({ envelope: existing.envelope, body: 42 })\n      });\n      expect(await store.put(factRecord('fact-1', 'v1'))).toSucceed();\n      clockValue = 2000;\n      expect(await store.put(factRecord('fact-1', 'v2'))).toFailWith(/non-string body/i);\n    });\n  });\n\n  describe('flat-path regression (adoption guarantee)', () => {\n    test('a non-temporal kind is unaffected: flat put/get/delete, no entities/ subtree', async () => {\n      const store = createStore();\n      expect(await store.put(knowledgeRecord('doc-a', 'flat body'))).toSucceedAndSatisfy((put) => {\n        // Flat: id === entityId, no temporal block, no minted version id.\n        expect(put.envelope.id).toBe('doc-a');\n        expect(put.envelope.entityId).toBe('doc-a');\n        expect(put.envelope.temporal).toBeUndefined();\n      });\n      expect(await store.get(knowledgeKind, 'doc-a' as EntityId)).toSucceedAndSatisfy((got) => {\n        expect(got?.body).toBe('flat body');\n      });\n      // The flat record lives at the flat knowledge scope, not under any entities/ subtree.\n      expect(await store.getById('knowledge' as MemoryScopeKey, 'doc-a' as never)).toSucceedAndSatisfy(\n        (got) => {\n          expect(got?.envelope.id).toBe('doc-a');\n        }\n      );\n      // Flat delete physically removes the record.\n      expect(await store.delete(knowledgeKind, 'doc-a' as EntityId)).toSucceedWith('doc-a' as never);\n      expect(await store.get(knowledgeKind, 'doc-a' as EntityId)).toSucceedWith(undefined);\n      expect(await store.list({ kind: knowledgeKind })).toSucceedWith([]);\n    });\n  });\n});\n"]}