@dreamboard-games/sdk 0.4.0-alpha.8 → 0.4.0-alpha.9

package/dist/testing-runtime.js

@@ -1,33 +1,91 @@
 import {
-  createExpectApi,
-  createTestRuntime
-} from "./chunk-5CQIJHGF.js";
-import "./chunk-3OZMHZK3.js";
-import "./chunk-IYX5OO2K.js";
+  ScenarioReplayError,
+  assertScenario,
+  digestScenarioJson,
+  materializeScenarioRuntimeCheckpoint,
+  replayScenario,
+  resolveScenarioCommandParams
+} from "./chunk-L3W2FPRQ.js";
+import "./chunk-5XTAQ4EQ.js";
+import "./chunk-QQNL4WTX.js";
+import {
+  interactionDomainEligibleCount
+} from "./chunk-XDGRC6OR.js";
+import "./chunk-YNW3KBDE.js";
+import "./chunk-PF7L4BMG.js";
+import "./chunk-3PFDHTR7.js";
 import "./chunk-PZ5AY32C.js";
 
+// src/testing/scenario-projection-digest.ts
+function scenarioProjectionInputMetadata(input) {
+  return {
+    key: input.key,
+    kind: input.kind,
+    eligibleCount: interactionDomainEligibleCount(input.domain)
+  };
+}
+function scenarioProjectionParityFromInspectNode(node) {
+  return {
+    perspective: node.perspective.kind === "spectator" ? "spectator" : { seat: node.perspective.actor.seat },
+    flow: {
+      phase: node.flow.phase,
+      step: node.flow.step,
+      activeSeats: node.flow.activeActors.map(({ seat }) => seat),
+      pendingSeats: node.flow.pendingActors.map(({ seat }) => seat),
+      continuationWaiterSeats: node.flow.continuationWaiters.map(
+        ({ seat }) => seat
+      ),
+      blockedBy: node.flow.blockedBy.map(({ actor, blockers }) => ({
+        actorSeat: actor.seat,
+        blockerSeats: blockers.map(({ seat }) => seat)
+      }))
+    },
+    view: node.view,
+    interactions: node.interactions.map(
+      ({ actor, interactionId, availability, inputs }) => ({
+        actorSeat: actor.seat,
+        interactionId,
+        availability,
+        inputs
+      })
+    )
+  };
+}
+function digestScenarioProjection(projection) {
+  return digestScenarioJson({
+    digestVersion: "scenario-projection@1",
+    projection
+  });
+}
+
 // src/testing-runtime.ts
