handoffprobe 0.1.0

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

@@ -0,0 +1,248 @@
+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 { consumeP1Delegation, createP1FixtureState, evaluateP1Delegation, recordP1ActionSideEffect, recordP1Attempt, registerP1Action, registerP1Delegation, } from './state.js';
+async function executeProtectedAttempt(input) {
+    const runState = {};
+    const before = input.state.sideEffectCounter;
+    await executeP0A2aFixture({
+        recorder: input.recorder,
+        state: runState,
+        fixtureState: input.state,
+        context: cloneSecurityContext(input.context),
+        handoffAdapter: new P0IdentityHandoffAdapter(),
+        scenario: input.scenario,
+        enforcementMode: 'enforce',
+    });
+    const mcpResult = runState.mcpResult;
+    if (mcpResult === undefined) {
+        throw new Error('P1 replay attempt produced no MCP result.');
+    }
+    return {
+        executed: mcpResult.envelope.authorization.executed,
+        sideEffectCounterBefore: before,
+        sideEffectCounterAfter: input.state.sideEffectCounter,
+    };
+}
+function copyAction(action) {
+    return {
+        ...action,
+        attemptIds: [...action.attemptIds],
+    };
+}
+function requireAction(state, actionId) {
+    const action = state.actions[actionId];
+    if (action === undefined) {
+        throw new Error(`P1 replay action missing: ${actionId}`);
+    }
+    return action;
+}
+export class P1ReplayTargetAdapter {
+    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 replay execution was aborted before start.');
+        }
+        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 baselineDecision = evaluateP1Delegation(state, this.scenario.delegation.id, this.scenario.logicalTime, this.scenario.baselineRequest);
+        recorder.record({
+            protocol: 'HANDOFF',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'a2a-action -> replay-policy',
+            event: 'p1.replay.baseline',
+            context: translatedContext,
+            details: {
+                scenarioId: this.scenario.id,
+                classification: this.scenario.kind,
+                actionId: this.scenario.actionId,
+                attemptId: this.scenario.firstAttemptId,
+                delegationId: this.scenario.delegation.id,
+                taskId: this.scenario.baselineRequest.taskId,
+                runId: this.scenario.baselineRequest.runId,
+                allowed: baselineDecision.allowed,
+                sideEffectCounterBefore: before,
+            },
+        });
+        if (!baselineDecision.allowed) {
+            throw new Error('P1 replay baseline authority must be valid.');
+        }
+        recordP1Attempt(state, this.scenario.actionId, this.scenario.firstAttemptId);
+        const first = await executeProtectedAttempt({
+            recorder,
+            state,
+            context: translatedContext,
+            scenario: this.scenario.p0Scenario,
+        });
+        if (!first.executed) {
+            throw new Error('P1 replay baseline protected action did not execute.');
+        }
+        recordP1ActionSideEffect(state, this.scenario.actionId);
+        consumeP1Delegation(state, this.scenario.delegation.id, this.scenario.logicalTime, this.scenario.baselineRequest);
+        recorder.record({
+            protocol: 'HANDOFF',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'mcp-side-effect -> replay-state',
+            event: 'p1.replay.first_execution',
+            context: translatedContext,
+            details: {
+                actionId: this.scenario.actionId,
+                attemptId: this.scenario.firstAttemptId,
+                executed: first.executed,
+                sideEffectCounterBefore: first.sideEffectCounterBefore,
+                sideEffectCounterAfter: first.sideEffectCounterAfter,
+                consumptionState: this.scenario.delegation.singleUse ? 'consumed' : 'not_single_use',
+            },
+        });
+        const acknowledgementAmbiguity = this.scenario.acknowledgementAmbiguity === true;
+        if (acknowledgementAmbiguity) {
+            recorder.record({
+                protocol: 'HANDOFF',
+                protocolVersion: 'handoffprobe-p1-v1',
+                boundary: 'mcp-result -> a2a-acknowledgement',
+                event: 'p1.retry.acknowledgement_lost',
+                context: translatedContext,
+                details: {
+                    actionId: this.scenario.actionId,
+                    attemptId: this.scenario.firstAttemptId,
+                    sideEffectExecuted: true,
+                    acknowledgementDelivered: false,
+                },
+            });
+        }
+        const replayDecision = evaluateP1Delegation(state, this.scenario.delegation.id, this.scenario.logicalTime, this.scenario.replayRequest);
+        const actionBeforeReplay = requireAction(state, this.scenario.actionId);
+        const alreadyCompleted = actionBeforeReplay.completed;
+        let replayAllowedByPolicy = replayDecision.allowed;
+        if (this.scenario.kind === 'retry-double-execution') {
+            replayAllowedByPolicy = replayDecision.allowed && !alreadyCompleted;
+        }
+        const replayBlockedByPolicy = !replayAllowedByPolicy;
+        recorder.record({
+            protocol: 'HANDOFF',
+            protocolVersion: 'handoffprobe-p1-v1',
+            boundary: 'replayed-a2a-action -> replay-policy',
+            event: 'p1.replay.classify',
+            context: translatedContext,
+            details: {
+                classification: this.scenario.kind,
+                actionId: this.scenario.actionId,
+                originalAttemptId: this.scenario.firstAttemptId,
+                replayAttemptId: this.scenario.secondAttemptId,
+                originalTaskId: this.scenario.baselineRequest.taskId,
+                replayTaskId: this.scenario.replayRequest.taskId,
+                originalRunId: this.scenario.baselineRequest.runId,
+                replayRunId: this.scenario.replayRequest.runId,
+                delegationId: this.scenario.delegation.id,
+                delegationAllowed: replayDecision.allowed,
+                delegationReasons: replayDecision.reasons,
+                logicalActionCompleted: alreadyCompleted,
+                replayAllowedByPolicy,
+                acknowledgementAmbiguity,
+            },
+        });
+        recordP1Attempt(state, this.scenario.actionId, this.scenario.secondAttemptId);
+        let replayExecuted = false;
+        if (replayBlockedByPolicy && this.fixture === 'secure') {
+            recorder.record({
+                protocol: 'HANDOFF',
+                protocolVersion: 'handoffprobe-p1-v1',
+                boundary: 'replay-policy -> mcp',
+                event: 'p1.replay.blocked',
+                context: translatedContext,
+                details: {
+                    actionId: this.scenario.actionId,
+                    attemptId: this.scenario.secondAttemptId,
+                    classification: this.scenario.kind,
+                    reasons: replayDecision.reasons,
+                    logicalActionCompleted: alreadyCompleted,
+                    sideEffectCounter: state.sideEffectCounter,
+                },
+            });
+        }
+        else {
+            if (replayBlockedByPolicy) {
+                recorder.record({
+                    protocol: 'HANDOFF',
+                    protocolVersion: 'handoffprobe-p1-v1',
+                    boundary: 'replay-policy -> mcp',
+                    event: 'p1.replay.bypassed',
+                    context: translatedContext,
+                    details: {
+                        actionId: this.scenario.actionId,
+                        attemptId: this.scenario.secondAttemptId,
+                        classification: this.scenario.kind,
+                        reasons: replayDecision.reasons,
+                        logicalActionCompleted: alreadyCompleted,
+                    },
+                });
+            }
+            const second = await executeProtectedAttempt({
+                recorder,
+                state,
+                context: translatedContext,
+                scenario: this.scenario.p0Scenario,
+            });
+            replayExecuted = second.executed;
+            if (replayExecuted) {
+                recordP1ActionSideEffect(state, this.scenario.actionId);
+            }
+            recorder.record({
+                protocol: 'HANDOFF',
+                protocolVersion: 'handoffprobe-p1-v1',
+                boundary: 'mcp-side-effect -> replay-state',
+                event: 'p1.replay.second_execution',
+                context: translatedContext,
+                details: {
+                    actionId: this.scenario.actionId,
+                    attemptId: this.scenario.secondAttemptId,
+                    executed: second.executed,
+                    sideEffectCounterBefore: second.sideEffectCounterBefore,
+                    sideEffectCounterAfter: second.sideEffectCounterAfter,
+                },
+            });
+        }
+        if (input.signal.aborted) {
+            throw new Error('P1 replay execution was aborted.');
+        }
+        const action = requireAction(state, this.scenario.actionId);
+        const output = {
+            scenarioId: this.scenario.id,
+            fixture: this.fixture,
+            kind: this.scenario.kind,
+            actionId: this.scenario.actionId,
+            firstAttemptId: this.scenario.firstAttemptId,
+            secondAttemptId: this.scenario.secondAttemptId,
+            baselineDecision,
+            replayDecision,
+            acknowledgementAmbiguity,
+            baselineExecuted: first.executed,
+            replayExecuted,
+            replayBlockedByPolicy,
+            sideEffectCounterBefore: before,
+            sideEffectCounterAfterFirst: first.sideEffectCounterAfter,
+            sideEffectCounterAfterSecond: state.sideEffectCounter,
+            action: copyAction(action),
+        };
+        return {
+            originalContext,
+            translatedContext,
+            evidence: recorder.events,
+            output,
+        };
+    }
+}
+//# sourceMappingURL=replay-target-adapter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"replay-target-adapter.js","sourceRoot":"","sources":["../../src/p1-fixture/replay-target-adapter.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,MAAM,kBAAkB,CAAC;AASxD,OAAO,EAAE,mBAAmB,EAAE,MAAM,8BAA8B,CAAC;AAInE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kCAAkC,CAAC;AAI5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAE/D,OAAO,EACL,mBAAmB,EACnB,oBAAoB,EACpB,oBAAoB,EACpB,wBAAwB,EACxB,eAAe,EACf,gBAAgB,EAChB,oBAAoB,GACrB,MAAM,YAAY,CAAC;AAiFpB,KAAK,UAAU,uBAAuB,CAAC,KAQtC;IACC,MAAM,QAAQ,GAAkB,EAAE,CAAC;IAEnC,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC;IAE7C,MAAM,mBAAmB,CAAC;QACxB,QAAQ,EAAE,KAAK,CAAC,QAAQ;QAExB,KAAK,EAAE,QAAQ;QAEf,YAAY,EAAE,KAAK,CAAC,KAAK;QAEzB,OAAO,EAAE,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC;QAE5C,cAAc,EAAE,IAAI,wBAAwB,EAAE;QAE9C,QAAQ,EAAE,KAAK,CAAC,QAAQ;QAExB,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,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IAED,OAAO;QACL,QAAQ,EAAE,SAAS,CAAC,QAAQ,CAAC,aAAa,CAAC,QAAQ;QAEnD,uBAAuB,EAAE,MAAM;QAE/B,sBAAsB,EAAE,KAAK,CAAC,KAAK,CAAC,iBAAiB;KACtD,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,MAAsB;IACxC,OAAO;QACL,GAAG,MAAM;QAET,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,KAAqB,EAAE,QAAgB;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,6BAA6B,QAAQ,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,OAAO,qBAAqB;IAIrB;IAEA;IALF,EAAE,CAAS;IAEpB,YACW,OAAsB,EAEtB,QAA0B;QAF1B,YAAO,GAAP,OAAO,CAAe;QAEtB,aAAQ,GAAR,QAAQ,CAAkB;QAEnC,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,+CAA+C,CAAC,CAAC;QACnE,CAAC;QAED,MAAM,eAAe,GAAG,oBAAoB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAE5D,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;QAEtD,gBAAgB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAEhD,MAAM,MAAM,GAAG,KAAK,CAAC,iBAAiB,CAAC;QAEvC,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,eAAe,CAC9B,CAAC;QAEF,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,SAAS;YAEnB,eAAe,EAAE,oBAAoB;YAErC,QAAQ,EAAE,6BAA6B;YAEvC,KAAK,EAAE,oBAAoB;YAE3B,OAAO,EAAE,iBAAiB;YAE1B,OAAO,EAAE;gBACP,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;gBAE5B,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBAElC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBAEhC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBAEvC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;gBAEzC,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM;gBAE5C,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK;gBAE1C,OAAO,EAAE,gBAAgB,CAAC,OAAO;gBAEjC,uBAAuB,EAAE,MAAM;aAChC;SACF,CAAC,CAAC;QAEH,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;QACjE,CAAC;QAED,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QAE7E,MAAM,KAAK,GAAG,MAAM,uBAAuB,CAAC;YAC1C,QAAQ;YAER,KAAK;YAEL,OAAO,EAAE,iBAAiB;YAE1B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU;SACnC,CAAC,CAAC;QAEH,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;YACpB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QAED,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAExD,mBAAmB,CACjB,KAAK,EACL,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAC3B,IAAI,CAAC,QAAQ,CAAC,WAAW,EACzB,IAAI,CAAC,QAAQ,CAAC,eAAe,CAC9B,CAAC;QAEF,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,SAAS;YAEnB,eAAe,EAAE,oBAAoB;YAErC,QAAQ,EAAE,iCAAiC;YAE3C,KAAK,EAAE,2BAA2B;YAElC,OAAO,EAAE,iBAAiB;YAE1B,OAAO,EAAE;gBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBAEhC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBAEvC,QAAQ,EAAE,KAAK,CAAC,QAAQ;gBAExB,uBAAuB,EAAE,KAAK,CAAC,uBAAuB;gBAEtD,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;gBAEpD,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,gBAAgB;aACrF;SACF,CAAC,CAAC;QAEH,MAAM,wBAAwB,GAAG,IAAI,CAAC,QAAQ,CAAC,wBAAwB,KAAK,IAAI,CAAC;QAEjF,IAAI,wBAAwB,EAAE,CAAC;YAC7B,QAAQ,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,SAAS;gBAEnB,eAAe,EAAE,oBAAoB;gBAErC,QAAQ,EAAE,mCAAmC;gBAE7C,KAAK,EAAE,+BAA+B;gBAEtC,OAAO,EAAE,iBAAiB;gBAE1B,OAAO,EAAE;oBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;oBAEhC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;oBAEvC,kBAAkB,EAAE,IAAI;oBAExB,wBAAwB,EAAE,KAAK;iBAChC;aACF,CAAC,CAAC;QACL,CAAC;QAED,MAAM,cAAc,GAAG,oBAAoB,CACzC,KAAK,EACL,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,EAC3B,IAAI,CAAC,QAAQ,CAAC,WAAW,EACzB,IAAI,CAAC,QAAQ,CAAC,aAAa,CAC5B,CAAC;QAEF,MAAM,kBAAkB,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAExE,MAAM,gBAAgB,GAAG,kBAAkB,CAAC,SAAS,CAAC;QAEtD,IAAI,qBAAqB,GAAG,cAAc,CAAC,OAAO,CAAC;QAEnD,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YACpD,qBAAqB,GAAG,cAAc,CAAC,OAAO,IAAI,CAAC,gBAAgB,CAAC;QACtE,CAAC;QAED,MAAM,qBAAqB,GAAG,CAAC,qBAAqB,CAAC;QAErD,QAAQ,CAAC,MAAM,CAAC;YACd,QAAQ,EAAE,SAAS;YAEnB,eAAe,EAAE,oBAAoB;YAErC,QAAQ,EAAE,sCAAsC;YAEhD,KAAK,EAAE,oBAAoB;YAE3B,OAAO,EAAE,iBAAiB;YAE1B,OAAO,EAAE;gBACP,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBAElC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;gBAEhC,iBAAiB,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;gBAE/C,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;gBAE9C,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,MAAM;gBAEpD,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,MAAM;gBAEhD,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,KAAK;gBAElD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,aAAa,CAAC,KAAK;gBAE9C,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE;gBAEzC,iBAAiB,EAAE,cAAc,CAAC,OAAO;gBAEzC,iBAAiB,EAAE,cAAc,CAAC,OAAO;gBAEzC,sBAAsB,EAAE,gBAAgB;gBAExC,qBAAqB;gBAErB,wBAAwB;aACzB;SACF,CAAC,CAAC;QAEH,eAAe,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QAE9E,IAAI,cAAc,GAAG,KAAK,CAAC;QAE3B,IAAI,qBAAqB,IAAI,IAAI,CAAC,OAAO,KAAK,QAAQ,EAAE,CAAC;YACvD,QAAQ,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,SAAS;gBAEnB,eAAe,EAAE,oBAAoB;gBAErC,QAAQ,EAAE,sBAAsB;gBAEhC,KAAK,EAAE,mBAAmB;gBAE1B,OAAO,EAAE,iBAAiB;gBAE1B,OAAO,EAAE;oBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;oBAEhC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;oBAExC,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;oBAElC,OAAO,EAAE,cAAc,CAAC,OAAO;oBAE/B,sBAAsB,EAAE,gBAAgB;oBAExC,iBAAiB,EAAE,KAAK,CAAC,iBAAiB;iBAC3C;aACF,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,IAAI,qBAAqB,EAAE,CAAC;gBAC1B,QAAQ,CAAC,MAAM,CAAC;oBACd,QAAQ,EAAE,SAAS;oBAEnB,eAAe,EAAE,oBAAoB;oBAErC,QAAQ,EAAE,sBAAsB;oBAEhC,KAAK,EAAE,oBAAoB;oBAE3B,OAAO,EAAE,iBAAiB;oBAE1B,OAAO,EAAE;wBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;wBAEhC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;wBAExC,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;wBAElC,OAAO,EAAE,cAAc,CAAC,OAAO;wBAE/B,sBAAsB,EAAE,gBAAgB;qBACzC;iBACF,CAAC,CAAC;YACL,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,uBAAuB,CAAC;gBAC3C,QAAQ;gBAER,KAAK;gBAEL,OAAO,EAAE,iBAAiB;gBAE1B,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,UAAU;aACnC,CAAC,CAAC;YAEH,cAAc,GAAG,MAAM,CAAC,QAAQ,CAAC;YAEjC,IAAI,cAAc,EAAE,CAAC;gBACnB,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;YAC1D,CAAC;YAED,QAAQ,CAAC,MAAM,CAAC;gBACd,QAAQ,EAAE,SAAS;gBAEnB,eAAe,EAAE,oBAAoB;gBAErC,QAAQ,EAAE,iCAAiC;gBAE3C,KAAK,EAAE,4BAA4B;gBAEnC,OAAO,EAAE,iBAAiB;gBAE1B,OAAO,EAAE;oBACP,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;oBAEhC,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;oBAExC,QAAQ,EAAE,MAAM,CAAC,QAAQ;oBAEzB,uBAAuB,EAAE,MAAM,CAAC,uBAAuB;oBAEvD,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;iBACtD;aACF,CAAC,CAAC;QACL,CAAC;QAED,IAAI,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,kCAAkC,CAAC,CAAC;QACtD,CAAC;QAED,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAE5D,MAAM,MAAM,GAAyB;YACnC,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE;YAE5B,OAAO,EAAE,IAAI,CAAC,OAAO;YAErB,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;YAExB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;YAEhC,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,cAAc;YAE5C,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,eAAe;YAE9C,gBAAgB;YAEhB,cAAc;YAEd,wBAAwB;YAExB,gBAAgB,EAAE,KAAK,CAAC,QAAQ;YAEhC,cAAc;YAEd,qBAAqB;YAErB,uBAAuB,EAAE,MAAM;YAE/B,2BAA2B,EAAE,KAAK,CAAC,sBAAsB;YAEzD,4BAA4B,EAAE,KAAK,CAAC,iBAAiB;YAErD,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC;SAC3B,CAAC;QAEF,OAAO;YACL,eAAe;YAEf,iBAAiB;YAEjB,QAAQ,EAAE,QAAQ,CAAC,MAAM;YAEzB,MAAM;SACP,CAAC;IACJ,CAAC;CACF"}

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

