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

package/dist/sharded-simulation-contracts.d.ts

@@ -0,0 +1,240 @@
+import { type PlanningDigestV1, type PlanningJson } from "@agentplat/collective-planning";
+import { type CollectiveProgressiveScaleTierV1 } from "./collective-progressive-scale.js";
+/** Closed interoperability envelopes, deliberately aligned with sparse overlay scale tiers. */
+export declare const SHARDED_SIMULATION_SCALE_PROFILE_IDS_V1: readonly ["peers-500-interactions-5000", "peers-5000-interactions-50000", "peers-100000-interactions-1000000"];
+export type ShardedSimulationScaleProfileIdV1 = (typeof SHARDED_SIMULATION_SCALE_PROFILE_IDS_V1)[number];
+/** Hard protocol limits. Adapters must reject excess input before allocating state. */
+export declare const SHARDED_SIMULATION_LIMITS_V1: Readonly<{
+    readonly maximumFaults: 4096;
+    readonly maximumTargetsPerFault: 4096;
+    readonly maximumTotalTargetsAcrossSchedule: 16384;
+    readonly maximumMessagesPerBatch: 4096;
+    readonly maximumObservationsPerDelivery: 1024;
+    readonly maximumIdentifierLength: 256;
+}>;
+export interface ShardedSimulationScaleProfileV1 {
+    readonly schemaVersion: 1;
+    readonly profileId: ShardedSimulationScaleProfileIdV1;
+    readonly tier: CollectiveProgressiveScaleTierV1;
+    readonly logicalPeerCount: 500 | 5_000 | 100_000;
+    readonly interactionCeiling: 5_000 | 50_000 | 1_000_000;
+    readonly overlayProfileId: "standard-500" | "large-5000" | "frontier-100000";
+    readonly profileDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationEnvironmentSessionV1 {
+    readonly schemaVersion: 1;
+    readonly sessionId: string;
+    readonly environmentId: string;
+    readonly createdAtLogicalTime: number;
+    readonly sessionDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationEpisodeV1 {
+    readonly schemaVersion: 1;
+    readonly sessionId: string;
+    readonly episodeId: string;
+    readonly seed: number;
+    readonly startedAtLogicalTime: number;
+    readonly episodeDigest: PlanningDigestV1;
+}
+/** This is an explicit public projection. The bridge must never attach private environment state. */
+export interface ShardedSimulationPartialObservationPullV1 {
+    readonly schemaVersion: 1;
+    readonly sessionId: string;
+    readonly episodeId: string;
+    readonly peerIndex: number;
+    readonly logicalTime: number;
+    readonly cursor: string | null;
+    readonly requestId: string;
+}
+export interface ShardedSimulationPartialObservationDeliveryV1 {
+    readonly schemaVersion: 1;
+    readonly requestId: string;
+    readonly peerIndex: number;
+    readonly logicalTime: number;
+    readonly observations: readonly PlanningJson[];
+    readonly nextCursor: string | null;
+    readonly deliveryDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationFencedActionRequestV1 {
+    readonly schemaVersion: 1;
+    readonly actionId: string;
+    readonly sessionId: string;
+    readonly episodeId: string;
+    readonly peerIndex: number;
+    readonly logicalTime: number;
+    readonly executionEpoch: number;
+    readonly fenceToken: string;
+    readonly action: PlanningJson;
+    readonly actionDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationEffectReceiptV1 {
+    readonly schemaVersion: 1;
+    readonly actionId: string;
+    readonly accepted: boolean;
+    readonly logicalTime: number;
+    readonly executionEpoch: number;
+    readonly fenceToken: string;
+    readonly effectDigest: PlanningDigestV1;
+    readonly receiptDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationDurableAnchorV1 {
+    readonly schemaVersion: 1;
+    readonly anchorId: string;
+    readonly revision: number;
+    readonly previousAnchorDigest: PlanningDigestV1 | null;
+    readonly anchorDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationCheckpointV1 {
+    readonly schemaVersion: 1;
+    readonly checkpointId: string;
+    readonly sessionId: string;
+    readonly episodeId: string;
+    readonly revision: number;
+    readonly logicalTime: number;
+    /** Opaque evaluator-owned snapshot reference; snapshot contents never cross this contract. */
+    readonly snapshotHandle: string;
+    readonly snapshotDigest: PlanningDigestV1;
+    readonly anchor: ShardedSimulationDurableAnchorV1;
+    readonly checkpointDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationRestoreRequestV1 {
+    readonly schemaVersion: 1;
+    readonly checkpoint: ShardedSimulationCheckpointV1;
+    readonly expectedAnchorDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationRestoreReceiptV1 {
+    readonly schemaVersion: 1;
+    readonly checkpointId: string;
+    readonly restoredRevision: number;
+    readonly restoredLogicalTime: number;
+    readonly receiptDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationShardAssignmentV1 {
+    readonly schemaVersion: 1;
+    readonly shardId: string;
+    readonly shardIndex: number;
+    readonly shardCount: number;
+    readonly peerStartInclusive: number;
+    readonly peerEndExclusive: number;
+    readonly interactionStartInclusive: number;
+    readonly interactionEndExclusive: number;
+    readonly assignmentDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationCrossShardMessageV1 {
+    readonly schemaVersion: 1;
+    readonly eventId: string;
+    readonly sourcePeerIndex: number;
+    readonly targetPeerIndex: number;
+    readonly logicalTime: number;
+    readonly payloadDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationCrossShardMessageBatchV1 {
+    readonly schemaVersion: 1;
+    readonly batchId: string;
+    readonly sessionId: string;
+    readonly episodeId: string;
+    readonly sourceShardId: string;
+    readonly targetShardId: string;
+    readonly logicalTime: number;
+    readonly messages: readonly ShardedSimulationCrossShardMessageV1[];
+    readonly batchDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationCrossShardMessageAckV1 {
+    readonly schemaVersion: 1;
+    readonly batchId: string;
+    readonly batchDigest: PlanningDigestV1;
+    readonly accepted: boolean;
+    readonly duplicate: boolean;
+    readonly deliveredEventIds: readonly string[];
+    readonly ackDigest: PlanningDigestV1;
+}
+export type ShardedSimulationFaultKindV1 = "failure" | "restart" | "partition" | "heal" | "compromised-actor" | "rogue-actor" | "misleading-observation" | "conflicting-observation";
+export interface ShardedSimulationFaultScheduleEntryV1 {
+    readonly schemaVersion: 1;
+    readonly faultId: string;
+    readonly kind: ShardedSimulationFaultKindV1;
+    readonly logicalTime: number;
+    readonly targetPeerIndexes: readonly number[];
+    readonly faultDigest: PlanningDigestV1;
+}
+export interface ShardedSimulationFaultObservationV1 {
+    readonly schemaVersion: 1;
+    readonly faultId: string;
+    readonly kind: ShardedSimulationFaultKindV1;
+    readonly observedAtLogicalTime: number;
+    readonly observationDigest: PlanningDigestV1;
+}
+/** Evaluators aggregate these content-free counters; neither runner nor peers receive a verdict. */
+export interface ShardedSimulationMetricSampleV1 {
+    readonly schemaVersion: 1;
+    readonly interactionCount: number;
+    readonly missionSuccessCount: number;
+    readonly recoveryToBaselineCount: number;
+    readonly roleCoherenceLength: number;
+}
+export interface ShardedSimulationMetricAggregateV1 extends ShardedSimulationMetricSampleV1 {
+    readonly metricDigest: PlanningDigestV1;
+}
+/** Transport-neutral boundary. HTTP and gRPC adapters can implement this without SDK coupling. */
+export interface ShardedSimulationEnvironmentBridgeV1 {
+    createSession(input: {
+        readonly environmentId: string;
+        readonly logicalTime: number;
+    }): ShardedSimulationEnvironmentSessionV1 | Promise<ShardedSimulationEnvironmentSessionV1>;
+    startEpisode(input: {
+        readonly session: ShardedSimulationEnvironmentSessionV1;
+        readonly episodeId: string;
+        readonly seed: number;
+        readonly logicalTime: number;
+    }): ShardedSimulationEpisodeV1 | Promise<ShardedSimulationEpisodeV1>;
+    bindShardAssignments(input: {
+        readonly session: ShardedSimulationEnvironmentSessionV1;
+        readonly episode: ShardedSimulationEpisodeV1;
+        readonly profile: ShardedSimulationScaleProfileV1;
+        readonly assignments: readonly ShardedSimulationShardAssignmentV1[];
+    }): void | Promise<void>;
+    pullPartialObservation(input: ShardedSimulationPartialObservationPullV1): ShardedSimulationPartialObservationDeliveryV1 | Promise<ShardedSimulationPartialObservationDeliveryV1>;
+    requestEffect(input: ShardedSimulationFencedActionRequestV1): ShardedSimulationEffectReceiptV1 | Promise<ShardedSimulationEffectReceiptV1>;
+    deliverCrossShardBatch(input: ShardedSimulationCrossShardMessageBatchV1): ShardedSimulationCrossShardMessageAckV1 | Promise<ShardedSimulationCrossShardMessageAckV1>;
+    checkpoint(input: {
+        readonly session: ShardedSimulationEnvironmentSessionV1;
+        readonly episode: ShardedSimulationEpisodeV1;
+        readonly expectedRevision: number;
+        readonly logicalTime: number;
+    }): ShardedSimulationCheckpointV1 | Promise<ShardedSimulationCheckpointV1>;
+    restore(input: ShardedSimulationRestoreRequestV1): ShardedSimulationRestoreReceiptV1 | Promise<ShardedSimulationRestoreReceiptV1>;
+}
+/** Evaluator authority is separate from the runner-visible environment bridge. */
+export interface ShardedSimulationEvaluatorPortV1 {
+    finalizeMetrics(input: {
+        readonly session: ShardedSimulationEnvironmentSessionV1;
+        readonly episode: ShardedSimulationEpisodeV1;
+        readonly interactionCount: number;
+    }): ShardedSimulationMetricAggregateV1 | Promise<ShardedSimulationMetricAggregateV1>;
+}
+export declare function shardedSimulationScaleProfileV1(profileId: ShardedSimulationScaleProfileIdV1): ShardedSimulationScaleProfileV1;
+export declare const SHARDED_SIMULATION_SCALE_PROFILES_V1: readonly ShardedSimulationScaleProfileV1[];
+export declare function createShardedSimulationAssignmentsV1(input: {
+    readonly profile: ShardedSimulationScaleProfileV1;
+    readonly shardCount: number;
+}): readonly ShardedSimulationShardAssignmentV1[];
+export declare function shardedSimulationAssignmentForPeerV1(assignments: readonly ShardedSimulationShardAssignmentV1[], peerIndex: number): ShardedSimulationShardAssignmentV1;
+/** Binds an action's intent to its session, episode, ownership fence, and payload. */
+export declare function shardedSimulationFencedActionDigestV1(input: Omit<ShardedSimulationFencedActionRequestV1, "actionDigest">): PlanningDigestV1;
+/**
+ * Produces the one wire representation of a batch. Message order and digest
+ * deliberately do not depend on the transport's iteration order.
+ */
+export declare function createShardedSimulationCrossShardMessageBatchV1(input: {
+    readonly batchId: string;
+    readonly sessionId: string;
+    readonly episodeId: string;
+    readonly sourceShardId: string;
+    readonly targetShardId: string;
+    readonly logicalTime: number;
+    readonly messages: readonly ShardedSimulationCrossShardMessageV1[];
+}): ShardedSimulationCrossShardMessageBatchV1;
+export declare function canonicalShardedSimulationMessagesV1(messages: readonly ShardedSimulationCrossShardMessageV1[]): readonly ShardedSimulationCrossShardMessageV1[];
+export declare function aggregateShardedSimulationMetricsV1(samples: readonly ShardedSimulationMetricSampleV1[]): ShardedSimulationMetricAggregateV1;
+export declare function shardedSimulationDigestV1(domain: string, value: unknown): PlanningDigestV1;
+//# sourceMappingURL=sharded-simulation-contracts.d.ts.map

package/dist/sharded-simulation-contracts.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sharded-simulation-contracts.d.ts","sourceRoot":"","sources":["../src/sharded-simulation-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,gBAAgB,EACrB,KAAK,YAAY,EAClB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAEL,KAAK,gCAAgC,EACtC,MAAM,mCAAmC,CAAC;AAE3C,+FAA+F;AAC/F,eAAO,MAAM,uCAAuC,gHAIzC,CAAC;AACZ,MAAM,MAAM,iCAAiC,GAC3C,CAAC,OAAO,uCAAuC,CAAC,CAAC,MAAM,CAAC,CAAC;AAE3D,uFAAuF;AACvF,eAAO,MAAM,4BAA4B;;;;;;;EAO9B,CAAC;AAEZ,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,iCAAiC,CAAC;IACtD,QAAQ,CAAC,IAAI,EAAE,gCAAgC,CAAC;IAChD,QAAQ,CAAC,gBAAgB,EAAE,GAAG,GAAG,KAAK,GAAG,OAAO,CAAC;IACjD,QAAQ,CAAC,kBAAkB,EAAE,KAAK,GAAG,MAAM,GAAG,SAAS,CAAC;IACxD,QAAQ,CAAC,gBAAgB,EAAE,cAAc,GAAG,YAAY,GAAG,iBAAiB,CAAC;IAC7E,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED,MAAM,WAAW,0BAA0B;IACzC,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,oBAAoB,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED,qGAAqG;AACrG,MAAM,WAAW,yCAAyC;IACxD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;IAC/B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,MAAM,WAAW,6CAA6C;IAC5D,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,YAAY,EAAE,SAAS,YAAY,EAAE,CAAC;IAC/C,QAAQ,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAC;IACnC,QAAQ,CAAC,cAAc,EAAE,gBAAgB,CAAC;CAC3C;AAED,MAAM,WAAW,sCAAsC;IACrD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC;IAC9B,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;IACxC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED,MAAM,WAAW,gCAAgC;IAC/C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,oBAAoB,EAAE,gBAAgB,GAAG,IAAI,CAAC;IACvD,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,8FAA8F;IAC9F,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,gBAAgB,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,gCAAgC,CAAC;IAClD,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;CAC7C;AAED,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,6BAA6B,CAAC;IACnD,QAAQ,CAAC,oBAAoB,EAAE,gBAAgB,CAAC;CACjD;AAED,MAAM,WAAW,iCAAiC;IAChD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,yBAAyB,EAAE,MAAM,CAAC;IAC3C,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,gBAAgB,EAAE,gBAAgB,CAAC;CAC7C;AAED,MAAM,WAAW,oCAAoC;IACnD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,gBAAgB,CAAC;CAC1C;AAED,MAAM,WAAW,yCAAyC;IACxD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,oCAAoC,EAAE,CAAC;IACnE,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;CACxC;AAED,MAAM,WAAW,uCAAuC;IACtD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,SAAS,EAAE,gBAAgB,CAAC;CACtC;AAED,MAAM,MAAM,4BAA4B,GACpC,SAAS,GACT,SAAS,GACT,WAAW,GACX,MAAM,GACN,mBAAmB,GACnB,aAAa,GACb,wBAAwB,GACxB,yBAAyB,CAAC;AAE9B,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,4BAA4B,CAAC;IAC5C,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,iBAAiB,EAAE,SAAS,MAAM,EAAE,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;CACxC;AAED,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,4BAA4B,CAAC;IAC5C,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;IACvC,QAAQ,CAAC,iBAAiB,EAAE,gBAAgB,CAAC;CAC9C;AAED,oGAAoG;AACpG,MAAM,WAAW,+BAA+B;IAC9C,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;IACrC,QAAQ,CAAC,uBAAuB,EAAE,MAAM,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,MAAM,CAAC;CACtC;AAED,MAAM,WAAW,kCAAmC,SAAQ,+BAA+B;IACzF,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC;AAED,kGAAkG;AAClG,MAAM,WAAW,oCAAoC;IACnD,aAAa,CAAC,KAAK,EAAE;QACnB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,GACG,qCAAqC,GACrC,OAAO,CAAC,qCAAqC,CAAC,CAAC;IACnD,YAAY,CAAC,KAAK,EAAE;QAClB,QAAQ,CAAC,OAAO,EAAE,qCAAqC,CAAC;QACxD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,GAAG,0BAA0B,GAAG,OAAO,CAAC,0BAA0B,CAAC,CAAC;IACrE,oBAAoB,CAAC,KAAK,EAAE;QAC1B,QAAQ,CAAC,OAAO,EAAE,qCAAqC,CAAC;QACxD,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;QAC7C,QAAQ,CAAC,OAAO,EAAE,+BAA+B,CAAC;QAClD,QAAQ,CAAC,WAAW,EAAE,SAAS,kCAAkC,EAAE,CAAC;KACrE,GAAG,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IACzB,sBAAsB,CACpB,KAAK,EAAE,yCAAyC,GAE9C,6CAA6C,GAC7C,OAAO,CAAC,6CAA6C,CAAC,CAAC;IAC3D,aAAa,CACX,KAAK,EAAE,sCAAsC,GAE3C,gCAAgC,GAChC,OAAO,CAAC,gCAAgC,CAAC,CAAC;IAC9C,sBAAsB,CACpB,KAAK,EAAE,yCAAyC,GAE9C,uCAAuC,GACvC,OAAO,CAAC,uCAAuC,CAAC,CAAC;IACrD,UAAU,CAAC,KAAK,EAAE;QAChB,QAAQ,CAAC,OAAO,EAAE,qCAAqC,CAAC;QACxD,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;QAC7C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,GAAG,6BAA6B,GAAG,OAAO,CAAC,6BAA6B,CAAC,CAAC;IAC3E,OAAO,CACL,KAAK,EAAE,iCAAiC,GAEtC,iCAAiC,GACjC,OAAO,CAAC,iCAAiC,CAAC,CAAC;CAChD;AAED,kFAAkF;AAClF,MAAM,WAAW,gCAAgC;IAC/C,eAAe,CAAC,KAAK,EAAE;QACrB,QAAQ,CAAC,OAAO,EAAE,qCAAqC,CAAC;QACxD,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;QAC7C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;KACnC,GACG,kCAAkC,GAClC,OAAO,CAAC,kCAAkC,CAAC,CAAC;CACjD;AAED,wBAAgB,+BAA+B,CAC7C,SAAS,EAAE,iCAAiC,GAC3C,+BAA+B,CAejC;AAED,eAAO,MAAM,oCAAoC,4CAEhD,CAAC;AAEF,wBAAgB,oCAAoC,CAAC,KAAK,EAAE;IAC1D,QAAQ,CAAC,OAAO,EAAE,+BAA+B,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GAAG,SAAS,kCAAkC,EAAE,CAuChD;AAED,wBAAgB,oCAAoC,CAClD,WAAW,EAAE,SAAS,kCAAkC,EAAE,EAC1D,SAAS,EAAE,MAAM,GAChB,kCAAkC,CAoBpC;AAED,sFAAsF;AACtF,wBAAgB,qCAAqC,CACnD,KAAK,EAAE,IAAI,CAAC,sCAAsC,EAAE,cAAc,CAAC,GAClE,gBAAgB,CAElB;AAED;;;GAGG;AACH,wBAAgB,+CAA+C,CAAC,KAAK,EAAE;IACrE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,QAAQ,EAAE,SAAS,oCAAoC,EAAE,CAAC;CACpE,GAAG,yCAAyC,CA4B5C;AAED,wBAAgB,oCAAoC,CAClD,QAAQ,EAAE,SAAS,oCAAoC,EAAE,GACxD,SAAS,oCAAoC,EAAE,CA0BjD;AAED,wBAAgB,mCAAmC,CACjD,OAAO,EAAE,SAAS,+BAA+B,EAAE,GAClD,kCAAkC,CA0CpC;AAED,wBAAgB,yBAAyB,CACvC,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,OAAO,GACb,gBAAgB,CAElB"}

package/dist/sharded-simulation-contracts.js

@@ -0,0 +1,199 @@
+import { deepFreezePlanning, digestPlanningJsonV1, } from "@agentplat/collective-planning";
+import { collectiveProgressiveScaleProfileV1, } from "./collective-progressive-scale.js";
+/** Closed interoperability envelopes, deliberately aligned with sparse overlay scale tiers. */
+export const SHARDED_SIMULATION_SCALE_PROFILE_IDS_V1 = Object.freeze([
+    "peers-500-interactions-5000",
+    "peers-5000-interactions-50000",
+    "peers-100000-interactions-1000000",
+]);
+/** Hard protocol limits. Adapters must reject excess input before allocating state. */
+export const SHARDED_SIMULATION_LIMITS_V1 = Object.freeze({
+    maximumFaults: 4_096,
+    maximumTargetsPerFault: 4_096,
+    maximumTotalTargetsAcrossSchedule: 16_384,
+    maximumMessagesPerBatch: 4_096,
+    maximumObservationsPerDelivery: 1_024,
+    maximumIdentifierLength: 256,
+});
+export function shardedSimulationScaleProfileV1(profileId) {
+    const record = profileRecord(profileId);
+    const progressive = collectiveProgressiveScaleProfileV1(record.tier);
+    const body = {
+        schemaVersion: 1,
+        profileId,
+        tier: record.tier,
+        logicalPeerCount: progressive.agentCount,
+        interactionCeiling: progressive.maximumInteractions,
+        overlayProfileId: record.overlayProfileId,
+    };
+    return freeze({
+        ...body,
+        profileDigest: digest("sharded-simulation-scale-profile-v1", body),
+    });
+}
+export const SHARDED_SIMULATION_SCALE_PROFILES_V1 = Object.freeze(SHARDED_SIMULATION_SCALE_PROFILE_IDS_V1.map(shardedSimulationScaleProfileV1));
+export function createShardedSimulationAssignmentsV1(input) {
+    positiveInteger(input.shardCount, "shardCount");
+    if (input.shardCount > input.profile.logicalPeerCount)
+        throw new RangeError("sharded_simulation_shard_count_exceeds_peers");
+    const width = String(input.shardCount - 1).length;
+    return Object.freeze(Array.from({ length: input.shardCount }, (_, shardIndex) => {
+        const body = {
+            schemaVersion: 1,
+            shardId: `shard-${String(shardIndex).padStart(width, "0")}`,
+            shardIndex,
+            shardCount: input.shardCount,
+            peerStartInclusive: partition(input.profile.logicalPeerCount, shardIndex, input.shardCount),
+            peerEndExclusive: partition(input.profile.logicalPeerCount, shardIndex + 1, input.shardCount),
+            interactionStartInclusive: partition(input.profile.interactionCeiling, shardIndex, input.shardCount),
+            interactionEndExclusive: partition(input.profile.interactionCeiling, shardIndex + 1, input.shardCount),
+        };
+        return freeze({
+            ...body,
+            assignmentDigest: digest("sharded-simulation-assignment-v1", body),
+        });
+    }));
+}
+export function shardedSimulationAssignmentForPeerV1(assignments, peerIndex) {
+    positiveInteger(peerIndex, "peerIndex", true);
+    const first = assignments[0];
+    if (!first || assignments.length !== first.shardCount)
+        throw new TypeError("sharded_simulation_assignments_invalid");
+    const totalPeers = assignments[assignments.length - 1].peerEndExclusive;
+    if (peerIndex >= totalPeers)
+        throw new RangeError("sharded_simulation_peer_not_assigned");
+    // For ranges floor(N*i/S)..floor(N*(i+1)/S), this locates i in constant time.
+    const shardIndex = Math.floor(((peerIndex + 1) * first.shardCount - 1) / totalPeers);
+    const assignment = assignments[shardIndex];
+    if (!assignment ||
+        peerIndex < assignment.peerStartInclusive ||
+        peerIndex >= assignment.peerEndExclusive)
+        throw new RangeError("sharded_simulation_peer_not_assigned");
+    return assignment;
+}
+/** Binds an action's intent to its session, episode, ownership fence, and payload. */
+export function shardedSimulationFencedActionDigestV1(input) {
+    return digest("sharded-simulation-fenced-action-v1", input);
+}
+/**
+ * Produces the one wire representation of a batch. Message order and digest
+ * deliberately do not depend on the transport's iteration order.
+ */
+export function createShardedSimulationCrossShardMessageBatchV1(input) {
+    for (const identifier of [
+        input.batchId,
+        input.sessionId,
+        input.episodeId,
+        input.sourceShardId,
+        input.targetShardId,
+    ])
+        boundedIdentifier(identifier, "sharded_simulation_batch_identifier_invalid");
+    positiveInteger(input.logicalTime, "logicalTime", true);
+    const messages = canonicalShardedSimulationMessagesV1(input.messages);
+    const body = {
+        schemaVersion: 1,
+        batchId: input.batchId,
+        sessionId: input.sessionId,
+        episodeId: input.episodeId,
+        sourceShardId: input.sourceShardId,
+        targetShardId: input.targetShardId,
+        logicalTime: input.logicalTime,
+        messages,
+    };
+    return freeze({
+        ...body,
+        batchDigest: digest("sharded-simulation-cross-shard-batch-v1", body),
+    });
+}
+export function canonicalShardedSimulationMessagesV1(messages) {
+    if (messages.length > SHARDED_SIMULATION_LIMITS_V1.maximumMessagesPerBatch)
+        throw new RangeError("sharded_simulation_batch_message_limit_exceeded");
+    for (const message of messages) {
+        if (message.schemaVersion !== 1 ||
+            !Number.isSafeInteger(message.sourcePeerIndex) ||
+            message.sourcePeerIndex < 0 ||
+            !Number.isSafeInteger(message.targetPeerIndex) ||
+            message.targetPeerIndex < 0 ||
+            !Number.isSafeInteger(message.logicalTime) ||
+            message.logicalTime < 0 ||
+            !/^sha256:[0-9a-f]{64}$/u.test(message.payloadDigest))
+            throw new TypeError("sharded_simulation_message_invalid");
+        boundedIdentifier(message.eventId, "sharded_simulation_message_identifier_invalid");
+    }
+    const sorted = [...messages].sort((left, right) => left.eventId.localeCompare(right.eventId));
+    if (new Set(sorted.map((message) => message.eventId)).size !== sorted.length)
+        throw new TypeError("sharded_simulation_message_duplicate");
+    return Object.freeze(sorted.map((message) => freeze({ ...message })));
+}
+export function aggregateShardedSimulationMetricsV1(samples) {
+    const body = samples.reduce((total, sample) => {
+        for (const value of [
+            sample.interactionCount,
+            sample.missionSuccessCount,
+            sample.recoveryToBaselineCount,
+            sample.roleCoherenceLength,
+        ])
+            if (!Number.isSafeInteger(value) || value < 0 || value > 1_000_000_000)
+                throw new RangeError("sharded_simulation_metric_sample_invalid");
+        const next = {
+            schemaVersion: 1,
+            interactionCount: total.interactionCount + sample.interactionCount,
+            missionSuccessCount: total.missionSuccessCount + sample.missionSuccessCount,
+            recoveryToBaselineCount: total.recoveryToBaselineCount + sample.recoveryToBaselineCount,
+            roleCoherenceLength: total.roleCoherenceLength + sample.roleCoherenceLength,
+        };
+        if (!Number.isSafeInteger(next.interactionCount) ||
+            !Number.isSafeInteger(next.missionSuccessCount) ||
+            !Number.isSafeInteger(next.recoveryToBaselineCount) ||
+            !Number.isSafeInteger(next.roleCoherenceLength))
+            throw new RangeError("sharded_simulation_metric_sum_overflow");
+        return next;
+    }, {
+        schemaVersion: 1,
+        interactionCount: 0,
+        missionSuccessCount: 0,
+        recoveryToBaselineCount: 0,
+        roleCoherenceLength: 0,
+    });
+    return freeze({
+        ...body,
+        metricDigest: digest("sharded-simulation-metrics-v1", body),
+    });
+}
+export function shardedSimulationDigestV1(domain, value) {
+    return digest(domain, value);
+}
+function profileRecord(profileId) {
+    switch (profileId) {
+        case "peers-500-interactions-5000":
+            return { tier: "baseline", overlayProfileId: "standard-500" };
+        case "peers-5000-interactions-50000":
+            return { tier: "resilient", overlayProfileId: "large-5000" };
+        case "peers-100000-interactions-1000000":
+            return { tier: "frontier", overlayProfileId: "frontier-100000" };
+    }
+}
+function partition(total, index, count) {
+    return Math.floor((total * index) / count);
+}
+function positiveInteger(value, label, allowZero = false) {
+    if (!Number.isSafeInteger(value) || value < (allowZero ? 0 : 1))
+        throw new TypeError(`${label} must be a safe integer`);
+}
+function boundedIdentifier(value, code) {
+    if (typeof value !== "string" ||
+        value.length === 0 ||
+        value.length > SHARDED_SIMULATION_LIMITS_V1.maximumIdentifierLength)
+        throw new TypeError(code);
+}
+/** The shared canonical digest registry is closed; preserve this module's domain inside its canonical payload. */
+function digest(domain, value) {
+    return digestPlanningJsonV1("environment-state-v1", {
+        domain,
+        value,
+    });
+}
+function freeze(value) {
+    return deepFreezePlanning(value);
+}
+//# sourceMappingURL=sharded-simulation-contracts.js.map

package/dist/sharded-simulation-contracts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sharded-simulation-contracts.js","sourceRoot":"","sources":["../src/sharded-simulation-contracts.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,oBAAoB,GAGrB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EACL,mCAAmC,GAEpC,MAAM,mCAAmC,CAAC;AAE3C,+FAA+F;AAC/F,MAAM,CAAC,MAAM,uCAAuC,GAAG,MAAM,CAAC,MAAM,CAAC;IACnE,6BAA6B;IAC7B,+BAA+B;IAC/B,mCAAmC;CAC3B,CAAC,CAAC;AAIZ,uFAAuF;AACvF,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,MAAM,CAAC;IACxD,aAAa,EAAE,KAAK;IACpB,sBAAsB,EAAE,KAAK;IAC7B,iCAAiC,EAAE,MAAM;IACzC,uBAAuB,EAAE,KAAK;IAC9B,8BAA8B,EAAE,KAAK;IACrC,uBAAuB,EAAE,GAAG;CACpB,CAAC,CAAC;AA4PZ,MAAM,UAAU,+BAA+B,CAC7C,SAA4C;IAE5C,MAAM,MAAM,GAAG,aAAa,CAAC,SAAS,CAAC,CAAC;IACxC,MAAM,WAAW,GAAG,mCAAmC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACrE,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,CAAU;QACzB,SAAS;QACT,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,gBAAgB,EAAE,WAAW,CAAC,UAAU;QACxC,kBAAkB,EAAE,WAAW,CAAC,mBAAmB;QACnD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;KAC1C,CAAC;IACF,OAAO,MAAM,CAAC;QACZ,GAAG,IAAI;QACP,aAAa,EAAE,MAAM,CAAC,qCAAqC,EAAE,IAAI,CAAC;KACnE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,CAAC,MAAM,oCAAoC,GAAG,MAAM,CAAC,MAAM,CAC/D,uCAAuC,CAAC,GAAG,CAAC,+BAA+B,CAAC,CAC7E,CAAC;AAEF,MAAM,UAAU,oCAAoC,CAAC,KAGpD;IACC,eAAe,CAAC,KAAK,CAAC,UAAU,EAAE,YAAY,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,UAAU,GAAG,KAAK,CAAC,OAAO,CAAC,gBAAgB;QACnD,MAAM,IAAI,UAAU,CAAC,8CAA8C,CAAC,CAAC;IACvE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC;IAClD,OAAO,MAAM,CAAC,MAAM,CAClB,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE;QACzD,MAAM,IAAI,GAAG;YACX,aAAa,EAAE,CAAU;YACzB,OAAO,EAAE,SAAS,MAAM,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE;YAC3D,UAAU;YACV,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,kBAAkB,EAAE,SAAS,CAC3B,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,UAAU,EACV,KAAK,CAAC,UAAU,CACjB;YACD,gBAAgB,EAAE,SAAS,CACzB,KAAK,CAAC,OAAO,CAAC,gBAAgB,EAC9B,UAAU,GAAG,CAAC,EACd,KAAK,CAAC,UAAU,CACjB;YACD,yBAAyB,EAAE,SAAS,CAClC,KAAK,CAAC,OAAO,CAAC,kBAAkB,EAChC,UAAU,EACV,KAAK,CAAC,UAAU,CACjB;YACD,uBAAuB,EAAE,SAAS,CAChC,KAAK,CAAC,OAAO,CAAC,kBAAkB,EAChC,UAAU,GAAG,CAAC,EACd,KAAK,CAAC,UAAU,CACjB;SACF,CAAC;QACF,OAAO,MAAM,CAAC;YACZ,GAAG,IAAI;YACP,gBAAgB,EAAE,MAAM,CAAC,kCAAkC,EAAE,IAAI,CAAC;SACnE,CAAC,CAAC;IACL,CAAC,CAAC,CACH,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,WAA0D,EAC1D,SAAiB;IAEjB,eAAe,CAAC,SAAS,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;IAC9C,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;IAC7B,IAAI,CAAC,KAAK,IAAI,WAAW,CAAC,MAAM,KAAK,KAAK,CAAC,UAAU;QACnD,MAAM,IAAI,SAAS,CAAC,wCAAwC,CAAC,CAAC;IAChE,MAAM,UAAU,GAAG,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAE,CAAC,gBAAgB,CAAC;IACzE,IAAI,SAAS,IAAI,UAAU;QACzB,MAAM,IAAI,UAAU,CAAC,sCAAsC,CAAC,CAAC;IAC/D,8EAA8E;IAC9E,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAC3B,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC,GAAG,UAAU,CACtD,CAAC;IACF,MAAM,UAAU,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;IAC3C,IACE,CAAC,UAAU;QACX,SAAS,GAAG,UAAU,CAAC,kBAAkB;QACzC,SAAS,IAAI,UAAU,CAAC,gBAAgB;QAExC,MAAM,IAAI,UAAU,CAAC,sCAAsC,CAAC,CAAC;IAC/D,OAAO,UAAU,CAAC;AACpB,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,qCAAqC,CACnD,KAAmE;IAEnE,OAAO,MAAM,CAAC,qCAAqC,EAAE,KAAK,CAAC,CAAC;AAC9D,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,+CAA+C,CAAC,KAQ/D;IACC,KAAK,MAAM,UAAU,IAAI;QACvB,KAAK,CAAC,OAAO;QACb,KAAK,CAAC,SAAS;QACf,KAAK,CAAC,SAAS;QACf,KAAK,CAAC,aAAa;QACnB,KAAK,CAAC,aAAa;KACpB;QACC,iBAAiB,CACf,UAAU,EACV,6CAA6C,CAC9C,CAAC;IACJ,eAAe,CAAC,KAAK,CAAC,WAAW,EAAE,aAAa,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,QAAQ,GAAG,oCAAoC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;IACtE,MAAM,IAAI,GAAG;QACX,aAAa,EAAE,CAAU;QACzB,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,aAAa,EAAE,KAAK,CAAC,aAAa;QAClC,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ;KACT,CAAC;IACF,OAAO,MAAM,CAAC;QACZ,GAAG,IAAI;QACP,WAAW,EAAE,MAAM,CAAC,yCAAyC,EAAE,IAAI,CAAC;KACrE,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,oCAAoC,CAClD,QAAyD;IAEzD,IAAI,QAAQ,CAAC,MAAM,GAAG,4BAA4B,CAAC,uBAAuB;QACxE,MAAM,IAAI,UAAU,CAAC,iDAAiD,CAAC,CAAC;IAC1E,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IACE,OAAO,CAAC,aAAa,KAAK,CAAC;YAC3B,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC;YAC9C,OAAO,CAAC,eAAe,GAAG,CAAC;YAC3B,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC;YAC9C,OAAO,CAAC,eAAe,GAAG,CAAC;YAC3B,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,WAAW,CAAC;YAC1C,OAAO,CAAC,WAAW,GAAG,CAAC;YACvB,CAAC,wBAAwB,CAAC,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;YAErD,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAC;QAC5D,iBAAiB,CACf,OAAO,CAAC,OAAO,EACf,+CAA+C,CAChD,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAChD,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,CAAC,CAC1C,CAAC;IACF,IAAI,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,CAAC,MAAM;QAC1E,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,GAAG,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,UAAU,mCAAmC,CACjD,OAAmD;IAEnD,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CACzB,CAAC,KAAK,EAAE,MAAM,EAAE,EAAE;QAChB,KAAK,MAAM,KAAK,IAAI;YAClB,MAAM,CAAC,gBAAgB;YACvB,MAAM,CAAC,mBAAmB;YAC1B,MAAM,CAAC,uBAAuB;YAC9B,MAAM,CAAC,mBAAmB;SAC3B;YACC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,aAAa;gBACpE,MAAM,IAAI,UAAU,CAAC,0CAA0C,CAAC,CAAC;QACrE,MAAM,IAAI,GAAG;YACX,aAAa,EAAE,CAAU;YACzB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,GAAG,MAAM,CAAC,gBAAgB;YAClE,mBAAmB,EACjB,KAAK,CAAC,mBAAmB,GAAG,MAAM,CAAC,mBAAmB;YACxD,uBAAuB,EACrB,KAAK,CAAC,uBAAuB,GAAG,MAAM,CAAC,uBAAuB;YAChE,mBAAmB,EACjB,KAAK,CAAC,mBAAmB,GAAG,MAAM,CAAC,mBAAmB;SACzD,CAAC;QACF,IACE,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,gBAAgB,CAAC;YAC5C,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC;YAC/C,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,uBAAuB,CAAC;YACnD,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,mBAAmB,CAAC;YAE/C,MAAM,IAAI,UAAU,CAAC,wCAAwC,CAAC,CAAC;QACjE,OAAO,IAAI,CAAC;IACd,CAAC,EACD;QACE,aAAa,EAAE,CAAC;QAChB,gBAAgB,EAAE,CAAC;QACnB,mBAAmB,EAAE,CAAC;QACtB,uBAAuB,EAAE,CAAC;QAC1B,mBAAmB,EAAE,CAAC;KACvB,CACF,CAAC;IACF,OAAO,MAAM,CAAC;QACZ,GAAG,IAAI;QACP,YAAY,EAAE,MAAM,CAAC,+BAA+B,EAAE,IAAI,CAAC;KAC5D,CAAC,CAAC;AACL,CAAC;AAED,MAAM,UAAU,yBAAyB,CACvC,MAAc,EACd,KAAc;IAEd,OAAO,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,aAAa,CAAC,SAA4C;IAIjE,QAAQ,SAAS,EAAE,CAAC;QAClB,KAAK,6BAA6B;YAChC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,cAAc,EAAE,CAAC;QAChE,KAAK,+BAA+B;YAClC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,gBAAgB,EAAE,YAAY,EAAE,CAAC;QAC/D,KAAK,mCAAmC;YACtC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,gBAAgB,EAAE,iBAAiB,EAAE,CAAC;IACrE,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAa,EAAE,KAAa,EAAE,KAAa;IAC5D,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC;AAC7C,CAAC;AACD,SAAS,eAAe,CACtB,KAAa,EACb,KAAa,EACb,SAAS,GAAG,KAAK;IAEjB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC7D,MAAM,IAAI,SAAS,CAAC,GAAG,KAAK,yBAAyB,CAAC,CAAC;AAC3D,CAAC;AACD,SAAS,iBAAiB,CAAC,KAAa,EAAE,IAAY;IACpD,IACE,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,CAAC,MAAM,KAAK,CAAC;QAClB,KAAK,CAAC,MAAM,GAAG,4BAA4B,CAAC,uBAAuB;QAEnE,MAAM,IAAI,SAAS,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AACD,kHAAkH;AAClH,SAAS,MAAM,CAAC,MAAc,EAAE,KAAc;IAC5C,OAAO,oBAAoB,CAAC,sBAAsB,EAAE;QAClD,MAAM;QACN,KAAK;KACqB,CAAC,CAAC;AAChC,CAAC;AACD,SAAS,MAAM,CAAI,KAAQ;IACzB,OAAO,kBAAkB,CAAC,KAAgC,CAAiB,CAAC;AAC9E,CAAC"}

package/dist/sharded-simulation-runtime.d.ts

@@ -0,0 +1,64 @@
+import type { PlanningDigestV1 } from "@agentplat/collective-planning";
+import { type ShardedSimulationCheckpointV1, type ShardedSimulationCrossShardMessageAckV1, type ShardedSimulationCrossShardMessageBatchV1, type ShardedSimulationEffectReceiptV1, type ShardedSimulationEnvironmentBridgeV1, type ShardedSimulationEnvironmentSessionV1, type ShardedSimulationEpisodeV1, type ShardedSimulationEvaluatorPortV1, type ShardedSimulationFaultObservationV1, type ShardedSimulationFaultScheduleEntryV1, type ShardedSimulationMetricAggregateV1, type ShardedSimulationPartialObservationDeliveryV1, type ShardedSimulationRestoreReceiptV1, type ShardedSimulationRestoreRequestV1, type ShardedSimulationScaleProfileV1, type ShardedSimulationShardAssignmentV1 } from "./sharded-simulation-contracts.js";
+/** Local composition only. Snapshots stay private to this instance and are never serialized to a runner. */
+export declare class InMemoryShardedSimulationBridgeV1 implements ShardedSimulationEnvironmentBridgeV1, ShardedSimulationEvaluatorPortV1 {
+    #private;
+    createSession(input: {
+        readonly environmentId: string;
+        readonly logicalTime: number;
+    }): ShardedSimulationEnvironmentSessionV1;
+    startEpisode(input: {
+        readonly session: ShardedSimulationEnvironmentSessionV1;
+        readonly episodeId: string;
+        readonly seed: number;
+        readonly logicalTime: number;
+    }): ShardedSimulationEpisodeV1;
+    bindShardAssignments(input: {
+        readonly session: ShardedSimulationEnvironmentSessionV1;
+        readonly episode: ShardedSimulationEpisodeV1;
+        readonly profile: ShardedSimulationScaleProfileV1;
+        readonly assignments: readonly ShardedSimulationShardAssignmentV1[];
+    }): void;
+    pullPartialObservation(input: Parameters<ShardedSimulationEnvironmentBridgeV1["pullPartialObservation"]>[0]): ShardedSimulationPartialObservationDeliveryV1;
+    requestEffect(input: Parameters<ShardedSimulationEnvironmentBridgeV1["requestEffect"]>[0]): ShardedSimulationEffectReceiptV1;
+    deliverCrossShardBatch(input: ShardedSimulationCrossShardMessageBatchV1): ShardedSimulationCrossShardMessageAckV1;
+    checkpoint(input: {
+        readonly session: ShardedSimulationEnvironmentSessionV1;
+        readonly episode: ShardedSimulationEpisodeV1;
+        readonly expectedRevision: number;
+        readonly logicalTime: number;
+    }): ShardedSimulationCheckpointV1;
+    restore(input: ShardedSimulationRestoreRequestV1): ShardedSimulationRestoreReceiptV1;
+    finalizeMetrics(input: {
+        readonly session: ShardedSimulationEnvironmentSessionV1;
+        readonly episode: ShardedSimulationEpisodeV1;
+        readonly interactionCount: number;
+    }): ShardedSimulationMetricAggregateV1;
+}
+export interface ShardedSimulationLogicalRunInputV1 {
+    readonly schemaVersion: 1;
+    readonly profile: ShardedSimulationScaleProfileV1;
+    readonly shardCount: number;
+    readonly interactionCount: number;
+    readonly seed: number;
+    readonly bridge?: ShardedSimulationEnvironmentBridgeV1;
+    readonly faults?: readonly ShardedSimulationFaultScheduleEntryV1[];
+}
+export interface ShardedSimulationLogicalRunResultV1 {
+    readonly schemaVersion: 1;
+    readonly traceDigest: PlanningDigestV1;
+    readonly interactionCount: number;
+    readonly faultObservations: readonly ShardedSimulationFaultObservationV1[];
+    readonly processedInteractions: number;
+}
+/** Streams logical interactions; only an evaluator port may derive success or coherence metrics. */
+export declare function runShardedSimulationLogicalPeersV1(input: ShardedSimulationLogicalRunInputV1): Promise<ShardedSimulationLogicalRunResultV1>;
+export declare function validateShardedSimulationEffectReceiptV1(value: unknown, request: {
+    readonly actionId: string;
+    readonly logicalTime: number;
+    readonly executionEpoch: number;
+    readonly fenceToken: string;
+    readonly actionDigest: PlanningDigestV1;
+}): ShardedSimulationEffectReceiptV1;
+export declare function validateShardedSimulationCrossShardMessageAckV1(value: unknown, batchId: string, batchDigest: PlanningDigestV1, expectedDeliveredEventIds: readonly string[]): void;
+//# sourceMappingURL=sharded-simulation-runtime.d.ts.map

package/dist/sharded-simulation-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sharded-simulation-runtime.d.ts","sourceRoot":"","sources":["../src/sharded-simulation-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,gBAAgB,EAEjB,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAQL,KAAK,6BAA6B,EAClC,KAAK,uCAAuC,EAC5C,KAAK,yCAAyC,EAE9C,KAAK,gCAAgC,EACrC,KAAK,oCAAoC,EACzC,KAAK,qCAAqC,EAC1C,KAAK,0BAA0B,EAC/B,KAAK,gCAAgC,EAErC,KAAK,mCAAmC,EACxC,KAAK,qCAAqC,EAC1C,KAAK,kCAAkC,EACvC,KAAK,6CAA6C,EAClD,KAAK,iCAAiC,EACtC,KAAK,iCAAiC,EACtC,KAAK,+BAA+B,EACpC,KAAK,kCAAkC,EACxC,MAAM,mCAAmC,CAAC;AAsC3C,4GAA4G;AAC5G,qBAAa,iCACX,YACE,oCAAoC,EACpC,gCAAgC;;IAOlC,aAAa,CAAC,KAAK,EAAE;QACnB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;QAC/B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,GAAG,qCAAqC;IAgBzC,YAAY,CAAC,KAAK,EAAE;QAClB,QAAQ,CAAC,OAAO,EAAE,qCAAqC,CAAC;QACxD,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;QAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,GAAG,0BAA0B;IA0C9B,oBAAoB,CAAC,KAAK,EAAE;QAC1B,QAAQ,CAAC,OAAO,EAAE,qCAAqC,CAAC;QACxD,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;QAC7C,QAAQ,CAAC,OAAO,EAAE,+BAA+B,CAAC;QAClD,QAAQ,CAAC,WAAW,EAAE,SAAS,kCAAkC,EAAE,CAAC;KACrE,GAAG,IAAI;IAqBR,sBAAsB,CACpB,KAAK,EAAE,UAAU,CACf,oCAAoC,CAAC,wBAAwB,CAAC,CAC/D,CAAC,CAAC,CAAC,GACH,6CAA6C;IAqBhD,aAAa,CACX,KAAK,EAAE,UAAU,CAAC,oCAAoC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,GAC1E,gCAAgC;IA2CnC,sBAAsB,CACpB,KAAK,EAAE,yCAAyC,GAC/C,uCAAuC;IAqD1C,UAAU,CAAC,KAAK,EAAE;QAChB,QAAQ,CAAC,OAAO,EAAE,qCAAqC,CAAC;QACxD,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;QAC7C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;QAClC,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;KAC9B,GAAG,6BAA6B;IAkDjC,OAAO,CACL,KAAK,EAAE,iCAAiC,GACvC,iCAAiC;IAiCpC,eAAe,CAAC,KAAK,EAAE;QACrB,QAAQ,CAAC,OAAO,EAAE,qCAAqC,CAAC;QACxD,QAAQ,CAAC,OAAO,EAAE,0BAA0B,CAAC;QAC7C,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;KACnC,GAAG,kCAAkC;CA6DvC;AAED,MAAM,WAAW,kCAAkC;IACjD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,+BAA+B,CAAC;IAClD,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,CAAC,EAAE,oCAAoC,CAAC;IACvD,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,qCAAqC,EAAE,CAAC;CACpE;AACD,MAAM,WAAW,mCAAmC;IAClD,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,gBAAgB,CAAC;IACvC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,iBAAiB,EAAE,SAAS,mCAAmC,EAAE,CAAC;IAC3E,QAAQ,CAAC,qBAAqB,EAAE,MAAM,CAAC;CACxC;AAED,oGAAoG;AACpG,wBAAsB,kCAAkC,CACtD,KAAK,EAAE,kCAAkC,GACxC,OAAO,CAAC,mCAAmC,CAAC,CA2O9C;AAuPD,wBAAgB,wCAAwC,CACtD,KAAK,EAAE,OAAO,EACd,OAAO,EAAE;IACP,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,YAAY,EAAE,gBAAgB,CAAC;CACzC,GACA,gCAAgC,CAsClC;AACD,wBAAgB,+CAA+C,CAC7D,KAAK,EAAE,OAAO,EACd,OAAO,EAAE,MAAM,EACf,WAAW,EAAE,gBAAgB,EAC7B,yBAAyB,EAAE,SAAS,MAAM,EAAE,GAC3C,IAAI,CAgCN"}