@agentplat/mesh-conformance 0.3.0-beta.1

package/dist/durability.js

@@ -0,0 +1,332 @@
+import { computeMeshDurableValueDigest, normalizeMeshDurableScope, verifyMeshDurableJournal, } from "@agentplat/mesh/durability";
+import { assertCondition, awaitConformanceOperation, runBoundedCase, runConformanceCleanup, runnerContext, } from "./runner.js";
+export async function runMeshDurabilityConformance(options) {
+    const context = runnerContext(options);
+    if ([
+        "durability.inbox",
+        "durability.atomic_transition",
+        "durability.fenced_claims",
+        "durability.journal_chain",
+        "durability.snapshot_migration",
+    ].some((capability) => context.declaredCapabilities.has(capability)) &&
+        options.allowDestructiveTests !== true) {
+        throw new TypeError("Mesh durability conformance requires destructive-test consent");
+    }
+    return Object.freeze([
+        await repositoryCase(options.factory, context, "durability.inbox.commit_receipt", "durability.inbox", "inbox_commit", verifyInboxCommit),
+        await repositoryCase(options.factory, context, "durability.inbox.conflict", "durability.inbox", "inbox_conflict", verifyInboxConflict),
+        await repositoryCase(options.factory, context, "durability.transition.atomic", "durability.atomic_transition", "atomic_transition", verifyAtomicTransition),
+        await repositoryCase(options.factory, context, "durability.claim.stale_fenced", "durability.fenced_claims", "stale_claim", verifyStaleClaim),
+        await repositoryCase(options.factory, context, "durability.journal.chain", "durability.journal_chain", "journal_chain", verifyJournalChain),
+        await runBoundedCase({
+            caseId: "durability.snapshot.migration",
+            capability: "durability.snapshot_migration",
+            context,
+            run: (signal) => withAdapter(options.factory, context, signal, "snapshot_migration", async (adapter) => {
+                assertSnapshotAdapter(adapter);
+                await verifySnapshotMigration(adapter);
+            }),
+        }),
+    ]);
+}
+async function repositoryCase(factory, context, caseId, capability, scenario, verify) {
+    return runBoundedCase({
+        caseId,
+        capability,
+        context,
+        run: (signal) => withAdapter(factory, context, signal, scenario, async (adapter) => {
+            assertRepositoryAdapter(adapter);
+            await verify(adapter);
+        }),
+    });
+}
+async function verifyInboxCommit(adapter) {
+    const received = await adapter.repository.receive({
+        scope: adapter.scope,
+        envelope: adapter.inboundEnvelopes[0],
+    });
+    assertCondition(received.accepted && received.duplicate === false);
+    const restarted = await adapter.restartRepository();
+    assertCondition(restarted !== adapter.repository);
+    const claimed = await restarted.claimInbox({
+        scope: adapter.scope,
+        workerId: "commit-worker",
+        limit: 16,
+        leaseDurationMs: 30_000,
+    });
+    assertCondition(claimed.length === 1);
+    assertCondition(claimed[0].messageId === adapter.inboundEnvelopes[0].messageId);
+}
+async function verifyInboxConflict(adapter) {
+    const original = adapter.inboundEnvelopes[0];
+    const conflicting = adapter.conflictingInboundEnvelope;
+    assertCondition(original.messageId === conflicting.messageId);
+    assertCondition((await computeMeshDurableValueDigest(original)) !==
+        (await computeMeshDurableValueDigest(conflicting)));
+    const first = await adapter.repository.receive({
+        scope: adapter.scope,
+        envelope: original,
+    });
+    const second = await adapter.repository.receive({
+        scope: adapter.scope,
+        envelope: conflicting,
+    });
+    assertCondition(first.accepted);
+    assertCondition(!second.accepted && second.code === "message_conflict");
+}
+async function verifyAtomicTransition(adapter) {
+    await receivePair(adapter);
+    const firstClaims = await claimInbox(adapter, "atomic-worker-a", 30_000);
+    assertCondition(firstClaims.length === 2);
+    const [first, second] = sortInboxClaims(firstClaims);
+    const firstState = Object.freeze({ conformanceRevision: 1 });
+    const firstCommit = await adapter.repository.commitInboxTransition({
+        inbox: first,
+        expectedSnapshotRevision: 0,
+        transitionId: "conformance-atomic-1",
+        outcome: "applied",
+        nextState: firstState,
+        nextStateDescriptor: {
+            format: "application/vnd.agentplat.conformance-state+json",
+            schemaVersion: 1,
+        },
+        journal: [
+            { entryId: "conformance-journal-1", kind: "conformance.applied" },
+        ],
+        outbox: [
+            {
+                effectId: "conformance-shared-effect",
+                envelope: adapter.outboundEnvelopes[0],
+            },
+        ],
+    });
+    assertCondition(firstCommit.committed);
+    const conflictingCommit = await adapter.repository.commitInboxTransition({
+        inbox: second,
+        expectedSnapshotRevision: 1,
+        transitionId: "conformance-atomic-2",
+        outcome: "applied",
+        nextState: { conformanceRevision: 2 },
+        nextStateDescriptor: {
+            format: "application/vnd.agentplat.conformance-state+json",
+            schemaVersion: 1,
+        },
+        journal: [
+            { entryId: "conformance-journal-2", kind: "conformance.applied" },
+        ],
+        outbox: [
+            {
+                effectId: "conformance-shared-effect",
+                envelope: adapter.outboundEnvelopes[1],
+            },
+        ],
+    });
+    assertCondition(!conflictingCommit.committed &&
+        conflictingCommit.code === "outbox_conflict");
+    const snapshot = await adapter.repository.loadSnapshot(adapter.scope);
+    const journal = await adapter.repository.inspectJournal({
+        scope: adapter.scope,
+        limit: 16,
+    });
+    const outbox = await adapter.repository.claimOutbox({
+        scope: adapter.scope,
+        workerId: "atomic-outbox-worker",
+        limit: 16,
+        leaseDurationMs: 30_000,
+    });
+    assertCondition(snapshot?.revision === 1);
+    assertCondition(snapshot.state
+        .conformanceRevision === 1);
+    assertCondition(journal.length === 1);
+    assertCondition(outbox.length === 1);
+    assertCondition(outbox[0].messageId === adapter.outboundEnvelopes[0].messageId);
+    assertCondition(await adapter.repository.abandonInbox({
+        inbox: second,
+        retryAfterMs: 1,
+        reasonCode: "conformance_conflict",
+    }));
+}
+async function verifyStaleClaim(adapter) {
+    assertCondition(typeof adapter.advanceTime === "function");
+    await adapter.repository.receive({
+        scope: adapter.scope,
+        envelope: adapter.inboundEnvelopes[0],
+    });
+    const stale = (await claimInbox(adapter, "stale-worker", 10))[0];
+    assertCondition(stale !== undefined);
+    await adapter.advanceTime(11);
+    const current = (await claimInbox(adapter, "current-worker", 30_000))[0];
+    assertCondition(current !== undefined);
+    assertCondition(current.claim.generation > stale.claim.generation);
+    const staleCommit = await adapter.repository.commitInboxTransition({
+        inbox: stale,
+        expectedSnapshotRevision: 0,
+        transitionId: "conformance-stale-transition",
+        outcome: "applied",
+        nextState: { claim: "stale" },
+        journal: [],
+        outbox: [],
+    });
+    assertCondition(!staleCommit.committed && staleCommit.code === "claim_lost");
+    const currentCommit = await adapter.repository.commitInboxTransition({
+        inbox: current,
+        expectedSnapshotRevision: 0,
+        transitionId: "conformance-current-transition",
+        outcome: "applied",
+        nextState: { claim: "current" },
+        journal: [],
+        outbox: [],
+    });
+    assertCondition(currentCommit.committed);
+    const snapshot = await adapter.repository.loadSnapshot(adapter.scope);
+    assertCondition(snapshot?.state?.claim === "current");
+}
+async function verifyJournalChain(adapter) {
+    await adapter.repository.receive({
+        scope: adapter.scope,
+        envelope: adapter.inboundEnvelopes[0],
+    });
+    const inbox = (await claimInbox(adapter, "journal-worker", 30_000))[0];
+    assertCondition(inbox !== undefined);
+    const committed = await adapter.repository.commitInboxTransition({
+        inbox,
+        expectedSnapshotRevision: 0,
+        transitionId: "conformance-journal-transition",
+        outcome: "applied",
+        nextState: { journal: true },
+        journal: [
+            { entryId: "conformance-chain-a", kind: "conformance.a" },
+            { entryId: "conformance-chain-b", kind: "conformance.b" },
+        ],
+        outbox: [],
+    });
+    assertCondition(committed.committed);
+    const journal = await adapter.repository.inspectJournal({
+        scope: adapter.scope,
+        limit: 16,
+    });
+    assertCondition(journal.length === 2);
+    const expectedHead = journal[1];
+    const verification = {
+        expectedHeadDigest: expectedHead.digest,
+        expectedHeadSequence: expectedHead.sequence,
+    };
+    assertCondition(await verifyMeshDurableJournal({ entries: journal, ...verification }));
+    const mutated = journal.map((entry, index) => index === 1 ? { ...entry, kind: "conformance.mutated" } : entry);
+    assertCondition(!(await verifyMeshDurableJournal({ entries: mutated, ...verification })));
+    assertCondition(!(await verifyMeshDurableJournal({
+        entries: [journal[1], journal[0]],
+        ...verification,
+    })));
+    assertCondition(!(await verifyMeshDurableJournal({
+        entries: [journal[0]],
+        ...verification,
+    })));
+}
+async function verifySnapshotMigration(adapter) {
+    const [first, second] = await Promise.all([
+        adapter.registry.migrate(adapter.legacySnapshot),
+        adapter.registry.migrate(structuredClone(adapter.legacySnapshot)),
+    ]);
+    assertCondition(first.stateDigest === second.stateDigest);
+    assertCondition(first.stateDigest ===
+        (await computeMeshDurableValueDigest(adapter.expectedState)));
+    const currentSnapshot = Object.freeze({
+        ...adapter.legacySnapshot,
+        schemaVersion: 2,
+        state: first.state,
+        stateDigest: first.stateDigest,
+        snapshotFormat: first.descriptor.format,
+        snapshotSchemaVersion: first.descriptor.schemaVersion,
+    });
+    const decoded = await adapter.registry.decode(currentSnapshot);
+    assertCondition((await computeMeshDurableValueDigest(decoded)) ===
+        first.stateDigest);
+    const idempotent = await adapter.registry.migrate(currentSnapshot);
+    assertCondition(idempotent.stateDigest === first.stateDigest);
+    await expectFailure(() => adapter.registry.decode({
+        ...currentSnapshot,
+        snapshotFormat: "application/vnd.agentplat.unknown+json",
+    }));
+    await expectFailure(() => adapter.registry.decode({
+        ...currentSnapshot,
+        stateDigest: "sha256:AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAA",
+    }));
+}
+async function receivePair(adapter) {
+    for (const envelope of adapter.inboundEnvelopes) {
+        const result = await adapter.repository.receive({
+            scope: adapter.scope,
+            envelope,
+        });
+        assertCondition(result.accepted && !result.duplicate);
+    }
+}
+function claimInbox(adapter, workerId, leaseDurationMs) {
+    return adapter.repository.claimInbox({
+        scope: adapter.scope,
+        workerId,
+        limit: 16,
+        leaseDurationMs,
+    });
+}
+function sortInboxClaims(claims) {
+    return [...claims].sort((left, right) => left.messageId < right.messageId
+        ? -1
+        : left.messageId > right.messageId
+            ? 1
+            : 0);
+}
+function assertRepositoryAdapter(adapter) {
+    if (!adapter ||
+        typeof adapter !== "object" ||
+        !("repository" in adapter) ||
+        !adapter.repository ||
+        typeof adapter.repository.receive !== "function" ||
+        typeof adapter.restartRepository !== "function" ||
+        !Array.isArray(adapter.inboundEnvelopes) ||
+        adapter.inboundEnvelopes.length !== 2 ||
+        !Array.isArray(adapter.outboundEnvelopes) ||
+        adapter.outboundEnvelopes.length !== 2) {
+        throw new TypeError("Mesh durability repository adapter is invalid");
+    }
+    normalizeMeshDurableScope(adapter.scope);
+}
+function assertSnapshotAdapter(adapter) {
+    if (!adapter ||
+        typeof adapter !== "object" ||
+        !("registry" in adapter) ||
+        !adapter.registry ||
+        typeof adapter.registry.migrate !== "function" ||
+        !adapter.legacySnapshot ||
+        adapter.expectedState === undefined) {
+        throw new TypeError("Mesh durability snapshot adapter is invalid");
+    }
+}
+async function withAdapter(factory, context, signal, scenario, run) {
+    const adapter = await awaitConformanceOperation(factory(scenario, Object.freeze({ seed: context.seed, signal })), signal);
+    if (!adapter || typeof adapter !== "object") {
+        throw new TypeError("Mesh durability conformance factory is invalid");
+    }
+    let failed;
+    try {
+        await awaitConformanceOperation(run(adapter), signal);
+    }
+    catch (error) {
+        failed = error;
+    }
+    await runConformanceCleanup(adapter.cleanup?.bind(adapter), context.cleanupTimeoutMs, failed);
+    if (failed !== undefined)
+        throw failed;
+}
+async function expectFailure(run) {
+    let failed = false;
+    try {
+        await run();
+    }
+    catch {
+        failed = true;
+    }
+    assertCondition(failed);
+}
+//# sourceMappingURL=durability.js.map

