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

package/dist/test/unit/types/writePolicy.test.js

@@ -1,331 +0,0 @@
-/*
- * Copyright (c) 2026 Erik Fortune
- * SPDX-License-Identifier: MIT
- */
-import '@fgv/ts-utils-jest';
-import { KnowledgeLwwPolicy, MemoryCapCullPolicy } from '../../../packlets/types';
-function makeRecord(overrides, body) {
-    const envelope = Object.assign({ id: 'intro-to-rust', entityId: 'intro-to-rust', kind: 'knowledge', tags: ['rust'], links: [], created: 1000, updated: 1000, seq: 1, contentHash: 'hash-1', provenance: { source: 'agent' } }, overrides);
-    return {
-        envelope,
-        body: body !== null && body !== void 0 ? body : { title: 'Intro', text: 'original' }
-    };
-}
-describe('KnowledgeLwwPolicy', () => {
-    let policy;
-    beforeEach(() => {
-        policy = KnowledgeLwwPolicy.create().orThrow();
-    });
-    test('create succeeds and exposes the knowledge mutable surface', () => {
-        expect(policy.mutableFields).toEqual(['body', 'tags', 'links', 'provenance', 'embeddingRef']);
-    });
-    test('declares content-scoped dedup (knowledge collapses identical content across ids)', () => {
-        expect(policy.dedupScope).toBe('content');
-    });
-    describe('admit', () => {
-        test('always accepts (last-write-wins, no cap)', () => {
-            expect(policy.admit(makeRecord(), [])).toSucceedWith({ decision: 'accept' });
-            expect(policy.admit(makeRecord(), [makeRecord(), makeRecord()])).toSucceedWith({
-                decision: 'accept'
-            });
-        });
-    });
-    describe('applyUpdate', () => {
-        test('deep-merges a body change', () => {
-            const existing = makeRecord(undefined, { title: 'Intro', text: 'original' });
-            expect(policy.applyUpdate(existing, { body: { text: 'revised' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.body).toEqual({ title: 'Intro', text: 'revised' });
-            });
-        });
-        test('replaces arrays wholesale (RFC-7386 array semantics)', () => {
-            const existing = makeRecord({ tags: ['rust', 'systems'] });
-            expect(policy.applyUpdate(existing, { tags: ['rust'] })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.tags).toEqual(['rust']);
-            });
-        });
-        test('deep-merges provenance and preserves untouched keys', () => {
-            const existing = makeRecord({ provenance: { source: 'agent', by: 'curator' } });
-            expect(policy.applyUpdate(existing, { provenance: { model: 'gpt' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.provenance).toEqual({ source: 'agent', by: 'curator', model: 'gpt' });
-            });
-        });
-        test('sets embeddingRef when present in the patch', () => {
-            const existing = makeRecord({ embeddingRef: 'vec-1' });
-            expect(policy.applyUpdate(existing, { embeddingRef: 'vec-2' })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBe('vec-2');
-            });
-        });
-        test('clears embeddingRef (to absent) when the patch deletes it (null = delete, RFC-7386)', () => {
-            const existing = makeRecord({ embeddingRef: 'vec-1' });
-            expect(policy.applyUpdate(existing, { embeddingRef: null })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBeUndefined();
-            });
-        });
-        test('preserves an absent embeddingRef as absent on an unrelated update (hash-stable)', () => {
-            const existing = makeRecord(); // no embeddingRef
-            expect(policy.applyUpdate(existing, { body: { text: 'revised' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBeUndefined();
-            });
-        });
-        test('preserves an explicit null embeddingRef when the patch does not touch it', () => {
-            const existing = makeRecord({ embeddingRef: null });
-            expect(policy.applyUpdate(existing, { body: { text: 'revised' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBeNull();
-            });
-        });
-        test('ignores patch keys outside the mutable surface', () => {
-            const existing = makeRecord();
-            expect(policy.applyUpdate(existing, { id: 'tampered', created: 9999, body: { text: 'revised' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.id).toBe('intro-to-rust');
-                expect(updated.envelope.created).toBe(1000);
-                expect(updated.body).toEqual({ title: 'Intro', text: 'revised' });
-            });
-        });
-        test('preserves identity and transaction-time envelope fields', () => {
-            const existing = makeRecord();
-            expect(policy.applyUpdate(existing, { tags: ['updated'] })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.id).toBe('intro-to-rust');
-                expect(updated.envelope.entityId).toBe('intro-to-rust');
-                expect(updated.envelope.kind).toBe('knowledge');
-                expect(updated.envelope.created).toBe(1000);
-                expect(updated.envelope.seq).toBe(1);
-                expect(updated.envelope.contentHash).toBe('hash-1');
-            });
-        });
-        test('fails when a patch deletes a required mutable field', () => {
-            const existing = makeRecord();
-            expect(policy.applyUpdate(existing, { body: null })).toFailWith(/may not delete required field\(s\): body/i);
-        });
-    });
-    /**
-     * Pins the provenance merge contract documented in the package README
-     * (§ "Record updates — the merge contract"). `provenance` is on this policy's
-     * PINNED mutable surface, so these four behaviors are guarantees a consumer
-     * may depend on — not incidental consequences of the merge configuration. If
-     * one of these ever changes, the README claim is wrong and must move with it.
-     */
-    describe('provenance merge contract (README-pinned)', () => {
-        /** `provenance` with one key to clear, one to revise, and one to leave alone. */
-        function provenanceRecord() {
-            return makeRecord({
-                provenance: { source: 'agent', confidence: 0.9, note: 'stale' }
-            });
-        }
-        test('an explicit null on a sub-key clears that key and preserves its siblings', () => {
-            expect(policy.applyUpdate(provenanceRecord(), { provenance: { note: null } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.provenance).toEqual({ source: 'agent', confidence: 0.9 });
-            });
-        });
-        test('a sub-key revision merges per key and preserves untouched siblings', () => {
-            expect(policy.applyUpdate(provenanceRecord(), { provenance: { confidence: 0.5 } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.provenance).toEqual({
-                    source: 'agent',
-                    confidence: 0.5,
-                    note: 'stale'
-                });
-            });
-        });
-        test('a whole-block null is rejected loudly rather than silently accepted', () => {
-            expect(policy.applyUpdate(provenanceRecord(), { provenance: null })).toFailWith(/may not delete required field\(s\): provenance/i);
-        });
-        test('a patch that does not mention provenance leaves it untouched', () => {
-            expect(policy.applyUpdate(provenanceRecord(), { tags: ['x'] })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.provenance).toEqual({
-                    source: 'agent',
-                    confidence: 0.9,
-                    note: 'stale'
-                });
-            });
-        });
-        test('the existing record is not mutated in place', () => {
-            const existing = provenanceRecord();
-            expect(policy.applyUpdate(existing, { provenance: { note: null } })).toSucceed();
-            expect(existing.envelope.provenance).toEqual({
-                source: 'agent',
-                confidence: 0.9,
-                note: 'stale'
-            });
-        });
-    });
-});
-describe('MemoryCapCullPolicy', () => {
-    const memoryFields = ['body', 'tags', 'links', 'provenance', 'embeddingRef'];
-    /** Build a memory record with a distinct id and creation time. */
-    function memoryRecord(id, created, body) {
-        return makeRecord({
-            id: id,
-            entityId: id,
-            kind: 'summarized-turn',
-            created,
-            updated: created
-        }, body);
-    }
-    test('create succeeds and exposes the supplied mutable surface + entity dedup scope', () => {
-        const policy = MemoryCapCullPolicy.create({ maxRecords: 3, mutableFields: memoryFields }).orThrow();
-        expect(policy.mutableFields).toEqual(memoryFields);
-        expect(policy.dedupScope).toBe('entity');
-    });
-    describe('admit', () => {
-        test('accepts unconditionally when no cap is configured', () => {
-            const policy = MemoryCapCullPolicy.create({ mutableFields: memoryFields }).orThrow();
-            const cohort = [memoryRecord('turn-0', 1), memoryRecord('turn-1', 2), memoryRecord('turn-2', 3)];
-            expect(policy.admit(memoryRecord('turn-3', 4), cohort)).toSucceedWith({ decision: 'accept' });
-        });
-        test('accepts while the cohort is below the cap', () => {
-            const policy = MemoryCapCullPolicy.create({ maxRecords: 3, mutableFields: memoryFields }).orThrow();
-            const cohort = [memoryRecord('turn-0', 1), memoryRecord('turn-1', 2)];
-            expect(policy.admit(memoryRecord('turn-2', 3), cohort)).toSucceedWith({ decision: 'accept' });
-        });
-        test('culls the single oldest (by created ascending) when the cohort is at the cap', () => {
-            const policy = MemoryCapCullPolicy.create({ maxRecords: 3, mutableFields: memoryFields }).orThrow();
-            // Deliberately out of created order to prove the sort, not the input order.
-            const cohort = [memoryRecord('turn-c', 30), memoryRecord('turn-a', 10), memoryRecord('turn-b', 20)];
-            expect(policy.admit(memoryRecord('turn-new', 40), cohort)).toSucceedWith({
-                decision: 'cull-oldest',
-                evict: ['turn-a']
-            });
-        });
-        test('culls enough oldest records to land exactly at the cap when over it', () => {
-            const policy = MemoryCapCullPolicy.create({ maxRecords: 2, mutableFields: memoryFields }).orThrow();
-            const cohort = [
-                memoryRecord('turn-a', 10),
-                memoryRecord('turn-b', 20),
-                memoryRecord('turn-c', 30),
-                memoryRecord('turn-d', 40)
-            ];
-            // cohort 4, cap 2 → evict 4 - 2 + 1 = 3 oldest, leaving 1 + the incoming = 2.
-            expect(policy.admit(memoryRecord('turn-new', 50), cohort)).toSucceedWith({
-                decision: 'cull-oldest',
-                evict: ['turn-a', 'turn-b', 'turn-c']
-            });
-        });
-    });
-    describe('applyUpdate', () => {
-        let policy;
-        beforeEach(() => {
-            policy = MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: memoryFields }).orThrow();
-        });
-        test('deep-merges a body change over the declared mutable surface', () => {
-            const existing = memoryRecord('turn-0', 1, { summary: 'first draft', turn: 0 });
-            expect(policy.applyUpdate(existing, { body: { summary: 'revised' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.body).toEqual({ summary: 'revised', turn: 0 });
-            });
-        });
-        test('replaces arrays wholesale (RFC-7386 array semantics)', () => {
-            const existing = makeRecord({
-                id: 'turn-0',
-                kind: 'summarized-turn',
-                tags: ['draft', 'pending']
-            });
-            expect(policy.applyUpdate(existing, { tags: ['final'] })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.tags).toEqual(['final']);
-            });
-        });
-        test('sets embeddingRef when present in the patch', () => {
-            const existing = makeRecord({
-                id: 'turn-0',
-                kind: 'summarized-turn',
-                embeddingRef: 'vec-1'
-            });
-            expect(policy.applyUpdate(existing, { embeddingRef: 'vec-2' })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBe('vec-2');
-            });
-        });
-        test('clears embeddingRef (to absent) when the patch deletes it (null = delete)', () => {
-            const existing = makeRecord({
-                id: 'turn-0',
-                kind: 'summarized-turn',
-                embeddingRef: 'vec-1'
-            });
-            expect(policy.applyUpdate(existing, { embeddingRef: null })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBeUndefined();
-            });
-        });
-        test('fails when a patch deletes a required mutable field', () => {
-            const existing = memoryRecord('turn-0', 1);
-            expect(policy.applyUpdate(existing, { tags: null })).toFailWith(/may not delete required field\(s\): tags/i);
-        });
-        test('preserves a field that is not declared mutable', () => {
-            // mutableFields omits 'links', so a links patch is ignored and the
-            // existing links are preserved verbatim.
-            const narrow = MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: ['body'] }).orThrow();
-            const existing = makeRecord({
-                id: 'turn-0',
-                kind: 'summarized-turn',
-                links: [
-                    {
-                        type: 'derived-from',
-                        target: { scope: 'knowledge', id: 'doc-1' }
-                    }
-                ]
-            }, { summary: 'old' });
-            expect(narrow.applyUpdate(existing, { body: { summary: 'x' }, links: [] })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.links).toEqual([
-                    { type: 'derived-from', target: { scope: 'knowledge', id: 'doc-1' } }
-                ]);
-                expect(updated.body).toEqual({ summary: 'x' });
-            });
-        });
-        test('preserves the body when body is not a declared mutable field', () => {
-            // mutableFields is tags-only: a body patch is ignored and the existing
-            // body is preserved verbatim (the `else existing.body` rebuild branch).
-            const tagsOnly = MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: ['tags'] }).orThrow();
-            const existing = makeRecord({ id: 'turn-0', kind: 'summarized-turn', tags: ['old'] }, { summary: 'keep me' });
-            expect(tagsOnly.applyUpdate(existing, { tags: ['new'], body: { summary: 'ignored' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.tags).toEqual(['new']);
-                expect(updated.body).toEqual({ summary: 'keep me' });
-            });
-        });
-        test('preserves an absent embeddingRef as absent on an unrelated update (hash-stable)', () => {
-            const existing = memoryRecord('turn-0', 1, { summary: 's' });
-            expect(policy.applyUpdate(existing, { body: { summary: 't' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBeUndefined();
-            });
-        });
-        test('preserves embeddingRef when it is not in the declared mutable surface', () => {
-            const narrow = MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: ['body'] }).orThrow();
-            const existing = makeRecord({
-                id: 'turn-0',
-                kind: 'summarized-turn',
-                embeddingRef: 'vec-keep'
-            });
-            expect(narrow.applyUpdate(existing, { body: { summary: 'x' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBe('vec-keep');
-            });
-        });
-        /**
-         * Pins the policy-dependence caveat the README states alongside the
-         * provenance merge contract: unlike {@link KnowledgeLwwPolicy}'s pinned
-         * surface, this policy's surface is caller-supplied, so a consumer who does
-         * not declare `provenance` mutable gets NEITHER the sub-key clear NOR the
-         * loud whole-block rejection — every provenance patch key is simply inert.
-         */
-        describe('provenance guarantees are policy-dependent (README-pinned)', () => {
-            const bodyOnly = () => MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: ['body'] }).orThrow();
-            function undeclaredProvenanceRecord() {
-                return makeRecord({
-                    id: 'turn-0',
-                    kind: 'summarized-turn',
-                    provenance: { source: 'agent', note: 'stale' }
-                }, { summary: 'old' });
-            }
-            test('a sub-key null is inert when provenance is not declared mutable', () => {
-                expect(bodyOnly().applyUpdate(undeclaredProvenanceRecord(), { provenance: { note: null } })).toSucceedAndSatisfy((updated) => {
-                    expect(updated.envelope.provenance).toEqual({ source: 'agent', note: 'stale' });
-                });
-            });
-            test('a whole-block null is a silent no-op, not an error, when provenance is not declared mutable', () => {
-                expect(bodyOnly().applyUpdate(undeclaredProvenanceRecord(), { provenance: null })).toSucceedAndSatisfy((updated) => {
-                    expect(updated.envelope.provenance).toEqual({ source: 'agent', note: 'stale' });
-                });
-            });
-            test('declaring provenance mutable restores both guarantees', () => {
-                expect(policy.applyUpdate(undeclaredProvenanceRecord(), { provenance: { note: null } })).toSucceedAndSatisfy((updated) => {
-                    expect(updated.envelope.provenance).toEqual({ source: 'agent' });
-                });
-                expect(policy.applyUpdate(undeclaredProvenanceRecord(), { provenance: null })).toFailWith(/may not delete required field\(s\): provenance/i);
-            });
-        });
-    });
-});
-//# sourceMappingURL=writePolicy.test.js.map

