@cleocode/contracts 2026.5.108 → 2026.5.110

package/src/index.ts

@@ -128,6 +128,14 @@ export type {
   BackupMetadata,
   BackupScope,
 } from './backup-manifest.js';
+// === Backup Verify Types (T10319 — per-DB freshness + integrity walker) ===
+export type {
+  BackupVerifyDbReport,
+  BackupVerifyResult,
+  BackupVerifySnapshot,
+  BackupVerifySummary,
+  BackupVerifyVerdict,
+} from './backup-verify.js';
 // === Boundary Registry (SSoT for Rust/TS layering — ADR-078, Saga T10176) ===
 export type {
   BoundaryEntry,
@@ -140,10 +148,13 @@ export type {
 export { BOUNDARY_REGISTRY } from './boundary.js';
 // === Brain/Memory Types ===
 export type {
+  BackupRecoverBrainResult,
   BrainCognitiveType,
   BrainEntryRef,
   BrainEntrySummary,
   BrainMemoryTier,
+  BrainRecoveredRowCounts,
+  BrainRecoveryResult,
   BrainSourceConfidence,
   ContradictionDetail,
   SupersededEntry,
@@ -271,6 +282,21 @@ export type {
   TaskQueryFilters,
   TransactionAccessor,
 } from './data-accessor.js';
+// === Database Inventory (Saga T10281 / Epic T10282 / Task T10305 — SG-BRAIN-DB-RESILIENCE) ===
+export type {
+  DbConcurrency,
+  DbInventoryEntry,
+  DbPrivacy,
+  DbRole,
+  DbTier,
+} from './db-inventory.js';
+export { DB_INVENTORY } from './db-inventory.js';
+// === DB Recovery (T10318 — Saga T10281 / Epic T10284 — generic across DB_INVENTORY) ===
+export type {
+  BackupRecoverResult,
+  DbRecoveredRowCounts,
+  DbRecoveryResult,
+} from './db-recovery.js';
 // === Dependency Registry Contracts ===
 export type {
   DependencyCategory,
@@ -313,10 +339,30 @@ export {
 } from './docs-taxonomy.js';
 // === Doctor: Worktree-Orphan Audit + Prune Types (T9790, T9808, T9962) ===
 // === Doctor: Saga Hierarchy Audit (T10119 — ADR-073 §1.2) ===
+// === Doctor: DB-Substrate Survey (T10307 — Saga T10281 / Epic T10282) ===
+// === Doctor: Legacy-Backup Walker (T10309 — Saga T10281 / Epic T10282) ===
+// === Doctor: Cross-DB Invariants (T10323 — Saga T10281 / Epic T10285) ===
 export type {
   ComprehensiveAuditResult,
+  DbCrossDbInvariantId,
+  DbCrossDbOrphanReport,
+  DbSubstrateAuditResult,
+  DbSubstrateEntry,
+  DbSubstrateMigrationCoverage,
+  DbSubstrateMigrationMissing,
+  DbSubstrateMigrationOrphan,
+  DbSubstrateProjectSurvey,
+  DbSubstrateSummary,
+  DbSubstrateSurveyOptions,
+  DbSubstrateWarning,
+  DbSubstrateWarningKind,
+  LegacyBackupEntry,
+  LegacyBackupOriginHint,
+  LegacyBackupRecommendation,
+  LegacyBackupScanResult,
   OrphanEntry,
   OrphanScanResult,
+  PragmaDriftItem,
   PruneAuditEntry,
   PruneResult,
   SagaAuditEntry,

package/src/memory/observe.ts

@@ -122,6 +122,14 @@ export interface ObserveBrainParams {
    * External callers MUST NOT set this flag.
    */
   _skipGate?: boolean;
+  /**
+   * T10351: Internal flag — when true, bypasses the brain writer-thread
+   * chokepoint and writes directly. Set ONLY by the writer-thread handler
+   * (`brain-writer-handlers.ts`) when re-entering observeBrain from inside
+   * the worker, so the routing doesn't recurse forever. External callers
+   * MUST NOT set this flag.
+   */
+  _skipQueue?: boolean;
 }
 
 // ── ObserveBrainResult ──────────────────────────────────────────────

package/src/operations/tasks.ts

@@ -24,7 +24,7 @@ import type { TaskAnalysisResult, TaskRef } from '../results.js';
  * Common task types (API contract — matches CLI src/types/task.ts)
  */
 import type { TaskStatus } from '../status-registry.js';
-import type { TaskPriority } from '../task.js';
+import type { TaskPriority, TaskType } from '../task.js';
 import type { TaskRecord } from '../task-record.js';
 import type { ExternalTask, ExternalTaskLink, ReconcileResult } from '../task-sync.js';
 import type {
@@ -725,7 +725,7 @@ export interface TasksAddBatchParams {
     depends?: string[];
     priority?: string;
     labels?: string[];
-    type?: string; // SSoT-EXEMPT:kind≠type — 'type' is hierarchy(epic|task|subtask), 'kind' is intent(work|bug|...) — separate axes T944
+    type?: TaskType; // SSoT-EXEMPT:kind≠type — 'type' is hierarchy(saga|epic|task|subtask), 'kind' is intent(work|bug|...) — separate axes T944 // ssot-exempt-ok: pre-existing exempt, narrowed string→TaskType (T10328)
     acceptance?: string[];
     phase?: string;
     size?: string;
@@ -768,7 +768,7 @@ export interface TasksAddParams {
   depends?: string[];
   priority?: string;
   labels?: string[];
-  type?: string; // SSoT-EXEMPT:kind≠type — 'type' is hierarchy(epic|task|subtask), 'kind' is intent(work|bug|...) — separate axes T944
+  type?: TaskType; // SSoT-EXEMPT:kind≠type — 'type' is hierarchy(saga|epic|task|subtask), 'kind' is intent(work|bug|...) — separate axes T944 // ssot-exempt-ok: pre-existing exempt, narrowed string→TaskType (T10328)
   acceptance?: string[];
   phase?: string;
   size?: string;
@@ -824,7 +824,7 @@ export interface TasksUpdateQueryParams {
   acceptance?: string[];
   /** Canonical wire field for parent task ID. @see ADR-057 D2 */
   parent?: string | null;
-  type?: string; // SSoT-EXEMPT:kind≠type — 'type' is hierarchy(epic|task|subtask), 'kind' is intent(work|bug|...) — separate axes T944
+  type?: TaskType; // SSoT-EXEMPT:kind≠type — 'type' is hierarchy(saga|epic|task|subtask), 'kind' is intent(work|bug|...) — separate axes T944 // ssot-exempt-ok: pre-existing exempt, narrowed string→TaskType (T10328)
   size?: string;
   files?: string[];
   /** Add files incrementally (mirrors --add-labels pattern). @task T9242 */

package/src/task.ts

@@ -41,8 +41,19 @@ export type AcceptanceItem = string | AcceptanceGate;
 /** Task priority levels. */
 export type TaskPriority = 'critical' | 'high' | 'medium' | 'low';
 
-/** Task type in hierarchy. */
-export type TaskType = 'epic' | 'task' | 'subtask';
+/**
+ * Task type in hierarchy.
+ *
+ * Per ADR-083 §2.5, `'saga'` is a first-class tier discriminator above
+ * Epic — a Saga groups N Epics across multiple releases. Hierarchy is now
+ * Saga (depth 0) → Epic (1) → Task (2) → Subtask (3), with `maxDepth=3`
+ * preserved under each Saga member.
+ *
+ * @adr ADR-083 §2.5
+ * @saga T10326
+ * @task T10328
+ */
+export type TaskType = 'saga' | 'epic' | 'task' | 'subtask';
 
 /**
  * Task kind axis — orthogonal to {@link TaskType}, describes the intent of work.