@openspecui/core 5.0.0 → 6.0.0-beta.0

package/dist/{schemas-D01aQnV4.d.mts → schemas-DS-JqAJ2.d.mts}

@@ -21,17 +21,17 @@ declare const ChangeFileSchema: z.ZodObject<{
 }, "strip", z.ZodTypeAny, {
   path: string;
   type: "file" | "directory";
+  content?: string | undefined;
   mime?: string | undefined;
   size?: number | undefined;
-  content?: string | undefined;
-  previewKind?: "html" | "text" | "markdown" | "image" | "audio" | "video" | "pdf" | "none" | undefined;
+  previewKind?: "text" | "none" | "html" | "markdown" | "image" | "audio" | "video" | "pdf" | undefined;
 }, {
   path: string;
   type: "file" | "directory";
+  content?: string | undefined;
   mime?: string | undefined;
   size?: number | undefined;
-  content?: string | undefined;
-  previewKind?: "html" | "text" | "markdown" | "image" | "audio" | "video" | "pdf" | "none" | undefined;
+  previewKind?: "text" | "none" | "html" | "markdown" | "image" | "audio" | "video" | "pdf" | undefined;
 }>;
 type ChangeFile = z.infer<typeof ChangeFileSchema>;
 declare const ScenarioStepKeywordSchema: z.ZodEnum<["GIVEN", "WHEN", "THEN", "AND", "BUT"]>;
@@ -110,9 +110,9 @@ declare const RequirementSchema: z.ZodObject<{
     }[] | undefined;
   }>, "many">;
 }, "strip", z.ZodTypeAny, {
-  title: string;
   id: string;
   text: string;
+  title: string;
   bodyMarkdown: string;
   scenarios: {
     title: string;
@@ -125,9 +125,9 @@ declare const RequirementSchema: z.ZodObject<{
     }[] | undefined;
   }[];
 }, {
-  title: string;
   id: string;
   text: string;
+  title: string;
   bodyMarkdown: string;
   scenarios: {
     title: string;
@@ -207,9 +207,9 @@ declare const SpecSchema: z.ZodObject<{
       }[] | undefined;
     }>, "many">;
   }, "strip", z.ZodTypeAny, {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -222,9 +222,9 @@ declare const SpecSchema: z.ZodObject<{
       }[] | undefined;
     }[];
   }, {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -252,13 +252,11 @@ declare const SpecSchema: z.ZodObject<{
     sourcePath?: string | undefined;
   }>>;
 }, "strip", z.ZodTypeAny, {
-  id: string;
   name: string;
-  overview: string;
   requirements: {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -271,19 +269,19 @@ declare const SpecSchema: z.ZodObject<{
       }[] | undefined;
     }[];
   }[];
+  id: string;
+  overview: string;
   metadata?: {
     version: string;
     format: "openspec";
     sourcePath?: string | undefined;
   } | undefined;
 }, {
-  id: string;
   name: string;
-  overview: string;
   requirements: {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -296,6 +294,8 @@ declare const SpecSchema: z.ZodObject<{
       }[] | undefined;
     }[];
   }[];