package/dist/test/unit/types/writePolicy.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"writePolicy.test.js","sourceRoot":"","sources":["../../../../src/test/unit/types/writePolicy.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,oBAAoB,CAAC;AAC5B,OAAO,EAOL,kBAAkB,EAClB,mBAAmB,EAIpB,MAAM,yBAAyB,CAAC;AAOjC,SAAS,UAAU,CAAC,SAAoC,EAAE,IAAc;IACtE,MAAM,QAAQ,mBACZ,EAAE,EAAE,eAA2B,EAC/B,QAAQ,EAAE,eAA2B,EACrC,IAAI,EAAE,WAAmB,EACzB,IAAI,EAAE,CAAC,MAAM,CAAU,EACvB,KAAK,EAAE,EAAE,EACT,OAAO,EAAE,IAAI,EACb,OAAO,EAAE,IAAI,EACb,GAAG,EAAE,CAAC,EACN,WAAW,EAAE,QAAQ,EACrB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAiB,IAC3C,SAAS,CACb,CAAC;IACF,OAAO;QACL,QAAQ;QACR,IAAI,EAAE,IAAI,aAAJ,IAAI,cAAJ,IAAI,GAAK,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAqB;KACvE,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;IAClC,IAAI,MAA0B,CAAC;IAE/B,UAAU,CAAC,GAAG,EAAE;QACd,MAAM,GAAG,kBAAkB,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;IACjD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACrE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;IAChG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kFAAkF,EAAE,GAAG,EAAE;QAC5F,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5C,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,IAAI,CAAC,0CAA0C,EAAE,GAAG,EAAE;YACpD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;YAC7E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC;gBAC7E,QAAQ,EAAE,QAAQ;aACnB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;YACrC,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC;YAC7E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAChE,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAU,EAAE,CAAC,CAAC;YACpE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBACvF,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;YAClD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAiB,EAAE,CAAC,CAAC;YAC/F,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CACxF,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;YAChG,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACvD,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC9F,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qFAAqF,EAAE,GAAG,EAAE;YAC/F,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC;YACvD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC3F,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;YACxD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;YAC3F,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAC,CAAC,kBAAkB;YACjD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;YACxD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;YACpF,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;YACpD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAClG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,QAAQ,EAAE,CAAC;YACnD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;YAC1D,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAC;YAC9B,MAAM,CACJ,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,EAAE,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,CAAC,CAC3F,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBAClD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACpE,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,yDAAyD,EAAE,GAAG,EAAE;YACnE,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC1F,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBAClD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;gBACxD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;gBAChD,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5C,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACrC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAC7D,2CAA2C,CAC5C,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH;;;;;;OAMG;IACH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;QACzD,iFAAiF;QACjF,SAAS,gBAAgB;YACvB,OAAO,UAAU,CAAC;gBAChB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAiB;aAC/E,CAAC,CAAC;QACL,CAAC;QAED,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;YACpF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAChG,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;YACpF,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC9E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,UAAU,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CACrG,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC;oBAC1C,MAAM,EAAE,OAAO;oBACf,UAAU,EAAE,GAAG;oBACf,IAAI,EAAE,OAAO;iBACd,CAAC,CAAC;YACL,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC/E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAC7E,iDAAiD,CAClD,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACxE,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC9F,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC;oBAC1C,MAAM,EAAE,OAAO;oBACf,UAAU,EAAE,GAAG;oBACf,IAAI,EAAE,OAAO;iBACd,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACvD,MAAM,QAAQ,GAAG,gBAAgB,EAAE,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC;YACjF,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC;gBAC3C,MAAM,EAAE,OAAO;gBACf,UAAU,EAAE,GAAG;gBACf,IAAI,EAAE,OAAO;aACd,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;IACnC,MAAM,YAAY,GAA0B,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC;IAEpG,kEAAkE;IAClE,SAAS,YAAY,CAAC,EAAU,EAAE,OAAe,EAAE,IAAc;QAC/D,OAAO,UAAU,CACf;YACE,EAAE,EAAE,EAAc;YAClB,QAAQ,EAAE,EAAc;YACxB,IAAI,EAAE,iBAAyB;YAC/B,OAAO;YACP,OAAO,EAAE,OAAO;SACjB,EACD,IAAI,CACL,CAAC;IACJ,CAAC;IAED,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;QACzF,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QACpG,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC3C,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;QACrB,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC7D,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YACrF,MAAM,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;YACjG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YACpG,MAAM,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;YACtE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QAChG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,8EAA8E,EAAE,GAAG,EAAE;YACxF,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YACpG,4EAA4E;YAC5E,MAAM,MAAM,GAAG,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,EAAE,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;YACpG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;gBACvE,QAAQ,EAAE,aAAa;gBACvB,KAAK,EAAE,CAAC,QAAoB,CAAC;aAC9B,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC/E,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YACpG,MAAM,MAAM,GAAG;gBACb,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAC1B,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAC1B,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC;gBAC1B,YAAY,CAAC,QAAQ,EAAE,EAAE,CAAC;aAC3B,CAAC;YACF,8EAA8E;YAC9E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,aAAa,CAAC;gBACvE,QAAQ,EAAE,aAAa;gBACvB,KAAK,EAAE,CAAC,QAAoB,EAAE,QAAoB,EAAE,QAAoB,CAAC;aAC1E,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,aAAa,EAAE,GAAG,EAAE;QAC3B,IAAI,MAA2B,CAAC;QAEhC,UAAU,CAAC,GAAG,EAAE;YACd,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;QAChG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACvE,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAChF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CACxF,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAChE,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAChE,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC1B,EAAE,EAAE,QAAoB;gBACxB,IAAI,EAAE,iBAAyB;gBAC/B,IAAI,EAAE,CAAC,OAAO,EAAE,SAAS,CAAU;aACpC,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBACxF,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACvD,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC1B,EAAE,EAAE,QAAoB;gBACxB,IAAI,EAAE,iBAAyB;gBAC/B,YAAY,EAAE,OAAO;aACtB,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC9F,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,2EAA2E,EAAE,GAAG,EAAE;YACrF,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC1B,EAAE,EAAE,QAAoB;gBACxB,IAAI,EAAE,iBAAyB;gBAC/B,YAAY,EAAE,OAAO;aACtB,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC3F,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;YACxD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC/D,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;YAC3C,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAC7D,2CAA2C,CAC5C,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,gDAAgD,EAAE,GAAG,EAAE;YAC1D,mEAAmE;YACnE,yCAAyC;YACzC,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YAChG,MAAM,QAAQ,GAAG,UAAU,CACzB;gBACE,EAAE,EAAE,QAAoB;gBACxB,IAAI,EAAE,iBAAyB;gBAC/B,KAAK,EAAE;oBACL;wBACE,IAAI,EAAE,cAAuB;wBAC7B,MAAM,EAAE,EAAE,KAAK,EAAE,WAA6B,EAAE,EAAE,EAAE,OAAmB,EAAiB;qBACzF;iBACF;aACF,EACD,EAAE,OAAO,EAAE,KAAK,EAAE,CACnB,CAAC;YACF,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC7F,CAAC,OAAO,EAAE,EAAE;gBACV,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC;oBACrC,EAAE,IAAI,EAAE,cAAc,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE;iBACtE,CAAC,CAAC;gBACH,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;YACjD,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;YACxE,uEAAuE;YACvE,wEAAwE;YACxE,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YAClG,MAAM,QAAQ,GAAG,UAAU,CACzB,EAAE,EAAE,EAAE,QAAoB,EAAE,IAAI,EAAE,iBAAyB,EAAE,IAAI,EAAE,CAAC,KAAK,CAAU,EAAE,EACrF,EAAE,OAAO,EAAE,SAAS,EAAE,CACvB,CAAC;YACF,MAAM,CACJ,QAAQ,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,EAAE,CAAC,CAChF,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC/C,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC;YACvD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iFAAiF,EAAE,GAAG,EAAE;YAC3F,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC;YAC7D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC/F,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,aAAa,EAAE,CAAC;YACxD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uEAAuE,EAAE,GAAG,EAAE;YACjF,MAAM,MAAM,GAAG,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YAChG,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC1B,EAAE,EAAE,QAAoB;gBACxB,IAAI,EAAE,iBAAyB;gBAC/B,YAAY,EAAE,UAAU;aACzB,CAAC,CAAC;YACH,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC/F,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACzD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH;;;;;;WAMG;QACH,QAAQ,CAAC,4DAA4D,EAAE,GAAG,EAAE;YAC1E,MAAM,QAAQ,GAAG,GAAwB,EAAE,CACzC,mBAAmB,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;YAEnF,SAAS,0BAA0B;gBACjC,OAAO,UAAU,CACf;oBACE,EAAE,EAAE,QAAoB;oBACxB,IAAI,EAAE,iBAAyB;oBAC/B,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAiB;iBAC9D,EACD,EAAE,OAAO,EAAE,KAAK,EAAE,CACnB,CAAC;YACJ,CAAC;YAED,IAAI,CAAC,iEAAiE,EAAE,GAAG,EAAE;gBAC3E,MAAM,CACJ,QAAQ,EAAE,CAAC,WAAW,CAAC,0BAA0B,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CACrF,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;oBAChC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;gBAClF,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,IAAI,CAAC,6FAA6F,EAAE,GAAG,EAAE;gBACvG,MAAM,CACJ,QAAQ,EAAE,CAAC,WAAW,CAAC,0BAA0B,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAC3E,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;oBAChC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;gBAClF,CAAC,CAAC,CAAC;YACL,CAAC,CAAC,CAAC;YAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;gBACjE,MAAM,CACJ,MAAM,CAAC,WAAW,CAAC,0BAA0B,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAAC,CACjF,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;oBAChC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;gBACnE,CAAC,CAAC,CAAC;gBACH,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,0BAA0B,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CACvF,iDAAiD,CAClD,CAAC;YACJ,CAAC,CAAC,CAAC;QACL,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 {\n  EntityId,\n  IEdgeTarget,\n  IMemoryEnvelope,\n  IMemoryRecord,\n  IProvenance,\n  Kind,\n  KnowledgeLwwPolicy,\n  MemoryCapCullPolicy,\n  MemoryId,\n  MemoryScopeKey,\n  Tag\n} from '../../../packlets/types';\n\ninterface IKnowledgeBody {\n  readonly title: string;\n  readonly text: string;\n}\n\nfunction makeRecord(overrides?: Partial<IMemoryEnvelope>, body?: unknown): IMemoryRecord<unknown> {\n  const envelope: IMemoryEnvelope = {\n    id: 'intro-to-rust' as MemoryId,\n    entityId: 'intro-to-rust' as EntityId,\n    kind: 'knowledge' as Kind,\n    tags: ['rust'] as Tag[],\n    links: [],\n    created: 1000,\n    updated: 1000,\n    seq: 1,\n    contentHash: 'hash-1',\n    provenance: { source: 'agent' } as IProvenance,\n    ...overrides\n  };\n  return {\n    envelope,\n    body: body ?? ({ title: 'Intro', text: 'original' } as IKnowledgeBody)\n  };\n}\n\ndescribe('KnowledgeLwwPolicy', () => {\n  let policy: KnowledgeLwwPolicy;\n\n  beforeEach(() => {\n    policy = KnowledgeLwwPolicy.create().orThrow();\n  });\n\n  test('create succeeds and exposes the knowledge mutable surface', () => {\n    expect(policy.mutableFields).toEqual(['body', 'tags', 'links', 'provenance', 'embeddingRef']);\n  });\n\n  test('declares content-scoped dedup (knowledge collapses identical content across ids)', () => {\n    expect(policy.dedupScope).toBe('content');\n  });\n\n  describe('admit', () => {\n    test('always accepts (last-write-wins, no cap)', () => {\n      expect(policy.admit(makeRecord(), [])).toSucceedWith({ decision: 'accept' });\n      expect(policy.admit(makeRecord(), [makeRecord(), makeRecord()])).toSucceedWith({\n        decision: 'accept'\n      });\n    });\n  });\n\n  describe('applyUpdate', () => {\n    test('deep-merges a body change', () => {\n      const existing = makeRecord(undefined, { title: 'Intro', text: 'original' });\n      expect(policy.applyUpdate(existing, { body: { text: 'revised' } })).toSucceedAndSatisfy((updated) => {\n        expect(updated.body).toEqual({ title: 'Intro', text: 'revised' });\n      });\n    });\n\n    test('replaces arrays wholesale (RFC-7386 array semantics)', () => {\n      const existing = makeRecord({ tags: ['rust', 'systems'] as Tag[] });\n      expect(policy.applyUpdate(existing, { tags: ['rust'] })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.tags).toEqual(['rust']);\n      });\n    });\n\n    test('deep-merges provenance and preserves untouched keys', () => {\n      const existing = makeRecord({ provenance: { source: 'agent', by: 'curator' } as IProvenance });\n      expect(policy.applyUpdate(existing, { provenance: { model: 'gpt' } })).toSucceedAndSatisfy(\n        (updated) => {\n          expect(updated.envelope.provenance).toEqual({ source: 'agent', by: 'curator', model: 'gpt' });\n        }\n      );\n    });\n\n    test('sets embeddingRef when present in the patch', () => {\n      const existing = makeRecord({ embeddingRef: 'vec-1' });\n      expect(policy.applyUpdate(existing, { embeddingRef: 'vec-2' })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.embeddingRef).toBe('vec-2');\n      });\n    });\n\n    test('clears embeddingRef (to absent) when the patch deletes it (null = delete, RFC-7386)', () => {\n      const existing = makeRecord({ embeddingRef: 'vec-1' });\n      expect(policy.applyUpdate(existing, { embeddingRef: null })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.embeddingRef).toBeUndefined();\n      });\n    });\n\n    test('preserves an absent embeddingRef as absent on an unrelated update (hash-stable)', () => {\n      const existing = makeRecord(); // no embeddingRef\n      expect(policy.applyUpdate(existing, { body: { text: 'revised' } })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.embeddingRef).toBeUndefined();\n      });\n    });\n\n    test('preserves an explicit null embeddingRef when the patch does not touch it', () => {\n      const existing = makeRecord({ embeddingRef: null });\n      expect(policy.applyUpdate(existing, { body: { text: 'revised' } })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.embeddingRef).toBeNull();\n      });\n    });\n\n    test('ignores patch keys outside the mutable surface', () => {\n      const existing = makeRecord();\n      expect(\n        policy.applyUpdate(existing, { id: 'tampered', created: 9999, body: { text: 'revised' } })\n      ).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.id).toBe('intro-to-rust');\n        expect(updated.envelope.created).toBe(1000);\n        expect(updated.body).toEqual({ title: 'Intro', text: 'revised' });\n      });\n    });\n\n    test('preserves identity and transaction-time envelope fields', () => {\n      const existing = makeRecord();\n      expect(policy.applyUpdate(existing, { tags: ['updated'] })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.id).toBe('intro-to-rust');\n        expect(updated.envelope.entityId).toBe('intro-to-rust');\n        expect(updated.envelope.kind).toBe('knowledge');\n        expect(updated.envelope.created).toBe(1000);\n        expect(updated.envelope.seq).toBe(1);\n        expect(updated.envelope.contentHash).toBe('hash-1');\n      });\n    });\n\n    test('fails when a patch deletes a required mutable field', () => {\n      const existing = makeRecord();\n      expect(policy.applyUpdate(existing, { body: null })).toFailWith(\n        /may not delete required field\\(s\\): body/i\n      );\n    });\n  });\n\n  /**\n   * Pins the provenance merge contract documented in the package README\n   * (§ \"Record updates — the merge contract\"). `provenance` is on this policy's\n   * PINNED mutable surface, so these four behaviors are guarantees a consumer\n   * may depend on — not incidental consequences of the merge configuration. If\n   * one of these ever changes, the README claim is wrong and must move with it.\n   */\n  describe('provenance merge contract (README-pinned)', () => {\n    /** `provenance` with one key to clear, one to revise, and one to leave alone. */\n    function provenanceRecord(): IMemoryRecord<unknown> {\n      return makeRecord({\n        provenance: { source: 'agent', confidence: 0.9, note: 'stale' } as IProvenance\n      });\n    }\n\n    test('an explicit null on a sub-key clears that key and preserves its siblings', () => {\n      expect(policy.applyUpdate(provenanceRecord(), { provenance: { note: null } })).toSucceedAndSatisfy(\n        (updated) => {\n          expect(updated.envelope.provenance).toEqual({ source: 'agent', confidence: 0.9 });\n        }\n      );\n    });\n\n    test('a sub-key revision merges per key and preserves untouched siblings', () => {\n      expect(policy.applyUpdate(provenanceRecord(), { provenance: { confidence: 0.5 } })).toSucceedAndSatisfy(\n        (updated) => {\n          expect(updated.envelope.provenance).toEqual({\n            source: 'agent',\n            confidence: 0.5,\n            note: 'stale'\n          });\n        }\n      );\n    });\n\n    test('a whole-block null is rejected loudly rather than silently accepted', () => {\n      expect(policy.applyUpdate(provenanceRecord(), { provenance: null })).toFailWith(\n        /may not delete required field\\(s\\): provenance/i\n      );\n    });\n\n    test('a patch that does not mention provenance leaves it untouched', () => {\n      expect(policy.applyUpdate(provenanceRecord(), { tags: ['x'] })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.provenance).toEqual({\n          source: 'agent',\n          confidence: 0.9,\n          note: 'stale'\n        });\n      });\n    });\n\n    test('the existing record is not mutated in place', () => {\n      const existing = provenanceRecord();\n      expect(policy.applyUpdate(existing, { provenance: { note: null } })).toSucceed();\n      expect(existing.envelope.provenance).toEqual({\n        source: 'agent',\n        confidence: 0.9,\n        note: 'stale'\n      });\n    });\n  });\n});\n\ndescribe('MemoryCapCullPolicy', () => {\n  const memoryFields: ReadonlyArray<string> = ['body', 'tags', 'links', 'provenance', 'embeddingRef'];\n\n  /** Build a memory record with a distinct id and creation time. */\n  function memoryRecord(id: string, created: number, body?: unknown): IMemoryRecord<unknown> {\n    return makeRecord(\n      {\n        id: id as MemoryId,\n        entityId: id as EntityId,\n        kind: 'summarized-turn' as Kind,\n        created,\n        updated: created\n      },\n      body\n    );\n  }\n\n  test('create succeeds and exposes the supplied mutable surface + entity dedup scope', () => {\n    const policy = MemoryCapCullPolicy.create({ maxRecords: 3, mutableFields: memoryFields }).orThrow();\n    expect(policy.mutableFields).toEqual(memoryFields);\n    expect(policy.dedupScope).toBe('entity');\n  });\n\n  describe('admit', () => {\n    test('accepts unconditionally when no cap is configured', () => {\n      const policy = MemoryCapCullPolicy.create({ mutableFields: memoryFields }).orThrow();\n      const cohort = [memoryRecord('turn-0', 1), memoryRecord('turn-1', 2), memoryRecord('turn-2', 3)];\n      expect(policy.admit(memoryRecord('turn-3', 4), cohort)).toSucceedWith({ decision: 'accept' });\n    });\n\n    test('accepts while the cohort is below the cap', () => {\n      const policy = MemoryCapCullPolicy.create({ maxRecords: 3, mutableFields: memoryFields }).orThrow();\n      const cohort = [memoryRecord('turn-0', 1), memoryRecord('turn-1', 2)];\n      expect(policy.admit(memoryRecord('turn-2', 3), cohort)).toSucceedWith({ decision: 'accept' });\n    });\n\n    test('culls the single oldest (by created ascending) when the cohort is at the cap', () => {\n      const policy = MemoryCapCullPolicy.create({ maxRecords: 3, mutableFields: memoryFields }).orThrow();\n      // Deliberately out of created order to prove the sort, not the input order.\n      const cohort = [memoryRecord('turn-c', 30), memoryRecord('turn-a', 10), memoryRecord('turn-b', 20)];\n      expect(policy.admit(memoryRecord('turn-new', 40), cohort)).toSucceedWith({\n        decision: 'cull-oldest',\n        evict: ['turn-a' as MemoryId]\n      });\n    });\n\n    test('culls enough oldest records to land exactly at the cap when over it', () => {\n      const policy = MemoryCapCullPolicy.create({ maxRecords: 2, mutableFields: memoryFields }).orThrow();\n      const cohort = [\n        memoryRecord('turn-a', 10),\n        memoryRecord('turn-b', 20),\n        memoryRecord('turn-c', 30),\n        memoryRecord('turn-d', 40)\n      ];\n      // cohort 4, cap 2 → evict 4 - 2 + 1 = 3 oldest, leaving 1 + the incoming = 2.\n      expect(policy.admit(memoryRecord('turn-new', 50), cohort)).toSucceedWith({\n        decision: 'cull-oldest',\n        evict: ['turn-a' as MemoryId, 'turn-b' as MemoryId, 'turn-c' as MemoryId]\n      });\n    });\n  });\n\n  describe('applyUpdate', () => {\n    let policy: MemoryCapCullPolicy;\n\n    beforeEach(() => {\n      policy = MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: memoryFields }).orThrow();\n    });\n\n    test('deep-merges a body change over the declared mutable surface', () => {\n      const existing = memoryRecord('turn-0', 1, { summary: 'first draft', turn: 0 });\n      expect(policy.applyUpdate(existing, { body: { summary: 'revised' } })).toSucceedAndSatisfy(\n        (updated) => {\n          expect(updated.body).toEqual({ summary: 'revised', turn: 0 });\n        }\n      );\n    });\n\n    test('replaces arrays wholesale (RFC-7386 array semantics)', () => {\n      const existing = makeRecord({\n        id: 'turn-0' as MemoryId,\n        kind: 'summarized-turn' as Kind,\n        tags: ['draft', 'pending'] as Tag[]\n      });\n      expect(policy.applyUpdate(existing, { tags: ['final'] })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.tags).toEqual(['final']);\n      });\n    });\n\n    test('sets embeddingRef when present in the patch', () => {\n      const existing = makeRecord({\n        id: 'turn-0' as MemoryId,\n        kind: 'summarized-turn' as Kind,\n        embeddingRef: 'vec-1'\n      });\n      expect(policy.applyUpdate(existing, { embeddingRef: 'vec-2' })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.embeddingRef).toBe('vec-2');\n      });\n    });\n\n    test('clears embeddingRef (to absent) when the patch deletes it (null = delete)', () => {\n      const existing = makeRecord({\n        id: 'turn-0' as MemoryId,\n        kind: 'summarized-turn' as Kind,\n        embeddingRef: 'vec-1'\n      });\n      expect(policy.applyUpdate(existing, { embeddingRef: null })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.embeddingRef).toBeUndefined();\n      });\n    });\n\n    test('fails when a patch deletes a required mutable field', () => {\n      const existing = memoryRecord('turn-0', 1);\n      expect(policy.applyUpdate(existing, { tags: null })).toFailWith(\n        /may not delete required field\\(s\\): tags/i\n      );\n    });\n\n    test('preserves a field that is not declared mutable', () => {\n      // mutableFields omits 'links', so a links patch is ignored and the\n      // existing links are preserved verbatim.\n      const narrow = MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: ['body'] }).orThrow();\n      const existing = makeRecord(\n        {\n          id: 'turn-0' as MemoryId,\n          kind: 'summarized-turn' as Kind,\n          links: [\n            {\n              type: 'derived-from' as never,\n              target: { scope: 'knowledge' as MemoryScopeKey, id: 'doc-1' as MemoryId } as IEdgeTarget\n            }\n          ]\n        },\n        { summary: 'old' }\n      );\n      expect(narrow.applyUpdate(existing, { body: { summary: 'x' }, links: [] })).toSucceedAndSatisfy(\n        (updated) => {\n          expect(updated.envelope.links).toEqual([\n            { type: 'derived-from', target: { scope: 'knowledge', id: 'doc-1' } }\n          ]);\n          expect(updated.body).toEqual({ summary: 'x' });\n        }\n      );\n    });\n\n    test('preserves the body when body is not a declared mutable field', () => {\n      // mutableFields is tags-only: a body patch is ignored and the existing\n      // body is preserved verbatim (the `else existing.body` rebuild branch).\n      const tagsOnly = MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: ['tags'] }).orThrow();\n      const existing = makeRecord(\n        { id: 'turn-0' as MemoryId, kind: 'summarized-turn' as Kind, tags: ['old'] as Tag[] },\n        { summary: 'keep me' }\n      );\n      expect(\n        tagsOnly.applyUpdate(existing, { tags: ['new'], body: { summary: 'ignored' } })\n      ).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.tags).toEqual(['new']);\n        expect(updated.body).toEqual({ summary: 'keep me' });\n      });\n    });\n\n    test('preserves an absent embeddingRef as absent on an unrelated update (hash-stable)', () => {\n      const existing = memoryRecord('turn-0', 1, { summary: 's' });\n      expect(policy.applyUpdate(existing, { body: { summary: 't' } })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.embeddingRef).toBeUndefined();\n      });\n    });\n\n    test('preserves embeddingRef when it is not in the declared mutable surface', () => {\n      const narrow = MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: ['body'] }).orThrow();\n      const existing = makeRecord({\n        id: 'turn-0' as MemoryId,\n        kind: 'summarized-turn' as Kind,\n        embeddingRef: 'vec-keep'\n      });\n      expect(narrow.applyUpdate(existing, { body: { summary: 'x' } })).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.embeddingRef).toBe('vec-keep');\n      });\n    });\n\n    /**\n     * Pins the policy-dependence caveat the README states alongside the\n     * provenance merge contract: unlike {@link KnowledgeLwwPolicy}'s pinned\n     * surface, this policy's surface is caller-supplied, so a consumer who does\n     * not declare `provenance` mutable gets NEITHER the sub-key clear NOR the\n     * loud whole-block rejection — every provenance patch key is simply inert.\n     */\n    describe('provenance guarantees are policy-dependent (README-pinned)', () => {\n      const bodyOnly = (): MemoryCapCullPolicy =>\n        MemoryCapCullPolicy.create({ maxRecords: 5, mutableFields: ['body'] }).orThrow();\n\n      function undeclaredProvenanceRecord(): IMemoryRecord<unknown> {\n        return makeRecord(\n          {\n            id: 'turn-0' as MemoryId,\n            kind: 'summarized-turn' as Kind,\n            provenance: { source: 'agent', note: 'stale' } as IProvenance\n          },\n          { summary: 'old' }\n        );\n      }\n\n      test('a sub-key null is inert when provenance is not declared mutable', () => {\n        expect(\n          bodyOnly().applyUpdate(undeclaredProvenanceRecord(), { provenance: { note: null } })\n        ).toSucceedAndSatisfy((updated) => {\n          expect(updated.envelope.provenance).toEqual({ source: 'agent', note: 'stale' });\n        });\n      });\n\n      test('a whole-block null is a silent no-op, not an error, when provenance is not declared mutable', () => {\n        expect(\n          bodyOnly().applyUpdate(undeclaredProvenanceRecord(), { provenance: null })\n        ).toSucceedAndSatisfy((updated) => {\n          expect(updated.envelope.provenance).toEqual({ source: 'agent', note: 'stale' });\n        });\n      });\n\n      test('declaring provenance mutable restores both guarantees', () => {\n        expect(\n          policy.applyUpdate(undeclaredProvenanceRecord(), { provenance: { note: null } })\n        ).toSucceedAndSatisfy((updated) => {\n          expect(updated.envelope.provenance).toEqual({ source: 'agent' });\n        });\n        expect(policy.applyUpdate(undeclaredProvenanceRecord(), { provenance: null })).toFailWith(\n          /may not delete required field\\(s\\): provenance/i\n        );\n      });\n    });\n  });\n});\n"]}

