workspai 0.55.1 → 0.57.0

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

@@ -47,6 +47,9 @@
           "graphDiagnosis": {
             "$ref": "https://workspai.dev/schemas/workspace-intelligence/doctor-graph-diagnosis.v1.json"
           },
+          "diagnosis": {
+            "$ref": "https://workspai.dev/schemas/workspace-intelligence/doctor-diagnosis.v1.json"
+          },
           "verdict": { "enum": ["passed", "attention", "blocked"] },
           "probeSummary": { "$ref": "#/$defs/probeSummary" }
         },
@@ -57,6 +60,7 @@
       "type": "object",
       "required": ["totalProjects", "totalIssues", "hasSystemErrors"],
       "properties": {
+        "counts": { "$ref": "#/$defs/counts" },
         "totalProjects": { "type": "integer", "minimum": 0 },
         "totalIssues": { "type": "integer", "minimum": 0 },
         "projectAdvisoryWarningProjects": { "type": "integer", "minimum": 0 },
@@ -64,6 +68,8 @@
         "verdict": { "enum": ["passed", "attention", "blocked"] },
         "blockingFindings": { "type": "integer", "minimum": 0 },
         "advisoryFindings": { "type": "integer", "minimum": 0 },
+        "unknownFindings": { "type": "integer", "minimum": 0 },
+        "contradictionFindings": { "type": "integer", "minimum": 0 },
         "hasSystemErrors": { "type": "boolean" },
         "scopeProvenance": { "type": "object", "additionalProperties": true }
       },
@@ -78,6 +84,10 @@
     "policyProfile": { "$ref": "#/$defs/policyProfile" }
   },
   "$defs": {
+    "counts": {
+      "type": "object",
+      "additionalProperties": { "type": "integer", "minimum": 0 }
+    },
     "dependencyAudit": {
       "type": "object",
       "required": [
@@ -272,6 +282,7 @@
         "warnings": { "type": "integer", "minimum": 0 },
         "errors": { "type": "integer", "minimum": 0 },
         "verdict": { "enum": ["passed", "attention", "blocked"] },
+        "presentation": { "$ref": "#/$defs/healthScorePresentation" },
         "components": {
           "type": "object",
           "required": ["host", "projects"],
@@ -284,6 +295,30 @@
       },
       "additionalProperties": false
     },
+    "healthScorePresentation": {
+      "type": "object",
+      "required": [
+        "policy",
+        "diagnosticPassRatePercent",
+        "blockingFindings",
+        "advisoryFindings",
+        "unknownFindings",
+        "contradictionFindings",
+        "notApplicableChecks",
+        "label"
+      ],
+      "properties": {
+        "policy": { "const": "doctor-multi-axis-v1" },
+        "diagnosticPassRatePercent": { "type": ["number", "null"], "minimum": 0, "maximum": 100 },
+        "blockingFindings": { "type": "integer", "minimum": 0 },
+        "advisoryFindings": { "type": "integer", "minimum": 0 },
+        "unknownFindings": { "type": "integer", "minimum": 0 },
+        "contradictionFindings": { "type": "integer", "minimum": 0 },
+        "notApplicableChecks": { "type": "integer", "minimum": 0 },
+        "label": { "const": "diagnostic-pass-rate" }
+      },
+      "additionalProperties": false
+    },
     "probeSummary": {
       "type": "object",
       "required": [
@@ -302,6 +337,8 @@
         "failed": { "type": "integer", "minimum": 0 },
         "blockingFindings": { "type": "integer", "minimum": 0 },
         "advisoryFindings": { "type": "integer", "minimum": 0 },
+        "unknownFindings": { "type": "integer", "minimum": 0 },
+        "contradictionFindings": { "type": "integer", "minimum": 0 },
         "verdict": { "enum": ["passed", "attention", "blocked"] }
       },
       "additionalProperties": false
@@ -401,6 +438,7 @@
         "status": { "enum": ["pass", "warn", "fail"] },
         "severity": { "enum": ["info", "warn", "error"] },
         "scope": { "type": "string" },
+        "applicability": { "enum": ["applicable", "not-applicable", "unknown"] },
         "reason": { "type": "string" },
         "recommendation": { "type": "string" },
         "freshness": { "$ref": "#/$defs/freshness" },
@@ -540,7 +578,15 @@
       "allOf": [
         {
           "if": { "properties": { "kind": { "const": "dependency-security" } } },
-          "then": { "properties": { "completion": { "type": "object", "properties": { "auditClean": { "const": true } }, "required": ["auditClean"] } } }
+          "then": {
+            "properties": {
+              "completion": {
+                "type": "object",
+                "properties": { "auditClean": { "const": true } },
+                "required": ["auditClean"]
+              }
+            }
+          }
         },
         {
           "if": { "properties": { "kind": { "const": "dependency-materialization" } } },
@@ -549,7 +595,11 @@
             "properties": {
               "sourceMutationRequired": { "const": false },
               "observableState": { "const": "runtime-dependency-tree" },
-              "completion": { "type": "object", "properties": { "installedTreePresent": { "const": true } }, "required": ["installedTreePresent"] }
+              "completion": {
+                "type": "object",
+                "properties": { "installedTreePresent": { "const": true } },
+                "required": ["installedTreePresent"]
+              }
             }
           }
         }
@@ -635,6 +685,51 @@
         "command": { "type": "string" },
         "phony": { "type": "boolean" }
       },
+      "allOf": [
+        {
+          "if": { "properties": { "type": { "const": "file-create" } } },
+          "then": {
+            "required": ["content", "overwrite"],
+            "properties": { "content": {}, "overwrite": { "const": false } }
+          }
+        },
+        {
+          "if": { "properties": { "type": { "const": "file-append" } } },
+          "then": {
+            "required": ["lines", "ensureNewline"],
+            "properties": { "lines": {}, "ensureNewline": {} }
+          }
+        },
+        {
+          "if": { "properties": { "type": { "const": "file-copy" } } },
+          "then": {
+            "required": ["sourcePath", "overwrite"],
+            "properties": { "sourcePath": {}, "overwrite": { "const": false } }
+          }
+        },
+        {
+          "if": { "properties": { "type": { "const": "package-json-script" } } },
+          "then": {
+            "required": ["scriptName", "scriptValue"],
+            "properties": { "scriptName": {}, "scriptValue": {} }
+          }
+        },
+        {
+          "if": { "properties": { "type": { "const": "json-edit" } } },
+          "then": { "required": ["edits"], "properties": { "edits": {} } }
+        },
+        {
+          "if": { "properties": { "type": { "const": "env-key-add" } } },
+          "then": { "required": ["keys"], "properties": { "keys": {} } }
+        },
+        {
+          "if": { "properties": { "type": { "const": "makefile-target" } } },
+          "then": {
+            "required": ["target", "command", "phony"],
+            "properties": { "target": {}, "command": {}, "phony": {} }
+          }
+        }
+      ],
       "additionalProperties": false
     }
   },

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