package/dist/durability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"durability.js","sourceRoot":"","sources":["../src/durability.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,6BAA6B,EAC7B,yBAAyB,EACzB,wBAAwB,GAKzB,MAAM,4BAA4B,CAAC;AAUpC,OAAO,EACL,eAAe,EACf,yBAAyB,EACzB,cAAc,EACd,qBAAqB,EACrB,aAAa,GAEd,MAAM,aAAa,CAAC;AA8CrB,MAAM,CAAC,KAAK,UAAU,4BAA4B,CAChD,OAAyC;IAEzC,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,IACE;QACE,kBAAkB;QAClB,8BAA8B;QAC9B,0BAA0B;QAC1B,0BAA0B;QAC1B,+BAA+B;KAChC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CACpB,OAAO,CAAC,oBAAoB,CAAC,GAAG,CAC9B,UAAoE,CACrE,CACF;QACD,OAAO,CAAC,qBAAqB,KAAK,IAAI,EACtC,CAAC;QACD,MAAM,IAAI,SAAS,CACjB,+DAA+D,CAChE,CAAC;IACJ,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,cAAc,CAClB,OAAO,CAAC,OAAO,EACf,OAAO,EACP,iCAAiC,EACjC,kBAAkB,EAClB,cAAc,EACd,iBAAiB,CAClB;QACD,MAAM,cAAc,CAClB,OAAO,CAAC,OAAO,EACf,OAAO,EACP,2BAA2B,EAC3B,kBAAkB,EAClB,gBAAgB,EAChB,mBAAmB,CACpB;QACD,MAAM,cAAc,CAClB,OAAO,CAAC,OAAO,EACf,OAAO,EACP,8BAA8B,EAC9B,8BAA8B,EAC9B,mBAAmB,EACnB,sBAAsB,CACvB;QACD,MAAM,cAAc,CAClB,OAAO,CAAC,OAAO,EACf,OAAO,EACP,+BAA+B,EAC/B,0BAA0B,EAC1B,aAAa,EACb,gBAAgB,CACjB;QACD,MAAM,cAAc,CAClB,OAAO,CAAC,OAAO,EACf,OAAO,EACP,0BAA0B,EAC1B,0BAA0B,EAC1B,eAAe,EACf,kBAAkB,CACnB;QACD,MAAM,cAAc,CAAC;YACnB,MAAM,EAAE,+BAA+B;YACvC,UAAU,EAAE,+BAA+B;YAC3C,OAAO;YACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CACT,OAAO,CAAC,OAAO,EACf,OAAO,EACP,MAAM,EACN,oBAAoB,EACpB,KAAK,EAAE,OAAO,EAAE,EAAE;gBAChB,qBAAqB,CAAC,OAAO,CAAC,CAAC;gBAC/B,MAAM,uBAAuB,CAAC,OAAO,CAAC,CAAC;YACzC,CAAC,CACF;SACJ,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,cAAc,CAC3B,OAAyC,EACzC,OAAyC,EACzC,MAAc,EACd,UAA8D,EAC9D,QAA0E,EAC1E,MAEyB;IAEzB,OAAO,cAAc,CAAC;QACpB,MAAM;QACN,UAAU;QACV,OAAO;QACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;YAChE,uBAAuB,CAAC,OAAO,CAAC,CAAC;YACjC,MAAM,MAAM,CAAC,OAAO,CAAC,CAAC;QACxB,CAAC,CAAC;KACL,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,iBAAiB,CAC9B,OAAmD;IAEnD,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;QAChD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;KACtC,CAAC,CAAC;IACH,eAAe,CAAC,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,SAAS,KAAK,KAAK,CAAC,CAAC;IACnE,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,iBAAiB,EAAE,CAAC;IACpD,eAAe,CAAC,SAAS,KAAK,OAAO,CAAC,UAAU,CAAC,CAAC;IAClD,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,UAAU,CAAC;QACzC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,eAAe;QACzB,KAAK,EAAE,EAAE;QACT,eAAe,EAAE,MAAM;KACxB,CAAC,CAAC;IACH,eAAe,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACtC,eAAe,CACb,OAAO,CAAC,CAAC,CAAE,CAAC,SAAS,KAAK,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,SAAS,CAChE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,mBAAmB,CAChC,OAAmD;IAEnD,MAAM,QAAQ,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7C,MAAM,WAAW,GAAG,OAAO,CAAC,0BAA0B,CAAC;IACvD,eAAe,CAAC,QAAQ,CAAC,SAAS,KAAK,WAAW,CAAC,SAAS,CAAC,CAAC;IAC9D,eAAe,CACb,CAAC,MAAM,6BAA6B,CAClC,QAAoC,CACrC,CAAC;QACA,CAAC,MAAM,6BAA6B,CAClC,WAAuC,CACxC,CAAC,CACL,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;QAC7C,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,QAAQ;KACnB,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;QAC9C,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,WAAW;KACtB,CAAC,CAAC;IACH,eAAe,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IAChC,eAAe,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC;AAC1E,CAAC;AAED,KAAK,UAAU,sBAAsB,CACnC,OAAmD;IAEnD,MAAM,WAAW,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,WAAW,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,iBAAiB,EAAE,MAAM,CAAC,CAAC;IACzE,eAAe,CAAC,WAAW,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IAC1C,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC;IACrD,MAAM,UAAU,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,mBAAmB,EAAE,CAAC,EAAE,CAAC,CAAC;IAC7D,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,qBAAqB,CAAC;QACjE,KAAK,EAAE,KAAK;QACZ,wBAAwB,EAAE,CAAC;QAC3B,YAAY,EAAE,sBAAsB;QACpC,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,UAAU;QACrB,mBAAmB,EAAE;YACnB,MAAM,EAAE,kDAAkD;YAC1D,aAAa,EAAE,CAAC;SACjB;QACD,OAAO,EAAE;YACP,EAAE,OAAO,EAAE,uBAAuB,EAAE,IAAI,EAAE,qBAAqB,EAAE;SAClE;QACD,MAAM,EAAE;YACN;gBACE,QAAQ,EAAE,2BAA2B;gBACrC,QAAQ,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC;aACvC;SACF;KACF,CAAC,CAAC;IACH,eAAe,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAEvC,MAAM,iBAAiB,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,qBAAqB,CAAC;QACvE,KAAK,EAAE,MAAM;QACb,wBAAwB,EAAE,CAAC;QAC3B,YAAY,EAAE,sBAAsB;QACpC,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,EAAE,mBAAmB,EAAE,CAAC,EAAE;QACrC,mBAAmB,EAAE;YACnB,MAAM,EAAE,kDAAkD;YAC1D,aAAa,EAAE,CAAC;SACjB;QACD,OAAO,EAAE;YACP,EAAE,OAAO,EAAE,uBAAuB,EAAE,IAAI,EAAE,qBAAqB,EAAE;SAClE;QACD,MAAM,EAAE;YACN;gBACE,QAAQ,EAAE,2BAA2B;gBACrC,QAAQ,EAAE,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC;aACvC;SACF;KACF,CAAC,CAAC;IACH,eAAe,CACb,CAAC,iBAAiB,CAAC,SAAS;QAC1B,iBAAiB,CAAC,IAAI,KAAK,iBAAiB,CAC/C,CAAC;IAEF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtE,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC;QACtD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,EAAE;KACV,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,WAAW,CAAC;QAClD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,sBAAsB;QAChC,KAAK,EAAE,EAAE;QACT,eAAe,EAAE,MAAM;KACxB,CAAC,CAAC;IACH,eAAe,CAAC,QAAQ,EAAE,QAAQ,KAAK,CAAC,CAAC,CAAC;IAC1C,eAAe,CACZ,QAAQ,CAAC,KAAoD;SAC3D,mBAAmB,KAAK,CAAC,CAC7B,CAAC;IACF,eAAe,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACtC,eAAe,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACrC,eAAe,CACb,MAAM,CAAC,CAAC,CAAE,CAAC,SAAS,KAAK,OAAO,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAChE,CAAC;IACF,eAAe,CACb,MAAM,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC;QACpC,KAAK,EAAE,MAAM;QACb,YAAY,EAAE,CAAC;QACf,UAAU,EAAE,sBAAsB;KACnC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,gBAAgB,CAC7B,OAAmD;IAEnD,eAAe,CAAC,OAAO,OAAO,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC;IAC3D,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;QAC/B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;KACtC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,MAAM,UAAU,CAAC,OAAO,EAAE,cAAc,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACjE,eAAe,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACrC,MAAM,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IAC9B,MAAM,OAAO,GAAG,CAAC,MAAM,UAAU,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACzE,eAAe,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IACvC,eAAe,CAAC,OAAO,CAAC,KAAM,CAAC,UAAU,GAAG,KAAK,CAAC,KAAM,CAAC,UAAU,CAAC,CAAC;IACrE,MAAM,WAAW,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,qBAAqB,CAAC;QACjE,KAAK,EAAE,KAAK;QACZ,wBAAwB,EAAE,CAAC;QAC3B,YAAY,EAAE,8BAA8B;QAC5C,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE;QAC7B,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,eAAe,CAAC,CAAC,WAAW,CAAC,SAAS,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC;IAC7E,MAAM,aAAa,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,qBAAqB,CAAC;QACnE,KAAK,EAAE,OAAO;QACd,wBAAwB,EAAE,CAAC;QAC3B,YAAY,EAAE,gCAAgC;QAC9C,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE;QAC/B,OAAO,EAAE,EAAE;QACX,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,eAAe,CAAC,aAAa,CAAC,SAAS,CAAC,CAAC;IACzC,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtE,eAAe,CACZ,QAAQ,EAAE,KAAsC,EAAE,KAAK,KAAK,SAAS,CACvE,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,OAAmD;IAEnD,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;QAC/B,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC,CAAC;KACtC,CAAC,CAAC;IACH,MAAM,KAAK,GAAG,CAAC,MAAM,UAAU,CAAC,OAAO,EAAE,gBAAgB,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACvE,eAAe,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;IACrC,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,qBAAqB,CAAC;QAC/D,KAAK;QACL,wBAAwB,EAAE,CAAC;QAC3B,YAAY,EAAE,gCAAgC;QAC9C,OAAO,EAAE,SAAS;QAClB,SAAS,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;QAC5B,OAAO,EAAE;YACP,EAAE,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,eAAe,EAAE;YACzD,EAAE,OAAO,EAAE,qBAAqB,EAAE,IAAI,EAAE,eAAe,EAAE;SAC1D;QACD,MAAM,EAAE,EAAE;KACX,CAAC,CAAC;IACH,eAAe,CAAC,SAAS,CAAC,SAAS,CAAC,CAAC;IACrC,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,cAAc,CAAC;QACtD,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,KAAK,EAAE,EAAE;KACV,CAAC,CAAC;IACH,eAAe,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;IACtC,MAAM,YAAY,GAAG,OAAO,CAAC,CAAC,CAAE,CAAC;IACjC,MAAM,YAAY,GAAG;QACnB,kBAAkB,EAAE,YAAY,CAAC,MAAM;QACvC,oBAAoB,EAAE,YAAY,CAAC,QAAQ;KAC5C,CAAC;IACF,eAAe,CACb,MAAM,wBAAwB,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,YAAY,EAAE,CAAC,CACtE,CAAC;IACF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAC3C,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC,CAAC,CAAC,KAAK,CAChE,CAAC;IACF,eAAe,CACb,CAAC,CAAC,MAAM,wBAAwB,CAAC,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,YAAY,EAAE,CAAC,CAAC,CACzE,CAAC;IACF,eAAe,CACb,CAAC,CAAC,MAAM,wBAAwB,CAAC;QAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,EAAE,OAAO,CAAC,CAAC,CAAE,CAAC;QACnC,GAAG,YAAY;KAChB,CAAC,CAAC,CACJ,CAAC;IACF,eAAe,CACb,CAAC,CAAC,MAAM,wBAAwB,CAAC;QAC/B,OAAO,EAAE,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC;QACtB,GAAG,YAAY;KAChB,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,uBAAuB,CACpC,OAAiD;IAEjD,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACxC,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,cAAc,CAAC;QAChD,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,OAAO,CAAC,cAAc,CAAC,CAAC;KAClE,CAAC,CAAC;IACH,eAAe,CAAC,KAAK,CAAC,WAAW,KAAK,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1D,eAAe,CACb,KAAK,CAAC,WAAW;QACf,CAAC,MAAM,6BAA6B,CAClC,OAAO,CAAC,aAA8B,CACvC,CAAC,CACL,CAAC;IACF,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CAAC;QACpC,GAAG,OAAO,CAAC,cAAc;QACzB,aAAa,EAAE,CAAU;QACzB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,cAAc,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;QACvC,qBAAqB,EAAE,KAAK,CAAC,UAAU,CAAC,aAAa;KACtD,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,eAAe,CAAC,CAAC;IAC/D,eAAe,CACb,CAAC,MAAM,6BAA6B,CAAC,OAAwB,CAAC,CAAC;QAC7D,KAAK,CAAC,WAAW,CACpB,CAAC;IACF,MAAM,UAAU,GAAG,MAAM,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACnE,eAAe,CAAC,UAAU,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW,CAAC,CAAC;IAC9D,MAAM,aAAa,CAAC,GAAG,EAAE,CACvB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;QACtB,GAAG,eAAe;QAClB,cAAc,EAAE,wCAAwC;KACzD,CAAC,CACH,CAAC;IACF,MAAM,aAAa,CAAC,GAAG,EAAE,CACvB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC;QACtB,GAAG,eAAe;QAClB,WAAW,EAAE,oDAAoD;KAClE,CAAC,CACH,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,OAAmD;IAEnD,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,gBAAgB,EAAE,CAAC;QAChD,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,UAAU,CAAC,OAAO,CAAC;YAC9C,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,QAAQ;SACT,CAAC,CAAC;QACH,eAAe,CAAC,MAAM,CAAC,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACxD,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,OAAmD,EACnD,QAAgB,EAChB,eAAuB;IAEvB,OAAO,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;QACnC,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,QAAQ;QACR,KAAK,EAAE,EAAE;QACT,eAAe;KAChB,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,MAAgE;IAEhE,OAAO,CAAC,GAAG,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACtC,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS;QAC9B,CAAC,CAAC,CAAC,CAAC;QACJ,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS;YAChC,CAAC,CAAC,CAAC;YACH,CAAC,CAAC,CAAC,CAC8C,CAAC;AAC1D,CAAC;AAED,SAAS,uBAAuB,CAC9B,OAAyC;IAEzC,IACE,CAAC,OAAO;QACR,OAAO,OAAO,KAAK,QAAQ;QAC3B,CAAC,CAAC,YAAY,IAAI,OAAO,CAAC;QAC1B,CAAC,OAAO,CAAC,UAAU;QACnB,OAAO,OAAO,CAAC,UAAU,CAAC,OAAO,KAAK,UAAU;QAChD,OAAO,OAAO,CAAC,iBAAiB,KAAK,UAAU;QAC/C,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,gBAAgB,CAAC;QACxC,OAAO,CAAC,gBAAgB,CAAC,MAAM,KAAK,CAAC;QACrC,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,iBAAiB,CAAC;QACzC,OAAO,CAAC,iBAAiB,CAAC,MAAM,KAAK,CAAC,EACtC,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,+CAA+C,CAAC,CAAC;IACvE,CAAC;IACD,yBAAyB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAAyC;IAEzC,IACE,CAAC,OAAO;QACR,OAAO,OAAO,KAAK,QAAQ;QAC3B,CAAC,CAAC,UAAU,IAAI,OAAO,CAAC;QACxB,CAAC,OAAO,CAAC,QAAQ;QACjB,OAAO,OAAO,CAAC,QAAQ,CAAC,OAAO,KAAK,UAAU;QAC9C,CAAC,OAAO,CAAC,cAAc;QACvB,OAAO,CAAC,aAAa,KAAK,SAAS,EACnC,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,OAAyC,EACzC,OAAyC,EACzC,MAAmB,EACnB,QAA2C,EAC3C,GAAwE;IAExE,MAAM,OAAO,GAAG,MAAM,yBAAyB,CAC7C,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EAChE,MAAM,CACP,CAAC;IACF,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,SAAS,CAAC,gDAAgD,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,yBAAyB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,GAAG,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,qBAAqB,CACzB,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAC9B,OAAO,CAAC,gBAAgB,EACxB,MAAM,CACP,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,MAAM,CAAC;AACzC,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,GAAqC;IAChE,IAAI,MAAM,GAAG,KAAK,CAAC;IACnB,IAAI,CAAC;QACH,MAAM,GAAG,EAAE,CAAC;IACd,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,GAAG,IAAI,CAAC;IAChB,CAAC;IACD,eAAe,CAAC,MAAM,CAAC,CAAC;AAC1B,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,3 @@
+export * from "./contracts.js";
+export { createMeshConformanceReport, validateMeshConformanceReport, } from "./report.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EACL,2BAA2B,EAC3B,6BAA6B,GAC9B,MAAM,aAAa,CAAC"}

