planpong 0.2.1 → 0.4.2

package/dist/src/schemas/json-schema.js

@@ -0,0 +1,153 @@
+import { zodToJsonSchema } from "zod-to-json-schema";
+import { DirectionFeedbackSchema, RiskFeedbackSchema, ReviewFeedbackSchema, } from "./feedback.js";
+import { PlannerRevisionSchema } from "./revision.js";
+/**
+ * JSON Schemas generated from Zod schemas, used for constrained model output
+ * via `claude --json-schema` and `codex --output-schema`.
+ *
+ * KNOWN LIMITATION: Zod refinements (e.g., the `approved_with_notes` severity
+ * constraint on ReviewFeedbackSchema) and transforms do NOT round-trip to
+ * JSON Schema. The generated JSON Schema enforces structural validity only.
+ * Semantic rules are validated post-parse by Zod in convergence.ts.
+ *
+ * Schemas are generated once at module load and cached as constants.
+ */
+/**
+ * Internal observability fields on feedback schemas — set by the parser
+ * after the model responds. These must NOT appear in the schema sent to
+ * the model, since the model doesn't produce them.
+ */
+const OBSERVABILITY_FIELDS = new Set([
+    "fallback_used",
+    "missing_phase_fields",
+]);
+function stripObservabilityFields(node) {
+    if (Array.isArray(node))
+        return node.map(stripObservabilityFields);
+    if (node && typeof node === "object") {
+        const obj = node;
+        const result = {};
+        for (const [key, value] of Object.entries(obj)) {
+            if (key === "properties" && value && typeof value === "object") {
+                const props = value;
+                const filtered = {};
+                for (const [propKey, propValue] of Object.entries(props)) {
+                    if (!OBSERVABILITY_FIELDS.has(propKey)) {
+                        filtered[propKey] = stripObservabilityFields(propValue);
+                    }
+                }
+                result[key] = filtered;
+            }
+            else if (key === "required" && Array.isArray(value)) {
+                result[key] = value.filter((k) => typeof k !== "string" || !OBSERVABILITY_FIELDS.has(k));
+            }
+            else {
+                result[key] = stripObservabilityFields(value);
+            }
+        }
+        return result;
+    }
+    return node;
+}
+/**
+ * Transform a JSON Schema to the OpenAI-strict dialect required by Codex
+ * (and most OpenAI-compatible providers) for structured output:
+ *
+ * - Every `object` node must have `additionalProperties: false`
+ * - Every property must appear in `required`
+ * - Optional properties are expressed as nullable (type union with "null")
+ *
+ * Input: a JSON Schema 7 document generated from Zod (with optional fields
+ * missing from `required`).
+ * Output: an OpenAI-strict JSON Schema that is accepted by strict mode and
+ * still structurally compatible with the original Zod validation.
+ *
+ * Anthropic's validator accepts the stricter form, so we apply this
+ * transformation universally rather than per-provider.
+ */
+function toOpenAIStrict(node) {
+    if (Array.isArray(node))
+        return node.map(toOpenAIStrict);
+    if (!node || typeof node !== "object")
+        return node;
+    const obj = node;
+    const result = {};
+    for (const [key, value] of Object.entries(obj)) {
+        result[key] = toOpenAIStrict(value);
+    }
+    // Only transform object nodes that have properties
+    if (result.type !== "object" ||
+        !result.properties ||
+        typeof result.properties !== "object") {
+        return result;
+    }
+    const properties = result.properties;
+    const originalRequired = new Set(Array.isArray(result.required) ? result.required : []);
+    const allKeys = Object.keys(properties);
+    // Every property must be in `required`
+    result.required = allKeys;
+    // Previously optional fields → mark as nullable
+    for (const propKey of allKeys) {
+        if (!originalRequired.has(propKey)) {
+            properties[propKey] = makeNullable(properties[propKey]);
+        }
+    }
+    // Every object needs `additionalProperties: false`
+    if (result.additionalProperties === undefined) {
+        result.additionalProperties = false;
+    }
+    return result;
+}
+/**
+ * Make a JSON Schema node accept null in addition to its existing type.
+ * - Simple type: `{ type: "string" }` → `{ type: ["string", "null"] }`
+ * - Enum: `{ type: "string", enum: [...] }` → `{ type: ["string", "null"], enum: [..., null] }`
+ * - Union types: append "null" if not present
+ * - Other constructs: wrap in `anyOf` with null
+ */
+function makeNullable(node) {
+    if (!node || typeof node !== "object")
+        return node;
+    const obj = { ...node };
+    const existingType = obj.type;
+    if (typeof existingType === "string") {
+        obj.type = [existingType, "null"];
+    }
+    else if (Array.isArray(existingType)) {
+        if (!existingType.includes("null")) {
+            obj.type = [...existingType, "null"];
+        }
+    }
+    else {
+        // No concrete type (e.g., anyOf/oneOf) — wrap in anyOf
+        return { anyOf: [node, { type: "null" }] };
+    }
+    // If the node has an enum, also add null as a valid enum value
+    if (Array.isArray(obj.enum) && !obj.enum.includes(null)) {
+        obj.enum = [...obj.enum, null];
+    }
+    return obj;
+}
+function generate(schema) {
+    const raw = zodToJsonSchema(schema, {
+        target: "jsonSchema7",
+        $refStrategy: "none",
+    });
+    const stripped = stripObservabilityFields(raw);
+    return toOpenAIStrict(stripped);
+}
+export const DirectionFeedbackJsonSchema = generate(DirectionFeedbackSchema);
+export const RiskFeedbackJsonSchema = generate(RiskFeedbackSchema);
+export const ReviewFeedbackJsonSchema = generate(ReviewFeedbackSchema);
+export const PlannerRevisionJsonSchema = generate(PlannerRevisionSchema);
+/**
+ * Get the JSON Schema appropriate for a given review phase.
+ */
+export function getFeedbackJsonSchemaForPhase(phase) {
+    if (phase === "direction")
+        return DirectionFeedbackJsonSchema;
+    if (phase === "risk")
+        return RiskFeedbackJsonSchema;
+    return ReviewFeedbackJsonSchema;
+}
+//# sourceMappingURL=json-schema.js.map

