workspai 0.55.1 → 0.56.0

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
+}

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

@@ -0,0 +1,273 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/schemas/workspace-intelligence/doctor-diagnosis.v1.json",
+  "title": "Workspai Universal Doctor Diagnosis",
+  "type": "object",
+  "required": [
+    "schemaVersion",
+    "engineVersion",
+    "project",
+    "capability",
+    "domains",
+    "coverage",
+    "findings",
+    "causalGroups",
+    "unknowns",
+    "contradictions"
+  ],
+  "properties": {
+    "schemaVersion": { "const": "workspai.doctor-diagnosis.v1" },
+    "engineVersion": { "const": "universal-diagnosis-v1" },
+    "project": {
+      "type": "object",
+      "required": ["name", "path", "runtimeFamily", "runtimeFamilies", "framework", "projectKind"],
+      "properties": {
+        "name": { "type": "string", "minLength": 1 },
+        "path": { "type": "string", "minLength": 1 },
+        "runtimeFamily": { "type": "string", "minLength": 1 },
+        "runtimeFamilies": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 },
+          "minItems": 1,
+          "uniqueItems": true
+        },
+        "framework": { "type": "string", "minLength": 1 },
+        "projectKind": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "capability": {
+      "type": "object",
+      "required": [
+        "registryVersion",
+        "adapterId",
+        "runtimeFamily",
+        "tier",
+        "confidence",
+        "nativeDomains",
+        "portableDomains",
+        "observableDomains",
+        "unsupportedDomains",
+        "limitations"
+      ],
+      "properties": {
+        "registryVersion": { "type": "string", "minLength": 1 },
+        "adapterId": { "type": "string", "minLength": 1 },
+        "runtimeFamily": { "type": "string", "minLength": 1 },
+        "tier": { "enum": ["first-class", "extended", "fallback"] },
+        "confidence": { "enum": ["high", "medium", "low"] },
+        "nativeDomains": { "$ref": "#/$defs/domainList" },
+        "portableDomains": { "$ref": "#/$defs/domainList" },
+        "observableDomains": { "$ref": "#/$defs/domainList" },
+        "unsupportedDomains": { "$ref": "#/$defs/domainList" },
+        "limitations": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 },
+          "uniqueItems": true
+        }
+      },
+      "additionalProperties": false
+    },
+    "domains": {
+      "type": "array",
+      "minItems": 6,
+      "maxItems": 6,
+      "items": {
+        "type": "object",
+        "required": [
+          "id",
+          "status",
+          "observationCount",
+          "blockingFindings",
+          "advisoryFindings",
+          "reason"
+        ],
+        "properties": {
+          "id": {
+            "enum": ["runtime", "dependency", "security", "configuration", "test", "quality"]
+          },
+          "status": { "enum": ["clean", "findings", "not-applicable", "not-run", "stale"] },
+          "observationCount": { "type": "integer", "minimum": 0 },
+          "blockingFindings": { "type": "integer", "minimum": 0 },
+          "advisoryFindings": { "type": "integer", "minimum": 0 },
+          "reason": { "type": "string", "minLength": 1 }
+        },
+        "additionalProperties": false
+      }
+    },
+    "coverage": {
+      "type": "object",
+      "required": [
+        "totalObservations",
+        "evaluatedObservations",
+        "passingObservations",
+        "blockingFindings",
+        "advisoryFindings",
+        "unknownFindings",
+        "repairableFindings",
+        "manualFindings",
+        "unsupportedFindings",
+        "contradictionCount",
+        "diagnosisCompleteness"
+      ],
+      "properties": {
+        "totalObservations": { "type": "integer", "minimum": 0 },
+        "evaluatedObservations": { "type": "integer", "minimum": 0 },
+        "passingObservations": { "type": "integer", "minimum": 0 },
+        "blockingFindings": { "type": "integer", "minimum": 0 },
+        "advisoryFindings": { "type": "integer", "minimum": 0 },
+        "unknownFindings": { "type": "integer", "minimum": 0 },
+        "repairableFindings": { "type": "integer", "minimum": 0 },
+        "manualFindings": { "type": "integer", "minimum": 0 },
+        "unsupportedFindings": { "type": "integer", "minimum": 0 },
+        "contradictionCount": { "type": "integer", "minimum": 0 },
+        "diagnosisCompleteness": { "type": "number", "minimum": 0, "maximum": 100 }
+      },
+      "additionalProperties": false
+    },
+    "findings": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/finding" }
+    },
+    "causalGroups": {
+      "type": "array",
+      "items": { "$ref": "#/$defs/causalGroup" }
+    },
+    "unknowns": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "reason"],
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "reason": { "type": "string", "minLength": 1 },
+          "probeId": { "type": "string", "minLength": 1 }
+        },
+        "additionalProperties": false
+      }
+    },
+    "contradictions": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["probeId", "statuses", "reason"],
+        "properties": {
+          "probeId": { "type": "string", "minLength": 1 },
+          "statuses": {
+            "type": "array",
+            "items": { "enum": ["pass", "warn", "fail"] },
+            "minItems": 2,
+            "uniqueItems": true
+          },
+          "reason": { "type": "string", "minLength": 1 }
+        },
+        "additionalProperties": false
+      }
+    }
+  },
+  "$defs": {
+    "domainList": {
+      "type": "array",
+      "items": {
+        "enum": ["runtime", "dependency", "security", "configuration", "test", "quality"]
+      },
+      "uniqueItems": true
+    },
+    "proof": {
+      "type": "object",
+      "required": ["kind", "role", "ref", "claim"],
+      "properties": {
+        "kind": { "enum": ["probe", "file", "dependency", "runtime", "command", "graph", "unknown"] },
+        "role": { "enum": ["observation", "repair-target", "subject", "verification", "impact"] },
+        "ref": { "type": "string", "minLength": 1 },
+        "claim": { "type": "string", "minLength": 1 }
+      },
+      "additionalProperties": false
+    },
+    "repair": {
+      "type": "object",
+      "required": ["disposition", "requiresFreshEvidence"],
+      "properties": {
+        "disposition": {
+          "enum": ["automatic", "approval-required", "manual", "unavailable", "not-needed"]
+        },
+        "capabilityId": { "type": "string", "minLength": 1 },
+        "operationType": { "type": "string", "minLength": 1 },
+        "verifyCommand": { "type": "string", "minLength": 1 },
+        "requiresFreshEvidence": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    },
+    "finding": {
+      "type": "object",
+      "required": [
+        "id",
+        "causalKey",
+        "projectName",
+        "projectPath",
+        "probeId",
+        "label",
+        "status",
+        "severity",
+        "issueClass",
+        "operationalImpact",
+        "applicability",
+        "confidence",
+        "confidenceScore",
+        "diagnosisState",
+        "symptom",
+        "proofs",
+        "repair"
+      ],
+      "properties": {
+        "id": { "type": "string", "minLength": 1 },
+        "causalKey": { "type": "string", "minLength": 1 },
+        "projectName": { "type": "string", "minLength": 1 },
+        "projectPath": { "type": "string", "minLength": 1 },
+        "probeId": { "type": "string", "minLength": 1 },
+        "label": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["blocking", "advisory", "informational", "unknown"] },
+        "severity": { "enum": ["info", "warn", "error"] },
+        "issueClass": { "type": "string", "minLength": 1 },
+        "operationalImpact": { "type": "string", "minLength": 1 },
+        "applicability": { "enum": ["applicable", "not-applicable", "unknown"] },
+        "confidence": { "enum": ["high", "medium", "low"] },
+        "confidenceScore": { "type": "number", "minimum": 0, "maximum": 1 },
+        "diagnosisState": { "enum": ["confirmed", "candidate", "unknown"] },
+        "symptom": { "type": "string", "minLength": 1 },
+        "recommendation": { "type": "string", "minLength": 1 },
+        "proofs": {
+          "type": "array",
+          "items": { "$ref": "#/$defs/proof" },
+          "minItems": 1
+        },
+        "repair": { "$ref": "#/$defs/repair" }
+      },
+      "additionalProperties": false
+    },
+    "causalGroup": {
+      "type": "object",
+      "required": ["causalKey", "issueClass", "status", "findingIds", "projectPaths", "repairable"],
+      "properties": {
+        "causalKey": { "type": "string", "minLength": 1 },
+        "issueClass": { "type": "string", "minLength": 1 },
+        "status": { "enum": ["blocking", "advisory", "informational", "unknown"] },
+        "findingIds": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 },
+          "minItems": 1,
+          "uniqueItems": true
+        },
+        "projectPaths": {
+          "type": "array",
+          "items": { "type": "string", "minLength": 1 },
+          "minItems": 1,
+          "uniqueItems": true
+        },
+        "repairable": { "type": "boolean" }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

package/contracts/workspace-intelligence/doctor-graph-diagnosis.v1.json

@@ -132,6 +132,8 @@
             "depends-on",
             "exposes",
             "implements",
+            "implements-protocol",
+            "equivalent-to",
             "calls",
             "reads-from",
             "writes-to",
@@ -145,6 +147,7 @@
             "tests",
             "owns",
             "generated-by",
+            "generated-from",
             "configured-by",
             "references"
           ]

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