@@ -0,0 +1,78 @@
+import type { P0FixtureSnapshot, P0FixtureState } from '../p0-fixture/state.js';
+export interface P1DelegationRecord {
+    id: string;
+    principal: string;
+    delegate: string;
+    tenant: string;
+    resources: string[];
+    capabilities: string[];
+    chain: string[];
+    taskId: string;
+    runId: string;
+    issuedAt: number;
+    expiresAt: number;
+    singleUse: boolean;
+    consumedAt?: number;
+    invalidatedAt?: number;
+}
+export interface P1DelegationRequest {
+    principal: string;
+    delegate: string;
+    tenant: string;
+    resource: string;
+    capability: string;
+    taskId: string;
+    runId: string;
+    requiredChain?: readonly string[];
+}
+export interface P1DelegationDecision {
+    allowed: boolean;
+    reasons: string[];
+    expired: boolean;
+    consumed: boolean;
+    invalidated: boolean;
+    principalMatches: boolean;
+    delegateMatches: boolean;
+    tenantMatches: boolean;
+    resourceMatches: boolean;
+    capabilityMatches: boolean;
+    taskMatches: boolean;
+    runMatches: boolean;
+    chainMatches: boolean;
+}
+export interface P1ActionRecord {
+    actionId: string;
+    attemptIds: string[];
+    sideEffectCount: number;
+    completed: boolean;
+}
+export interface P1AuditLineageRecord {
+    correlationId: string;
+    principal: string;
+    taskId: string;
+    delegationId: string;
+    handoffId: string;
+    mcpRequestId: string;
+    sideEffectId?: string;
+}
+export interface P1FixtureState extends P0FixtureState {
+    delegations: Record<string, P1DelegationRecord>;
+    actions: Record<string, P1ActionRecord>;
+    auditLineage: P1AuditLineageRecord[];
+}
+export interface P1FixtureSnapshot extends P0FixtureSnapshot {
+    delegations: Record<string, P1DelegationRecord>;
+    actions: Record<string, P1ActionRecord>;
+    auditLineage: P1AuditLineageRecord[];
+}
+export declare function createP1FixtureState(): P1FixtureState;
+export declare function registerP1Delegation(state: P1FixtureState, input: P1DelegationRecord): P1DelegationRecord;
+export declare function evaluateP1Delegation(state: P1FixtureState, delegationId: string, logicalTime: number, request: P1DelegationRequest): P1DelegationDecision;
+export declare function consumeP1Delegation(state: P1FixtureState, delegationId: string, logicalTime: number, request: P1DelegationRequest): P1DelegationDecision;
+export declare function invalidateP1Delegation(state: P1FixtureState, delegationId: string, logicalTime: number): void;
+export declare function registerP1Action(state: P1FixtureState, actionId: string): P1ActionRecord;
+export declare function recordP1Attempt(state: P1FixtureState, actionId: string, attemptId: string): void;
+export declare function recordP1ActionSideEffect(state: P1FixtureState, actionId: string): void;
+export declare function recordP1AuditLineage(state: P1FixtureState, record: P1AuditLineageRecord): void;
+export declare function snapshotP1FixtureState(state: P1FixtureState): P1FixtureSnapshot;
+//# sourceMappingURL=state.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.d.ts","sourceRoot":"","sources":["../../src/p1-fixture/state.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,iBAAiB,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAEhF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IAEX,SAAS,EAAE,MAAM,CAAC;IAElB,QAAQ,EAAE,MAAM,CAAC;IAEjB,MAAM,EAAE,MAAM,CAAC;IAEf,SAAS,EAAE,MAAM,EAAE,CAAC;IAEpB,YAAY,EAAE,MAAM,EAAE,CAAC;IAEvB,KAAK,EAAE,MAAM,EAAE,CAAC;IAEhB,MAAM,EAAE,MAAM,CAAC;IAEf,KAAK,EAAE,MAAM,CAAC;IAEd,QAAQ,EAAE,MAAM,CAAC;IAEjB,SAAS,EAAE,MAAM,CAAC;IAElB,SAAS,EAAE,OAAO,CAAC;IAEnB,UAAU,CAAC,EAAE,MAAM,CAAC;IAEpB,aAAa,CAAC,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,MAAM,CAAC;IAElB,QAAQ,EAAE,MAAM,CAAC;IAEjB,MAAM,EAAE,MAAM,CAAC;IAEf,QAAQ,EAAE,MAAM,CAAC;IAEjB,UAAU,EAAE,MAAM,CAAC;IAEnB,MAAM,EAAE,MAAM,CAAC;IAEf,KAAK,EAAE,MAAM,CAAC;IAEd,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;CACnC;AAED,MAAM,WAAW,oBAAoB;IACnC,OAAO,EAAE,OAAO,CAAC;IAEjB,OAAO,EAAE,MAAM,EAAE,CAAC;IAElB,OAAO,EAAE,OAAO,CAAC;IAEjB,QAAQ,EAAE,OAAO,CAAC;IAElB,WAAW,EAAE,OAAO,CAAC;IAErB,gBAAgB,EAAE,OAAO,CAAC;IAE1B,eAAe,EAAE,OAAO,CAAC;IAEzB,aAAa,EAAE,OAAO,CAAC;IAEvB,eAAe,EAAE,OAAO,CAAC;IAEzB,iBAAiB,EAAE,OAAO,CAAC;IAE3B,WAAW,EAAE,OAAO,CAAC;IAErB,UAAU,EAAE,OAAO,CAAC;IAEpB,YAAY,EAAE,OAAO,CAAC;CACvB;AAED,MAAM,WAAW,cAAc;IAC7B,QAAQ,EAAE,MAAM,CAAC;IAEjB,UAAU,EAAE,MAAM,EAAE,CAAC;IAErB,eAAe,EAAE,MAAM,CAAC;IAExB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,MAAM,WAAW,oBAAoB;IACnC,aAAa,EAAE,MAAM,CAAC;IAEtB,SAAS,EAAE,MAAM,CAAC;IAElB,MAAM,EAAE,MAAM,CAAC;IAEf,YAAY,EAAE,MAAM,CAAC;IAErB,SAAS,EAAE,MAAM,CAAC;IAElB,YAAY,EAAE,MAAM,CAAC;IAErB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,cAAe,SAAQ,cAAc;IACpD,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAEhD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAExC,YAAY,EAAE,oBAAoB,EAAE,CAAC;CACtC;AAED,MAAM,WAAW,iBAAkB,SAAQ,iBAAiB;IAC1D,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAEhD,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IAExC,YAAY,EAAE,oBAAoB,EAAE,CAAC;CACtC;AA0BD,wBAAgB,oBAAoB,IAAI,cAAc,CAUrD;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,cAAc,EACrB,KAAK,EAAE,kBAAkB,GACxB,kBAAkB,CA8BpB;AAED,wBAAgB,oBAAoB,CAClC,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,mBAAmB,GAC3B,oBAAoB,CAyGtB;AAED,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,EACnB,OAAO,EAAE,mBAAmB,GAC3B,oBAAoB,CActB;AAED,wBAAgB,sBAAsB,CACpC,KAAK,EAAE,cAAc,EACrB,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,MAAM,GAClB,IAAI,CAQN;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,GAAG,cAAc,CAsBxF;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,IAAI,CAQhG;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,cAAc,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAMtF;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,cAAc,EAAE,MAAM,EAAE,oBAAoB,GAAG,IAAI,CAI9F;AAED,wBAAgB,sBAAsB,CAAC,KAAK,EAAE,cAAc,GAAG,iBAAiB,CAoC/E"}

