@abelxiaoxing/cadence 1.3.0 → 1.4.0

package/src/implement-graph.ts

@@ -1,4 +1,5 @@
 import { createHash } from "node:crypto";
+import { canonicalJson } from "./canonical.ts";
 import {
   type ImplementationPhase,
   type ImplementGraphBoundary,
@@ -16,21 +17,6 @@ import {
   validateVerificationAdapterCapability,
 } from "./verification-capability.ts";
 
-export function canonicalJson(value: unknown): string {
-  if (Array.isArray(value)) {
-    return `[${value.map(canonicalJson).join(",")}]`;
-  }
-  if (value && typeof value === "object") {
-    const entries = Object.entries(value as Record<string, unknown>)
-      .filter(([, entry]) => entry !== undefined)
-      .sort(([left], [right]) => left.localeCompare(right));
-    return `{${entries
-      .map(([key, entry]) => `${JSON.stringify(key)}:${canonicalJson(entry)}`)
-      .join(",")}}`;
-  }
-  return JSON.stringify(value) ?? "null";
-}
-
 export function hashCanonicalValue(value: unknown): string {
   return createHash("sha256").update(canonicalJson(value)).digest("hex");
 }
@@ -92,7 +78,14 @@ function taskPhases(
   task: ImplementTaskBoundary,
 ): Array<[ImplementationPhase, ImplementTaskBoundary["phases"]["red"]]> {
   return [
-    ["red", task.phases.red],
+    ...(!task.verificationMode || task.verificationMode === "behavior"
+      ? [
+          ["red", task.phases.red] as [
+            ImplementationPhase,
+            ImplementTaskBoundary["phases"]["red"],
+          ],
+        ]
+      : []),
     ["green", task.phases.green],
     ...(task.phases.refactor
       ? ([["refactor", task.phases.refactor]] as Array<
@@ -576,3 +569,5 @@ export function assessImplementGraphReadiness(
 
   return { closure, phases, outputs: outputReadiness };
 }
+
+export { canonicalJson } from "./canonical.ts";