workspai 0.51.0 → 0.52.1

package/README.md

@@ -181,6 +181,7 @@ modules; Workspai remains the workspace-level CLI.
 | Create, adopt, import, or connect software | [Creating workspaces and projects](docs/creating-workspaces-and-projects.md) |
 | Query Graph and inspect proof | [Workspace Knowledge Graph](docs/workspace-knowledge-graph.md) |
 | Understand the exact decision loop | [Workspace Intelligence runner](docs/workspace-intelligence-runner.md) |
+| Set a release, security, or coverage outcome | [Verified engineering goals](docs/workspace-intelligence-runner.md#verified-engineering-goals) |
 | Integrate CI | [CI workflows](docs/ci-workflows.md) |
 | Find generated files and schemas | [Artifact Catalog](docs/contracts/ARTIFACT_CATALOG.md) |
 | Browse all documentation | [Documentation index](docs/README.md) |

package/contracts/artifact-remediation-plan.v1.json

@@ -85,6 +85,81 @@
         }
       ]
     },
+    "commandInvocation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["cwd", "executable", "args"],
+      "properties": {
+        "cwd": { "type": "string", "minLength": 1 },
+        "executable": { "type": "string", "minLength": 1 },
+        "args": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    },
+    "repairStrategyStage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "description", "risk", "continueWhen"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "kind": {
+          "enum": ["diagnose", "safe-fix", "targeted-upgrade", "verify", "exception-review"]
+        },
+        "description": { "type": "string", "minLength": 1 },
+        "risk": { "enum": ["safe", "guarded", "invasive"] },
+        "invocation": { "$ref": "#/$defs/commandInvocation" },
+        "continueWhen": {
+          "enum": ["always", "previous-passed", "blocker-remains", "manual-decision"]
+        }
+      }
+    },
+    "dependencyRepairTransaction": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schemaVersion",
+        "kind",
+        "state",
+        "projectPath",
+        "ecosystem",
+        "requiredStages",
+        "completion"
+      ],
+      "properties": {
+        "schemaVersion": {
+          "const": "workspai.doctor-dependency-repair-transaction.v1"
+        },
+        "kind": { "const": "dependency-security" },
+        "state": { "const": "planned" },
+        "projectPath": { "type": "string", "minLength": 1 },
+        "ecosystem": { "type": "string", "minLength": 1 },
+        "requiredStages": {
+          "type": "array",
+          "items": { "enum": ["reconcile", "audit", "test", "build"] },
+          "uniqueItems": true
+        },
+        "completion": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "manifestLockConsistent",
+            "auditClean",
+            "declaredTestsPass",
+            "declaredBuildPass",
+            "canonicalVerificationRequired"
+          ],
+          "properties": {
+            "manifestLockConsistent": { "const": true },
+            "auditClean": { "const": true },
+            "declaredTestsPass": { "const": true },
+            "declaredBuildPass": { "const": true },
+            "canonicalVerificationRequired": { "const": true }
+          }
+        }
+      }
+    },
     "action": {
       "type": "object",
       "additionalProperties": false,
@@ -116,6 +191,18 @@
         "order": { "type": "integer", "minimum": 0 },
         "phase": { "type": "string" },
         "scope": { "enum": ["workspace", "project"] },
+        "projectName": { "type": "string", "minLength": 1 },
+        "projectPath": { "type": "string", "minLength": 1 },
+        "sourceStepId": { "type": "string", "minLength": 1 },
+        "dependsOn": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "strategy": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/repairStrategyStage" }
+        },
+        "transaction": { "$ref": "#/$defs/dependencyRepairTransaction" },
         "status": { "enum": ["ready", "review-required", "blocked", "guidance-only"] },
         "mode": {
           "enum": [

package/contracts/cli-runtime-command-inventory.v1.snapshot.json

@@ -1423,6 +1423,30 @@
         {
           "flags": "--no-gates",
           "attributeName": "gates"
+        },
+        {
+          "flags": "--allow-breaking",
+          "attributeName": "allowBreaking"
+        },
+        {
+          "flags": "--allow-force",
+          "attributeName": "allowForce"
+        },
+        {
+          "flags": "--no-build",
+          "attributeName": "build"
+        },
+        {
+          "flags": "--no-tests",
+          "attributeName": "tests"
+        },
+        {
+          "flags": "--no-run",
+          "attributeName": "run"
+        },
+        {
+          "flags": "--reuse-intelligence",
+          "attributeName": "reuseIntelligence"
         }
       ]
     }

