harnery 0.19.0 → 0.19.1

package/dist/core/supervisor/planning.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/planning.ts"],"names":[],"mappings":"AAcA,OAAO,EAEL,KAAK,UAAU,EAOhB,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EAIL,KAAK,qBAAqB,EAU3B,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAQnD,MAAM,WAAW,yBAAyB;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,GAAG,OAAO,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAED,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,yBAAyB,GAC/B,OAAO,CAAC,qBAAqB,CAAC,CA+LhC;AAuLD,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,qBAAqB,CAsHxB;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,qBAAqB,CAYxB"}
+{"version":3,"file":"planning.d.ts","sourceRoot":"","sources":["../../../src/core/supervisor/planning.ts"],"names":[],"mappings":"AAcA,OAAO,EAEL,KAAK,UAAU,EAQhB,MAAM,sBAAsB,CAAC;AAM9B,OAAO,EAIL,KAAK,qBAAqB,EAU3B,MAAM,iBAAiB,CAAC;AACzB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAUnD,MAAM,WAAW,yBAAyB;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,IAAI,CAAC,UAAU,EAAE,WAAW,GAAG,OAAO,GAAG,aAAa,GAAG,aAAa,CAAC,CAAC;IAChF,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;CAChC;AAED,wBAAsB,oBAAoB,CACxC,KAAK,EAAE,yBAAyB,GAC/B,OAAO,CAAC,qBAAqB,CAAC,CA+LhC;AAuLD,wBAAgB,2BAA2B,CAAC,KAAK,EAAE;IACjD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,gBAAgB,CAAC;IACzB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB,GAAG,qBAAqB,CAsHxB;AAED,wBAAgB,4BAA4B,CAAC,KAAK,EAAE;IAClD,SAAS,EAAE,MAAM,CAAC;IAClB,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;CAChB,GAAG,qBAAqB,CAYxB"}

package/dist/core/supervisor/planning.js

@@ -10,6 +10,7 @@ const TEMPLATE_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$/;
 const MAX_RECORD_BYTES = 256 * 1024;
 const MAX_EVENTS_BYTES = 512 * 1024;
 const MAX_REASON = 2_000;
+const PROPOSAL_ROOT_RULE = "proposal.root names one newly proposed work key using a root-capable template; it does not preserve or repeat active_root, which is context only";
 export async function runSupervisorPlanner(input) {
     const coordRoot = resolve(input.coordRoot);
     const policy = input.record.intent.replanning;
@@ -439,7 +440,7 @@ function plannerScript(coordRoot, record, planId, trigger) {
             : "Return decision=apply with a replacement immutable root graph, or decision=attention when human judgment is required.",
         "Never claim mission completion unless the frozen mission acceptance is met. Never request a workflow outside the frozen template catalog.",
         "Dependencies may name an active work ID or an earlier key in your proposed work array.",
-        "Every proposed item must be reachable from root. The root must be a proposed key using a root-capable template.",
+        `Every proposed item must be reachable from root. ${PROPOSAL_ROOT_RULE}.`,
         "Work keys are lowercase identifiers no longer than 32 characters. Keep titles within 200 characters, objectives within 4000 characters, and each acceptance criterion within 500 characters.",
         `Plan id: ${planId}`,
         `Planning trigger: ${trigger}`,
@@ -484,7 +485,7 @@ function plannerScript(coordRoot, record, planId, trigger) {
                 : null,
         })))}`,
     ].join("\n\n");
-    const schema = planProposalSchema(record);
+    const schema = planProposalSchema(record, trigger);
     return [
         `export const meta = ${JSON.stringify({ name: `replan-${planId}` })};`,
         "export default async ({ agent, stage }) => {",
@@ -507,27 +508,35 @@ function plannerReviewScript(record, planId, initialCandidate, trigger) {
     const review = policy?.review;
     if (!policy || !review)
         throw new Error(`supervisor ${record.intent.id} does not review plans`);
-    const proposalSchema = planProposalSchema(record);
+    const proposalSchema = planProposalSchema(record, trigger);
     const reviewerSchema = {
         type: "object",
         properties: {
             verdict: { type: "string", enum: ["approve", "revise", "attention"] },
-            rationale: { type: "string" },
+            rationale: { type: "string", minLength: 1, maxLength: MAX_REASON },
             findings: {
                 type: "array",
+                maxItems: 50,
                 items: {
                     type: "object",
                     properties: {
-                        code: { type: "string" },
+                        code: {
+                            type: "string",
+                            minLength: 1,
+                            maxLength: 100,
+                            pattern: "^[a-z][a-z0-9._-]*$",
+                        },
                         severity: { type: "string", enum: ["blocking", "advisory"] },
-                        summary: { type: "string" },
-                        recommendation: { type: "string" },
+                        summary: { type: "string", minLength: 1, maxLength: 1_000 },
+                        recommendation: { type: "string", minLength: 1, maxLength: 1_000 },
                     },
                     required: ["code", "severity", "summary", "recommendation"],
+                    additionalProperties: false,
                 },
             },
         },
         required: ["verdict", "rationale", "findings"],
+        additionalProperties: false,
     };
     return [
         `export const meta = ${JSON.stringify({ name: `review-${planId}` })};`,
@@ -544,6 +553,7 @@ function plannerReviewScript(record, planId, initialCandidate, trigger) {
             mission: record.intent.mission ?? null,
             original_root: record.intent.root_work_id,
             active_root: record.projection.root_work_id,
+            proposal_root_rule: PROPOSAL_ROOT_RULE,
             templates: policy.templates,
         })};`,
         `  let candidate = ${JSON.stringify(initialCandidate)};`,