@@ -1,7 +1,7 @@
 {
   "schemaVersion": "rapidkit-extension-cli-compatibility.v1",
   "cli": "workspai",
-  "minimumVerifiedCliVersion": "0.55.1",
+  "minimumVerifiedCliVersion": "0.56.0",
   "publishedContractSchemas": {
     "workspaceContract": 1,
     "runtimeCommandSurface": "rapidkit-runtime-command-surface-v1",
@@ -13,6 +13,7 @@
     "workspaceArchiveOperationResult": "workspai-workspace-archive-operation-result-v1",
     "ingestionPlan": "workspai.ingestion-plan.v1",
     "ingestionResult": "workspai.ingestion-result.v1",
+    "adoptEffects": "workspai.adopt-effects.v1",
     "projectEntryCapability": "workspai-project-entry-capability-v1",
     "projectWorkspaceLink": "project-workspace-link.v1",
     "projectWorkspaceResolution": "project-workspace-resolution.v1",
@@ -20,6 +21,11 @@
     "doctorProjectEvidence": "doctor-project-evidence-v1",
     "doctorWorkspaceEvidence": "doctor-workspace-evidence-v1",
     "doctorGraphDiagnosis": "doctor-graph-diagnosis.v1",
+    "doctorDiagnosis": "workspai.doctor-diagnosis.v1",
+    "doctorCapabilities": "workspai.doctor-capabilities.v1",
+    "doctorValidation": "workspai.doctor-validation.v1",
+    "doctorReceipt": "workspai.doctor-receipt.v1",
+    "doctorSummary": "workspai.doctor-summary.v1",
     "projectTestCoverage": "workspai.project-test-coverage.v1",
     "verifiedGoal": "workspai.verified-goal.v1",
     "verifiedGoalStatus": "workspai.verified-goal-status.v1",

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

@@ -51,6 +51,11 @@
       "contractPath": "contracts/ingestion-result.v1.json",
       "publication": "json-schema"
     },
+    "adoptEffects": {
+      "schemaVersion": "workspai.adopt-effects.v1",
+      "contractPath": "contracts/adopt-effects.v1.json",
+      "publication": "json-schema"
+    },
     "projectEntryCapability": {
       "schemaVersion": "workspai-project-entry-capability-v1",
       "contractPath": "contracts/project-entry-capability.v1.json",
@@ -86,6 +91,31 @@
       "contractPath": "contracts/workspace-intelligence/doctor-graph-diagnosis.v1.json",
       "publication": "json-schema"
     },
+    "doctorDiagnosis": {
+      "schemaVersion": "workspai.doctor-diagnosis.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-diagnosis.v1.json",
+      "publication": "json-schema"
+    },
+    "doctorCapabilities": {
+      "schemaVersion": "workspai.doctor-capabilities.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-capabilities.v1.json",
+      "publication": "capability-contract"
+    },
+    "doctorValidation": {
+      "schemaVersion": "workspai.doctor-validation.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-validation.v1.json",
+      "publication": "json-schema"
+    },
+    "doctorReceipt": {
+      "schemaVersion": "workspai.doctor-receipt.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-receipt.v1.json",
+      "publication": "json-schema"
+    },
+    "doctorSummary": {
+      "schemaVersion": "workspai.doctor-summary.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-summary.v1.json",
+      "publication": "json-schema"
+    },
     "projectTestCoverage": {
       "schemaVersion": "workspai.project-test-coverage.v1",
       "contractPath": "contracts/project-test-coverage.v1.json",

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

@@ -362,6 +362,25 @@
         "doctor"
       ]
     },