package/contracts/doctor-project-evidence.v1.json

@@ -132,11 +132,37 @@
           "type": "array",
           "items": { "$ref": "#/$defs/dependencyAuditSubject" }
         },
+        "remediation": { "$ref": "#/$defs/dependencyRemediation" },
         "reason": { "type": "string", "minLength": 1 },
         "limitations": { "type": "array", "items": { "type": "string" } }
       },
       "additionalProperties": false
     },
+    "dependencyRemediation": {
+      "type": "object",
+      "required": ["disposition", "compatibleFixAvailable", "breakingFixAvailable", "candidates"],
+      "properties": {
+        "disposition": {
+          "enum": ["not-needed", "compatible", "breaking-only", "mixed", "none", "unknown"]
+        },
+        "compatibleFixAvailable": { "type": "boolean" },
+        "breakingFixAvailable": { "type": "boolean" },
+        "candidates": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["packageName", "breaking"],
+            "properties": {
+              "packageName": { "type": "string", "minLength": 1 },
+              "version": { "type": "string", "minLength": 1 },
+              "breaking": { "type": "boolean" }
+            },
+            "additionalProperties": false
+          }
+        }
+      },
+      "additionalProperties": false
+    },
     "dependencyAuditSubject": {
       "type": "object",
       "required": ["name", "advisoryIds", "severities"],
@@ -390,6 +416,7 @@
           "type": "array",
           "items": { "$ref": "#/$defs/repairStrategyStage" }
         },
+        "transaction": { "$ref": "#/$defs/dependencyRepairTransaction" },
         "operation": { "$ref": "#/$defs/repairOperation" },
         "verifyCommand": { "type": "string" },
         "refreshCommands": { "type": "array", "items": { "type": "string" } },
@@ -398,6 +425,51 @@
       },
       "additionalProperties": true
     },
+    "dependencyRepairTransaction": {
+      "type": "object",
+      "required": [
+        "schemaVersion",
+        "kind",
+        "state",
+        "projectPath",
+        "ecosystem",
+        "requiredStages",
+        "completion"
+      ],
+      "properties": {
+        "schemaVersion": {
+          "const": "workspai.doctor-dependency-repair-transaction.v1"
+        },
+        "kind": { "const": "dependency-security" },
+        "state": { "const": "planned" },
+        "projectPath": { "type": "string", "minLength": 1 },
+        "ecosystem": { "type": "string", "minLength": 1 },
+        "requiredStages": {
+          "type": "array",
+          "items": { "enum": ["reconcile", "audit", "test", "build"] },
+          "uniqueItems": true
+        },
+        "completion": {
+          "type": "object",
+          "required": [
+            "manifestLockConsistent",
+            "auditClean",
+            "declaredTestsPass",
+            "declaredBuildPass",
+            "canonicalVerificationRequired"
+          ],
+          "properties": {
+            "manifestLockConsistent": { "const": true },
+            "auditClean": { "const": true },
+            "declaredTestsPass": { "const": true },
+            "declaredBuildPass": { "const": true },
+            "canonicalVerificationRequired": { "const": true }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
     "commandInvocation": {
       "type": "object",
       "required": ["cwd", "executable", "args"],

package/contracts/doctor-remediation-plan.v1.json

@@ -140,6 +140,81 @@
         }
       }
     },
+    "commandInvocation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["cwd", "executable", "args"],
+      "properties": {
+        "cwd": { "type": "string", "minLength": 1 },
+        "executable": { "type": "string", "minLength": 1 },
+        "args": {
+          "type": "array",
+          "items": { "type": "string" }
+        }
+      }
+    },
+    "repairStrategyStage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "description", "risk", "continueWhen"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "kind": {
+          "enum": ["diagnose", "safe-fix", "targeted-upgrade", "verify", "exception-review"]
+        },
+        "description": { "type": "string", "minLength": 1 },
+        "risk": { "enum": ["safe", "guarded", "invasive"] },
+        "invocation": { "$ref": "#/$defs/commandInvocation" },
+        "continueWhen": {
+          "enum": ["always", "previous-passed", "blocker-remains", "manual-decision"]
+        }
+      }
+    },
+    "dependencyRepairTransaction": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "schemaVersion",
+        "kind",
+        "state",
+        "projectPath",
+        "ecosystem",
+        "requiredStages",
+        "completion"
+      ],
+      "properties": {
+        "schemaVersion": {
+          "const": "workspai.doctor-dependency-repair-transaction.v1"
+        },
+        "kind": { "const": "dependency-security" },
+        "state": { "const": "planned" },
+        "projectPath": { "type": "string", "minLength": 1 },
+        "ecosystem": { "type": "string", "minLength": 1 },
+        "requiredStages": {
+          "type": "array",
+          "items": { "enum": ["reconcile", "audit", "test", "build"] },
+          "uniqueItems": true
+        },
+        "completion": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": [
+            "manifestLockConsistent",
+            "auditClean",
+            "declaredTestsPass",
+            "declaredBuildPass",
+            "canonicalVerificationRequired"
+          ],
+          "properties": {
+            "manifestLockConsistent": { "const": true },
+            "auditClean": { "const": true },
+            "declaredTestsPass": { "const": true },
+            "declaredBuildPass": { "const": true },
+            "canonicalVerificationRequired": { "const": true }
+          }
+        }
+      }
+    },
     "repairIntent": {
       "type": "object",
       "additionalProperties": false,
@@ -478,6 +553,13 @@
         "operation": {
           "$ref": "#/$defs/repairOperation"
         },
+        "strategy": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/repairStrategyStage" }
+        },
+        "transaction": {
+          "$ref": "#/$defs/dependencyRepairTransaction"
+        },
         "preview": {
           "$ref": "#/$defs/preview"
         },

