workspai 0.52.3 → 0.54.0

package/contracts/workspace-intelligence/doctor-dependency-repair-transaction.v1.json

@@ -2,7 +2,7 @@
   "$schema": "https://json-schema.org/draft/2020-12/schema",
   "$id": "https://workspai.dev/contracts/workspace-intelligence/doctor-dependency-repair-transaction.v1.json",
   "title": "Workspai Doctor Dependency Repair Transaction v1",
-  "description": "The portable closure contract a consumer must satisfy after changing a dependency manifest or lockfile.",
+  "description": "The portable closure contract for dependency security changes and runtime dependency materialization.",
   "type": "object",
   "additionalProperties": false,
   "required": [
@@ -19,7 +19,7 @@
       "const": "workspai.doctor-dependency-repair-transaction.v1"
     },
     "kind": {
-      "const": "dependency-security"
+      "enum": ["dependency-security", "dependency-materialization"]
     },
     "state": {
       "const": "planned"
@@ -32,24 +32,20 @@
       "type": "string",
       "minLength": 1
     },
+    "sourceMutationRequired": { "type": "boolean" },
+    "observableState": {
+      "enum": ["runtime-dependency-tree"]
+    },
     "requiredStages": {
       "type": "array",
-      "prefixItems": [
-        { "const": "reconcile" },
-        { "const": "audit" },
-        { "const": "test" },
-        { "const": "build" }
-      ],
-      "items": false,
-      "minItems": 4,
-      "maxItems": 4
+      "items": { "enum": ["reconcile", "audit", "test", "build"] },
+      "uniqueItems": true
     },
     "completion": {
       "type": "object",
       "additionalProperties": false,
       "required": [
         "manifestLockConsistent",
-        "auditClean",
         "declaredTestsPass",
         "declaredBuildPass",
         "canonicalVerificationRequired"
@@ -57,10 +53,53 @@
       "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": {
+          "requiredStages": {
+            "prefixItems": [
+              { "const": "reconcile" },
+              { "const": "audit" },
+              { "const": "test" },
+              { "const": "build" }
+            ],
+            "items": false,
+            "minItems": 4,
+            "maxItems": 4
+          },
+          "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" },
+          "requiredStages": {
+            "prefixItems": [
+              { "const": "reconcile" },
+              { "const": "test" },
+              { "const": "build" }
+            ],
+            "items": false,
+            "minItems": 3,
+            "maxItems": 3
+          },
+          "completion": { "type": "object", "properties": { "installedTreePresent": { "const": true } }, "required": ["installedTreePresent"] }
+        }
+      }
+    }
+  ]
 }

package/contracts/workspace-intelligence/workspace-repair-proposal.v1.json

@@ -0,0 +1,78 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/contracts/workspace-intelligence/workspace-repair-proposal.v1.json",
+  "title": "Workspai Workspace Repair Proposal v1",
+  "description": "A bounded, hash-pinned source change proposed by an IDE model for execution by the CLI Repair Engine.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "cardId", "rationale", "changes"],
+  "properties": {
+    "schemaVersion": { "const": "workspai.workspace-repair-proposal.v1" },
+    "cardId": { "type": "string", "minLength": 1, "maxLength": 160 },
+    "projectName": { "type": "string", "minLength": 1, "maxLength": 200 },
+    "projectPath": { "type": "string", "minLength": 1, "maxLength": 1000 },
+    "rationale": { "type": "string", "minLength": 1, "maxLength": 4000 },
+    "changes": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 100,
+      "items": { "$ref": "#/$defs/change" }
+    },
+    "validation": {
+      "type": "array",
+      "maxItems": 20,
+      "items": { "$ref": "#/$defs/validation" }
+    }
+  },
+  "$defs": {
+    "change": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "path", "operation", "expectedBeforeHash", "risk", "summary"],
+      "properties": {
+        "id": { "type": "string", "pattern": "^[A-Za-z0-9._-]{1,160}$" },
+        "path": { "type": "string", "minLength": 1, "maxLength": 1000 },
+        "operation": { "enum": ["write", "delete"] },
+        "expectedBeforeHash": {
+          "oneOf": [
+            { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+            { "type": "null" }
+          ]
+        },
+        "content": { "type": "string", "maxLength": 5242880 },
+        "risk": { "enum": ["safe", "guarded", "invasive"] },
+        "summary": { "type": "string", "minLength": 1, "maxLength": 1000 }
+      },
+      "allOf": [
+        {
+          "if": { "properties": { "operation": { "const": "write" } } },
+          "then": {
+            "properties": { "content": { "type": "string", "maxLength": 5242880 } },
+            "required": ["content"]
+          },
+          "else": { "not": { "required": ["content"] } }
+        }
+      ]
+    },
+    "validation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "cwd", "executable", "args", "required", "risk", "summary"],
+      "properties": {
+        "id": { "type": "string", "pattern": "^[A-Za-z0-9._-]{1,160}$" },
+        "kind": { "enum": ["audit", "test", "build"] },
+        "cwd": { "type": "string", "minLength": 1, "maxLength": 1000 },
+        "executable": { "type": "string", "minLength": 1, "maxLength": 1000 },
+        "args": {
+          "type": "array",
+          "maxItems": 100,
+          "items": { "type": "string", "maxLength": 4000 }
+        },
+        "required": { "type": "boolean" },
+        "risk": { "enum": ["safe", "guarded", "invasive"] },
+        "summary": { "type": "string", "minLength": 1, "maxLength": 1000 },
+        "timeoutMs": { "type": "integer", "minimum": 1000, "maximum": 900000 }
+      }
+    }
+  }
+}

