ultra-builder-pro-cli 0.14.0 → 0.16.0

package/spec/schemas/baseline-reconciliation.v1.schema.json

@@ -0,0 +1,73 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://ultra-builder-pro.dev/schemas/baseline-reconciliation.v1.schema.json",
+  "title": "Ultra baseline reconciliation v1",
+  "type": "object",
+  "required": [
+    "$schema", "change_id", "baseline_id", "baseline_updates", "semantic_changes",
+    "resolved_gap_ids", "resolved_unknowns", "verification"
+  ],
+  "additionalProperties": false,
+  "properties": {
+    "$schema": { "const": "ultra-baseline-reconciliation-v1" },
+    "change_id": { "type": "string", "minLength": 1 },
+    "baseline_id": { "type": ["string", "null"] },
+    "baseline_updates": {
+      "type": "array",
+      "uniqueItems": true,
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "semantic_changes": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "action", "source_ref", "before_digest", "after_digest"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "pattern": "^[a-zA-Z0-9_-]+$" },
+          "action": { "enum": ["add", "update"] },
+          "source_ref": { "type": "string", "pattern": "^[^#]+#[^#]+$" },
+          "before_digest": { "type": ["string", "null"], "pattern": "^[0-9a-f]{64}$" },
+          "after_digest": { "type": "string", "pattern": "^[0-9a-f]{64}$" }
+        }
+      }
+    },
+    "resolved_gap_ids": {
+      "type": "array", "uniqueItems": true,
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "resolved_unknowns": {
+      "type": "array", "uniqueItems": true,
+      "items": { "type": "string", "minLength": 1 }
+    },
+    "verification": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "required": ["name", "command", "status", "evidence"],
+        "additionalProperties": false,
+        "properties": {
+          "name": { "type": "string", "minLength": 1 },
+          "command": { "type": "string", "minLength": 1 },
+          "status": { "const": "pass" },
+          "evidence": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "semantic_no_change_reason": { "type": ["string", "null"], "minLength": 3 }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "baseline_updates": { "maxItems": 0 } } },
+      "then": {
+        "required": ["semantic_no_change_reason"],
+        "properties": {
+          "semantic_changes": { "maxItems": 0 },
+          "semantic_no_change_reason": { "type": "string", "minLength": 3 }
+        }
+      },
+      "else": { "properties": { "semantic_changes": { "minItems": 1 } } }
+    }
+  ]
+}

package/spec/schemas/delivery-report.v1.schema.json

