workspai 0.52.3 → 0.54.0

package/README.md

@@ -140,6 +140,7 @@ The deterministic model, graph, and checks do not require an AI API key.
 | Refresh Model and Graph | `npx workspai workspace model --write --json` |
 | Ask a focused architecture question | `npx workspai workspace graph search "authentication service" --limit 12 --json` |
 | Verify current evidence | `npx workspai workspace verify --strict --json` |
+| Inspect a governed repair before execution | `npx workspai workspace repair capabilities --json` |
 | Refresh agent and IDE context | `npx workspai workspace agent-sync --write --preset enterprise --json` |
 
 For every command and flag, use the
@@ -181,6 +182,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) |
+| Plan, approve, execute, or roll back a repair | [Workspace Repair Engine](docs/workspace-repair-engine.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) |

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

@@ -131,10 +131,12 @@
         "schemaVersion": {
           "const": "workspai.doctor-dependency-repair-transaction.v1"
         },
-        "kind": { "const": "dependency-security" },
+        "kind": { "enum": ["dependency-security", "dependency-materialization"] },
         "state": { "const": "planned" },
         "projectPath": { "type": "string", "minLength": 1 },
         "ecosystem": { "type": "string", "minLength": 1 },
+        "sourceMutationRequired": { "type": "boolean" },
+        "observableState": { "enum": ["runtime-dependency-tree"] },
         "requiredStages": {
           "type": "array",
           "items": { "enum": ["reconcile", "audit", "test", "build"] },
@@ -145,7 +147,6 @@
           "additionalProperties": false,
           "required": [
             "manifestLockConsistent",
-            "auditClean",
             "declaredTestsPass",
             "declaredBuildPass",
             "canonicalVerificationRequired"
@@ -153,12 +154,30 @@
           "properties": {
             "manifestLockConsistent": { "const": true },
             "auditClean": { "const": true },
+            "installedTreePresent": { "const": true },
             "declaredTestsPass": { "const": true },
             "declaredBuildPass": { "const": true },
             "canonicalVerificationRequired": { "const": true }
           }
         }
-      }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "kind": { "const": "dependency-security" } } },
+          "then": { "properties": { "completion": { "type": "object", "properties": { "auditClean": { "const": true } }, "required": ["auditClean"] } } }
+        },
+        {
+          "if": { "properties": { "kind": { "const": "dependency-materialization" } } },
+          "then": {
+            "required": ["sourceMutationRequired", "observableState"],
+            "properties": {
+              "sourceMutationRequired": { "const": false },
+              "observableState": { "const": "runtime-dependency-tree" },
+              "completion": { "type": "object", "properties": { "installedTreePresent": { "const": true } }, "required": ["installedTreePresent"] }
+            }
+          }
+        }
+      ]
     },
     "action": {
       "type": "object",
@@ -218,6 +237,7 @@
         "blocker": { "type": "string" },
         "summary": { "type": "string" },
         "command": { "type": "string" },
+        "invocation": { "$ref": "#/$defs/commandInvocation" },
         "verifyCommand": { "type": "string" },
         "cwd": { "enum": ["workspace", "project"] },
         "files": {

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

@@ -1432,6 +1432,42 @@
           "flags": "--allow-force",
           "attributeName": "allowForce"
         },
+        {
+          "flags": "--card <id>",
+          "attributeName": "card"
+        },
+        {
+          "flags": "--action-id <id>",
+          "attributeName": "actionId"
+        },
+        {
+          "flags": "--project <name>",
+          "attributeName": "project"
+        },
+        {
+          "flags": "--proposal <path>",
+          "attributeName": "proposal"
+        },
+        {
+          "flags": "--transaction <id>",
+          "attributeName": "transaction"
+        },
+        {
+          "flags": "--approved-by <actor>",
+          "attributeName": "approvedBy"
+        },
+        {
+          "flags": "--decision <choice>",
+          "attributeName": "decision"
+        },
+        {
+          "flags": "--max-risk <risk>",
+          "attributeName": "maxRisk"
+        },
+        {
+          "flags": "--no-auto-rollback",
+          "attributeName": "autoRollback"
+        },
         {
           "flags": "--no-build",
           "attributeName": "build"

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

@@ -497,10 +497,12 @@
         "schemaVersion": {
           "const": "workspai.doctor-dependency-repair-transaction.v1"
         },
-        "kind": { "const": "dependency-security" },
+        "kind": { "enum": ["dependency-security", "dependency-materialization"] },
         "state": { "const": "planned" },
         "projectPath": { "type": "string", "minLength": 1 },
         "ecosystem": { "type": "string", "minLength": 1 },
+        "sourceMutationRequired": { "type": "boolean" },
+        "observableState": { "enum": ["runtime-dependency-tree"] },
         "requiredStages": {
           "type": "array",
           "items": { "enum": ["reconcile", "audit", "test", "build"] },
@@ -510,7 +512,6 @@
           "type": "object",
           "required": [
             "manifestLockConsistent",
-            "auditClean",
             "declaredTestsPass",
             "declaredBuildPass",
             "canonicalVerificationRequired"
@@ -518,6 +519,7 @@
           "properties": {
             "manifestLockConsistent": { "const": true },
             "auditClean": { "const": true },
+            "installedTreePresent": { "const": true },
             "declaredTestsPass": { "const": true },
             "declaredBuildPass": { "const": true },
             "canonicalVerificationRequired": { "const": true }
@@ -525,6 +527,23 @@
           "additionalProperties": false
         }
       },
+      "allOf": [
+        {
+          "if": { "properties": { "kind": { "const": "dependency-security" } } },
+          "then": { "properties": { "completion": { "type": "object", "properties": { "auditClean": { "const": true } }, "required": ["auditClean"] } } }
+        },
+        {
+          "if": { "properties": { "kind": { "const": "dependency-materialization" } } },
+          "then": {
+            "required": ["sourceMutationRequired", "observableState"],
+            "properties": {
+              "sourceMutationRequired": { "const": false },
+              "observableState": { "const": "runtime-dependency-tree" },
+              "completion": { "type": "object", "properties": { "installedTreePresent": { "const": true } }, "required": ["installedTreePresent"] }
+            }
+          }
+        }
+      ],
       "additionalProperties": false
     },
     "commandInvocation": {

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

@@ -186,10 +186,12 @@
         "schemaVersion": {
           "const": "workspai.doctor-dependency-repair-transaction.v1"
         },
-        "kind": { "const": "dependency-security" },
+        "kind": { "enum": ["dependency-security", "dependency-materialization"] },
         "state": { "const": "planned" },
         "projectPath": { "type": "string", "minLength": 1 },
         "ecosystem": { "type": "string", "minLength": 1 },
+        "sourceMutationRequired": { "type": "boolean" },
+        "observableState": { "enum": ["runtime-dependency-tree"] },
         "requiredStages": {
           "type": "array",
           "items": { "enum": ["reconcile", "audit", "test", "build"] },
@@ -200,7 +202,6 @@
           "additionalProperties": false,
           "required": [
             "manifestLockConsistent",
-            "auditClean",
             "declaredTestsPass",
             "declaredBuildPass",
             "canonicalVerificationRequired"
@@ -208,12 +209,30 @@
           "properties": {
             "manifestLockConsistent": { "const": true },
             "auditClean": { "const": true },
+            "installedTreePresent": { "const": true },
             "declaredTestsPass": { "const": true },
             "declaredBuildPass": { "const": true },
             "canonicalVerificationRequired": { "const": true }
           }
         }
-      }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "kind": { "const": "dependency-security" } } },
+          "then": { "properties": { "completion": { "type": "object", "properties": { "auditClean": { "const": true } }, "required": ["auditClean"] } } }
+        },
+        {
+          "if": { "properties": { "kind": { "const": "dependency-materialization" } } },
+          "then": {
+            "required": ["sourceMutationRequired", "observableState"],
+            "properties": {
+              "sourceMutationRequired": { "const": false },
+              "observableState": { "const": "runtime-dependency-tree" },
+              "completion": { "type": "object", "properties": { "installedTreePresent": { "const": true } }, "required": ["installedTreePresent"] }
+            }
+          }
+        }
+      ]
     },
     "repairIntent": {
       "type": "object",

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

@@ -507,10 +507,12 @@
         "schemaVersion": {
           "const": "workspai.doctor-dependency-repair-transaction.v1"
         },
-        "kind": { "const": "dependency-security" },
+        "kind": { "enum": ["dependency-security", "dependency-materialization"] },
         "state": { "const": "planned" },
         "projectPath": { "type": "string", "minLength": 1 },
         "ecosystem": { "type": "string", "minLength": 1 },
+        "sourceMutationRequired": { "type": "boolean" },
+        "observableState": { "enum": ["runtime-dependency-tree"] },
         "requiredStages": {
           "type": "array",
           "items": { "enum": ["reconcile", "audit", "test", "build"] },
@@ -520,7 +522,6 @@
           "type": "object",
           "required": [
             "manifestLockConsistent",
-            "auditClean",
             "declaredTestsPass",
             "declaredBuildPass",
             "canonicalVerificationRequired"
@@ -528,6 +529,7 @@
           "properties": {
             "manifestLockConsistent": { "const": true },
             "auditClean": { "const": true },
+            "installedTreePresent": { "const": true },
             "declaredTestsPass": { "const": true },
             "declaredBuildPass": { "const": true },
             "canonicalVerificationRequired": { "const": true }
@@ -535,6 +537,23 @@
           "additionalProperties": false
         }
       },
+      "allOf": [
+        {
+          "if": { "properties": { "kind": { "const": "dependency-security" } } },
+          "then": { "properties": { "completion": { "type": "object", "properties": { "auditClean": { "const": true } }, "required": ["auditClean"] } } }
+        },
+        {
+          "if": { "properties": { "kind": { "const": "dependency-materialization" } } },
+          "then": {
+            "required": ["sourceMutationRequired", "observableState"],
+            "properties": {
+              "sourceMutationRequired": { "const": false },
+              "observableState": { "const": "runtime-dependency-tree" },
+              "completion": { "type": "object", "properties": { "installedTreePresent": { "const": true } }, "required": ["installedTreePresent"] }
+            }
+          }
+        }
+      ],
       "additionalProperties": false
     },
     "commandInvocation": {

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

@@ -1,7 +1,7 @@
 {
   "schemaVersion": "rapidkit-extension-cli-compatibility.v1",
   "cli": "workspai",
-  "minimumVerifiedCliVersion": "0.52.3",
+  "minimumVerifiedCliVersion": "0.54.0",
   "publishedContractSchemas": {
     "workspaceContract": 1,
     "runtimeCommandSurface": "rapidkit-runtime-command-surface-v1",
@@ -46,7 +46,8 @@
       "intelligenceRun": "workspace-intelligence-run.v1",
       "evaluationLive": "workspace-intelligence-evaluation.v1",
       "evaluationLastRun": "workspace-intelligence-evaluation.v1",
-      "verifiedGoalStatus": "workspai.verified-goal-status.v1"
+      "verifiedGoalStatus": "workspai.verified-goal-status.v1",
+      "repairTransaction": "workspai.workspace-repair-transaction.v1"
     },
     "cliLogEvent": "cli-log-event-v1",
     "freshnessMetadata": "rapidkit-freshness-metadata-v1",
@@ -76,7 +77,28 @@
     "doctorRemediationPlan": "doctor-remediation-plan-v2",
     "doctorDependencyRepairTransaction": "workspai.doctor-dependency-repair-transaction.v1",
     "artifactRemediationPlan": "artifact-remediation-plan-v1",
+    "studioCardRepairCapabilities": "workspai.studio-card-repair-capabilities.v1",
+    "workspaceRepairProposal": "workspai.workspace-repair-proposal.v1",
+    "workspaceRepairCapabilities": "workspai.workspace-repair-capabilities.v1",
+    "workspaceRepairTransaction": "workspai.workspace-repair-transaction.v1",
     "doctorFixResult": "rapidkit-doctor-fix-result-v1",
+    "backendImportStackParitySnapshot": "backend-import-stack-parity-v1",
+    "bootstrapCompliance": "bootstrap-compliance.v1",
+    "commandCapabilities": "rapidkit-command-capabilities-v1",
+    "createPlannerCapabilities": "rapidkit-create-planner-capabilities-v1",
+    "doctorRemediationPlanLegacy": "doctor-remediation-plan-v2",
+    "extensionCliCompatibility": "rapidkit-extension-cli-compatibility.v1",
+    "infraStack": "rapidkit.infra-stack.v1",
+    "mirrorOps": "mirror-ops.v1",
+    "moduleLayout": "rapidkit.module-layout.v1",
+    "moduleSupport": "rapidkit-module-support-v1",
+    "pipelineLastRun": "rapidkit-pipeline-v1",
+    "transparencyEvidence": "transparency-evidence.v1",
+    "version": "rapidkit-version-v1",
+    "studioBlockerHandoff": "rapidkit-studio-blocker-handoff-v1",
+    "workspaceRegistry": "workspace-registry.v1",
+    "workspaceRunLast": "workspace-run-v1",
+    "workspaceShareBundle": "1.1",
     "autopilotRelease": "autopilot-release-v1",
     "workspaceList": "rapidkit-workspace-list-v1",
     "workspaceSync": "rapidkit-workspace-sync-v1",

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

@@ -133,7 +133,8 @@
         "intelligenceRun": "workspace-intelligence-run.v1",
         "evaluationLive": "workspace-intelligence-evaluation.v1",
         "evaluationLastRun": "workspace-intelligence-evaluation.v1",
-        "verifiedGoalStatus": "workspai.verified-goal-status.v1"
+        "verifiedGoalStatus": "workspai.verified-goal-status.v1",
+        "repairTransaction": "workspai.workspace-repair-transaction.v1"
       },
       "contractPath": null,
       "publication": "embedded-type",
@@ -242,6 +243,11 @@
           "path": ".workspai/reports/verified-goal-last-run.json",
           "schemaVersion": "workspai.verified-goal-status.v1",
           "contractPath": "contracts/workspace-intelligence/verified-goal-status.v1.json"
+        },
+        "repairTransaction": {
+          "path": ".workspai/reports/workspace-repair-last-run.json",
+          "schemaVersion": "workspai.workspace-repair-transaction.v1",
+          "contractPath": "contracts/workspace-intelligence/workspace-repair-transaction.v1.json"
         }
       }
     },
