@abelxiaoxing/cadence 1.2.0 → 1.2.1

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@abelxiaoxing/cadence",
-  "version": "1.2.0",
+  "version": "1.2.1",
   "description": "Four explicit Abel workflow prompts with stage-isolated design and diagnosis, durable resumable implementation, and three package-owned professional Agents.",
   "license": "MIT",
   "type": "module",

package/src/control-contracts.ts

@@ -74,6 +74,64 @@ function isRecord(value: unknown): value is Record<string, unknown> {
   return value !== null && typeof value === "object" && !Array.isArray(value);
 }
 
+const CONTROL_TOOL_FIELDS = new Set([
+  "command",
+  "stage",
+  "change",
+  "operationId",
+  "deliveryRevision",
+  "receiptHash",
+  "routeId",
+]);
+
+const COMMAND_FIELDS: Readonly<
+  Record<ControlCommandName, ReadonlySet<string>>
+> = Object.freeze({
+  start: new Set(["command", "stage", "change", "operationId"]),
+  status: new Set(["command", "stage", "change"]),
+  resume: new Set([
+    "command",
+    "stage",
+    "change",
+    "operationId",
+    "deliveryRevision",
+    "receiptHash",
+  ]),
+  rebind: new Set(["command", "stage", "change", "operationId", "routeId"]),
+  cancel: new Set(["command", "stage", "change", "operationId"]),
+  discard: new Set(["command", "stage", "change", "operationId"]),
+});
+
+/**
+ * Adapts Pi/provider strict-schema padding to the closed command union.
+ * Known fields belonging to a different command are projected away, while
+ * unknown fields and fields owned by the selected command remain available to
+ * the strict validator and therefore cannot bypass its exact-key/type checks.
+ */
+export function canonicalizeControlCommandToolInput(value: unknown): unknown {
+  if (
+    !isRecord(value) ||
+    !(CONTROL_COMMANDS as readonly unknown[]).includes(value.command)
+  ) {
+    return value;
+  }
+  const command = value.command as ControlCommandName;
+  const allowed = COMMAND_FIELDS[command];
+  const canonical = Object.create(null) as Record<string, unknown>;
+  for (const [key, entry] of Object.entries(value)) {
+    if (CONTROL_TOOL_FIELDS.has(key) && !allowed.has(key)) continue;
+    if (
+      command === "resume" &&
+      (key === "deliveryRevision" || key === "receiptHash") &&
+      (entry === null || entry === undefined)
+    ) {
+      continue;
+    }
+    canonical[key] = entry;
+  }
+  return canonical;
+}
+
 function hasExactKeys(
   value: Record<string, unknown>,
   required: readonly string[],

package/src/index.ts

@@ -37,7 +37,10 @@ import {
   type StructuredVerificationContract,
   verificationSteps,
 } from "./contracts.ts";
-import { validateControlCommand } from "./control-contracts.ts";
+import {
+  canonicalizeControlCommandToolInput,
+  validateControlCommand,
+} from "./control-contracts.ts";
 import {
   assessDeliveryTraceability,
   compileImplementPlan,
@@ -1841,7 +1844,7 @@ export function registerWorkflowControl(
       receiptHash: { type: "string" },
       routeId: { type: "string" },
     },
-    required: ["command", "stage"],
+    required: ["command", "stage", "change"],
     additionalProperties: false,
   } as const;
   const PACKET_PARAMETERS = {
@@ -1872,6 +1875,12 @@ export function registerWorkflowControl(
           ? "Private stage-bound Abel workflow control. Accepts durable Implement change commands."
           : "Private stage-bound Abel packet control. Accepts bounded Design and Diagnose packet operations.",
       executionMode: "parallel",
+      ...(kind === "command"
+        ? {
+            prepareArguments: (args: unknown) =>
+              canonicalizeControlCommandToolInput(args) as never,
+          }
+        : {}),
       parameters:
         kind === "command" ? CONTROL_COMMAND_PARAMETERS : PACKET_PARAMETERS,
       async execute(
@@ -2004,7 +2013,9 @@ export function registerWorkflowControl(
             ...(usage === undefined ? {} : { usage }),
           };
         }
-        const validation = validateControlCommand(params);
+        const validation = validateControlCommand(
+          canonicalizeControlCommandToolInput(params),
+        );
         if (!validation.ok) {
           const error = new Error(validation.code);
           error.name = "ControlCommandError";