package/dist/index.js

@@ -0,0 +1,3 @@
+export * from "./contracts.js";
+export { createMeshConformanceReport, validateMeshConformanceReport, } from "./report.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,gBAAgB,CAAC;AAC/B,OAAO,EACL,2BAA2B,EAC3B,6BAA6B,GAC9B,MAAM,aAAa,CAAC"}

package/dist/protocol.d.ts

@@ -0,0 +1,31 @@
+import type { MeshJsonValue, MeshWireVersion } from "@agentplat/mesh-protocol";
+import type { MeshConformanceCaseResult, MeshConformanceFactoryContext } from "./contracts.js";
+import { type MeshConformanceRunnerOptions } from "./runner.js";
+export interface MeshProtocolConformanceParseResult {
+    readonly accepted: boolean;
+    readonly wireVersion?: number;
+    readonly reasonCode?: string;
+}
+export interface MeshProtocolConformanceAdapter {
+    parse(bytes: Uint8Array, acceptedWireVersions?: readonly MeshWireVersion[]): MeshProtocolConformanceParseResult | Promise<MeshProtocolConformanceParseResult>;
+    canonicalize(value: MeshJsonValue): Uint8Array | Promise<Uint8Array>;
+    write?(wireVersion: MeshWireVersion): Uint8Array | Promise<Uint8Array>;
+    verify(bytes: Uint8Array): boolean | Promise<boolean>;
+    cleanup?(): void | Promise<void>;
+}
+export type MeshProtocolConformanceFactory = (context: MeshConformanceFactoryContext) => MeshProtocolConformanceAdapter | Promise<MeshProtocolConformanceAdapter>;
+export interface MeshProtocolConformanceFixtures {
+    readonly v0EnvelopeBytes: Uint8Array;
+    readonly v1EnvelopeBytes: Uint8Array;
+    readonly unknownEnvelopeBytes: Uint8Array;
+    readonly substitutedV1EnvelopeBytes: Uint8Array;
+    readonly canonicalValueA: MeshJsonValue;
+    readonly canonicalValueB: MeshJsonValue;
+    readonly expectedCanonicalBytes: Uint8Array;
+}
+export interface MeshProtocolConformanceOptions extends MeshConformanceRunnerOptions {
+    readonly factory: MeshProtocolConformanceFactory;
+    readonly fixtures: MeshProtocolConformanceFixtures;
+}
+export declare function runMeshProtocolConformance(options: MeshProtocolConformanceOptions): Promise<readonly MeshConformanceCaseResult[]>;
+//# sourceMappingURL=protocol.d.ts.map

