handoffprobe 0.1.0

package/dist/p1-fixture/audit-target-adapter.js

@@ -0,0 +1,226 @@
+import { cloneSecurityContext } from '../core/index.js';
+import { executeP0A2aFixture } from '../p0-fixture/a2a/harness.js';
+import { EvidenceRecorder } from '../protocol-lab/evidence.js';
+import { createP1FixtureState, recordP1AuditLineage } from './state.js';
+class P1AuditLineageBreakingHandoffAdapter {
+    id = 'p1-audit-drop-governing-task';
+    translate(input) {
+        const translated = cloneSecurityContext(input);
+        /*
+         * The governing application task is intentionally lost
+         * at the protocol handoff.
+         */
+        delete translated.lifecycle;
+        return translated;
+    }
+}
+async function executeProtectedAuditAction(input) {
+    const runState = {};
+    await executeP0A2aFixture({
+        recorder: input.recorder,
+        state: runState,
+        fixtureState: input.state,
+        context: cloneSecurityContext(input.context),
+        handoffAdapter: new P1AuditLineageBreakingHandoffAdapter(),
+        scenario: input.scenario,
+        enforcementMode: 'enforce',
+    });
+    const mcpResult = runState.mcpResult;
+    if (mcpResult === undefined) {
+        throw new Error('P1 audit execution produced no MCP result.');
+    }
+    return {
+        executed: mcpResult.envelope.authorization.executed,
+        translatedContext: runState.translatedContext,
+    };
+}
+export class P1AuditTargetAdapter {
+    fixture;
+    scenario;
+    id;
+    constructor(fixture, scenario) {
+        this.fixture = fixture;
+        this.scenario = scenario;
+        this.id = ['p1', fixture, scenario.id].join(':');
+    }
+    async execute(input) {
+        if (input.signal.aborted) {
+            throw new Error('P1 audit execution was aborted before start.');
+        }
+        const originalContext = cloneSecurityContext(input.context);
+        const recorder = new EvidenceRecorder(input.runId, this.fixture, input.correlationId);
+        const state = createP1FixtureState();
+        const originalTaskId = originalContext.lifecycle?.taskId;
+        if (originalTaskId !== this.scenario.originalTaskId) {
+            throw new Error('P1 audit baseline requires the expected governing task.');
+        }
+        const before = state.sideEffectCounter;
+        recorder.record({
+            protocol: 'CORE',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'upstream-security-context -> audit-baseline',
+            event: 'p1.audit.baseline',
+            context: originalContext,
+            details: {
+                originalPrincipal: originalContext.principal,
+                taskId: this.scenario.originalTaskId,
+                delegationId: this.scenario.delegationId,
+                handoffId: this.scenario.handoffId,
+                mcpRequestId: this.scenario.mcpRequestId,
+                lineageComplete: true,
+            },
+        });
+        /*
+         * Apply the actual mutation once up front so secure and
+         * vulnerable modes observe the same broken handoff state.
+         */
+        const breakingHandoff = new P1AuditLineageBreakingHandoffAdapter();
+        const mutatedContext = breakingHandoff.translate(originalContext);
+        const translatedHasTaskBinding = mutatedContext.lifecycle?.taskId === this.scenario.originalTaskId;
+        recorder.record({
+            protocol: 'HANDOFF',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'audit-baseline -> translated-security-context',
+            event: 'p1.audit.lineage_mutation',
+            context: mutatedContext,
+            details: {
+                missingElement: 'taskId',
+                expectedTaskId: this.scenario.originalTaskId,
+                observedTaskId: mutatedContext.lifecycle?.taskId ?? null,
+                delegationId: this.scenario.delegationId,
+                handoffId: this.scenario.handoffId,
+                mcpRequestId: this.scenario.mcpRequestId,
+                /*
+                 * HandoffProbe's own recorder correlation is test
+                 * plumbing, not a replacement for the application's
+                 * governing security binding.
+                 */
+                harnessCorrelationIsNotApplicationBinding: true,
+            },
+        });
+        if (translatedHasTaskBinding) {
+            throw new Error('P1 audit mutation failed to remove the governing task binding.');
+        }
+        if (this.fixture === 'secure') {
+            recorder.record({
+                protocol: 'HANDOFF',
+                protocolVersion: 'handoffprobe-p1-v1',
+                boundary: 'mandatory-lineage-policy -> mcp',
+                event: 'p1.audit.blocked',
+                context: mutatedContext,
+                details: {
+                    missingElement: 'taskId',
+                    reason: 'mandatory_audit_lineage_missing',
+                    sideEffectCounter: state.sideEffectCounter,
+                },
+            });
+            const output = {
+                scenarioId: this.scenario.id,
+                fixture: this.fixture,
+                originalPrincipal: originalContext.principal,
+                expectedTaskId: this.scenario.originalTaskId,
+                observedTaskId: null,
+                delegationId: this.scenario.delegationId,
+                handoffId: this.scenario.handoffId,
+                mcpRequestId: this.scenario.mcpRequestId,
+                missingElement: 'taskId',
+                lineageReconstructable: false,
+                translatedHasTaskBinding: false,
+                executed: false,
+                sideEffectId: null,
+                sideEffectCounterBefore: before,
+                sideEffectCounterAfter: state.sideEffectCounter,
+            };
+            return {
+                originalContext,
+                translatedContext: cloneSecurityContext(mutatedContext),
+                evidence: recorder.events,
+                output,
+            };
+        }
+        recorder.record({
+            protocol: 'HANDOFF',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'mandatory-lineage-policy -> mcp',
+            event: 'p1.audit.bypassed',
+            context: mutatedContext,
+            details: {
+                missingElement: 'taskId',
+                reason: 'mandatory_audit_lineage_ignored',
+            },
+        });
+        const protectedResult = await executeProtectedAuditAction({
+            recorder,
+            state,
+            context: originalContext,
+            scenario: this.scenario.p0Scenario,
+        });
+        const translated = protectedResult.translatedContext;
+        if (translated === undefined) {
+            throw new Error('P1 audit execution produced no translated context.');
+        }
+        const finalHasTaskBinding = translated.lifecycle?.taskId === this.scenario.originalTaskId;
+        const sideEffectId = protectedResult.executed
+            ? [
+                'side-effect',
+                this.scenario.p0Scenario.tool,
+                translated.resource,
+                String(state.sideEffectCounter),
+            ].join(':')
+            : null;
+        recordP1AuditLineage(state, {
+            correlationId: recorder.correlationId,
+            principal: originalContext.principal,
+            taskId: '<missing>',
+            delegationId: this.scenario.delegationId,
+            handoffId: this.scenario.handoffId,
+            mcpRequestId: this.scenario.mcpRequestId,
+            ...(sideEffectId === null ? {} : { sideEffectId }),
+        });
+        const lineageReconstructable = finalHasTaskBinding;
+        recorder.record({
+            protocol: 'CORE',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'protected-side-effect -> audit-correlation',
+            event: 'p1.audit.final',
+            context: translated,
+            details: {
+                originalPrincipal: originalContext.principal,
+                expectedTaskId: this.scenario.originalTaskId,
+                observedTaskId: translated.lifecycle?.taskId ?? null,
+                delegationId: this.scenario.delegationId,
+                handoffId: this.scenario.handoffId,
+                mcpRequestId: this.scenario.mcpRequestId,
+                sideEffectId,
+                executed: protectedResult.executed,
+                missingElement: 'taskId',
+                lineageReconstructable,
+                translatedHasTaskBinding: finalHasTaskBinding,
+            },
+        });
+        const output = {
+            scenarioId: this.scenario.id,
+            fixture: this.fixture,
+            originalPrincipal: originalContext.principal,
+            expectedTaskId: this.scenario.originalTaskId,
+            observedTaskId: translated.lifecycle?.taskId ?? null,
+            delegationId: this.scenario.delegationId,
+            handoffId: this.scenario.handoffId,
+            mcpRequestId: this.scenario.mcpRequestId,
+            missingElement: 'taskId',
+            lineageReconstructable,
+            translatedHasTaskBinding: finalHasTaskBinding,
+            executed: protectedResult.executed,
+            sideEffectId,
+            sideEffectCounterBefore: before,
+            sideEffectCounterAfter: state.sideEffectCounter,
+        };
+        return {
+            originalContext,
+            translatedContext: cloneSecurityContext(translated),
+            evidence: recorder.events,
+            output,
+        };
+    }
+}
+//# sourceMappingURL=audit-target-adapter.js.map

