@cleocode/contracts 2026.5.121 → 2026.5.123

package/src/task-record.ts

@@ -25,6 +25,20 @@ export interface ValidationHistoryEntry {
   timestamp: string;
 }
 
+/** Compact relation/document counts surfaced on default `cleo show` MVI output. */
+export interface TaskRecordRelationCounts {
+  /** Direct dependencies declared by the task. */
+  depends: number;
+  /** Explicit blockedBy entries on the task record. */
+  blockedBy: number;
+  /** Non-dependency task relation links. */
+  relates: number;
+  /** Direct child tasks. */
+  children: number;
+  /** Docs attachments linked to the task. */
+  docs: number;
+}
+
 /** String-widened Task for JSON serialization in dispatch/LAFS layer. */
 export interface TaskRecord {
   id: string;
@@ -58,6 +72,8 @@ export interface TaskRecord {
   lifecycleState?: string | null;
   validationHistory?: ValidationHistoryEntry[];
   blockedBy?: string[];
+  /** Compact counts for relationships and docs, kept in default MVI projection. */
+  relationCounts?: TaskRecordRelationCounts;
   cancellationReason?: string;
   /** RCASD-IVTR+C pipeline stage. @task T060 */
   pipelineStage?: string | null;

package/src/task.ts

@@ -30,7 +30,12 @@ export type { TaskStatus };
  * A single acceptance criterion — either a free-text string (legacy) or a
  * structured {@link AcceptanceGate} (machine-verifiable).
  *
- * Mixed arrays of these are stored as JSON in the `acceptance_json` column.
+ * Mixed arrays of these were historically stored as JSON in the
+ * `acceptance_json` column. T10574 deprecates that column for completion:
+ * post-migration completion/readiness/AC-coverage logic must use canonical
+ * `task_acceptance_criteria` rows and `evidence_ac_bindings` instead.
+ * `acceptance_json` remains only for legacy import/backfill compatibility
+ * until all display fallbacks and historical fixtures have been removed.
  *
  * @epic T760
  * @task T780
@@ -81,14 +86,16 @@ export type TaskKind = 'work' | 'research' | 'experiment' | 'bug' | 'spike' | 'r
 export type TaskScope = 'project' | 'feature' | 'unit';
 
 /**
- * Bug severity axis. Only meaningful when `kind='bug'`; enforced by a DB-level
- * CHECK constraint on the `role` column (`severity IS NULL OR (severity IN (...) AND role='bug')`).
+ * Severity axis. Orthogonal to {@link TaskKind}; valid severities may be set
+ * on work/research/experiment/bug/spike/release tasks alike. The DB CHECK
+ * constraint only validates membership in P0-P3.
  *
  * OWNER-WRITE-ONLY: severity is intended to be set through owner-authenticated
  * paths only. This prevents a prompt-injection exploit where a compromised
  * Tier 3 agent could downgrade a P0 bug to P3 to force-ship.
  *
  * @task T944
+ * @task T10089
  */
 export type TaskSeverity = 'P0' | 'P1' | 'P2' | 'P3';
 
@@ -306,6 +313,45 @@ export type EvidenceAtom =
       successCount: number;
       /** Total number of checks evaluated in the rollup. */
       totalChecks: number;
+    }
+  | {
+      /**
+       * Satisfies atom — cross-task acceptance-criterion binding per
+       * ADR-079-r2.
+       *
+       * Carries the parsed form (one of `targetAcId` UUID or
+       * `targetAcAlias` `AC<digits>` will be populated; optional
+       * `versionPin` captures the target AC's `updated_at` at mint time)
+       * plus the validator-canonical `resolvedAcUuid` populated by the
+       * T10507 5-check pipeline (target exists, not terminal, AC exists,
+       * same-saga scope). T10506 only ships the parser — the validated
+       * form is reserved here so consumers of `EvidenceAtom` (sentinel
+       * tables, gate-checkers, audit logs) can pattern-match on
+       * `kind === 'satisfies'` from day one.
+       *
+       * Format: `satisfies:<task-id>#<ac-id>[@<version-pin>]`
+       *   - `satisfies:T1234#a1b2c3d4-5e6f-4890-abcd-ef1234567890` (UUID)
+       *   - `satisfies:T1234#AC2`                                  (alias)
+       *   - `satisfies:T1234#AC2@20260524223045`                   (pin)
+       *
+       * @task T10506
+       * @adr ADR-079-r2
+       */
+      kind: 'satisfies';
+      /** Target task ID — `T<1-7 digits>` per ADR-079-r2 §2.1. */
+      targetTaskId: string;
+      /** Lowercase UUIDv4/v5 — populated for canonical form; undefined for alias form. */
+      targetAcId?: string;
+      /** `AC<1-4 digits>` alias — populated for alias form; undefined for UUID form. */
+      targetAcAlias?: string;
+      /** Optional `@<YYYYMMDDhhmmss>` pin captured at mint time. */
+      versionPin?: string;
+      /**
+       * Canonical UUID resolved by the T10507 validator from `targetAcId`
+       * (already canonical) or by looking up `(targetTaskId, alias-ordinal)`.
+       * Reserved here for forward compatibility; undefined under T10506.
+       */
+      resolvedAcUuid?: string;
     };
 
 /**
@@ -427,7 +473,7 @@ export interface Task {
   scope?: TaskScope;
 
   /**
-   * Bug severity. Only valid when {@link role} is `'bug'`. OWNER-WRITE-ONLY.
+   * Severity axis. Valid for any {@link kind}. OWNER-WRITE-ONLY.
    * @defaultValue undefined
    * @task T944
    */
@@ -467,6 +513,9 @@ export interface Task {
   /** Related task entries (non-dependency relationships). @defaultValue undefined */
   relates?: TaskRelation[];
 
+  /** Gate status map (implemented/testsPassed/qaPassed). @defaultValue undefined */
+  gates?: Record<string, boolean>;
+
   /** Epic lifecycle state. Only meaningful when `type = 'epic'`. @defaultValue undefined */
   epicLifecycle?: EpicLifecycle | null;
 
@@ -599,7 +648,7 @@ export interface TaskCreate {
   scope?: TaskScope;
 
   /**
-   * Bug severity (OWNER-WRITE-ONLY). Only valid with `kind='bug'`.
+   * Severity axis (OWNER-WRITE-ONLY). Valid for any `kind`.
    * @defaultValue undefined
    * @task T944
    */