@enbox/dwn-sdk-js 0.1.0 → 0.1.2

package/dist/esm/tests/fuzz/index-level.fuzz.spec.js

@@ -0,0 +1,195 @@
+import { afterAll, afterEach, beforeAll, describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { IndexLevel } from '../../src/store/index-level.js';
+import { SortDirection } from '../../src/types/query-types.js';
+import { indexedItemSet, indexKeyValues, messageCid } from './arbitraries/store.arbitrary.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 100;
+describe('IndexLevel — fuzz', () => {
+    let indexLevel;
+    const testDataPath = '__TESTDATA__/fuzz-index-level';
+    const tenant = 'did:example:fuzz-tenant';
+    beforeAll(async () => {
+        indexLevel = new IndexLevel({ location: `${testDataPath}/index` });
+        await indexLevel.open();
+    });
+    afterEach(async () => {
+        await indexLevel.clear();
+    });
+    afterAll(async () => {
+        await indexLevel.close();
+    });
+    describe('encodeNumberValue — order preservation', () => {
+        it('should preserve order for any two integers: a < b implies encode(a) < encode(b)', () => {
+            fc.assert(fc.property(fc.integer({ min: Number.MIN_SAFE_INTEGER, max: Number.MAX_SAFE_INTEGER }), fc.integer({ min: Number.MIN_SAFE_INTEGER, max: Number.MAX_SAFE_INTEGER }), (a, b) => {
+                const encodedA = IndexLevel.encodeNumberValue(a);
+                const encodedB = IndexLevel.encodeNumberValue(b);
+                if (a < b) {
+                    expect(encodedA < encodedB).toBe(true);
+                }
+                else if (a > b) {
+                    expect(encodedA > encodedB).toBe(true);
+                }
+                else {
+                    expect(encodedA).toBe(encodedB);
+                }
+            }), { numRuns });
+        });
+        it('should produce consistent results for the same input', () => {
+            fc.assert(fc.property(fc.integer({ min: Number.MIN_SAFE_INTEGER, max: Number.MAX_SAFE_INTEGER }), (n) => {
+                expect(IndexLevel.encodeNumberValue(n)).toBe(IndexLevel.encodeNumberValue(n));
+            }), { numRuns });
+        });
+    });
+    describe('encodeValue — type consistency', () => {
+        it('should return a string for any supported value type', () => {
+            fc.assert(fc.property(fc.oneof(fc.string({ minLength: 0, maxLength: 50 }), fc.integer({ min: -10000, max: 10000 }), fc.boolean()), (value) => {
+                const encoded = IndexLevel.encodeValue(value);
+                expect(typeof encoded).toBe('string');
+                expect(encoded.length).toBeGreaterThan(0);
+            }), { numRuns });
+        });
+    });
+    describe('put/query roundtrip', () => {
+        it('should find an item by any of its indexed properties after put', async () => {
+            await fc.assert(fc.asyncProperty(messageCid(), indexKeyValues(), async (cid, indexes) => {
+                await indexLevel.clear();
+                await indexLevel.put(tenant, cid, indexes);
+                // Query using the first string/number property as an equality filter
+                for (const [key, value] of Object.entries(indexes)) {
+                    if (typeof value === 'string' || typeof value === 'number' || typeof value === 'boolean') {
+                        const results = await indexLevel.query(tenant, [{ [key]: value }], {
+                            sortProperty: 'messageTimestamp',
+                            sortDirection: SortDirection.Ascending,
+                        });
+                        const foundCids = results.map((r) => r.messageCid);
+                        expect(foundCids).toContain(cid);
+                        break; // one property is enough to verify the roundtrip
+                    }
+                }
+            }), { numRuns: Math.min(numRuns, 50) });
+        });
+    });
+    describe('put/delete roundtrip', () => {
+        it('should not find an item after deletion', async () => {
+            await fc.assert(fc.asyncProperty(messageCid(), indexKeyValues(), async (cid, indexes) => {
+                await indexLevel.clear();
+                await indexLevel.put(tenant, cid, indexes);
+                await indexLevel.delete(tenant, cid);
+                // Query with empty filter should return nothing
+                const results = await indexLevel.query(tenant, [{}], {
+                    sortProperty: 'messageTimestamp',
+                    sortDirection: SortDirection.Ascending,
+                });
+                const foundCids = results.map((r) => r.messageCid);
+                expect(foundCids).not.toContain(cid);
+            }), { numRuns: Math.min(numRuns, 50) });
+        });
+    });
+    describe('count equals query length', () => {
+        it('should return the same count as query results length for any filter', async () => {
+            await fc.assert(fc.asyncProperty(indexedItemSet({ minSize: 3, maxSize: 10 }), async (items) => {
+                await indexLevel.clear();
+                for (const item of items) {
+                    await indexLevel.put(tenant, item.cid, item.indexes);
+                }
+                const queryOptions = {
+                    sortProperty: 'messageTimestamp',
+                    sortDirection: SortDirection.Ascending,
+                };
+                // Count with empty filter
+                const count = await indexLevel.count(tenant, [{}], queryOptions);
+                const results = await indexLevel.query(tenant, [{}], queryOptions);
+                expect(count).toBe(results.length);
+            }), { numRuns: Math.min(numRuns, 30) });
+        });
+    });
+    describe('sort ordering invariant', () => {
+        it('should return results sorted by messageTimestamp ascending', async () => {
+            await fc.assert(fc.asyncProperty(indexedItemSet({ minSize: 3, maxSize: 15 }), async (items) => {
+                await indexLevel.clear();
+                for (const item of items) {
+                    await indexLevel.put(tenant, item.cid, item.indexes);
+                }
+                const results = await indexLevel.query(tenant, [{}], {
+                    sortProperty: 'messageTimestamp',
+                    sortDirection: SortDirection.Ascending,
+                });
+                for (let i = 1; i < results.length; i++) {
+                    const prev = IndexLevel.encodeValue(results[i - 1].indexes.messageTimestamp);
+                    const curr = IndexLevel.encodeValue(results[i].indexes.messageTimestamp);
+                    // When timestamps are equal, the messageCid acts as tiebreaker
+                    if (prev === curr) {
+                        expect(results[i - 1].messageCid <= results[i].messageCid).toBe(true);
+                    }
+                    else {
+                        expect(prev <= curr).toBe(true);
+                    }
+                }
+            }), { numRuns: Math.min(numRuns, 30) });
+        });
+        it('should return results sorted by messageTimestamp descending', async () => {
+            await fc.assert(fc.asyncProperty(indexedItemSet({ minSize: 3, maxSize: 15 }), async (items) => {
+                await indexLevel.clear();
+                for (const item of items) {
+                    await indexLevel.put(tenant, item.cid, item.indexes);
+                }
+                const results = await indexLevel.query(tenant, [{}], {
+                    sortProperty: 'messageTimestamp',
+                    sortDirection: SortDirection.Descending,
+                });
+                for (let i = 1; i < results.length; i++) {
+                    const prev = IndexLevel.encodeValue(results[i - 1].indexes.messageTimestamp);
+                    const curr = IndexLevel.encodeValue(results[i].indexes.messageTimestamp);
+                    if (prev === curr) {
+                        expect(results[i - 1].messageCid >= results[i].messageCid).toBe(true);
+                    }
+                    else {
+                        expect(prev >= curr).toBe(true);
+                    }
+                }
+            }), { numRuns: Math.min(numRuns, 30) });
+        });
+    });
+    describe('pagination completeness', () => {
+        it('should yield all items when paginating with any page size', async () => {
+            await fc.assert(fc.asyncProperty(indexedItemSet({ minSize: 3, maxSize: 12 }), fc.integer({ min: 1, max: 5 }), async (items, pageSize) => {
+                await indexLevel.clear();
+                for (const item of items) {
+                    await indexLevel.put(tenant, item.cid, item.indexes);
+                }
+                const sortProperty = 'messageTimestamp';
+                const queryOptions = {
+                    sortProperty,
+                    sortDirection: SortDirection.Ascending,
+                    limit: pageSize,
+                };
+                // Get all results without pagination for reference
+                const allResults = await indexLevel.query(tenant, [{}], {
+                    sortProperty,
+                    sortDirection: SortDirection.Ascending,
+                });
+                // Paginate through all results
+                const paginatedResults = [];
+                let cursor = undefined;
+                let iterations = 0;
+                const maxIterations = allResults.length + 5; // safety bound
+                while (iterations < maxIterations) {
+                    const page = await indexLevel.query(tenant, [{}], { ...queryOptions, cursor });
+                    if (page.length === 0) {
+                        break;
+                    }
+                    paginatedResults.push(...page.map((r) => r.messageCid));
+                    // Create cursor from last item for next page
+                    if (page.length < pageSize) {
+                        break; // last page
+                    }
+                    cursor = IndexLevel.createCursorFromLastArrayItem(page, sortProperty);
+                    iterations++;
+                }
+                // All CIDs from pagination should match all CIDs from full query
+                expect(paginatedResults).toEqual(allResults.map((r) => r.messageCid));
+            }), { numRuns: Math.min(numRuns, 20) });
+        });
+    });
+});
+//# sourceMappingURL=index-level.fuzz.spec.js.map

package/dist/esm/tests/fuzz/index-level.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index-level.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/index-level.fuzz.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAEhF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAC5D,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,UAAU,EAAE,MAAM,kCAAkC,CAAC;AAE9F,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;IACjC,IAAI,UAAsB,CAAC;IAC3B,MAAM,YAAY,GAAG,+BAA+B,CAAC;IACrD,MAAM,MAAM,GAAG,yBAAyB,CAAC;IAEzC,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,UAAU,GAAG,IAAI,UAAU,CAAC,EAAE,QAAQ,EAAE,GAAG,YAAY,QAAQ,EAAE,CAAC,CAAC;QACnE,MAAM,UAAU,CAAC,IAAI,EAAE,CAAC;IAC1B,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,IAAI,EAAE;QAClB,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;IAC3B,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wCAAwC,EAAE,GAAG,EAAE;QACtD,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAC1E,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAC1E,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;gBACP,MAAM,QAAQ,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;gBACjD,MAAM,QAAQ,GAAG,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC;gBACjD,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACV,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzC,CAAC;qBAAM,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACjB,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACzC,CAAC;qBAAM,CAAC;oBACN,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAClC,CAAC;YACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,GAAG,EAAE,MAAM,CAAC,gBAAgB,EAAE,CAAC,EAC1E,CAAC,CAAC,EAAE,EAAE;gBACJ,MAAM,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC;YAChF,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gCAAgC,EAAE,GAAG,EAAE;QAC9C,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EACvC,EAAE,CAAC,OAAO,EAAE,CACb,EACD,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,OAAO,GAAG,UAAU,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;gBAC9C,MAAM,CAAC,OAAO,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBACtC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;YAC5C,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qBAAqB,EAAE,GAAG,EAAE;QACnC,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;YAC9E,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,UAAU,EAAE,EACZ,cAAc,EAAE,EAChB,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;gBACrB,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;gBACzB,MAAM,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;gBAE3C,qEAAqE;gBACrE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,CAAC;oBACnD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;wBACzF,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE;4BACjE,YAAY,EAAI,kBAAkB;4BAClC,aAAa,EAAG,aAAa,CAAC,SAAS;yBACxC,CAAC,CAAC;wBACH,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;wBACnD,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;wBACjC,MAAM,CAAC,iDAAiD;oBAC1D,CAAC;gBACH,CAAC;YACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,wCAAwC,EAAE,KAAK,IAAI,EAAE;YACtD,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,UAAU,EAAE,EACZ,cAAc,EAAE,EAChB,KAAK,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE;gBACrB,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;gBACzB,MAAM,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;gBAC3C,MAAM,UAAU,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAErC,gDAAgD;gBAChD,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE;oBACnD,YAAY,EAAI,kBAAkB;oBAClC,aAAa,EAAG,aAAa,CAAC,SAAS;iBACxC,CAAC,CAAC;gBACH,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;gBACnD,MAAM,CAAC,SAAS,CAAC,CAAC,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC;YACvC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;YACnF,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAC3C,KAAK,EAAE,KAAK,EAAE,EAAE;gBACd,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;gBAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvD,CAAC;gBAED,MAAM,YAAY,GAAG;oBACnB,YAAY,EAAI,kBAAkB;oBAClC,aAAa,EAAG,aAAa,CAAC,SAAS;iBACxC,CAAC;gBAEF,0BAA0B;gBAC1B,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC;gBACjE,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC;gBACnE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACrC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,4DAA4D,EAAE,KAAK,IAAI,EAAE;YAC1E,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAC3C,KAAK,EAAE,KAAK,EAAE,EAAE;gBACd,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;gBAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvD,CAAC;gBAED,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE;oBACnD,YAAY,EAAI,kBAAkB;oBAClC,aAAa,EAAG,aAAa,CAAC,SAAS;iBACxC,CAAC,CAAC;gBAEH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,gBAA0B,CAAC,CAAC;oBACvF,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAA0B,CAAC,CAAC;oBACnF,+DAA+D;oBAC/D,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;wBAClB,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACxE,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,KAAK,IAAI,EAAE;YAC3E,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAC3C,KAAK,EAAE,KAAK,EAAE,EAAE;gBACd,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;gBAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvD,CAAC;gBAED,MAAM,OAAO,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE;oBACnD,YAAY,EAAI,kBAAkB;oBAClC,aAAa,EAAG,aAAa,CAAC,UAAU;iBACzC,CAAC,CAAC;gBAEH,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;oBACxC,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,gBAA0B,CAAC,CAAC;oBACvF,MAAM,IAAI,GAAG,UAAU,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,gBAA0B,CAAC,CAAC;oBACnF,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;wBAClB,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,UAAU,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBACxE,CAAC;yBAAM,CAAC;wBACN,MAAM,CAAC,IAAI,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;oBAClC,CAAC;gBACH,CAAC;YACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;YACzE,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,cAAc,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,EAC3C,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAC9B,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACxB,MAAM,UAAU,CAAC,KAAK,EAAE,CAAC;gBAEzB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;oBACzB,MAAM,UAAU,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,GAAG,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC;gBACvD,CAAC;gBAED,MAAM,YAAY,GAAG,kBAAkB,CAAC;gBACxC,MAAM,YAAY,GAAG;oBACnB,YAAY;oBACZ,aAAa,EAAG,aAAa,CAAC,SAAS;oBACvC,KAAK,EAAW,QAAQ;iBACzB,CAAC;gBAEF,mDAAmD;gBACnD,MAAM,UAAU,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE;oBACtD,YAAY;oBACZ,aAAa,EAAE,aAAa,CAAC,SAAS;iBACvC,CAAC,CAAC;gBAEH,+BAA+B;gBAC/B,MAAM,gBAAgB,GAAa,EAAE,CAAC;gBACtC,IAAI,MAAM,GAAG,SAAS,CAAC;gBACvB,IAAI,UAAU,GAAG,CAAC,CAAC;gBACnB,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,eAAe;gBAE5D,OAAO,UAAU,GAAG,aAAa,EAAE,CAAC;oBAClC,MAAM,IAAI,GAAG,MAAM,UAAU,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,GAAG,YAAY,EAAE,MAAM,EAAE,CAAC,CAAC;oBAC/E,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBACtB,MAAM;oBACR,CAAC;oBAED,gBAAgB,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;oBAExD,6CAA6C;oBAC7C,IAAI,IAAI,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;wBAC3B,MAAM,CAAC,YAAY;oBACrB,CAAC;oBACD,MAAM,GAAG,UAAU,CAAC,6BAA6B,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;oBACtE,UAAU,EAAE,CAAC;gBACf,CAAC;gBAED,iEAAiE;gBACjE,MAAM,CAAC,gBAAgB,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;YACxE,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/esm/tests/fuzz/jws.fuzz.spec.js

@@ -0,0 +1,100 @@
+import { describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { DwnError } from '../../src/core/dwn-error.js';
+import { Encoder } from '../../src/utils/encoder.js';
+import { Jws } from '../../src/utils/jws.js';
+import { generalJws, malformedJws } from './arbitraries/jws.arbitrary.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 200;
+describe('Jws — fuzz', () => {
+    describe('decodePlainObjectPayload — crash resistance with random JWS', () => {
+        it('should throw DwnError on malformed JWS payloads, never an unhandled error', () => {
+            fc.assert(fc.property(generalJws(), (jws) => {
+                try {
+                    Jws.decodePlainObjectPayload(jws);
+                    // If it succeeds, the decoded value should be a plain object
+                }
+                catch (error) {
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns });
+        });
+    });
+    describe('decodePlainObjectPayload — crash resistance with malformed JWS', () => {
+        it('should handle completely malformed JWS-like structures', () => {
+            fc.assert(fc.property(malformedJws(), (jws) => {
+                try {
+                    Jws.decodePlainObjectPayload(jws);
+                }
+                catch (error) {
+                    // Any error is acceptable — verify no unhandled crash
+                    expect(error).toBeDefined();
+                }
+            }), { numRuns });
+        });
+    });
+    describe('decodePlainObjectPayload — roundtrip with valid encoded objects', () => {
+        it('should decode a payload that was properly base64url-encoded from a plain object', () => {
+            fc.assert(fc.property(fc.dictionary(fc.string({ minLength: 1, maxLength: 20 }), fc.oneof(fc.string(), fc.integer(), fc.boolean(), fc.constant(null)), { minKeys: 1, maxKeys: 5 }), (obj) => {
+                const payload = Encoder.stringToBase64Url(JSON.stringify(obj));
+                const jws = { payload, signatures: [] };
+                const decoded = Jws.decodePlainObjectPayload(jws);
+                expect(decoded).toEqual(obj);
+            }), { numRuns });
+        });
+    });
+    describe('decodePlainObjectPayload — rejects non-object payloads', () => {
+        it('should throw DwnError when the decoded payload is not a plain object', () => {
+            fc.assert(fc.property(fc.oneof(fc.string(), fc.integer(), fc.boolean(), fc.constant(null), fc.array(fc.integer())), (value) => {
+                const payload = Encoder.stringToBase64Url(JSON.stringify(value));
+                const jws = { payload, signatures: [] };
+                try {
+                    Jws.decodePlainObjectPayload(jws);
+                    // Arrays might pass isPlainObject, strings/numbers/booleans/null should not
+                    if (typeof value !== 'object' || value === null || Array.isArray(value)) {
+                        expect(true).toBe(false); // should have thrown
+                    }
+                }
+                catch (error) {
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns });
+        });
+    });
+    describe('getKid — crash resistance', () => {
+        it('should handle signature entries with random protected headers', () => {
+            fc.assert(fc.property(fc.string({ minLength: 1, maxLength: 100 }), (protectedHeader) => {
+                try {
+                    Jws.getKid({ protected: protectedHeader, signature: 'dummysig' });
+                }
+                catch {
+                    // Any error is acceptable — we verify no unhandled crash
+                }
+            }), { numRuns });
+        });
+    });
+    describe('getKid — roundtrip with valid protected headers', () => {
+        it('should extract kid from a properly encoded protected header', () => {
+            fc.assert(fc.property(fc.string({ minLength: 1, maxLength: 50 }), (kid) => {
+                const protectedHeader = Encoder.stringToBase64Url(JSON.stringify({ kid }));
+                const extracted = Jws.getKid({ protected: protectedHeader, signature: 'dummysig' });
+                expect(extracted).toBe(kid);
+            }), { numRuns });
+        });
+    });
+    describe('extractDid — property', () => {
+        it('should extract the part before # from a kid string', () => {
+            fc.assert(fc.property(fc.string({ minLength: 1, maxLength: 50 }).filter((s) => !s.includes('#')), fc.string({ minLength: 1, maxLength: 20 }), (did, fragment) => {
+                const kid = `${did}#${fragment}`;
+                const extracted = Jws.extractDid(kid);
+                expect(extracted).toBe(did);
+            }), { numRuns });
+        });
+        it('should return the full string if there is no # separator', () => {
+            fc.assert(fc.property(fc.string({ minLength: 1, maxLength: 50 }).filter((s) => !s.includes('#')), (kid) => {
+                const extracted = Jws.extractDid(kid);
+                expect(extracted).toBe(kid);
+            }), { numRuns });
+        });
+    });
+});
+//# sourceMappingURL=jws.fuzz.spec.js.map

package/dist/esm/tests/fuzz/jws.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jws.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/jws.fuzz.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAEhD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AACrD,OAAO,EAAE,GAAG,EAAE,MAAM,wBAAwB,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAE1E,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D,QAAQ,CAAC,YAAY,EAAE,GAAG,EAAE;IAE1B,QAAQ,CAAC,6DAA6D,EAAE,GAAG,EAAE;QAC3E,EAAE,CAAC,2EAA2E,EAAE,GAAG,EAAE;YACnF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;gBAChC,IAAI,CAAC;oBACH,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;oBAClC,6DAA6D;gBAC/D,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gEAAgE,EAAE,GAAG,EAAE;QAC9E,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,YAAY,EAAE,EAAE,CAAC,GAAG,EAAE,EAAE;gBAClC,IAAI,CAAC;oBACH,GAAG,CAAC,wBAAwB,CAAC,GAAU,CAAC,CAAC;gBAC3C,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,sDAAsD;oBACtD,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC9B,CAAC;YACH,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iEAAiE,EAAE,GAAG,EAAE;QAC/E,EAAE,CAAC,iFAAiF,EAAE,GAAG,EAAE;YACzF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,UAAU,CACX,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EACpE,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAC3B,EACD,CAAC,GAAG,EAAE,EAAE;gBACN,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC/D,MAAM,GAAG,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;gBACxC,MAAM,OAAO,GAAG,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;gBAClD,MAAM,CAAC,OAAO,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAC/B,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;QACtE,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,MAAM,EAAE,EACX,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EACjB,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,OAAO,EAAE,CAAC,CACvB,EACD,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,OAAO,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;gBACjE,MAAM,GAAG,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC;gBACxC,IAAI,CAAC;oBACH,GAAG,CAAC,wBAAwB,CAAC,GAAG,CAAC,CAAC;oBAClC,4EAA4E;oBAC5E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;wBACxE,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,qBAAqB;oBACjD,CAAC;gBACH,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;gBACzC,CAAC;YACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;QACzC,EAAE,CAAC,+DAA+D,EAAE,GAAG,EAAE;YACvE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAC3C,CAAC,eAAe,EAAE,EAAE;gBAClB,IAAI,CAAC;oBACH,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;gBACpE,CAAC;gBAAC,MAAM,CAAC;oBACP,yDAAyD;gBAC3D,CAAC;YACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,iDAAiD,EAAE,GAAG,EAAE;QAC/D,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,CAAC,GAAG,EAAE,EAAE;gBACN,MAAM,eAAe,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;gBAC3E,MAAM,SAAS,GAAG,GAAG,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,eAAe,EAAE,SAAS,EAAE,UAAU,EAAE,CAAC,CAAC;gBACpF,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAC1E,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,CAAC,GAAG,EAAE,QAAQ,EAAE,EAAE;gBAChB,MAAM,GAAG,GAAG,GAAG,GAAG,IAAI,QAAQ,EAAE,CAAC;gBACjC,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;gBACtC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAC1E,CAAC,GAAG,EAAE,EAAE;gBACN,MAAM,SAAS,GAAG,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;gBACtC,MAAM,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC9B,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/esm/tests/fuzz/message-store.fuzz.spec.js

@@ -0,0 +1,154 @@
+import { afterAll, afterEach, beforeAll, describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { Message } from '../../src/core/message.js';
+import { MessageStoreLevel } from '../../src/store/message-store-level.js';
+import { SortDirection } from '../../src/types/query-types.js';
+import { genericMessage, genericMessageSet, indexKeyValues, tenantDid } from './arbitraries/store.arbitrary.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 100;
+describe('MessageStoreLevel — fuzz', () => {
+    let messageStore;
+    const testDataPath = '__TESTDATA__/fuzz-message-store';
+    const tenant = 'did:example:fuzz-message-tenant';
+    beforeAll(async () => {
+        messageStore = new MessageStoreLevel({
+            blockstoreLocation: `${testDataPath}/blocks`,
+            indexLocation: `${testDataPath}/index`,
+        });
+        await messageStore.open();
+    });
+    afterEach(async () => {
+        await messageStore.clear();
+    });
+    afterAll(async () => {
+        await messageStore.close();
+    });
+    describe('put/get CID roundtrip', () => {
+        it('should store and retrieve any message by its computed CID', async () => {
+            await fc.assert(fc.asyncProperty(genericMessage(), indexKeyValues(), async (message, indexes) => {
+                await messageStore.clear();
+                // Ensure indexes include the message's own timestamp
+                indexes.messageTimestamp = message.descriptor.messageTimestamp;
+                await messageStore.put(tenant, message, indexes);
+                const cid = await Message.getCid(message);
+                const retrieved = await messageStore.get(tenant, cid);
+                expect(retrieved).toBeDefined();
+                expect(retrieved.descriptor.interface).toBe(message.descriptor.interface);
+                expect(retrieved.descriptor.method).toBe(message.descriptor.method);
+                expect(retrieved.descriptor.messageTimestamp).toBe(message.descriptor.messageTimestamp);
+                // The retrieved CID should match the original
+                const retrievedCid = await Message.getCid(retrieved);
+                expect(retrievedCid).toBe(cid);
+            }), { numRuns: Math.min(numRuns, 30) });
+        });
+    });
+    describe('get returns undefined for missing CID', () => {
+        it('should return undefined for a CID that was never stored', async () => {
+            await fc.assert(fc.asyncProperty(genericMessage(), async (message) => {
+                // Don't store the message — just compute its CID
+                const cid = await Message.getCid(message);
+                const retrieved = await messageStore.get(tenant, cid);
+                expect(retrieved).toBeUndefined();
+            }), { numRuns: Math.min(numRuns, 30) });
+        });
+    });
+    describe('put/delete roundtrip', () => {
+        it('should return undefined after deleting a message', async () => {
+            await fc.assert(fc.asyncProperty(genericMessage(), indexKeyValues(), async (message, indexes) => {
+                await messageStore.clear();
+                indexes.messageTimestamp = message.descriptor.messageTimestamp;
+                await messageStore.put(tenant, message, indexes);
+                const cid = await Message.getCid(message);
+                await messageStore.delete(tenant, cid);
+                const retrieved = await messageStore.get(tenant, cid);
+                expect(retrieved).toBeUndefined();
+            }), { numRuns: Math.min(numRuns, 30) });
+        });
+    });
+    describe('tenant isolation', () => {
+        it('should not allow one tenant to read another tenant\'s messages', async () => {
+            await fc.assert(fc.asyncProperty(tenantDid(), tenantDid(), genericMessage(), indexKeyValues(), async (tenant1, tenant2, message, indexes) => {
+                if (tenant1 === tenant2) {
+                    return;
+                }
+                await messageStore.clear();
+                indexes.messageTimestamp = message.descriptor.messageTimestamp;
+                await messageStore.put(tenant1, message, indexes);
+                const cid = await Message.getCid(message);
+                const retrieved = await messageStore.get(tenant2, cid);
+                expect(retrieved).toBeUndefined();
+            }), { numRuns: Math.min(numRuns, 20) });
+        });
+    });
+    describe('count consistency', () => {
+        it('should return the same count as query results length', async () => {
+            await fc.assert(fc.asyncProperty(genericMessageSet({ minSize: 2, maxSize: 8 }), async (items) => {
+                await messageStore.clear();
+                for (const { message, indexes } of items) {
+                    indexes.messageTimestamp = message.descriptor.messageTimestamp;
+                    await messageStore.put(tenant, message, indexes);
+                }
+                const messageSort = { messageTimestamp: SortDirection.Ascending };
+                const count = await messageStore.count(tenant, [{}], messageSort);
+                const { messages } = await messageStore.query(tenant, [{}], messageSort);
+                expect(count).toBe(messages.length);
+            }), { numRuns: Math.min(numRuns, 15) });
+        });
+    });
+    describe('pagination completeness', () => {
+        it('should yield all messages when paginating with any page size', async () => {
+            await fc.assert(fc.asyncProperty(genericMessageSet({ minSize: 3, maxSize: 8 }), fc.integer({ min: 1, max: 4 }), async (items, pageSize) => {
+                await messageStore.clear();
+                for (const { message, indexes } of items) {
+                    indexes.messageTimestamp = message.descriptor.messageTimestamp;
+                    await messageStore.put(tenant, message, indexes);
+                }
+                const messageSort = { messageTimestamp: SortDirection.Ascending };
+                // Get all results without pagination for reference
+                const { messages: allMessages } = await messageStore.query(tenant, [{}], messageSort);
+                // Paginate through all results
+                const paginatedCids = [];
+                let cursor = undefined;
+                let iterations = 0;
+                const maxIterations = allMessages.length + 5; // safety bound
+                while (iterations < maxIterations) {
+                    const { messages: page, cursor: nextCursor } = await messageStore.query(tenant, [{}], messageSort, { limit: pageSize, cursor });
+                    if (page.length === 0) {
+                        break;
+                    }
+                    for (const msg of page) {
+                        paginatedCids.push(await Message.getCid(msg));
+                    }
+                    if (!nextCursor) {
+                        break;
+                    }
+                    cursor = nextCursor;
+                    iterations++;
+                }
+                // All CIDs from pagination should match all CIDs from full query
+                const allCids = [];
+                for (const msg of allMessages) {
+                    allCids.push(await Message.getCid(msg));
+                }
+                expect(paginatedCids).toEqual(allCids);
+            }), { numRuns: Math.min(numRuns, 10) });
+        });
+    });
+    describe('idempotent put', () => {
+        it('should allow putting the same message twice without error', async () => {
+            await fc.assert(fc.asyncProperty(genericMessage(), indexKeyValues(), async (message, indexes) => {
+                await messageStore.clear();
+                indexes.messageTimestamp = message.descriptor.messageTimestamp;
+                // Put the same message twice
+                await messageStore.put(tenant, message, indexes);
+                await messageStore.put(tenant, message, indexes);
+                const cid = await Message.getCid(message);
+                const retrieved = await messageStore.get(tenant, cid);
+                expect(retrieved).toBeDefined();
+                // Should still only count as one message
+                const count = await messageStore.count(tenant, [{}], { messageTimestamp: SortDirection.Ascending });
+                expect(count).toBe(1);
+            }), { numRuns: Math.min(numRuns, 20) });
+        });
+    });
+});
+//# sourceMappingURL=message-store.fuzz.spec.js.map

package/dist/esm/tests/fuzz/message-store.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"message-store.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/message-store.fuzz.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAEhF,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,OAAO,EAAE,MAAM,2BAA2B,CAAC;AACpD,OAAO,EAAE,iBAAiB,EAAE,MAAM,wCAAwC,CAAC;AAC3E,OAAO,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAC/D,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,cAAc,EAAE,SAAS,EAAE,MAAM,kCAAkC,CAAC;AAEhH,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D,QAAQ,CAAC,0BAA0B,EAAE,GAAG,EAAE;IACxC,IAAI,YAA+B,CAAC;IACpC,MAAM,YAAY,GAAG,iCAAiC,CAAC;IACvD,MAAM,MAAM,GAAG,iCAAiC,CAAC;IAEjD,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,YAAY,GAAG,IAAI,iBAAiB,CAAC;YACnC,kBAAkB,EAAG,GAAG,YAAY,SAAS;YAC7C,aAAa,EAAQ,GAAG,YAAY,QAAQ;SAC7C,CAAC,CAAC;QACH,MAAM,YAAY,CAAC,IAAI,EAAE,CAAC;IAC5B,CAAC,CAAC,CAAC;IAEH,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,IAAI,EAAE;QAClB,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;IAC7B,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uBAAuB,EAAE,GAAG,EAAE;QACrC,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;YACzE,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,cAAc,EAAE,EAChB,cAAc,EAAE,EAChB,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;gBACzB,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;gBAE3B,qDAAqD;gBACrD,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC;gBAE/D,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAEjD,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC1C,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAEtD,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;gBAChC,MAAM,CAAC,SAAU,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;gBAC3E,MAAM,CAAC,SAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;gBACrE,MAAM,CAAC,SAAU,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;gBAEzF,8CAA8C;gBAC9C,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,SAAU,CAAC,CAAC;gBACtD,MAAM,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACjC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;QACrD,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;YACvE,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,cAAc,EAAE,EAChB,KAAK,EAAE,OAAO,EAAE,EAAE;gBAChB,iDAAiD;gBACjD,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAE1C,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACtD,MAAM,CAAC,SAAS,CAAC,CAAC,aAAa,EAAE,CAAC;YACpC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,sBAAsB,EAAE,GAAG,EAAE;QACpC,EAAE,CAAC,kDAAkD,EAAE,KAAK,IAAI,EAAE;YAChE,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,cAAc,EAAE,EAChB,cAAc,EAAE,EAChB,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;gBACzB,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;gBAE3B,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC;gBAC/D,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAEjD,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC1C,MAAM,YAAY,CAAC,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBAEvC,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACtD,MAAM,CAAC,SAAS,CAAC,CAAC,aAAa,EAAE,CAAC;YACpC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kBAAkB,EAAE,GAAG,EAAE;QAChC,EAAE,CAAC,gEAAgE,EAAE,KAAK,IAAI,EAAE;YAC9E,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,SAAS,EAAE,EACX,SAAS,EAAE,EACX,cAAc,EAAE,EAChB,cAAc,EAAE,EAChB,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;gBAC3C,IAAI,OAAO,KAAK,OAAO,EAAE,CAAC;oBAAC,OAAO;gBAAC,CAAC;gBAEpC,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;gBAE3B,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC;gBAC/D,MAAM,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAElD,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC1C,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;gBACvD,MAAM,CAAC,SAAS,CAAC,CAAC,aAAa,EAAE,CAAC;YACpC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mBAAmB,EAAE,GAAG,EAAE;QACjC,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,iBAAiB,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAC7C,KAAK,EAAE,KAAK,EAAE,EAAE;gBACd,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;gBAE3B,KAAK,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;oBACzC,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC;oBAC/D,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBACnD,CAAC;gBAED,MAAM,WAAW,GAAG,EAAE,gBAAgB,EAAE,aAAa,CAAC,SAAS,EAAE,CAAC;gBAClE,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;gBAClE,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;gBAEzE,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;YACtC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;QACvC,EAAE,CAAC,8DAA8D,EAAE,KAAK,IAAI,EAAE;YAC5E,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,iBAAiB,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,EAC7C,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,EAC9B,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,EAAE;gBACxB,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;gBAE3B,KAAK,MAAM,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,KAAK,EAAE,CAAC;oBACzC,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC;oBAC/D,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBACnD,CAAC;gBAED,MAAM,WAAW,GAAG,EAAE,gBAAgB,EAAE,aAAa,CAAC,SAAS,EAAE,CAAC;gBAElE,mDAAmD;gBACnD,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,CAAC,CAAC;gBAEtF,+BAA+B;gBAC/B,MAAM,aAAa,GAAa,EAAE,CAAC;gBACnC,IAAI,MAAM,GAAG,SAAS,CAAC;gBACvB,IAAI,UAAU,GAAG,CAAC,CAAC;gBACnB,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,eAAe;gBAE7D,OAAO,UAAU,GAAG,aAAa,EAAE,CAAC;oBAClC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,YAAY,CAAC,KAAK,CACrE,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,WAAW,EAAE,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,CACvD,CAAC;oBAEF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;wBAAC,MAAM;oBAAC,CAAC;oBAEjC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;wBACvB,aAAa,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;oBAChD,CAAC;oBAED,IAAI,CAAC,UAAU,EAAE,CAAC;wBAAC,MAAM;oBAAC,CAAC;oBAC3B,MAAM,GAAG,UAAU,CAAC;oBACpB,UAAU,EAAE,CAAC;gBACf,CAAC;gBAED,iEAAiE;gBACjE,MAAM,OAAO,GAAa,EAAE,CAAC;gBAC7B,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;oBAC9B,OAAO,CAAC,IAAI,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;gBAC1C,CAAC;gBACD,MAAM,CAAC,aAAa,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACzC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,gBAAgB,EAAE,GAAG,EAAE;QAC9B,EAAE,CAAC,2DAA2D,EAAE,KAAK,IAAI,EAAE;YACzE,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,cAAc,EAAE,EAChB,cAAc,EAAE,EAChB,KAAK,EAAE,OAAO,EAAE,OAAO,EAAE,EAAE;gBACzB,MAAM,YAAY,CAAC,KAAK,EAAE,CAAC;gBAE3B,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,UAAU,CAAC,gBAAgB,CAAC;gBAE/D,6BAA6B;gBAC7B,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBACjD,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;gBAEjD,MAAM,GAAG,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;gBAC1C,MAAM,SAAS,GAAG,MAAM,YAAY,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;gBACtD,MAAM,CAAC,SAAS,CAAC,CAAC,WAAW,EAAE,CAAC;gBAEhC,yCAAyC;gBACzC,MAAM,KAAK,GAAG,MAAM,YAAY,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,EAAE,EAAE,gBAAgB,EAAE,aAAa,CAAC,SAAS,EAAE,CAAC,CAAC;gBACpG,MAAM,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;YACxB,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/esm/tests/fuzz/object.fuzz.spec.js

@@ -0,0 +1,82 @@
+import { describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { isEmptyObject, removeEmptyObjects, removeUndefinedProperties } from '../../src/utils/object.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 100;
+/**
+ * Generates nested objects with a mix of primitives, undefined values, and empty objects.
+ * Excludes null in nested positions — the production code's recursive helpers
+ * (`removeUndefinedProperties`, `removeEmptyObjects`) call `Object.keys()` on
+ * values where `typeof value === 'object'`, which includes `null` and would throw.
+ * Real DWN messages use `undefined` (not `null`) for absent properties.
+ */
+function nestedObject() {
+    const leaf = fc.oneof(fc.string(), fc.integer(), fc.boolean(), fc.constant(undefined), fc.constant({}));
+    return fc.dictionary(fc.string({ minLength: 1, maxLength: 10 }), fc.oneof(leaf, fc.dictionary(fc.string({ minLength: 1, maxLength: 8 }), leaf, { minKeys: 0, maxKeys: 3 })), { minKeys: 0, maxKeys: 5 });
+}
+/** Check that no property in the (possibly nested) object is undefined. */
+function hasNoUndefined(obj) {
+    for (const key of Object.keys(obj)) {
+        if (obj[key] === undefined) {
+            return false;
+        }
+        if (typeof obj[key] === 'object' && obj[key] !== null) {
+            if (!hasNoUndefined(obj[key])) {
+                return false;
+            }
+        }
+    }
+    return true;
+}
+describe('Object utilities — fuzz', () => {
+    describe('isEmptyObject', () => {
+        it('should return false for all primitives', () => {
+            fc.assert(fc.property(fc.oneof(fc.string(), fc.integer(), fc.float(), fc.boolean(), fc.constant(undefined)), (value) => {
+                expect(isEmptyObject(value)).toBe(false);
+            }), { numRuns });
+        });
+    });
+    describe('removeUndefinedProperties — idempotency', () => {
+        it('should produce the same result when applied twice', () => {
+            fc.assert(fc.property(nestedObject(), (obj) => {
+                const clone1 = structuredClone(obj);
+                const clone2 = structuredClone(obj);
+                removeUndefinedProperties(clone1);
+                removeUndefinedProperties(clone2);
+                removeUndefinedProperties(clone2); // second pass
+                expect(clone2).toEqual(clone1);
+            }), { numRuns });
+        });
+        it('should leave no undefined properties after one pass', () => {
+            fc.assert(fc.property(nestedObject(), (obj) => {
+                removeUndefinedProperties(obj);
+                expect(hasNoUndefined(obj)).toBe(true);
+            }), { numRuns });
+        });
+    });
+    describe('removeEmptyObjects — idempotency', () => {
+        it('should produce the same result when applied twice', () => {
+            fc.assert(fc.property(nestedObject(), (obj) => {
+                const clone1 = structuredClone(obj);
+                const clone2 = structuredClone(obj);
+                removeEmptyObjects(clone1);
+                removeEmptyObjects(clone2);
+                removeEmptyObjects(clone2); // second pass
+                expect(clone2).toEqual(clone1);
+            }), { numRuns });
+        });
+    });
+    describe('removeUndefinedProperties then removeEmptyObjects — clean result', () => {
+        it('should leave an object with no undefined properties and no empty objects', () => {
+            fc.assert(fc.property(nestedObject(), (obj) => {
+                removeUndefinedProperties(obj);
+                removeEmptyObjects(obj);
+                // After both passes: no undefined, no empty objects
+                expect(hasNoUndefined(obj)).toBe(true);
+                for (const key of Object.keys(obj)) {
+                    expect(isEmptyObject(obj[key])).toBe(false);
+                }
+            }), { numRuns });
+        });
+    });
+});
+//# sourceMappingURL=object.fuzz.spec.js.map

package/dist/esm/tests/fuzz/object.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"object.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/object.fuzz.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAEhD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,aAAa,EAAE,kBAAkB,EAAE,yBAAyB,EAAE,MAAM,2BAA2B,CAAC;AAEzG,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D;;;;;;GAMG;AACH,SAAS,YAAY;IACnB,MAAM,IAAI,GAAG,EAAE,CAAC,KAAK,CACnB,EAAE,CAAC,MAAM,EAAE,EACX,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,EACtB,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAChB,CAAC;IACF,OAAO,EAAE,CAAC,UAAU,CAClB,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,EAAE,CAAC,KAAK,CACN,IAAI,EACJ,EAAE,CAAC,UAAU,CACX,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACzC,IAAI,EACJ,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAC3B,CACF,EACD,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAC3B,CAAC;AACJ,CAAC;AAED,2EAA2E;AAC3E,SAAS,cAAc,CAAC,GAA4B;IAClD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;QACnC,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YAAC,OAAO,KAAK,CAAC;QAAC,CAAC;QAC7C,IAAI,OAAO,GAAG,CAAC,GAAG,CAAC,KAAK,QAAQ,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;YACtD,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,GAAG,CAA4B,CAAC,EAAE,CAAC;gBAAC,OAAO,KAAK,CAAC;YAAC,CAAC;QAC7E,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,QAAQ,CAAC,yBAAyB,EAAE,GAAG,EAAE;IAEvC,QAAQ,CAAC,eAAe,EAAE,GAAG,EAAE;QAC7B,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,MAAM,EAAE,EACX,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,KAAK,EAAE,EACV,EAAE,CAAC,OAAO,EAAE,EACZ,EAAE,CAAC,QAAQ,CAAC,SAAS,CAAC,CACvB,EACD,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC3C,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,yCAAyC,EAAE,GAAG,EAAE;QACvD,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,YAAY,EAAE,EACd,CAAC,GAAG,EAAE,EAAE;gBACN,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;gBACpC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;gBAEpC,yBAAyB,CAAC,MAAM,CAAC,CAAC;gBAClC,yBAAyB,CAAC,MAAM,CAAC,CAAC;gBAClC,yBAAyB,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc;gBAEjD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,YAAY,EAAE,EACd,CAAC,GAAG,EAAE,EAAE;gBACN,yBAAyB,CAAC,GAAG,CAAC,CAAC;gBAC/B,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAChD,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,YAAY,EAAE,EACd,CAAC,GAAG,EAAE,EAAE;gBACN,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;gBACpC,MAAM,MAAM,GAAG,eAAe,CAAC,GAAG,CAAC,CAAC;gBAEpC,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBAC3B,kBAAkB,CAAC,MAAM,CAAC,CAAC;gBAC3B,kBAAkB,CAAC,MAAM,CAAC,CAAC,CAAC,cAAc;gBAE1C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kEAAkE,EAAE,GAAG,EAAE;QAChF,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,YAAY,EAAE,EACd,CAAC,GAAG,EAAE,EAAE;gBACN,yBAAyB,CAAC,GAAG,CAAC,CAAC;gBAC/B,kBAAkB,CAAC,GAAG,CAAC,CAAC;gBAExB,oDAAoD;gBACpD,MAAM,CAAC,cAAc,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACvC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}