@company-semantics/contracts 47.2.0 → 48.0.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@company-semantics/contracts",
-  "version": "47.2.0",
+  "version": "48.0.0",
   "private": false,
   "repository": {
     "type": "git",

package/src/ralph/prd.ts

@@ -167,21 +167,71 @@ export type RalphMeta = {
  *
  * Discriminated union of verification check types.
  * All criteria must pass for feature to be marked passes: true.
+ *
+ * This union is the contract for what the Ralph verifier dispatch actually
+ * runs (control repo, `acceptance-verifier-dispatch.ts`) — every member here
+ * has a runner; anything else is rejected at preflight
+ * (ADR-CONTRACTS-121). Field names are canonical: the runner-side alias
+ * `expected` (for `expectedExitCode`) survives one release and then dies.
+ *
+ * `ci_status` was REMOVED in ADR-CONTRACTS-121: it was never implemented
+ * (the runner passed unconditionally) and had zero uses in the PRD corpus.
+ * CI is verified by guards — use `guard_passes` / `guard_suite`.
  */
 export type RalphAcceptanceCriteria =
-  | { type: "file_contains"; path: string; pattern: string }
+  | {
+      type: "file_contains";
+      path: string;
+      /** Regex (default) or literal needle. Forbidden when match is "semantic". */
+      pattern?: string;
+      /** Regex flags (regex match mode only). */
+      flags?: string;
+      /** Match mode; default "regex". "semantic" judges `claim` via LLM. */
+      match?: "regex" | "literal" | "semantic";
+      /** Semantic-judge assertion (required iff match is "semantic"). */
+      claim?: string;
+    }
+  | { type: "file_not_contains"; path: string; pattern: string; flags?: string }
+  | { type: "file_exists"; path: string }
+  | { type: "file_not_exists"; path: string }
   | {
       type: "command_exit";
       command: string;
       expectedExitCode: number;
+      /** Explicit working directory override (ADR-CTRL-078 in control). */
+      cwd?: string;
+    }
+  | {
+      type: "test_passes";
+      /** Vitest file-path/test-name filter. */
+      pattern?: string;
+      /** Sibling repo whose suite runs (executor worktree preferred; ADR-CTRL-386). */
+      repo?: string;
+    }
+  | {
+      type: "grep_count";
+      path: string;
+      pattern: string;
+      /** At-least-N semantics. Exactly one of minCount/expectedCount. */
+      minCount?: number;
+      /** Exactly-N semantics. Exactly one of minCount/expectedCount. */
+      expectedCount?: number;
+    }
+  | {
+      type: "guard_passes";
+      guard: string;
+      /** Sibling repo to run in (executor worktree preferred; ADR-CTRL-386). */
+      repo?: string;
     }
   | {
-      type: "ci_status";
-      workflow?: string;
-      status: "success" | "failure";
-      scope?: "current_sha" | "branch";
+      type: "guard_suite";
+      /** "quick" (default) = pnpm guard:quick; "full" = pnpm guard. */
+      mode?: "quick" | "full";
+      repo?: string;
     }
-  | { type: "test_passes"; pattern?: string };
+  | { type: "schema_sync" }
+  | { type: "migration_applied" }
+  | { type: "migration_idempotent" };
 
 /**
  * Code shape guidance for feature implementation.