@@ -0,0 +1,136 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/schemas/workspace-intelligence/doctor-receipt.v1.json",
+  "title": "Workspai Doctor Receipt",
+  "type": "object",
+  "required": [
+    "schemaVersion",
+    "generatedAt",
+    "scope",
+    "verdict",
+    "counts",
+    "freshness",
+    "affectedProjects",
+    "blockers",
+    "next",
+    "artifacts"
+  ],
+  "properties": {
+    "schemaVersion": { "const": "workspai.doctor-receipt.v1" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "scope": {
+      "type": "object",
+      "required": ["kind", "root", "name"],
+      "properties": {
+        "kind": { "enum": ["workspace", "project"] },
+        "root": { "type": "string", "minLength": 1 },
+        "name": { "type": "string", "minLength": 1 },
+        "workspacePath": { "type": ["string", "null"] },
+        "projectPath": { "type": ["string", "null"] }
+      },
+      "additionalProperties": false
+    },
+    "verdict": { "enum": ["passed", "attention", "blocked"] },
+    "counts": { "$ref": "#/$defs/counts" },
+    "freshness": { "$ref": "#/$defs/freshness" },
+    "affectedProjects": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["name", "path", "runtimeFamily", "verdict", "blockingCauses", "advisoryFindings", "unknownFindings"],
+        "properties": {
+          "name": { "type": "string" },
+          "path": { "type": "string" },
+          "runtimeFamily": { "type": "string" },
+          "framework": { "type": "string" },
+          "verdict": { "enum": ["passed", "attention", "blocked"] },
+          "blockingCauses": { "type": "integer", "minimum": 0 },
+          "advisoryFindings": { "type": "integer", "minimum": 0 },
+          "unknownFindings": { "type": "integer", "minimum": 0 }
+        },
+        "additionalProperties": false
+      }
+    },
+    "blockers": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "projectName", "projectPath", "issueClass", "symptom", "repairDisposition"],
+        "properties": {
+          "id": { "type": "string" },
+          "projectName": { "type": "string" },
+          "projectPath": { "type": "string" },
+          "issueClass": { "type": "string" },
+          "symptom": { "type": "string" },
+          "repairDisposition": { "enum": ["automatic", "approval-required", "manual", "unavailable", "not-needed"] },
+          "capabilityId": { "type": "string" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "next": {
+      "type": "object",
+      "required": ["action", "reason", "commands"],
+      "properties": {
+        "action": { "enum": ["repair", "review", "refresh", "verify", "none"] },
+        "reason": { "type": "string" },
+        "commands": { "type": "array", "items": { "type": "string" } }
+      },
+      "additionalProperties": false
+    },
+    "artifacts": {
+      "type": "object",
+      "required": ["evidence", "receipt"],
+      "properties": {
+        "evidence": { "type": ["string", "null"] },
+        "receipt": { "type": "string" }
+      },
+      "additionalProperties": false
+    }
+  },
+  "$defs": {
+    "counts": {
+      "type": "object",
+      "required": [
+        "projectsScanned", "affectedProjects", "projectsBlocked", "projectsNeedingAttention",
+        "blockingCauses", "advisoryFindings", "unknownFindings", "contradictionFindings",
+        "repairableFindings", "manualFindings", "unsupportedFindings",
+        "dependencyAdvisorySubjects", "dependencyVulnerabilityFindings",
+        "notApplicableChecks", "systemErrors"
+      ],
+      "properties": {
+        "projectsScanned": { "type": "integer", "minimum": 0 },
+        "affectedProjects": { "type": "integer", "minimum": 0 },
+        "projectsBlocked": { "type": "integer", "minimum": 0 },
+        "projectsNeedingAttention": { "type": "integer", "minimum": 0 },
+        "blockingCauses": { "type": "integer", "minimum": 0 },
+        "advisoryFindings": { "type": "integer", "minimum": 0 },
+        "unknownFindings": { "type": "integer", "minimum": 0 },
+        "contradictionFindings": { "type": "integer", "minimum": 0 },
+        "repairableFindings": { "type": "integer", "minimum": 0 },
+        "manualFindings": { "type": "integer", "minimum": 0 },
+        "unsupportedFindings": { "type": "integer", "minimum": 0 },
+        "dependencyAdvisorySubjects": { "type": "integer", "minimum": 0 },
+        "dependencyVulnerabilityFindings": { "type": "integer", "minimum": 0 },
+        "notApplicableChecks": { "type": "integer", "minimum": 0 },
+        "systemErrors": { "type": "integer", "minimum": 0 }
+      },
+      "additionalProperties": false
+    },
+    "freshness": {
+      "type": "object",
+      "required": ["generatedAt", "status", "staleProbeCount", "unknownProbeCount", "liveStateProbeCount", "verifyBeforeUseProbeCount"],
+      "properties": {
+        "generatedAt": { "type": "string", "format": "date-time" },
+        "status": { "enum": ["fresh", "stale", "unknown"] },
+        "staleProbeCount": { "type": "integer", "minimum": 0 },
+        "unknownProbeCount": { "type": "integer", "minimum": 0 },
+        "liveStateProbeCount": { "type": "integer", "minimum": 0 },
+        "verifyBeforeUseProbeCount": { "type": "integer", "minimum": 0 },
+        "oldestProbeGeneratedAt": { "type": "string", "format": "date-time" }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}

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

@@ -0,0 +1,99 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/schemas/workspace-intelligence/doctor-summary.v1.json",
+  "title": "Workspai Doctor JSON Summary",
+  "type": "object",
+  "required": ["schemaVersion", "generatedAt", "scope", "verdict", "counts"],
+  "properties": {
+    "schemaVersion": { "const": "workspai.doctor-summary.v1" },
+    "generatedAt": { "type": "string", "format": "date-time" },
+    "scope": { "enum": ["system", "workspace", "project"] },
+    "verdict": { "enum": ["passed", "attention", "blocked"] },
+    "counts": { "$ref": "doctor-receipt.v1.json#/$defs/counts" },
+    "freshness": { "$ref": "doctor-receipt.v1.json#/$defs/freshness" },
+    "workspace": {
+      "type": ["object", "null"],
+      "required": ["name", "path"],
+      "properties": {
+        "name": { "type": "string" },
+        "path": { "type": "string" }
+      },
+      "additionalProperties": false
+    },
+    "project": {
+      "type": "object",
+      "required": ["name", "path", "runtimeFamily", "framework"],
+      "properties": {
+        "name": { "type": "string" },
+        "path": { "type": "string" },
+        "runtimeFamily": { "type": "string" },
+        "framework": { "type": "string" }
+      },
+      "additionalProperties": false
+    },
+    "affectedProjects": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["name", "path", "runtimeFamily", "verdict", "blockingCauses", "advisoryFindings", "unknownFindings"],
+        "properties": {
+          "name": { "type": "string" },
+          "path": { "type": "string" },
+          "runtimeFamily": { "type": "string" },
+          "verdict": { "enum": ["passed", "attention", "blocked"] },
+          "blockingCauses": { "type": "integer", "minimum": 0 },
+          "advisoryFindings": { "type": "integer", "minimum": 0 },
+          "unknownFindings": { "type": "integer", "minimum": 0 }
+        },
+        "additionalProperties": false
+      }
+    },
+    "blockers": {
+      "type": "array",
+      "items": {
+        "type": "object",
+        "required": ["id", "issueClass", "symptom", "repairDisposition"],
+        "properties": {
+          "id": { "type": "string" },
+          "issueClass": { "type": "string" },
+          "symptom": { "type": "string" },
+          "repairDisposition": { "enum": ["automatic", "approval-required", "manual", "unavailable", "not-needed"] },
+          "capabilityId": { "type": "string" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "system": {
+      "type": "object",
+      "additionalProperties": {
+        "type": "object",
+        "required": ["status", "message"],
+        "properties": {
+          "status": { "enum": ["ok", "warn", "error"] },
+          "message": { "type": "string" }
+        },
+        "additionalProperties": false
+      }
+    },
+    "artifacts": {
+      "type": "object",
+      "additionalProperties": { "type": "string" }
+    },
+    "nextActions": { "type": "array", "items": { "type": "string" } }
+  },
+  "allOf": [
+    {
+      "if": { "properties": { "scope": { "const": "workspace" } } },
+      "then": { "required": ["workspace", "affectedProjects", "freshness", "artifacts"] }
+    },
+    {
+      "if": { "properties": { "scope": { "const": "project" } } },
+      "then": { "required": ["workspace", "project", "blockers", "freshness", "artifacts"] }
+    },
+    {
+      "if": { "properties": { "scope": { "const": "system" } } },
+      "then": { "required": ["system", "nextActions"] }
+    }
+  ],
+  "additionalProperties": false
+}