@@ -385,11 +391,116 @@
       "contractPath": "contracts/artifact-remediation-plan.v1.json",
       "publication": "json-schema"
     },
+    "studioCardRepairCapabilities": {
+      "schemaVersion": "workspai.studio-card-repair-capabilities.v1",
+      "contractPath": "contracts/studio-card-repair-capabilities.v1.json",
+      "publication": "capability-contract"
+    },
+    "workspaceRepairProposal": {
+      "schemaVersion": "workspai.workspace-repair-proposal.v1",
+      "contractPath": "contracts/workspace-intelligence/workspace-repair-proposal.v1.json",
+      "publication": "json-schema"
+    },
+    "workspaceRepairCapabilities": {
+      "schemaVersion": "workspai.workspace-repair-capabilities.v1",
+      "contractPath": "contracts/workspace-repair-capabilities.v1.json",
+      "publication": "capability-contract"
+    },
+    "workspaceRepairTransaction": {
+      "schemaVersion": "workspai.workspace-repair-transaction.v1",
+      "contractPath": "contracts/workspace-intelligence/workspace-repair-transaction.v1.json",
+      "publication": "json-schema"
+    },
     "doctorFixResult": {
       "schemaVersion": "rapidkit-doctor-fix-result-v1",
       "contractPath": "contracts/workspace-intelligence/doctor-fix-result.v1.json",
       "publication": "json-schema"
     },
