workspai 0.55.1 → 0.57.0

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,101 @@
+{
+  "$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" },
+        "projectArchetype": { "enum": ["application", "service", "library", "sdk", "platform", "plugin", "monorepo", "unknown"] }
+      },
+      "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" },
+          "projectArchetype": { "enum": ["application", "service", "library", "sdk", "platform", "plugin", "monorepo", "unknown"] },
+          "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
+}

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

@@ -0,0 +1,109 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://workspai.dev/schemas/workspace-intelligence/doctor-validation.v1.json",
+  "title": "Workspai Doctor Validation Report",
+  "type": "object",
+  "required": [
+    "schemaVersion",
+    "corpusVersion",
+    "capabilityRegistryVersion",
+    "scope",
+    "summary",
+    "cases",
+    "limitations"
+  ],
+  "properties": {
+    "schemaVersion": { "const": "workspai.doctor-validation.v1" },
+    "corpusVersion": { "const": "doctor-disease-corpus-v1" },
+    "capabilityRegistryVersion": { "const": "universal-doctor-capabilities-v1" },
+    "scope": { "const": "synthetic-contract-corpus" },
+    "summary": {
+      "type": "object",
+      "required": [
+        "totalCases",
+        "passedCases",
+        "failedCases",
+        "truePositives",
+        "trueNegatives",
+        "falsePositives",
+        "falseNegatives",
+        "precision",
+        "recall",
+        "domainCoverage",
+        "runtimeAdapterCoverage",
+        "runtimeAdaptersExercised",
+        "declaredPlatforms"
+      ],
+      "properties": {
+        "totalCases": { "type": "integer", "minimum": 1 },
+        "passedCases": { "type": "integer", "minimum": 0 },
+        "failedCases": { "type": "integer", "minimum": 0 },
+        "truePositives": { "type": "integer", "minimum": 0 },
+        "trueNegatives": { "type": "integer", "minimum": 0 },
+        "falsePositives": { "type": "integer", "minimum": 0 },
+        "falseNegatives": { "type": "integer", "minimum": 0 },
+        "precision": { "type": "number", "minimum": 0, "maximum": 1 },
+        "recall": { "type": "number", "minimum": 0, "maximum": 1 },
+        "domainCoverage": { "type": "number", "minimum": 0, "maximum": 1 },
+        "runtimeAdapterCoverage": { "type": "number", "minimum": 0, "maximum": 1 },
+        "runtimeAdaptersExercised": { "type": "integer", "minimum": 1 },
+        "declaredPlatforms": { "type": "integer", "minimum": 1 }
+      },
+      "additionalProperties": false
+    },
+    "cases": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "type": "object",
+        "required": ["id", "passed", "expected", "actual", "failures"],
+        "properties": {
+          "id": { "type": "string", "minLength": 1 },
+          "passed": { "type": "boolean" },
+          "expected": { "$ref": "#/$defs/outcome" },
+          "actual": { "$ref": "#/$defs/actualOutcome" },
+          "failures": {
+            "type": "array",
+            "items": { "type": "string", "minLength": 1 },
+            "uniqueItems": true
+          }
+        },
+        "additionalProperties": false
+      }
+    },
+    "limitations": {
+      "type": "array",
+      "items": { "type": "string", "minLength": 1 },
+      "minItems": 1,
+      "uniqueItems": true
+    }
+  },
+  "$defs": {
+    "domain": { "enum": ["runtime", "dependency", "security", "configuration", "test", "quality"] },
+    "outcome": {
+      "type": "object",
+      "required": ["finding"],
+      "properties": {
+        "finding": { "type": "boolean" },
+        "domain": { "$ref": "#/$defs/domain" },
+        "status": { "enum": ["blocking", "advisory"] },
+        "diagnosisState": { "enum": ["confirmed", "candidate", "unknown"] },
+        "repairDisposition": { "enum": ["automatic", "approval-required", "manual", "unavailable"] }
+      },
+      "additionalProperties": false
+    },
+    "actualOutcome": {
+      "type": "object",
+      "required": ["finding"],
+      "properties": {
+        "finding": { "type": "boolean" },
+        "domain": { "$ref": "#/$defs/domain" },
+        "status": { "enum": ["blocking", "advisory"] },
+        "diagnosisState": { "enum": ["confirmed", "candidate", "unknown"] },
+        "repairDisposition": { "enum": ["automatic", "approval-required", "manual", "unavailable"] }
+      },
+      "additionalProperties": false
+    }
+  },
+  "additionalProperties": false
+}