+    {
+      "invocation": "doctor capabilities --validate --write",
+      "summary": "Validate every registered Doctor adapter and persist the governed capability and validation artifacts in the selected workspace.",
+      "canonicalArgv": [
+        "doctor",
+        "capabilities",
+        "--validate",
+        "--write"
+      ]
+    },
+    {
+      "invocation": "doctor capabilities --write",
+      "summary": "Persist the canonical Doctor capability matrix as a governed workspace artifact.",
+      "canonicalArgv": [
+        "doctor",
+        "capabilities",
+        "--write"
+      ]
+    },
     {
       "invocation": "doctor project",
       "summary": "Diagnose the current project and emit structured project evidence.",
@@ -1874,6 +1893,31 @@
         ]
       ]
     },
+    {
+      "artifactPath": ".workspai/reports/doctor-capabilities.json",
+      "schemaVersion": "workspai.doctor-capabilities.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-capabilities.v1.json",
+      "producerCommands": [
+        [
+          "doctor",
+          "capabilities",
+          "--write"
+        ]
+      ]
+    },
+    {
+      "artifactPath": ".workspai/reports/doctor-validation-last-run.json",
+      "schemaVersion": "workspai.doctor-validation.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-validation.v1.json",
+      "producerCommands": [
+        [
+          "doctor",
+          "capabilities",
+          "--validate",
+          "--write"
+        ]
+      ]
+    },
     {
       "artifactPath": ".workspai/reports/bootstrap-compliance.latest.json",
       "schemaVersion": "bootstrap-compliance.v1",
@@ -1928,6 +1972,21 @@
         ]
       ]
     },
+    {
+      "artifactPath": ".workspai/reports/doctor-receipt-last-run.json",
+      "schemaVersion": "workspai.doctor-receipt.v1",
+      "contractPath": "contracts/workspace-intelligence/doctor-receipt.v1.json",
+      "producerCommands": [
+        [
+          "doctor",
+          "workspace"
+        ],
+        [
+          "doctor",
+          "project"
+        ]
+      ]
+    },
     {
       "artifactPath": ".workspai/reports/project-test-coverage-last-run.json",
       "schemaVersion": "workspai.project-test-coverage.v1",
@@ -2536,6 +2595,10 @@
           "flag": "--limit",
           "description": "Bound graph query results (1–100)."
         },