+    "backendImportStackParitySnapshot": {
+      "schemaVersion": "backend-import-stack-parity-v1",
+      "contractPath": "contracts/backend-import-stack-parity.snapshot.json",
+      "publication": "capability-contract"
+    },
+    "bootstrapCompliance": {
+      "schemaVersion": "bootstrap-compliance.v1",
+      "contractPath": "contracts/bootstrap-compliance.v1.json",
+      "publication": "json-schema"
+    },
+    "commandCapabilities": {
+      "schemaVersion": "rapidkit-command-capabilities-v1",
+      "contractPath": "contracts/command-capabilities.v1.json",
+      "publication": "capability-contract"
+    },
+    "createPlannerCapabilities": {
+      "schemaVersion": "rapidkit-create-planner-capabilities-v1",
+      "contractPath": "contracts/create-planner-capabilities.v1.json",
+      "publication": "capability-contract"
+    },
+    "doctorRemediationPlanLegacy": {
+      "schemaVersion": "doctor-remediation-plan-v2",
+      "contractPath": "contracts/doctor-remediation-plan.v1.json",
+      "publication": "json-schema"
+    },
+    "extensionCliCompatibility": {
+      "schemaVersion": "rapidkit-extension-cli-compatibility.v1",
+      "contractPath": "contracts/extension-cli-compatibility.v1.json",
+      "publication": "capability-contract"
+    },
+    "infraStack": {
+      "schemaVersion": "rapidkit.infra-stack.v1",
+      "contractPath": "contracts/infra-stack.v1.json",
+      "publication": "json-schema"
+    },
+    "mirrorOps": {
+      "schemaVersion": "mirror-ops.v1",
+      "contractPath": "contracts/mirror-ops.v1.json",
+      "publication": "json-schema"
+    },
+    "moduleLayout": {
+      "schemaVersion": "rapidkit.module-layout.v1",
+      "contractPath": "contracts/module-layout.v1.json",
+      "publication": "capability-contract"
+    },
+    "moduleSupport": {
+      "schemaVersion": "rapidkit-module-support-v1",
+      "contractPath": "contracts/module-support.v1.json",
+      "publication": "capability-contract"
+    },
+    "pipelineLastRun": {
+      "schemaVersion": "rapidkit-pipeline-v1",
+      "contractPath": "contracts/pipeline-last-run.v1.json",
+      "publication": "json-schema"
+    },
+    "transparencyEvidence": {
+      "schemaVersion": "transparency-evidence.v1",
+      "contractPath": "contracts/transparency-evidence.v1.json",
+      "publication": "json-schema"
+    },
+    "version": {
+      "schemaVersion": "rapidkit-version-v1",
+      "contractPath": "contracts/version.v1.json",
+      "publication": "json-schema"
+    },
+    "studioBlockerHandoff": {
+      "schemaVersion": "rapidkit-studio-blocker-handoff-v1",
+      "contractPath": "contracts/workspace-intelligence/studio-blocker-handoff.v1.json",
+      "publication": "json-schema"
+    },
+    "workspaceRegistry": {
+      "schemaVersion": "workspace-registry.v1",
+      "contractPath": "contracts/workspace-registry.v1.json",
+      "publication": "json-schema"
+    },
+    "workspaceRunLast": {
+      "schemaVersion": "workspace-run-v1",
+      "contractPath": "contracts/workspace-run-last.v1.json",
+      "publication": "json-schema"
+    },
+    "workspaceShareBundle": {
+      "schemaVersion": "1.1",
+      "contractPath": "contracts/workspace-share-bundle.v1.json",
+      "publication": "json-schema"
+    },
     "autopilotRelease": {
       "schemaVersion": "autopilot-release-v1",
       "contractPath": "contracts/autopilot-release.v1.json",
@@ -428,7 +539,7 @@
     "workspaceSnapshot": {
       "schemaVersion": "rapidkit-workspace-snapshot-v1",
       "contractPath": "contracts/workspace-snapshot.v1.json",
-      "publication": "json-schema"
+      "publication": "capability-contract"
     },
     "workspaceSnapshotV2": {
       "schemaVersion": "rapidkit-workspace-snapshot-v2",