package/contracts/doctor-workspace-evidence.v1.json

@@ -142,11 +142,37 @@
           "type": "array",
           "items": { "$ref": "#/$defs/dependencyAuditSubject" }
         },
+        "remediation": { "$ref": "#/$defs/dependencyRemediation" },
         "reason": { "type": "string", "minLength": 1 },
         "limitations": { "type": "array", "items": { "type": "string" } }
       },
       "additionalProperties": false
     },
+    "dependencyRemediation": {
+      "type": "object",
+      "required": ["disposition", "compatibleFixAvailable", "breakingFixAvailable", "candidates"],
+      "properties": {
+        "disposition": {
+          "enum": ["not-needed", "compatible", "breaking-only", "mixed", "none", "unknown"]
+        },
+        "compatibleFixAvailable": { "type": "boolean" },
+        "breakingFixAvailable": { "type": "boolean" },
+        "candidates": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "required": ["packageName", "breaking"],
+            "properties": {
+              "packageName": { "type": "string", "minLength": 1 },
+              "version": { "type": "string", "minLength": 1 },
+              "breaking": { "type": "boolean" }
+            },
+            "additionalProperties": false
+          }
+        }
+      },
+      "additionalProperties": false
+    },
     "dependencyAuditSubject": {
       "type": "object",
       "required": ["name", "advisoryIds", "severities"],
@@ -400,6 +426,7 @@
           "type": "array",
           "items": { "$ref": "#/$defs/repairStrategyStage" }
         },
+        "transaction": { "$ref": "#/$defs/dependencyRepairTransaction" },
         "operation": { "$ref": "#/$defs/repairOperation" },
         "verifyCommand": { "type": "string" },
         "refreshCommands": { "type": "array", "items": { "type": "string" } },
@@ -408,6 +435,51 @@
       },
       "additionalProperties": true
     },