@@ -561,6 +571,7 @@ function plannerReviewScript(record, planId, initialCandidate, trigger) {
         "        'Review this bounded supervisor plan candidate independently.',",
         "        'Return approve only when the candidate is complete, scoped, and satisfies the goal context.',",
         "        'Return revise for blocking defects. Return attention when human judgment is required.',",
+        "        'Apply proposal_root_rule exactly; never require proposal.root to equal active_root.',",
         "        'Goal context: ' + JSON.stringify(goalContext),",
         "        'Candidate: ' + JSON.stringify(candidate)",
         "      ].join('\\n\\n');",
@@ -579,6 +590,7 @@ function plannerReviewScript(record, planId, initialCandidate, trigger) {
         "    const revisionPrompt = [",
         "      'Revise this supervisor plan candidate. Return a complete replacement candidate, not a patch.',",
         "      'Do not merge reviewer text mechanically; satisfy the blocking findings within the frozen goal and template constraints.',",
+        "      'Apply proposal_root_rule exactly; never require proposal.root to equal active_root.',",
         "      'Goal context: ' + JSON.stringify(goalContext),",
         "      'Current candidate: ' + JSON.stringify(candidate),",
         "      'Reviewer findings: ' + JSON.stringify(reviewersOut)",
@@ -893,61 +905,96 @@ function hasReviewRecoveryEvidence(coordRoot, goalId, planId) {
     return (existsSync(reviewReceiptPath(coordRoot, goalId, planId)) ||
         existsSync(join(coordRoot, ".harnery", "workflows", reviewWorkflowRunId(planId), "proof.json")));
 }
-function planProposalSchema(record) {
+function planProposalSchema(record, trigger) {
     const policy = record.intent.replanning;
     if (!policy)
         throw new Error(`supervisor ${record.intent.id} does not allow replanning`);
-    return {
+    const rationale = { type: "string", minLength: 1, maxLength: MAX_REASON };
+    const workItem = {
         type: "object",
         properties: {
-            decision: {
-                type: "string",
-                enum: record.intent.mission ? ["apply", "complete", "attention"] : ["apply", "attention"],
+            key: { type: "string", pattern: "^[a-z][a-z0-9-]{0,31}$", maxLength: 32 },
+            title: { type: "string", minLength: 1, maxLength: 200 },
+            objective: { type: "string", minLength: 1, maxLength: 4_000 },
+            acceptance: {
+                type: "array",
+                maxItems: 50,
+                items: { type: "string", minLength: 1, maxLength: 500 },
             },
-            rationale: { type: "string", minLength: 1, maxLength: MAX_REASON },
-            root: { type: "string", maxLength: 32 },
-            work: {
+            dependencies: {
                 type: "array",
-                maxItems: policy.max_work_items_per_plan,
-                items: {
-                    type: "object",
-                    properties: {
-                        key: { type: "string", pattern: "^[a-z][a-z0-9-]{0,31}$", maxLength: 32 },
-                        title: { type: "string", minLength: 1, maxLength: 200 },
-                        objective: { type: "string", minLength: 1, maxLength: 4_000 },
-                        acceptance: {
-                            type: "array",
-                            maxItems: 50,
-                            items: { type: "string", minLength: 1, maxLength: 500 },
-                        },
-                        dependencies: {
-                            type: "array",
-                            maxItems: 50,
-                            items: { type: "string", minLength: 1, maxLength: 100 },
-                        },
-                        template: { type: "string", enum: Object.keys(policy.templates), maxLength: 64 },
-                    },
-                    required: ["key", "title", "objective", "acceptance", "dependencies", "template"],
-                },
+                maxItems: 50,
+                items: { type: "string", minLength: 1, maxLength: 100 },
             },
-            milestone: {
-                type: "object",
-                properties: {
-                    sequence: { type: "number" },
-                    title: { type: "string", minLength: 1, maxLength: 200 },
-                    objective: { type: "string", minLength: 1, maxLength: 4_000 },
-                    acceptance: {
-                        type: "array",
-                        minItems: 1,
-                        maxItems: 50,
-                        items: { type: "string", minLength: 1, maxLength: 500 },
-                    },
-                },
-                required: ["sequence", "title", "objective", "acceptance"],
+            template: { type: "string", enum: Object.keys(policy.templates), maxLength: 64 },
+        },
+        required: ["key", "title", "objective", "acceptance", "dependencies", "template"],
+        additionalProperties: false,
+    };
+    const milestone = {
+        type: "object",
+        properties: {
+            sequence: {
+                type: "number",
+                enum: [record.projection.milestones_completed + 1],
+            },
+            title: { type: "string", minLength: 1, maxLength: 200 },
+            objective: { type: "string", minLength: 1, maxLength: 4_000 },
+            acceptance: {
+                type: "array",
+                minItems: 1,
+                maxItems: 50,
+                items: { type: "string", minLength: 1, maxLength: 500 },
             },
         },
-        required: ["decision", "rationale", "root", "work"],
+        required: ["sequence", "title", "objective", "acceptance"],
+        additionalProperties: false,
     };
+    const applyProperties = {
+        decision: { type: "string", enum: ["apply"] },
+        rationale,
+        root: {
+            type: "string",
+            minLength: 1,
+            maxLength: 32,
+            pattern: "^[a-z][a-z0-9-]{0,31}$",
+        },
+        work: {
+            type: "array",
+            minItems: 1,
+            maxItems: policy.max_work_items_per_plan,
+            items: workItem,
+        },
+    };
+    const applyRequired = ["decision", "rationale", "root", "work"];
+    if (record.intent.mission) {
+        applyProperties.milestone = milestone;
+        applyRequired.push("milestone");
+    }
+    const apply = {
+        type: "object",
+        properties: applyProperties,
+        required: applyRequired,
+        additionalProperties: false,
+    };
+    const terminal = (decision) => ({
+        type: "object",
+        properties: {
+            decision: { type: "string", enum: [decision] },
+            rationale,
+            root: { type: "string", enum: [""] },
+            work: { type: "array", maxItems: 0 },
+        },
+        required: ["decision", "rationale", "root", "work"],
+        additionalProperties: false,
+    });
+    const branches = [];
+    if (!record.intent.mission || record.projection.milestones_remaining > 0)
+        branches.push(apply);
+    if (record.intent.mission && trigger === "milestone")
+        branches.push(terminal("complete"));
+    branches.push(terminal("attention"));
+    return { type: "object", oneOf: branches };
 }
 function normalizeProposal(planId, raw, record, previouslyApplied, trigger, preservedProposedAt) {
     const policy = record.intent.replanning;

package/dist/core/workflow/types.d.ts

@@ -169,9 +169,12 @@ export interface HarnessEvidenceCapability {
 /** JSON-schema *subset* accepted by stage gates (see validate.ts). */
 export interface StageSchema {
     type: "object" | "array" | "string" | "number" | "boolean";
+    /** Exact-one branch selection, evaluated before the base schema. */
+    oneOf?: StageSchema[];
     /** type=object */
     properties?: Record<string, StageSchema>;
     required?: string[];
+    additionalProperties?: boolean;
     /** type=array */
     items?: StageSchema;
     minItems?: number;

package/dist/core/workflow/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,UAAU,EACX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE/D,eAAO,MAAM,6BAA6B,EAAG,CAAU,CAAC;AAExD,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,aAAa,CAAC;AACjG,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;AAC1E,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,QAAQ,CAAC;AACnD,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;AACvE,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,QAAQ,CAAC;AACvD,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,MAAM,CAAC;AAEnD,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,6EAA6E;IAC7E,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAiB,SAAQ,mBAAmB;IAC3D,MAAM,EAAE,gBAAgB,CAAC;IACzB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,0EAA0E;IAC1E,OAAO,EAAE,cAAc,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,WAAW,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,qBAAqB,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,QAAQ,CAAC;IACjB,MAAM,EAAE,oBAAoB,CAAC;IAC7B,KAAK,EAAE,oBAAoB,CAAC;IAC5B,KAAK,EAAE;QACL,cAAc,EAAE,OAAO,CAAC;QACxB,YAAY,EAAE,OAAO,CAAC;QACtB,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,mBAAmB,EAAE,MAAM,EAAE,CAAC;QAC9B,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,kFAAkF;QAClF,UAAU,EAAE,OAAO,CAAC;QACpB,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,WAAW,CAAC;IACrB,aAAa,EAAE;QACb,OAAO,EAAE,WAAW,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,CAAC;QAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC;IACF,QAAQ,EAAE;QACR,aAAa,EAAE,MAAM,CAAC;QACtB,WAAW,EAAE,MAAM,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EACA,2BAA2B,GAC3B,iCAAiC,GACjC,uBAAuB,GACvB,0BAA0B,GAC1B,6BAA6B,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,cAAc,EAAE,OAAO,6BAA6B,CAAC;IACrD,GAAG,EAAE;QACH,EAAE,EAAE,MAAM,CAAC;QACX,wEAAwE;QACxE,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,iBAAiB,CAAC;QAC1B,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,YAAY,CAAC;KACvB,CAAC;IACF,UAAU,EAAE;QACV,QAAQ,EAAE,gBAAgB,EAAE,CAAC;QAC7B,OAAO,EAAE,iBAAiB,CAAC;KAC5B,CAAC;IACF,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,mBAAmB,CAAC;IAC7B,UAAU,EAAE,oBAAoB,CAAC;IACjC,SAAS,EAAE,uBAAuB,EAAE,CAAC;IACrC,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IACjC,SAAS,EAAE;QACT,OAAO,EAAE;YACP,IAAI,EAAE,eAAe,CAAC;YACtB,MAAM,EAAE,MAAM,CAAC;YACf,KAAK,EAAE,MAAM,CAAC;SACf,CAAC;KACH,CAAC;CACH;AAED,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,eAAe,CAAC;IAC3B,cAAc,EAAE,mBAAmB,CAAC;IACpC,MAAM,EAAE,gBAAgB,CAAC;IACzB,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,OAAO,EAAE;QACP,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,uBAAuB,CAAC,eAAe,CAAC,CAAC;CACxD;AAED,sEAAsE;AACtE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC3D,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACzC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,iBAAiB;IACjB,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qDAAqD;IACrD,IAAI,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,SAAS;IACxB;gFAC4E;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;8EAE0E;IAC1E,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,iFAAiF;IACjF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;uDACmD;IACnD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+CAA+C;IAC/C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;sDACkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;kBAEc;IACd,OAAO,CAAC,EAAE,WAAW,CAAC;CACvB;AAED;;kCAEkC;AAClC,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAEjC;8EAC8E;AAC9E,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,yDAAyD;AACzD,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,OAAO,CAAC;IACZ,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ;2EACuE;IACvE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;8DAC0D;IAC1D,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;8EAC8E;AAC9E,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;AAElE;+EAC+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,8EAA8E;IAC9E,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAC3E,+DAA+D;IAC/D,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,2CAA2C;IAC3C,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,qFAAqF;IACrF,QAAQ,EAAE,CAAC,KAAK,EAAE,qBAAqB,KAAK,MAAM,CAAC;IACnD,0EAA0E;IAC1E,SAAS,EAAE,CAAC,KAAK,EAAE,uBAAuB,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;CACxE;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,mBAAmB,EAAE,CAAC;CACpC;AAED,oFAAoF;AACpF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,UAAU;IACzB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB;iDAC6C;IAC7C,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC;IAC7D,kFAAkF;IAClF,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,sEAAsE;IACtE,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAC;IAClE;;6EAEyE;IACzE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;8DAE0D;IAC1D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0DAA0D;IAC1D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,+CAA+C;IAC/C,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B;;+BAE2B;IAC3B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B;;;iCAG6B;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,yEAAyE;IACzE,YAAY,CAAC,EAAE,aAAa,CAAC;IAC7B;mDAC+C;IAC/C,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,yBAAyB,GAAG,SAAS,CAAC,CAAC,CAAC;IACvF,mFAAmF;IACnF,MAAM,CAAC,EAAE,UAAU,GAAG,gBAAgB,CAAC;IACvC,yFAAyF;IACzF,gBAAgB,CAAC,EAAE,iBAAiB,CAAC;IACrC,4FAA4F;IAC5F,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;IAC7C,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,4EAA4E;IAC5E,YAAY,CAAC,EAAE,oBAAoB,CAAC;IACpC,kEAAkE;IAClE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,+DAA+D;IAC/D,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,uEAAuE;IACvE,aAAa,CAAC,EAAE,mBAAmB,CAAC;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,4EAA4E;IAC5E,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,iBAAiB,CAAC;IAC9B;;gFAE4E;IAC5E,6BAA6B,EAAE,MAAM,CAAC;IACtC,6EAA6E;IAC7E,OAAO,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,WAAW,CAAC;QAAC,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;IAC5D,6DAA6D;IAC7D,MAAM,CAAC,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;CACzC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EACV,qBAAqB,EACrB,uBAAuB,EACvB,gBAAgB,EAChB,iBAAiB,EACjB,cAAc,EACd,eAAe,EACf,mBAAmB,EACnB,UAAU,EACX,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAE/D,eAAO,MAAM,6BAA6B,EAAG,CAAU,CAAC;AAExD,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG,SAAS,GAAG,UAAU,GAAG,QAAQ,GAAG,QAAQ,GAAG,aAAa,CAAC;AACjG,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;AAC1E,MAAM,MAAM,cAAc,GAAG,UAAU,GAAG,QAAQ,CAAC;AACnD,MAAM,MAAM,gBAAgB,GAAG,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;AACvE,MAAM,MAAM,iBAAiB,GAAG,WAAW,GAAG,QAAQ,CAAC;AACvD,MAAM,MAAM,oBAAoB,GAAG,MAAM,GAAG,MAAM,CAAC;AAEnD,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,EAAE,EAAE,MAAM,CAAC;IACX,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,qBAAqB;IACpC,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,6EAA6E;IAC7E,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,2DAA2D;IAC3D,aAAa,CAAC,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,sBAAsB;IACrC,EAAE,EAAE,MAAM,CAAC;IACX,MAAM,EAAE,cAAc,CAAC;IACvB,WAAW,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,YAAY,CAAC;IACnB,MAAM,EAAE,cAAc,CAAC;IACvB,KAAK,EAAE,MAAM,CAAC;IACd,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,cAAc,EAAE,MAAM,EAAE,CAAC;CAC1B;AAED,MAAM,WAAW,gBAAiB,SAAQ,mBAAmB;IAC3D,MAAM,EAAE,gBAAgB,CAAC;IACzB,YAAY,EAAE,MAAM,EAAE,CAAC;IACvB,0EAA0E;IAC1E,OAAO,EAAE,cAAc,EAAE,CAAC;CAC3B;AAED,MAAM,WAAW,iBAAiB;IAChC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,GAAG,MAAM,CAAC;IACtB,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,KAAK,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,WAAW,CAAC;IACrB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;IAC1C,QAAQ,EAAE,MAAM,CAAC;IACjB,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,MAAM,CAAC,EAAE,YAAY,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,oBAAoB;IACnC,GAAG,EAAE,MAAM,CAAC;IACZ,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,WAAW,EAAE,MAAM,EAAE,CAAC;IACtB,qBAAqB,CAAC,EAAE,OAAO,CAAC;CACjC;AAED,MAAM,WAAW,oBAAoB;IACnC,MAAM,EAAE,QAAQ,CAAC;IACjB,MAAM,EAAE,oBAAoB,CAAC;IAC7B,KAAK,EAAE,oBAAoB,CAAC;IAC5B,KAAK,EAAE;QACL,cAAc,EAAE,OAAO,CAAC;QACxB,YAAY,EAAE,OAAO,CAAC;QACtB,iBAAiB,EAAE,MAAM,EAAE,CAAC;QAC5B,mBAAmB,EAAE,MAAM,EAAE,CAAC;QAC9B,oBAAoB,EAAE,MAAM,EAAE,CAAC;QAC/B,kFAAkF;QAClF,UAAU,EAAE,OAAO,CAAC;QACpB,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,WAAW,CAAC;IACrB,aAAa,EAAE;QACb,OAAO,EAAE,WAAW,GAAG,SAAS,GAAG,aAAa,GAAG,SAAS,CAAC;QAC7D,IAAI,CAAC,EAAE,MAAM,CAAC;KACf,CAAC;IACF,QAAQ,EAAE;QACR,aAAa,EAAE,MAAM,CAAC;QACtB,WAAW,EAAE,MAAM,CAAC;QACpB,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,oBAAoB;IACnC,IAAI,EACA,2BAA2B,GAC3B,iCAAiC,GACjC,uBAAuB,GACvB,0BAA0B,GAC1B,6BAA6B,CAAC;IAClC,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,aAAa;IAC5B,cAAc,EAAE,OAAO,6BAA6B,CAAC;IACrD,GAAG,EAAE;QACH,EAAE,EAAE,MAAM,CAAC;QACX,wEAAwE;QACxE,YAAY,CAAC,EAAE,MAAM,CAAC;QACtB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,iBAAiB,CAAC;QAC1B,UAAU,EAAE,MAAM,CAAC;QACnB,QAAQ,EAAE,MAAM,CAAC;QACjB,WAAW,EAAE,MAAM,CAAC;QACpB,SAAS,CAAC,EAAE,MAAM,CAAC;QACnB,KAAK,CAAC,EAAE,MAAM,CAAC;QACf,MAAM,CAAC,EAAE,YAAY,CAAC;KACvB,CAAC;IACF,UAAU,EAAE;QACV,QAAQ,EAAE,gBAAgB,EAAE,CAAC;QAC7B,OAAO,EAAE,iBAAiB,CAAC;KAC5B,CAAC;IACF,MAAM,EAAE,kBAAkB,EAAE,CAAC;IAC7B,QAAQ,EAAE,sBAAsB,EAAE,CAAC;IACnC,MAAM,CAAC,EAAE,mBAAmB,CAAC;IAC7B,UAAU,EAAE,oBAAoB,CAAC;IACjC,SAAS,EAAE,uBAAuB,EAAE,CAAC;IACrC,QAAQ,EAAE,oBAAoB,EAAE,CAAC;IACjC,SAAS,EAAE;QACT,OAAO,EAAE;YACP,IAAI,EAAE,eAAe,CAAC;YACtB,MAAM,EAAE,MAAM,CAAC;YACf,KAAK,EAAE,MAAM,CAAC;SACf,CAAC;KACH,CAAC;CACH;AAED,MAAM,WAAW,mBAAmB;IAClC,cAAc,EAAE,CAAC,CAAC;IAClB,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC;IACf,SAAS,EAAE,eAAe,CAAC;IAC3B,cAAc,EAAE,mBAAmB,CAAC;IACpC,MAAM,EAAE,gBAAgB,CAAC;IACzB,SAAS,EAAE,cAAc,EAAE,CAAC;IAC5B,OAAO,EAAE;QACP,OAAO,EAAE,MAAM,CAAC;QAChB,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,KAAK,EAAE,MAAM,CAAC;KACf,CAAC;CACH;AAED,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,uBAAuB,CAAC,eAAe,CAAC,CAAC;CACxD;AAED,sEAAsE;AACtE,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;IAC3D,oEAAoE;IACpE,KAAK,CAAC,EAAE,WAAW,EAAE,CAAC;IACtB,kBAAkB;IAClB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC;IACzC,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAC/B,iBAAiB;IACjB,KAAK,CAAC,EAAE,WAAW,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,kBAAkB;IAClB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,qDAAqD;IACrD,IAAI,CAAC,EAAE,KAAK,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAC;CACzC;AAED,MAAM,WAAW,SAAS;IACxB;gFAC4E;IAC5E,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;8EAE0E;IAC1E,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,iFAAiF;IACjF,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;uDACmD;IACnD,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,6DAA6D;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,+CAA+C;IAC/C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB;sDACkD;IAClD,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,2DAA2D;IAC3D,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;kBAEc;IACd,OAAO,CAAC,EAAE,WAAW,CAAC;CACvB;AAED;;kCAEkC;AAClC,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAEjC;8EAC8E;AAC9E,MAAM,WAAW,yBAAyB;IACxC,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,CAAC,EAAE,WAAW,CAAC;IACtB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,yDAAyD;AACzD,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,OAAO,CAAC;IACZ,yDAAyD;IACzD,IAAI,EAAE,MAAM,CAAC;IACb,8DAA8D;IAC9D,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,UAAU,EAAE,MAAM,CAAC;IACnB,+BAA+B;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,MAAM,WAAW,YAAY;IAC3B,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,EAAE,MAAM,CAAC;IACZ;2EACuE;IACvE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;8DAC0D;IAC1D,gBAAgB,CAAC,EAAE,OAAO,CAAC;CAC5B;AAED;8EAC8E;AAC9E,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,YAAY,KAAK,OAAO,CAAC,WAAW,CAAC,CAAC;AAElE;+EAC+E;AAC/E,MAAM,WAAW,eAAe;IAC9B,6EAA6E;IAC7E,KAAK,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,CAAC,EAAE,SAAS,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9D,8EAA8E;IAC9E,QAAQ,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC;IAC3E,+DAA+D;IAC/D,KAAK,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,2CAA2C;IAC3C,GAAG,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B,qFAAqF;IACrF,QAAQ,EAAE,CAAC,KAAK,EAAE,qBAAqB,KAAK,MAAM,CAAC;IACnD,0EAA0E;IAC1E,SAAS,EAAE,CAAC,KAAK,EAAE,uBAAuB,KAAK,OAAO,CAAC,cAAc,CAAC,CAAC;CACxE;AAED,MAAM,WAAW,YAAY;IAC3B,IAAI,EAAE,MAAM,CAAC;IACb,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,UAAU,CAAC,EAAE,mBAAmB,EAAE,CAAC;CACpC;AAED,oFAAoF;AACpF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,YAAY,CAAC;IACpB,OAAO,EAAE,CAAC,GAAG,EAAE,eAAe,KAAK,OAAO,CAAC,OAAO,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,UAAU;IACzB,0DAA0D;IAC1D,SAAS,EAAE,MAAM,CAAC;IAClB;iDAC6C;IAC7C,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,GAAG,SAAS,CAAC,CAAC,CAAC;IAC7D,kFAAkF;IAClF,cAAc,CAAC,EAAE,WAAW,CAAC;IAC7B,sEAAsE;IACtE,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,yBAAyB,CAAC,CAAC,CAAC;IAClE;;6EAEyE;IACzE,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB;;8DAE0D;IAC1D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,2DAA2D;IAC3D,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,0EAA0E;IAC1E,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,0DAA0D;IAC1D,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gEAAgE;IAChE,GAAG,CAAC,EAAE,MAAM,CAAC;IACb,+CAA+C;IAC/C,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC;IAC/B;;+BAE2B;IAC3B,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B;;;iCAG6B;IAC7B,eAAe,CAAC,EAAE,OAAO,CAAC;IAC1B,yEAAyE;IACzE,YAAY,CAAC,EAAE,aAAa,CAAC;IAC7B;mDAC+C;IAC/C,eAAe,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,WAAW,EAAE,yBAAyB,GAAG,SAAS,CAAC,CAAC,CAAC;IACvF,mFAAmF;IACnF,MAAM,CAAC,EAAE,UAAU,GAAG,gBAAgB,CAAC;IACvC,yFAAyF;IACzF,gBAAgB,CAAC,EAAE,iBAAiB,CAAC;IACrC,4FAA4F;IAC5F,oBAAoB,CAAC,EAAE,qBAAqB,CAAC;IAC7C,6DAA6D;IAC7D,kBAAkB,CAAC,EAAE,MAAM,CAAC;IAC5B,4EAA4E;IAC5E,YAAY,CAAC,EAAE,oBAAoB,CAAC;IACpC,kEAAkE;IAClE,iBAAiB,CAAC,EAAE,MAAM,CAAC;IAC3B,+DAA+D;IAC/D,SAAS,CAAC,EAAE,eAAe,CAAC;IAC5B,uEAAuE;IACvE,aAAa,CAAC,EAAE,mBAAmB,CAAC;CACrC;AAED,MAAM,WAAW,SAAS;IACxB,KAAK,EAAE,MAAM,CAAC;IACd,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,IAAI,EAAE,MAAM,CAAC;IACb,iDAAiD;IACjD,MAAM,EAAE,OAAO,CAAC;IAChB,aAAa,EAAE,MAAM,CAAC;IACtB,4EAA4E;IAC5E,YAAY,EAAE,MAAM,CAAC;IACrB,OAAO,EAAE,MAAM,CAAC;IAChB,UAAU,EAAE,MAAM,CAAC;IACnB,WAAW,EAAE,MAAM,CAAC;IACpB,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,iBAAiB,CAAC;IAC9B;;gFAE4E;IAC5E,6BAA6B,EAAE,MAAM,CAAC;IACtC,6EAA6E;IAC7E,OAAO,EAAE,KAAK,CAAC;QAAE,OAAO,EAAE,WAAW,CAAC;QAAC,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,CAAC;IAC5D,6DAA6D;IAC7D,MAAM,CAAC,EAAE,mBAAmB,CAAC,SAAS,CAAC,CAAC;CACzC"}

package/dist/core/workflow/validate.d.ts

@@ -1,8 +1,9 @@
 /**
  * Minimal validator for the StageSchema JSON-schema subset. Deliberately tiny:
  * a full JSON Schema implementation would pull a dependency (ajv) for
- * validation depth workflow gates don't need. Supported: type, properties,
- * required, items, minItems/maxItems, minLength/maxLength, pattern, and enum.
+ * validation depth workflow gates don't need. Supported: type, oneOf,
+ * properties, required, additionalProperties, items, minItems/maxItems,
+ * minLength/maxLength, pattern, and enum.
  * Returns a list of human-readable problems (empty = valid) so the engine can
  * feed failures back into the retry prompt verbatim.
  */

package/dist/core/workflow/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,SAAM,GAAG,MAAM,EAAE,CA4E/F;AAED,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAUlF"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/core/workflow/validate.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAE9C,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,IAAI,SAAM,GAAG,MAAM,EAAE,CAmG/F;AAED,qEAAqE;AACrE,wBAAgB,gBAAgB,CAAC,IAAI,EAAE,MAAM,GAAG;IAAE,KAAK,CAAC,EAAE,OAAO,CAAC;IAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CAAE,CAUlF"}

package/dist/core/workflow/validate.js

@@ -1,13 +1,27 @@
 /**
  * Minimal validator for the StageSchema JSON-schema subset. Deliberately tiny:
  * a full JSON Schema implementation would pull a dependency (ajv) for
- * validation depth workflow gates don't need. Supported: type, properties,
- * required, items, minItems/maxItems, minLength/maxLength, pattern, and enum.
+ * validation depth workflow gates don't need. Supported: type, oneOf,
+ * properties, required, additionalProperties, items, minItems/maxItems,
+ * minLength/maxLength, pattern, and enum.
  * Returns a list of human-readable problems (empty = valid) so the engine can
  * feed failures back into the retry prompt verbatim.
  */
 export function validateAgainstSchema(value, schema, path = "$") {
     const problems = [];
+    if (schema.oneOf) {
+        const branches = schema.oneOf.map((branch) => validateAgainstSchema(value, branch, path));
+        const matches = branches.filter((branch) => branch.length === 0).length;
+        if (matches !== 1) {
+            if (matches > 1) {
+                return [`${path}: expected exactly one schema option to match, got ${matches}`];
+            }
+            return [
+                `${path}: expected exactly one schema option to match`,
+                ...branches.map((branch, index) => `${path}: option ${index + 1}: ${branch.slice(0, 4).join("; ") || "did not match"}`),
+            ];
+        }
+    }
     if (schema.enum) {
         if (!schema.enum.some((v) => v === value)) {
             problems.push(`${path}: expected one of ${JSON.stringify(schema.enum)}, got ${short(value)}`);
@@ -28,6 +42,13 @@ export function validateAgainstSchema(value, schema, path = "$") {
                 if (key in obj)
                     problems.push(...validateAgainstSchema(obj[key], sub, `${path}.${key}`));
             }
+            if (schema.additionalProperties === false) {
+                const allowed = new Set(Object.keys(schema.properties ?? {}));
+                for (const key of Object.keys(obj)) {
+                    if (!allowed.has(key))
+                        problems.push(`${path}.${key}: unexpected property`);
+                }
+            }
             return problems;
         }
         case "array": {

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "harnery",
-  "version": "0.19.0",
+  "version": "0.19.1",
   "description": "Multi-agent coordination for AI coding agents - Claude Code, Cursor, and Codex.",
   "license": "MIT",
   "author": "Ryan Kelly",

package/src/core/supervisor/planning.ts

@@ -18,6 +18,7 @@ import {
   type ResultDigest,
   readWorkflowProof,
   runWorkflow,
+  type StageSchema,
   WorkflowParkedError,
   type WorkflowProof,
   workflowScriptDigest,
@@ -49,6 +50,8 @@ const TEMPLATE_ID = /^[A-Za-z0-9][A-Za-z0-9._-]{0,63}$/;
 const MAX_RECORD_BYTES = 256 * 1024;
 const MAX_EVENTS_BYTES = 512 * 1024;
 const MAX_REASON = 2_000;
+const PROPOSAL_ROOT_RULE =
+  "proposal.root names one newly proposed work key using a root-capable template; it does not preserve or repeat active_root, which is context only";
 
 export interface RunSupervisorPlannerInput {
   coordRoot: string;
@@ -628,7 +631,7 @@ function plannerScript(
       : "Return decision=apply with a replacement immutable root graph, or decision=attention when human judgment is required.",
     "Never claim mission completion unless the frozen mission acceptance is met. Never request a workflow outside the frozen template catalog.",
     "Dependencies may name an active work ID or an earlier key in your proposed work array.",
-    "Every proposed item must be reachable from root. The root must be a proposed key using a root-capable template.",
+    `Every proposed item must be reachable from root. ${PROPOSAL_ROOT_RULE}.`,
     "Work keys are lowercase identifiers no longer than 32 characters. Keep titles within 200 characters, objectives within 4000 characters, and each acceptance criterion within 500 characters.",
     `Plan id: ${planId}`,
     `Planning trigger: ${trigger}`,
@@ -677,7 +680,7 @@ function plannerScript(
       })),
     )}`,
   ].join("\n\n");
-  const schema = planProposalSchema(record);
+  const schema = planProposalSchema(record, trigger);
   return [
     `export const meta = ${JSON.stringify({ name: `replan-${planId}` })};`,
     "export default async ({ agent, stage }) => {",
@@ -707,27 +710,35 @@ function plannerReviewScript(
   const policy = record.intent.replanning;
   const review = policy?.review;
   if (!policy || !review) throw new Error(`supervisor ${record.intent.id} does not review plans`);
-  const proposalSchema = planProposalSchema(record);
-  const reviewerSchema = {
+  const proposalSchema = planProposalSchema(record, trigger);
+  const reviewerSchema: StageSchema = {
     type: "object",
     properties: {
       verdict: { type: "string", enum: ["approve", "revise", "attention"] },
-      rationale: { type: "string" },
+      rationale: { type: "string", minLength: 1, maxLength: MAX_REASON },
       findings: {
         type: "array",
+        maxItems: 50,
         items: {
           type: "object",
           properties: {
-            code: { type: "string" },
+            code: {
+              type: "string",
+              minLength: 1,
+              maxLength: 100,
+              pattern: "^[a-z][a-z0-9._-]*$",
+            },
             severity: { type: "string", enum: ["blocking", "advisory"] },
-            summary: { type: "string" },
-            recommendation: { type: "string" },
+            summary: { type: "string", minLength: 1, maxLength: 1_000 },
+            recommendation: { type: "string", minLength: 1, maxLength: 1_000 },
           },
           required: ["code", "severity", "summary", "recommendation"],
+          additionalProperties: false,
         },
       },
     },
     required: ["verdict", "rationale", "findings"],
+    additionalProperties: false,
   };
   return [
     `export const meta = ${JSON.stringify({ name: `review-${planId}` })};`,
@@ -744,6 +755,7 @@ function plannerReviewScript(
       mission: record.intent.mission ?? null,
       original_root: record.intent.root_work_id,
       active_root: record.projection.root_work_id,
+      proposal_root_rule: PROPOSAL_ROOT_RULE,
       templates: policy.templates,
     })};`,
     `  let candidate = ${JSON.stringify(initialCandidate)};`,
@@ -761,6 +773,7 @@ function plannerReviewScript(
     "        'Review this bounded supervisor plan candidate independently.',",
     "        'Return approve only when the candidate is complete, scoped, and satisfies the goal context.',",
     "        'Return revise for blocking defects. Return attention when human judgment is required.',",
+    "        'Apply proposal_root_rule exactly; never require proposal.root to equal active_root.',",
     "        'Goal context: ' + JSON.stringify(goalContext),",
     "        'Candidate: ' + JSON.stringify(candidate)",
     "      ].join('\\n\\n');",
@@ -779,6 +792,7 @@ function plannerReviewScript(
     "    const revisionPrompt = [",
     "      'Revise this supervisor plan candidate. Return a complete replacement candidate, not a patch.',",
     "      'Do not merge reviewer text mechanically; satisfy the blocking findings within the frozen goal and template constraints.',",
+    "      'Apply proposal_root_rule exactly; never require proposal.root to equal active_root.',",
     "      'Goal context: ' + JSON.stringify(goalContext),",
     "      'Current candidate: ' + JSON.stringify(candidate),",
     "      'Reviewer findings: ' + JSON.stringify(reviewersOut)",
@@ -1163,60 +1177,96 @@ function hasReviewRecoveryEvidence(coordRoot: string, goalId: string, planId: st
   );
 }
 
-function planProposalSchema(record: SupervisorRecord): Record<string, unknown> {
+function planProposalSchema(
+  record: SupervisorRecord,
+  trigger: NonNullable<SupervisorPlanRequest["trigger"]>,
+): StageSchema {
   const policy = record.intent.replanning;
   if (!policy) throw new Error(`supervisor ${record.intent.id} does not allow replanning`);
-  return {
+  const rationale: StageSchema = { type: "string", minLength: 1, maxLength: MAX_REASON };
+  const workItem: StageSchema = {
     type: "object",
     properties: {
-      decision: {
-        type: "string",
-        enum: record.intent.mission ? ["apply", "complete", "attention"] : ["apply", "attention"],
+      key: { type: "string", pattern: "^[a-z][a-z0-9-]{0,31}$", maxLength: 32 },
+      title: { type: "string", minLength: 1, maxLength: 200 },
+      objective: { type: "string", minLength: 1, maxLength: 4_000 },
+      acceptance: {
+        type: "array",
+        maxItems: 50,
+        items: { type: "string", minLength: 1, maxLength: 500 },
       },
-      rationale: { type: "string", minLength: 1, maxLength: MAX_REASON },
-      root: { type: "string", maxLength: 32 },
-      work: {
+      dependencies: {
         type: "array",
-        maxItems: policy.max_work_items_per_plan,
-        items: {
-          type: "object",
-          properties: {
-            key: { type: "string", pattern: "^[a-z][a-z0-9-]{0,31}$", maxLength: 32 },
-            title: { type: "string", minLength: 1, maxLength: 200 },
-            objective: { type: "string", minLength: 1, maxLength: 4_000 },
-            acceptance: {
-              type: "array",
-              maxItems: 50,
-              items: { type: "string", minLength: 1, maxLength: 500 },
-            },
-            dependencies: {
-              type: "array",
-              maxItems: 50,
-              items: { type: "string", minLength: 1, maxLength: 100 },
-            },
-            template: { type: "string", enum: Object.keys(policy.templates), maxLength: 64 },
-          },
-          required: ["key", "title", "objective", "acceptance", "dependencies", "template"],
-        },
+        maxItems: 50,
+        items: { type: "string", minLength: 1, maxLength: 100 },
       },
-      milestone: {
-        type: "object",
-        properties: {
-          sequence: { type: "number" },
-          title: { type: "string", minLength: 1, maxLength: 200 },
-          objective: { type: "string", minLength: 1, maxLength: 4_000 },
-          acceptance: {
-            type: "array",
-            minItems: 1,
-            maxItems: 50,
-            items: { type: "string", minLength: 1, maxLength: 500 },
-          },
-        },
-        required: ["sequence", "title", "objective", "acceptance"],
+      template: { type: "string", enum: Object.keys(policy.templates), maxLength: 64 },
+    },
+    required: ["key", "title", "objective", "acceptance", "dependencies", "template"],
+    additionalProperties: false,
+  };
+  const milestone: StageSchema = {
+    type: "object",
+    properties: {
+      sequence: {
+        type: "number",
+        enum: [record.projection.milestones_completed + 1],
+      },
+      title: { type: "string", minLength: 1, maxLength: 200 },
+      objective: { type: "string", minLength: 1, maxLength: 4_000 },
+      acceptance: {
+        type: "array",
+        minItems: 1,
+        maxItems: 50,
+        items: { type: "string", minLength: 1, maxLength: 500 },
       },
     },
-    required: ["decision", "rationale", "root", "work"],
+    required: ["sequence", "title", "objective", "acceptance"],
+    additionalProperties: false,
+  };
+  const applyProperties: Record<string, StageSchema> = {
+    decision: { type: "string", enum: ["apply"] },
+    rationale,
+    root: {
+      type: "string",
+      minLength: 1,
+      maxLength: 32,
+      pattern: "^[a-z][a-z0-9-]{0,31}$",
+    },
+    work: {
+      type: "array",
+      minItems: 1,
+      maxItems: policy.max_work_items_per_plan,
+      items: workItem,
+    },
   };
+  const applyRequired = ["decision", "rationale", "root", "work"];
+  if (record.intent.mission) {
+    applyProperties.milestone = milestone;
+    applyRequired.push("milestone");
+  }
+  const apply: StageSchema = {
+    type: "object",
+    properties: applyProperties,
+    required: applyRequired,
+    additionalProperties: false,
+  };
+  const terminal = (decision: "complete" | "attention"): StageSchema => ({
+    type: "object",
+    properties: {
+      decision: { type: "string", enum: [decision] },
+      rationale,
+      root: { type: "string", enum: [""] },
+      work: { type: "array", maxItems: 0 },
+    },
+    required: ["decision", "rationale", "root", "work"],
+    additionalProperties: false,
+  });
+  const branches: StageSchema[] = [];
+  if (!record.intent.mission || record.projection.milestones_remaining > 0) branches.push(apply);
+  if (record.intent.mission && trigger === "milestone") branches.push(terminal("complete"));
+  branches.push(terminal("attention"));
+  return { type: "object", oneOf: branches };
 }
 
 function normalizeProposal(

package/src/core/workflow/types.ts

@@ -201,9 +201,12 @@ export interface HarnessEvidenceCapability {
 /** JSON-schema *subset* accepted by stage gates (see validate.ts). */
 export interface StageSchema {
   type: "object" | "array" | "string" | "number" | "boolean";
+  /** Exact-one branch selection, evaluated before the base schema. */
+  oneOf?: StageSchema[];
   /** type=object */
   properties?: Record<string, StageSchema>;
   required?: string[];
+  additionalProperties?: boolean;
   /** type=array */
   items?: StageSchema;
   minItems?: number;

package/src/core/workflow/validate.ts

@@ -1,8 +1,9 @@
 /**
  * Minimal validator for the StageSchema JSON-schema subset. Deliberately tiny:
  * a full JSON Schema implementation would pull a dependency (ajv) for
- * validation depth workflow gates don't need. Supported: type, properties,
- * required, items, minItems/maxItems, minLength/maxLength, pattern, and enum.
+ * validation depth workflow gates don't need. Supported: type, oneOf,
+ * properties, required, additionalProperties, items, minItems/maxItems,
+ * minLength/maxLength, pattern, and enum.
  * Returns a list of human-readable problems (empty = valid) so the engine can
  * feed failures back into the retry prompt verbatim.
  */
@@ -12,6 +13,23 @@ import type { StageSchema } from "./types.ts";
 export function validateAgainstSchema(value: unknown, schema: StageSchema, path = "$"): string[] {
   const problems: string[] = [];
 
+  if (schema.oneOf) {
+    const branches = schema.oneOf.map((branch) => validateAgainstSchema(value, branch, path));
+    const matches = branches.filter((branch) => branch.length === 0).length;
+    if (matches !== 1) {
+      if (matches > 1) {
+        return [`${path}: expected exactly one schema option to match, got ${matches}`];
+      }
+      return [
+        `${path}: expected exactly one schema option to match`,
+        ...branches.map(
+          (branch, index) =>
+            `${path}: option ${index + 1}: ${branch.slice(0, 4).join("; ") || "did not match"}`,
+        ),
+      ];
+    }
+  }
+
   if (schema.enum) {
     if (!schema.enum.some((v) => v === value)) {
       problems.push(`${path}: expected one of ${JSON.stringify(schema.enum)}, got ${short(value)}`);
@@ -31,6 +49,12 @@ export function validateAgainstSchema(value: unknown, schema: StageSchema, path
       for (const [key, sub] of Object.entries(schema.properties ?? {})) {
         if (key in obj) problems.push(...validateAgainstSchema(obj[key], sub, `${path}.${key}`));
       }
+      if (schema.additionalProperties === false) {
+        const allowed = new Set(Object.keys(schema.properties ?? {}));
+        for (const key of Object.keys(obj)) {
+          if (!allowed.has(key)) problems.push(`${path}.${key}: unexpected property`);
+        }
+      }
       return problems;
     }
     case "array": {