@agentplat/mesh-sim 0.3.0-beta.2 → 0.3.0-beta.5

package/dist/collective-closed-loop-fault-matrix.js

@@ -0,0 +1,253 @@
+import { digestPlanningJsonV1, } from '@agentplat/collective-planning';
+import { replayMeshReducerScenario, runMeshReducerScenario, } from './reducer-scenario.js';
+/**
+ * A compact, runner-neutral fault schedule.  The transport faults are always
+ * executed by the simulation driver; capability and assignment faults are
+ * normal reducer events so an adapter cannot mistake a trace annotation for a
+ * domain transition.
+ */
+export const COLLECTIVE_CLOSED_LOOP_FAULT_MATRIX_LIMITS_V1 = Object.freeze({
+    maximumFaults: 8,
+    maximumScenarioEvents: 5_000,
+    maximumObservers: 8,
+});
+/**
+ * Executes a bounded mixed fault campaign. This function intentionally does
+ * not inject domain faults itself: the supplied Mesh reducer adapter receives
+ * the signed/verified withdrawal or decline event from its normal schedule.
+ */
+export async function runCollectiveClosedLoopFaultMatrixV1(input) {
+    validateInput(input);
+    const trace = await runMeshReducerScenario(input.scenario, input.runtime);
+    const records = await materializeRecords(input, trace);
+    const matrixDigest = digest({
+        kind: 'collective-closed-loop-fault-matrix-result-v1',
+        scenarioDigest: trace.configurationDigest,
+        traceDigest: trace.chainDigest,
+        records: records.map((record) => ({
+            faultId: record.faultId,
+            observedEventDigest: record.observedEventDigest,
+        })),
+    });
+    return Object.freeze({
+        schemaVersion: 1,
+        scenarioDigest: trace.configurationDigest,
+        trace,
+        records: Object.freeze(records),
+        matrixDigest,
+    });
+}
+/** Re-runs the exact schedule and requires both driver and matrix evidence. */
+export async function replayCollectiveClosedLoopFaultMatrixV1(input, expected) {
+    validateInput(input);
+    const replay = await replayMeshReducerScenario(input.scenario, input.runtime, expected.trace);
+    const actual = await runCollectiveClosedLoopFaultMatrixV1(input);
+    const matches = replay.matches && actual.matrixDigest === expected.matrixDigest;
+    return Object.freeze({
+        matches,
+        expectedMatrixDigest: expected.matrixDigest,
+        actualMatrixDigest: actual.matrixDigest,
+        replay,
+    });
+}
+async function materializeRecords(input, trace) {
+    const results = [];
+    for (const fault of input.faults) {
+        const injectedRecord = findInjectedRecord(trace, fault);
+        if (injectedRecord.order.logicalTime !== fault.logicalTime)
+            throw new Error(`fault_matrix_injection_time_mismatch:${fault.faultId}`);
+        if (!injectedRecord.accepted)
+            throw new Error(`fault_matrix_injection_not_applied:${fault.faultId}:${injectedRecord.rejectionCode ?? 'rejected'}`);
+        if (fault.family === 'assignment.decline') {
+            const reoffer = trace.records.find((record) => record.eventId === fault.reofferEventId);
+            if (reoffer === undefined ||
+                !reoffer.accepted ||
+                reoffer.order.logicalTime < injectedRecord.order.logicalTime ||
+                (reoffer.order.logicalTime === injectedRecord.order.logicalTime &&
+                    reoffer.order.insertionSequence <=
+                        injectedRecord.order.insertionSequence))
+                throw new Error(`fault_matrix_reoffer_not_causal:${fault.faultId}`);
+        }
+        const observer = input.observations.find((candidate) => candidate.faultId === fault.faultId);
+        if (observer === undefined)
+            throw new Error(`fault_matrix_observation_missing:${fault.faultId}`);
+        if (!observer.observe({ trace, injectedRecord }))
+            throw new Error(`fault_matrix_observation_not_confirmed:${fault.faultId}`);
+        const scheduledEventDigest = digest({
+            kind: 'collective-closed-loop-fault-matrix-scheduled-v1',
+            value: scheduledProjection(fault),
+        });
+        const injectedEventDigest = digest({
+            kind: 'collective-closed-loop-fault-matrix-injected-v1',
+            value: recordProjection(injectedRecord),
+        });
+        const observedEventDigest = digest({
+            kind: 'collective-closed-loop-fault-matrix-observed-v1',
+            value: {
+                faultId: fault.faultId,
+                injectedRecordId: injectedRecord.eventId,
+                chainDigest: injectedRecord.chainDigest,
+                stateDigest: injectedRecord.stateDigest,
+                projectionDigest: injectedRecord.projectionDigest,
+            },
+        });
+        results.push(Object.freeze({
+            schemaVersion: 1,
+            faultId: fault.faultId,
+            family: fault.family,
+            scheduledEventDigest,
+            injectedEventDigest,
+            observedEventDigest,
+            injectedRecordId: injectedRecord.eventId,
+            observed: true,
+        }));
+    }
+    return results;
+}
+function findInjectedRecord(trace, fault) {
+    const recordId = fault.injection.kind === 'reducer_event'
+        ? fault.injection.eventId
+        : `fault:${fault.injection.simulationFaultId}`;
+    const record = trace.records.find((candidate) => candidate.eventId === recordId);
+    if (record === undefined)
+        throw new Error(`fault_matrix_injection_missing:${fault.faultId}`);
+    if (fault.injection.kind === 'driver_fault' &&
+        (record.kind !== 'fault' ||
+            record.faultId !== fault.injection.simulationFaultId))
+        throw new Error(`fault_matrix_driver_injection_invalid:${fault.faultId}`);
+    return record;
+}
+function validateInput(input) {
+    if (!input || typeof input !== 'object' || input.schemaVersion !== 1)
+        throw new TypeError('fault_matrix_input_invalid');
+    if (!Array.isArray(input.faults) || !Array.isArray(input.observations))
+        throw new TypeError('fault_matrix_collections_invalid');
+    if (input.faults.length === 0 ||
+        input.faults.length >
+            COLLECTIVE_CLOSED_LOOP_FAULT_MATRIX_LIMITS_V1.maximumFaults ||
+        input.observations.length !== input.faults.length ||
+        input.scenario.events.length >
+            COLLECTIVE_CLOSED_LOOP_FAULT_MATRIX_LIMITS_V1.maximumScenarioEvents)
+        throw new RangeError('fault_matrix_limit_exceeded');
+    const eventIds = new Set(input.scenario.events.map((event) => event.eventId));
+    const simulationFaults = new Map(input.scenario.faultPlan.faults.map((fault) => [fault.faultId, fault]));
+    const faultIds = new Set();
+    const observationIds = new Set();
+    const faultById = new Map();
+    for (const fault of input.faults) {
+        validateFault(fault, eventIds, simulationFaults);
+        if (faultIds.has(fault.faultId))
+            throw new TypeError('fault_matrix_duplicate_fault_id');
+        faultIds.add(fault.faultId);
+        faultById.set(fault.faultId, fault);
+    }
+    for (const fault of input.faults) {
+        if (fault.causalPredecessorFaultId !== null) {
+            const predecessor = faultById.get(fault.causalPredecessorFaultId);
+            if (predecessor === undefined)
+                throw new TypeError(fault.family === 'peer.restart'
+                    ? 'fault_matrix_restart_without_crash'
+                    : fault.family === 'network.heal'
+                        ? 'fault_matrix_heal_without_partition'
+                        : 'fault_matrix_predecessor_unknown');
+            if (predecessor.logicalTime >= fault.logicalTime)
+                throw new TypeError('fault_matrix_predecessor_not_earlier');
+            if (fault.family === 'peer.restart' &&
+                predecessor.family !== 'peer.crash')
+                throw new TypeError('fault_matrix_restart_without_crash');
+            if (fault.family === 'network.heal' &&
+                predecessor.family !== 'network.partition')
+                throw new TypeError('fault_matrix_heal_without_partition');
+        }
+        else if (fault.family === 'peer.restart' ||
+            fault.family === 'network.heal')
+            throw new TypeError(fault.family === 'peer.restart'
+                ? 'fault_matrix_restart_without_crash'
+                : 'fault_matrix_heal_without_partition');
+    }
+    const declaredDriverFaultIds = new Set(input.faults
+        .filter((fault) => fault.injection.kind === 'driver_fault')
+        .map((fault) => fault.injection.simulationFaultId));
+    if (declaredDriverFaultIds.size !== simulationFaults.size ||
+        [...simulationFaults.keys()].some((faultId) => !declaredDriverFaultIds.has(faultId)))
+        throw new TypeError('fault_matrix_driver_coverage_invalid');
+    for (const observation of input.observations) {
+        if (!observation ||
+            typeof observation !== 'object' ||
+            typeof observation.faultId !== 'string' ||
+            typeof observation.observe !== 'function' ||
+            !faultIds.has(observation.faultId) ||
+            observationIds.has(observation.faultId))
+            throw new TypeError('fault_matrix_observation_invalid');
+        observationIds.add(observation.faultId);
+    }
+}
+function validateFault(fault, eventIds, simulationFaults) {
+    if (!fault || typeof fault !== 'object' || fault.schemaVersion !== 1)
+        throw new TypeError('fault_matrix_fault_invalid');
+    if (!token(fault.faultId) || !Number.isSafeInteger(fault.logicalTime))
+        throw new TypeError('fault_matrix_fault_invalid');
+    const semantic = fault.family === 'capability.withdraw' ||
+        fault.family === 'assignment.decline';
+    if (semantic !== (fault.injection.kind === 'reducer_event'))
+        throw new TypeError('fault_matrix_injection_kind_invalid');
+    if (fault.injection.kind === 'reducer_event') {
+        if (!token(fault.injection.eventId) ||
+            !eventIds.has(fault.injection.eventId))
+            throw new TypeError('fault_matrix_declared_only');
+    }
+    else {
+        const simulationFault = simulationFaults.get(fault.injection.simulationFaultId);
+        const expectedKind = fault.family === 'peer.restart' ? 'peer.resume' : fault.family;
+        if (!token(fault.injection.simulationFaultId) ||
+            simulationFault === undefined ||
+            simulationFault.kind !== expectedKind)
+            throw new TypeError('fault_matrix_declared_only');
+    }
+    if (fault.family === 'assignment.decline') {
+        if (!token(fault.reofferEventId) ||
+            !eventIds.has(fault.reofferEventId) ||
+            !Number.isSafeInteger(fault.declinedOfferAttempt) ||
+            fault.declinedOfferAttempt < 1 ||
+            !Number.isSafeInteger(fault.reofferAttempt) ||
+            fault.reofferAttempt !== fault.declinedOfferAttempt + 1)
+            throw new TypeError('fault_matrix_reoffer_attempt_invalid');
+    }
+}
+function scheduledProjection(fault) {
+    return {
+        faultId: fault.faultId,
+        family: fault.family,
+        logicalTime: fault.logicalTime,
+        injection: fault.injection.kind === 'reducer_event'
+            ? { kind: fault.injection.kind, eventId: fault.injection.eventId }
+            : {
+                kind: fault.injection.kind,
+                simulationFaultId: fault.injection.simulationFaultId,
+            },
+    };
+}
+function recordProjection(record) {
+    return {
+        eventId: record.eventId,
+        kind: record.kind,
+        accepted: record.accepted,
+        actionDigest: record.actionDigest,
+        effectsDigest: record.effectsDigest,
+        stateDigest: record.stateDigest,
+        chainDigest: record.chainDigest,
+    };
+}
+function digest(value) {
+    return digestPlanningJsonV1('evaluation-boundary-evidence-v1', value, {
+        maximumBytes: 1_048_576,
+        maximumDepth: 32,
+        maximumNodes: 16_384,
+        maximumKeysPerObject: 256,
+        maximumItemsPerArray: 4_096,
+    });
+}
+function token(value) {
+    return (typeof value === 'string' && /^[A-Za-z0-9][A-Za-z0-9._:@/-]*$/u.test(value));
+}
+//# sourceMappingURL=collective-closed-loop-fault-matrix.js.map