@@ -0,0 +1,111 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://ultra-builder-pro.dev/schemas/delivery-report.v1.schema.json",
+  "title": "Ultra delivery report v1",
+  "type": "object",
+  "required": [
+    "$schema", "change_id", "archive_status", "baseline_id", "baseline_status",
+    "git_commit", "worktree_digest", "context_digest", "checks", "release", "rollback", "timestamp"
+  ],
+  "additionalProperties": false,
+  "properties": {
+    "$schema": { "const": "ultra-delivery-report-v1" },
+    "change_id": { "type": ["string", "null"] },
+    "archive_status": { "type": ["string", "null"], "enum": ["archived", null] },
+    "baseline_id": { "type": ["string", "null"] },
+    "baseline_status": { "type": ["string", "null"] },
+    "git_commit": { "type": ["string", "null"] },
+    "worktree_digest": { "type": ["string", "null"], "pattern": "^[0-9a-f]{64}$" },
+    "context_digest": { "type": ["string", "null"], "pattern": "^[0-9a-f]{64}$" },
+    "checks": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["command", "status", "exit_code", "evidence"],
+        "additionalProperties": false,
+        "properties": {
+          "command": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["pass", "fail"] },
+          "exit_code": { "type": "integer" },
+          "evidence": { "type": "string", "minLength": 1 }
+        },
+        "allOf": [
+          {
+            "if": { "properties": { "status": { "const": "pass" } } },
+            "then": { "properties": { "exit_code": { "const": 0 } } }
+          },
+          {
+            "if": { "properties": { "status": { "const": "fail" } } },
+            "then": { "properties": { "exit_code": { "not": { "const": 0 } } } }
+          }
+        ]
+      }
+    },
+    "release": {
+      "type": "object",
+      "required": ["authorized", "performed", "evidence"],
+      "additionalProperties": false,
+      "properties": {
+        "authorized": { "type": "boolean" },
+        "performed": { "type": "boolean" },
+        "evidence": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["kind", "reference", "status", "evidence"],
+            "additionalProperties": false,
+            "properties": {
+              "kind": { "enum": ["commit", "push", "tag", "registry", "deploy", "release", "other"] },
+              "reference": { "type": "string", "minLength": 1 },
+              "status": { "const": "pass" },
+              "evidence": { "type": "string", "minLength": 1 }
+            }
+          }
+        },
+        "version": { "type": "string" },
+        "tag": { "type": "string" },
+        "commit": { "type": "string" },
+        "registry": { "type": "string" },
+        "remote": { "type": "string" }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "authorized": { "const": true } } },
+          "then": {
+            "properties": {
+              "performed": { "const": true },
+              "evidence": { "minItems": 1 }
+            }
+          },
+          "else": {
+            "properties": {
+              "performed": { "const": false },
+              "evidence": { "maxItems": 0 }
+            }
+          }
+        }
+      ]
+    },
+    "rollback": { "type": ["string", "null"] },
+    "timestamp": { "type": ["string", "null"], "format": "date-time" }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "archive_status": { "const": "archived" } } },
+      "then": {
+        "properties": {
+          "change_id": { "type": "string", "minLength": 1 },
+          "baseline_id": { "type": "string", "minLength": 1 },
+          "baseline_status": { "type": "string", "minLength": 1 },
+          "context_digest": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+          "checks": {
+            "minItems": 1,
+            "items": { "properties": { "status": { "const": "pass" }, "exit_code": { "const": 0 } } }
+          },
+          "rollback": { "type": "string", "minLength": 1 },
+          "timestamp": { "type": "string", "format": "date-time" }
+        }
+      }
+    }
+  ]
+}

package/spec/schemas/mcp-tools.schema.json

