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

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

@@ -1,203 +0,0 @@
-/*
- * Copyright (c) 2026 Erik Fortune
- * SPDX-License-Identifier: MIT
- */
-import '@fgv/ts-utils-jest';
-import { KnowledgeIdentityCodec, TemporalIdentityCodec, isTemporalIdentityCodec, isTemporalRecord, isVersionCurrent, isVersionValidAt, selectCurrentVersion, selectVersionAsOf } from '../../../packlets/types';
-import { envelopeConverter } from '../../../packlets/converters';
-const codec = TemporalIdentityCodec.create('facts').orThrow();
-describe('TemporalIdentityCodec', () => {
-    describe('create', () => {
-        test('rejects a non-portable base scope', () => {
-            expect(TemporalIdentityCodec.create('has/slash')).toFailWith(/baseScope/i);
-        });
-    });
-    describe('encode', () => {
-        test('maps an entityId to the entity subtree, versioned', () => {
-            expect(codec.encode('fact-1')).toSucceedWith({
-                scope: 'facts/entities/fact-1',
-                idStem: 'fact-1',
-                isVersioned: true
-            });
-        });
-        test('rejects a non-portable entityId', () => {
-            expect(codec.encode('bad/id')).toFailWith(/entityId/i);
-        });
-    });
-    describe('encodeVersion', () => {
-        test('forms the <entityId>-v<seq> stem', () => {
-            expect(codec.encodeVersion('fact-1', 7)).toSucceedWith('fact-1-v7');
-        });
-        test('rejects a negative or non-integer seq', () => {
-            expect(codec.encodeVersion('fact-1', -1)).toFailWith(/non-negative integer/i);
-            expect(codec.encodeVersion('fact-1', 1.5)).toFailWith(/non-negative integer/i);
-        });
-        test('rejects a non-portable entityId', () => {
-            expect(codec.encodeVersion('bad/id', 1)).toFailWith(/entityId/i);
-        });
-    });
-    describe('decode / decodeVersion', () => {
-        test('recovers the entityId and seq from a (scope, version stem)', () => {
-            expect(codec.decodeVersion('facts/entities/fact-1', 'fact-1-v3')).toSucceedWith({
-                entityId: 'fact-1',
-                seq: 3
-            });
-            expect(codec.decode('facts/entities/fact-1', 'fact-1-v3')).toSucceedWith('fact-1');
-        });
-        test('disambiguates an entityId that itself ends in -v<digits> via the scope', () => {
-            // The subtree scope is authoritative for the entityId, so a stem whose
-            // entityId is `rev-v2` parses correctly.
-            expect(codec.decodeVersion('facts/entities/rev-v2', 'rev-v2-v5')).toSucceedWith({
-                entityId: 'rev-v2',
-                seq: 5
-            });
-        });
-        test('rejects a scope that is not <base>/entities/<entityId>', () => {
-            expect(codec.decodeVersion('facts/fact-1', 'fact-1-v0')).toFailWith(/must be 'facts\/entities\/<entityId>'/i);
-            expect(codec.decodeVersion('other/entities/fact-1', 'fact-1-v0')).toFailWith(/must be 'facts\/entities\/<entityId>'/i);
-        });
-        test('rejects a non-portable entityId embedded in the scope', () => {
-            expect(codec.decodeVersion('facts/entities/ ', ' -v0')).toFailWith(/entityId/i);
-        });
-        test('rejects a stem that does not carry the entity prefix', () => {
-            expect(codec.decodeVersion('facts/entities/fact-1', 'other-v0')).toFailWith(/must begin with 'fact-1-v'/i);
-        });
-        test('rejects a stem with a non-integer version suffix', () => {
-            expect(codec.decodeVersion('facts/entities/fact-1', 'fact-1-vX')).toFailWith(/non-integer version suffix/i);
-        });
-        test('rejects a version suffix outside the safe integer range (corruption/tamper guard)', () => {
-            // A very long digit run passes the regex but overflows Number.MAX_SAFE_INTEGER;
-            // parseInt would silently lose precision, so decode must fail rather than corrupt seq.
-            expect(codec.decodeVersion('facts/entities/fact-1', 'fact-1-v99999999999999999999')).toFailWith(/outside the safe integer range/i);
-        });
-    });
-    describe('verifyRoundTrip', () => {
-        test('succeeds for a well-formed (scope, version stem)', () => {
-            expect(codec.verifyRoundTrip('facts/entities/fact-1', 'fact-1-v9')).toSucceedWith(true);
-        });
-        test('fails when the stem cannot be decoded', () => {
-            expect(codec.verifyRoundTrip('facts/entities/fact-1', 'fact-1-vZ')).toFailWith(/non-integer version suffix/i);
-        });
-        test('fails on a non-canonical (zero-padded) seq stem', () => {
-            // `-v007` decodes to seq 7 but re-encodes to `-v7`, so it is not canonical.
-            expect(codec.verifyRoundTrip('facts/entities/fact-1', 'fact-1-v007')).toFailWith(/round-trip mismatch/i);
-        });
-    });
-});
-describe('isTemporalIdentityCodec', () => {
-    test('is true for a temporal codec', () => {
-        expect(isTemporalIdentityCodec(codec)).toBe(true);
-    });
-    test('is false for a flat codec', () => {
-        const flat = new KnowledgeIdentityCodec();
-        expect(isTemporalIdentityCodec(flat)).toBe(false);
-    });
-});
-/** Build a temporal version record for the selection-helper tests. */
-// eslint-disable-next-line @rushstack/no-new-null -- invalid_at null is the meaningful still-valid sentinel
-function versionRecord(seq, validAt, invalidAt) {
-    const temporal = { valid_at: validAt };
-    if (invalidAt !== undefined) {
-        temporal.invalid_at = invalidAt;
-    }
-    return {
-        envelope: envelopeConverter
-            .convert({
-            id: `fact-1-v${seq}`,
-            entityId: 'fact-1',
-            kind: 'fact',
-            tags: [],
-            links: [],
-            created: validAt,
-            updated: validAt,
-            seq,
-            contentHash: `h${seq}`,
-            provenance: { source: 'agent' },
-            temporal
-        })
-            .orThrow(),
-        body: `body v${seq}`
-    };
-}
-describe('temporal selection helpers', () => {
-    const v1 = versionRecord(1, 100, 200);
-    const v2 = versionRecord(2, 200);
-    const atemporal = {
-        envelope: envelopeConverter
-            .convert({
-            id: 'doc',
-            entityId: 'doc',
-            kind: 'knowledge',
-            tags: [],
-            links: [],
-            created: 0,
-            updated: 0,
-            seq: 0,
-            contentHash: 'h',
-            provenance: { source: 'agent' }
-        })
-            .orThrow(),
-        body: 'flat'
-    };
-    test('isTemporalRecord keys off the temporal block', () => {
-        expect(isTemporalRecord(v1)).toBe(true);
-        expect(isTemporalRecord(atemporal)).toBe(false);
-    });
-    test('isVersionCurrent is true only for a null/absent invalid_at', () => {
-        expect(isVersionCurrent(v1)).toBe(false);
-        expect(isVersionCurrent(v2)).toBe(true);
-        expect(isVersionCurrent(versionRecord(3, 300, null))).toBe(true);
-        expect(isVersionCurrent(atemporal)).toBe(false);
-    });
-    test('isVersionValidAt bounds by valid_at and invalid_at', () => {
-        expect(isVersionValidAt(v1, 50)).toBe(false); // before valid_at
-        expect(isVersionValidAt(v1, 150)).toBe(true); // within [100, 200)
-        expect(isVersionValidAt(v1, 200)).toBe(false); // at invalid_at (exclusive)
-        expect(isVersionValidAt(v2, 500)).toBe(true); // still valid
-        expect(isVersionValidAt(atemporal, 500)).toBe(false);
-    });
-    test('isVersionValidAt defaults valid_at to created when absent', () => {
-        const noValidAt = {
-            envelope: envelopeConverter
-                .convert({
-                id: 'fact-1-v4',
-                entityId: 'fact-1',
-                kind: 'fact',
-                tags: [],
-                links: [],
-                created: 400,
-                updated: 400,
-                seq: 4,
-                contentHash: 'h4',
-                provenance: { source: 'agent' },
-                temporal: {}
-            })
-                .orThrow(),
-            body: 'v4'
-        };
-        expect(isVersionValidAt(noValidAt, 399)).toBe(false);
-        expect(isVersionValidAt(noValidAt, 400)).toBe(true);
-    });
-    test('selectCurrentVersion returns the highest-seq current version', () => {
-        var _a;
-        expect((_a = selectCurrentVersion([v1, v2])) === null || _a === void 0 ? void 0 : _a.envelope.id).toBe('fact-1-v2');
-        // A fully-invalidated entity has no current version.
-        expect(selectCurrentVersion([v1])).toBeUndefined();
-        expect(selectCurrentVersion([])).toBeUndefined();
-    });
-    test('selectCurrentVersion is order-independent (highest seq wins on an unsorted input)', () => {
-        var _a, _b;
-        const v3 = versionRecord(3, 300);
-        // Descending input: the first candidate is already the max, so a later
-        // candidate must NOT displace it.
-        expect((_a = selectCurrentVersion([v3, v2])) === null || _a === void 0 ? void 0 : _a.envelope.id).toBe('fact-1-v3');
-        expect((_b = selectCurrentVersion([v2, v3])) === null || _b === void 0 ? void 0 : _b.envelope.id).toBe('fact-1-v3');
-    });
-    test('selectVersionAsOf returns the highest-seq version valid at the instant', () => {
-        var _a, _b;
-        expect((_a = selectVersionAsOf([v1, v2], 150)) === null || _a === void 0 ? void 0 : _a.envelope.id).toBe('fact-1-v1');
-        expect((_b = selectVersionAsOf([v1, v2], 250)) === null || _b === void 0 ? void 0 : _b.envelope.id).toBe('fact-1-v2');
-        expect(selectVersionAsOf([v1, v2], 50)).toBeUndefined();
-    });
-});
-//# sourceMappingURL=temporalCodec.test.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"temporalCodec.test.js","sourceRoot":"","sources":["../../../../src/test/unit/types/temporalCodec.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,oBAAoB,CAAC;AAC5B,OAAO,EAIL,sBAAsB,EAEtB,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,gBAAgB,EAChB,oBAAoB,EACpB,iBAAiB,EAClB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEjE,MAAM,KAAK,GAA0B,qBAAqB,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,CAAC;AAErF,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;IACrC,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,IAAI,CAAC,mCAAmC,EAAE,GAAG,EAAE;YAC7C,MAAM,CAAC,qBAAqB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,QAAQ,EAAE,GAAG,EAAE;QACtB,IAAI,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC7D,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAoB,CAAC,CAAC,CAAC,aAAa,CAAC;gBACvD,KAAK,EAAE,uBAAyC;gBAChD,MAAM,EAAE,QAAQ;gBAChB,WAAW,EAAE,IAAI;aAClB,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;YAC3C,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,QAAoB,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QACrE,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC5C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,QAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;QAClF,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,QAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC;YAC1F,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,QAAoB,EAAE,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC,uBAAuB,CAAC,CAAC;QAC7F,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iCAAiC,EAAE,GAAG,EAAE;YAC3C,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,QAAoB,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC/E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wBAAwB,EAAE,GAAG,EAAE;QACtC,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACtE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,uBAAyC,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC;gBAChG,QAAQ,EAAE,QAAoB;gBAC9B,GAAG,EAAE,CAAC;aACP,CAAC,CAAC;YACH,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,uBAAyC,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CACxF,QAAoB,CACrB,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAClF,uEAAuE;YACvE,yCAAyC;YACzC,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,uBAAyC,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CAAC;gBAChG,QAAQ,EAAE,QAAoB;gBAC9B,GAAG,EAAE,CAAC;aACP,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAClE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,cAAgC,EAAE,WAAW,CAAC,CAAC,CAAC,UAAU,CACnF,wCAAwC,CACzC,CAAC;YACF,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,uBAAyC,EAAE,WAAW,CAAC,CAAC,CAAC,UAAU,CAC5F,wCAAwC,CACzC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;YACjE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,kBAAoC,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QACpG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAChE,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,uBAAyC,EAAE,UAAU,CAAC,CAAC,CAAC,UAAU,CAC3F,6BAA6B,CAC9B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC5D,MAAM,CAAC,KAAK,CAAC,aAAa,CAAC,uBAAyC,EAAE,WAAW,CAAC,CAAC,CAAC,UAAU,CAC5F,6BAA6B,CAC9B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;YAC7F,gFAAgF;YAChF,uFAAuF;YACvF,MAAM,CACJ,KAAK,CAAC,aAAa,CAAC,uBAAyC,EAAE,8BAA8B,CAAC,CAC/F,CAAC,UAAU,CAAC,iCAAiC,CAAC,CAAC;QAClD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iBAAiB,EAAE,GAAG,EAAE;QAC/B,IAAI,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC5D,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,uBAAyC,EAAE,WAAW,CAAC,CAAC,CAAC,aAAa,CACjG,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,uCAAuC,EAAE,GAAG,EAAE;YACjD,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,uBAAyC,EAAE,WAAW,CAAC,CAAC,CAAC,UAAU,CAC9F,6BAA6B,CAC9B,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,iDAAiD,EAAE,GAAG,EAAE;YAC3D,4EAA4E;YAC5E,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC,uBAAyC,EAAE,aAAa,CAAC,CAAC,CAAC,UAAU,CAChG,sBAAsB,CACvB,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAI,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACxC,MAAM,CAAC,uBAAuB,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACrC,MAAM,IAAI,GAAmB,IAAI,sBAAsB,EAAE,CAAC;QAC1D,MAAM,CAAC,uBAAuB,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEH,sEAAsE;AACtE,4GAA4G;AAC5G,SAAS,aAAa,CAAC,GAAW,EAAE,OAAe,EAAE,SAAyB;IAC5E,MAAM,QAAQ,GAA4B,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAChE,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,QAAQ,CAAC,UAAU,GAAG,SAAS,CAAC;IAClC,CAAC;IACD,OAAO;QACL,QAAQ,EAAE,iBAAiB;aACxB,OAAO,CAAC;YACP,EAAE,EAAE,WAAW,GAAG,EAAE;YACpB,QAAQ,EAAE,QAAQ;YAClB,IAAI,EAAE,MAAM;YACZ,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,OAAO;YAChB,OAAO,EAAE,OAAO;YAChB,GAAG;YACH,WAAW,EAAE,IAAI,GAAG,EAAE;YACtB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;YAC/B,QAAQ;SACT,CAAC;aACD,OAAO,EAAE;QACZ,IAAI,EAAE,SAAS,GAAG,EAAE;KACrB,CAAC;AACJ,CAAC;AAED,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAC1C,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtC,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACjC,MAAM,SAAS,GAA2B;QACxC,QAAQ,EAAE,iBAAiB;aACxB,OAAO,CAAC;YACP,EAAE,EAAE,KAAK;YACT,QAAQ,EAAE,KAAK;YACf,IAAI,EAAE,WAAW;YACjB,IAAI,EAAE,EAAE;YACR,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,CAAC;YACV,OAAO,EAAE,CAAC;YACV,GAAG,EAAE,CAAC;YACN,WAAW,EAAE,GAAG;YAChB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;SAChC,CAAC;aACD,OAAO,EAAE;QACZ,IAAI,EAAE,MAAM;KACb,CAAC;IAEF,IAAI,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACxD,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACtE,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACxC,MAAM,CAAC,gBAAgB,CAAC,aAAa,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,MAAM,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,gBAAgB,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,kBAAkB;QAChE,MAAM,CAAC,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,oBAAoB;QAClE,MAAM,CAAC,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,4BAA4B;QAC3E,MAAM,CAAC,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,cAAc;QAC5D,MAAM,CAAC,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACvD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,2DAA2D,EAAE,GAAG,EAAE;QACrE,MAAM,SAAS,GAA2B;YACxC,QAAQ,EAAE,iBAAiB;iBACxB,OAAO,CAAC;gBACP,EAAE,EAAE,WAAW;gBACf,QAAQ,EAAE,QAAQ;gBAClB,IAAI,EAAE,MAAM;gBACZ,IAAI,EAAE,EAAE;gBACR,KAAK,EAAE,EAAE;gBACT,OAAO,EAAE,GAAG;gBACZ,OAAO,EAAE,GAAG;gBACZ,GAAG,EAAE,CAAC;gBACN,WAAW,EAAE,IAAI;gBACjB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE;gBAC/B,QAAQ,EAAE,EAAE;aACb,CAAC;iBACD,OAAO,EAAE;YACZ,IAAI,EAAE,IAAI;SACX,CAAC;QACF,MAAM,CAAC,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACrD,MAAM,CAAC,gBAAgB,CAAC,SAAS,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,8DAA8D,EAAE,GAAG,EAAE;;QACxE,MAAM,CAAC,MAAA,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,0CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtE,qDAAqD;QACrD,MAAM,CAAC,oBAAoB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QACnD,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IACnD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,mFAAmF,EAAE,GAAG,EAAE;;QAC7F,MAAM,EAAE,GAAG,aAAa,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QACjC,uEAAuE;QACvE,kCAAkC;QAClC,MAAM,CAAC,MAAA,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,0CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtE,MAAM,CAAC,MAAA,oBAAoB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,0CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,wEAAwE,EAAE,GAAG,EAAE;;QAClF,MAAM,CAAC,MAAA,iBAAiB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,0CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxE,MAAM,CAAC,MAAA,iBAAiB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,CAAC,0CAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxE,MAAM,CAAC,iBAAiB,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;IAC1D,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  IIdentityCodec,\n  IMemoryRecord,\n  KnowledgeIdentityCodec,\n  MemoryScopeKey,\n  TemporalIdentityCodec,\n  isTemporalIdentityCodec,\n  isTemporalRecord,\n  isVersionCurrent,\n  isVersionValidAt,\n  selectCurrentVersion,\n  selectVersionAsOf\n} from '../../../packlets/types';\nimport { envelopeConverter } from '../../../packlets/converters';\n\nconst codec: TemporalIdentityCodec = TemporalIdentityCodec.create('facts').orThrow();\n\ndescribe('TemporalIdentityCodec', () => {\n  describe('create', () => {\n    test('rejects a non-portable base scope', () => {\n      expect(TemporalIdentityCodec.create('has/slash')).toFailWith(/baseScope/i);\n    });\n  });\n\n  describe('encode', () => {\n    test('maps an entityId to the entity subtree, versioned', () => {\n      expect(codec.encode('fact-1' as EntityId)).toSucceedWith({\n        scope: 'facts/entities/fact-1' as MemoryScopeKey,\n        idStem: 'fact-1',\n        isVersioned: true\n      });\n    });\n\n    test('rejects a non-portable entityId', () => {\n      expect(codec.encode('bad/id' as EntityId)).toFailWith(/entityId/i);\n    });\n  });\n\n  describe('encodeVersion', () => {\n    test('forms the <entityId>-v<seq> stem', () => {\n      expect(codec.encodeVersion('fact-1' as EntityId, 7)).toSucceedWith('fact-1-v7');\n    });\n\n    test('rejects a negative or non-integer seq', () => {\n      expect(codec.encodeVersion('fact-1' as EntityId, -1)).toFailWith(/non-negative integer/i);\n      expect(codec.encodeVersion('fact-1' as EntityId, 1.5)).toFailWith(/non-negative integer/i);\n    });\n\n    test('rejects a non-portable entityId', () => {\n      expect(codec.encodeVersion('bad/id' as EntityId, 1)).toFailWith(/entityId/i);\n    });\n  });\n\n  describe('decode / decodeVersion', () => {\n    test('recovers the entityId and seq from a (scope, version stem)', () => {\n      expect(codec.decodeVersion('facts/entities/fact-1' as MemoryScopeKey, 'fact-1-v3')).toSucceedWith({\n        entityId: 'fact-1' as EntityId,\n        seq: 3\n      });\n      expect(codec.decode('facts/entities/fact-1' as MemoryScopeKey, 'fact-1-v3')).toSucceedWith(\n        'fact-1' as EntityId\n      );\n    });\n\n    test('disambiguates an entityId that itself ends in -v<digits> via the scope', () => {\n      // The subtree scope is authoritative for the entityId, so a stem whose\n      // entityId is `rev-v2` parses correctly.\n      expect(codec.decodeVersion('facts/entities/rev-v2' as MemoryScopeKey, 'rev-v2-v5')).toSucceedWith({\n        entityId: 'rev-v2' as EntityId,\n        seq: 5\n      });\n    });\n\n    test('rejects a scope that is not <base>/entities/<entityId>', () => {\n      expect(codec.decodeVersion('facts/fact-1' as MemoryScopeKey, 'fact-1-v0')).toFailWith(\n        /must be 'facts\\/entities\\/<entityId>'/i\n      );\n      expect(codec.decodeVersion('other/entities/fact-1' as MemoryScopeKey, 'fact-1-v0')).toFailWith(\n        /must be 'facts\\/entities\\/<entityId>'/i\n      );\n    });\n\n    test('rejects a non-portable entityId embedded in the scope', () => {\n      expect(codec.decodeVersion('facts/entities/ ' as MemoryScopeKey, ' -v0')).toFailWith(/entityId/i);\n    });\n\n    test('rejects a stem that does not carry the entity prefix', () => {\n      expect(codec.decodeVersion('facts/entities/fact-1' as MemoryScopeKey, 'other-v0')).toFailWith(\n        /must begin with 'fact-1-v'/i\n      );\n    });\n\n    test('rejects a stem with a non-integer version suffix', () => {\n      expect(codec.decodeVersion('facts/entities/fact-1' as MemoryScopeKey, 'fact-1-vX')).toFailWith(\n        /non-integer version suffix/i\n      );\n    });\n\n    test('rejects a version suffix outside the safe integer range (corruption/tamper guard)', () => {\n      // A very long digit run passes the regex but overflows Number.MAX_SAFE_INTEGER;\n      // parseInt would silently lose precision, so decode must fail rather than corrupt seq.\n      expect(\n        codec.decodeVersion('facts/entities/fact-1' as MemoryScopeKey, 'fact-1-v99999999999999999999')\n      ).toFailWith(/outside the safe integer range/i);\n    });\n  });\n\n  describe('verifyRoundTrip', () => {\n    test('succeeds for a well-formed (scope, version stem)', () => {\n      expect(codec.verifyRoundTrip('facts/entities/fact-1' as MemoryScopeKey, 'fact-1-v9')).toSucceedWith(\n        true\n      );\n    });\n\n    test('fails when the stem cannot be decoded', () => {\n      expect(codec.verifyRoundTrip('facts/entities/fact-1' as MemoryScopeKey, 'fact-1-vZ')).toFailWith(\n        /non-integer version suffix/i\n      );\n    });\n\n    test('fails on a non-canonical (zero-padded) seq stem', () => {\n      // `-v007` decodes to seq 7 but re-encodes to `-v7`, so it is not canonical.\n      expect(codec.verifyRoundTrip('facts/entities/fact-1' as MemoryScopeKey, 'fact-1-v007')).toFailWith(\n        /round-trip mismatch/i\n      );\n    });\n  });\n});\n\ndescribe('isTemporalIdentityCodec', () => {\n  test('is true for a temporal codec', () => {\n    expect(isTemporalIdentityCodec(codec)).toBe(true);\n  });\n\n  test('is false for a flat codec', () => {\n    const flat: IIdentityCodec = new KnowledgeIdentityCodec();\n    expect(isTemporalIdentityCodec(flat)).toBe(false);\n  });\n});\n\n/** Build a temporal version record for the selection-helper tests. */\n// eslint-disable-next-line @rushstack/no-new-null -- invalid_at null is the meaningful still-valid sentinel\nfunction versionRecord(seq: number, validAt: number, invalidAt?: number | null): IMemoryRecord<unknown> {\n  const temporal: Record<string, unknown> = { valid_at: validAt };\n  if (invalidAt !== undefined) {\n    temporal.invalid_at = invalidAt;\n  }\n  return {\n    envelope: envelopeConverter\n      .convert({\n        id: `fact-1-v${seq}`,\n        entityId: 'fact-1',\n        kind: 'fact',\n        tags: [],\n        links: [],\n        created: validAt,\n        updated: validAt,\n        seq,\n        contentHash: `h${seq}`,\n        provenance: { source: 'agent' },\n        temporal\n      })\n      .orThrow(),\n    body: `body v${seq}`\n  };\n}\n\ndescribe('temporal selection helpers', () => {\n  const v1 = versionRecord(1, 100, 200);\n  const v2 = versionRecord(2, 200);\n  const atemporal: IMemoryRecord<unknown> = {\n    envelope: envelopeConverter\n      .convert({\n        id: 'doc',\n        entityId: 'doc',\n        kind: 'knowledge',\n        tags: [],\n        links: [],\n        created: 0,\n        updated: 0,\n        seq: 0,\n        contentHash: 'h',\n        provenance: { source: 'agent' }\n      })\n      .orThrow(),\n    body: 'flat'\n  };\n\n  test('isTemporalRecord keys off the temporal block', () => {\n    expect(isTemporalRecord(v1)).toBe(true);\n    expect(isTemporalRecord(atemporal)).toBe(false);\n  });\n\n  test('isVersionCurrent is true only for a null/absent invalid_at', () => {\n    expect(isVersionCurrent(v1)).toBe(false);\n    expect(isVersionCurrent(v2)).toBe(true);\n    expect(isVersionCurrent(versionRecord(3, 300, null))).toBe(true);\n    expect(isVersionCurrent(atemporal)).toBe(false);\n  });\n\n  test('isVersionValidAt bounds by valid_at and invalid_at', () => {\n    expect(isVersionValidAt(v1, 50)).toBe(false); // before valid_at\n    expect(isVersionValidAt(v1, 150)).toBe(true); // within [100, 200)\n    expect(isVersionValidAt(v1, 200)).toBe(false); // at invalid_at (exclusive)\n    expect(isVersionValidAt(v2, 500)).toBe(true); // still valid\n    expect(isVersionValidAt(atemporal, 500)).toBe(false);\n  });\n\n  test('isVersionValidAt defaults valid_at to created when absent', () => {\n    const noValidAt: IMemoryRecord<unknown> = {\n      envelope: envelopeConverter\n        .convert({\n          id: 'fact-1-v4',\n          entityId: 'fact-1',\n          kind: 'fact',\n          tags: [],\n          links: [],\n          created: 400,\n          updated: 400,\n          seq: 4,\n          contentHash: 'h4',\n          provenance: { source: 'agent' },\n          temporal: {}\n        })\n        .orThrow(),\n      body: 'v4'\n    };\n    expect(isVersionValidAt(noValidAt, 399)).toBe(false);\n    expect(isVersionValidAt(noValidAt, 400)).toBe(true);\n  });\n\n  test('selectCurrentVersion returns the highest-seq current version', () => {\n    expect(selectCurrentVersion([v1, v2])?.envelope.id).toBe('fact-1-v2');\n    // A fully-invalidated entity has no current version.\n    expect(selectCurrentVersion([v1])).toBeUndefined();\n    expect(selectCurrentVersion([])).toBeUndefined();\n  });\n\n  test('selectCurrentVersion is order-independent (highest seq wins on an unsorted input)', () => {\n    const v3 = versionRecord(3, 300);\n    // Descending input: the first candidate is already the max, so a later\n    // candidate must NOT displace it.\n    expect(selectCurrentVersion([v3, v2])?.envelope.id).toBe('fact-1-v3');\n    expect(selectCurrentVersion([v2, v3])?.envelope.id).toBe('fact-1-v3');\n  });\n\n  test('selectVersionAsOf returns the highest-seq version valid at the instant', () => {\n    expect(selectVersionAsOf([v1, v2], 150)?.envelope.id).toBe('fact-1-v1');\n    expect(selectVersionAsOf([v1, v2], 250)?.envelope.id).toBe('fact-1-v2');\n    expect(selectVersionAsOf([v1, v2], 50)).toBeUndefined();\n  });\n});\n"]}

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