package/dist/src/schemas/json-schema.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.js","sourceRoot":"","sources":["../../../src/schemas/json-schema.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EACL,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,GACrB,MAAM,eAAe,CAAC;AACvB,OAAO,EAAE,qBAAqB,EAAE,MAAM,eAAe,CAAC;AAGtD;;;;;;;;;;GAUG;AAEH;;;;GAIG;AACH,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,eAAe;IACf,sBAAsB;CACvB,CAAC,CAAC;AAEH,SAAS,wBAAwB,CAAC,IAAa;IAC7C,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IACnE,IAAI,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,IAA+B,CAAC;QAC5C,MAAM,MAAM,GAA4B,EAAE,CAAC;QAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,IAAI,GAAG,KAAK,YAAY,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/D,MAAM,KAAK,GAAG,KAAgC,CAAC;gBAC/C,MAAM,QAAQ,GAA4B,EAAE,CAAC;gBAC7C,KAAK,MAAM,CAAC,OAAO,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;oBACzD,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;wBACvC,QAAQ,CAAC,OAAO,CAAC,GAAG,wBAAwB,CAAC,SAAS,CAAC,CAAC;oBAC1D,CAAC;gBACH,CAAC;gBACD,MAAM,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC;YACzB,CAAC;iBAAM,IAAI,GAAG,KAAK,UAAU,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;gBACtD,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAM,CACxB,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,CAC7D,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,MAAM,CAAC,GAAG,CAAC,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;YAChD,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,SAAS,cAAc,CAAC,IAAa;IACnC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAEnD,MAAM,GAAG,GAAG,IAA+B,CAAC;IAC5C,MAAM,MAAM,GAA4B,EAAE,CAAC;IAC3C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,mDAAmD;IACnD,IACE,MAAM,CAAC,IAAI,KAAK,QAAQ;QACxB,CAAC,MAAM,CAAC,UAAU;QAClB,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,EACrC,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,UAAU,GAAG,MAAM,CAAC,UAAqC,CAAC;IAChE,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAC9B,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAE,MAAM,CAAC,QAAqB,CAAC,CAAC,CAAC,EAAE,CACpE,CAAC;IAEF,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAExC,uCAAuC;IACvC,MAAM,CAAC,QAAQ,GAAG,OAAO,CAAC;IAE1B,gDAAgD;IAChD,KAAK,MAAM,OAAO,IAAI,OAAO,EAAE,CAAC;QAC9B,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,UAAU,CAAC,OAAO,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,mDAAmD;IACnD,IAAI,MAAM,CAAC,oBAAoB,KAAK,SAAS,EAAE,CAAC;QAC9C,MAAM,CAAC,oBAAoB,GAAG,KAAK,CAAC;IACtC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;GAMG;AACH,SAAS,YAAY,CAAC,IAAa;IACjC,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IACnD,MAAM,GAAG,GAAG,EAAE,GAAI,IAAgC,EAAE,CAAC;IACrD,MAAM,YAAY,GAAG,GAAG,CAAC,IAAI,CAAC;IAE9B,IAAI,OAAO,YAAY,KAAK,QAAQ,EAAE,CAAC;QACrC,GAAG,CAAC,IAAI,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACpC,CAAC;SAAM,IAAI,KAAK,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;YACnC,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,YAAY,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,uDAAuD;QACvD,OAAO,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,EAAE,CAAC;IAC7C,CAAC;IAED,+DAA+D;IAC/D,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QACxD,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED,SAAS,QAAQ,CAAC,MAA6C;IAC7D,MAAM,GAAG,GAAG,eAAe,CAAC,MAAM,EAAE;QAClC,MAAM,EAAE,aAAa;QACrB,YAAY,EAAE,MAAM;KACrB,CAAC,CAAC;IACH,MAAM,QAAQ,GAAG,wBAAwB,CAAC,GAAG,CAAC,CAAC;IAC/C,OAAO,cAAc,CAAC,QAAQ,CAA4B,CAAC;AAC7D,CAAC;AAED,MAAM,CAAC,MAAM,2BAA2B,GAAG,QAAQ,CAAC,uBAAuB,CAAC,CAAC;AAC7E,MAAM,CAAC,MAAM,sBAAsB,GAAG,QAAQ,CAAC,kBAAkB,CAAC,CAAC;AACnE,MAAM,CAAC,MAAM,wBAAwB,GAAG,QAAQ,CAAC,oBAAoB,CAAC,CAAC;AACvE,MAAM,CAAC,MAAM,yBAAyB,GAAG,QAAQ,CAAC,qBAAqB,CAAC,CAAC;AAEzE;;GAEG;AACH,MAAM,UAAU,6BAA6B,CAC3C,KAAkB;IAElB,IAAI,KAAK,KAAK,WAAW;QAAE,OAAO,2BAA2B,CAAC;IAC9D,IAAI,KAAK,KAAK,MAAM;QAAE,OAAO,sBAAsB,CAAC;IACpD,OAAO,wBAAwB,CAAC;AAClC,CAAC"}

