handoffprobe 0.1.0

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

@@ -0,0 +1,384 @@
+import { cloneSecurityContext } from '../core/index.js';
+import { executeP0A2aFixture } from '../p0-fixture/a2a/harness.js';
+import { P0IdentityHandoffAdapter } from '../p0-fixture/handoff/adapter.js';
+import { EvidenceRecorder } from '../protocol-lab/evidence.js';
+import { P1DeterministicBarrier } from './barrier.js';
+import { consumeP1Delegation, createP1FixtureState, evaluateP1Delegation, invalidateP1Delegation, recordP1ActionSideEffect, recordP1Attempt, registerP1Action, registerP1Delegation, } from './state.js';
+function createCompletionGate() {
+    let release;
+    const promise = new Promise((resolve) => {
+        release = resolve;
+    });
+    return {
+        promise,
+        release() {
+            if (release === undefined) {
+                throw new Error('P1 completion gate was not initialized.');
+            }
+            release();
+        },
+    };
+}
+async function executeProtectedAttempt(input) {
+    const runState = {};
+    await executeP0A2aFixture({
+        recorder: input.recorder,
+        state: runState,
+        fixtureState: input.state,
+        context: cloneSecurityContext(input.context),
+        handoffAdapter: new P0IdentityHandoffAdapter(),
+        scenario: input.scenario,
+        enforcementMode: 'enforce',
+    });
+    const result = runState.mcpResult;
+    if (result === undefined) {
+        throw new Error('P1 race protected attempt produced no MCP result.');
+    }
+    return {
+        executed: result.envelope.authorization.executed,
+    };
+}
+export class P1RaceTargetAdapter {
+    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 race execution was aborted before start.');
+        }
+        if (this.scenario.kind === 'parallel-one-time-authority') {
+            return this.runParallelRace(input);
+        }
+        return this.runPartialFailure(input);
+    }
+    async runParallelRace(input) {
+        const originalContext = cloneSecurityContext(input.context);
+        const translatedContext = cloneSecurityContext(input.context);
+        const recorder = new EvidenceRecorder(input.runId, this.fixture, input.correlationId);
+        const state = createP1FixtureState();
+        registerP1Delegation(state, this.scenario.delegation);
+        registerP1Action(state, this.scenario.actionId);
+        const before = state.sideEffectCounter;
+        const barrier = new P1DeterministicBarrier([
+            this.scenario.firstAttemptId,
+            this.scenario.secondAttemptId,
+        ]);
+        const firstFinished = createCompletionGate();
+        const executeAttempt = async (attemptId) => {
+            recordP1Attempt(state, this.scenario.actionId, attemptId);
+            /*
+             * Both attempts inspect authority before either reaches
+             * the one-time consumption boundary.
+             */
+            const capturedDecision = evaluateP1Delegation(state, this.scenario.delegation.id, this.scenario.logicalTime, this.scenario.request);
+            recorder.record({
+                protocol: 'HANDOFF',
+                protocolVersion: 'handoffprobe-p1-v1',
+                boundary: 'parallel-attempt -> one-time-consumption-barrier',
+                event: 'p1.race.arrive',
+                context: translatedContext,
+                details: {
+                    scenarioId: this.scenario.id,
+                    delegationId: this.scenario.delegation.id,
+                    actionId: this.scenario.actionId,
+                    attemptId,
+                    capturedAllowed: capturedDecision.allowed,
+                    singleUse: this.scenario.delegation.singleUse,
+                },
+            });
+            const releaseIndex = await barrier.arrive(attemptId);
+            recorder.record({
+                protocol: 'HANDOFF',
+                protocolVersion: 'handoffprobe-p1-v1',
+                boundary: 'one-time-consumption-barrier -> authorization',
+                event: 'p1.race.release',
+                context: translatedContext,
+                details: {
+                    attemptId,
+                    releaseIndex,
+                    barrierArrivals: barrier.arrivedCount(),
+                },
+            });
+            /*
+             * Fixed execution order after both participants have
+             * reached the barrier. No wall-clock timing is involved.
+             */
+            if (releaseIndex > 0) {
+                await firstFinished.promise;
+            }
+            let decision;
+            if (this.fixture === 'secure') {
+                /*
+                 * Secure behavior:
+                 * revalidate and consume at the protected boundary.
+                 */
+                decision = consumeP1Delegation(state, this.scenario.delegation.id, this.scenario.logicalTime, this.scenario.request);
+            }
+            else {
+                /*
+                 * Vulnerable behavior:
+                 * trust the authorization snapshot captured before
+                 * synchronization.
+                 */
+                decision = capturedDecision;
+                if (releaseIndex === 0) {
+                    consumeP1Delegation(state, this.scenario.delegation.id, this.scenario.logicalTime, this.scenario.request);
+                }
+            }
+            recorder.record({
+                protocol: 'HANDOFF',
+                protocolVersion: 'handoffprobe-p1-v1',
+                boundary: 'one-time-authority -> protected-execution',
+                event: 'p1.race.authorization',
+                context: translatedContext,
+                details: {
+                    attemptId,
+                    releaseIndex,
+                    policy: this.fixture === 'secure' ? 'revalidate-and-consume' : 'stale-precheck',
+                    allowed: decision.allowed,
+                    reasons: decision.reasons,
+                    consumedAt: state.delegations[this.scenario.delegation.id]?.consumedAt ?? null,
+                },
+            });
+            let executed = false;
+            try {
+                if (decision.allowed) {
+                    const protectedResult = await executeProtectedAttempt({
+                        recorder,
+                        state,
+                        context: translatedContext,
+                        scenario: this.scenario.p0Scenario,
+                    });
+                    executed = protectedResult.executed;
+                    if (executed) {
+                        recordP1ActionSideEffect(state, this.scenario.actionId);
+                        recorder.record({
+                            protocol: 'CORE',
+                            protocolVersion: 'handoffprobe-p1-v1',
+                            boundary: 'protected-execution -> race-state',
+                            event: 'p1.race.side_effect',
+                            context: translatedContext,
+                            details: {
+                                actionId: this.scenario.actionId,
+                                attemptId,
+                                sideEffectCounter: state.sideEffectCounter,
+                            },
+                        });
+                    }
+                }
+                else {
+                    recorder.record({
+                        protocol: 'HANDOFF',
+                        protocolVersion: 'handoffprobe-p1-v1',
+                        boundary: 'one-time-authority -> mcp',
+                        event: 'p1.race.blocked',
+                        context: translatedContext,
+                        details: {
+                            attemptId,
+                            reasons: decision.reasons,
+                            sideEffectCounter: state.sideEffectCounter,
+                        },
+                    });
+                }
+            }
+            finally {
+                if (releaseIndex === 0) {
+                    firstFinished.release();
+                }
+            }
+            return {
+                attemptId,
+                releaseIndex,
+                decision,
+                executed,
+            };
+        };
+        const attempts = await Promise.all([
+            executeAttempt(this.scenario.firstAttemptId),
+            executeAttempt(this.scenario.secondAttemptId),
+        ]);
+        const currentDecision = evaluateP1Delegation(state, this.scenario.delegation.id, this.scenario.logicalTime, this.scenario.request);
+        const initialDecision = attempts[0]?.decision;
+        if (initialDecision === undefined) {
+            throw new Error('P1 race produced no first attempt.');
+        }
+        const output = {
+            scenarioId: this.scenario.id,
+            fixture: this.fixture,
+            kind: this.scenario.kind,
+            delegationId: this.scenario.delegation.id,
+            actionId: this.scenario.actionId,
+            initialDecision,
+            currentDecision,
+            attempts,
+            executedAttempts: attempts
+                .filter((attempt) => attempt.executed)
+                .map((attempt) => attempt.attemptId),
+            barrierArrivals: barrier.arrivedCount(),
+            capturedStateUsed: this.fixture === 'vulnerable',
+            invalidationTime: null,
+            sideEffectCounterBefore: before,
+            sideEffectCounterAfter: state.sideEffectCounter,
+        };
+        return {
+            originalContext,
+            translatedContext,
+            evidence: recorder.events,
+            output,
+        };
+    }
+    async runPartialFailure(input) {
+        const originalContext = cloneSecurityContext(input.context);
+        const recorder = new EvidenceRecorder(input.runId, this.fixture, input.correlationId);
+        const state = createP1FixtureState();
+        registerP1Delegation(state, this.scenario.delegation);
+        registerP1Action(state, this.scenario.actionId);
+        recordP1Attempt(state, this.scenario.actionId, this.scenario.firstAttemptId);
+        const initialDecision = evaluateP1Delegation(state, this.scenario.delegation.id, this.scenario.logicalTime, this.scenario.request);
+        if (!initialDecision.allowed) {
+            throw new Error('P1 partial-failure baseline authority must be valid.');
+        }
+        /*
+         * Capture translated security state at a deterministic
+         * handoff boundary before the protected side effect.
+         */
+        const handoff = new P0IdentityHandoffAdapter();
+        const capturedContext = handoff.translate(originalContext);
+        recorder.record({
+            protocol: 'HANDOFF',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'a2a-translation -> interrupted-operation',
+            event: 'p1.partial.capture',
+            context: capturedContext,
+            details: {
+                actionId: this.scenario.actionId,
+                attemptId: this.scenario.firstAttemptId,
+                delegationId: this.scenario.delegation.id,
+                interruptionPoint: 'after-translation-before-protected-execution',
+                capturedAuthorization: initialDecision.allowed,
+                sideEffectCounter: state.sideEffectCounter,
+            },
+        });
+        const invalidationTime = this.scenario.invalidationTime;
+        if (invalidationTime === undefined) {
+            throw new Error('P1 partial-failure scenario requires invalidationTime.');
+        }
+        invalidateP1Delegation(state, this.scenario.delegation.id, invalidationTime);
+        recorder.record({
+            protocol: 'CORE',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'security-state -> interrupted-operation',
+            event: 'p1.partial.invalidate',
+            context: capturedContext,
+            details: {
+                actionId: this.scenario.actionId,
+                delegationId: this.scenario.delegation.id,
+                invalidationTime,
+                reason: 'governing_delegation_invalidated',
+            },
+        });
+        recordP1Attempt(state, this.scenario.actionId, this.scenario.secondAttemptId);
+        const currentDecision = evaluateP1Delegation(state, this.scenario.delegation.id, invalidationTime, this.scenario.request);
+        const resumeDecision = this.fixture === 'secure' ? currentDecision : initialDecision;
+        recorder.record({
+            protocol: 'HANDOFF',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'interrupted-operation -> resumed-execution',
+            event: 'p1.partial.resume',
+            context: capturedContext,
+            details: {
+                actionId: this.scenario.actionId,
+                originalAttemptId: this.scenario.firstAttemptId,
+                resumeAttemptId: this.scenario.secondAttemptId,
+                capturedAllowed: initialDecision.allowed,
+                currentAllowed: currentDecision.allowed,
+                currentReasons: currentDecision.reasons,
+                capturedStateUsed: this.fixture === 'vulnerable',
+                resumeAllowed: resumeDecision.allowed,
+            },
+        });
+        const before = state.sideEffectCounter;
+        let executed = false;
+        if (resumeDecision.allowed) {
+            const protectedResult = await executeProtectedAttempt({
+                recorder,
+                state,
+                context: capturedContext,
+                scenario: this.scenario.p0Scenario,
+            });
+            executed = protectedResult.executed;
+            if (executed) {
+                recordP1ActionSideEffect(state, this.scenario.actionId);
+                recorder.record({
+                    protocol: 'CORE',
+                    protocolVersion: 'handoffprobe-p1-v1',
+                    boundary: 'resumed-execution -> partial-failure-state',
+                    event: 'p1.partial.side_effect',
+                    context: capturedContext,
+                    details: {
+                        actionId: this.scenario.actionId,
+                        attemptId: this.scenario.secondAttemptId,
+                        usedStaleState: this.fixture === 'vulnerable',
+                        sideEffectCounter: state.sideEffectCounter,
+                    },
+                });
+            }
+        }
+        else {
+            recorder.record({
+                protocol: 'HANDOFF',
+                protocolVersion: 'handoffprobe-p1-v1',
+                boundary: 'resumed-execution -> mcp',
+                event: 'p1.partial.blocked',
+                context: capturedContext,
+                details: {
+                    actionId: this.scenario.actionId,
+                    attemptId: this.scenario.secondAttemptId,
+                    reasons: currentDecision.reasons,
+                    sideEffectCounter: state.sideEffectCounter,
+                },
+            });
+        }
+        const output = {
+            scenarioId: this.scenario.id,
+            fixture: this.fixture,
+            kind: this.scenario.kind,
+            delegationId: this.scenario.delegation.id,
+            actionId: this.scenario.actionId,
+            initialDecision,
+            currentDecision,
+            attempts: [
+                {
+                    attemptId: this.scenario.firstAttemptId,
+                    releaseIndex: null,
+                    decision: initialDecision,
+                    executed: false,
+                },
+                {
+                    attemptId: this.scenario.secondAttemptId,
+                    releaseIndex: null,
+                    decision: resumeDecision,
+                    executed,
+                },
+            ],
+            executedAttempts: executed ? [this.scenario.secondAttemptId] : [],
+            barrierArrivals: 0,
+            capturedStateUsed: this.fixture === 'vulnerable',
+            invalidationTime,
+            sideEffectCounterBefore: before,
+            sideEffectCounterAfter: state.sideEffectCounter,
+        };
+        return {
+            originalContext,
+            translatedContext: cloneSecurityContext(capturedContext),
+            evidence: recorder.events,
+            output,
+        };
+    }
+}
+//# sourceMappingURL=race-target-adapter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"race-target-adapter.js","sourceRoot":"","sources":["../../src/p1-fixture/race-target-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AAUxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAI5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAC;AAEtD,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,sBAAsB,EACtB,wBAAwB,EACxB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,YAAY,CAAC;AAsDpB,SAAS,oBAAoB;IAC3B,IAAI,OAAiC,CAAC;IAEtC,MAAM,OAAO,GAAG,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QAC5C,OAAO,GAAG,OAAO,CAAC;IACpB,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,OAAO;QAEP,OAAO;YACL,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;YAC7D,CAAC;YAED,OAAO,EAAE,CAAC;QACZ,CAAC;KACF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,uBAAuB,CAAC,KAKtC;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,wBAAwB,EAAE;QAC9C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,eAAe,EAAE,SAAS;KAC3B,CAAC,CAAC;IAEH,MAAM,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC;IAElC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,MAAM,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ;KACjD,CAAC;AACJ,CAAC;AAED,MAAM,OAAO,mBAAmB;IAInB;IACA;IAJF,EAAE,CAAS;IAEpB,YACW,OAAsB,EACtB,QAAwB;QADxB,YAAO,GAAP,OAAO,CAAe;QACtB,aAAQ,GAAR,QAAQ,CAAgB;QAEjC,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,6CAA6C,CAAC,CAAC;QACjE,CAAC;QAED,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,6BAA6B,EAAE,CAAC;YACzD,OAAO,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;QACrC,CAAC;QAED,OAAO,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACvC,CAAC;IAEO,KAAK,CAAC,eAAe,CAAC,KAA2B;QACvD,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5D,MAAM,iBAAiB,GAAG,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAE9D,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,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACtD,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEhD,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC;QAEvC,MAAM,OAAO,GAAG,IAAI,sBAAsB,CAAC;YACzC,IAAI,CAAC,QAAQ,CAAC,cAAc;YAC5B,IAAI,CAAC,QAAQ,CAAC,eAAe;SAC9B,CAAC,CAAC;QAEH,MAAM,aAAa,GAAG,oBAAoB,EAAE,CAAC;QAE7C,MAAM,cAAc,GAAG,KAAK,EAAE,SAAiB,EAAgC,EAAE;YAC/E,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YAE1D;;;eAGG;YACH,MAAM,gBAAgB,GAAG,oBAAoB,CAC3C,KAAK,EACL,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAC3B,IAAI,CAAC,QAAQ,CAAC,WAAW,EACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CACtB,CAAC;YAEF,QAAQ,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,SAAS;gBACnB,eAAe,EAAE,oBAAoB;gBACrC,QAAQ,EAAE,kDAAkD;gBAC5D,KAAK,EAAE,gBAAgB;gBACvB,OAAO,EAAE,iBAAiB;gBAC1B,OAAO,EAAE;oBACP,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;oBAC5B,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;oBACzC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;oBAChC,SAAS;oBACT,eAAe,EAAE,gBAAgB,CAAC,OAAO;oBACzC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,SAAS;iBAC9C;aACF,CAAC,CAAC;YAEH,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAErD,QAAQ,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,SAAS;gBACnB,eAAe,EAAE,oBAAoB;gBACrC,QAAQ,EAAE,+CAA+C;gBACzD,KAAK,EAAE,iBAAiB;gBACxB,OAAO,EAAE,iBAAiB;gBAC1B,OAAO,EAAE;oBACP,SAAS;oBACT,YAAY;oBACZ,eAAe,EAAE,OAAO,CAAC,YAAY,EAAE;iBACxC;aACF,CAAC,CAAC;YAEH;;;eAGG;YACH,IAAI,YAAY,GAAG,CAAC,EAAE,CAAC;gBACrB,MAAM,aAAa,CAAC,OAAO,CAAC;YAC9B,CAAC;YAED,IAAI,QAA8B,CAAC;YAEnC,IAAI,IAAI,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;gBAC9B;;;mBAGG;gBACH,QAAQ,GAAG,mBAAmB,CAC5B,KAAK,EACL,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAC3B,IAAI,CAAC,QAAQ,CAAC,WAAW,EACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CACtB,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN;;;;mBAIG;gBACH,QAAQ,GAAG,gBAAgB,CAAC;gBAE5B,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;oBACvB,mBAAmB,CACjB,KAAK,EACL,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAC3B,IAAI,CAAC,QAAQ,CAAC,WAAW,EACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CACtB,CAAC;gBACJ,CAAC;YACH,CAAC;YAED,QAAQ,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,SAAS;gBACnB,eAAe,EAAE,oBAAoB;gBACrC,QAAQ,EAAE,2CAA2C;gBACrD,KAAK,EAAE,uBAAuB;gBAC9B,OAAO,EAAE,iBAAiB;gBAC1B,OAAO,EAAE;oBACP,SAAS;oBACT,YAAY;oBACZ,MAAM,EAAE,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,wBAAwB,CAAC,CAAC,CAAC,gBAAgB;oBAC/E,OAAO,EAAE,QAAQ,CAAC,OAAO;oBACzB,OAAO,EAAE,QAAQ,CAAC,OAAO;oBACzB,UAAU,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,UAAU,IAAI,IAAI;iBAC/E;aACF,CAAC,CAAC;YAEH,IAAI,QAAQ,GAAG,KAAK,CAAC;YAErB,IAAI,CAAC;gBACH,IAAI,QAAQ,CAAC,OAAO,EAAE,CAAC;oBACrB,MAAM,eAAe,GAAG,MAAM,uBAAuB,CAAC;wBACpD,QAAQ;wBACR,KAAK;wBACL,OAAO,EAAE,iBAAiB;wBAC1B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU;qBACnC,CAAC,CAAC;oBAEH,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC;oBAEpC,IAAI,QAAQ,EAAE,CAAC;wBACb,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;wBAExD,QAAQ,CAAC,MAAM,CAAC;4BACd,QAAQ,EAAE,MAAM;4BAChB,eAAe,EAAE,oBAAoB;4BACrC,QAAQ,EAAE,mCAAmC;4BAC7C,KAAK,EAAE,qBAAqB;4BAC5B,OAAO,EAAE,iBAAiB;4BAC1B,OAAO,EAAE;gCACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;gCAChC,SAAS;gCACT,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;6BAC3C;yBACF,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,MAAM,CAAC;wBACd,QAAQ,EAAE,SAAS;wBACnB,eAAe,EAAE,oBAAoB;wBACrC,QAAQ,EAAE,2BAA2B;wBACrC,KAAK,EAAE,iBAAiB;wBACxB,OAAO,EAAE,iBAAiB;wBAC1B,OAAO,EAAE;4BACP,SAAS;4BACT,OAAO,EAAE,QAAQ,CAAC,OAAO;4BACzB,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;yBAC3C;qBACF,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;oBAAS,CAAC;gBACT,IAAI,YAAY,KAAK,CAAC,EAAE,CAAC;oBACvB,aAAa,CAAC,OAAO,EAAE,CAAC;gBAC1B,CAAC;YACH,CAAC;YAED,OAAO;gBACL,SAAS;gBACT,YAAY;gBACZ,QAAQ;gBACR,QAAQ;aACT,CAAC;QACJ,CAAC,CAAC;QAEF,MAAM,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACjC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC;YAC5C,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC;SAC9C,CAAC,CAAC;QAEH,MAAM,eAAe,GAAG,oBAAoB,CAC1C,KAAK,EACL,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAC3B,IAAI,CAAC,QAAQ,CAAC,WAAW,EACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CACtB,CAAC;QAEF,MAAM,eAAe,GAAG,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC;QAE9C,IAAI,eAAe,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACxD,CAAC;QAED,MAAM,MAAM,GAAuB;YACjC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;YAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;YACxB,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;YACzC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;YAChC,eAAe;YACf,eAAe;YACf,QAAQ;YACR,gBAAgB,EAAE,QAAQ;iBACvB,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC;iBACrC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC;YACtC,eAAe,EAAE,OAAO,CAAC,YAAY,EAAE;YACvC,iBAAiB,EAAE,IAAI,CAAC,OAAO,KAAK,YAAY;YAChD,gBAAgB,EAAE,IAAI;YACtB,uBAAuB,EAAE,MAAM;YAC/B,sBAAsB,EAAE,KAAK,CAAC,iBAAiB;SAChD,CAAC;QAEF,OAAO;YACL,eAAe;YACf,iBAAiB;YACjB,QAAQ,EAAE,QAAQ,CAAC,MAAM;YACzB,MAAM;SACP,CAAC;IACJ,CAAC;IAEO,KAAK,CAAC,iBAAiB,CAAC,KAA2B;QACzD,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,oBAAoB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACtD,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEhD,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAE7E,MAAM,eAAe,GAAG,oBAAoB,CAC1C,KAAK,EACL,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAC3B,IAAI,CAAC,QAAQ,CAAC,WAAW,EACzB,IAAI,CAAC,QAAQ,CAAC,OAAO,CACtB,CAAC;QAEF,IAAI,CAAC,eAAe,CAAC,OAAO,EAAE,CAAC;YAC7B,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QAED;;;WAGG;QACH,MAAM,OAAO,GAAG,IAAI,wBAAwB,EAAE,CAAC;QAC/C,MAAM,eAAe,GAAG,OAAO,CAAC,SAAS,CAAC,eAAe,CAAC,CAAC;QAE3D,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,SAAS;YACnB,eAAe,EAAE,oBAAoB;YACrC,QAAQ,EAAE,0CAA0C;YACpD,KAAK,EAAE,oBAAoB;YAC3B,OAAO,EAAE,eAAe;YACxB,OAAO,EAAE;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBAChC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBACvC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;gBACzC,iBAAiB,EAAE,8CAA8C;gBACjE,qBAAqB,EAAE,eAAe,CAAC,OAAO;gBAC9C,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;aAC3C;SACF,CAAC,CAAC;QAEH,MAAM,gBAAgB,GAAG,IAAI,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAExD,IAAI,gBAAgB,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC5E,CAAC;QAED,sBAAsB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAC;QAE7E,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,MAAM;YAChB,eAAe,EAAE,oBAAoB;YACrC,QAAQ,EAAE,yCAAyC;YACnD,KAAK,EAAE,uBAAuB;YAC9B,OAAO,EAAE,eAAe;YACxB,OAAO,EAAE;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBAChC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;gBACzC,gBAAgB;gBAChB,MAAM,EAAE,kCAAkC;aAC3C;SACF,CAAC,CAAC;QAEH,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAE9E,MAAM,eAAe,GAAG,oBAAoB,CAC1C,KAAK,EACL,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAC3B,gBAAgB,EAChB,IAAI,CAAC,QAAQ,CAAC,OAAO,CACtB,CAAC;QAEF,MAAM,cAAc,GAAG,IAAI,CAAC,OAAO,KAAK,QAAQ,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,eAAe,CAAC;QAErF,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,SAAS;YACnB,eAAe,EAAE,oBAAoB;YACrC,QAAQ,EAAE,4CAA4C;YACtD,KAAK,EAAE,mBAAmB;YAC1B,OAAO,EAAE,eAAe;YACxB,OAAO,EAAE;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBAChC,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBAC/C,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;gBAC9C,eAAe,EAAE,eAAe,CAAC,OAAO;gBACxC,cAAc,EAAE,eAAe,CAAC,OAAO;gBACvC,cAAc,EAAE,eAAe,CAAC,OAAO;gBACvC,iBAAiB,EAAE,IAAI,CAAC,OAAO,KAAK,YAAY;gBAChD,aAAa,EAAE,cAAc,CAAC,OAAO;aACtC;SACF,CAAC,CAAC;QAEH,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC;QAEvC,IAAI,QAAQ,GAAG,KAAK,CAAC;QAErB,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC;YAC3B,MAAM,eAAe,GAAG,MAAM,uBAAuB,CAAC;gBACpD,QAAQ;gBACR,KAAK;gBACL,OAAO,EAAE,eAAe;gBACxB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU;aACnC,CAAC,CAAC;YAEH,QAAQ,GAAG,eAAe,CAAC,QAAQ,CAAC;YAEpC,IAAI,QAAQ,EAAE,CAAC;gBACb,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;gBAExD,QAAQ,CAAC,MAAM,CAAC;oBACd,QAAQ,EAAE,MAAM;oBAChB,eAAe,EAAE,oBAAoB;oBACrC,QAAQ,EAAE,4CAA4C;oBACtD,KAAK,EAAE,wBAAwB;oBAC/B,OAAO,EAAE,eAAe;oBACxB,OAAO,EAAE;wBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;wBAChC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;wBACxC,cAAc,EAAE,IAAI,CAAC,OAAO,KAAK,YAAY;wBAC7C,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;qBAC3C;iBACF,CAAC,CAAC;YACL,CAAC;QACH,CAAC;aAAM,CAAC;YACN,QAAQ,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,SAAS;gBACnB,eAAe,EAAE,oBAAoB;gBACrC,QAAQ,EAAE,0BAA0B;gBACpC,KAAK,EAAE,oBAAoB;gBAC3B,OAAO,EAAE,eAAe;gBACxB,OAAO,EAAE;oBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;oBAChC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;oBACxC,OAAO,EAAE,eAAe,CAAC,OAAO;oBAChC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;iBAC3C;aACF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,MAAM,GAAuB;YACjC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;YAC5B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;YACxB,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;YACzC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;YAChC,eAAe;YACf,eAAe;YACf,QAAQ,EAAE;gBACR;oBACE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;oBACvC,YAAY,EAAE,IAAI;oBAClB,QAAQ,EAAE,eAAe;oBACzB,QAAQ,EAAE,KAAK;iBAChB;gBACD;oBACE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;oBACxC,YAAY,EAAE,IAAI;oBAClB,QAAQ,EAAE,cAAc;oBACxB,QAAQ;iBACT;aACF;YACD,gBAAgB,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YACjE,eAAe,EAAE,CAAC;YAClB,iBAAiB,EAAE,IAAI,CAAC,OAAO,KAAK,YAAY;YAChD,gBAAgB;YAChB,uBAAuB,EAAE,MAAM;YAC/B,sBAAsB,EAAE,KAAK,CAAC,iBAAiB;SAChD,CAAC;QAEF,OAAO;YACL,eAAe;YACf,iBAAiB,EAAE,oBAAoB,CAAC,eAAe,CAAC;YACxD,QAAQ,EAAE,QAAQ,CAAC,MAAM;YACzB,MAAM;SACP,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,44 @@
+import type { TargetAdapter, TargetExecutionInput, TargetExecutionResult } from '../core/index.js';
+import type { P0Scenario } from '../p0-fixture/scenario.js';
+import type { P1ActionRecord, P1DelegationDecision, P1DelegationRecord, P1DelegationRequest } from './state.js';
+import type { P1FixtureMode } from './target-adapter.js';
+export type P1ReplayKind = 'exact-action-replay' | 'cross-context-replay' | 'retry-double-execution';
+export interface P1ReplayScenario {
+    id: string;
+    kind: P1ReplayKind;
+    actionId: string;
+    firstAttemptId: string;
+    secondAttemptId: string;
+    delegation: P1DelegationRecord;
+    baselineRequest: P1DelegationRequest;
+    replayRequest: P1DelegationRequest;
+    logicalTime: number;
+    acknowledgementAmbiguity?: boolean;
+    p0Scenario: P0Scenario;
+}
+export interface P1ReplayTargetOutput {
+    scenarioId: string;
+    fixture: P1FixtureMode;
+    kind: P1ReplayKind;
+    actionId: string;
+    firstAttemptId: string;
+    secondAttemptId: string;
+    baselineDecision: P1DelegationDecision;
+    replayDecision: P1DelegationDecision;
+    acknowledgementAmbiguity: boolean;
+    baselineExecuted: boolean;
+    replayExecuted: boolean;
+    replayBlockedByPolicy: boolean;
+    sideEffectCounterBefore: number;
+    sideEffectCounterAfterFirst: number;
+    sideEffectCounterAfterSecond: number;
+    action: P1ActionRecord;
+}
+export declare class P1ReplayTargetAdapter implements TargetAdapter {
+    readonly fixture: P1FixtureMode;
+    readonly scenario: P1ReplayScenario;
+    readonly id: string;
+    constructor(fixture: P1FixtureMode, scenario: P1ReplayScenario);
+    execute(input: TargetExecutionInput): Promise<TargetExecutionResult>;
+}
+//# sourceMappingURL=replay-target-adapter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"replay-target-adapter.d.ts","sourceRoot":"","sources":["../../src/p1-fixture/replay-target-adapter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAEV,aAAa,EACb,oBAAoB,EACpB,qBAAqB,EACtB,MAAM,kBAAkB,CAAC;AAQ1B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAc5D,OAAO,KAAK,EACV,cAAc,EACd,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EAEpB,MAAM,YAAY,CAAC;AAEpB,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AAEzD,MAAM,MAAM,YAAY,GACtB,qBAAqB,GAAG,sBAAsB,GAAG,wBAAwB,CAAC;AAE5E,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAC;IAEX,IAAI,EAAE,YAAY,CAAC;IAEnB,QAAQ,EAAE,MAAM,CAAC;IAEjB,cAAc,EAAE,MAAM,CAAC;IAEvB,eAAe,EAAE,MAAM,CAAC;IAExB,UAAU,EAAE,kBAAkB,CAAC;IAE/B,eAAe,EAAE,mBAAmB,CAAC;IAErC,aAAa,EAAE,mBAAmB,CAAC;IAEnC,WAAW,EAAE,MAAM,CAAC;IAEpB,wBAAwB,CAAC,EAAE,OAAO,CAAC;IAEnC,UAAU,EAAE,UAAU,CAAC;CACxB;AAED,MAAM,WAAW,oBAAoB;IACnC,UAAU,EAAE,MAAM,CAAC;IAEnB,OAAO,EAAE,aAAa,CAAC;IAEvB,IAAI,EAAE,YAAY,CAAC;IAEnB,QAAQ,EAAE,MAAM,CAAC;IAEjB,cAAc,EAAE,MAAM,CAAC;IAEvB,eAAe,EAAE,MAAM,CAAC;IAExB,gBAAgB,EAAE,oBAAoB,CAAC;IAEvC,cAAc,EAAE,oBAAoB,CAAC;IAErC,wBAAwB,EAAE,OAAO,CAAC;IAElC,gBAAgB,EAAE,OAAO,CAAC;IAE1B,cAAc,EAAE,OAAO,CAAC;IAExB,qBAAqB,EAAE,OAAO,CAAC;IAE/B,uBAAuB,EAAE,MAAM,CAAC;IAEhC,2BAA2B,EAAE,MAAM,CAAC;IAEpC,4BAA4B,EAAE,MAAM,CAAC;IAErC,MAAM,EAAE,cAAc,CAAC;CACxB;AAwED,qBAAa,qBAAsB,YAAW,aAAa;IAIvD,QAAQ,CAAC,OAAO,EAAE,aAAa;IAE/B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB;IALrC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;gBAGT,OAAO,EAAE,aAAa,EAEtB,QAAQ,EAAE,gBAAgB;IAK/B,OAAO,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC;CA4V3E"}