package/contracts/workspace-intelligence/workspace-repair-transaction.v1.json

@@ -0,0 +1,299 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/contracts/workspace-intelligence/workspace-repair-transaction.v1.json",
+  "title": "Workspai Workspace Repair Transaction v1",
+  "description": "Durable CLI-owned state for one governed workspace repair from plan through verification or rollback.",
+  "type": "object",
+  "additionalProperties": false,
+  "required": [
+    "schemaVersion",
+    "transactionId",
+    "revision",
+    "createdAt",
+    "updatedAt",
+    "workspace",
+    "target",
+    "state",
+    "policy",
+    "approval",
+    "preconditions",
+    "checkpoint",
+    "stages",
+    "events",
+    "integrity"
+  ],
+  "properties": {
+    "schemaVersion": { "const": "workspai.workspace-repair-transaction.v1" },
+    "transactionId": { "type": "string", "pattern": "^[A-Za-z0-9_-]{12,128}$" },
+    "revision": { "type": "integer", "minimum": 1 },
+    "createdAt": { "type": "string", "format": "date-time" },
+    "updatedAt": { "type": "string", "format": "date-time" },
+    "workspace": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["name", "rootRef"],
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "rootRef": { "const": "." }
+      }
+    },
+    "target": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["cardId", "scope", "actionIds"],
+      "properties": {
+        "cardId": { "type": "string", "minLength": 1 },
+        "scope": { "enum": ["workspace", "project"] },
+        "projectName": { "type": "string", "minLength": 1 },
+        "projectPath": { "type": "string", "minLength": 1 },
+        "actionIds": {
+          "type": "array",
+          "minItems": 1,
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1 }
+        }
+      }
+    },
+    "state": {
+      "enum": [
+        "planned",
+        "awaiting-approval",
+        "approved",
+        "checkpointed",
+        "executing",
+        "verifying",
+        "closed",
+        "decision-required",
+        "rollback-required",
+        "rolling-back",
+        "rolled-back",
+        "failed",
+        "cancelled"
+      ]
+    },
+    "policy": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["maxRisk", "allowForce", "allowBreaking", "autoRollback", "strictVerify"],
+      "properties": {
+        "maxRisk": { "enum": ["safe", "guarded", "invasive"] },
+        "allowForce": { "type": "boolean" },
+        "allowBreaking": { "type": "boolean" },
+        "autoRollback": { "type": "boolean" },
+        "strictVerify": { "const": true }
+      }
+    },
+    "approval": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["required", "status"],
+      "properties": {
+        "required": { "const": true },
+        "status": { "enum": ["pending", "approved", "rejected", "expired"] },
+        "approvedAt": { "type": "string", "format": "date-time" },
+        "approvedBy": { "type": "string", "minLength": 1 },
+        "approvedPlanHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+      }
+    },
+    "preconditions": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/precondition" }
+    },
+    "adapterEvaluations": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/adapterEvaluation" }
+    },
+    "checkpoint": { "$ref": "#/$defs/checkpoint" },
+    "stages": {
+      "type": "array",
+      "minItems": 1,
+      "items": { "$ref": "#/$defs/stage" }
+    },
+    "verification": { "$ref": "#/$defs/verification" },
+    "decision": { "$ref": "#/$defs/decision" },
+    "events": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/event" }
+    },
+    "integrity": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["planHash", "sourceEvidenceHash"],
+      "properties": {
+        "planHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" },
+        "sourceEvidenceHash": { "type": "string", "pattern": "^[a-f0-9]{64}$" }
+      }
+    }
+  },
+  "$defs": {
+    "adapterEvaluation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": [
+        "adapterId",
+        "ecosystem",
+        "projectPath",
+        "manifests",
+        "support",
+        "status",
+        "requiredExecutables",
+        "missingExecutables",
+        "message"
+      ],
+      "properties": {
+        "adapterId": { "type": "string", "minLength": 1 },
+        "ecosystem": { "type": "string", "minLength": 1 },
+        "projectPath": { "type": "string", "minLength": 1 },
+        "manifests": { "type": "array", "items": { "type": "string" }, "uniqueItems": true },
+        "support": { "enum": ["full", "conditional", "unsupported"] },
+        "status": { "enum": ["ready", "partial", "unsupported"] },
+        "requiredExecutables": {
+          "type": "array",
+          "items": { "type": "string" },
+          "uniqueItems": true
+        },
+        "missingExecutables": {
+          "type": "array",
+          "items": { "type": "string" },
+          "uniqueItems": true
+        },
+        "message": { "type": "string" }
+      }
+    },
+    "invocation": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["cwd", "executable", "args", "purpose", "timeoutMs"],
+      "properties": {
+        "cwd": { "type": "string", "minLength": 1 },
+        "executable": { "type": "string", "minLength": 1 },
+        "args": { "type": "array", "items": { "type": "string" } },
+        "purpose": { "enum": ["repair", "reconcile", "audit", "test", "build", "verify"] },
+        "timeoutMs": { "type": "integer", "minimum": 1000, "maximum": 900000 }
+      }
+    },
+    "precondition": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "status", "message"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["passed", "failed", "unknown"] },
+        "message": { "type": "string" }
+      }
+    },
+    "checkpointFile": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["path", "existed", "beforeHash"],
+      "properties": {
+        "path": { "type": "string", "minLength": 1 },
+        "existed": { "type": "boolean" },
+        "beforeHash": { "type": ["string", "null"] },
+        "mode": { "type": "integer", "minimum": 0, "maximum": 65535 },
+        "afterHash": { "type": ["string", "null"] },
+        "backupRef": { "type": "string", "minLength": 1 }
+      }
+    },
+    "checkpoint": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "files"],
+      "properties": {
+        "status": { "enum": ["pending", "captured", "restored", "conflicted", "unavailable"] },
+        "capturedAt": { "type": "string", "format": "date-time" },
+        "restoredAt": { "type": "string", "format": "date-time" },
+        "files": { "type": "array", "items": { "$ref": "#/$defs/checkpointFile" } }
+      }
+    },
+    "stage": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "status", "required", "risk", "summary"],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "kind": { "enum": ["repair", "reconcile", "audit", "test", "build", "verify", "rollback"] },
+        "status": {
+          "enum": ["pending", "running", "passed", "failed", "blocked", "skipped", "cancelled"]
+        },
+        "required": { "type": "boolean" },
+        "risk": { "enum": ["safe", "guarded", "invasive"] },
+        "summary": { "type": "string" },
+        "invocation": { "$ref": "#/$defs/invocation" },
+        "startedAt": { "type": "string", "format": "date-time" },
+        "completedAt": { "type": "string", "format": "date-time" },
+        "exitCode": { "type": ["integer", "null"] },
+        "stdoutTail": { "type": "string" },
+        "stderrTail": { "type": "string" },
+        "changedPaths": { "type": "array", "items": { "type": "string" } }
+      }
+    },
+    "verification": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["status", "artifact", "exitCode", "summary"],
+      "properties": {
+        "status": { "enum": ["passed", "failed", "not-run"] },
+        "targetStatus": { "enum": ["passed", "failed", "unknown"] },
+        "workspaceStatus": { "enum": ["passed", "blocked", "failed"] },
+        "remainingActionIds": {
+          "type": "array",
+          "uniqueItems": true,
+          "items": { "type": "string", "minLength": 1 }
+        },
+        "artifact": { "const": ".workspai/reports/workspace-intelligence-run-last-run.json" },
+        "exitCode": { "type": ["integer", "null"] },
+        "summary": { "type": "string" }
+      }
+    },
+    "decision": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["reason", "options"],
+      "properties": {
+        "reason": { "type": "string", "minLength": 1 },
+        "options": {
+          "type": "array",
+          "minItems": 1,
+          "items": {
+            "enum": [
+              "approve-guarded",
+              "approve-invasive",
+              "allow-breaking",
+              "allow-force",
+              "manual-repair",
+              "rollback",
+              "cancel"
+            ]
+          }
+        }
+      }
+    },
+    "event": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["sequence", "at", "type", "message"],
+      "properties": {
+        "sequence": { "type": "integer", "minimum": 1 },
+        "at": { "type": "string", "format": "date-time" },
+        "type": {
+          "enum": [
+            "planned",
+            "approval",
+            "checkpoint",
+            "stage",
+            "verification",
+            "decision",
+            "rollback",
+            "closed",
+            "failed",
+            "cancelled"
+          ]
+        },
+        "stageId": { "type": "string" },
+        "status": { "type": "string" },
+        "message": { "type": "string" }
+      }
+    }
+  }
+}

package/contracts/workspace-intelligence-chain.v1.json

@@ -221,6 +221,12 @@
         "path": ".workspai/reports/verified-goal-last-run.json",
         "schemaVersion": "workspai.verified-goal-status.v1",
         "schemaContract": "contracts/workspace-intelligence/verified-goal-status.v1.json"
+      },
+      {
+        "id": "repairTransaction",
+        "path": ".workspai/reports/workspace-repair-last-run.json",
+        "schemaVersion": "workspai.workspace-repair-transaction.v1",
+        "schemaContract": "contracts/workspace-intelligence/workspace-repair-transaction.v1.json"
       }
     ]
   },