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

package/dist/collective-closed-loop-resilience-contracts.d.ts

@@ -0,0 +1,138 @@
+import type { PlanningDigestV1 } from "@agentplat/collective-planning";
+import { type CollectiveClosedLoopDefinitionV1, type CollectiveClosedLoopRunResultV1 } from "./collective-closed-loop-contracts.js";
+/** The closed-loop reference surface deliberately bounds one compact fault plan. */
+export declare const COLLECTIVE_CLOSED_LOOP_RESILIENCE_LIMITS_V1: Readonly<{
+    maximumFaults: 8;
+    minimumEpochs: 2;
+    maximumEpochs: 3;
+    maximumLinksPerFault: 49;
+    maximumTargetsPerFault: 50;
+    maximumCausalPredecessorsPerFault: 7;
+    maximumStaleResultRejections: 8;
+}>;
+export type CollectiveClosedLoopFaultFamilyV1 = "capability.withdraw" | "assignment.decline" | "peer.crash" | "peer.restart" | "network.partition" | "network.heal";
+export interface CollectiveClosedLoopFaultLinkV1 {
+    readonly schemaVersion: 1;
+    readonly fromPeerId: string;
+    readonly toPeerId: string;
+}
+export interface CollectiveClosedLoopFaultTargetV1 {
+    readonly schemaVersion: 1;
+    readonly peerId: string;
+}
+/** A trigger never exposes future evaluator state to a runner. */
+export type CollectiveClosedLoopFaultTriggerV1 = {
+    readonly schemaVersion: 1;
+    readonly kind: "logical_time";
+    readonly logicalTimeMs: number;
+    readonly causalEventDigest: null;
+} | {
+    readonly schemaVersion: 1;
+    readonly kind: "trace_event";
+    readonly logicalTimeMs: number;
+    readonly causalEventDigest: PlanningDigestV1;
+};
+export interface CollectiveClosedLoopFaultPlanEntryV1 {
+    readonly schemaVersion: 1;
+    readonly faultId: string;
+    readonly family: CollectiveClosedLoopFaultFamilyV1;
+    readonly trigger: CollectiveClosedLoopFaultTriggerV1;
+    /** Sorted predecessors form the plan's explicit causal DAG. */
+    readonly causalPredecessorFaultIds: readonly string[];
+    /** Sorted directed links are only meaningful for network faults. */
+    readonly links: readonly CollectiveClosedLoopFaultLinkV1[];
+    /** Sorted peers are only meaningful for peer/capability/allocation faults. */
+    readonly targets: readonly CollectiveClosedLoopFaultTargetV1[];
+}
+export interface CollectiveClosedLoopFaultPlanV1 {
+    readonly schemaVersion: 1;
+    readonly nominalDefinitionDigest: PlanningDigestV1;
+    readonly faults: readonly CollectiveClosedLoopFaultPlanEntryV1[];
+    readonly faultPlanDigest: PlanningDigestV1;
+}
+/**
+ * An additive resilience wrapper. The nominal definition remains immutable and
+ * continues to own authority, topology and evaluation identity.
+ */
+export interface CollectiveClosedLoopResilienceDefinitionV1 {
+    readonly schemaVersion: 1;
+    readonly nominalDefinition: CollectiveClosedLoopDefinitionV1;
+    readonly faultPlan: CollectiveClosedLoopFaultPlanV1;
+    readonly maximumEpochs: number;
+    readonly resilienceDefinitionDigest: PlanningDigestV1;
+}
+export interface CollectiveClosedLoopResilienceEpochV1 {
+    readonly schemaVersion: 1;
+    readonly epoch: number;
+    readonly startedAtLogicalMs: number;
+    readonly endedAtLogicalMs: number;
+    readonly planningStateRoot: PlanningDigestV1;
+    readonly meshStateRoot: PlanningDigestV1;
+    readonly governanceStateRoot: PlanningDigestV1;
+}
+export interface CollectiveClosedLoopFaultObservationV1 {
+    readonly schemaVersion: 1;
+    readonly faultId: string;
+    readonly scheduledEventDigest: PlanningDigestV1;
+    readonly injectedEventDigest: PlanningDigestV1;
+    readonly observedEventDigest: PlanningDigestV1;
+}
+export interface CollectiveClosedLoopStaleResultRejectionV1 {
+    readonly schemaVersion: 1;
+    readonly rejectionId: string;
+    readonly faultId: string;
+    readonly rejectedAtLogicalMs: number;
+    readonly staleFenceDigest: PlanningDigestV1;
+    readonly currentFenceDigest: PlanningDigestV1;
+    readonly rejectionEventDigest: PlanningDigestV1;
+}
+export interface CollectiveClosedLoopResilienceResultV1 {
+    readonly schemaVersion: 1;
+    readonly resilienceDefinitionDigest: PlanningDigestV1;
+    readonly run: CollectiveClosedLoopRunResultV1;
+    readonly epochs: readonly CollectiveClosedLoopResilienceEpochV1[];
+    /** Every planned fault must have a concrete scheduled, injected and observed event. */
+    readonly faultObservations: readonly CollectiveClosedLoopFaultObservationV1[];
+    readonly staleResultRejections: readonly CollectiveClosedLoopStaleResultRejectionV1[];
+    readonly resilienceResultDigest: PlanningDigestV1;
+}
+export interface CollectiveClosedLoopResilienceCampaignLimitsV1 {
+    readonly schemaVersion: 1;
+    readonly maximumFaults: number;
+    readonly maximumEpochs: number;
+    readonly maximumInteractions: number;
+}
+export interface CollectiveClosedLoopResilienceCampaignEvidenceV1 {
+    readonly schemaVersion: 1;
+    readonly resilienceDefinitionDigest: PlanningDigestV1;
+    readonly resilienceResultDigest: PlanningDigestV1;
+    readonly runner: "adaptive_collective" | "centralized_planner";
+    readonly seed: number;
+    readonly limits: CollectiveClosedLoopResilienceCampaignLimitsV1;
+    readonly scheduledFaultIds: readonly string[];
+    readonly injectedFaultIds: readonly string[];
+    readonly observedFaultIds: readonly string[];
+    readonly staleResultRejectionIds: readonly string[];
+    readonly campaignEvidenceDigest: PlanningDigestV1;
+}
+export declare function collectiveClosedLoopFaultPlanDigestV1(value: Omit<CollectiveClosedLoopFaultPlanV1, "faultPlanDigest">): PlanningDigestV1;
+export declare function createCollectiveClosedLoopFaultPlanV1(input: Omit<CollectiveClosedLoopFaultPlanV1, "faultPlanDigest">): CollectiveClosedLoopFaultPlanV1;
+export declare function validateCollectiveClosedLoopFaultPlanV1(value: unknown): CollectiveClosedLoopFaultPlanV1;
+export declare function collectiveClosedLoopResilienceDefinitionDigestV1(value: Omit<CollectiveClosedLoopResilienceDefinitionV1, "resilienceDefinitionDigest">): PlanningDigestV1;
+export declare function createCollectiveClosedLoopResilienceDefinitionV1(input: Omit<CollectiveClosedLoopResilienceDefinitionV1, "resilienceDefinitionDigest">): CollectiveClosedLoopResilienceDefinitionV1;
+export declare function validateCollectiveClosedLoopResilienceDefinitionV1(value: unknown): CollectiveClosedLoopResilienceDefinitionV1;
+export declare function collectiveClosedLoopResilienceResultDigestV1(value: Omit<CollectiveClosedLoopResilienceResultV1, "resilienceResultDigest">): PlanningDigestV1;
+export declare function createCollectiveClosedLoopResilienceResultV1(input: Omit<CollectiveClosedLoopResilienceResultV1, "resilienceResultDigest">): CollectiveClosedLoopResilienceResultV1;
+export declare function validateCollectiveClosedLoopResilienceResultV1(value: unknown): CollectiveClosedLoopResilienceResultV1;
+/**
+ * Performs the cross-record checks deliberately kept out of the result digest
+ * constructor. Runners call this at finalization, after they hold the exact
+ * registered resilience definition.
+ */
+export declare function validateCollectiveClosedLoopResilienceResultForDefinitionV1(value: unknown, resilienceDefinitionInput: unknown): CollectiveClosedLoopResilienceResultV1;
+export declare function collectiveClosedLoopResilienceCampaignEvidenceDigestV1(value: Omit<CollectiveClosedLoopResilienceCampaignEvidenceV1, "campaignEvidenceDigest">): PlanningDigestV1;
+export declare function createCollectiveClosedLoopResilienceCampaignEvidenceV1(input: Omit<CollectiveClosedLoopResilienceCampaignEvidenceV1, "campaignEvidenceDigest">): CollectiveClosedLoopResilienceCampaignEvidenceV1;
+export declare function validateCollectiveClosedLoopResilienceCampaignEvidenceV1(value: unknown): CollectiveClosedLoopResilienceCampaignEvidenceV1;
+/** Binds campaign counters to one finalized result and its registered plan. */
+export declare function validateCollectiveClosedLoopResilienceCampaignEvidenceForResultV1(value: unknown, resilienceDefinitionInput: unknown, resilienceResultInput: unknown): CollectiveClosedLoopResilienceCampaignEvidenceV1;
+//# sourceMappingURL=collective-closed-loop-resilience-contracts.d.ts.map