@@ -1,83 +0,0 @@
-/*
- * Copyright (c) 2026 Erik Fortune
- * SPDX-License-Identifier: MIT
- */
-import '@fgv/ts-utils-jest';
-import { TemporalVersionedPolicy } from '../../../packlets/types';
-function makeRecord(overrides, body) {
-    const envelope = Object.assign({ id: 'fact-1-v1', entityId: 'fact-1', kind: 'fact', tags: ['sky'], links: [], created: 1000, updated: 1000, seq: 1, contentHash: 'hash-1', provenance: { source: 'agent' }, temporal: { valid_at: 1000 } }, overrides);
-    return { envelope, body: body !== null && body !== void 0 ? body : 'the sky is blue' };
-}
-describe('TemporalVersionedPolicy', () => {
-    let policy;
-    beforeEach(() => {
-        policy = TemporalVersionedPolicy.create().orThrow();
-    });
-    test('exposes the temporal mutable surface and entity dedup', () => {
-        expect(policy.mutableFields).toEqual(['body', 'tags', 'links', 'provenance', 'embeddingRef']);
-        expect(policy.dedupScope).toBe('entity');
-    });
-    describe('admit', () => {
-        test("always accepts (invalidate-don't-delete: never culls)", () => {
-            expect(policy.admit(makeRecord(), [])).toSucceedWith({ decision: 'accept' });
-            expect(policy.admit(makeRecord(), [makeRecord(), makeRecord()])).toSucceedWith({
-                decision: 'accept'
-            });
-        });
-    });
-    describe('applyUpdate (forms the new version content)', () => {
-        test('replaces a string body wholesale', () => {
-            const existing = makeRecord(undefined, 'the sky is blue');
-            expect(policy.applyUpdate(existing, { body: 'the sky is grey' })).toSucceedAndSatisfy((updated) => {
-                expect(updated.body).toBe('the sky is grey');
-            });
-        });
-        test('merges tags / provenance and preserves untouched envelope metadata', () => {
-            const existing = makeRecord({ provenance: { source: 'agent', by: 'curator' } });
-            expect(policy.applyUpdate(existing, { tags: ['sky', 'weather'], provenance: { model: 'gpt' } })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.tags).toEqual(['sky', 'weather']);
-                expect(updated.envelope.provenance).toEqual({ source: 'agent', by: 'curator', model: 'gpt' });
-                // Identity/transaction-time fields are carried verbatim (the store restamps them).
-                expect(updated.envelope.entityId).toBe('fact-1');
-            });
-        });
-        test('rejects a patch that deletes a required field', () => {
-            expect(policy.applyUpdate(makeRecord(), { body: null })).toFailWith(/may not delete required field/i);
-        });
-        test('restores embeddingRef as absent when a null patch drops it (hash-stable)', () => {
-            const existing = makeRecord({ embeddingRef: 'vec-1' });
-            expect(policy.applyUpdate(existing, { embeddingRef: null })).toSucceedAndSatisfy((updated) => {
-                expect(updated.envelope.embeddingRef).toBeUndefined();
-            });
-        });
-        test('carries an untouched embeddingRef through a body-only patch', () => {
-            const existing = makeRecord({ embeddingRef: 'vec-1' }, 'the sky is blue');
-            expect(policy.applyUpdate(existing, { body: 'the sky is grey' })).toSucceedAndSatisfy((updated) => {
-                expect(updated.body).toBe('the sky is grey');
-                expect(updated.envelope.embeddingRef).toBe('vec-1');
-            });
-        });
-        /**
-         * Mirrors the `provenance merge contract (README-pinned)` block in
-         * `writePolicy.test.ts`. The package README states that the provenance
-         * guarantees hold for BOTH pinned-surface policies, so both must be pinned
-         * here — otherwise the README claims more than the tests establish.
-         */
-        describe('provenance merge contract (README-pinned)', () => {
-            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 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);
-            });
-        });
-    });
-});
-//# sourceMappingURL=temporalPolicy.test.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"temporalPolicy.test.js","sourceRoot":"","sources":["../../../../src/test/unit/types/temporalPolicy.test.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,oBAAoB,CAAC;AAC5B,OAAO,EAQL,uBAAuB,EACxB,MAAM,yBAAyB,CAAC;AAEjC,SAAS,UAAU,CAAC,SAAoC,EAAE,IAAc;IACtE,MAAM,QAAQ,mBACZ,EAAE,EAAE,WAAuB,EAC3B,QAAQ,EAAE,QAAoB,EAC9B,IAAI,EAAE,MAAc,EACpB,IAAI,EAAE,CAAC,KAAK,CAAU,EACtB,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,EAC9C,QAAQ,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,IACzB,SAAS,CACb,CAAC;IACF,OAAO,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,aAAJ,IAAI,cAAJ,IAAI,GAAI,iBAAiB,EAAE,CAAC;AACvD,CAAC;AAED,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IACvC,IAAI,MAA+B,CAAC;IAEpC,UAAU,CAAC,GAAG,EAAE;QACd,MAAM,GAAG,uBAAuB,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,CAAC;IACtD,CAAC,CAAC,CAAC;IAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACjE,MAAM,CAAC,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,cAAc,CAAC,CAAC,CAAC;QAC9F,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,uDAAuD,EAAE,GAAG,EAAE;YACjE,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,6CAA6C,EAAE,GAAG,EAAE;QAC3D,IAAI,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC5C,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,EAAE,iBAAiB,CAAC,CAAC;YAC1D,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;YAC/C,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC9E,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,EAAE,EAAE,SAAS,EAAiB,EAAE,CAAC,CAAC;YAC/F,MAAM,CACJ,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,UAAU,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CACzF,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC;gBAC1D,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;gBAC9F,mFAAmF;gBACnF,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACzD,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,gCAAgC,CAAC,CAAC;QACxG,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;YACpF,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,6DAA6D,EAAE,GAAG,EAAE;YACvE,MAAM,QAAQ,GAAG,UAAU,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,iBAAiB,CAAC,CAAC;YAC1E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,OAAO,EAAE,EAAE;gBAChG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;gBAC7C,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACtD,CAAC,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH;;;;;WAKG;QACH,QAAQ,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACzD,SAAS,gBAAgB;gBACvB,OAAO,UAAU,CAAC;oBAChB,UAAU,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAiB;iBAC/E,CAAC,CAAC;YACL,CAAC;YAED,IAAI,CAAC,0EAA0E,EAAE,GAAG,EAAE;gBACpF,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;oBACV,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,GAAG,EAAE,CAAC,CAAC;gBACpF,CAAC,CACF,CAAC;YACJ,CAAC,CAAC,CAAC;YAEH,IAAI,CAAC,qEAAqE,EAAE,GAAG,EAAE;gBAC/E,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,gBAAgB,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,UAAU,CAC7E,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  IMemoryEnvelope,\n  IMemoryRecord,\n  IProvenance,\n  Kind,\n  MemoryId,\n  Tag,\n  TemporalVersionedPolicy\n} from '../../../packlets/types';\n\nfunction makeRecord(overrides?: Partial<IMemoryEnvelope>, body?: unknown): IMemoryRecord<unknown> {\n  const envelope: IMemoryEnvelope = {\n    id: 'fact-1-v1' as MemoryId,\n    entityId: 'fact-1' as EntityId,\n    kind: 'fact' as Kind,\n    tags: ['sky'] as Tag[],\n    links: [],\n    created: 1000,\n    updated: 1000,\n    seq: 1,\n    contentHash: 'hash-1',\n    provenance: { source: 'agent' } as IProvenance,\n    temporal: { valid_at: 1000 },\n    ...overrides\n  };\n  return { envelope, body: body ?? 'the sky is blue' };\n}\n\ndescribe('TemporalVersionedPolicy', () => {\n  let policy: TemporalVersionedPolicy;\n\n  beforeEach(() => {\n    policy = TemporalVersionedPolicy.create().orThrow();\n  });\n\n  test('exposes the temporal mutable surface and entity dedup', () => {\n    expect(policy.mutableFields).toEqual(['body', 'tags', 'links', 'provenance', 'embeddingRef']);\n    expect(policy.dedupScope).toBe('entity');\n  });\n\n  describe('admit', () => {\n    test(\"always accepts (invalidate-don't-delete: never culls)\", () => {\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 (forms the new version content)', () => {\n    test('replaces a string body wholesale', () => {\n      const existing = makeRecord(undefined, 'the sky is blue');\n      expect(policy.applyUpdate(existing, { body: 'the sky is grey' })).toSucceedAndSatisfy((updated) => {\n        expect(updated.body).toBe('the sky is grey');\n      });\n    });\n\n    test('merges tags / provenance and preserves untouched envelope metadata', () => {\n      const existing = makeRecord({ provenance: { source: 'agent', by: 'curator' } as IProvenance });\n      expect(\n        policy.applyUpdate(existing, { tags: ['sky', 'weather'], provenance: { model: 'gpt' } })\n      ).toSucceedAndSatisfy((updated) => {\n        expect(updated.envelope.tags).toEqual(['sky', 'weather']);\n        expect(updated.envelope.provenance).toEqual({ source: 'agent', by: 'curator', model: 'gpt' });\n        // Identity/transaction-time fields are carried verbatim (the store restamps them).\n        expect(updated.envelope.entityId).toBe('fact-1');\n      });\n    });\n\n    test('rejects a patch that deletes a required field', () => {\n      expect(policy.applyUpdate(makeRecord(), { body: null })).toFailWith(/may not delete required field/i);\n    });\n\n    test('restores embeddingRef as absent when a null patch drops it (hash-stable)', () => {\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('carries an untouched embeddingRef through a body-only patch', () => {\n      const existing = makeRecord({ embeddingRef: 'vec-1' }, 'the sky is blue');\n      expect(policy.applyUpdate(existing, { body: 'the sky is grey' })).toSucceedAndSatisfy((updated) => {\n        expect(updated.body).toBe('the sky is grey');\n        expect(updated.envelope.embeddingRef).toBe('vec-1');\n      });\n    });\n\n    /**\n     * Mirrors the `provenance merge contract (README-pinned)` block in\n     * `writePolicy.test.ts`. The package README states that the provenance\n     * guarantees hold for BOTH pinned-surface policies, so both must be pinned\n     * here — otherwise the README claims more than the tests establish.\n     */\n    describe('provenance merge contract (README-pinned)', () => {\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 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  });\n});\n"]}