package/dist/src/schemas/session.d.ts

@@ -30,14 +30,14 @@ export declare const SessionSchema: z.ZodObject<{
         model?: string | undefined;
         effort?: string | undefined;
     }>;
-    status: z.ZodEnum<["planning", "in_review", "approved", "aborted"]>;
+    status: z.ZodEnum<["planning", "in_review", "approved", "blocked", "aborted"]>;
     currentRound: z.ZodNumber;
     startedAt: z.ZodString;
     planHash: z.ZodString;
     initialLineCount: z.ZodOptional<z.ZodNumber>;
 }, "strip", z.ZodTypeAny, {
     id: string;
-    status: "aborted" | "approved" | "planning" | "in_review";
+    status: "aborted" | "approved" | "blocked" | "planning" | "in_review";
     planner: {
         provider: string;
         model?: string | undefined;
@@ -57,7 +57,7 @@ export declare const SessionSchema: z.ZodObject<{
     initialLineCount?: number | undefined;
 }, {
     id: string;
-    status: "aborted" | "approved" | "planning" | "in_review";
+    status: "aborted" | "approved" | "blocked" | "planning" | "in_review";
     planner: {
         provider: string;
         model?: string | undefined;

package/dist/src/schemas/session.js

@@ -7,7 +7,7 @@ export const SessionSchema = z.object({
     planPathAbsolute: z.string(),
     planner: ProviderConfigSchema,
     reviewer: ProviderConfigSchema,
-    status: z.enum(["planning", "in_review", "approved", "aborted"]),
+    status: z.enum(["planning", "in_review", "approved", "blocked", "aborted"]),
     currentRound: z.number().int().min(0),
     startedAt: z.string(),
     planHash: z.string(),

package/dist/src/schemas/session.js.map

@@ -1 +1 @@
-{"version":3,"file":"session.js","sourceRoot":"","sources":["../../../src/schemas/session.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAEnD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,OAAO,EAAE,oBAAoB;IAC7B,QAAQ,EAAE,oBAAoB;IAC9B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC;IAChE,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;CAC9C,CAAC,CAAC"}
+{"version":3,"file":"session.js","sourceRoot":"","sources":["../../../src/schemas/session.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,oBAAoB,EAAE,MAAM,aAAa,CAAC;AAEnD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5B,OAAO,EAAE,oBAAoB;IAC7B,QAAQ,EAAE,oBAAoB;IAC9B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IAC3E,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACrC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IACrB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IACpB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;CAC9C,CAAC,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "planpong",
-  "version": "0.2.1",
+  "version": "0.4.2",
   "description": "Multi-model adversarial plan review — orchestrates AI agents to critique and refine implementation plans",
   "type": "module",
   "bin": {
@@ -43,10 +43,12 @@
     "execa": "^9.5.2",
     "ora": "^8.2.0",
     "yaml": "^2.7.0",
-    "zod": "^3.24.2"
+    "zod": "^3.24.2",
+    "zod-to-json-schema": "^3.25.2"
   },
   "devDependencies": {
     "@types/node": "^22.13.10",
+    "ajv": "^8.18.0",
     "tsx": "^4.19.3",
     "typescript": "^5.8.2",
     "vitest": "^4.0.18"