package/dist/test/unit/vector/fragmentConverters.test.js

@@ -1,58 +0,0 @@
-/*
- * Copyright (c) 2026 Erik Fortune
- * SPDX-License-Identifier: MIT
- */
-import '@fgv/ts-utils-jest';
-import { embeddedFragmentConverter, fragmentLocatorConverter } from '../../../index';
-describe('fragmentLocatorConverter', () => {
-    test('converts a well-formed span', () => {
-        expect(fragmentLocatorConverter.convert({ start: 3, end: 11 })).toSucceedWith({ start: 3, end: 11 });
-    });
-    test('rejects a non-numeric offset', () => {
-        expect(fragmentLocatorConverter.convert({ start: 'nope', end: 11 })).toFailWith(/start/i);
-    });
-    test('rejects a span missing an offset', () => {
-        expect(fragmentLocatorConverter.convert({ start: 3 })).toFailWith(/end/i);
-    });
-});
-describe('embeddedFragmentConverter', () => {
-    const vector = Float32Array.from([1, 0, 0]);
-    describe('identity invariant', () => {
-        test('accepts a fragment identified only by its locator', () => {
-            expect(embeddedFragmentConverter.convert({ locator: { start: 0, end: 4 }, vector })).toSucceedAndSatisfy((fragment) => {
-                expect(fragment.locator).toEqual({ start: 0, end: 4 });
-                expect(fragment.fragmentId).toBeUndefined();
-            });
-        });
-        test('accepts a fragment identified only by its fragmentId', () => {
-            expect(embeddedFragmentConverter.convert({ fragmentId: 'frag-7', vector })).toSucceedAndSatisfy((fragment) => {
-                expect(fragment.fragmentId).toBe('frag-7');
-                expect(fragment.locator).toBeUndefined();
-            });
-        });
-        test('accepts a fragment carrying both identities', () => {
-            expect(embeddedFragmentConverter.convert({ locator: { start: 0, end: 4 }, fragmentId: 'frag-7', vector })).toSucceedAndSatisfy((fragment) => {
-                expect(fragment.locator).toEqual({ start: 0, end: 4 });
-                expect(fragment.fragmentId).toBe('frag-7');
-            });
-        });
-        test('rejects a fragment carrying neither identity', () => {
-            expect(embeddedFragmentConverter.convert({ vector })).toFailWith(/at least one of .locator. or .fragmentId./i);
-        });
-    });
-    describe('field validation', () => {
-        test('rejects a vector that is not a Float32Array', () => {
-            expect(embeddedFragmentConverter.convert({ fragmentId: 'frag-7', vector: [1, 0, 0] })).toFailWith(/Float32Array/i);
-        });
-        test('rejects a missing vector', () => {
-            expect(embeddedFragmentConverter.convert({ fragmentId: 'frag-7' })).toFailWith(/vector/i);
-        });
-        test('rejects a non-string fragmentId', () => {
-            expect(embeddedFragmentConverter.convert({ fragmentId: 7, vector })).toFailWith(/fragmentId/i);
-        });
-        test('rejects a malformed locator', () => {
-            expect(embeddedFragmentConverter.convert({ locator: { start: 0 }, vector })).toFailWith(/locator/i);
-        });
-    });
-});
-//# sourceMappingURL=fragmentConverters.test.js.map