package/dist/collective-closed-loop-fault-matrix.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"collective-closed-loop-fault-matrix.js","sourceRoot":"","sources":["../src/collective-closed-loop-fault-matrix.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,GAErB,MAAM,gCAAgC,CAAC;AAExC,OAAO,EACL,yBAAyB,EACzB,sBAAsB,GAMvB,MAAM,uBAAuB,CAAC;AAE/B;;;;;GAKG;AACH,MAAM,CAAC,MAAM,6CAA6C,GAAG,MAAM,CAAC,MAAM,CAAC;IACzE,aAAa,EAAE,CAAC;IAChB,qBAAqB,EAAE,KAAK;IAC5B,gBAAgB,EAAE,CAAC;CACpB,CAAC,CAAC;AA0HH;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,oCAAoC,CAMxD,KAKC;IAED,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,MAAM,KAAK,GAAG,MAAM,sBAAsB,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;IAC1E,MAAM,OAAO,GAAG,MAAM,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvD,MAAM,YAAY,GAAG,MAAM,CAAC;QAC1B,IAAI,EAAE,+CAA+C;QACrD,cAAc,EAAE,KAAK,CAAC,mBAAmB;QACzC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,OAAO,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YAChC,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,mBAAmB,EAAE,MAAM,CAAC,mBAAmB;SAChD,CAAC,CAAC;KACJ,CAAC,CAAC;IACH,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,aAAa,EAAE,CAAC;QAChB,cAAc,EAAE,KAAK,CAAC,mBAAmB;QACzC,KAAK;QACL,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;QAC/B,YAAY;KACb,CAAC,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,MAAM,CAAC,KAAK,UAAU,uCAAuC,CAM3D,KAKC,EACD,QAAoE;IAEpE,aAAa,CAAC,KAAK,CAAC,CAAC;IACrB,MAAM,MAAM,GAAG,MAAM,yBAAyB,CAC5C,KAAK,CAAC,QAAQ,EACd,KAAK,CAAC,OAAO,EACb,QAAQ,CAAC,KAAK,CACf,CAAC;IACF,MAAM,MAAM,GAAG,MAAM,oCAAoC,CAAC,KAAK,CAAC,CAAC;IACjE,MAAM,OAAO,GACX,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY,CAAC;IAClE,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO;QACP,oBAAoB,EAAE,QAAQ,CAAC,YAAY;QAC3C,kBAAkB,EAAE,MAAM,CAAC,YAAY;QACvC,MAAM;KACP,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,kBAAkB,CAC/B,KAKC,EACD,KAAkD;IAElD,MAAM,OAAO,GAA8C,EAAE,CAAC;IAC9D,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,cAAc,GAAG,kBAAkB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACxD,IAAI,cAAc,CAAC,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;YACxD,MAAM,IAAI,KAAK,CAAC,wCAAwC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QAC3E,IAAI,CAAC,cAAc,CAAC,QAAQ;YAC1B,MAAM,IAAI,KAAK,CACb,sCAAsC,KAAK,CAAC,OAAO,IACjD,cAAc,CAAC,aAAa,IAAI,UAClC,EAAE,CACH,CAAC;QACJ,IAAI,KAAK,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAChC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,cAAc,CACpD,CAAC;YACF,IACE,OAAO,KAAK,SAAS;gBACrB,CAAC,OAAO,CAAC,QAAQ;gBACjB,OAAO,CAAC,KAAK,CAAC,WAAW,GAAG,cAAc,CAAC,KAAK,CAAC,WAAW;gBAC5D,CAAC,OAAO,CAAC,KAAK,CAAC,WAAW,KAAK,cAAc,CAAC,KAAK,CAAC,WAAW;oBAC7D,OAAO,CAAC,KAAK,CAAC,iBAAiB;wBAC7B,cAAc,CAAC,KAAK,CAAC,iBAAiB,CAAC;gBAE3C,MAAM,IAAI,KAAK,CAAC,mCAAmC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACxE,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,YAAY,CAAC,IAAI,CACtC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO,CACnD,CAAC;QACF,IAAI,QAAQ,KAAK,SAAS;YACxB,MAAM,IAAI,KAAK,CAAC,oCAAoC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;QACvE,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,cAAc,EAAE,CAAC;YAC9C,MAAM,IAAI,KAAK,CACb,0CAA0C,KAAK,CAAC,OAAO,EAAE,CAC1D,CAAC;QACJ,MAAM,oBAAoB,GAAG,MAAM,CAAC;YAClC,IAAI,EAAE,kDAAkD;YACxD,KAAK,EAAE,mBAAmB,CAAC,KAAK,CAAC;SAClC,CAAC,CAAC;QACH,MAAM,mBAAmB,GAAG,MAAM,CAAC;YACjC,IAAI,EAAE,iDAAiD;YACvD,KAAK,EAAE,gBAAgB,CAAC,cAAc,CAAC;SACxC,CAAC,CAAC;QACH,MAAM,mBAAmB,GAAG,MAAM,CAAC;YACjC,IAAI,EAAE,iDAAiD;YACvD,KAAK,EAAE;gBACL,OAAO,EAAE,KAAK,CAAC,OAAO;gBACtB,gBAAgB,EAAE,cAAc,CAAC,OAAO;gBACxC,WAAW,EAAE,cAAc,CAAC,WAAW;gBACvC,WAAW,EAAE,cAAc,CAAC,WAAW;gBACvC,gBAAgB,EAAE,cAAc,CAAC,gBAAgB;aAClD;SACF,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CACV,MAAM,CAAC,MAAM,CAAC;YACZ,aAAa,EAAE,CAAC;YAChB,OAAO,EAAE,KAAK,CAAC,OAAO;YACtB,MAAM,EAAE,KAAK,CAAC,MAAM;YACpB,oBAAoB;YACpB,mBAAmB;YACnB,mBAAmB;YACnB,gBAAgB,EAAE,cAAc,CAAC,OAAO;YACxC,QAAQ,EAAE,IAAI;SACf,CAAC,CACH,CAAC;IACJ,CAAC;IACD,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAkD,EAClD,KAA6C;IAE7C,MAAM,QAAQ,GACZ,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe;QACtC,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO;QACzB,CAAC,CAAC,SAAS,KAAK,CAAC,SAAS,CAAC,iBAAiB,EAAE,CAAC;IACnD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAC/B,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,KAAK,QAAQ,CAC9C,CAAC;IACF,IAAI,MAAM,KAAK,SAAS;QACtB,MAAM,IAAI,KAAK,CAAC,kCAAkC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACrE,IACE,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc;QACvC,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;YACtB,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC;QAEvD,MAAM,IAAI,KAAK,CAAC,yCAAyC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5E,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CACpB,KAKC;IAED,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAClE,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,YAAY,CAAC;QACpE,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAC1D,IACE,KAAK,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QACzB,KAAK,CAAC,MAAM,CAAC,MAAM;YACjB,6CAA6C,CAAC,aAAa;QAC7D,KAAK,CAAC,YAAY,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAC,MAAM;QACjD,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM;YAC1B,6CAA6C,CAAC,qBAAqB;QAErE,MAAM,IAAI,UAAU,CAAC,6BAA6B,CAAC,CAAC;IAEtD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9E,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,KAAK,CAAC,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CACvE,CAAC;IACF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IACzC,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkD,CAAC;IAC5E,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,aAAa,CAAC,KAAK,EAAE,QAAQ,EAAE,gBAAgB,CAAC,CAAC;QACjD,IAAI,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC;YAC7B,MAAM,IAAI,SAAS,CAAC,iCAAiC,CAAC,CAAC;QACzD,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC5B,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,wBAAwB,KAAK,IAAI,EAAE,CAAC;YAC5C,MAAM,WAAW,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAC;YAClE,IAAI,WAAW,KAAK,SAAS;gBAC3B,MAAM,IAAI,SAAS,CACjB,KAAK,CAAC,MAAM,KAAK,cAAc;oBAC7B,CAAC,CAAC,oCAAoC;oBACtC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,cAAc;wBAC/B,CAAC,CAAC,qCAAqC;wBACvC,CAAC,CAAC,kCAAkC,CACzC,CAAC;YACJ,IAAI,WAAW,CAAC,WAAW,IAAI,KAAK,CAAC,WAAW;gBAC9C,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;YAC9D,IACE,KAAK,CAAC,MAAM,KAAK,cAAc;gBAC/B,WAAW,CAAC,MAAM,KAAK,YAAY;gBAEnC,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;YAC5D,IACE,KAAK,CAAC,MAAM,KAAK,cAAc;gBAC/B,WAAW,CAAC,MAAM,KAAK,mBAAmB;gBAE1C,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;QAC/D,CAAC;aAAM,IACL,KAAK,CAAC,MAAM,KAAK,cAAc;YAC/B,KAAK,CAAC,MAAM,KAAK,cAAc;YAE/B,MAAM,IAAI,SAAS,CACjB,KAAK,CAAC,MAAM,KAAK,cAAc;gBAC7B,CAAC,CAAC,oCAAoC;gBACtC,CAAC,CAAC,qCAAqC,CAC1C,CAAC;IACN,CAAC;IACD,MAAM,sBAAsB,GAAG,IAAI,GAAG,CACpC,KAAK,CAAC,MAAM;SACT,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,cAAc,CAAC;SAC1D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC,CACrD,CAAC;IACF,IACE,sBAAsB,CAAC,IAAI,KAAK,gBAAgB,CAAC,IAAI;QACrD,CAAC,GAAG,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAC/B,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,GAAG,CAAC,OAAO,CAAC,CAClD;QAED,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,KAAK,MAAM,WAAW,IAAI,KAAK,CAAC,YAAY,EAAE,CAAC;QAC7C,IACE,CAAC,WAAW;YACZ,OAAO,WAAW,KAAK,QAAQ;YAC/B,OAAO,WAAW,CAAC,OAAO,KAAK,QAAQ;YACvC,OAAO,WAAW,CAAC,OAAO,KAAK,UAAU;YACzC,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC;YAClC,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC;YAEvC,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;QAC1D,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC;IAC1C,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,KAA6C,EAC7C,QAA6B,EAC7B,gBAAgE;IAEhE,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,aAAa,KAAK,CAAC;QAClE,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACpD,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC;QACnE,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACpD,MAAM,QAAQ,GACZ,KAAK,CAAC,MAAM,KAAK,qBAAqB;QACtC,KAAK,CAAC,MAAM,KAAK,oBAAoB,CAAC;IACxC,IAAI,QAAQ,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,CAAC;QACzD,MAAM,IAAI,SAAS,CAAC,qCAAqC,CAAC,CAAC;IAC7D,IAAI,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC7C,IACE,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC;YAC/B,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,CAAC;YAEtC,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACtD,CAAC;SAAM,CAAC;QACN,MAAM,eAAe,GAAG,gBAAgB,CAAC,GAAG,CAC1C,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAClC,CAAC;QACF,MAAM,YAAY,GAChB,KAAK,CAAC,MAAM,KAAK,cAAc,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC;QACjE,IACE,CAAC,KAAK,CAAC,KAAK,CAAC,SAAS,CAAC,iBAAiB,CAAC;YACzC,eAAe,KAAK,SAAS;YAC7B,eAAe,CAAC,IAAI,KAAK,YAAY;YAErC,MAAM,IAAI,SAAS,CAAC,4BAA4B,CAAC,CAAC;IACtD,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,oBAAoB,EAAE,CAAC;QAC1C,IACE,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,CAAC;YAC5B,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,cAAc,CAAC;YACnC,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,oBAAoB,CAAC;YACjD,KAAK,CAAC,oBAAoB,GAAG,CAAC;YAC9B,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC;YAC3C,KAAK,CAAC,cAAc,KAAK,KAAK,CAAC,oBAAoB,GAAG,CAAC;YAEvD,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAChE,CAAC;AACH,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAA6C;IAE7C,OAAO;QACL,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS,EACP,KAAK,CAAC,SAAS,CAAC,IAAI,KAAK,eAAe;YACtC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE;YAClE,CAAC,CAAC;gBACE,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,IAAI;gBAC1B,iBAAiB,EAAE,KAAK,CAAC,SAAS,CAAC,iBAAiB;aACrD;KACR,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAiC;IAEjC,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,WAAW,EAAE,MAAM,CAAC,WAAW;KAChC,CAAC;AACJ,CAAC;AAED,SAAS,MAAM,CAAC,KAA8B;IAC5C,OAAO,oBAAoB,CACzB,iCAAiC,EACjC,KAAc,EACd;QACE,YAAY,EAAE,SAAS;QACvB,YAAY,EAAE,EAAE;QAChB,YAAY,EAAE,MAAM;QACpB,oBAAoB,EAAE,GAAG;QACzB,oBAAoB,EAAE,KAAK;KAC5B,CACF,CAAC;AACJ,CAAC;AAED,SAAS,KAAK,CAAC,KAAc;IAC3B,OAAO,CACL,OAAO,KAAK,KAAK,QAAQ,IAAI,kCAAkC,CAAC,IAAI,CAAC,KAAK,CAAC,CAC5E,CAAC;AACJ,CAAC"}

