@osovv/vv-opencode 1.3.7 → 1.4.0

package/dist/lib/spec-lint.d.ts

@@ -1,4 +1,4 @@
-export declare const LINT_VERSION = 1;
+export declare const LINT_VERSION = 2;
 export type SpecLintArtifactKind = "spec" | "plan" | "design-context";
 export type SpecLintSeverity = "error" | "warning";
 export interface SpecLintFinding {
@@ -45,6 +45,76 @@ interface ParseResult {
  * content, multiple roots, and content after the root element.
  */
 export declare function parseSpecXml(content: string, file: string): ParseResult;
+/** Canonical reviewer roles accepted inside a delegated checkpoint's reviewer set. */
+export type DelegatedReviewer = "spec" | "code";
+/** Typed delegated obligation for one declared plan task. */
+export interface DelegatedTaskDefinition {
+    /** Canonical task id used by depends_on and checkpoint coverage (e.g. "T-001"). */
+    taskId: string;
+    /** Declaring identity element name (e.g. "TASK-T-001"). */
+    taskElement: string;
+    /** Declaring wave id in document order (e.g. "WAVE-1"). */
+    wave: string;
+    /** Normalized workspace-relative write scope files declared for the task. */
+    writeScope: string[];
+}
+/** Typed delegated obligation for one declared review checkpoint. */
+export interface DelegatedCheckpointDefinition {
+    /** Declared checkpoint identity (e.g. "CHECKPOINT-R-001"). */
+    checkpointId: string;
+    kind: "milestone" | "final";
+    /** Wave barrier that must be accepted before the checkpoint may start. */
+    afterWave: string;
+    /** Canonical task ids covered by the checkpoint. */
+    covers: string[];
+    /** Normalized workspace-relative files reviewed by the checkpoint. */
+    scope: string[];
+    /** Declared reviewer roles; every role must pass for the checkpoint to pass. */
+    reviewers: DelegatedReviewer[];
+    /** Acceptance criterion texts recorded in the plan. */
+    acceptance: string[];
+    /** Verification command texts recorded in the plan. */
+    verification: string[];
+}
+/** Typed obligations extracted from a plan's delegated execution section. */
+export interface DelegatedPlanDefinition {
+    mode: "delegated";
+    /** Declared wave ids in document order. */
+    waves: string[];
+    tasks: DelegatedTaskDefinition[];
+    checkpoints: DelegatedCheckpointDefinition[];
+}
+/** Either a typed delegated definition or the collected validation errors. */
+export type DelegatedPlanExtractionResult = {
+    ok: true;
+    definition: DelegatedPlanDefinition;
+} | {
+    ok: false;
+    errors: string[];
+};
+/** Normalized workspace-relative path, or the reason a declared path is malformed. */
+export type DeclaredScopePathResult = {
+    ok: true;
+    path: string;
+} | {
+    ok: false;
+    reason: string;
+};
+/**
+ * Text-level canonical normalization for declared scope paths. The linter and
+ * the runtime snapshot fingerprint share this representation so a plan that
+ * lints clean cannot declare paths the runtime normalizer rejects on sight.
+ * Filesystem-specific checks (existence, symlinks, regular files) stay in the
+ * runtime normalizer; this function is deliberately pure.
+ */
+export declare function normalizeDeclaredScopePath(raw: string): DeclaredScopePathResult;
+/**
+ * Strictly extract typed delegated obligations from plan content. Returns
+ * ok:false with every validation message when the plan does not declare a
+ * structurally complete and valid delegated execution section, so runtime
+ * registration and lint share one contract instead of two interpretations.
+ */
+export declare function extractDelegatedPlanDefinition(planContent: string, file?: string): DelegatedPlanExtractionResult;
 /** True when a file label sits under an archive/ directory. */
 export declare function isSpecArchivePath(file: string): boolean;
 export declare function detectSpecArtifactKind(rootName: string): SpecLintArtifactKind | "unknown";