+    "dependencyRepairTransaction": {
+      "type": "object",
+      "required": [
+        "schemaVersion",
+        "kind",
+        "state",
+        "projectPath",
+        "ecosystem",
+        "requiredStages",
+        "completion"
+      ],
+      "properties": {
+        "schemaVersion": {
+          "const": "workspai.doctor-dependency-repair-transaction.v1"
+        },
+        "kind": { "const": "dependency-security" },
+        "state": { "const": "planned" },
+        "projectPath": { "type": "string", "minLength": 1 },
+        "ecosystem": { "type": "string", "minLength": 1 },
+        "requiredStages": {
+          "type": "array",
+          "items": { "enum": ["reconcile", "audit", "test", "build"] },
+          "uniqueItems": true
+        },
+        "completion": {
+          "type": "object",
+          "required": [
+            "manifestLockConsistent",
+            "auditClean",
+            "declaredTestsPass",
+            "declaredBuildPass",
+            "canonicalVerificationRequired"
+          ],
+          "properties": {
+            "manifestLockConsistent": { "const": true },
+            "auditClean": { "const": true },
+            "declaredTestsPass": { "const": true },
+            "declaredBuildPass": { "const": true },
+            "canonicalVerificationRequired": { "const": true }
+          },
+          "additionalProperties": false
+        }
+      },
+      "additionalProperties": false
+    },
     "commandInvocation": {
       "type": "object",
       "required": ["cwd", "executable", "args"],

package/contracts/extension-cli-compatibility.v1.json

@@ -1,7 +1,7 @@
 {
   "schemaVersion": "rapidkit-extension-cli-compatibility.v1",
   "cli": "workspai",
-  "minimumVerifiedCliVersion": "0.51.0",
+  "minimumVerifiedCliVersion": "0.52.1",
   "publishedContractSchemas": {
     "workspaceContract": 1,
     "runtimeCommandSurface": "rapidkit-runtime-command-surface-v1",
@@ -21,6 +21,8 @@
     "doctorWorkspaceEvidence": "doctor-workspace-evidence-v1",
     "doctorGraphDiagnosis": "doctor-graph-diagnosis.v1",
     "projectTestCoverage": "workspai.project-test-coverage.v1",
+    "verifiedGoal": "workspai.verified-goal.v1",
+    "verifiedGoalStatus": "workspai.verified-goal-status.v1",
     "workspaceIntelligenceArchitecture": "workspai-workspace-intelligence-architecture-v1",
     "workspaceIntelligenceChain": "workspai-workspace-intelligence-chain-v1",
     "workspaceIntelligenceArtifacts": {
@@ -43,7 +45,8 @@
       "explain": "workspace-explain.v1",
       "intelligenceRun": "workspace-intelligence-run.v1",
       "evaluationLive": "workspace-intelligence-evaluation.v1",
-      "evaluationLastRun": "workspace-intelligence-evaluation.v1"
+      "evaluationLastRun": "workspace-intelligence-evaluation.v1",
+      "verifiedGoalStatus": "workspai.verified-goal-status.v1"
     },
     "cliLogEvent": "cli-log-event-v1",
     "freshnessMetadata": "rapidkit-freshness-metadata-v1",
@@ -71,6 +74,7 @@
     "workspaceExplain": "workspace-explain.v1",
     "agentActionOutcome": "agent-action-outcome.v1",
     "doctorRemediationPlan": "doctor-remediation-plan-v2",
+    "doctorDependencyRepairTransaction": "workspai.doctor-dependency-repair-transaction.v1",
     "artifactRemediationPlan": "artifact-remediation-plan-v1",
     "doctorFixResult": "rapidkit-doctor-fix-result-v1",
     "autopilotRelease": "autopilot-release-v1",

package/contracts/published-contract-catalog.v1.json

@@ -91,6 +91,16 @@
       "contractPath": "contracts/project-test-coverage.v1.json",
       "publication": "json-schema"
     },
+    "verifiedGoal": {
+      "schemaVersion": "workspai.verified-goal.v1",
+      "contractPath": "contracts/workspace-intelligence/verified-goal.v1.json",
+      "publication": "json-schema"
+    },
+    "verifiedGoalStatus": {
+      "schemaVersion": "workspai.verified-goal-status.v1",
+      "contractPath": "contracts/workspace-intelligence/verified-goal-status.v1.json",
+      "publication": "json-schema"
+    },
     "workspaceIntelligenceArchitecture": {
       "schemaVersion": "workspai-workspace-intelligence-architecture-v1",
       "contractPath": "contracts/workspace-intelligence-architecture.v1.json",
@@ -122,7 +132,8 @@
         "explain": "workspace-explain.v1",
         "intelligenceRun": "workspace-intelligence-run.v1",
         "evaluationLive": "workspace-intelligence-evaluation.v1",
-        "evaluationLastRun": "workspace-intelligence-evaluation.v1"
+        "evaluationLastRun": "workspace-intelligence-evaluation.v1",
+        "verifiedGoalStatus": "workspai.verified-goal-status.v1"
       },
       "contractPath": null,
       "publication": "embedded-type",
@@ -226,6 +237,11 @@
           "path": ".workspai/reports/workspace-intelligence-evaluation-last-run.json",
           "schemaVersion": "workspace-intelligence-evaluation.v1",
           "contractPath": "contracts/workspace-intelligence/workspace-intelligence-evaluation.v1.json"
+        },
+        "verifiedGoalStatus": {
+          "path": ".workspai/reports/verified-goal-last-run.json",
+          "schemaVersion": "workspai.verified-goal-status.v1",
+          "contractPath": "contracts/workspace-intelligence/verified-goal-status.v1.json"
         }
       }
     },
@@ -359,6 +375,11 @@
       "contractPath": "contracts/doctor-remediation-plan.v2.json",
       "publication": "json-schema"
     },