@@ -60,7 +60,7 @@
         },
         "family": {
           "type": "string",
-          "enum": ["task", "memory", "review", "impact", "skill", "session", "ask", "plan", "baseline", "change", "system"]
+          "enum": ["task", "memory", "review", "impact", "skill", "session", "ask", "plan", "baseline", "change", "decision", "workflow", "system"]
         },
         "description": { "type": "string", "minLength": 10 },
         "phase": {

package/spec/schemas/state-db.sql

@@ -33,6 +33,7 @@ CREATE TABLE IF NOT EXISTS baselines (
   worktree_digest     TEXT,
   worktree_files_json TEXT NOT NULL DEFAULT '[]',
   worktree_accepted   INTEGER NOT NULL DEFAULT 0 CHECK (worktree_accepted IN (0, 1)),
+  known_red_accepted  INTEGER NOT NULL DEFAULT 0 CHECK (known_red_accepted IN (0, 1)),
   spec_refs_json      TEXT NOT NULL DEFAULT '[]',
   evidence_json       TEXT NOT NULL DEFAULT '[]',
   verification_json   TEXT NOT NULL DEFAULT '[]',
@@ -40,6 +41,7 @@ CREATE TABLE IF NOT EXISTS baselines (
   gaps_json           TEXT NOT NULL DEFAULT '[]',
   classification_json TEXT NOT NULL DEFAULT '{}',
   provider_refs_json  TEXT NOT NULL DEFAULT '{}',
+  research_run_id     TEXT,
   approved_by         TEXT,
   approval_note       TEXT,
   started_at          TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
@@ -62,6 +64,10 @@ CREATE TABLE IF NOT EXISTS changes (
   docs_impact_json  TEXT NOT NULL DEFAULT '{"status":"unknown","files":[],"rationale":null}',
   provider_refs_json TEXT NOT NULL DEFAULT '{}',
   baseline_bypass_json TEXT,
+  contract_json     TEXT NOT NULL DEFAULT '{}',
+  classification_json TEXT NOT NULL DEFAULT '{}',
+  research_disposition_json TEXT NOT NULL DEFAULT '{}',
+  alignment_thread_id TEXT REFERENCES decision_threads(id) ON DELETE SET NULL,
   base_commit       TEXT,
   artifact_root     TEXT NOT NULL,
   created_at        TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
@@ -88,9 +94,16 @@ CREATE TABLE IF NOT EXISTS tasks (
   files_modified    TEXT,                -- JSON array of paths (Phase 8B conflict detection)
   session_id        TEXT,                -- current owning session (Phase 4.5)
   stale             INTEGER NOT NULL DEFAULT 0 CHECK (stale IN (0, 1)),
-  complexity_hint   TEXT CHECK (complexity_hint IN ('haiku', 'sonnet', 'opus')),
   tag               TEXT,                -- git branch tag (Phase 7.2)
   trace_to          TEXT,                -- spec anchor reference
+  outcome           TEXT,                -- observable result owned by this task
+  slice_kind        TEXT CHECK (slice_kind IS NULL OR slice_kind IN ('tracer_bullet', 'expand_contract', 'integration_checkpoint')),
+  public_seam       TEXT,                -- externally observable seam exercised by the slice
+  verification_command TEXT,             -- exact task-level verification command
+  acceptance_json   TEXT NOT NULL DEFAULT '[]',
+  context_refs_json TEXT NOT NULL DEFAULT '[]',
+  docs_impact_json  TEXT NOT NULL DEFAULT '{"status":"unknown","files":[],"rationale":null}',
+  ownership_json    TEXT NOT NULL DEFAULT '{}',
   context_file      TEXT,                -- projection target path
   completion_commit TEXT,                -- backfilled hash (Phase 2.8)
   change_id         TEXT REFERENCES changes(id) ON DELETE SET NULL,
@@ -261,6 +274,10 @@ CREATE TABLE IF NOT EXISTS spec_learning_candidates (
   status        TEXT NOT NULL DEFAULT 'proposed'
                   CHECK (status IN ('proposed', 'approved', 'rejected', 'applied')),
   resolution    TEXT,
+  applied_ref   TEXT,
+  before_digest TEXT,
+  after_digest  TEXT,
+  apply_evidence_json TEXT NOT NULL DEFAULT '[]',
   proposed_at   TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
   resolved_at   TEXT,
   applied_at    TEXT
@@ -328,6 +345,120 @@ CREATE TABLE IF NOT EXISTS event_consumers (
   updated_at TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now'))
 );
 
+-- ──────────────────────────── workflow runs ───────────────────────────────
+-- Skills own judgment and artifact content. MCP owns durable transitions,
+-- evidence references, output digests, blockers, and recovery position.
+CREATE TABLE IF NOT EXISTS workflow_runs (
+  id                 TEXT PRIMARY KEY,
+  kind               TEXT NOT NULL
+                       CHECK (kind IN ('init', 'research', 'plan', 'change', 'dev', 'test', 'review', 'deliver')),
+  mode               TEXT,
+  subject            TEXT NOT NULL,
+  definition_version TEXT NOT NULL DEFAULT '1.0',
+  status             TEXT NOT NULL DEFAULT 'active'
+                       CHECK (status IN ('active', 'blocked', 'ready', 'completed', 'cancelled')),
+  current_step       TEXT,
+  baseline_id        TEXT REFERENCES baselines(id) ON DELETE SET NULL,
+  change_id          TEXT REFERENCES changes(id) ON DELETE SET NULL,
+  task_id            TEXT REFERENCES tasks(id) ON DELETE SET NULL,
+  metadata_json      TEXT NOT NULL DEFAULT '{}',
+  blockers_json      TEXT NOT NULL DEFAULT '[]',
+  approval_json      TEXT,
+  summary_json       TEXT NOT NULL DEFAULT '{}',
+  started_at         TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
+  updated_at         TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
+  completed_at       TEXT
+);
+
+CREATE INDEX IF NOT EXISTS workflow_runs_status
+  ON workflow_runs(status, kind, updated_at);
+CREATE INDEX IF NOT EXISTS workflow_runs_baseline
+  ON workflow_runs(baseline_id, kind, updated_at);
+CREATE INDEX IF NOT EXISTS workflow_runs_change
+  ON workflow_runs(change_id, kind, updated_at);
+CREATE INDEX IF NOT EXISTS workflow_runs_task
+  ON workflow_runs(task_id, kind, updated_at);
+
+CREATE TABLE IF NOT EXISTS workflow_steps (
+  run_id          TEXT NOT NULL REFERENCES workflow_runs(id) ON DELETE CASCADE,
+  step_id         TEXT NOT NULL,
+  position        INTEGER NOT NULL CHECK (position >= 0),
+  title           TEXT NOT NULL,
+  required        INTEGER NOT NULL DEFAULT 1 CHECK (required IN (0, 1)),
+  status          TEXT NOT NULL DEFAULT 'pending'
+                    CHECK (status IN ('pending', 'in_progress', 'completed', 'skipped', 'blocked')),
+  evidence_json   TEXT NOT NULL DEFAULT '[]',
+  outputs_json    TEXT NOT NULL DEFAULT '[]',
+  decisions_json  TEXT NOT NULL DEFAULT '[]',
+  semantic_records_json TEXT NOT NULL DEFAULT '[]',
+  blockers_json   TEXT NOT NULL DEFAULT '[]',
+  skip_reason     TEXT,
+  started_at      TEXT,
+  completed_at    TEXT,
+  updated_at      TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
+  PRIMARY KEY (run_id, step_id)
+);
+
+CREATE UNIQUE INDEX IF NOT EXISTS workflow_steps_position
+  ON workflow_steps(run_id, position);
+CREATE INDEX IF NOT EXISTS workflow_steps_status
+  ON workflow_steps(run_id, status, position);
+
+-- ──────────────────────────── decision dialogue ─────────────────────────
+-- The host owns reasoning and normalized decision content. MCP owns one-at-a-
+-- time presentation, durable authority, checkpoints, and recovery. Raw prompts
+-- and transcripts never belong in these tables.
+CREATE TABLE IF NOT EXISTS decision_threads (
+  id                 TEXT PRIMARY KEY,
+  purpose            TEXT NOT NULL,
+  mode               TEXT NOT NULL DEFAULT 'guided'
+                       CHECK (mode IN ('guided', 'fast', 'autonomous', 'diagnostic')),
+  status             TEXT NOT NULL DEFAULT 'active'
+                       CHECK (status IN ('active', 'checkpoint_ready', 'confirmed', 'cancelled')),
+  baseline_id        TEXT REFERENCES baselines(id) ON DELETE SET NULL,
+  change_id          TEXT REFERENCES changes(id) ON DELETE CASCADE,
+  workflow_run_id    TEXT REFERENCES workflow_runs(id) ON DELETE CASCADE,
+  summary_json       TEXT NOT NULL DEFAULT '{}',
+  checkpoint_json    TEXT NOT NULL DEFAULT '{}',
+  started_at         TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
+  updated_at         TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
+  confirmed_at       TEXT,
+  CHECK (baseline_id IS NOT NULL OR change_id IS NOT NULL OR workflow_run_id IS NOT NULL)
+);
+
+CREATE INDEX IF NOT EXISTS decision_threads_status
+  ON decision_threads(status, updated_at);
+CREATE INDEX IF NOT EXISTS decision_threads_authority
+  ON decision_threads(baseline_id, change_id, workflow_run_id, status);
+
+CREATE TABLE IF NOT EXISTS decision_items (
+  id                 TEXT PRIMARY KEY,
+  thread_id          TEXT NOT NULL REFERENCES decision_threads(id) ON DELETE CASCADE,
+  sequence           INTEGER NOT NULL CHECK (sequence > 0),
+  phase              TEXT NOT NULL,
+  question           TEXT NOT NULL,
+  why_now            TEXT NOT NULL,
+  recommendation     TEXT NOT NULL,
+  options_json       TEXT NOT NULL DEFAULT '[]',
+  evidence_refs_json TEXT NOT NULL DEFAULT '[]',
+  dependency_ids_json TEXT NOT NULL DEFAULT '[]',
+  effects_json       TEXT NOT NULL DEFAULT '{}',
+  blocking           INTEGER NOT NULL DEFAULT 1 CHECK (blocking IN (0, 1)),
+  status             TEXT NOT NULL DEFAULT 'open'
+                       CHECK (status IN ('open', 'answered', 'delegated', 'deferred', 'superseded')),
+  resolution_json    TEXT NOT NULL DEFAULT '{}',
+  supersedes_id      TEXT REFERENCES decision_items(id) ON DELETE SET NULL,
+  created_at         TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
+  updated_at         TEXT NOT NULL DEFAULT (strftime('%Y-%m-%dT%H:%M:%fZ', 'now')),
+  resolved_at        TEXT,
+  UNIQUE (thread_id, sequence)
+);
+
+CREATE UNIQUE INDEX IF NOT EXISTS decision_items_one_open
+  ON decision_items(thread_id) WHERE status = 'open';
+CREATE INDEX IF NOT EXISTS decision_items_status
+  ON decision_items(thread_id, status, sequence);
+
 -- ──────────────────────────── seed: schema_version ────────────────────────
 INSERT OR IGNORE INTO schema_version (version, description)
 VALUES ('4.5', 'Phase 2 initial — tasks/events/sessions/schema_version/migration_history/telemetry/specs_refs');
@@ -347,3 +478,11 @@ INSERT OR IGNORE INTO schema_version (version, description)
 VALUES ('11.0', 'Greenfield and brownfield baseline adoption, convergence, and drift authority');
 INSERT OR IGNORE INTO schema_version (version, description)
 VALUES ('12.0', 'Evidence-backed repository snapshots, gap ledger, safe re-adoption, and incident break-glass governance');
+INSERT OR IGNORE INTO schema_version (version, description)
+VALUES ('13.0', 'Durable cross-stage workflow runs, step evidence, output digests, blockers, and recovery');
+INSERT OR IGNORE INTO schema_version (version, description)
+VALUES ('14.0', 'Continuously revalidated baseline authority and persisted known-red acceptance');
+INSERT OR IGNORE INTO schema_version (version, description)
+VALUES ('15.0', 'Typed research semantics, complete change contracts, verified learning application, and reconciliation provenance');
+INSERT OR IGNORE INTO schema_version (version, description)
+VALUES ('16.0', 'Durable one-question decision dialogue, owner checkpoints, and workflow alignment gates');

package/spec/schemas/tasks.v4.5.schema.json

@@ -54,9 +54,16 @@
           "x-derived": true,
           "description": "DERIVED from staleness propagation (Phase 5.3)"
         },
-        "complexity_hint": { "type": "string", "enum": ["haiku", "sonnet", "opus"] },
         "tag":              { "type": "string" },
         "trace_to":         { "type": "string" },
+        "outcome":          { "type": "string" },
+        "slice_kind":       { "type": "string", "enum": ["tracer_bullet", "expand_contract", "integration_checkpoint"] },
+        "public_seam":      { "type": "string" },
+        "verification_command": { "type": "string" },
+        "acceptance":       { "type": "array", "items": { "type": "object" } },
+        "context_refs":     { "type": "array", "items": { "type": "object" } },
+        "docs_impact":      { "type": "object" },
+        "ownership":        { "type": "object" },
         "context_file":     { "type": "string" },
         "completion_commit": { "type": "string", "pattern": "^[0-9a-f]{7,40}$" },
         "created_at":       { "type": "string", "format": "date-time" },

package/spec/schemas/test-report.v1.schema.json

@@ -0,0 +1,194 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://ultra-builder-pro.dev/schemas/test-report.v1.schema.json",
+  "title": "Ultra test report v1",
+  "type": "object",
+  "required": [
+    "$schema", "change_id", "task_ids", "git_commit", "worktree_digest",
+    "context_digest", "acceptance", "commands", "public_seams", "failures",
+    "recovery", "verification_dimensions", "regression_signal", "passed", "run_count",
+    "timestamp", "blocking_issues"
+  ],
+  "additionalProperties": false,
+  "properties": {
+    "$schema": { "const": "ultra-test-report-v1" },
+    "change_id": { "type": ["string", "null"] },
+    "task_ids": { "type": "array", "uniqueItems": true, "items": { "type": "string", "minLength": 1 } },
+    "git_commit": { "type": ["string", "null"] },
+    "worktree_digest": { "type": ["string", "null"], "pattern": "^[0-9a-f]{64}$" },
+    "context_digest": { "type": ["string", "null"], "pattern": "^[0-9a-f]{64}$" },
+    "acceptance": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "status", "evidence"],
+        "additionalProperties": false,
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["pass", "fail"] },
+          "evidence": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "commands": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["command", "status", "exit_code", "evidence"],
+        "additionalProperties": false,
+        "properties": {
+          "command": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["pass", "fail"] },
+          "exit_code": { "type": "integer" },
+          "evidence": { "type": "string", "minLength": 1 }
+        },
+        "allOf": [
+          {
+            "if": { "properties": { "status": { "const": "pass" } } },
+            "then": { "properties": { "exit_code": { "const": 0 } } }
+          },
+          {
+            "if": { "properties": { "status": { "const": "fail" } } },
+            "then": { "properties": { "exit_code": { "not": { "const": 0 } } } }
+          }
+        ]
+      }
+    },
+    "public_seams": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["seam", "status", "evidence"],
+        "additionalProperties": false,
+        "properties": {
+          "seam": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["pass", "fail"] },
+          "evidence": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "failures": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["symptom", "status", "evidence"],
+        "additionalProperties": false,
+        "properties": {
+          "symptom": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["resolved", "unresolved"] },
+          "evidence": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "recovery": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["scenario", "status", "evidence"],
+        "additionalProperties": false,
+        "properties": {
+          "scenario": { "type": "string", "minLength": 1 },
+          "status": { "enum": ["pass", "fail"] },
+          "evidence": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "verification_dimensions": {
+      "type": "object",
+      "required": [
+        "acceptance", "regression", "integration", "static_analysis",
+        "build", "performance", "security", "recovery"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "acceptance": { "$ref": "#/$defs/verificationDimension" },
+        "regression": { "$ref": "#/$defs/verificationDimension" },
+        "integration": { "$ref": "#/$defs/verificationDimension" },
+        "static_analysis": { "$ref": "#/$defs/verificationDimension" },
+        "build": { "$ref": "#/$defs/verificationDimension" },
+        "performance": { "$ref": "#/$defs/verificationDimension" },
+        "security": { "$ref": "#/$defs/verificationDimension" },
+        "recovery": { "$ref": "#/$defs/verificationDimension" }
+      }
+    },
+    "regression_signal": {
+      "type": ["object", "null"],
+      "required": ["command", "expected_red", "observed_red", "observed_green", "deterministic", "evidence"],
+      "additionalProperties": false,
+      "properties": {
+        "command": { "type": "string", "minLength": 1 },
+        "expected_red": { "type": "string", "minLength": 1 },
+        "observed_red": { "type": "boolean" },
+        "observed_green": { "type": "boolean" },
+        "deterministic": { "type": "boolean" },
+        "duration_ms": { "type": "number", "minimum": 0 },
+        "evidence": { "type": "string", "minLength": 1 }
+      }
+    },
+    "passed": { "type": "boolean" },
+    "run_count": { "type": "integer", "minimum": 0 },
+    "timestamp": { "type": ["string", "null"], "format": "date-time" },
+    "blocking_issues": { "type": "array", "items": { "type": "string" } }
+  },
+  "$defs": {
+    "verificationDimension": {
+      "type": "object",
+      "required": ["status", "evidence", "rationale"],
+      "additionalProperties": false,
+      "properties": {
+        "status": { "enum": ["pass", "fail", "not_run", "not_applicable"] },
+        "evidence": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "rationale": { "type": "string", "minLength": 3 }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "status": { "enum": ["pass", "fail"] } } },
+          "then": { "properties": { "evidence": { "minItems": 1 } } }
+        }
+      ]
+    }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "passed": { "const": true } } },
+      "then": {
+        "properties": {
+          "change_id": { "type": "string", "minLength": 1 },
+          "context_digest": { "type": "string", "pattern": "^[0-9a-f]{64}$" },
+          "acceptance": {
+            "minItems": 1,
+            "items": { "properties": { "status": { "const": "pass" } } }
+          },
+          "commands": {
+            "minItems": 1,
+            "items": { "properties": { "status": { "const": "pass" }, "exit_code": { "const": 0 } } }
+          },
+          "public_seams": {
+            "minItems": 1,
+            "items": { "properties": { "status": { "const": "pass" } } }
+          },
+          "failures": { "items": { "properties": { "status": { "const": "resolved" } } } },
+          "recovery": { "items": { "properties": { "status": { "const": "pass" } } } },
+          "verification_dimensions": {
+            "properties": {
+              "acceptance": { "properties": { "status": { "enum": ["pass", "not_applicable"] } } },
+              "regression": { "properties": { "status": { "enum": ["pass", "not_applicable"] } } },
+              "integration": { "properties": { "status": { "enum": ["pass", "not_applicable"] } } },
+              "static_analysis": { "properties": { "status": { "enum": ["pass", "not_applicable"] } } },
+              "build": { "properties": { "status": { "enum": ["pass", "not_applicable"] } } },
+              "performance": { "properties": { "status": { "enum": ["pass", "not_applicable"] } } },
+              "security": { "properties": { "status": { "enum": ["pass", "not_applicable"] } } },
+              "recovery": { "properties": { "status": { "enum": ["pass", "not_applicable"] } } }
+            }
+          },
+          "run_count": { "minimum": 1 },
+          "timestamp": { "type": "string", "format": "date-time" },
+          "blocking_issues": { "maxItems": 0 }
+        }
+      }
+    }
+  ]
+}