package/dist/p1-fixture/audit-target-adapter.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"audit-target-adapter.js","sourceRoot":"","sources":["../../src/p1-fixture/audit-target-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAWxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAInE,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,OAAO,EAAE,oBAAoB,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAC;AAgCxE,MAAM,oCAAoC;IAC/B,EAAE,GAAG,8BAA8B,CAAC;IAE7C,SAAS,CAAC,KAAsB;QAC9B,MAAM,UAAU,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;QAE/C;;;WAGG;QACH,OAAO,UAAU,CAAC,SAAS,CAAC;QAE5B,OAAO,UAAU,CAAC;IACpB,CAAC;CACF;AAED,KAAK,UAAU,2BAA2B,CAAC,KAK1C;IACC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,MAAM,mBAAmB,CAAC;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,KAAK,EAAE,QAAQ;QACf,YAAY,EAAE,KAAK,CAAC,KAAK;QACzB,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC;QAC5C,cAAc,EAAE,IAAI,oCAAoC,EAAE;QAC1D,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,eAAe,EAAE,SAAS;KAC3B,CAAC,CAAC;IAEH,MAAM,SAAS,GAAG,QAAQ,CAAC,SAAS,CAAC;IAErC,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ;QACnD,iBAAiB,EAAE,QAAQ,CAAC,iBAAiB;KAC9C,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,oBAAoB;IAIpB;IACA;IAJF,EAAE,CAAS;IAEpB,YACW,OAAsB,EACtB,QAAyB;QADzB,YAAO,GAAP,OAAO,CAAe;QACtB,aAAQ,GAAR,QAAQ,CAAiB;QAElC,IAAI,CAAC,EAAE,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACnD,CAAC;IAED,KAAK,CAAC,OAAO,CAAC,KAA2B;QACvC,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;QAClE,CAAC;QAED,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAE5D,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,aAAa,CAAC,CAAC;QAEtF,MAAM,KAAK,GAAG,oBAAoB,EAAE,CAAC;QAErC,MAAM,cAAc,GAAG,eAAe,CAAC,SAAS,EAAE,MAAM,CAAC;QAEzD,IAAI,cAAc,KAAK,IAAI,CAAC,QAAQ,CAAC,cAAc,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC7E,CAAC;QAED,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC;QAEvC,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,MAAM;YAChB,eAAe,EAAE,oBAAoB;YACrC,QAAQ,EAAE,6CAA6C;YACvD,KAAK,EAAE,mBAAmB;YAC1B,OAAO,EAAE,eAAe;YACxB,OAAO,EAAE;gBACP,iBAAiB,EAAE,eAAe,CAAC,SAAS;gBAC5C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBACpC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;gBACxC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;gBAClC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;gBACxC,eAAe,EAAE,IAAI;aACtB;SACF,CAAC,CAAC;QAEH;;;WAGG;QACH,MAAM,eAAe,GAAG,IAAI,oCAAoC,EAAE,CAAC;QAEnE,MAAM,cAAc,GAAG,eAAe,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAElE,MAAM,wBAAwB,GAC5B,cAAc,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;QAEpE,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,SAAS;YACnB,eAAe,EAAE,oBAAoB;YACrC,QAAQ,EAAE,+CAA+C;YACzD,KAAK,EAAE,2BAA2B;YAClC,OAAO,EAAE,cAAc;YACvB,OAAO,EAAE;gBACP,cAAc,EAAE,QAAQ;gBACxB,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBAC5C,cAAc,EAAE,cAAc,CAAC,SAAS,EAAE,MAAM,IAAI,IAAI;gBACxD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;gBACxC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;gBAClC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;gBAExC;;;;mBAIG;gBACH,yCAAyC,EAAE,IAAI;aAChD;SACF,CAAC,CAAC;QAEH,IAAI,wBAAwB,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;QACpF,CAAC;QAED,IAAI,IAAI,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YAC9B,QAAQ,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,SAAS;gBACnB,eAAe,EAAE,oBAAoB;gBACrC,QAAQ,EAAE,iCAAiC;gBAC3C,KAAK,EAAE,kBAAkB;gBACzB,OAAO,EAAE,cAAc;gBACvB,OAAO,EAAE;oBACP,cAAc,EAAE,QAAQ;oBACxB,MAAM,EAAE,iCAAiC;oBACzC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;iBAC3C;aACF,CAAC,CAAC;YAEH,MAAM,MAAM,GAAwB;gBAClC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;gBAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,iBAAiB,EAAE,eAAe,CAAC,SAAS;gBAC5C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBAC5C,cAAc,EAAE,IAAI;gBACpB,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;gBACxC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;gBAClC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;gBACxC,cAAc,EAAE,QAAQ;gBACxB,sBAAsB,EAAE,KAAK;gBAC7B,wBAAwB,EAAE,KAAK;gBAC/B,QAAQ,EAAE,KAAK;gBACf,YAAY,EAAE,IAAI;gBAClB,uBAAuB,EAAE,MAAM;gBAC/B,sBAAsB,EAAE,KAAK,CAAC,iBAAiB;aAChD,CAAC;YAEF,OAAO;gBACL,eAAe;gBACf,iBAAiB,EAAE,oBAAoB,CAAC,cAAc,CAAC;gBACvD,QAAQ,EAAE,QAAQ,CAAC,MAAM;gBACzB,MAAM;aACP,CAAC;QACJ,CAAC;QAED,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,SAAS;YACnB,eAAe,EAAE,oBAAoB;YACrC,QAAQ,EAAE,iCAAiC;YAC3C,KAAK,EAAE,mBAAmB;YAC1B,OAAO,EAAE,cAAc;YACvB,OAAO,EAAE;gBACP,cAAc,EAAE,QAAQ;gBACxB,MAAM,EAAE,iCAAiC;aAC1C;SACF,CAAC,CAAC;QAEH,MAAM,eAAe,GAAG,MAAM,2BAA2B,CAAC;YACxD,QAAQ;YACR,KAAK;YACL,OAAO,EAAE,eAAe;YACxB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU;SACnC,CAAC,CAAC;QAEH,MAAM,UAAU,GAAG,eAAe,CAAC,iBAAiB,CAAC;QAErD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;QAED,MAAM,mBAAmB,GAAG,UAAU,CAAC,SAAS,EAAE,MAAM,KAAK,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;QAE1F,MAAM,YAAY,GAAG,eAAe,CAAC,QAAQ;YAC3C,CAAC,CAAC;gBACE,aAAa;gBACb,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI;gBAC7B,UAAU,CAAC,QAAQ;gBACnB,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC;aAChC,CAAC,IAAI,CAAC,GAAG,CAAC;YACb,CAAC,CAAC,IAAI,CAAC;QAET,oBAAoB,CAAC,KAAK,EAAE;YAC1B,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,SAAS,EAAE,eAAe,CAAC,SAAS;YACpC,MAAM,EAAE,WAAW;YACnB,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;YACxC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;YAClC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;YACxC,GAAG,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,CAAC;SACnD,CAAC,CAAC;QAEH,MAAM,sBAAsB,GAAG,mBAAmB,CAAC;QAEnD,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,MAAM;YAChB,eAAe,EAAE,oBAAoB;YACrC,QAAQ,EAAE,4CAA4C;YACtD,KAAK,EAAE,gBAAgB;YACvB,OAAO,EAAE,UAAU;YACnB,OAAO,EAAE;gBACP,iBAAiB,EAAE,eAAe,CAAC,SAAS;gBAC5C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBAC5C,cAAc,EAAE,UAAU,CAAC,SAAS,EAAE,MAAM,IAAI,IAAI;gBACpD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;gBACxC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;gBAClC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;gBACxC,YAAY;gBACZ,QAAQ,EAAE,eAAe,CAAC,QAAQ;gBAClC,cAAc,EAAE,QAAQ;gBACxB,sBAAsB;gBACtB,wBAAwB,EAAE,mBAAmB;aAC9C;SACF,CAAC,CAAC;QAEH,MAAM,MAAM,GAAwB;YAClC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;YAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,iBAAiB,EAAE,eAAe,CAAC,SAAS;YAC5C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;YAC5C,cAAc,EAAE,UAAU,CAAC,SAAS,EAAE,MAAM,IAAI,IAAI;YACpD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;YACxC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS;YAClC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,YAAY;YACxC,cAAc,EAAE,QAAQ;YACxB,sBAAsB;YACtB,wBAAwB,EAAE,mBAAmB;YAC7C,QAAQ,EAAE,eAAe,CAAC,QAAQ;YAClC,YAAY;YACZ,uBAAuB,EAAE,MAAM;YAC/B,sBAAsB,EAAE,KAAK,CAAC,iBAAiB;SAChD,CAAC;QAEF,OAAO;YACL,eAAe;YACf,iBAAiB,EAAE,oBAAoB,CAAC,UAAU,CAAC;YACnD,QAAQ,EAAE,QAAQ,CAAC,MAAM;YACzB,MAAM;SACP,CAAC;IACJ,CAAC;CACF"}