package/dist/protocol.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.d.ts","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAE/E,OAAO,KAAK,EACV,yBAAyB,EACzB,6BAA6B,EAC9B,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAOL,KAAK,4BAA4B,EAClC,MAAM,aAAa,CAAC;AAErB,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;CAC9B;AAED,MAAM,WAAW,8BAA8B;IAC7C,KAAK,CACH,KAAK,EAAE,UAAU,EACjB,oBAAoB,CAAC,EAAE,SAAS,eAAe,EAAE,GAE/C,kCAAkC,GAClC,OAAO,CAAC,kCAAkC,CAAC,CAAC;IAChD,YAAY,CAAC,KAAK,EAAE,aAAa,GAAG,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACrE,KAAK,CAAC,CAAC,WAAW,EAAE,eAAe,GAAG,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACvE,MAAM,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACtD,OAAO,CAAC,IAAI,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAClC;AAED,MAAM,MAAM,8BAA8B,GAAG,CAC3C,OAAO,EAAE,6BAA6B,KACnC,8BAA8B,GAAG,OAAO,CAAC,8BAA8B,CAAC,CAAC;AAE9E,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,eAAe,EAAE,UAAU,CAAC;IACrC,QAAQ,CAAC,oBAAoB,EAAE,UAAU,CAAC;IAC1C,QAAQ,CAAC,0BAA0B,EAAE,UAAU,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;IACxC,QAAQ,CAAC,eAAe,EAAE,aAAa,CAAC;IACxC,QAAQ,CAAC,sBAAsB,EAAE,UAAU,CAAC;CAC7C;AAED,MAAM,WAAW,8BAA+B,SAAQ,4BAA4B;IAClF,QAAQ,CAAC,OAAO,EAAE,8BAA8B,CAAC;IACjD,QAAQ,CAAC,QAAQ,EAAE,+BAA+B,CAAC;CACpD;AAED,wBAAsB,0BAA0B,CAC9C,OAAO,EAAE,8BAA8B,GACtC,OAAO,CAAC,SAAS,yBAAyB,EAAE,CAAC,CAyG/C"}