+  id: string;
+  overview: string;
   metadata?: {
     version?: string | undefined;
     format?: "openspec" | undefined;
@@ -370,9 +370,9 @@ declare const DeltaSchema: z.ZodObject<{
       }[] | undefined;
     }>, "many">;
   }, "strip", z.ZodTypeAny, {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -385,9 +385,9 @@ declare const DeltaSchema: z.ZodObject<{
       }[] | undefined;
     }[];
   }, {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -455,9 +455,9 @@ declare const DeltaSchema: z.ZodObject<{
       }[] | undefined;
     }>, "many">;
   }, "strip", z.ZodTypeAny, {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -470,9 +470,9 @@ declare const DeltaSchema: z.ZodObject<{
       }[] | undefined;
     }[];
   }, {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -501,9 +501,9 @@ declare const DeltaSchema: z.ZodObject<{
   spec: string;
   operation: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
   requirements?: {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -517,9 +517,9 @@ declare const DeltaSchema: z.ZodObject<{
     }[];
   }[] | undefined;
   requirement?: {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -541,9 +541,9 @@ declare const DeltaSchema: z.ZodObject<{
   spec: string;
   operation: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
   requirements?: {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -557,9 +557,9 @@ declare const DeltaSchema: z.ZodObject<{
     }[];
   }[] | undefined;
   requirement?: {
-    title: string;
     id: string;
     text: string;
+    title: string;
     bodyMarkdown: string;
     scenarios: {
       title: string;
@@ -604,6 +604,159 @@ declare const TaskSchema: z.ZodObject<{
   section?: string | undefined;
 }>;
 type Task = z.infer<typeof TaskSchema>;
+declare const TrackedTaskProgressSchema: z.ZodObject<{
+  tasks: z.ZodArray<z.ZodObject<{
+    /** Unique identifier (e.g., "task-1") */
+    id: z.ZodString;
+    /** Task description text */
+    text: z.ZodString;
+    /** Whether the task is completed */
+    completed: z.ZodBoolean;
+    /** Optional section heading the task belongs to */
+    section: z.ZodOptional<z.ZodString>;
+  } & {
+    location: z.ZodObject<{
+      filePath: z.ZodString;
+      taskIndex: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+      filePath: string;
+      taskIndex: number;
+    }, {
+      filePath: string;
+      taskIndex: number;
+    }>;
+  }, "strip", z.ZodTypeAny, {
+    id: string;
+    text: string;
+    completed: boolean;
+    location: {
+      filePath: string;
+      taskIndex: number;
+    };
+    section?: string | undefined;
+  }, {
+    id: string;
+    text: string;
+    completed: boolean;
+    location: {
+      filePath: string;
+      taskIndex: number;
+    };
+    section?: string | undefined;
+  }>, "many">;
+  total: z.ZodNumber;
+  completed: z.ZodNumber;
+  remaining: z.ZodNumber;
+  phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
+  source: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+    kind: z.ZodLiteral<"artifact">;
+    artifactId: z.ZodString;
+    outputPath: z.ZodString;
+    filePaths: z.ZodArray<z.ZodString, "many">;
+  }, "strip", z.ZodTypeAny, {
+    kind: "artifact";
+    artifactId: string;
+    outputPath: string;
+    filePaths: string[];
+  }, {
+    kind: "artifact";
+    artifactId: string;
+    outputPath: string;
+    filePaths: string[];
+  }>, z.ZodObject<{
+    kind: z.ZodLiteral<"top-level-fallback">;
+    artifactId: z.ZodNull;
+    outputPath: z.ZodLiteral<"tasks.md">;
+    filePaths: z.ZodTuple<[z.ZodLiteral<"tasks.md">], null>;
+  }, "strip", z.ZodTypeAny, {
+    kind: "top-level-fallback";
+    artifactId: null;
+    outputPath: "tasks.md";
+    filePaths: ["tasks.md"];
+  }, {
+    kind: "top-level-fallback";
+    artifactId: null;
+    outputPath: "tasks.md";
+    filePaths: ["tasks.md"];
+  }>, z.ZodObject<{
+    kind: z.ZodLiteral<"none">;
+    artifactId: z.ZodNull;
+    outputPath: z.ZodNull;
+    filePaths: z.ZodTuple<[], null>;
+  }, "strip", z.ZodTypeAny, {
+    kind: "none";
+    artifactId: null;
+    outputPath: null;
+    filePaths: [];
+  }, {
+    kind: "none";
+    artifactId: null;
+    outputPath: null;
+    filePaths: [];
+  }>]>;
+}, "strip", z.ZodTypeAny, {
+  tasks: {
+    id: string;
+    text: string;
+    completed: boolean;
+    location: {
+      filePath: string;
+      taskIndex: number;
+    };
+    section?: string | undefined;
+  }[];
+  completed: number;
+  total: number;
+  remaining: number;
+  phase: "no-tasks" | "in-progress" | "complete";
+  source: {
+    kind: "artifact";
+    artifactId: string;
+    outputPath: string;
+    filePaths: string[];
+  } | {
+    kind: "top-level-fallback";
+    artifactId: null;
+    outputPath: "tasks.md";
+    filePaths: ["tasks.md"];
+  } | {
+    kind: "none";
+    artifactId: null;
+    outputPath: null;
+    filePaths: [];
+  };
+}, {
+  tasks: {
+    id: string;
+    text: string;
+    completed: boolean;
+    location: {
+      filePath: string;
+      taskIndex: number;
+    };
+    section?: string | undefined;
+  }[];
+  completed: number;
+  total: number;
+  remaining: number;
+  phase: "no-tasks" | "in-progress" | "complete";
+  source: {
+    kind: "artifact";
+    artifactId: string;
+    outputPath: string;
+    filePaths: string[];
+  } | {
+    kind: "top-level-fallback";
+    artifactId: null;
+    outputPath: "tasks.md";
+    filePaths: ["tasks.md"];
+  } | {
+    kind: "none";
+    artifactId: null;
+    outputPath: null;
+    filePaths: [];
+  };
+}>;
 /**
  * A delta spec file from changes/{id}/specs/{specId}/spec.md
  * Contains the proposed changes to a spec
@@ -614,11 +767,11 @@ declare const DeltaSpecSchema: z.ZodObject<{
   /** Raw markdown content of the delta spec */
   content: z.ZodString;
 }, "strip", z.ZodTypeAny, {
-  content: string;
   specId: string;
-}, {
   content: string;
+}, {
   specId: string;
+  content: string;
 }>;
 type DeltaSpec = z.infer<typeof DeltaSpecSchema>;
 /**
@@ -700,9 +853,9 @@ declare const ChangeSchema: z.ZodObject<{
         }[] | undefined;
       }>, "many">;
     }, "strip", z.ZodTypeAny, {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -715,9 +868,9 @@ declare const ChangeSchema: z.ZodObject<{
         }[] | undefined;
       }[];
     }, {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -785,9 +938,9 @@ declare const ChangeSchema: z.ZodObject<{
         }[] | undefined;
       }>, "many">;
     }, "strip", z.ZodTypeAny, {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -800,9 +953,9 @@ declare const ChangeSchema: z.ZodObject<{
         }[] | undefined;
       }[];
     }, {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -831,9 +984,9 @@ declare const ChangeSchema: z.ZodObject<{
     spec: string;
     operation: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
     requirements?: {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -847,9 +1000,9 @@ declare const ChangeSchema: z.ZodObject<{
       }[];
     }[] | undefined;
     requirement?: {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -871,9 +1024,9 @@ declare const ChangeSchema: z.ZodObject<{
     spec: string;
     operation: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
     requirements?: {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -887,9 +1040,9 @@ declare const ChangeSchema: z.ZodObject<{
       }[];
     }[] | undefined;
     requirement?: {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -907,37 +1060,250 @@ declare const ChangeSchema: z.ZodObject<{
       to: string;
     } | undefined;
   }>, "many">;
-  /** Trackable tasks from tasks.md */
-  tasks: z.ZodArray<z.ZodObject<{
-    /** Unique identifier (e.g., "task-1") */
-    id: z.ZodString;
-    /** Task description text */
-    text: z.ZodString;
-    /** Whether the task is completed */
-    completed: z.ZodBoolean;
-    /** Optional section heading the task belongs to */
-    section: z.ZodOptional<z.ZodString>;
+  /** Formal tasks selected through the OpenSpec tracked artifact contract. */
+  trackedTaskProgress: z.ZodObject<{
+    tasks: z.ZodArray<z.ZodObject<{
+      /** Unique identifier (e.g., "task-1") */
+      id: z.ZodString;
+      /** Task description text */
+      text: z.ZodString;
+      /** Whether the task is completed */
+      completed: z.ZodBoolean;
+      /** Optional section heading the task belongs to */
+      section: z.ZodOptional<z.ZodString>;
+    } & {
+      location: z.ZodObject<{
+        filePath: z.ZodString;
+        taskIndex: z.ZodNumber;
+      }, "strip", z.ZodTypeAny, {
+        filePath: string;
+        taskIndex: number;
+      }, {
+        filePath: string;
+        taskIndex: number;
+      }>;
+    }, "strip", z.ZodTypeAny, {
+      id: string;
+      text: string;
+      completed: boolean;
+      location: {
+        filePath: string;
+        taskIndex: number;
+      };
+      section?: string | undefined;
+    }, {
+      id: string;
+      text: string;
+      completed: boolean;
+      location: {
+        filePath: string;
+        taskIndex: number;
+      };
+      section?: string | undefined;
+    }>, "many">;
+    total: z.ZodNumber;
+    completed: z.ZodNumber;
+    remaining: z.ZodNumber;
+    phase: z.ZodEnum<["no-tasks", "in-progress", "complete"]>;
+    source: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
+      kind: z.ZodLiteral<"artifact">;
+      artifactId: z.ZodString;
+      outputPath: z.ZodString;
+      filePaths: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+      kind: "artifact";
+      artifactId: string;
+      outputPath: string;
+      filePaths: string[];
+    }, {
+      kind: "artifact";
+      artifactId: string;
+      outputPath: string;
+      filePaths: string[];
+    }>, z.ZodObject<{
+      kind: z.ZodLiteral<"top-level-fallback">;
+      artifactId: z.ZodNull;
+      outputPath: z.ZodLiteral<"tasks.md">;
+      filePaths: z.ZodTuple<[z.ZodLiteral<"tasks.md">], null>;
+    }, "strip", z.ZodTypeAny, {
+      kind: "top-level-fallback";
+      artifactId: null;
+      outputPath: "tasks.md";
+      filePaths: ["tasks.md"];
+    }, {
+      kind: "top-level-fallback";
+      artifactId: null;
+      outputPath: "tasks.md";
+      filePaths: ["tasks.md"];
+    }>, z.ZodObject<{
+      kind: z.ZodLiteral<"none">;
+      artifactId: z.ZodNull;
+      outputPath: z.ZodNull;
+      filePaths: z.ZodTuple<[], null>;
+    }, "strip", z.ZodTypeAny, {
+      kind: "none";
+      artifactId: null;
+      outputPath: null;
+      filePaths: [];
+    }, {
+      kind: "none";
+      artifactId: null;
+      outputPath: null;
+      filePaths: [];
+    }>]>;
   }, "strip", z.ZodTypeAny, {
-    id: string;
-    text: string;
-    completed: boolean;
-    section?: string | undefined;
+    tasks: {
+      id: string;
+      text: string;
+      completed: boolean;
+      location: {
+        filePath: string;
+        taskIndex: number;
+      };
+      section?: string | undefined;
+    }[];
+    completed: number;
+    total: number;
+    remaining: number;
+    phase: "no-tasks" | "in-progress" | "complete";
+    source: {
+      kind: "artifact";
+      artifactId: string;
+      outputPath: string;
+      filePaths: string[];
+    } | {
+      kind: "top-level-fallback";
+      artifactId: null;
+      outputPath: "tasks.md";
+      filePaths: ["tasks.md"];
+    } | {
+      kind: "none";
+      artifactId: null;
+      outputPath: null;
+      filePaths: [];
+    };
   }, {
-    id: string;
-    text: string;
-    completed: boolean;
-    section?: string | undefined;
-  }>, "many">;
-  /** Task completion progress */
-  progress: z.ZodObject<{
+    tasks: {
+      id: string;
+      text: string;
+      completed: boolean;
+      location: {
+        filePath: string;
+        taskIndex: number;
+      };
+      section?: string | undefined;
+    }[];
+    completed: number;
+    total: number;
+    remaining: number;
+    phase: "no-tasks" | "in-progress" | "complete";
+    source: {
+      kind: "artifact";
+      artifactId: string;
+      outputPath: string;
+      filePaths: string[];
+    } | {
+      kind: "top-level-fallback";
+      artifactId: null;
+      outputPath: "tasks.md";
+      filePaths: ["tasks.md"];
+    } | {
+      kind: "none";
+      artifactId: null;
+      outputPath: null;
+      filePaths: [];
+    };
+  }>;
+  /** Secondary checkbox analytics across schema Markdown documents. */
+  documentChecklistSummary: z.ZodObject<{
+    groups: z.ZodArray<z.ZodObject<{
+      artifactIds: z.ZodArray<z.ZodString, "many">;
+      filePath: z.ZodString;
+      tasks: z.ZodArray<z.ZodObject<{
+        /** Unique identifier (e.g., "task-1") */
+        id: z.ZodString;
+        /** Task description text */
+        text: z.ZodString;
+        /** Whether the task is completed */
+        completed: z.ZodBoolean;
+        /** Optional section heading the task belongs to */
+        section: z.ZodOptional<z.ZodString>;
+      }, "strip", z.ZodTypeAny, {
+        id: string;
+        text: string;
+        completed: boolean;
+        section?: string | undefined;
+      }, {
+        id: string;
+        text: string;
+        completed: boolean;
+        section?: string | undefined;
+      }>, "many">;
+      total: z.ZodNumber;
+      completed: z.ZodNumber;
+      remaining: z.ZodNumber;
+    }, "strip", z.ZodTypeAny, {
+      tasks: {
+        id: string;
+        text: string;
+        completed: boolean;
+        section?: string | undefined;
+      }[];
+      completed: number;
+      filePath: string;
+      total: number;
+      remaining: number;
+      artifactIds: string[];
+    }, {
+      tasks: {
+        id: string;
+        text: string;
+        completed: boolean;
+        section?: string | undefined;
+      }[];
+      completed: number;
+      filePath: string;
+      total: number;
+      remaining: number;
+      artifactIds: string[];
+    }>, "many">;
     total: z.ZodNumber;
     completed: z.ZodNumber;
+    remaining: z.ZodNumber;
   }, "strip", z.ZodTypeAny, {
     completed: number;
     total: number;
+    remaining: number;
+    groups: {
+      tasks: {
+        id: string;
+        text: string;
+        completed: boolean;
+        section?: string | undefined;
+      }[];
+      completed: number;
+      filePath: string;
+      total: number;
+      remaining: number;
+      artifactIds: string[];
+    }[];
   }, {
     completed: number;
     total: number;
+    remaining: number;
+    groups: {
+      tasks: {
+        id: string;
+        text: string;
+        completed: boolean;
+        section?: string | undefined;
+      }[];
+      completed: number;
+      filePath: string;
+      total: number;
+      remaining: number;
+      artifactIds: string[];
+    }[];
   }>;
   /** Optional design.md content */
   design: z.ZodOptional<z.ZodString>;
@@ -948,11 +1314,11 @@ declare const ChangeSchema: z.ZodObject<{
     /** Raw markdown content of the delta spec */
     content: z.ZodString;
   }, "strip", z.ZodTypeAny, {
-    content: string;
     specId: string;
-  }, {
     content: string;
+  }, {
     specId: string;
+    content: string;
   }>, "many">>;
   /** Optional metadata */
   metadata: z.ZodOptional<z.ZodObject<{
@@ -966,11 +1332,39 @@ declare const ChangeSchema: z.ZodObject<{
     format?: "openspec-change" | undefined;
   }>>;
 }, "strip", z.ZodTypeAny, {
-  id: string;
   name: string;
-  progress: {
+  id: string;
+  trackedTaskProgress: {
+    tasks: {
+      id: string;
+      text: string;
+      completed: boolean;
+      location: {
+        filePath: string;
+        taskIndex: number;
+      };
+      section?: string | undefined;
+    }[];
     completed: number;
     total: number;
+    remaining: number;
+    phase: "no-tasks" | "in-progress" | "complete";
+    source: {
+      kind: "artifact";
+      artifactId: string;
+      outputPath: string;
+      filePaths: string[];
+    } | {
+      kind: "top-level-fallback";
+      artifactId: null;
+      outputPath: "tasks.md";
+      filePaths: ["tasks.md"];
+    } | {
+      kind: "none";
+      artifactId: null;
+      outputPath: null;
+      filePaths: [];
+    };
   };
   why: string;
   whatChanges: string;
@@ -979,9 +1373,9 @@ declare const ChangeSchema: z.ZodObject<{
     spec: string;
     operation: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
     requirements?: {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -995,9 +1389,9 @@ declare const ChangeSchema: z.ZodObject<{
       }[];
     }[] | undefined;
     requirement?: {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -1015,27 +1409,67 @@ declare const ChangeSchema: z.ZodObject<{
       to: string;
     } | undefined;
   }[];
-  tasks: {
-    id: string;
-    text: string;
-    completed: boolean;
-    section?: string | undefined;
-  }[];
+  documentChecklistSummary: {
+    completed: number;
+    total: number;
+    remaining: number;
+    groups: {
+      tasks: {
+        id: string;
+        text: string;
+        completed: boolean;
+        section?: string | undefined;
+      }[];
+      completed: number;
+      filePath: string;
+      total: number;
+      remaining: number;
+      artifactIds: string[];
+    }[];
+  };
   metadata?: {
     version: string;
     format: "openspec-change";
   } | undefined;
   design?: string | undefined;
   deltaSpecs?: {
-    content: string;
     specId: string;
+    content: string;
   }[] | undefined;
 }, {
-  id: string;
   name: string;
-  progress: {
+  id: string;
+  trackedTaskProgress: {
+    tasks: {
+      id: string;
+      text: string;
+      completed: boolean;
+      location: {
+        filePath: string;
+        taskIndex: number;
+      };
+      section?: string | undefined;
+    }[];
     completed: number;
     total: number;
+    remaining: number;
+    phase: "no-tasks" | "in-progress" | "complete";
+    source: {
+      kind: "artifact";
+      artifactId: string;
+      outputPath: string;
+      filePaths: string[];
+    } | {
+      kind: "top-level-fallback";
+      artifactId: null;
+      outputPath: "tasks.md";
+      filePaths: ["tasks.md"];
+    } | {
+      kind: "none";
+      artifactId: null;
+      outputPath: null;
+      filePaths: [];
+    };
   };
   why: string;
   whatChanges: string;
@@ -1044,9 +1478,9 @@ declare const ChangeSchema: z.ZodObject<{
     spec: string;
     operation: "ADDED" | "MODIFIED" | "REMOVED" | "RENAMED";
     requirements?: {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -1060,9 +1494,9 @@ declare const ChangeSchema: z.ZodObject<{
       }[];
     }[] | undefined;
     requirement?: {
-      title: string;
       id: string;
       text: string;
+      title: string;
       bodyMarkdown: string;
       scenarios: {
         title: string;
@@ -1080,22 +1514,34 @@ declare const ChangeSchema: z.ZodObject<{
       to: string;
     } | undefined;
   }[];
-  tasks: {
-    id: string;
-    text: string;
-    completed: boolean;
-    section?: string | undefined;
-  }[];
+  documentChecklistSummary: {
+    completed: number;
+    total: number;
+    remaining: number;
+    groups: {
+      tasks: {
+        id: string;
+        text: string;
+        completed: boolean;
+        section?: string | undefined;
+      }[];
+      completed: number;
+      filePath: string;
+      total: number;
+      remaining: number;
+      artifactIds: string[];
+    }[];
+  };
   metadata?: {
     version?: string | undefined;
     format?: "openspec-change" | undefined;
   } | undefined;
   design?: string | undefined;
   deltaSpecs?: {
-    content: string;
     specId: string;
+    content: string;
   }[] | undefined;
 }>;
 type Change = z.infer<typeof ChangeSchema>;
 //#endregion
-export { SpecSchema as _, Delta as a, DeltaSchema as c, Requirement as d, RequirementSchema as f, Spec as g, ScenarioStepSchema as h, ChangeSchema as i, DeltaSpec as l, ScenarioStepKeywordSchema as m, ChangeFile as n, DeltaOperation as o, ScenarioStep as p, ChangeFileSchema as r, DeltaOperationType as s, Change as t, DeltaSpecSchema as u, Task as v, TaskSchema as y };
+export { SpecSchema as _, Delta as a, TrackedTaskProgressSchema as b, DeltaSchema as c, Requirement as d, RequirementSchema as f, Spec as g, ScenarioStepSchema as h, ChangeSchema as i, DeltaSpec as l, ScenarioStepKeywordSchema as m, ChangeFile as n, DeltaOperation as o, ScenarioStep as p, ChangeFileSchema as r, DeltaOperationType as s, Change as t, DeltaSpecSchema as u, Task as v, TaskSchema as y };