package/dist/p1-fixture/barrier.d.ts

@@ -0,0 +1,10 @@
+export declare class P1DeterministicBarrier {
+    private readonly releaseOrder;
+    private readonly expected;
+    private readonly arrivals;
+    private readonly waiters;
+    constructor(releaseOrder: readonly string[]);
+    arrive(participantId: string): Promise<number>;
+    arrivedCount(): number;
+}
+//# sourceMappingURL=barrier.d.ts.map

package/dist/p1-fixture/barrier.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"barrier.d.ts","sourceRoot":"","sources":["../../src/p1-fixture/barrier.ts"],"names":[],"mappings":"AAIA,qBAAa,sBAAsB;IAOrB,OAAO,CAAC,QAAQ,CAAC,YAAY;IANzC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAc;IAEvC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAqB;IAE9C,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAoC;gBAE/B,YAAY,EAAE,SAAS,MAAM,EAAE;IAY5D,MAAM,CAAC,aAAa,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAgC9C,YAAY,IAAI,MAAM;CAGvB"}

package/dist/p1-fixture/barrier.js

@@ -0,0 +1,44 @@
+export class P1DeterministicBarrier {
+    releaseOrder;
+    expected;
+    arrivals = new Set();
+    waiters = new Map();
+    constructor(releaseOrder) {
+        this.releaseOrder = releaseOrder;
+        if (releaseOrder.length < 2) {
+            throw new Error('P1 barrier requires at least two participants.');
+        }
+        this.expected = new Set(releaseOrder);
+        if (this.expected.size !== releaseOrder.length) {
+            throw new Error('P1 barrier participants must be unique.');
+        }
+    }
+    arrive(participantId) {
+        if (!this.expected.has(participantId)) {
+            return Promise.reject(new Error(`Unexpected P1 barrier participant: ${participantId}`));
+        }
+        if (this.arrivals.has(participantId)) {
+            return Promise.reject(new Error(`P1 barrier participant arrived twice: ${participantId}`));
+        }
+        const promise = new Promise((resolve) => {
+            this.waiters.set(participantId, {
+                resolve,
+            });
+        });
+        this.arrivals.add(participantId);
+        if (this.arrivals.size === this.releaseOrder.length) {
+            this.releaseOrder.forEach((id, index) => {
+                const waiter = this.waiters.get(id);
+                if (waiter === undefined) {
+                    throw new Error(`Missing P1 barrier waiter: ${id}`);
+                }
+                waiter.resolve(index);
+            });
+        }
+        return promise;
+    }
+    arrivedCount() {
+        return this.arrivals.size;
+    }
+}
+//# sourceMappingURL=barrier.js.map