package/dist/p1-fixture/state.js

@@ -0,0 +1,191 @@
+import { createP0FixtureState, snapshotP0FixtureState } from '../p0-fixture/state.js';
+function sameOrderedValues(left, right) {
+    return left.length === right.length && left.every((value, index) => value === right[index]);
+}
+function requireDelegation(state, delegationId) {
+    const delegation = state.delegations[delegationId];
+    if (delegation === undefined) {
+        throw new Error(`P1 delegation not found: ${delegationId}`);
+    }
+    return delegation;
+}
+function requireAction(state, actionId) {
+    const action = state.actions[actionId];
+    if (action === undefined) {
+        throw new Error(`P1 action not found: ${actionId}`);
+    }
+    return action;
+}
+export function createP1FixtureState() {
+    return {
+        ...createP0FixtureState(),
+        delegations: {},
+        actions: {},
+        auditLineage: [],
+    };
+}
+export function registerP1Delegation(state, input) {
+    if (state.delegations[input.id] !== undefined) {
+        throw new Error(`P1 delegation already exists: ${input.id}`);
+    }
+    if (input.expiresAt <= input.issuedAt) {
+        throw new Error('P1 delegation expiry must be after issue time.');
+    }
+    const stored = {
+        ...input,
+        resources: [...input.resources],
+        capabilities: [...input.capabilities],
+        chain: [...input.chain],
+    };
+    state.delegations[input.id] = stored;
+    return {
+        ...stored,
+        resources: [...stored.resources],
+        capabilities: [...stored.capabilities],
+        chain: [...stored.chain],
+    };
+}
+export function evaluateP1Delegation(state, delegationId, logicalTime, request) {
+    const delegation = requireDelegation(state, delegationId);
+    const expired = logicalTime >= delegation.expiresAt;
+    const invalidated = delegation.invalidatedAt !== undefined && logicalTime >= delegation.invalidatedAt;
+    const consumed = delegation.singleUse && delegation.consumedAt !== undefined;
+    const principalMatches = delegation.principal === request.principal;
+    const delegateMatches = delegation.delegate === request.delegate;
+    const tenantMatches = delegation.tenant === request.tenant;
+    const resourceMatches = delegation.resources.includes(request.resource);
+    const capabilityMatches = delegation.capabilities.includes(request.capability);
+    const taskMatches = delegation.taskId === request.taskId;
+    const runMatches = delegation.runId === request.runId;
+    const chainMatches = request.requiredChain === undefined ||
+        sameOrderedValues(delegation.chain, request.requiredChain);
+    const reasons = [];
+    if (logicalTime < delegation.issuedAt) {
+        reasons.push('delegation_not_yet_valid');
+    }
+    if (expired) {
+        reasons.push('delegation_expired');
+    }
+    if (invalidated) {
+        reasons.push('delegation_invalidated');
+    }
+    if (consumed) {
+        reasons.push('single_use_delegation_consumed');
+    }
+    if (!principalMatches) {
+        reasons.push('principal_mismatch');
+    }
+    if (!delegateMatches) {
+        reasons.push('delegate_mismatch');
+    }
+    if (!tenantMatches) {
+        reasons.push('tenant_mismatch');
+    }
+    if (!resourceMatches) {
+        reasons.push('resource_mismatch');
+    }
+    if (!capabilityMatches) {
+        reasons.push('capability_mismatch');
+    }
+    if (!taskMatches) {
+        reasons.push('task_mismatch');
+    }
+    if (!runMatches) {
+        reasons.push('run_mismatch');
+    }
+    if (!chainMatches) {
+        reasons.push('delegation_chain_mismatch');
+    }
+    return {
+        allowed: reasons.length === 0,
+        reasons,
+        expired,
+        consumed,
+        invalidated,
+        principalMatches,
+        delegateMatches,
+        tenantMatches,
+        resourceMatches,
+        capabilityMatches,
+        taskMatches,
+        runMatches,
+        chainMatches,
+    };
+}
+export function consumeP1Delegation(state, delegationId, logicalTime, request) {
+    const decision = evaluateP1Delegation(state, delegationId, logicalTime, request);
+    if (!decision.allowed) {
+        return decision;
+    }
+    const delegation = requireDelegation(state, delegationId);
+    if (delegation.singleUse) {
+        delegation.consumedAt = logicalTime;
+    }
+    return decision;
+}
+export function invalidateP1Delegation(state, delegationId, logicalTime) {
+    const delegation = requireDelegation(state, delegationId);
+    if (delegation.invalidatedAt !== undefined) {
+        throw new Error(`P1 delegation already invalidated: ${delegationId}`);
+    }
+    delegation.invalidatedAt = logicalTime;
+}
+export function registerP1Action(state, actionId) {
+    if (state.actions[actionId] !== undefined) {
+        throw new Error(`P1 action already exists: ${actionId}`);
+    }
+    const action = {
+        actionId,
+        attemptIds: [],
+        sideEffectCount: 0,
+        completed: false,
+    };
+    state.actions[actionId] = action;
+    return {
+        ...action,
+        attemptIds: [...action.attemptIds],
+    };
+}
+export function recordP1Attempt(state, actionId, attemptId) {
+    const action = requireAction(state, actionId);
+    if (action.attemptIds.includes(attemptId)) {
+        throw new Error(`P1 attempt already recorded: ${attemptId}`);
+    }
+    action.attemptIds.push(attemptId);
+}
+export function recordP1ActionSideEffect(state, actionId) {
+    const action = requireAction(state, actionId);
+    action.sideEffectCount += 1;
+    action.completed = true;
+}
+export function recordP1AuditLineage(state, record) {
+    state.auditLineage.push({
+        ...record,
+    });
+}
+export function snapshotP1FixtureState(state) {
+    const p0 = snapshotP0FixtureState(state);
+    return {
+        ...p0,
+        delegations: Object.fromEntries(Object.entries(state.delegations).map(([id, delegation]) => [
+            id,
+            {
+                ...delegation,
+                resources: [...delegation.resources],
+                capabilities: [...delegation.capabilities],
+                chain: [...delegation.chain],
+            },
+        ])),
+        actions: Object.fromEntries(Object.entries(state.actions).map(([id, action]) => [
+            id,
+            {
+                ...action,
+                attemptIds: [...action.attemptIds],
+            },
+        ])),
+        auditLineage: state.auditLineage.map((record) => ({
+            ...record,
+        })),
+    };
+}
+//# sourceMappingURL=state.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"state.js","sourceRoot":"","sources":["../../src/p1-fixture/state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,oBAAoB,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AA0HtF,SAAS,iBAAiB,CAAC,IAAuB,EAAE,KAAwB;IAC1E,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;AAC9F,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAqB,EAAE,YAAoB;IACpE,MAAM,UAAU,GAAG,KAAK,CAAC,WAAW,CAAC,YAAY,CAAC,CAAC;IAEnD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,4BAA4B,YAAY,EAAE,CAAC,CAAC;IAC9D,CAAC;IAED,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,SAAS,aAAa,CAAC,KAAqB,EAAE,QAAgB;IAC5D,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEvC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,wBAAwB,QAAQ,EAAE,CAAC,CAAC;IACtD,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,oBAAoB;IAClC,OAAO;QACL,GAAG,oBAAoB,EAAE;QAEzB,WAAW,EAAE,EAAE;QAEf,OAAO,EAAE,EAAE;QAEX,YAAY,EAAE,EAAE;KACjB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAqB,EACrB,KAAyB;IAEzB,IAAI,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,IAAI,KAAK,CAAC,SAAS,IAAI,KAAK,CAAC,QAAQ,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IAED,MAAM,MAAM,GAAuB;QACjC,GAAG,KAAK;QAER,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC;QAE/B,YAAY,EAAE,CAAC,GAAG,KAAK,CAAC,YAAY,CAAC;QAErC,KAAK,EAAE,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;KACxB,CAAC;IAEF,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;IAErC,OAAO;QACL,GAAG,MAAM;QAET,SAAS,EAAE,CAAC,GAAG,MAAM,CAAC,SAAS,CAAC;QAEhC,YAAY,EAAE,CAAC,GAAG,MAAM,CAAC,YAAY,CAAC;QAEtC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC;KACzB,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oBAAoB,CAClC,KAAqB,EACrB,YAAoB,EACpB,WAAmB,EACnB,OAA4B;IAE5B,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAE1D,MAAM,OAAO,GAAG,WAAW,IAAI,UAAU,CAAC,SAAS,CAAC;IAEpD,MAAM,WAAW,GACf,UAAU,CAAC,aAAa,KAAK,SAAS,IAAI,WAAW,IAAI,UAAU,CAAC,aAAa,CAAC;IAEpF,MAAM,QAAQ,GAAG,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,UAAU,KAAK,SAAS,CAAC;IAE7E,MAAM,gBAAgB,GAAG,UAAU,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS,CAAC;IAEpE,MAAM,eAAe,GAAG,UAAU,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ,CAAC;IAEjE,MAAM,aAAa,GAAG,UAAU,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC;IAE3D,MAAM,eAAe,GAAG,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IAExE,MAAM,iBAAiB,GAAG,UAAU,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAE/E,MAAM,WAAW,GAAG,UAAU,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM,CAAC;IAEzD,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK,CAAC;IAEtD,MAAM,YAAY,GAChB,OAAO,CAAC,aAAa,KAAK,SAAS;QACnC,iBAAiB,CAAC,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,aAAa,CAAC,CAAC;IAE7D,MAAM,OAAO,GAAa,EAAE,CAAC;IAE7B,IAAI,WAAW,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;QACtC,OAAO,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IAC3C,CAAC;IAED,IAAI,OAAO,EAAE,CAAC;QACZ,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,WAAW,EAAE,CAAC;QAChB,OAAO,CAAC,IAAI,CAAC,wBAAwB,CAAC,CAAC;IACzC,CAAC;IAED,IAAI,QAAQ,EAAE,CAAC;QACb,OAAO,CAAC,IAAI,CAAC,gCAAgC,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IACrC,CAAC;IAED,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;IAClC,CAAC;IAED,IAAI,CAAC,eAAe,EAAE,CAAC;QACrB,OAAO,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;IACpC,CAAC;IAED,IAAI,CAAC,iBAAiB,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,CAAC,WAAW,EAAE,CAAC;QACjB,OAAO,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAChC,CAAC;IAED,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC/B,CAAC;IAED,IAAI,CAAC,YAAY,EAAE,CAAC;QAClB,OAAO,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IAC5C,CAAC;IAED,OAAO;QACL,OAAO,EAAE,OAAO,CAAC,MAAM,KAAK,CAAC;QAE7B,OAAO;QAEP,OAAO;QAEP,QAAQ;QAER,WAAW;QAEX,gBAAgB;QAEhB,eAAe;QAEf,aAAa;QAEb,eAAe;QAEf,iBAAiB;QAEjB,WAAW;QAEX,UAAU;QAEV,YAAY;KACb,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,mBAAmB,CACjC,KAAqB,EACrB,YAAoB,EACpB,WAAmB,EACnB,OAA4B;IAE5B,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,EAAE,YAAY,EAAE,WAAW,EAAE,OAAO,CAAC,CAAC;IAEjF,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC;QACtB,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAE1D,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;QACzB,UAAU,CAAC,UAAU,GAAG,WAAW,CAAC;IACtC,CAAC;IAED,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,sBAAsB,CACpC,KAAqB,EACrB,YAAoB,EACpB,WAAmB;IAEnB,MAAM,UAAU,GAAG,iBAAiB,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;IAE1D,IAAI,UAAU,CAAC,aAAa,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,IAAI,KAAK,CAAC,sCAAsC,YAAY,EAAE,CAAC,CAAC;IACxE,CAAC;IAED,UAAU,CAAC,aAAa,GAAG,WAAW,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,KAAqB,EAAE,QAAgB;IACtE,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,SAAS,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,6BAA6B,QAAQ,EAAE,CAAC,CAAC;IAC3D,CAAC;IAED,MAAM,MAAM,GAAmB;QAC7B,QAAQ;QAER,UAAU,EAAE,EAAE;QAEd,eAAe,EAAE,CAAC;QAElB,SAAS,EAAE,KAAK;KACjB,CAAC;IAEF,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,MAAM,CAAC;IAEjC,OAAO;QACL,GAAG,MAAM;QAET,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;KACnC,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,KAAqB,EAAE,QAAgB,EAAE,SAAiB;IACxF,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAE9C,IAAI,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,gCAAgC,SAAS,EAAE,CAAC,CAAC;IAC/D,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;AACpC,CAAC;AAED,MAAM,UAAU,wBAAwB,CAAC,KAAqB,EAAE,QAAgB;IAC9E,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;IAE9C,MAAM,CAAC,eAAe,IAAI,CAAC,CAAC;IAE5B,MAAM,CAAC,SAAS,GAAG,IAAI,CAAC;AAC1B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAqB,EAAE,MAA4B;IACtF,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC;QACtB,GAAG,MAAM;KACV,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,KAAqB;IAC1D,MAAM,EAAE,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAEzC,OAAO;QACL,GAAG,EAAE;QAEL,WAAW,EAAE,MAAM,CAAC,WAAW,CAC7B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,CAAC,EAAE,EAAE,CAAC;YAC1D,EAAE;YACF;gBACE,GAAG,UAAU;gBAEb,SAAS,EAAE,CAAC,GAAG,UAAU,CAAC,SAAS,CAAC;gBAEpC,YAAY,EAAE,CAAC,GAAG,UAAU,CAAC,YAAY,CAAC;gBAE1C,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,KAAK,CAAC;aAC7B;SACF,CAAC,CACH;QAED,OAAO,EAAE,MAAM,CAAC,WAAW,CACzB,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC;YAClD,EAAE;YACF;gBACE,GAAG,MAAM;gBAET,UAAU,EAAE,CAAC,GAAG,MAAM,CAAC,UAAU,CAAC;aACnC;SACF,CAAC,CACH;QAED,YAAY,EAAE,KAAK,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChD,GAAG,MAAM;SACV,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC"}

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

