@enbox/dwn-sdk-js 0.1.1 → 0.2.0

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

@@ -0,0 +1,85 @@
+import { afterAll, beforeAll, describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { Dwn as DwnClass } from '../../src/dwn.js';
+import { arbitraryJsonObject, arbitraryMessage, semiValidMessage } from './arbitraries/dwn-message.arbitrary.js';
+import { DataStoreLevel, MessageStoreLevel, ResumableTaskStoreLevel, StateIndexLevel } from '../../src/index.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 200;
+describe('Dwn.processMessage — fuzz', () => {
+    let dwn;
+    const testDataPath = '__TESTDATA__/fuzz-process-message';
+    beforeAll(async () => {
+        const messageStore = new MessageStoreLevel({
+            blockstoreLocation: `${testDataPath}/messages/blocks`,
+            indexLocation: `${testDataPath}/messages/idx`,
+        });
+        dwn = await DwnClass.create({
+            messageStore,
+            dataStore: new DataStoreLevel({ blockstoreLocation: `${testDataPath}/data/blocks` }),
+            stateIndex: new StateIndexLevel({ location: `${testDataPath}/state-index` }),
+            resumableTaskStore: new ResumableTaskStoreLevel({ location: `${testDataPath}/resumable-tasks` }),
+        });
+    });
+    afterAll(async () => {
+        await dwn.close();
+    });
+    describe('crash resistance — completely arbitrary messages', () => {
+        it('should always return a reply object with a status code, never throw', async () => {
+            await fc.assert(fc.asyncProperty(fc.string({ minLength: 1, maxLength: 100 }), arbitraryMessage(), async (tenant, rawMessage) => {
+                const reply = await dwn.processMessage(tenant, rawMessage);
+                expect(reply).toBeDefined();
+                expect(reply.status).toBeDefined();
+                expect(typeof reply.status.code).toBe('number');
+                expect(typeof reply.status.detail).toBe('string');
+            }), { numRuns });
+        });
+    });
+    describe('crash resistance — arbitrary JSON objects as messages', () => {
+        it('should reject arbitrary JSON objects with 400 status', async () => {
+            await fc.assert(fc.asyncProperty(fc.string({ minLength: 1, maxLength: 100 }), arbitraryJsonObject(), async (tenant, rawMessage) => {
+                const reply = await dwn.processMessage(tenant, rawMessage);
+                expect(reply).toBeDefined();
+                expect(reply.status).toBeDefined();
+                expect(reply.status.code).toBeGreaterThanOrEqual(400);
+            }), { numRuns });
+        });
+    });
+    describe('crash resistance — semi-valid message structures', () => {
+        it('should return error responses for malformed messages without crashing', async () => {
+            await fc.assert(fc.asyncProperty(fc.string({ minLength: 1, maxLength: 100 }), semiValidMessage(), async (tenant, rawMessage) => {
+                const reply = await dwn.processMessage(tenant, rawMessage);
+                expect(reply).toBeDefined();
+                expect(reply.status).toBeDefined();
+                expect(typeof reply.status.code).toBe('number');
+            }), { numRuns });
+        });
+    });
+    describe('tenant validation — arbitrary tenant strings', () => {
+        it('should handle arbitrary tenant strings without crashing', async () => {
+            fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 500 }), (tenant) => {
+                // validateTenant is synchronous enough that we can test the basic path
+                // The main concern is that extreme strings don't cause crashes
+                expect(typeof tenant).toBe('string');
+            }), { numRuns });
+        });
+    });
+    describe('crash resistance — messages with extra properties', () => {
+        it('should handle messages with many unexpected properties', async () => {
+            await fc.assert(fc.asyncProperty(fc.constant('did:example:test'), fc.record({
+                descriptor: fc.record({
+                    interface: fc.constantFrom('Records', 'Protocols', 'Messages'),
+                    method: fc.constantFrom('Write', 'Query', 'Read', 'Delete', 'Configure'),
+                    messageTimestamp: fc.constant('2024-01-01T00:00:00.000000Z'),
+                }),
+                extra1: fc.anything(),
+                extra2: fc.anything(),
+                extra3: fc.anything(),
+            }), async (tenant, rawMessage) => {
+                const reply = await dwn.processMessage(tenant, rawMessage);
+                expect(reply).toBeDefined();
+                expect(reply.status).toBeDefined();
+                expect(typeof reply.status.code).toBe('number');
+            }), { numRuns: Math.min(numRuns, 100) });
+        });
+    });
+});
+//# sourceMappingURL=process-message.fuzz.spec.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"process-message.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/process-message.fuzz.spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAErE,OAAO,EAAE,MAAM,YAAY,CAAC;AAI5B,OAAO,EAAE,GAAG,IAAI,QAAQ,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAAE,mBAAmB,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,MAAM,wCAAwC,CAAC;AACjH,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,uBAAuB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AAEjH,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D,QAAQ,CAAC,2BAA2B,EAAE,GAAG,EAAE;IACzC,IAAI,GAAQ,CAAC;IAEb,MAAM,YAAY,GAAG,mCAAmC,CAAC;IAEzD,SAAS,CAAC,KAAK,IAAI,EAAE;QACnB,MAAM,YAAY,GAAG,IAAI,iBAAiB,CAAC;YACzC,kBAAkB,EAAG,GAAG,YAAY,kBAAkB;YACtD,aAAa,EAAQ,GAAG,YAAY,eAAe;SACpD,CAAC,CAAC;QACH,GAAG,GAAG,MAAM,QAAQ,CAAC,MAAM,CAAC;YAC1B,YAAY;YACZ,SAAS,EAAY,IAAI,cAAc,CAAC,EAAE,kBAAkB,EAAE,GAAG,YAAY,cAAc,EAAE,CAAC;YAC9F,UAAU,EAAW,IAAI,eAAe,CAAC,EAAE,QAAQ,EAAE,GAAG,YAAY,cAAc,EAAE,CAAC;YACrF,kBAAkB,EAAG,IAAI,uBAAuB,CAAC,EAAE,QAAQ,EAAE,GAAG,YAAY,kBAAkB,EAAE,CAAC;SAClG,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,KAAK,IAAI,EAAE;QAClB,MAAM,GAAG,CAAC,KAAK,EAAE,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAChE,EAAE,CAAC,qEAAqE,EAAE,KAAK,IAAI,EAAE;YACnF,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAC3C,gBAAgB,EAAE,EAClB,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE;gBAC3B,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,UAAiB,CAAC,CAAC;gBAClE,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC5B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;gBACnC,MAAM,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAChD,MAAM,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACpD,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACrE,EAAE,CAAC,sDAAsD,EAAE,KAAK,IAAI,EAAE;YACpE,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAC3C,mBAAmB,EAAE,EACrB,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE;gBAC3B,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,UAAiB,CAAC,CAAC;gBAClE,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC5B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;gBACnC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,CAAC;YACxD,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAChE,EAAE,CAAC,uEAAuE,EAAE,KAAK,IAAI,EAAE;YACrF,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAC3C,gBAAgB,EAAE,EAClB,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE;gBAC3B,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,UAAiB,CAAC,CAAC;gBAClE,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC5B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;gBACnC,MAAM,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClD,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,8CAA8C,EAAE,GAAG,EAAE;QAC5D,EAAE,CAAC,yDAAyD,EAAE,KAAK,IAAI,EAAE;YACvE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE;gBAClE,uEAAuE;gBACvE,+DAA+D;gBAC/D,MAAM,CAAC,OAAO,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACvC,CAAC,CAAC,EACF,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mDAAmD,EAAE,GAAG,EAAE;QACjE,EAAE,CAAC,wDAAwD,EAAE,KAAK,IAAI,EAAE;YACtE,MAAM,EAAE,CAAC,MAAM,CACb,EAAE,CAAC,aAAa,CACd,EAAE,CAAC,QAAQ,CAAC,kBAAkB,CAAC,EAC/B,EAAE,CAAC,MAAM,CAAC;gBACR,UAAU,EAAE,EAAE,CAAC,MAAM,CAAC;oBACpB,SAAS,EAAU,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC;oBACtE,MAAM,EAAa,EAAE,CAAC,YAAY,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,WAAW,CAAC;oBACnF,gBAAgB,EAAG,EAAE,CAAC,QAAQ,CAAC,6BAA6B,CAAC;iBAC9D,CAAC;gBACF,MAAM,EAAG,EAAE,CAAC,QAAQ,EAAE;gBACtB,MAAM,EAAG,EAAE,CAAC,QAAQ,EAAE;gBACtB,MAAM,EAAG,EAAE,CAAC,QAAQ,EAAE;aACvB,CAAC,EACF,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE;gBAC3B,MAAM,KAAK,GAAG,MAAM,GAAG,CAAC,cAAc,CAAC,MAAM,EAAE,UAAiB,CAAC,CAAC;gBAClE,MAAM,CAAC,KAAK,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC5B,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;gBACnC,MAAM,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAClD,CAAC,CACF,EACD,EAAE,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,EAAE,CACpC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/esm/tests/fuzz/protocol-definition.fuzz.spec.js