package/dist/p1-fixture/barrier.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"barrier.js","sourceRoot":"","sources":["../../src/p1-fixture/barrier.ts"],"names":[],"mappings":"AAIA,MAAM,OAAO,sBAAsB;IAOJ;IANZ,QAAQ,CAAc;IAEtB,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IAE7B,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IAE5D,YAA6B,YAA+B;QAA/B,iBAAY,GAAZ,YAAY,CAAmB;QAC1D,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;QACpE,CAAC;QAED,IAAI,CAAC,QAAQ,GAAG,IAAI,GAAG,CAAC,YAAY,CAAC,CAAC;QAEtC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,CAAC,MAAM,EAAE,CAAC;YAC/C,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAED,MAAM,CAAC,aAAqB;QAC1B,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YACtC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,sCAAsC,aAAa,EAAE,CAAC,CAAC,CAAC;QAC1F,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YACrC,OAAO,OAAO,CAAC,MAAM,CAAC,IAAI,KAAK,CAAC,yCAAyC,aAAa,EAAE,CAAC,CAAC,CAAC;QAC7F,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,OAAO,CAAS,CAAC,OAAO,EAAE,EAAE;YAC9C,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,aAAa,EAAE;gBAC9B,OAAO;aACR,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC;QAEjC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,CAAC;YACpD,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;gBACtC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBAEpC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;oBACzB,MAAM,IAAI,KAAK,CAAC,8BAA8B,EAAE,EAAE,CAAC,CAAC;gBACtD,CAAC;gBAED,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;YACxB,CAAC,CAAC,CAAC;QACL,CAAC;QAED,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC5B,CAAC;CACF"}