+var CANDIDATE_INPUT_FIELDS = /* @__PURE__ */ new Set([
+  "reducer",
+  "scenarios",
+  "maxScenarios",
+  "maxStepsPerScenario"
+]);
+var MAX_DIAGNOSTIC_MESSAGE_LENGTH = 2e3;
+var MAX_DIAGNOSTIC_TRACE_ENTRIES = 100;
 async function runCandidateVerification(input) {
-  const bases = normalizeBases(input.bases);
+  assertCandidateInputFields(input);
   const scenarios = normalizeScenarios(input.scenarios);
-  const maxScenarios = input.maxScenarios ?? scenarios.length;
-  if (!Number.isInteger(maxScenarios) || maxScenarios < 1) {
-    throw new Error("maxScenarios must be a positive integer.");
+  if (scenarios.length === 0) {
+    throw new Error("Candidate verification requires at least one scenario.");
   }
+  const maxScenarios = input.maxScenarios ?? scenarios.length;
+  assertPositiveInteger(maxScenarios, "maxScenarios");
   if (scenarios.length > maxScenarios) {
     throw new Error(
       `Candidate verification contains ${scenarios.length} scenarios, exceeding limit ${maxScenarios}.`
     );
   }
   const maxStepsPerScenario = input.maxStepsPerScenario ?? 1e3;
-  if (!Number.isInteger(maxStepsPerScenario) || maxStepsPerScenario < 1) {
-    throw new Error("maxStepsPerScenario must be a positive integer.");
-  }
+  assertPositiveInteger(maxStepsPerScenario, "maxStepsPerScenario");
   const results = [];
   for (const scenario of scenarios) {
     results.push(
       await runScenario({
-        bases,
         reducer: input.reducer,
         scenario,
         maxStepsPerScenario
@@ -46,17 +104,34 @@ async function runCandidateVerification(input) {
   };
 }
 async function runScenario(input) {
-  const runtime = createTestRuntime({
-    baseId: input.scenario.from,
-    baseStates: input.bases,
-    bundle: input.reducer,
-    phase: input.scenario.phase,
-    playerIds: input.bases[input.scenario.from]?.snapshot.domain?.flow?.activePlayers
-  });
-  const ctx = createScenarioContext(runtime, input.maxStepsPerScenario);
+  const actualSteps = input.scenario.given.length + input.scenario.when.length;
+  if (actualSteps > input.maxStepsPerScenario) {
+    return {
+      id: input.scenario.id,
+      status: "failed",
+      diagnostic: {
+        kind: "limit",
+        message: `Scenario contains ${actualSteps} replay steps, exceeding maxStepsPerScenario limit ${input.maxStepsPerScenario}.`,
+        actualSteps,
+        maxStepsPerScenario: input.maxStepsPerScenario
+      }
+    };
+  }
+  let replay;
   try {
-    await input.scenario.when(ctx);
-    await input.scenario.then(ctx);
+    replay = await replayScenario({
+      game: input.reducer,
+      scenario: input.scenario
+    });
+  } catch (error) {
+    return {
+      id: input.scenario.id,
+      status: "failed",
+      diagnostic: replayDiagnostic(error)
+    };
+  }
+  try {
+    await assertScenario({ replay, assertion: input.scenario.then });
     return { id: input.scenario.id, status: "passed" };
   } catch (error) {
     return {
@@ -69,85 +144,69 @@ async function runScenario(input) {
     };
   }
 }
-function createScenarioContext(runtime, maxStepsPerScenario) {
-  let submittedSteps = 0;
-  const baseContext = {
-    game: {
-      start: async () => void 0,
-      submit: async (...args) => {
-        submittedSteps += 1;
-        if (submittedSteps > maxStepsPerScenario) {
-          throw new Error(
-            `Scenario exceeded maxStepsPerScenario limit ${maxStepsPerScenario}.`
-          );
-        }
-        return runtime.submit(...args);
-      }
-    },
-    players: runtime.players,
-    seat: runtime.seat
-  };
-  return {
-    ...baseContext,
-    state: () => runtime.getFrame().flow.currentPhase ?? "",
-    view: (playerId) => {
-      const frame = runtime.getFrame();
-      if (frame.perspectivePlayerId === playerId) return frame.view;
-      return runtime.getFrame().view;
-    },
-    interactions: (playerId) => {
-      const frame = runtime.getFrame();
-      if (frame.perspectivePlayerId !== playerId) return [];
-      return frame.availableInteractions;
-    },
-    explain: runtime.explain,
-    diagnostics: runtime.diagnostics,
-    expect: createExpectApi({
-      lastDiagnosticRejection: () => {
-        for (let index = runtime.diagnostics.events.length - 1; index >= 0; index -= 1) {
-          const event = runtime.diagnostics.events[index];
-          if (event?.type === "submitRejected") return event;
-        }
-        return null;
-      }
-    })
-  };
+function assertCandidateInputFields(input) {
+  for (const field of Object.keys(input)) {
+    if (!CANDIDATE_INPUT_FIELDS.has(field)) {
+      throw new Error(
+        `Candidate verification input contains unsupported field '${field}'.`
+      );
+    }
+  }
 }
-function normalizeBases(input) {
-  const entries = Array.isArray(input) ? input.map((base) => [base.id, base]) : Object.entries(input);
-  return Object.fromEntries(
-    entries.map(([id, base]) => {
-      if (!id) throw new Error("Candidate verification base id is required.");
-      if (!("snapshot" in base) || !base.snapshot) {
-        throw new Error(`Candidate verification base '${id}' has no snapshot.`);
-      }
-      const players = base.fingerprint?.players ?? base.players ?? base.snapshot.domain?.flow?.activePlayers?.length ?? 1;
-      return [
-        id,
-        {
-          snapshot: base.snapshot,
-          fingerprint: {
-            players,
-            contractFingerprint: base.fingerprint?.contractFingerprint
-          }
-        }
-      ];
-    })
-  );
+function assertPositiveInteger(value, field) {
+  if (!Number.isSafeInteger(value) || value < 1) {
+    throw new Error(`${field} must be a positive safe integer.`);
+  }
 }
 function normalizeScenarios(input) {
-  const scenarios = Array.isArray(input) ? input : Object.values(input);
-  return scenarios.map((scenario) => {
-    if (!scenario.id)
+  if (typeof input !== "object" || input === null) {
+    throw new Error(
+      "Candidate verification scenarios must be an array or record."
+    );
+  }
+  const scenarios = Array.isArray(input) ? [...input] : Object.values(input);
+  const seenIds = /* @__PURE__ */ new Set();
+  for (const scenario of scenarios) {
+    if (typeof scenario?.id !== "string" || scenario.id.length === 0) {
       throw new Error("Candidate verification scenario id is required.");
-    return scenario;
-  });
+    }
+    if (seenIds.has(scenario.id)) {
+      throw new Error(
+        `Candidate verification scenario id '${scenario.id}' is duplicated.`
+      );
+    }
+    seenIds.add(scenario.id);
+  }
+  return scenarios;
+}
+function replayDiagnostic(error) {
+  if (error instanceof ScenarioReplayError) {
+    return {
+      kind: "replay",
+      message: boundedMessage(error),
+      scenarioId: error.scenarioId,
+      segment: error.segment,
+      index: error.index,
+      interactionId: error.interactionId,
+      errorCode: error.errorCode,
+      ...error.reducerMessage === void 0 ? {} : { reducerMessage: boundedText(error.reducerMessage) },
+      trace: error.trace.slice(0, MAX_DIAGNOSTIC_TRACE_ENTRIES)
+    };
+  }
+  return { kind: "replay", message: boundedMessage(error) };
 }
 function boundedMessage(error) {
-  const message = error instanceof Error ? error.message : String(error);
-  return message.slice(0, 2e3);
+  return boundedText(error instanceof Error ? error.message : String(error));
+}
+function boundedText(value) {
+  return value.slice(0, MAX_DIAGNOSTIC_MESSAGE_LENGTH);
 }
 export {
-  runCandidateVerification
+  digestScenarioProjection,
+  materializeScenarioRuntimeCheckpoint,
+  resolveScenarioCommandParams,
+  runCandidateVerification,
+  scenarioProjectionInputMetadata,
+  scenarioProjectionParityFromInspectNode
 };
 //# sourceMappingURL=testing-runtime.js.map

package/dist/testing-runtime.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../src/testing-runtime.ts"],"sourcesContent":["import type { Wire } from \"@dreamboard-games/reducer-contract\";\nimport { createExpectApi } from \"./testing/create-expect-api.js\";\nimport { createTestRuntime } from \"./testing/create-test-runtime.js\";\nimport type {\n  BaseContext,\n  BaseDefinition,\n  InteractionDescriptorLike,\n  ScenarioDefinition,\n  SharedScenarioContext,\n} from \"./testing/definitions.js\";\nimport type { ReducerScenarioBundle } from \"./testing/reducer-scenario/types.js\";\n\ntype BaseStateArtifact = {\n  readonly snapshot: Wire.ReducerSessionState;\n  readonly fingerprint: {\n    readonly players: number;\n    readonly contractFingerprint?: string;\n  };\n};\n\nexport type CandidateVerificationBase =\n  | BaseStateArtifact\n  | (BaseDefinition & Partial<BaseStateArtifact>);\n\nexport type CandidateVerificationScenario = ScenarioDefinition;\n\nexport type CandidateVerificationInput = {\n  readonly manifest?: unknown;\n  readonly bases:\n    | Readonly<Record<string, CandidateVerificationBase>>\n    | readonly CandidateVerificationBase[];\n  readonly scenarios:\n    | Readonly<Record<string, CandidateVerificationScenario>>\n    | readonly CandidateVerificationScenario[];\n  readonly reducer: ReducerScenarioBundle;\n  readonly maxScenarios?: number;\n  readonly maxStepsPerScenario?: number;\n};\n\nexport type CandidateVerificationScenarioResult = {\n  readonly id: string;\n  readonly status: \"passed\" | \"failed\";\n  readonly diagnostic?: {\n    readonly kind: \"assertion\";\n    readonly message: string;\n  };\n};\n\nexport type CandidateVerificationResult = {\n  readonly status: \"passed\" | \"failed\";\n  readonly scenarioSummary: {\n    readonly total: number;\n    readonly passed: number;\n    readonly failed: number;\n    readonly scenarios: readonly CandidateVerificationScenarioResult[];\n  };\n};\n\nexport async function runCandidateVerification(\n  input: CandidateVerificationInput,\n): Promise<CandidateVerificationResult> {\n  const bases = normalizeBases(input.bases);\n  const scenarios = normalizeScenarios(input.scenarios);\n  const maxScenarios = input.maxScenarios ?? scenarios.length;\n  if (!Number.isInteger(maxScenarios) || maxScenarios < 1) {\n    throw new Error(\"maxScenarios must be a positive integer.\");\n  }\n  if (scenarios.length > maxScenarios) {\n    throw new Error(\n      `Candidate verification contains ${scenarios.length} scenarios, exceeding limit ${maxScenarios}.`,\n    );\n  }\n  const maxStepsPerScenario = input.maxStepsPerScenario ?? 1000;\n  if (!Number.isInteger(maxStepsPerScenario) || maxStepsPerScenario < 1) {\n    throw new Error(\"maxStepsPerScenario must be a positive integer.\");\n  }\n\n  const results: CandidateVerificationScenarioResult[] = [];\n  for (const scenario of scenarios) {\n    results.push(\n      await runScenario({\n        bases,\n        reducer: input.reducer,\n        scenario,\n        maxStepsPerScenario,\n      }),\n    );\n  }\n  const failed = results.filter((result) => result.status === \"failed\").length;\n  return {\n    status: failed === 0 ? \"passed\" : \"failed\",\n    scenarioSummary: {\n      total: results.length,\n      passed: results.length - failed,\n      failed,\n      scenarios: results,\n    },\n  };\n}\n\nasync function runScenario(input: {\n  bases: Readonly<Record<string, BaseStateArtifact>>;\n  reducer: ReducerScenarioBundle;\n  scenario: CandidateVerificationScenario;\n  maxStepsPerScenario: number;\n}): Promise<CandidateVerificationScenarioResult> {\n  const runtime = createTestRuntime({\n    baseId: input.scenario.from,\n    baseStates: input.bases,\n    bundle: input.reducer,\n    phase: input.scenario.phase,\n    playerIds:\n      input.bases[input.scenario.from]?.snapshot.domain?.flow?.activePlayers,\n  });\n  const ctx = createScenarioContext(runtime, input.maxStepsPerScenario);\n  try {\n    await input.scenario.when(ctx);\n    await input.scenario.then(ctx);\n    return { id: input.scenario.id, status: \"passed\" };\n  } catch (error) {\n    return {\n      id: input.scenario.id,\n      status: \"failed\",\n      diagnostic: {\n        kind: \"assertion\",\n        message: boundedMessage(error),\n      },\n    };\n  }\n}\n\nfunction createScenarioContext(\n  runtime: ReturnType<typeof createTestRuntime>,\n  maxStepsPerScenario: number,\n): SharedScenarioContext {\n  let submittedSteps = 0;\n  const baseContext: BaseContext = {\n    game: {\n      start: async () => undefined,\n      submit: async (...args) => {\n        submittedSteps += 1;\n        if (submittedSteps > maxStepsPerScenario) {\n          throw new Error(\n            `Scenario exceeded maxStepsPerScenario limit ${maxStepsPerScenario}.`,\n          );\n        }\n        return runtime.submit(...args);\n      },\n    },\n    players: runtime.players,\n    seat: runtime.seat,\n  };\n  return {\n    ...baseContext,\n    state: () => runtime.getFrame().flow.currentPhase ?? \"\",\n    view: (playerId) => {\n      const frame = runtime.getFrame();\n      if (frame.perspectivePlayerId === playerId) return frame.view;\n      return runtime.getFrame().view;\n    },\n    interactions: (playerId) => {\n      const frame = runtime.getFrame();\n      if (frame.perspectivePlayerId !== playerId) return [];\n      return frame.availableInteractions as unknown as readonly InteractionDescriptorLike[];\n    },\n    explain: runtime.explain,\n    diagnostics: runtime.diagnostics,\n    expect: createExpectApi({\n      lastDiagnosticRejection: () => {\n        for (\n          let index = runtime.diagnostics.events.length - 1;\n          index >= 0;\n          index -= 1\n        ) {\n          const event = runtime.diagnostics.events[index];\n          if (event?.type === \"submitRejected\") return event;\n        }\n        return null;\n      },\n    }),\n  };\n}\n\nfunction normalizeBases(\n  input:\n    | Readonly<Record<string, CandidateVerificationBase>>\n    | readonly CandidateVerificationBase[],\n): Record<string, BaseStateArtifact> {\n  const entries = Array.isArray(input)\n    ? input.map((base) => [base.id, base] as const)\n    : Object.entries(input);\n  return Object.fromEntries(\n    entries.map(([id, base]) => {\n      if (!id) throw new Error(\"Candidate verification base id is required.\");\n      if (!(\"snapshot\" in base) || !base.snapshot) {\n        throw new Error(`Candidate verification base '${id}' has no snapshot.`);\n      }\n      const players =\n        base.fingerprint?.players ??\n        base.players ??\n        base.snapshot.domain?.flow?.activePlayers?.length ??\n        1;\n      return [\n        id,\n        {\n          snapshot: base.snapshot,\n          fingerprint: {\n            players,\n            contractFingerprint: base.fingerprint?.contractFingerprint,\n          },\n        },\n      ];\n    }),\n  );\n}\n\nfunction normalizeScenarios(\n  input:\n    | Readonly<Record<string, CandidateVerificationScenario>>\n    | readonly CandidateVerificationScenario[],\n): CandidateVerificationScenario[] {\n  const scenarios = Array.isArray(input) ? input : Object.values(input);\n  return scenarios.map((scenario) => {\n    if (!scenario.id)\n      throw new Error(\"Candidate verification scenario id is required.\");\n    return scenario;\n  });\n}\n\nfunction boundedMessage(error: unknown): string {\n  const message = error instanceof Error ? error.message : String(error);\n  return message.slice(0, 2000);\n}\n"],"mappings":";;;;;;;;;AA0DA,eAAsB,yBACpB,OACsC;AACtC,QAAM,QAAQ,eAAe,MAAM,KAAK;AACxC,QAAM,YAAY,mBAAmB,MAAM,SAAS;AACpD,QAAM,eAAe,MAAM,gBAAgB,UAAU;AACrD,MAAI,CAAC,OAAO,UAAU,YAAY,KAAK,eAAe,GAAG;AACvD,UAAM,IAAI,MAAM,0CAA0C;AAAA,EAC5D;AACA,MAAI,UAAU,SAAS,cAAc;AACnC,UAAM,IAAI;AAAA,MACR,mCAAmC,UAAU,MAAM,+BAA+B,YAAY;AAAA,IAChG;AAAA,EACF;AACA,QAAM,sBAAsB,MAAM,uBAAuB;AACzD,MAAI,CAAC,OAAO,UAAU,mBAAmB,KAAK,sBAAsB,GAAG;AACrE,UAAM,IAAI,MAAM,iDAAiD;AAAA,EACnE;AAEA,QAAM,UAAiD,CAAC;AACxD,aAAW,YAAY,WAAW;AAChC,YAAQ;AAAA,MACN,MAAM,YAAY;AAAA,QAChB;AAAA,QACA,SAAS,MAAM;AAAA,QACf;AAAA,QACA;AAAA,MACF,CAAC;AAAA,IACH;AAAA,EACF;AACA,QAAM,SAAS,QAAQ,OAAO,CAAC,WAAW,OAAO,WAAW,QAAQ,EAAE;AACtE,SAAO;AAAA,IACL,QAAQ,WAAW,IAAI,WAAW;AAAA,IAClC,iBAAiB;AAAA,MACf,OAAO,QAAQ;AAAA,MACf,QAAQ,QAAQ,SAAS;AAAA,MACzB;AAAA,MACA,WAAW;AAAA,IACb;AAAA,EACF;AACF;AAEA,eAAe,YAAY,OAKsB;AAC/C,QAAM,UAAU,kBAAkB;AAAA,IAChC,QAAQ,MAAM,SAAS;AAAA,IACvB,YAAY,MAAM;AAAA,IAClB,QAAQ,MAAM;AAAA,IACd,OAAO,MAAM,SAAS;AAAA,IACtB,WACE,MAAM,MAAM,MAAM,SAAS,IAAI,GAAG,SAAS,QAAQ,MAAM;AAAA,EAC7D,CAAC;AACD,QAAM,MAAM,sBAAsB,SAAS,MAAM,mBAAmB;AACpE,MAAI;AACF,UAAM,MAAM,SAAS,KAAK,GAAG;AAC7B,UAAM,MAAM,SAAS,KAAK,GAAG;AAC7B,WAAO,EAAE,IAAI,MAAM,SAAS,IAAI,QAAQ,SAAS;AAAA,EACnD,SAAS,OAAO;AACd,WAAO;AAAA,MACL,IAAI,MAAM,SAAS;AAAA,MACnB,QAAQ;AAAA,MACR,YAAY;AAAA,QACV,MAAM;AAAA,QACN,SAAS,eAAe,KAAK;AAAA,MAC/B;AAAA,IACF;AAAA,EACF;AACF;AAEA,SAAS,sBACP,SACA,qBACuB;AACvB,MAAI,iBAAiB;AACrB,QAAM,cAA2B;AAAA,IAC/B,MAAM;AAAA,MACJ,OAAO,YAAY;AAAA,MACnB,QAAQ,UAAU,SAAS;AACzB,0BAAkB;AAClB,YAAI,iBAAiB,qBAAqB;AACxC,gBAAM,IAAI;AAAA,YACR,+CAA+C,mBAAmB;AAAA,UACpE;AAAA,QACF;AACA,eAAO,QAAQ,OAAO,GAAG,IAAI;AAAA,MAC/B;AAAA,IACF;AAAA,IACA,SAAS,QAAQ;AAAA,IACjB,MAAM,QAAQ;AAAA,EAChB;AACA,SAAO;AAAA,IACL,GAAG;AAAA,IACH,OAAO,MAAM,QAAQ,SAAS,EAAE,KAAK,gBAAgB;AAAA,IACrD,MAAM,CAAC,aAAa;AAClB,YAAM,QAAQ,QAAQ,SAAS;AAC/B,UAAI,MAAM,wBAAwB,SAAU,QAAO,MAAM;AACzD,aAAO,QAAQ,SAAS,EAAE;AAAA,IAC5B;AAAA,IACA,cAAc,CAAC,aAAa;AAC1B,YAAM,QAAQ,QAAQ,SAAS;AAC/B,UAAI,MAAM,wBAAwB,SAAU,QAAO,CAAC;AACpD,aAAO,MAAM;AAAA,IACf;AAAA,IACA,SAAS,QAAQ;AAAA,IACjB,aAAa,QAAQ;AAAA,IACrB,QAAQ,gBAAgB;AAAA,MACtB,yBAAyB,MAAM;AAC7B,iBACM,QAAQ,QAAQ,YAAY,OAAO,SAAS,GAChD,SAAS,GACT,SAAS,GACT;AACA,gBAAM,QAAQ,QAAQ,YAAY,OAAO,KAAK;AAC9C,cAAI,OAAO,SAAS,iBAAkB,QAAO;AAAA,QAC/C;AACA,eAAO;AAAA,MACT;AAAA,IACF,CAAC;AAAA,EACH;AACF;AAEA,SAAS,eACP,OAGmC;AACnC,QAAM,UAAU,MAAM,QAAQ,KAAK,IAC/B,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,IAAI,IAAI,CAAU,IAC5C,OAAO,QAAQ,KAAK;AACxB,SAAO,OAAO;AAAA,IACZ,QAAQ,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM;AAC1B,UAAI,CAAC,GAAI,OAAM,IAAI,MAAM,6CAA6C;AACtE,UAAI,EAAE,cAAc,SAAS,CAAC,KAAK,UAAU;AAC3C,cAAM,IAAI,MAAM,gCAAgC,EAAE,oBAAoB;AAAA,MACxE;AACA,YAAM,UACJ,KAAK,aAAa,WAClB,KAAK,WACL,KAAK,SAAS,QAAQ,MAAM,eAAe,UAC3C;AACF,aAAO;AAAA,QACL;AAAA,QACA;AAAA,UACE,UAAU,KAAK;AAAA,UACf,aAAa;AAAA,YACX;AAAA,YACA,qBAAqB,KAAK,aAAa;AAAA,UACzC;AAAA,QACF;AAAA,MACF;AAAA,IACF,CAAC;AAAA,EACH;AACF;AAEA,SAAS,mBACP,OAGiC;AACjC,QAAM,YAAY,MAAM,QAAQ,KAAK,IAAI,QAAQ,OAAO,OAAO,KAAK;AACpE,SAAO,UAAU,IAAI,CAAC,aAAa;AACjC,QAAI,CAAC,SAAS;AACZ,YAAM,IAAI,MAAM,iDAAiD;AACnE,WAAO;AAAA,EACT,CAAC;AACH;AAEA,SAAS,eAAe,OAAwB;AAC9C,QAAM,UAAU,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK;AACrE,SAAO,QAAQ,MAAM,GAAG,GAAI;AAC9B;","names":[]}
+{"version":3,"sources":["../src/testing/scenario-projection-digest.ts","../src/testing-runtime.ts"],"sourcesContent":["import { digestScenarioJson } from \"./canonical.js\";\nimport { interactionDomainEligibleCount } from \"../reducer/bundle/trusted/interaction-domain-metadata.js\";\nimport type { InspectNode, Sha256Digest } from \"./inspection/types.js\";\n\nexport type ScenarioProjectionInteractionInput = {\n  readonly key: string;\n  readonly kind: string;\n  readonly domain: unknown;\n};\n\n/** Shared SDK normalization for inspect DTOs and backend parity projections. */\nexport function scenarioProjectionInputMetadata(\n  input: ScenarioProjectionInteractionInput,\n): {\n  readonly key: string;\n  readonly kind: string;\n  readonly eligibleCount: number | \"lazy\";\n} {\n  return {\n    key: input.key,\n    kind: input.kind,\n    eligibleCount: interactionDomainEligibleCount(input.domain),\n  };\n}\n\nexport type ScenarioProjectionParity = {\n  readonly perspective: \"spectator\" | { readonly seat: number };\n  readonly flow: {\n    readonly phase: string;\n    readonly step: string | null;\n    readonly activeSeats: readonly number[];\n    readonly pendingSeats: readonly number[];\n    readonly continuationWaiterSeats: readonly number[];\n    readonly blockedBy: readonly {\n      readonly actorSeat: number;\n      readonly blockerSeats: readonly number[];\n    }[];\n  };\n  readonly view: unknown;\n  readonly interactions: readonly {\n    readonly actorSeat: number;\n    readonly interactionId: string;\n    readonly availability: {\n      readonly status: string;\n      readonly code?: string;\n      readonly reason?: string;\n    };\n    readonly inputs: readonly {\n      readonly key: string;\n      readonly kind: string;\n      readonly eligibleCount: number | \"lazy\";\n    }[];\n  }[];\n};\n\n/**\n * Canonical local/backend parity authority. It deliberately excludes raw\n * reducer public/private state, interaction explanations, entropy, and trace:\n * backend gameplay frames expose the selected projection, not reducer state.\n */\nexport function scenarioProjectionParityFromInspectNode(\n  node: InspectNode,\n): ScenarioProjectionParity {\n  return {\n    perspective:\n      node.perspective.kind === \"spectator\"\n        ? \"spectator\"\n        : { seat: node.perspective.actor.seat },\n    flow: {\n      phase: node.flow.phase,\n      step: node.flow.step,\n      activeSeats: node.flow.activeActors.map(({ seat }) => seat),\n      pendingSeats: node.flow.pendingActors.map(({ seat }) => seat),\n      continuationWaiterSeats: node.flow.continuationWaiters.map(\n        ({ seat }) => seat,\n      ),\n      blockedBy: node.flow.blockedBy.map(({ actor, blockers }) => ({\n        actorSeat: actor.seat,\n        blockerSeats: blockers.map(({ seat }) => seat),\n      })),\n    },\n    view: node.view,\n    interactions: node.interactions.map(\n      ({ actor, interactionId, availability, inputs }) => ({\n        actorSeat: actor.seat,\n        interactionId,\n        availability,\n        inputs,\n      }),\n    ),\n  };\n}\n\nexport function digestScenarioProjection(\n  projection: ScenarioProjectionParity,\n): Sha256Digest {\n  return digestScenarioJson({\n    digestVersion: \"scenario-projection@1\",\n    projection,\n  });\n}\n","import type { DispatchTraceSummaryEntry } from \"./reducer/diagnostics.js\";\nimport {\n  ScenarioReplayError,\n  type ScenarioDefinition,\n} from \"./testing/definitions.js\";\nimport type { ScenarioDefinitionGameLike } from \"./testing/scenario-definition-validation.js\";\nimport { assertScenario, replayScenario } from \"./testing/scenario-replay.js\";\n\nexport {\n  materializeScenarioRuntimeCheckpoint,\n  type ScenarioRuntimeCheckpointMaterialization,\n} from \"./testing/scenario-replay.js\";\n\n// Internal published seam for CLI scenario loading and backend parity. These\n// helpers intentionally do not appear on the author-facing `/testing` facade.\nexport { resolveScenarioCommandParams } from \"./testing/scenario-player-refs.js\";\nexport {\n  digestScenarioProjection,\n  scenarioProjectionInputMetadata,\n  scenarioProjectionParityFromInspectNode,\n  type ScenarioProjectionInteractionInput,\n  type ScenarioProjectionParity,\n} from \"./testing/scenario-projection-digest.js\";\n\nexport type CandidateVerificationScenario<\n  Game extends ScenarioDefinitionGameLike,\n> = ScenarioDefinition<Game>;\n\nexport type CandidateVerificationInput<\n  Game extends ScenarioDefinitionGameLike,\n> = {\n  /** The authored reducer game definition used by production dispatch. */\n  readonly reducer: Game;\n  readonly scenarios:\n    | Readonly<Record<string, CandidateVerificationScenario<Game>>>\n    | readonly CandidateVerificationScenario<Game>[];\n  readonly maxScenarios?: number;\n  readonly maxStepsPerScenario?: number;\n};\n\nexport type CandidateVerificationReplayDiagnostic = {\n  readonly kind: \"replay\";\n  readonly message: string;\n  readonly scenarioId?: string;\n  readonly segment?: \"given\" | \"when\";\n  readonly index?: number;\n  readonly interactionId?: string;\n  readonly errorCode?: string;\n  readonly reducerMessage?: string;\n  readonly trace?: readonly DispatchTraceSummaryEntry[];\n};\n\nexport type CandidateVerificationAssertionDiagnostic = {\n  readonly kind: \"assertion\";\n  readonly message: string;\n};\n\nexport type CandidateVerificationLimitDiagnostic = {\n  readonly kind: \"limit\";\n  readonly message: string;\n  readonly actualSteps: number;\n  readonly maxStepsPerScenario: number;\n};\n\nexport type CandidateVerificationScenarioResult = {\n  readonly id: string;\n  readonly status: \"passed\" | \"failed\";\n  readonly diagnostic?:\n    | CandidateVerificationReplayDiagnostic\n    | CandidateVerificationAssertionDiagnostic\n    | CandidateVerificationLimitDiagnostic;\n};\n\nexport type CandidateVerificationResult = {\n  readonly status: \"passed\" | \"failed\";\n  readonly scenarioSummary: {\n    readonly total: number;\n    readonly passed: number;\n    readonly failed: number;\n    readonly scenarios: readonly CandidateVerificationScenarioResult[];\n  };\n};\n\nconst CANDIDATE_INPUT_FIELDS = new Set([\n  \"reducer\",\n  \"scenarios\",\n  \"maxScenarios\",\n  \"maxStepsPerScenario\",\n]);\nconst MAX_DIAGNOSTIC_MESSAGE_LENGTH = 2_000;\nconst MAX_DIAGNOSTIC_TRACE_ENTRIES = 100;\n\nexport async function runCandidateVerification<\n  const Game extends ScenarioDefinitionGameLike,\n>(\n  input: CandidateVerificationInput<Game>,\n): Promise<CandidateVerificationResult> {\n  assertCandidateInputFields(input);\n  const scenarios = normalizeScenarios(input.scenarios);\n  if (scenarios.length === 0) {\n    throw new Error(\"Candidate verification requires at least one scenario.\");\n  }\n\n  const maxScenarios = input.maxScenarios ?? scenarios.length;\n  assertPositiveInteger(maxScenarios, \"maxScenarios\");\n  if (scenarios.length > maxScenarios) {\n    throw new Error(\n      `Candidate verification contains ${scenarios.length} scenarios, exceeding limit ${maxScenarios}.`,\n    );\n  }\n\n  const maxStepsPerScenario = input.maxStepsPerScenario ?? 1_000;\n  assertPositiveInteger(maxStepsPerScenario, \"maxStepsPerScenario\");\n\n  const results: CandidateVerificationScenarioResult[] = [];\n  for (const scenario of scenarios) {\n    results.push(\n      await runScenario({\n        reducer: input.reducer,\n        scenario,\n        maxStepsPerScenario,\n      }),\n    );\n  }\n\n  const failed = results.filter((result) => result.status === \"failed\").length;\n  return {\n    status: failed === 0 ? \"passed\" : \"failed\",\n    scenarioSummary: {\n      total: results.length,\n      passed: results.length - failed,\n      failed,\n      scenarios: results,\n    },\n  };\n}\n\nasync function runScenario<Game extends ScenarioDefinitionGameLike>(input: {\n  readonly reducer: Game;\n  readonly scenario: CandidateVerificationScenario<Game>;\n  readonly maxStepsPerScenario: number;\n}): Promise<CandidateVerificationScenarioResult> {\n  const actualSteps = input.scenario.given.length + input.scenario.when.length;\n  if (actualSteps > input.maxStepsPerScenario) {\n    return {\n      id: input.scenario.id,\n      status: \"failed\",\n      diagnostic: {\n        kind: \"limit\",\n        message:\n          `Scenario contains ${actualSteps} replay steps, exceeding ` +\n          `maxStepsPerScenario limit ${input.maxStepsPerScenario}.`,\n        actualSteps,\n        maxStepsPerScenario: input.maxStepsPerScenario,\n      },\n    };\n  }\n\n  let replay;\n  try {\n    replay = await replayScenario({\n      game: input.reducer,\n      scenario: input.scenario,\n    });\n  } catch (error) {\n    return {\n      id: input.scenario.id,\n      status: \"failed\",\n      diagnostic: replayDiagnostic(error),\n    };\n  }\n\n  try {\n    await assertScenario({ replay, assertion: input.scenario.then });\n    return { id: input.scenario.id, status: \"passed\" };\n  } catch (error) {\n    return {\n      id: input.scenario.id,\n      status: \"failed\",\n      diagnostic: {\n        kind: \"assertion\",\n        message: boundedMessage(error),\n      },\n    };\n  }\n}\n\nfunction assertCandidateInputFields(input: object): void {\n  for (const field of Object.keys(input)) {\n    if (!CANDIDATE_INPUT_FIELDS.has(field)) {\n      throw new Error(\n        `Candidate verification input contains unsupported field '${field}'.`,\n      );\n    }\n  }\n}\n\nfunction assertPositiveInteger(value: number, field: string): void {\n  if (!Number.isSafeInteger(value) || value < 1) {\n    throw new Error(`${field} must be a positive safe integer.`);\n  }\n}\n\nfunction normalizeScenarios<Game extends ScenarioDefinitionGameLike>(\n  input:\n    | Readonly<Record<string, CandidateVerificationScenario<Game>>>\n    | readonly CandidateVerificationScenario<Game>[],\n): CandidateVerificationScenario<Game>[] {\n  if (typeof input !== \"object\" || input === null) {\n    throw new Error(\n      \"Candidate verification scenarios must be an array or record.\",\n    );\n  }\n  const scenarios = Array.isArray(input) ? [...input] : Object.values(input);\n  const seenIds = new Set<string>();\n  for (const scenario of scenarios) {\n    if (typeof scenario?.id !== \"string\" || scenario.id.length === 0) {\n      throw new Error(\"Candidate verification scenario id is required.\");\n    }\n    if (seenIds.has(scenario.id)) {\n      throw new Error(\n        `Candidate verification scenario id '${scenario.id}' is duplicated.`,\n      );\n    }\n    seenIds.add(scenario.id);\n  }\n  return scenarios;\n}\n\nfunction replayDiagnostic(\n  error: unknown,\n): CandidateVerificationReplayDiagnostic {\n  if (error instanceof ScenarioReplayError) {\n    return {\n      kind: \"replay\",\n      message: boundedMessage(error),\n      scenarioId: error.scenarioId,\n      segment: error.segment,\n      index: error.index,\n      interactionId: error.interactionId,\n      errorCode: error.errorCode,\n      ...(error.reducerMessage === undefined\n        ? {}\n        : { reducerMessage: boundedText(error.reducerMessage) }),\n      trace: error.trace.slice(0, MAX_DIAGNOSTIC_TRACE_ENTRIES),\n    };\n  }\n  return { kind: \"replay\", message: boundedMessage(error) };\n}\n\nfunction boundedMessage(error: unknown): string {\n  return boundedText(error instanceof Error ? error.message : String(error));\n}\n\nfunction boundedText(value: string): string {\n  return value.slice(0, MAX_DIAGNOSTIC_MESSAGE_LENGTH);\n}\n"],"mappings":";;;;;;;;;;;;;;;;;;;AAWO,SAAS,gCACd,OAKA;AACA,SAAO;AAAA,IACL,KAAK,MAAM;AAAA,IACX,MAAM,MAAM;AAAA,IACZ,eAAe,+BAA+B,MAAM,MAAM;AAAA,EAC5D;AACF;AAqCO,SAAS,wCACd,MAC0B;AAC1B,SAAO;AAAA,IACL,aACE,KAAK,YAAY,SAAS,cACtB,cACA,EAAE,MAAM,KAAK,YAAY,MAAM,KAAK;AAAA,IAC1C,MAAM;AAAA,MACJ,OAAO,KAAK,KAAK;AAAA,MACjB,MAAM,KAAK,KAAK;AAAA,MAChB,aAAa,KAAK,KAAK,aAAa,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI;AAAA,MAC1D,cAAc,KAAK,KAAK,cAAc,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI;AAAA,MAC5D,yBAAyB,KAAK,KAAK,oBAAoB;AAAA,QACrD,CAAC,EAAE,KAAK,MAAM;AAAA,MAChB;AAAA,MACA,WAAW,KAAK,KAAK,UAAU,IAAI,CAAC,EAAE,OAAO,SAAS,OAAO;AAAA,QAC3D,WAAW,MAAM;AAAA,QACjB,cAAc,SAAS,IAAI,CAAC,EAAE,KAAK,MAAM,IAAI;AAAA,MAC/C,EAAE;AAAA,IACJ;AAAA,IACA,MAAM,KAAK;AAAA,IACX,cAAc,KAAK,aAAa;AAAA,MAC9B,CAAC,EAAE,OAAO,eAAe,cAAc,OAAO,OAAO;AAAA,QACnD,WAAW,MAAM;AAAA,QACjB;AAAA,QACA;AAAA,QACA;AAAA,MACF;AAAA,IACF;AAAA,EACF;AACF;AAEO,SAAS,yBACd,YACc;AACd,SAAO,mBAAmB;AAAA,IACxB,eAAe;AAAA,IACf;AAAA,EACF,CAAC;AACH;;;ACjBA,IAAM,yBAAyB,oBAAI,IAAI;AAAA,EACrC;AAAA,EACA;AAAA,EACA;AAAA,EACA;AACF,CAAC;AACD,IAAM,gCAAgC;AACtC,IAAM,+BAA+B;AAErC,eAAsB,yBAGpB,OACsC;AACtC,6BAA2B,KAAK;AAChC,QAAM,YAAY,mBAAmB,MAAM,SAAS;AACpD,MAAI,UAAU,WAAW,GAAG;AAC1B,UAAM,IAAI,MAAM,wDAAwD;AAAA,EAC1E;AAEA,QAAM,eAAe,MAAM,gBAAgB,UAAU;AACrD,wBAAsB,cAAc,cAAc;AAClD,MAAI,UAAU,SAAS,cAAc;AACnC,UAAM,IAAI;AAAA,MACR,mCAAmC,UAAU,MAAM,+BAA+B,YAAY;AAAA,IAChG;AAAA,EACF;AAEA,QAAM,sBAAsB,MAAM,uBAAuB;AACzD,wBAAsB,qBAAqB,qBAAqB;AAEhE,QAAM,UAAiD,CAAC;AACxD,aAAW,YAAY,WAAW;AAChC,YAAQ;AAAA,MACN,MAAM,YAAY;AAAA,QAChB,SAAS,MAAM;AAAA,QACf;AAAA,QACA;AAAA,MACF,CAAC;AAAA,IACH;AAAA,EACF;AAEA,QAAM,SAAS,QAAQ,OAAO,CAAC,WAAW,OAAO,WAAW,QAAQ,EAAE;AACtE,SAAO;AAAA,IACL,QAAQ,WAAW,IAAI,WAAW;AAAA,IAClC,iBAAiB;AAAA,MACf,OAAO,QAAQ;AAAA,MACf,QAAQ,QAAQ,SAAS;AAAA,MACzB;AAAA,MACA,WAAW;AAAA,IACb;AAAA,EACF;AACF;AAEA,eAAe,YAAqD,OAInB;AAC/C,QAAM,cAAc,MAAM,SAAS,MAAM,SAAS,MAAM,SAAS,KAAK;AACtE,MAAI,cAAc,MAAM,qBAAqB;AAC3C,WAAO;AAAA,MACL,IAAI,MAAM,SAAS;AAAA,MACnB,QAAQ;AAAA,MACR,YAAY;AAAA,QACV,MAAM;AAAA,QACN,SACE,qBAAqB,WAAW,sDACH,MAAM,mBAAmB;AAAA,QACxD;AAAA,QACA,qBAAqB,MAAM;AAAA,MAC7B;AAAA,IACF;AAAA,EACF;AAEA,MAAI;AACJ,MAAI;AACF,aAAS,MAAM,eAAe;AAAA,MAC5B,MAAM,MAAM;AAAA,MACZ,UAAU,MAAM;AAAA,IAClB,CAAC;AAAA,EACH,SAAS,OAAO;AACd,WAAO;AAAA,MACL,IAAI,MAAM,SAAS;AAAA,MACnB,QAAQ;AAAA,MACR,YAAY,iBAAiB,KAAK;AAAA,IACpC;AAAA,EACF;AAEA,MAAI;AACF,UAAM,eAAe,EAAE,QAAQ,WAAW,MAAM,SAAS,KAAK,CAAC;AAC/D,WAAO,EAAE,IAAI,MAAM,SAAS,IAAI,QAAQ,SAAS;AAAA,EACnD,SAAS,OAAO;AACd,WAAO;AAAA,MACL,IAAI,MAAM,SAAS;AAAA,MACnB,QAAQ;AAAA,MACR,YAAY;AAAA,QACV,MAAM;AAAA,QACN,SAAS,eAAe,KAAK;AAAA,MAC/B;AAAA,IACF;AAAA,EACF;AACF;AAEA,SAAS,2BAA2B,OAAqB;AACvD,aAAW,SAAS,OAAO,KAAK,KAAK,GAAG;AACtC,QAAI,CAAC,uBAAuB,IAAI,KAAK,GAAG;AACtC,YAAM,IAAI;AAAA,QACR,4DAA4D,KAAK;AAAA,MACnE;AAAA,IACF;AAAA,EACF;AACF;AAEA,SAAS,sBAAsB,OAAe,OAAqB;AACjE,MAAI,CAAC,OAAO,cAAc,KAAK,KAAK,QAAQ,GAAG;AAC7C,UAAM,IAAI,MAAM,GAAG,KAAK,mCAAmC;AAAA,EAC7D;AACF;AAEA,SAAS,mBACP,OAGuC;AACvC,MAAI,OAAO,UAAU,YAAY,UAAU,MAAM;AAC/C,UAAM,IAAI;AAAA,MACR;AAAA,IACF;AAAA,EACF;AACA,QAAM,YAAY,MAAM,QAAQ,KAAK,IAAI,CAAC,GAAG,KAAK,IAAI,OAAO,OAAO,KAAK;AACzE,QAAM,UAAU,oBAAI,IAAY;AAChC,aAAW,YAAY,WAAW;AAChC,QAAI,OAAO,UAAU,OAAO,YAAY,SAAS,GAAG,WAAW,GAAG;AAChE,YAAM,IAAI,MAAM,iDAAiD;AAAA,IACnE;AACA,QAAI,QAAQ,IAAI,SAAS,EAAE,GAAG;AAC5B,YAAM,IAAI;AAAA,QACR,uCAAuC,SAAS,EAAE;AAAA,MACpD;AAAA,IACF;AACA,YAAQ,IAAI,SAAS,EAAE;AAAA,EACzB;AACA,SAAO;AACT;AAEA,SAAS,iBACP,OACuC;AACvC,MAAI,iBAAiB,qBAAqB;AACxC,WAAO;AAAA,MACL,MAAM;AAAA,MACN,SAAS,eAAe,KAAK;AAAA,MAC7B,YAAY,MAAM;AAAA,MAClB,SAAS,MAAM;AAAA,MACf,OAAO,MAAM;AAAA,MACb,eAAe,MAAM;AAAA,MACrB,WAAW,MAAM;AAAA,MACjB,GAAI,MAAM,mBAAmB,SACzB,CAAC,IACD,EAAE,gBAAgB,YAAY,MAAM,cAAc,EAAE;AAAA,MACxD,OAAO,MAAM,MAAM,MAAM,GAAG,4BAA4B;AAAA,IAC1D;AAAA,EACF;AACA,SAAO,EAAE,MAAM,UAAU,SAAS,eAAe,KAAK,EAAE;AAC1D;AAEA,SAAS,eAAe,OAAwB;AAC9C,SAAO,YAAY,iBAAiB,QAAQ,MAAM,UAAU,OAAO,KAAK,CAAC;AAC3E;AAEA,SAAS,YAAY,OAAuB;AAC1C,SAAO,MAAM,MAAM,GAAG,6BAA6B;AACrD;","names":[]}