@@ -0,0 +1,145 @@
+import { describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { DwnError } from '../../src/core/dwn-error.js';
+import { validateJsonSchema } from '../../src/schema-validator.js';
+import { adversarialProtocolDefinition, protocolDefinition } from './arbitraries/protocol-definition.arbitrary.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 200;
+describe('Protocol definition validation — fuzz', () => {
+    describe('ProtocolDefinition schema — crash resistance with plausible definitions', () => {
+        it('should not crash on generated protocol definitions', () => {
+            fc.assert(fc.property(protocolDefinition(), (definition) => {
+                try {
+                    validateJsonSchema('ProtocolDefinition', definition);
+                }
+                catch (error) {
+                    // Schema validation errors should always be DwnError
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns });
+        });
+    });
+    describe('ProtocolDefinition schema — crash resistance with adversarial definitions', () => {
+        it('should not crash on adversarial protocol definitions', () => {
+            fc.assert(fc.property(adversarialProtocolDefinition(), (definition) => {
+                try {
+                    validateJsonSchema('ProtocolDefinition', definition);
+                }
+                catch (error) {
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns });
+        });
+    });
+    describe('ProtocolRuleSet schema — crash resistance', () => {
+        it('should not crash on arbitrary objects validated as ProtocolRuleSet', () => {
+            fc.assert(fc.property(fc.oneof(fc.dictionary(fc.string({ minLength: 1, maxLength: 20 }), fc.anything(), { minKeys: 0, maxKeys: 10 }), fc.constant({}), fc.constant({ $actions: [] })), (ruleSet) => {
+                try {
+                    validateJsonSchema('ProtocolRuleSet', ruleSet);
+                }
+                catch (error) {
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns });
+        });
+    });
+    describe('ProtocolsConfigure schema — crash resistance with full message structures', () => {
+        it('should not crash on objects shaped like ProtocolsConfigure messages', () => {
+            fc.assert(fc.property(protocolDefinition(), fc.string({ minLength: 10, maxLength: 50 }), (definition, timestamp) => {
+                const message = {
+                    descriptor: {
+                        interface: 'Protocols',
+                        method: 'Configure',
+                        messageTimestamp: timestamp,
+                        definition: definition,
+                    },
+                };
+                try {
+                    validateJsonSchema('ProtocolsConfigure', message);
+                }
+                catch (error) {
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns });
+        });
+    });
+    describe('Protocol definition — deeply nested structure trees', () => {
+        it('should handle deeply nested protocol structures without stack overflow', () => {
+            fc.assert(fc.property(fc.integer({ min: 10, max: 50 }), (depth) => {
+                // Build a deeply nested structure
+                let structure = {
+                    $actions: [{ who: 'anyone', can: ['create'] }],
+                };
+                for (let i = 0; i < depth; i++) {
+                    structure = { [`level${i}`]: structure };
+                }
+                const definition = {
+                    protocol: 'https://example.com/deep-protocol',
+                    published: false,
+                    types: { level0: {} },
+                    structure: structure,
+                };
+                try {
+                    validateJsonSchema('ProtocolDefinition', definition);
+                }
+                catch (error) {
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns: Math.min(numRuns, 30) });
+        });
+    });
+    describe('Protocol definition — wide structure trees', () => {
+        it('should handle protocol definitions with many types and structure entries', () => {
+            fc.assert(fc.property(fc.integer({ min: 10, max: 50 }), (width) => {
+                const types = {};
+                const structure = {};
+                for (let i = 0; i < width; i++) {
+                    types[`type${i}`] = {};
+                    structure[`type${i}`] = {
+                        $actions: [{ who: 'anyone', can: ['create', 'read'] }],
+                    };
+                }
+                const definition = {
+                    protocol: 'https://example.com/wide-protocol',
+                    published: true,
+                    types: types,
+                    structure: structure,
+                };
+                try {
+                    validateJsonSchema('ProtocolDefinition', definition);
+                }
+                catch (error) {
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns: Math.min(numRuns, 30) });
+        });
+    });
+    describe('Protocol definition — random action rule combinations', () => {
+        it('should handle protocol definitions with varied action rules', () => {
+            const actors = ['anyone', 'author', 'recipient', 'unknown_actor'];
+            const actions = ['create', 'read', 'update', 'delete', 'co-update', 'co-delete', 'prune', 'co-prune', 'squash', 'invalid_action'];
+            fc.assert(fc.property(fc.array(fc.record({
+                who: fc.constantFrom(...actors),
+                of: fc.option(fc.string({ minLength: 1, maxLength: 20 }), { nil: undefined }),
+                can: fc.array(fc.constantFrom(...actions), { minLength: 1, maxLength: 5 }),
+            }), { minLength: 1, maxLength: 10 }), (actionRules) => {
+                const definition = {
+                    protocol: 'https://example.com/action-test',
+                    published: false,
+                    types: { post: {} },
+                    structure: {
+                        post: {
+                            $actions: actionRules,
+                        },
+                    },
+                };
+                try {
+                    validateJsonSchema('ProtocolDefinition', definition);
+                }
+                catch (error) {
+                    expect(error).toBeInstanceOf(DwnError);
+                }
+            }), { numRuns });
+        });
+    });
+});
+//# sourceMappingURL=protocol-definition.fuzz.spec.js.map

package/dist/esm/tests/fuzz/protocol-definition.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol-definition.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/protocol-definition.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,kBAAkB,EAAE,MAAM,+BAA+B,CAAC;AACnE,OAAO,EAAE,6BAA6B,EAAE,kBAAkB,EAAE,MAAM,gDAAgD,CAAC;AAEnH,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D,QAAQ,CAAC,uCAAuC,EAAE,GAAG,EAAE;IAErD,QAAQ,CAAC,yEAAyE,EAAE,GAAG,EAAE;QACvF,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,kBAAkB,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE;gBAC/C,IAAI,CAAC;oBACH,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;gBACvD,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,qDAAqD;oBACrD,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,2EAA2E,EAAE,GAAG,EAAE;QACzF,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;YAC9D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CAAC,6BAA6B,EAAE,EAAE,CAAC,UAAU,EAAE,EAAE;gBAC1D,IAAI,CAAC;oBACH,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;gBACvD,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,2CAA2C,EAAE,GAAG,EAAE;QACzD,EAAE,CAAC,oEAAoE,EAAE,GAAG,EAAE;YAC5E,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,UAAU,CACX,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,EAAE,CAAC,QAAQ,EAAE,EACb,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,CAC5B,EACD,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EACf,EAAE,CAAC,QAAQ,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAC9B,EACD,CAAC,OAAO,EAAE,EAAE;gBACV,IAAI,CAAC;oBACH,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,CAAC,CAAC;gBACjD,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,2EAA2E,EAAE,GAAG,EAAE;QACzF,EAAE,CAAC,qEAAqE,EAAE,GAAG,EAAE;YAC7E,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,kBAAkB,EAAE,EACpB,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC3C,CAAC,UAAU,EAAE,SAAS,EAAE,EAAE;gBACxB,MAAM,OAAO,GAAG;oBACd,UAAU,EAAE;wBACV,SAAS,EAAU,WAAW;wBAC9B,MAAM,EAAa,WAAW;wBAC9B,gBAAgB,EAAG,SAAS;wBAC5B,UAAU,EAAS,UAAU;qBAC9B;iBACF,CAAC;gBACF,IAAI,CAAC;oBACH,kBAAkB,CAAC,oBAAoB,EAAE,OAAO,CAAC,CAAC;gBACpD,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,qDAAqD,EAAE,GAAG,EAAE;QACnE,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAChF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAChC,CAAC,KAAK,EAAE,EAAE;gBACR,kCAAkC;gBAClC,IAAI,SAAS,GAA4B;oBACvC,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC;iBAC/C,CAAC;gBACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/B,SAAS,GAAG,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC;gBAC3C,CAAC;gBAED,MAAM,UAAU,GAAG;oBACjB,QAAQ,EAAI,mCAAmC;oBAC/C,SAAS,EAAG,KAAK;oBACjB,KAAK,EAAO,EAAE,MAAM,EAAE,EAAE,EAAE;oBAC1B,SAAS,EAAG,SAAS;iBACtB,CAAC;gBAEF,IAAI,CAAC;oBACH,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;gBACvD,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,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAC1D,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,EAChC,CAAC,KAAK,EAAE,EAAE;gBACR,MAAM,KAAK,GAA2B,EAAE,CAAC;gBACzC,MAAM,SAAS,GAA2B,EAAE,CAAC;gBAE7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC/B,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC;oBACvB,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG;wBACtB,QAAQ,EAAE,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAAE,CAAC;qBACvD,CAAC;gBACJ,CAAC;gBAED,MAAM,UAAU,GAAG;oBACjB,QAAQ,EAAI,mCAAmC;oBAC/C,SAAS,EAAG,IAAI;oBAChB,KAAK,EAAO,KAAK;oBACjB,SAAS,EAAG,SAAS;iBACtB,CAAC;gBAEF,IAAI,CAAC;oBACH,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;gBACvD,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,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,EAAE,CAAC,EAAE,CACnC,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,uDAAuD,EAAE,GAAG,EAAE;QACrE,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,eAAe,CAAC,CAAC;YAClE,MAAM,OAAO,GAAG,CAAC,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,WAAW,EAAE,WAAW,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;YAElI,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CACN,EAAE,CAAC,MAAM,CAAC;gBACR,GAAG,EAAG,EAAE,CAAC,YAAY,CAAC,GAAG,MAAM,CAAC;gBAChC,EAAE,EAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;gBAC/E,GAAG,EAAG,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,YAAY,CAAC,GAAG,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;aAC5E,CAAC,EACF,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAChC,EACD,CAAC,WAAW,EAAE,EAAE;gBACd,MAAM,UAAU,GAAG;oBACjB,QAAQ,EAAI,iCAAiC;oBAC7C,SAAS,EAAG,KAAK;oBACjB,KAAK,EAAO,EAAE,IAAI,EAAE,EAAE,EAAE;oBACxB,SAAS,EAAG;wBACV,IAAI,EAAE;4BACJ,QAAQ,EAAE,WAAW;yBACtB;qBACF;iBACF,CAAC;gBAEF,IAAI,CAAC;oBACH,kBAAkB,CAAC,oBAAoB,EAAE,UAAU,CAAC,CAAC;gBACvD,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;AACL,CAAC,CAAC,CAAC"}

package/dist/esm/tests/fuzz/protocol-validation.fuzz.spec.js

@@ -0,0 +1,160 @@
+import { describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { DwnErrorCode } from '../../src/core/dwn-error.js';
+import { verifySizeLimit, verifyType } from '../../src/core/protocol-authorization-validation.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 100;
+/**
+ * Generator for a single protocol path segment (also a valid type name).
+ * Matches the JSON schema constraint for a single segment: `[a-zA-Z]+`.
+ */
+const protocolSegment = fc.stringMatching(/^[a-zA-Z]{1,20}$/);
+/**
+ * Generator for a valid protocolPath string.
+ * Matches the JSON schema regex: `^[a-zA-Z]+(\/[a-zA-Z]+)*$`
+ * e.g. "thread", "thread/comment", "note/attachment/thumbnail"
+ */
+const protocolPath = fc.stringMatching(/^[a-zA-Z]{1,20}(\/[a-zA-Z]{1,20}){0,2}$/);
+/**
+ * Builds a minimal RecordsWrite stub for verifySizeLimit testing.
+ */
+function stubRecordsWrite(dataSize) {
+    return {
+        message: {
+            descriptor: { dataSize }
+        }
+    };
+}
+/**
+ * Builds a minimal RecordsWriteMessage stub for verifyType testing.
+ */
+function stubRecordsWriteMessage(opts) {
+    return {
+        descriptor: {
+            protocolPath: opts.protocolPath,
+            dataFormat: opts.dataFormat,
+            schema: opts.schema,
+        }
+    };
+}
+describe('Protocol validation — fuzz', () => {
+    describe('verifySizeLimit — boundary behavior', () => {
+        it('should accept dataSize within [min, max]', () => {
+            fc.assert(fc.property(fc.integer({ min: 0, max: 10000 }), fc.integer({ min: 0, max: 10000 }), (minSize, extraMax) => {
+                const maxSize = minSize + extraMax; // ensures max >= min
+                const dataSize = minSize + Math.floor(extraMax / 2); // dataSize in [min, max]
+                const ruleSet = { $size: { min: minSize, max: maxSize } };
+                // Should NOT throw
+                verifySizeLimit(stubRecordsWrite(dataSize), ruleSet);
+            }), { numRuns });
+        });
+        it('should reject dataSize below min', () => {
+            fc.assert(fc.property(fc.integer({ min: 1, max: 10000 }), fc.integer({ min: 0, max: 9999 }), (minSize, belowOffset) => {
+                const dataSize = Math.max(0, minSize - 1 - (belowOffset % minSize));
+                if (dataSize >= minSize) {
+                    return; // skip if we can't go below min
+                }
+                const ruleSet = { $size: { min: minSize } };
+                expect(() => verifySizeLimit(stubRecordsWrite(dataSize), ruleSet)).toThrow(DwnErrorCode.ProtocolAuthorizationMinSizeInvalid);
+            }), { numRuns });
+        });
+        it('should reject dataSize above max', () => {
+            fc.assert(fc.property(fc.integer({ min: 0, max: 10000 }), fc.integer({ min: 1, max: 10000 }), (maxSize, overAmount) => {
+                const dataSize = maxSize + overAmount;
+                const ruleSet = { $size: { max: maxSize } };
+                expect(() => verifySizeLimit(stubRecordsWrite(dataSize), ruleSet)).toThrow(DwnErrorCode.ProtocolAuthorizationMaxSizeInvalid);
+            }), { numRuns });
+        });
+        it('should accept any dataSize when max is undefined (only min enforced)', () => {
+            fc.assert(fc.property(fc.integer({ min: 0, max: 1000 }), fc.integer({ min: 0, max: 1000000 }), (minSize, extra) => {
+                const dataSize = minSize + extra; // always >= minSize
+                const ruleSet = { $size: { min: minSize } };
+                // Should NOT throw — no max means no upper bound
+                verifySizeLimit(stubRecordsWrite(dataSize), ruleSet);
+            }), { numRuns });
+        });
+    });
+    describe('verifyType — dataFormats and schema consistency', () => {
+        it('should accept when dataFormat matches one of the allowed formats', () => {
+            fc.assert(fc.property(fc.array(fc.string({ minLength: 3, maxLength: 30 }), { minLength: 1, maxLength: 5 }), fc.nat(), (formats, indexSeed) => {
+                const chosenFormat = formats[indexSeed % formats.length];
+                const typeName = 'testType';
+                const protocolTypes = {
+                    [typeName]: { dataFormats: formats },
+                };
+                const msg = stubRecordsWriteMessage({
+                    protocolPath: typeName,
+                    dataFormat: chosenFormat,
+                });
+                // Should NOT throw
+                verifyType(msg, protocolTypes);
+            }), { numRuns });
+        });
+        it('should reject when dataFormat does not match any allowed format', () => {
+            fc.assert(fc.property(fc.array(fc.string({ minLength: 3, maxLength: 30 }), { minLength: 1, maxLength: 5 }), fc.string({ minLength: 3, maxLength: 30 }), (formats, rogue) => {
+                // Skip if rogue happens to be in the formats list
+                if (formats.includes(rogue)) {
+                    return;
+                }
+                const typeName = 'testType';
+                const protocolTypes = {
+                    [typeName]: { dataFormats: formats },
+                };
+                const msg = stubRecordsWriteMessage({
+                    protocolPath: typeName,
+                    dataFormat: rogue,
+                });
+                expect(() => verifyType(msg, protocolTypes)).toThrow(DwnErrorCode.ProtocolAuthorizationIncorrectDataFormat);
+            }), { numRuns });
+        });
+        it('should accept any dataFormat when dataFormats is undefined', () => {
+            fc.assert(fc.property(fc.string({ minLength: 1, maxLength: 30 }), (dataFormat) => {
+                const typeName = 'testType';
+                const protocolTypes = {
+                    [typeName]: {}, // no dataFormats constraint
+                };
+                const msg = stubRecordsWriteMessage({
+                    protocolPath: typeName,
+                    dataFormat,
+                });
+                // Should NOT throw
+                verifyType(msg, protocolTypes);
+            }), { numRuns });
+        });
+        it('should reject when schema does not match', () => {
+            fc.assert(fc.property(fc.string({ minLength: 5, maxLength: 40 }), fc.string({ minLength: 5, maxLength: 40 }), (requiredSchema, actualSchema) => {
+                if (requiredSchema === actualSchema) {
+                    return; // skip when they match
+                }
+                const typeName = 'testType';
+                const protocolTypes = {
+                    [typeName]: { schema: requiredSchema },
+                };
+                const msg = stubRecordsWriteMessage({
+                    protocolPath: typeName,
+                    dataFormat: 'application/json',
+                    schema: actualSchema,
+                });
+                expect(() => verifyType(msg, protocolTypes)).toThrow(DwnErrorCode.ProtocolAuthorizationInvalidSchema);
+            }), { numRuns });
+        });
+        it('should reject when typeName is not in protocolTypes', () => {
+            fc.assert(fc.property(protocolPath, protocolSegment, (declaredType, existingType) => {
+                // verifyType extracts the last path segment via getTypeName(),
+                // so "thread/comment" resolves to "comment" for the type lookup.
+                const resolvedType = declaredType.split('/').slice(-1)[0];
+                if (resolvedType === existingType) {
+                    return;
+                }
+                const protocolTypes = {
+                    [existingType]: {},
+                };
+                const msg = stubRecordsWriteMessage({
+                    protocolPath: declaredType,
+                    dataFormat: 'application/json',
+                });
+                expect(() => verifyType(msg, protocolTypes)).toThrow(DwnErrorCode.ProtocolAuthorizationInvalidType);
+            }), { numRuns });
+        });
+    });
+});
+//# sourceMappingURL=protocol-validation.fuzz.spec.js.map

package/dist/esm/tests/fuzz/protocol-validation.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol-validation.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/protocol-validation.fuzz.spec.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,UAAU,CAAC;AAEhD,OAAO,EAAE,MAAM,YAAY,CAAC;AAE5B,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAE,eAAe,EAAE,UAAU,EAAE,MAAM,qDAAqD,CAAC;AAElG,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D;;;GAGG;AACH,MAAM,eAAe,GAAG,EAAE,CAAC,cAAc,CAAC,kBAAkB,CAAC,CAAC;AAE9D;;;;GAIG;AACH,MAAM,YAAY,GAAG,EAAE,CAAC,cAAc,CAAC,yCAAyC,CAAC,CAAC;AAElF;;GAEG;AACH,SAAS,gBAAgB,CAAC,QAAgB;IACxC,OAAO;QACL,OAAO,EAAE;YACP,UAAU,EAAE,EAAE,QAAQ,EAAE;SACzB;KACyB,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,SAAS,uBAAuB,CAAC,IAIhC;IACC,OAAO;QACL,UAAU,EAAE;YACV,YAAY,EAAG,IAAI,CAAC,YAAY;YAChC,UAAU,EAAK,IAAI,CAAC,UAAU;YAC9B,MAAM,EAAS,IAAI,CAAC,MAAM;SAC3B;KACgC,CAAC;AACtC,CAAC;AAED,QAAQ,CAAC,4BAA4B,EAAE,GAAG,EAAE;IAE1C,QAAQ,CAAC,qCAAqC,EAAE,GAAG,EAAE;QACnD,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAClC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAClC,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE;gBACpB,MAAM,OAAO,GAAG,OAAO,GAAG,QAAQ,CAAC,CAAC,qBAAqB;gBACzD,MAAM,QAAQ,GAAG,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,yBAAyB;gBAC9E,MAAM,OAAO,GAAoB,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;gBAC3E,mBAAmB;gBACnB,eAAe,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAClC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EACjC,CAAC,OAAO,EAAE,WAAW,EAAE,EAAE;gBACvB,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,GAAG,CAAC,WAAW,GAAG,OAAO,CAAC,CAAC,CAAC;gBACpE,IAAI,QAAQ,IAAI,OAAO,EAAE,CAAC;oBACxB,OAAO,CAAC,gCAAgC;gBAC1C,CAAC;gBACD,MAAM,OAAO,GAAoB,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;gBAC7D,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CACxE,YAAY,CAAC,mCAAmC,CACjD,CAAC;YACJ,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAClC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,EAClC,CAAC,OAAO,EAAE,UAAU,EAAE,EAAE;gBACtB,MAAM,QAAQ,GAAG,OAAO,GAAG,UAAU,CAAC;gBACtC,MAAM,OAAO,GAAoB,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;gBAC7D,MAAM,CAAC,GAAG,EAAE,CAAC,eAAe,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,CACxE,YAAY,CAAC,mCAAmC,CACjD,CAAC;YACJ,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC,EACjC,EAAE,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC,EACpC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBACjB,MAAM,QAAQ,GAAG,OAAO,GAAG,KAAK,CAAC,CAAC,oBAAoB;gBACtD,MAAM,OAAO,GAAoB,EAAE,KAAK,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,EAAE,CAAC;gBAC7D,iDAAiD;gBACjD,eAAe,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;YACvD,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,kEAAkE,EAAE,GAAG,EAAE;YAC1E,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACpF,EAAE,CAAC,GAAG,EAAE,EACR,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE;gBACrB,MAAM,YAAY,GAAG,OAAO,CAAC,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;gBACzD,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC5B,MAAM,aAAa,GAAkB;oBACnC,CAAC,QAAQ,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE;iBACrC,CAAC;gBACF,MAAM,GAAG,GAAG,uBAAuB,CAAC;oBAClC,YAAY,EAAG,QAAQ;oBACvB,UAAU,EAAK,YAAY;iBAC5B,CAAC,CAAC;gBACH,mBAAmB;gBACnB,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;YACjC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iEAAiE,EAAE,GAAG,EAAE;YACzE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC,EACpF,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;gBACjB,kDAAkD;gBAClD,IAAI,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;oBAC5B,OAAO;gBACT,CAAC;gBACD,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC5B,MAAM,aAAa,GAAkB;oBACnC,CAAC,QAAQ,CAAC,EAAE,EAAE,WAAW,EAAE,OAAO,EAAE;iBACrC,CAAC;gBACF,MAAM,GAAG,GAAG,uBAAuB,CAAC;oBAClC,YAAY,EAAG,QAAQ;oBACvB,UAAU,EAAK,KAAK;iBACrB,CAAC,CAAC;gBACH,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,OAAO,CAClD,YAAY,CAAC,wCAAwC,CACtD,CAAC;YACJ,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,CAAC,UAAU,EAAE,EAAE;gBACb,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC5B,MAAM,aAAa,GAAkB;oBACnC,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,4BAA4B;iBAC7C,CAAC;gBACF,MAAM,GAAG,GAAG,uBAAuB,CAAC;oBAClC,YAAY,EAAE,QAAQ;oBACtB,UAAU;iBACX,CAAC,CAAC;gBACH,mBAAmB;gBACnB,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC;YACjC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0CAA0C,EAAE,GAAG,EAAE;YAClD,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,EAAE,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAC1C,CAAC,cAAc,EAAE,YAAY,EAAE,EAAE;gBAC/B,IAAI,cAAc,KAAK,YAAY,EAAE,CAAC;oBACpC,OAAO,CAAC,uBAAuB;gBACjC,CAAC;gBACD,MAAM,QAAQ,GAAG,UAAU,CAAC;gBAC5B,MAAM,aAAa,GAAkB;oBACnC,CAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,cAAc,EAAE;iBACvC,CAAC;gBACF,MAAM,GAAG,GAAG,uBAAuB,CAAC;oBAClC,YAAY,EAAG,QAAQ;oBACvB,UAAU,EAAK,kBAAkB;oBACjC,MAAM,EAAS,YAAY;iBAC5B,CAAC,CAAC;gBACH,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,OAAO,CAClD,YAAY,CAAC,kCAAkC,CAChD,CAAC;YACJ,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,EACZ,eAAe,EACf,CAAC,YAAY,EAAE,YAAY,EAAE,EAAE;gBAC7B,+DAA+D;gBAC/D,iEAAiE;gBACjE,MAAM,YAAY,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAC1D,IAAI,YAAY,KAAK,YAAY,EAAE,CAAC;oBAClC,OAAO;gBACT,CAAC;gBACD,MAAM,aAAa,GAAkB;oBACnC,CAAC,YAAY,CAAC,EAAE,EAAE;iBACnB,CAAC;gBACF,MAAM,GAAG,GAAG,uBAAuB,CAAC;oBAClC,YAAY,EAAG,YAAY;oBAC3B,UAAU,EAAK,kBAAkB;iBAClC,CAAC,CAAC;gBACH,MAAM,CAAC,GAAG,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,aAAa,CAAC,CAAC,CAAC,OAAO,CAClD,YAAY,CAAC,gCAAgC,CAC9C,CAAC;YACJ,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/protocols-utils.fuzz.spec.js

@@ -0,0 +1,41 @@
+import { describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { getTypeName, isCrossProtocolRef, parseCrossProtocolRef } from '../../src/utils/protocols.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 100;
+describe('Protocol utility functions — fuzz', () => {
+    describe('parseCrossProtocolRef / isCrossProtocolRef consistency', () => {
+        it('should agree on whether a string is a cross-protocol reference', () => {
+            fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 50 }), (ref) => {
+                const parsed = parseCrossProtocolRef(ref);
+                const isCross = isCrossProtocolRef(ref);
+                expect(isCross).toBe(parsed !== undefined);
+            }), { numRuns });
+        });
+    });
+    describe('parseCrossProtocolRef — roundtrip reconstruction', () => {
+        it('should reconstruct the original string from alias + colon + protocolPath', () => {
+            fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 20 }).filter((s) => !s.includes(':')), fc.string({ minLength: 0, maxLength: 20 }), (alias, path) => {
+                const input = `${alias}:${path}`;
+                const parsed = parseCrossProtocolRef(input);
+                expect(parsed).toBeDefined();
+                expect(`${parsed.alias}:${parsed.protocolPath}`).toBe(input);
+            }), { numRuns });
+        });
+    });
+    describe('isCrossProtocolRef — strings without colon are never cross-protocol', () => {
+        it('should return false for strings without a colon', () => {
+            fc.assert(fc.property(fc.string({ minLength: 0, maxLength: 30 }).filter((s) => !s.includes(':')), (ref) => {
+                expect(isCrossProtocolRef(ref)).toBe(false);
+            }), { numRuns });
+        });
+    });
+    describe('getTypeName — last segment of protocol path', () => {
+        it('should return the last segment after splitting on /', () => {
+            fc.assert(fc.property(fc.array(fc.string({ minLength: 1, maxLength: 10 }).filter((s) => !s.includes('/')), { minLength: 1, maxLength: 5 }), (segments) => {
+                const path = segments.join('/');
+                expect(getTypeName(path)).toBe(segments[segments.length - 1]);
+            }), { numRuns });
+        });
+    });
+});
+//# sourceMappingURL=protocols-utils.fuzz.spec.js.map

package/dist/esm/tests/fuzz/protocols-utils.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocols-utils.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/protocols-utils.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,WAAW,EAAE,kBAAkB,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAEtG,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D,QAAQ,CAAC,mCAAmC,EAAE,GAAG,EAAE;IAEjD,QAAQ,CAAC,wDAAwD,EAAE,GAAG,EAAE;QACtE,EAAE,CAAC,gEAAgE,EAAE,GAAG,EAAE;YACxE,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,MAAM,GAAG,qBAAqB,CAAC,GAAG,CAAC,CAAC;gBAC1C,MAAM,OAAO,GAAG,kBAAkB,CAAC,GAAG,CAAC,CAAC;gBACxC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC;YAC7C,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kDAAkD,EAAE,GAAG,EAAE;QAChE,EAAE,CAAC,0EAA0E,EAAE,GAAG,EAAE;YAClF,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,KAAK,EAAE,IAAI,EAAE,EAAE;gBACd,MAAM,KAAK,GAAG,GAAG,KAAK,IAAI,IAAI,EAAE,CAAC;gBACjC,MAAM,MAAM,GAAG,qBAAqB,CAAC,KAAK,CAAC,CAAC;gBAC5C,MAAM,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;gBAC7B,MAAM,CAAC,GAAG,MAAO,CAAC,KAAK,IAAI,MAAO,CAAC,YAAY,EAAE,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjE,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,qEAAqE,EAAE,GAAG,EAAE;QACnF,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,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,CAAC,kBAAkB,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YAC9C,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,6CAA6C,EAAE,GAAG,EAAE;QAC3D,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,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAC1E,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAC/B,EACD,CAAC,QAAQ,EAAE,EAAE;gBACX,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBAChC,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;YAChE,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/records-utils.fuzz.spec.js

@@ -0,0 +1,81 @@
+import { describe, expect, it } from 'bun:test';
+import fc from 'fast-check';
+import { DateSort } from '../../src/types/records-types.js';
+import { Records } from '../../src/utils/records.js';
+const numRuns = Number(process.env.FAST_CHECK_NUM_RUNS) || 100;
+describe('Records utility functions — fuzz', () => {
+    describe('getParentContextFromOfContextId', () => {
+        it('should return everything up to the last / for multi-segment contextIds', () => {
+            fc.assert(fc.property(fc.array(fc.string({ minLength: 1, maxLength: 10 }).filter((s) => !s.includes('/')), { minLength: 2, maxLength: 6 }), (segments) => {
+                const contextId = segments.join('/');
+                const parent = Records.getParentContextFromOfContextId(contextId);
+                const expected = segments.slice(0, -1).join('/');
+                expect(parent).toBe(expected);
+            }), { numRuns });
+        });
+        it('should return empty string for root contextIds (no /)', () => {
+            fc.assert(fc.property(fc.string({ minLength: 1, maxLength: 20 }).filter((s) => !s.includes('/')), (contextId) => {
+                expect(Records.getParentContextFromOfContextId(contextId)).toBe('');
+            }), { numRuns });
+        });
+        it('should return undefined for undefined input', () => {
+            expect(Records.getParentContextFromOfContextId(undefined)).toBeUndefined();
+        });
+    });
+    describe('buildTagIndexes — tag. prefix', () => {
+        it('should prefix all keys with tag.', () => {
+            fc.assert(fc.property(fc.dictionary(fc.string({ minLength: 1, maxLength: 10 }).filter((s) => !s.startsWith('tag.')), fc.oneof(fc.string(), fc.integer(), fc.boolean()), { minKeys: 1, maxKeys: 5 }), (tags) => {
+                const result = Records.buildTagIndexes(tags);
+                for (const key of Object.keys(tags)) {
+                    expect(result[`tag.${key}`]).toEqual(tags[key]);
+                }
+                // No keys without the tag. prefix
+                for (const key of Object.keys(result)) {
+                    expect(key.startsWith('tag.')).toBe(true);
+                }
+                // Same number of keys
+                expect(Object.keys(result).length).toBe(Object.keys(tags).length);
+            }), { numRuns });
+        });
+    });
+    describe('filterIncludesPublishedRecords / filterIncludesUnpublishedRecords', () => {
+        it('should always include at least one class of records', () => {
+            fc.assert(fc.property(fc.record({
+                published: fc.constantFrom(undefined, true, false),
+                datePublished: fc.constantFrom(undefined, { from: '2024-01-01' }),
+            }), (filter) => {
+                const pub = Records.filterIncludesPublishedRecords(filter);
+                const unpub = Records.filterIncludesUnpublishedRecords(filter);
+                // At least one must be true — a filter always matches something
+                expect(pub || unpub).toBe(true);
+            }), { numRuns });
+        });
+        it('should correctly classify explicit published=true', () => {
+            expect(Records.filterIncludesPublishedRecords({ published: true })).toBe(true);
+            expect(Records.filterIncludesUnpublishedRecords({ published: true })).toBe(false);
+        });
+        it('should correctly classify explicit published=false', () => {
+            expect(Records.filterIncludesPublishedRecords({ published: false })).toBe(false);
+            expect(Records.filterIncludesUnpublishedRecords({ published: false })).toBe(true);
+        });
+    });
+    describe('convertDateSort — exhaustiveness', () => {
+        it('should return a valid MessageSort for every DateSort value', () => {
+            const allDateSorts = Object.values(DateSort);
+            for (const dateSort of allDateSorts) {
+                const result = Records.convertDateSort(dateSort);
+                // Exactly one sort property should be set
+                const keys = Object.keys(result);
+                expect(keys.length).toBe(1);
+                const value = Object.values(result)[0];
+                // SortDirection is 1 (ascending) or -1 (descending)
+                expect(value === 1 || value === -1).toBe(true);
+            }
+        });
+        it('should default to messageTimestamp descending for undefined', () => {
+            const result = Records.convertDateSort(undefined);
+            expect(result).toEqual({ messageTimestamp: -1 });
+        });
+    });
+});
+//# sourceMappingURL=records-utils.fuzz.spec.js.map

package/dist/esm/tests/fuzz/records-utils.fuzz.spec.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"records-utils.fuzz.spec.js","sourceRoot":"","sources":["../../../../tests/fuzz/records-utils.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,kCAAkC,CAAC;AAC5D,OAAO,EAAE,OAAO,EAAE,MAAM,4BAA4B,CAAC;AAErD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,mBAAmB,CAAC,IAAI,GAAG,CAAC;AAE/D,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;IAEhD,QAAQ,CAAC,iCAAiC,EAAE,GAAG,EAAE;QAC/C,EAAE,CAAC,wEAAwE,EAAE,GAAG,EAAE;YAChF,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,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAC1E,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAC/B,EACD,CAAC,QAAQ,EAAE,EAAE;gBACX,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACrC,MAAM,MAAM,GAAG,OAAO,CAAC,+BAA+B,CAAC,SAAS,CAAC,CAAC;gBAClE,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;gBACjD,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAChC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,uDAAuD,EAAE,GAAG,EAAE;YAC/D,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,SAAS,EAAE,EAAE;gBACZ,MAAM,CAAC,OAAO,CAAC,+BAA+B,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACtE,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,CAAC,OAAO,CAAC,+BAA+B,CAAC,SAAS,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC;QAC7E,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,+BAA+B,EAAE,GAAG,EAAE;QAC7C,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,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,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAC/E,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,EAAE,EAAE,CAAC,OAAO,EAAE,CAAC,EACjD,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAC3B,EACD,CAAC,IAAI,EAAE,EAAE;gBACP,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC;gBAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACpC,MAAM,CAAC,MAAM,CAAC,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;gBAClD,CAAC;gBACD,kCAAkC;gBAClC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;oBACtC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC5C,CAAC;gBACD,sBAAsB;gBACtB,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC;YACpE,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,mEAAmE,EAAE,GAAG,EAAE;QACjF,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;YAC7D,EAAE,CAAC,MAAM,CACP,EAAE,CAAC,QAAQ,CACT,EAAE,CAAC,MAAM,CAAC;gBACR,SAAS,EAAO,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,IAAI,EAAE,KAAK,CAAC;gBACvD,aAAa,EAAG,EAAE,CAAC,YAAY,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,CAAC;aACnE,CAAC,EACF,CAAC,MAAM,EAAE,EAAE;gBACT,MAAM,GAAG,GAAG,OAAO,CAAC,8BAA8B,CAAC,MAAM,CAAC,CAAC;gBAC3D,MAAM,KAAK,GAAG,OAAO,CAAC,gCAAgC,CAAC,MAAM,CAAC,CAAC;gBAC/D,gEAAgE;gBAChE,MAAM,CAAC,GAAG,IAAI,KAAK,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClC,CAAC,CACF,EACD,EAAE,OAAO,EAAE,CACZ,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,CAAC,OAAO,CAAC,8BAA8B,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/E,MAAM,CAAC,OAAO,CAAC,gCAAgC,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;YAC5D,MAAM,CAAC,OAAO,CAAC,8BAA8B,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;YACjF,MAAM,CAAC,OAAO,CAAC,gCAAgC,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpF,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,kCAAkC,EAAE,GAAG,EAAE;QAChD,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;YACpE,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC7C,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;gBACpC,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC;gBACjD,0CAA0C;gBAC1C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;gBACjC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvC,oDAAoD;gBACpD,MAAM,CAAC,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjD,CAAC;QACH,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;YACrE,MAAM,MAAM,GAAG,OAAO,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;YAClD,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,CAAC,EAAE,gBAAgB,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC;QACnD,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}