package/dist/p1-fixture/clock.d.ts

@@ -0,0 +1,7 @@
+export interface P1LogicalClock {
+    now(): number;
+    advanceBy(delta: number): number;
+    advanceTo(next: number): number;
+}
+export declare function createP1LogicalClock(start?: number): P1LogicalClock;
+//# sourceMappingURL=clock.d.ts.map

package/dist/p1-fixture/clock.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"clock.d.ts","sourceRoot":"","sources":["../../src/p1-fixture/clock.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,cAAc;IAC7B,GAAG,IAAI,MAAM,CAAC;IAEd,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAAC;IAEjC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;CACjC;AAQD,wBAAgB,oBAAoB,CAAC,KAAK,SAAI,GAAG,cAAc,CAkC9D"}

package/dist/p1-fixture/clock.js

@@ -0,0 +1,30 @@
+function assertLogicalTick(value, label) {
+    if (!Number.isSafeInteger(value) || value < 0) {
+        throw new Error(`${label} must be a non-negative safe integer.`);
+    }
+}
+export function createP1LogicalClock(start = 0) {
+    assertLogicalTick(start, 'Logical clock start');
+    let current = start;
+    return {
+        now() {
+            return current;
+        },
+        advanceBy(delta) {
+            assertLogicalTick(delta, 'Logical clock delta');
+            const next = current + delta;
+            assertLogicalTick(next, 'Logical clock result');
+            current = next;
+            return current;
+        },
+        advanceTo(next) {
+            assertLogicalTick(next, 'Logical clock target');
+            if (next < current) {
+                throw new Error('Logical clock cannot move backwards.');
+            }
+            current = next;
+            return current;
+        },
+    };
+}
+//# sourceMappingURL=clock.js.map