package/dist/protocol.js

@@ -0,0 +1,166 @@
+import { assertCondition, awaitConformanceOperation, bytesEqual, runConformanceCleanup, runBoundedCase, runnerContext, } from "./runner.js";
+export async function runMeshProtocolConformance(options) {
+    const context = runnerContext(options);
+    const fixtures = normalizeFixtures(options.fixtures);
+    return Object.freeze([
+        await runBoundedCase({
+            caseId: "protocol.v0.parse",
+            capability: "protocol.v0.read",
+            context,
+            run: (signal) => withAdapter(options.factory, context, signal, async (adapter) => {
+                const result = await adapter.parse(fixtures.v0EnvelopeBytes.slice());
+                assertParseResult(result);
+                assertCondition(result.accepted && result.wireVersion === 0);
+            }),
+        }),
+        await runBoundedCase({
+            caseId: "protocol.v1.parse",
+            capability: "protocol.v1.read",
+            context,
+            run: (signal) => withAdapter(options.factory, context, signal, async (adapter) => {
+                const result = await adapter.parse(fixtures.v1EnvelopeBytes.slice());
+                assertParseResult(result);
+                assertCondition(result.accepted && result.wireVersion === 1);
+            }),
+        }),
+        await runBoundedCase({
+            caseId: "protocol.unknown.reject",
+            capability: "protocol.v1.read",
+            context,
+            run: (signal) => withAdapter(options.factory, context, signal, async (adapter) => {
+                const result = await adapter.parse(fixtures.unknownEnvelopeBytes.slice());
+                assertParseResult(result);
+                assertCondition(!result.accepted &&
+                    result.reasonCode === "unsupported_wire_version");
+            }),
+        }),
+        await runBoundedCase({
+            caseId: "protocol.canonical.stable",
+            capability: "protocol.canonical",
+            context,
+            run: (signal) => withAdapter(options.factory, context, signal, async (adapter) => {
+                const [left, right] = await Promise.all([
+                    adapter.canonicalize(fixtures.canonicalValueA),
+                    adapter.canonicalize(fixtures.canonicalValueB),
+                ]);
+                assertBytes(left);
+                assertBytes(right);
+                assertCondition(bytesEqual(left, right));
+                assertCondition(bytesEqual(left, fixtures.expectedCanonicalBytes));
+            }),
+        }),
+        await runBoundedCase({
+            caseId: "protocol.v1.write",
+            capability: "protocol.v1.write",
+            context,
+            run: (signal) => withAdapter(options.factory, context, signal, async (adapter) => {
+                assertCondition(adapter.write !== undefined);
+                const bytes = await adapter.write(1);
+                assertBytes(bytes);
+                const parsed = await adapter.parse(bytes.slice(), [1]);
+                assertParseResult(parsed);
+                assertCondition(parsed.accepted && parsed.wireVersion === 1);
+                assertCondition(await adapter.verify(bytes));
+            }),
+        }),
+        await runBoundedCase({
+            caseId: "protocol.version.signature_binding",
+            capability: "protocol.v1.write",
+            context,
+            run: (signal) => withAdapter(options.factory, context, signal, async (adapter) => {
+                assertCondition(await adapter.verify(fixtures.v1EnvelopeBytes.slice()));
+                assertCondition(!(await adapter.verify(fixtures.substitutedV1EnvelopeBytes.slice())));
+            }),
+        }),
+        await runBoundedCase({
+            caseId: "protocol.v0.explicit_write",
+            capability: "protocol.v0.write",
+            context,
+            run: (signal) => withAdapter(options.factory, context, signal, async (adapter) => {
+                assertCondition(adapter.write !== undefined);
+                const bytes = await adapter.write(0);
+                assertBytes(bytes);
+                const parsed = await adapter.parse(bytes.slice(), [0]);
+                assertParseResult(parsed);
+                assertCondition(parsed.accepted && parsed.wireVersion === 0);
+                assertCondition(await adapter.verify(bytes));
+            }),
+        }),
+    ]);
+}
+async function withAdapter(factory, context, signal, run) {
+    const adapter = await awaitConformanceOperation(factory(Object.freeze({ seed: context.seed, signal })), signal);
+    if (!adapter || typeof adapter !== "object") {
+        throw new TypeError("Mesh protocol conformance factory is invalid");
+    }
+    let failed;
+    try {
+        await awaitConformanceOperation(run(adapter), signal);
+    }
+    catch (error) {
+        failed = error;
+    }
+    await runConformanceCleanup(adapter.cleanup?.bind(adapter), context.cleanupTimeoutMs, failed);
+    if (failed !== undefined)
+        throw failed;
+}
+function normalizeFixtures(fixtures) {
+    if (!fixtures || typeof fixtures !== "object") {
+        throw new TypeError("Mesh protocol conformance fixtures are required");
+    }
+    for (const value of [
+        fixtures.v0EnvelopeBytes,
+        fixtures.v1EnvelopeBytes,
+        fixtures.unknownEnvelopeBytes,
+        fixtures.substitutedV1EnvelopeBytes,
+        fixtures.expectedCanonicalBytes,
+    ]) {
+        if (!(value instanceof Uint8Array) ||
+            value.byteLength < 1 ||
+            value.byteLength > 262_144) {
+            throw new RangeError("Mesh protocol conformance fixture is invalid");
+        }
+    }
+    return Object.freeze({
+        v0EnvelopeBytes: fixtures.v0EnvelopeBytes.slice(),
+        v1EnvelopeBytes: fixtures.v1EnvelopeBytes.slice(),
+        unknownEnvelopeBytes: fixtures.unknownEnvelopeBytes.slice(),
+        substitutedV1EnvelopeBytes: fixtures.substitutedV1EnvelopeBytes.slice(),
+        canonicalValueA: deepFreeze(structuredClone(fixtures.canonicalValueA)),
+        canonicalValueB: deepFreeze(structuredClone(fixtures.canonicalValueB)),
+        expectedCanonicalBytes: fixtures.expectedCanonicalBytes.slice(),
+    });
+}
+function assertParseResult(value) {
+    if (!value || typeof value !== "object" || Array.isArray(value)) {
+        throw new TypeError("Mesh protocol conformance parse result is invalid");
+    }
+    const keys = Object.keys(value).sort();
+    const allowed = new Set(["accepted", "reasonCode", "wireVersion"]);
+    if (keys.some((key) => !allowed.has(key)) ||
+        typeof value.accepted !== "boolean" ||
+        (value.wireVersion !== undefined &&
+            (!Number.isSafeInteger(value.wireVersion) || value.wireVersion < 0)) ||
+        (value.reasonCode !== undefined &&
+            (typeof value.reasonCode !== "string" ||
+                !/^[a-z][a-z0-9._:-]{0,63}$/u.test(value.reasonCode))) ||
+        (value.accepted && value.wireVersion === undefined) ||
+        (value.accepted && value.reasonCode !== undefined) ||
+        (!value.accepted && value.wireVersion !== undefined)) {
+        throw new TypeError("Mesh protocol conformance parse result is invalid");
+    }
+}
+function assertBytes(value) {
+    if (!(value instanceof Uint8Array) || value.byteLength > 262_144) {
+        throw new TypeError("Mesh protocol conformance output is invalid");
+    }
+}
+function deepFreeze(value) {
+    if (value !== null && typeof value === "object" && !Object.isFrozen(value)) {
+        Object.freeze(value);
+        for (const nested of Object.values(value))
+            deepFreeze(nested);
+    }
+    return value;
+}
+//# sourceMappingURL=protocol.js.map