package/dist/collective-closed-loop-recovery.d.ts

@@ -0,0 +1,70 @@
+import type { DelegationMandateV1, WorkContractV1 } from "@agentplat/collective-control";
+import type { MissionIntentV1 } from "@agentplat/collective-planning";
+import { type MeshAllocationInboundRuntimeState, type MeshAllocationPayload, type MeshAssignmentFenceHeadProjection, type MeshExecutionHeadProjection, type MeshExecutionRecordProjection } from "@agentplat/mesh/coordination";
+import { type SignedMeshEnvelope } from "@agentplat/mesh-protocol";
+import type { CollectiveClosedLoopPreEffectHandleV1 } from "./collective-closed-loop-runtime.js";
+import type { CollectiveClosedLoopFinalizationInputV1, CollectiveClosedLoopRuntimePeerV1, CollectiveClosedLoopRuntimeRunnerV1 } from "./collective-closed-loop-runtime.js";
+/**
+ * Internal Increment 6 recovery seam. It is deliberately not exported from
+ * the package root until the resilient-runner contract is public.
+ *
+ * Recovery requires the original mandate because a replacement receives a new
+ * Work Contract; the old contract cannot be widened or rewritten in place.
+ */
+export interface CollectiveClosedLoopCertifiedRecoveryInputV1 {
+    readonly schemaVersion: 1;
+    readonly preEffect: CollectiveClosedLoopPreEffectHandleV1;
+    readonly peers: readonly CollectiveClosedLoopRuntimePeerV1[];
+    readonly runner: CollectiveClosedLoopRuntimeRunnerV1;
+    readonly missionIntent: MissionIntentV1;
+    readonly mandate: DelegationMandateV1;
+    readonly failedWinnerPeerId: string;
+    readonly replacementPeerId: string;
+    /** Receiver-controlled logical time at which recovery is requested. */
+    readonly faultLogicalTimeMs: number;
+}
+export interface CollectiveClosedLoopCertifiedRecoveryResultV1 {
+    readonly schemaVersion: 1;
+    readonly failedWinnerPeerId: string;
+    readonly replacementPeerId: string;
+    readonly recoveryLogicalTimeMs: number;
+    readonly leaseStartsAt: string;
+    readonly takeoverProposalId: string;
+    readonly leaseVoteIds: readonly string[];
+    readonly certificateId: string;
+    readonly recoveryAwardId: string;
+    readonly recoveryAcceptanceId: string;
+    readonly resumedCheckpointId: string;
+    readonly workContract: WorkContractV1;
+    readonly execution: MeshExecutionHeadProjection;
+    readonly fenceHead: MeshAssignmentFenceHeadProjection;
+    readonly checkpoint: MeshExecutionRecordProjection;
+    readonly staleRejectionCodes: readonly string[];
+    readonly staleRejections: readonly CollectiveClosedLoopStaleRejectionV1[];
+    readonly meshStates: Readonly<Record<string, MeshAllocationInboundRuntimeState>>;
+    finalizeAfterCommittedEffect(input: CollectiveClosedLoopFinalizationInputV1): Promise<CollectiveClosedLoopRecoveredFinalizedResultV1>;
+}
+export interface CollectiveClosedLoopStaleRejectionV1 {
+    readonly recordType: "work.progress" | "work.result";
+    readonly recordId: string;
+    readonly envelope: SignedMeshEnvelope<MeshAllocationPayload>;
+    readonly rejectionCode: string;
+    readonly logicalTimeMs: number;
+    readonly stateUnchanged: true;
+}
+export interface CollectiveClosedLoopRecoveredFinalizedResultV1 {
+    readonly schemaVersion: 1;
+    readonly winnerPeerId: string;
+    readonly workContract: WorkContractV1;
+    readonly result: MeshExecutionRecordProjection;
+    readonly meshStates: Readonly<Record<string, MeshAllocationInboundRuntimeState>>;
+    readonly logicalTimeMs: number;
+    readonly interactionCount: number;
+}
+/**
+ * Applies a real, certificate-backed reassignment to an Increment 5
+ * pre-effect checkpoint. Every state change below passes through the public
+ * Mesh allocation reducers; this module only signs and routes the records.
+ */
+export declare function recoverCollectiveClosedLoopAssignmentV1(rawInput: CollectiveClosedLoopCertifiedRecoveryInputV1): Promise<CollectiveClosedLoopCertifiedRecoveryResultV1>;
+//# sourceMappingURL=collective-closed-loop-recovery.d.ts.map