@@ -0,0 +1,30 @@
+import type { TargetAdapter, TargetExecutionInput, TargetExecutionResult } from '../core/index.js';
+import type { P0Scenario, P0TargetOutput } from '../p0-fixture/index.js';
+import type { P1DelegationDecision, P1DelegationRecord, P1DelegationRequest } from './state.js';
+export type P1FixtureMode = 'secure' | 'vulnerable';
+export interface P1AuthorizationScenario {
+    id: string;
+    delegation: P1DelegationRecord;
+    request: P1DelegationRequest;
+    logicalTime: number;
+    p0Scenario: P0Scenario;
+}
+export interface P1AuthorizationTargetOutput {
+    scenarioId: string;
+    fixture: P1FixtureMode;
+    delegationId: string;
+    logicalTime: number;
+    decision: P1DelegationDecision;
+    executed: boolean;
+    sideEffectCounterBefore: number;
+    sideEffectCounterAfter: number;
+    p0Output?: P0TargetOutput;
+}
+export declare class P1AuthorizationTargetAdapter implements TargetAdapter {
+    readonly fixture: P1FixtureMode;
+    readonly scenario: P1AuthorizationScenario;
+    readonly id: string;
+    constructor(fixture: P1FixtureMode, scenario: P1AuthorizationScenario);
+    execute(input: TargetExecutionInput): Promise<TargetExecutionResult>;
+}
+//# sourceMappingURL=target-adapter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"target-adapter.d.ts","sourceRoot":"","sources":["../../src/p1-fixture/target-adapter.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,aAAa,EAAE,oBAAoB,EAAE,qBAAqB,EAAE,MAAM,kBAAkB,CAAC;AAInG,OAAO,KAAK,EAAE,UAAU,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAC;AAMzE,OAAO,KAAK,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,mBAAmB,EAAE,MAAM,YAAY,CAAC;AAEhG,MAAM,MAAM,aAAa,GAAG,QAAQ,GAAG,YAAY,CAAC;AAEpD,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IAEX,UAAU,EAAE,kBAAkB,CAAC;IAE/B,OAAO,EAAE,mBAAmB,CAAC;IAE7B,WAAW,EAAE,MAAM,CAAC;IAEpB,UAAU,EAAE,UAAU,CAAC;CACxB;AAED,MAAM,WAAW,2BAA2B;IAC1C,UAAU,EAAE,MAAM,CAAC;IAEnB,OAAO,EAAE,aAAa,CAAC;IAEvB,YAAY,EAAE,MAAM,CAAC;IAErB,WAAW,EAAE,MAAM,CAAC;IAEpB,QAAQ,EAAE,oBAAoB,CAAC;IAE/B,QAAQ,EAAE,OAAO,CAAC;IAElB,uBAAuB,EAAE,MAAM,CAAC;IAEhC,sBAAsB,EAAE,MAAM,CAAC;IAE/B,QAAQ,CAAC,EAAE,cAAc,CAAC;CAC3B;AAED,qBAAa,4BAA6B,YAAW,aAAa;IAI9D,QAAQ,CAAC,OAAO,EAAE,aAAa;IAC/B,QAAQ,CAAC,QAAQ,EAAE,uBAAuB;IAJ5C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;gBAGT,OAAO,EAAE,aAAa,EACtB,QAAQ,EAAE,uBAAuB;IAKtC,OAAO,CAAC,KAAK,EAAE,oBAAoB,GAAG,OAAO,CAAC,qBAAqB,CAAC;CAgN3E"}