package/dist/protocol.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"protocol.js","sourceRoot":"","sources":["../src/protocol.ts"],"names":[],"mappings":"AAMA,OAAO,EACL,eAAe,EACf,yBAAyB,EACzB,UAAU,EACV,qBAAqB,EACrB,cAAc,EACd,aAAa,GAEd,MAAM,aAAa,CAAC;AAwCrB,MAAM,CAAC,KAAK,UAAU,0BAA0B,CAC9C,OAAuC;IAEvC,MAAM,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,CAAC;IACvC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACrD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,cAAc,CAAC;YACnB,MAAM,EAAE,mBAAmB;YAC3B,UAAU,EAAE,kBAAkB;YAC9B,OAAO;YACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC9D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;gBACrE,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC1B,eAAe,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;YAC/D,CAAC,CAAC;SACL,CAAC;QACF,MAAM,cAAc,CAAC;YACnB,MAAM,EAAE,mBAAmB;YAC3B,UAAU,EAAE,kBAAkB;YAC9B,OAAO;YACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC9D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CAAC;gBACrE,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC1B,eAAe,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;YAC/D,CAAC,CAAC;SACL,CAAC;QACF,MAAM,cAAc,CAAC;YACnB,MAAM,EAAE,yBAAyB;YACjC,UAAU,EAAE,kBAAkB;YAC9B,OAAO;YACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC9D,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAChC,QAAQ,CAAC,oBAAoB,CAAC,KAAK,EAAE,CACtC,CAAC;gBACF,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC1B,eAAe,CACb,CAAC,MAAM,CAAC,QAAQ;oBACd,MAAM,CAAC,UAAU,KAAK,0BAA0B,CACnD,CAAC;YACJ,CAAC,CAAC;SACL,CAAC;QACF,MAAM,cAAc,CAAC;YACnB,MAAM,EAAE,2BAA2B;YACnC,UAAU,EAAE,oBAAoB;YAChC,OAAO;YACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC9D,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;oBACtC,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,eAAe,CAAC;oBAC9C,OAAO,CAAC,YAAY,CAAC,QAAQ,CAAC,eAAe,CAAC;iBAC/C,CAAC,CAAC;gBACH,WAAW,CAAC,IAAI,CAAC,CAAC;gBAClB,WAAW,CAAC,KAAK,CAAC,CAAC;gBACnB,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;gBACzC,eAAe,CAAC,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC;YACrE,CAAC,CAAC;SACL,CAAC;QACF,MAAM,cAAc,CAAC;YACnB,MAAM,EAAE,mBAAmB;YAC3B,UAAU,EAAE,mBAAmB;YAC/B,OAAO;YACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC9D,eAAe,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;gBAC7C,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACrC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACnB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvD,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC1B,eAAe,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;gBAC7D,eAAe,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/C,CAAC,CAAC;SACL,CAAC;QACF,MAAM,cAAc,CAAC;YACnB,MAAM,EAAE,oCAAoC;YAC5C,UAAU,EAAE,mBAAmB;YAC/B,OAAO;YACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC9D,eAAe,CACb,MAAM,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC,CACvD,CAAC;gBACF,eAAe,CACb,CAAC,CAAC,MAAM,OAAO,CAAC,MAAM,CACpB,QAAQ,CAAC,0BAA0B,CAAC,KAAK,EAAE,CAC5C,CAAC,CACH,CAAC;YACJ,CAAC,CAAC;SACL,CAAC;QACF,MAAM,cAAc,CAAC;YACnB,MAAM,EAAE,4BAA4B;YACpC,UAAU,EAAE,mBAAmB;YAC/B,OAAO;YACP,GAAG,EAAE,CAAC,MAAM,EAAE,EAAE,CACd,WAAW,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE;gBAC9D,eAAe,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC;gBAC7C,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBACrC,WAAW,CAAC,KAAK,CAAC,CAAC;gBACnB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;gBACvD,iBAAiB,CAAC,MAAM,CAAC,CAAC;gBAC1B,eAAe,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,WAAW,KAAK,CAAC,CAAC,CAAC;gBAC7D,eAAe,CAAC,MAAM,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;YAC/C,CAAC,CAAC;SACL,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,WAAW,CACxB,OAAuC,EACvC,OAAyC,EACzC,MAAmB,EACnB,GAAsE;IAEtE,MAAM,OAAO,GAAG,MAAM,yBAAyB,CAC7C,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC,EACtD,MAAM,CACP,CAAC;IACF,IAAI,CAAC,OAAO,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;QAC5C,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;IACtE,CAAC;IACD,IAAI,MAAe,CAAC;IACpB,IAAI,CAAC;QACH,MAAM,yBAAyB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAC;IACxD,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,MAAM,GAAG,KAAK,CAAC;IACjB,CAAC;IACD,MAAM,qBAAqB,CACzB,OAAO,CAAC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,EAC9B,OAAO,CAAC,gBAAgB,EACxB,MAAM,CACP,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QAAE,MAAM,MAAM,CAAC;AACzC,CAAC;AAED,SAAS,iBAAiB,CACxB,QAAyC;IAEzC,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,EAAE,CAAC;QAC9C,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;IACzE,CAAC;IACD,KAAK,MAAM,KAAK,IAAI;QAClB,QAAQ,CAAC,eAAe;QACxB,QAAQ,CAAC,eAAe;QACxB,QAAQ,CAAC,oBAAoB;QAC7B,QAAQ,CAAC,0BAA0B;QACnC,QAAQ,CAAC,sBAAsB;KAChC,EAAE,CAAC;QACF,IACE,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC;YAC9B,KAAK,CAAC,UAAU,GAAG,CAAC;YACpB,KAAK,CAAC,UAAU,GAAG,OAAO,EAC1B,CAAC;YACD,MAAM,IAAI,UAAU,CAAC,8CAA8C,CAAC,CAAC;QACvE,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,eAAe,EAAE,QAAQ,CAAC,eAAe,CAAC,KAAK,EAAE;QACjD,eAAe,EAAE,QAAQ,CAAC,eAAe,CAAC,KAAK,EAAE;QACjD,oBAAoB,EAAE,QAAQ,CAAC,oBAAoB,CAAC,KAAK,EAAE;QAC3D,0BAA0B,EAAE,QAAQ,CAAC,0BAA0B,CAAC,KAAK,EAAE;QACvE,eAAe,EAAE,UAAU,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QACtE,eAAe,EAAE,UAAU,CAAC,eAAe,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QACtE,sBAAsB,EAAE,QAAQ,CAAC,sBAAsB,CAAC,KAAK,EAAE;KAChE,CAAC,CAAC;AACL,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAyC;IAClE,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAChE,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;IACvC,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,YAAY,EAAE,aAAa,CAAC,CAAC,CAAC;IACnE,IACE,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,OAAO,KAAK,CAAC,QAAQ,KAAK,SAAS;QACnC,CAAC,KAAK,CAAC,WAAW,KAAK,SAAS;YAC9B,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,KAAK,CAAC,WAAW,GAAG,CAAC,CAAC,CAAC;QACtE,CAAC,KAAK,CAAC,UAAU,KAAK,SAAS;YAC7B,CAAC,OAAO,KAAK,CAAC,UAAU,KAAK,QAAQ;gBACnC,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC;QAC1D,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC;QACnD,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,UAAU,KAAK,SAAS,CAAC;QAClD,CAAC,CAAC,KAAK,CAAC,QAAQ,IAAI,KAAK,CAAC,WAAW,KAAK,SAAS,CAAC,EACpD,CAAC;QACD,MAAM,IAAI,SAAS,CAAC,mDAAmD,CAAC,CAAC;IAC3E,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB;IACpC,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,IAAI,KAAK,CAAC,UAAU,GAAG,OAAO,EAAE,CAAC;QACjE,MAAM,IAAI,SAAS,CAAC,6CAA6C,CAAC,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAI,KAAQ;IAC7B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3E,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACrB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,UAAU,CAAC,MAAM,CAAC,CAAC;IAChE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/report.d.ts

@@ -0,0 +1,4 @@
+import { type MeshConformanceReport, type MeshConformanceReportInput } from "./contracts.js";
+export declare function createMeshConformanceReport(input: MeshConformanceReportInput): MeshConformanceReport;
+export declare function validateMeshConformanceReport(input: unknown): MeshConformanceReport;
+//# sourceMappingURL=report.d.ts.map

package/dist/report.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"report.d.ts","sourceRoot":"","sources":["../src/report.ts"],"names":[],"mappings":"AAAA,OAAO,EAQL,KAAK,qBAAqB,EAC1B,KAAK,0BAA0B,EAChC,MAAM,gBAAgB,CAAC;AAQxB,wBAAgB,2BAA2B,CACzC,KAAK,EAAE,0BAA0B,GAChC,qBAAqB,CAyCvB;AAED,wBAAgB,6BAA6B,CAC3C,KAAK,EAAE,OAAO,GACb,qBAAqB,CAuCvB"}