+        {
+          "flag": "--refresh-graph",
+          "description": "Bypass the compatible persisted graph and rebuild from live sources."
+        },
         {
           "flag": "--include-paths",
           "description": "Include absolute filesystem paths."

package/contracts/workspace-intelligence/doctor-capabilities.v1.json

@@ -0,0 +1,133 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/schemas/workspace-intelligence/doctor-capabilities.v1.json",
+  "title": "Workspai Doctor Capability Matrix",
+  "type": "object",
+  "required": ["schemaVersion", "registryVersion", "generatedBy", "policy", "summary", "adapters"],
+  "properties": {
+    "schemaVersion": { "const": "workspai.doctor-capabilities.v1" },
+    "registryVersion": { "const": "universal-doctor-capabilities-v1" },
+    "generatedBy": { "const": "workspai" },
+    "policy": {
+      "type": "object",
+      "required": [
+        "unknownIsHealthy",
+        "unsupportedIsHealthy",
+        "repairRequiresTypedOperation",
+        "canonicalDomains"
+      ],
+      "properties": {
+        "unknownIsHealthy": { "const": false },
+        "unsupportedIsHealthy": { "const": false },
+        "repairRequiresTypedOperation": { "const": true },
+        "canonicalDomains": { "$ref": "#/$defs/domains" }
+      },
+      "additionalProperties": false
+    },
+    "summary": {
+      "type": "object",
+      "required": [
+        "adapterCount",
+        "firstClassRuntimes",
+        "extendedRuntimes",
+        "fallbackRuntimes",
+        "frameworkCount",
+        "platformCount"
+      ],
+      "properties": {
+        "adapterCount": { "type": "integer", "minimum": 1 },
+        "firstClassRuntimes": { "type": "integer", "minimum": 0 },
+        "extendedRuntimes": { "type": "integer", "minimum": 0 },
+        "fallbackRuntimes": { "type": "integer", "minimum": 0 },
+        "frameworkCount": { "type": "integer", "minimum": 0 },
+        "platformCount": { "type": "integer", "minimum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "adapters": {
+      "type": "array",
+      "minItems": 1,
+      "items": { "$ref": "#/$defs/adapter" }
+    }
+  },
+  "$defs": {
+    "domain": { "enum": ["runtime", "dependency", "security", "configuration", "test", "quality"] },
+    "domains": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/domain" },
+      "minItems": 6,
+      "maxItems": 6,
+      "uniqueItems": true
+    },
+    "stringList": {
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 },
+      "uniqueItems": true
+    },
+    "nonEmptyStringList": {
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 },
+      "minItems": 1,
+      "uniqueItems": true
+    },
+    "domainCapability": {
+      "type": "object",
+      "required": ["domain", "level", "evidenceSources", "limitations"],
+      "properties": {
+        "domain": { "$ref": "#/$defs/domain" },
+        "level": { "enum": ["native", "portable", "observable", "unsupported"] },
+        "evidenceSources": { "$ref": "#/$defs/stringList" },
+        "limitations": { "$ref": "#/$defs/stringList" }
+      },
+      "additionalProperties": false
+    },
+    "adapter": {
+      "type": "object",
+      "required": [
+        "contractVersion",
+        "id",
+        "runtimeFamilies",
+        "aliases",
+        "frameworks",
+        "projectKinds",
+        "tier",
+        "platforms",
+        "domains",
+        "repairModes",
+        "source",
+        "limitations"
+      ],
+      "properties": {
+        "contractVersion": { "const": "workspai.doctor-adapter.v1" },
+        "id": { "type": "string", "minLength": 1 },
+        "runtimeFamilies": { "$ref": "#/$defs/nonEmptyStringList" },
+        "aliases": { "$ref": "#/$defs/stringList" },
+        "frameworks": { "$ref": "#/$defs/stringList" },
+        "projectKinds": { "$ref": "#/$defs/nonEmptyStringList" },
+        "tier": { "enum": ["first-class", "extended", "fallback"] },
+        "platforms": {
+          "type": "array",
+          "items": { "enum": ["linux", "darwin", "win32"] },
+          "minItems": 1,
+          "uniqueItems": true
+        },
+        "domains": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/domainCapability" },
+          "minItems": 6,
+          "maxItems": 6
+        },
+        "repairModes": {
+          "type": "array",
+          "items": { "enum": ["typed-operation", "structured-invocation", "manual-guidance"] },
+          "minItems": 1,
+          "uniqueItems": true
+        },
+        "source": { "enum": ["builtin", "workspace", "package"] },
+        "limitations": { "$ref": "#/$defs/stringList" }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}