package/dist/collective-closed-loop-recovery.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collective-closed-loop-recovery.d.ts","sourceRoot":"","sources":["../src/collective-closed-loop-recovery.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,mBAAmB,EACnB,cAAc,EACf,MAAM,+BAA+B,CAAC;AAEvC,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAOtE,OAAO,EAUL,KAAK,iCAAiC,EACtC,KAAK,qBAAqB,EAC1B,KAAK,iCAAiC,EACtC,KAAK,2BAA2B,EAChC,KAAK,6BAA6B,EAInC,MAAM,8BAA8B,CAAC;AAEtC,OAAO,EAIL,KAAK,kBAAkB,EAExB,MAAM,0BAA0B,CAAC;AAClC,OAAO,KAAK,EAAE,qCAAqC,EAAE,MAAM,qCAAqC,CAAC;AACjG,OAAO,KAAK,EACV,uCAAuC,EACvC,iCAAiC,EACjC,mCAAmC,EACpC,MAAM,qCAAqC,CAAC;AAS7C;;;;;;GAMG;AACH,MAAM,WAAW,4CAA4C;IAC3D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,qCAAqC,CAAC;IAC1D,QAAQ,CAAC,KAAK,EAAE,SAAS,iCAAiC,EAAE,CAAC;IAC7D,QAAQ,CAAC,MAAM,EAAE,mCAAmC,CAAC;IACrD,QAAQ,CAAC,aAAa,EAAE,eAAe,CAAC;IACxC,QAAQ,CAAC,OAAO,EAAE,mBAAmB,CAAC;IACtC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,uEAAuE;IACvE,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;CACrC;AAED,MAAM,WAAW,6CAA6C;IAC5D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,iBAAiB,EAAE,MAAM,CAAC;IACnC,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,YAAY,EAAE,cAAc,CAAC;IACtC,QAAQ,CAAC,SAAS,EAAE,2BAA2B,CAAC;IAChD,QAAQ,CAAC,SAAS,EAAE,iCAAiC,CAAC;IACtD,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;IACnD,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,eAAe,EAAE,SAAS,oCAAoC,EAAE,CAAC;IAC1E,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAC3B,MAAM,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAClD,CAAC;IACF,4BAA4B,CAC1B,KAAK,EAAE,uCAAuC,GAC7C,OAAO,CAAC,8CAA8C,CAAC,CAAC;CAC5D;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,UAAU,EAAE,eAAe,GAAG,aAAa,CAAC;IACrD,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,kBAAkB,CAAC,qBAAqB,CAAC,CAAC;IAC7D,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC;CAC/B;AAED,MAAM,WAAW,8CAA8C;IAC7D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,cAAc,CAAC;IACtC,QAAQ,CAAC,MAAM,EAAE,6BAA6B,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,QAAQ,CAC3B,MAAM,CAAC,MAAM,EAAE,iCAAiC,CAAC,CAClD,CAAC;IACF,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;CACnC;AAcD;;;;GAIG;AACH,wBAAsB,uCAAuC,CAC3D,QAAQ,EAAE,4CAA4C,GACrD,OAAO,CAAC,6CAA6C,CAAC,CAsjBxD"}