package/ultra-tools/cli.cjs

@@ -38,7 +38,7 @@ SUBCOMMANDS:
   system    doctor [--repair] | restore | rebaseline
   status    [--cost] [--since <duration>] [--json]
   db        init | checkpoint | vacuum | integrity | backup (Phase 2)
-  migrate   --from=<4.4|4.5> --to=<4.5|12.0> [--dry|--rollback]
+  migrate   --from=<4.4|4.5> --to=<4.5|16.0> [--dry|--rollback]
   legacy-memory inspect | archive | prune --confirm DELETE_ULTRA_LEGACY_MEMORY
 
   --help / -h      show this message

package/ultra-tools/commands/migrate.cjs

@@ -4,7 +4,7 @@ const fs = require('node:fs');
 const path = require('node:path');
 
 const {
-  initStateDb, openStateDb, closeStateDb, MIGRATED_GAPS,
+  EXPECTED_VERSION, initStateDb, openStateDb, closeStateDb, MIGRATED_GAPS,
 } = require('../../mcp-server/lib/state-db.cjs');
 const ops = require('../../mcp-server/lib/state-ops.cjs');
 const projector = require('../../mcp-server/lib/projector.cjs');
@@ -12,7 +12,7 @@ const projector = require('../../mcp-server/lib/projector.cjs');
 const DEFAULT_FROM = '4.4';
 const SUPPORTED_TRANSITIONS = Object.freeze({
   '4.4': '4.5',
-  '4.5': '12.0',
+  '4.5': EXPECTED_VERSION,
 });
 
 // Frozen SQL — values flow through parameter bindings.
@@ -443,7 +443,7 @@ const USAGE = `ultra-tools migrate --from=<version> --to=<version> [flags]
 
 Supported transitions:
   4.4 -> 4.5   import the legacy task projection into authoritative state
-  4.5 -> 12.0  import a projection-only project into current authoritative state
+  4.5 -> ${EXPECTED_VERSION}  import a projection-only project into current authoritative state
 
 Flags:
   --source-dir <dir>   project root containing .ultra/ (default: .)