workspai 0.53.0 → 0.55.0

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",

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.53.0",
+  "minimumVerifiedCliVersion": "0.55.0",
   "publishedContractSchemas": {
     "workspaceContract": 1,
     "runtimeCommandSurface": "rapidkit-runtime-command-surface-v1",

package/contracts/studio-card-repair-capabilities.v1.json

@@ -1,6 +1,6 @@
 {
   "schemaVersion": "workspai.studio-card-repair-capabilities.v1",
-  "invariant": "A card repair closes only after its exact producer is non-blocking and aggregate Workspace Verify passes.",
+  "invariant": "A card repair closes only after its exact producer refreshes, its selected causal action set is absent, and aggregate Workspace Verify completes without an execution failure. Unrelated workspace blockers are reported separately and do not reopen the selected card.",
   "cards": [
     {
       "cardId": "doctor",
@@ -10,6 +10,8 @@
       "verifyCommand": "npx workspai doctor workspace --json",
       "verifyArtifact": ".workspai/reports/doctor-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "diagnose-and-repair",
       "remediationArtifacts": [
         ".workspai/reports/doctor-remediation-plan-last-run.json",
@@ -24,6 +26,8 @@
       "verifyCommand": "npx workspai doctor project --json",
       "verifyArtifact": ".workspai/reports/doctor-project-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "diagnose-and-repair",
       "remediationArtifacts": [
         ".workspai/reports/doctor-remediation-plan-last-run.json",
@@ -38,6 +42,8 @@
       "verifyCommand": "npx workspai pipeline --json --strict",
       "verifyArtifact": ".workspai/reports/pipeline-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": [
         ".workspai/reports/artifact-remediation-plan-last-run.json"
@@ -51,6 +57,8 @@
       "verifyCommand": "npx workspai analyze --json",
       "verifyArtifact": ".workspai/reports/analyze-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": [
         ".workspai/reports/artifact-remediation-plan-last-run.json"
@@ -64,6 +72,8 @@
       "verifyCommand": "npx workspai readiness --json",
       "verifyArtifact": ".workspai/reports/release-readiness-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": [
         ".workspai/reports/artifact-remediation-plan-last-run.json"
@@ -77,6 +87,8 @@
       "verifyCommand": "npx workspai bootstrap --ci --json",
       "verifyArtifact": ".workspai/reports/bootstrap-compliance.latest.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": [
         ".workspai/reports/artifact-remediation-plan-last-run.json"
@@ -90,6 +102,8 @@
       "verifyCommand": "npx workspai workspace sync --json",
       "verifyArtifact": ".workspai/workspace-registry.v1.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -101,6 +115,8 @@
       "verifyCommand": "npx workspai workspace foundation ensure --json",
       "verifyArtifact": ".workspai/workspace.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -112,6 +128,8 @@
       "verifyCommand": "npx workspai workspace contract verify --strict --json",
       "verifyArtifact": ".workspai/reports/workspace-contract-verify-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": []
     },
@@ -123,6 +141,8 @@
       "verifyCommand": "npx workspai autopilot release --json",
       "verifyArtifact": ".workspai/reports/autopilot-release-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": []
     },
@@ -134,6 +154,8 @@
       "verifyCommand": "npx workspai workspace run test --json",
       "verifyArtifact": ".workspai/reports/workspace-run-last.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": [
         ".workspai/reports/artifact-remediation-plan-last-run.json"
@@ -147,6 +169,8 @@
       "verifyCommand": "npx workspai setup --json",
       "verifyArtifact": ".workspai/toolchain.lock",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": []
     },
@@ -158,6 +182,8 @@
       "verifyCommand": "npx workspai doctor project --json",
       "verifyArtifact": ".workspai/reports/doctor-project-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "diagnose-and-repair",
       "remediationArtifacts": [
         ".workspai/reports/artifact-remediation-plan-last-run.json"
@@ -171,6 +197,8 @@
       "verifyCommand": "npx workspai snapshot create --json",
       "verifyArtifact": ".workspai/reports/snapshot-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -182,6 +210,8 @@
       "verifyCommand": "npx workspai workspace model --json --write",
       "verifyArtifact": ".workspai/reports/workspace-model.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -193,6 +223,8 @@
       "verifyCommand": "npx workspai workspace snapshot --json",
       "verifyArtifact": ".workspai/reports/workspace-model-snapshot.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -204,6 +236,8 @@
       "verifyCommand": "npx workspai workspace diff --from .workspai/reports/workspace-model-snapshot.json --json",
       "verifyArtifact": ".workspai/reports/workspace-model-diff-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -215,6 +249,8 @@
       "verifyCommand": "npx workspai workspace impact --from .workspai/reports/workspace-model-diff-last-run.json --json",
       "verifyArtifact": ".workspai/reports/workspace-impact-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -226,6 +262,8 @@
       "verifyCommand": "npx workspai workspace intelligence run --for-agent generic --strict --json",
       "verifyArtifact": ".workspai/reports/workspace-intelligence-run-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": []
     },
@@ -237,6 +275,8 @@
       "verifyCommand": "npx workspai workspace verify --json",
       "verifyArtifact": ".workspai/reports/workspace-verify-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": [
         ".workspai/reports/artifact-remediation-plan-last-run.json"
@@ -250,6 +290,8 @@
       "verifyCommand": "npx workspai workspace explain release-blocked --json --write",
       "verifyArtifact": ".workspai/reports/workspace-explain-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -261,6 +303,8 @@
       "verifyCommand": "npx workspai workspace why release-blocked --json --write",
       "verifyArtifact": ".workspai/reports/workspace-why-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -272,6 +316,8 @@
       "verifyCommand": "npx workspai workspace trace --from .workspai/reports/workspace-model-diff-last-run.json --json --write",
       "verifyArtifact": ".workspai/reports/workspace-trace-last-run.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -283,6 +329,8 @@
       "verifyCommand": "npx workspai workspace watch --once --json",
       "verifyArtifact": ".workspai/reports/workspace-model.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -294,6 +342,8 @@
       "verifyCommand": "npx workspai workspace context --for-agent --json --write",
       "verifyArtifact": ".workspai/reports/workspace-context-agent.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -305,6 +355,8 @@
       "verifyCommand": "npx workspai workspace agent-sync --write --refresh-context --json --preset enterprise --target vscode",
       "verifyArtifact": ".workspai/reports/agent-customization-pack.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -316,6 +368,8 @@
       "verifyCommand": "npx workspai workspace share --output .workspai/reports/share-bundle.json --json",
       "verifyArtifact": ".workspai/reports/share-bundle.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -327,6 +381,8 @@
       "verifyCommand": "npx workspai workspace export --output team-workspace.workspai-archive.zip --json",
       "verifyArtifact": ".workspai/archive-manifest.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -338,6 +394,8 @@
       "verifyCommand": "npx workspai mirror status --json",
       "verifyArtifact": ".workspai/reports/mirror-ops.latest.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -349,6 +407,8 @@
       "verifyCommand": "npx workspai cache status --json",
       "verifyArtifact": ".workspai/cache-config.yml",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "refresh-producer",
       "remediationArtifacts": []
     },
@@ -360,6 +420,8 @@
       "verifyCommand": "npx workspai workspace policy show --json",
       "verifyArtifact": ".workspai/policies.yml",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": []
     },
@@ -371,6 +433,8 @@
       "verifyCommand": "npx workspai infra plan --json",
       "verifyArtifact": ".workspai/reports/infra-plan.json",
       "aggregateVerifyCommand": "npx workspai workspace verify --json",
+      "targetClosure": "exact-producer-and-causal-action-set",
+      "workspacePosture": "reported-separately",
       "repairPolicy": "source-repair-then-produce",
       "remediationArtifacts": []
     }

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

@@ -9,6 +9,14 @@
   "properties": {
     "schemaVersion": { "const": "workspai.workspace-repair-proposal.v1" },
     "cardId": { "type": "string", "minLength": 1, "maxLength": 160 },
+    "blockerSignature": { "type": "string", "minLength": 1, "maxLength": 256 },
+    "targetActionIds": {
+      "type": "array",
+      "minItems": 1,
+      "maxItems": 200,
+      "uniqueItems": true,
+      "items": { "type": "string", "minLength": 1, "maxLength": 500 }
+    },
     "projectName": { "type": "string", "minLength": 1, "maxLength": 200 },
     "projectPath": { "type": "string", "minLength": 1, "maxLength": 1000 },
     "rationale": { "type": "string", "minLength": 1, "maxLength": 4000 },