package/dist/p1-fixture/clock.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"clock.js","sourceRoot":"","sources":["../../src/p1-fixture/clock.ts"],"names":[],"mappings":"AAQA,SAAS,iBAAiB,CAAC,KAAa,EAAE,KAAa;IACrD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,uCAAuC,CAAC,CAAC;IACnE,CAAC;AACH,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAK,GAAG,CAAC;IAC5C,iBAAiB,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;IAEhD,IAAI,OAAO,GAAG,KAAK,CAAC;IAEpB,OAAO;QACL,GAAG;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,SAAS,CAAC,KAAK;YACb,iBAAiB,CAAC,KAAK,EAAE,qBAAqB,CAAC,CAAC;YAEhD,MAAM,IAAI,GAAG,OAAO,GAAG,KAAK,CAAC;YAE7B,iBAAiB,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;YAEhD,OAAO,GAAG,IAAI,CAAC;YAEf,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,SAAS,CAAC,IAAI;YACZ,iBAAiB,CAAC,IAAI,EAAE,sBAAsB,CAAC,CAAC;YAEhD,IAAI,IAAI,GAAG,OAAO,EAAE,CAAC;gBACnB,MAAM,IAAI,KAAK,CAAC,sCAAsC,CAAC,CAAC;YAC1D,CAAC;YAED,OAAO,GAAG,IAAI,CAAC;YAEf,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/p1-fixture/index.d.ts