+    "doctorDependencyRepairTransaction": {
+      "schemaVersion": "workspai.doctor-dependency-repair-transaction.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-dependency-repair-transaction.v1.json",
+      "publication": "json-schema"
+    },
     "artifactRemediationPlan": {
       "schemaVersion": "artifact-remediation-plan-v1",
       "contractPath": "contracts/artifact-remediation-plan.v1.json",

package/contracts/runtime-command-surface.v1.json

@@ -1045,6 +1045,32 @@
         "foundation"
       ]
     },
+    {
+      "invocation": "workspace goal",
+      "summary": "Plan, resume, and evidence-verify a durable engineering goal with explicit scope, constraints, and success criteria.",
+      "canonicalArgv": [
+        "workspace",
+        "goal"
+      ]
+    },
+    {
+      "invocation": "workspace goal plan",
+      "summary": "Create or deterministically resume a goal contract and capture its current baseline.",
+      "canonicalArgv": [
+        "workspace",
+        "goal",
+        "plan"
+      ]
+    },
+    {
+      "invocation": "workspace goal verify",
+      "summary": "Run the goal-specific checks and publish an evidence-derived verified, blocked, or failed state.",
+      "canonicalArgv": [
+        "workspace",
+        "goal",
+        "verify"
+      ]
+    },
     {
       "invocation": "workspace graph",
       "summary": "Query or export the evidence-backed workspace graph derived from the canonical model.",
@@ -1601,6 +1627,23 @@
         ]
       ]
     },
+    {
+      "artifactPath": ".workspai/reports/verified-goal-last-run.json",
+      "schemaVersion": "workspai.verified-goal-status.v1",
+      "contractPath": "contracts/workspace-intelligence/verified-goal-status.v1.json",
+      "producerCommands": [
+        [
+          "workspace",
+          "goal",
+          "plan"
+        ],
+        [
+          "workspace",
+          "goal",
+          "verify"
+        ]
+      ]
+    },
     {
       "artifactPath": ".workspai/workspace-link.local.json",
       "schemaVersion": "project-workspace-link.v1",
@@ -1925,6 +1968,7 @@
     "diff",
     "impact",
     "verify",
+    "goal",
     "graph",
     "watch",
     "context",
@@ -2280,6 +2324,65 @@
         "workspai workspace verify --from-impact .workspai/reports/workspace-impact-last-run.json --json"
       ]
     },
+    {
+      "id": "goal",
+      "usage": "workspai workspace goal <plan|status|verify> <kind|goal-id> [--scope <scope>] [--target <percent>] [--json]",
+      "summary": "Plan, resume, and evidence-verify a durable engineering goal for people and agents.",
+      "options": [
+        {
+          "flag": "--workspace",
+          "description": "Use an explicit workspace root instead of the nearest workspace."
+        },
+        {
+          "flag": "--json",
+          "description": "Emit machine-readable JSON."
+        },
+        {
+          "flag": "--scope",
+          "description": "Limit the operation to a bounded scope such as project:<name>."
+        },
+        {
+          "flag": "--target",
+          "description": "Set the required test coverage percentage (0–100)."
+        },
+        {
+          "flag": "--allow-breaking",
+          "description": "Allow a verified goal to use breaking dependency changes."
+        },
+        {
+          "flag": "--allow-force",
+          "description": "Allow a verified goal to use force-based repair commands."
+        },
+        {
+          "flag": "--no-build",
+          "description": "Do not require build validation for the selected verified goal."
+        },
+        {
+          "flag": "--no-tests",
+          "description": "Do not require test validation for the selected verified goal."
+        },
+        {
+          "flag": "--no-run",
+          "description": "Read current goal evidence without executing verification commands."
+        },
+        {
+          "flag": "--reuse-intelligence",
+          "description": "Reuse a just-completed canonical intelligence run while executing goal-specific checks."
+        }
+      ],
+      "subactions": [
+        "plan",
+        "status",
+        "verify"
+      ],
+      "artifact": ".workspai/reports/verified-goal-last-run.json",
+      "examples": [
+        "workspai workspace goal plan release-readiness --json",
+        "workspai workspace goal plan dependency-security --scope project:api --json",
+        "workspai workspace goal plan test-coverage --scope project:web --target 75 --json",
+        "workspai workspace goal verify <goal-id> --json"
+      ]
+    },
     {
       "id": "graph",
       "usage": "workspai workspace graph [mode] [query|from] [to] [--json]",
@@ -3124,6 +3227,7 @@
     "impact",
     "contract",
     "verify",
+    "goal",
     "graph",
     "watch",
     "context",