package/dist/test/unit/vector/fragmentConverters.test.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"fragmentConverters.test.js","sourceRoot":"","sources":["../../../../src/test/unit/vector/fragmentConverters.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,oBAAoB,CAAC;AAC5B,OAAO,EAAqB,yBAAyB,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAC;AAExG,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;QACvC,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC;IACvG,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC5F,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAC5C,MAAM,CAAC,wBAAwB,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC5E,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,MAAM,MAAM,GAAiB,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IAE1D,QAAQ,CAAC,oBAAoB,EAAE,GAAG,EAAE;QAClC,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC7D,MAAM,CACJ,yBAAyB,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAC7E,CAAC,mBAAmB,CAAC,CAAC,QAA2B,EAAE,EAAE;gBACpD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBACvD,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,aAAa,EAAE,CAAC;YAC9C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAChE,MAAM,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAC7F,CAAC,QAA2B,EAAE,EAAE;gBAC9B,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC3C,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,aAAa,EAAE,CAAC;YAC3C,CAAC,CACF,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACvD,MAAM,CACJ,yBAAyB,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CACnG,CAAC,mBAAmB,CAAC,CAAC,QAA2B,EAAE,EAAE;gBACpD,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC;gBACvD,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC7C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;YACxD,MAAM,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,UAAU,CAC9D,4CAA4C,CAC7C,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,IAAI,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACvD,MAAM,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,UAAU,CAC/F,eAAe,CAChB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,0BAA0B,EAAE,GAAG,EAAE;YACpC,MAAM,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QAC5F,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;YAC3C,MAAM,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;QACjG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACvC,MAAM,CAAC,yBAAyB,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;QACtG,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 { IEmbeddedFragment, embeddedFragmentConverter, fragmentLocatorConverter } from '../../../index';\n\ndescribe('fragmentLocatorConverter', () => {\n  test('converts a well-formed span', () => {\n    expect(fragmentLocatorConverter.convert({ start: 3, end: 11 })).toSucceedWith({ start: 3, end: 11 });\n  });\n\n  test('rejects a non-numeric offset', () => {\n    expect(fragmentLocatorConverter.convert({ start: 'nope', end: 11 })).toFailWith(/start/i);\n  });\n\n  test('rejects a span missing an offset', () => {\n    expect(fragmentLocatorConverter.convert({ start: 3 })).toFailWith(/end/i);\n  });\n});\n\ndescribe('embeddedFragmentConverter', () => {\n  const vector: Float32Array = Float32Array.from([1, 0, 0]);\n\n  describe('identity invariant', () => {\n    test('accepts a fragment identified only by its locator', () => {\n      expect(\n        embeddedFragmentConverter.convert({ locator: { start: 0, end: 4 }, vector })\n      ).toSucceedAndSatisfy((fragment: IEmbeddedFragment) => {\n        expect(fragment.locator).toEqual({ start: 0, end: 4 });\n        expect(fragment.fragmentId).toBeUndefined();\n      });\n    });\n\n    test('accepts a fragment identified only by its fragmentId', () => {\n      expect(embeddedFragmentConverter.convert({ fragmentId: 'frag-7', vector })).toSucceedAndSatisfy(\n        (fragment: IEmbeddedFragment) => {\n          expect(fragment.fragmentId).toBe('frag-7');\n          expect(fragment.locator).toBeUndefined();\n        }\n      );\n    });\n\n    test('accepts a fragment carrying both identities', () => {\n      expect(\n        embeddedFragmentConverter.convert({ locator: { start: 0, end: 4 }, fragmentId: 'frag-7', vector })\n      ).toSucceedAndSatisfy((fragment: IEmbeddedFragment) => {\n        expect(fragment.locator).toEqual({ start: 0, end: 4 });\n        expect(fragment.fragmentId).toBe('frag-7');\n      });\n    });\n\n    test('rejects a fragment carrying neither identity', () => {\n      expect(embeddedFragmentConverter.convert({ vector })).toFailWith(\n        /at least one of .locator. or .fragmentId./i\n      );\n    });\n  });\n\n  describe('field validation', () => {\n    test('rejects a vector that is not a Float32Array', () => {\n      expect(embeddedFragmentConverter.convert({ fragmentId: 'frag-7', vector: [1, 0, 0] })).toFailWith(\n        /Float32Array/i\n      );\n    });\n\n    test('rejects a missing vector', () => {\n      expect(embeddedFragmentConverter.convert({ fragmentId: 'frag-7' })).toFailWith(/vector/i);\n    });\n\n    test('rejects a non-string fragmentId', () => {\n      expect(embeddedFragmentConverter.convert({ fragmentId: 7, vector })).toFailWith(/fragmentId/i);\n    });\n\n    test('rejects a malformed locator', () => {\n      expect(embeddedFragmentConverter.convert({ locator: { start: 0 }, vector })).toFailWith(/locator/i);\n    });\n  });\n});\n"]}