@@ -0,0 +1,9 @@
+export * from './approval-target-adapter.js';
+export * from './audit-target-adapter.js';
+export * from './barrier.js';
+export * from './clock.js';
+export * from './race-target-adapter.js';
+export * from './replay-target-adapter.js';
+export * from './state.js';
+export * from './target-adapter.js';
+//# sourceMappingURL=index.d.ts.map

package/dist/p1-fixture/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/p1-fixture/index.ts"],"names":[],"mappings":"AAAA,cAAc,8BAA8B,CAAC;AAC7C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,0BAA0B,CAAC;AACzC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,YAAY,CAAC;AAC3B,cAAc,qBAAqB,CAAC"}

package/dist/p1-fixture/index.js

@@ -0,0 +1,9 @@
+export * from './approval-target-adapter.js';
+export * from './audit-target-adapter.js';
+export * from './barrier.js';
+export * from './clock.js';
+export * from './race-target-adapter.js';
+export * from './replay-target-adapter.js';
+export * from './state.js';
+export * from './target-adapter.js';
+//# sourceMappingURL=index.js.map

package/dist/p1-fixture/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/p1-fixture/index.ts"],"names":[],"mappings":"AAAA,cAAc,8BAA8B,CAAC;AAC7C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,cAAc,CAAC;AAC7B,cAAc,YAAY,CAAC;AAC3B,cAAc,0BAA0B,CAAC;AACzC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,YAAY,CAAC;AAC3B,cAAc,qBAAqB,CAAC"}

package/dist/p1-fixture/race-target-adapter.d.ts