package/dist/collective-closed-loop-resilience-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"collective-closed-loop-resilience-contracts.d.ts","sourceRoot":"","sources":["../src/collective-closed-loop-resilience-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAEjB,MAAM,gCAAgC,CAAC;AAKxC,OAAO,EAGL,KAAK,gCAAgC,EACrC,KAAK,+BAA+B,EACrC,MAAM,uCAAuC,CAAC;AAE/C,oFAAoF;AACpF,eAAO,MAAM,2CAA2C;;;;;;;;EAQtD,CAAC;AAEH,MAAM,MAAM,iCAAiC,GACzC,qBAAqB,GACrB,oBAAoB,GACpB,YAAY,GACZ,cAAc,GACd,mBAAmB,GACnB,cAAc,CAAC;AAEnB,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,kEAAkE;AAClE,MAAM,MAAM,kCAAkC,GAC1C;IACE,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,EAAE,IAAI,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEN,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,MAAM,EAAE,iCAAiC,CAAC;IACnD,QAAQ,CAAC,OAAO,EAAE,kCAAkC,CAAC;IACrD,+DAA+D;IAC/D,QAAQ,CAAC,yBAAyB,EAAE,SAAS,MAAM,EAAE,CAAC;IACtD,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,SAAS,+BAA+B,EAAE,CAAC;IAC3D,8EAA8E;IAC9E,QAAQ,CAAC,OAAO,EAAE,SAAS,iCAAiC,EAAE,CAAC;CAChE;AAED,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,uBAAuB,EAAE,gBAAgB,CAAC;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,oCAAoC,EAAE,CAAC;IACjE,QAAQ,CAAC,eAAe,EAAE,gBAAgB,CAAC;CAC5C;AAED;;;GAGG;AACH,MAAM,WAAW,0CAA0C;IACzD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;IAC7D,QAAQ,CAAC,SAAS,EAAE,+BAA+B,CAAC;IACpD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,0BAA0B,EAAE,gBAAgB,CAAC;CACvD;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;IAC7C,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;CAChD;AAED,MAAM,WAAW,sCAAsC;IACrD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;IAChD,QAAQ,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;IAC/C,QAAQ,CAAC,mBAAmB,EAAE,gBAAgB,CAAC;CAChD;AAED,MAAM,WAAW,0CAA0C;IACzD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;IAC5C,QAAQ,CAAC,kBAAkB,EAAE,gBAAgB,CAAC;IAC9C,QAAQ,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;CACjD;AAED,MAAM,WAAW,sCAAsC;IACrD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,0BAA0B,EAAE,gBAAgB,CAAC;IACtD,QAAQ,CAAC,GAAG,EAAE,+BAA+B,CAAC;IAC9C,QAAQ,CAAC,MAAM,EAAE,SAAS,qCAAqC,EAAE,CAAC;IAClE,uFAAuF;IACvF,QAAQ,CAAC,iBAAiB,EAAE,SAAS,sCAAsC,EAAE,CAAC;IAC9E,QAAQ,CAAC,qBAAqB,EAAE,SAAS,0CAA0C,EAAE,CAAC;IACtF,QAAQ,CAAC,sBAAsB,EAAE,gBAAgB,CAAC;CACnD;AAED,MAAM,WAAW,8CAA8C;IAC7D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,gDAAgD;IAC/D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,0BAA0B,EAAE,gBAAgB,CAAC;IACtD,QAAQ,CAAC,sBAAsB,EAAE,gBAAgB,CAAC;IAClD,QAAQ,CAAC,MAAM,EAAE,qBAAqB,GAAG,qBAAqB,CAAC;IAC/D,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,8CAA8C,CAAC;IAChE,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,gBAAgB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7C,QAAQ,CAAC,uBAAuB,EAAE,SAAS,MAAM,EAAE,CAAC;IACpD,QAAQ,CAAC,sBAAsB,EAAE,gBAAgB,CAAC;CACnD;AA0XD,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,IAAI,CAAC,+BAA+B,EAAE,iBAAiB,CAAC,GAC9D,gBAAgB,CAOlB;AAED,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,IAAI,CAAC,+BAA+B,EAAE,iBAAiB,CAAC,GAC9D,+BAA+B,CAOjC;AAED,wBAAgB,uCAAuC,CACrD,KAAK,EAAE,OAAO,GACb,+BAA+B,CAQjC;AAkED,wBAAgB,gDAAgD,CAC9D,KAAK,EAAE,IAAI,CACT,0CAA0C,EAC1C,4BAA4B,CAC7B,GACA,gBAAgB,CAWlB;AAED,wBAAgB,gDAAgD,CAC9D,KAAK,EAAE,IAAI,CACT,0CAA0C,EAC1C,4BAA4B,CAC7B,GACA,0CAA0C,CAY5C;AAED,wBAAgB,kDAAkD,CAChE,KAAK,EAAE,OAAO,GACb,0CAA0C,CAS5C;AAkMD,wBAAgB,4CAA4C,CAC1D,KAAK,EAAE,IAAI,CAAC,sCAAsC,EAAE,wBAAwB,CAAC,GAC5E,gBAAgB,CAOlB;AAED,wBAAgB,4CAA4C,CAC1D,KAAK,EAAE,IAAI,CAAC,sCAAsC,EAAE,wBAAwB,CAAC,GAC5E,sCAAsC,CAOxC;AAED,wBAAgB,8CAA8C,CAC5D,KAAK,EAAE,OAAO,GACb,sCAAsC,CASxC;AAED;;;;GAIG;AACH,wBAAgB,2DAA2D,CACzE,KAAK,EAAE,OAAO,EACd,yBAAyB,EAAE,OAAO,GACjC,sCAAsC,CA6CxC;AA4GD,wBAAgB,sDAAsD,CACpE,KAAK,EAAE,IAAI,CACT,gDAAgD,EAChD,wBAAwB,CACzB,GACA,gBAAgB,CAWlB;AAED,wBAAgB,sDAAsD,CACpE,KAAK,EAAE,IAAI,CACT,gDAAgD,EAChD,wBAAwB,CACzB,GACA,gDAAgD,CAYlD;AAED,wBAAgB,wDAAwD,CACtE,KAAK,EAAE,OAAO,GACb,gDAAgD,CAelD;AAED,+EAA+E;AAC/E,wBAAgB,iEAAiE,CAC/E,KAAK,EAAE,OAAO,EACd,yBAAyB,EAAE,OAAO,EAClC,qBAAqB,EAAE,OAAO,GAC7B,gDAAgD,CAoClD"}