@@ -0,0 +1,49 @@
+import type { TargetAdapter, TargetExecutionInput, TargetExecutionResult } from '../core/index.js';
+import type { P0Scenario } from '../p0-fixture/index.js';
+import type { P1DelegationDecision, P1DelegationRecord, P1DelegationRequest } from './state.js';
+import type { P1FixtureMode } from './target-adapter.js';
+export type P1RaceKind = 'parallel-one-time-authority' | 'partial-failure-stale-execution';
+export interface P1RaceScenario {
+    id: string;
+    kind: P1RaceKind;
+    actionId: string;
+    firstAttemptId: string;
+    secondAttemptId: string;
+    delegation: P1DelegationRecord;
+    request: P1DelegationRequest;
+    logicalTime: number;
+    invalidationTime?: number;
+    p0Scenario: P0Scenario;
+}
+export interface P1RaceAttemptResult {
+    attemptId: string;
+    releaseIndex: number | null;
+    decision: P1DelegationDecision;
+    executed: boolean;
+}
+export interface P1RaceTargetOutput {
+    scenarioId: string;
+    fixture: P1FixtureMode;
+    kind: P1RaceKind;
+    delegationId: string;
+    actionId: string;
+    initialDecision: P1DelegationDecision;
+    currentDecision: P1DelegationDecision;
+    attempts: P1RaceAttemptResult[];
+    executedAttempts: string[];
+    barrierArrivals: number;
+    capturedStateUsed: boolean;
+    invalidationTime: number | null;
+    sideEffectCounterBefore: number;
+    sideEffectCounterAfter: number;
+}
+export declare class P1RaceTargetAdapter implements TargetAdapter {
+    readonly fixture: P1FixtureMode;
+    readonly scenario: P1RaceScenario;
+    readonly id: string;
+    constructor(fixture: P1FixtureMode, scenario: P1RaceScenario);
+    execute(input: TargetExecutionInput): Promise<TargetExecutionResult>;
+    private runParallelRace;
+    private runPartialFailure;
+}
+//# sourceMappingURL=race-target-adapter.d.ts.map

package/dist/p1-fixture/race-target-adapter.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"race-target-adapter.d.ts","sourceRoot":"","sources":["../../src/p1-fixture/race-target-adapter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,aAAa,EACb,oBAAoB,EACpB,qBAAqB,EACtB,MAAM,kBAAkB,CAAC;AAM1B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AAiBzD,OAAO,KAAK,EACV,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EAEpB,MAAM,YAAY,CAAC;AAEpB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,MAAM,UAAU,GAAG,6BAA6B,GAAG,iCAAiC,CAAC;AAE3F,MAAM,WAAW,cAAc;IAC7B,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,UAAU,CAAC;IACjB,QAAQ,EAAE,MAAM,CAAC;IACjB,cAAc,EAAE,MAAM,CAAC;IACvB,eAAe,EAAE,MAAM,CAAC;IACxB,UAAU,EAAE,kBAAkB,CAAC;IAC/B,OAAO,EAAE,mBAAmB,CAAC;IAC7B,WAAW,EAAE,MAAM,CAAC;IACpB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,UAAU,EAAE,UAAU,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,QAAQ,EAAE,oBAAoB,CAAC;IAC/B,QAAQ,EAAE,OAAO,CAAC;CACnB;AAED,MAAM,WAAW,kBAAkB;IACjC,UAAU,EAAE,MAAM,CAAC;IACnB,OAAO,EAAE,aAAa,CAAC;IACvB,IAAI,EAAE,UAAU,CAAC;IACjB,YAAY,EAAE,MAAM,CAAC;IACrB,QAAQ,EAAE,MAAM,CAAC;IACjB,eAAe,EAAE,oBAAoB,CAAC;IACtC,eAAe,EAAE,oBAAoB,CAAC;IACtC,QAAQ,EAAE,mBAAmB,EAAE,CAAC;IAChC,gBAAgB,EAAE,MAAM,EAAE,CAAC;IAC3B,eAAe,EAAE,MAAM,CAAC;IACxB,iBAAiB,EAAE,OAAO,CAAC;IAC3B,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IAChC,uBAAuB,EAAE,MAAM,CAAC;IAChC,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAuDD,qBAAa,mBAAoB,YAAW,aAAa;IAIrD,QAAQ,CAAC,OAAO,EAAE,aAAa;IAC/B,QAAQ,CAAC,QAAQ,EAAE,cAAc;IAJnC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;gBAGT,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,cAAc;IAK7B,OAAO,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC;YAY5D,eAAe;YA8Nf,iBAAiB;CAqLhC"}