Workspace Intelligence / JSON Schema

Workspai Doctor Validation Report

Defines the versioned doctor validation v1 boundary used by Workspai and its consumers.

Schema version: workspai.doctor-validation.v1
Contract path: contracts/workspace-intelligence/doctor-validation.v1.json
Publication: json-schema
Defined fields: 35
Artifact bindings: 1

Why this contract exists

Architecture role

Carries structured evidence, findings, and verdicts across governance boundaries.

Consumption boundary

• Workspai CLI
• CI and release automation
• Developers

Related commands

Commands are linked only when the runtime contract identifies a direct production relationship. Supporting contracts may be consumed without having a single producer command.

workspai doctor capabilities

Produced artifacts

These durable files are emitted by registered commands and validated against this contract.

Artifact path	Schema	Producer
.workspai/reports/doctor-validation-last-run.json	workspai.doctor-validation.v1	workspai doctor capabilities --validate --write

Field reference

Every declared schema property or published capability path is listed here. Required means the contract declares or publishes that field at the shown boundary.

Field path	Type	Required	Meaning	Constraints
$defs.actualOutcome.diagnosisState	enum	No	Defines the diagnosisstate value at this contract boundary.	enum: confirmed, candidate, unknown
$defs.actualOutcome.domain	reference	No	Defines the domain value at this contract boundary.	ref: #/$defs/domain
$defs.actualOutcome.finding	boolean	Yes	Defines the finding value at this contract boundary.	—
$defs.actualOutcome.repairDisposition	enum	No	Defines the repairdisposition value at this contract boundary.	enum: automatic, approval-required, manual, unavailable
$defs.actualOutcome.status	enum	No	Defines the status value at this contract boundary.	enum: blocking, advisory
$defs.outcome.diagnosisState	enum	No	Defines the diagnosisstate value at this contract boundary.	enum: confirmed, candidate, unknown
$defs.outcome.domain	reference	No	Defines the domain value at this contract boundary.	ref: #/$defs/domain
$defs.outcome.finding	boolean	Yes	Defines the finding value at this contract boundary.	—
$defs.outcome.repairDisposition	enum	No	Defines the repairdisposition value at this contract boundary.	enum: automatic, approval-required, manual, unavailable
$defs.outcome.status	enum	No	Defines the status value at this contract boundary.	enum: blocking, advisory
capabilityRegistryVersion	string	Yes	Defines the capabilityregistryversion value at this contract boundary.	const: "universal-doctor-capabilities-v1"
cases	array	Yes	Defines the cases value at this contract boundary.	minItems: 1
cases[].actual	reference	Yes	Defines the actual value at this contract boundary.	ref: #/$defs/actualOutcome
cases[].expected	reference	Yes	Defines the expected value at this contract boundary.	ref: #/$defs/outcome
cases[].failures	array	Yes	Defines the failures value at this contract boundary.	—
cases[].id	string	Yes	Defines the id value at this contract boundary.	minLength: 1
cases[].passed	boolean	Yes	Defines the passed value at this contract boundary.	—
corpusVersion	string	Yes	Defines the corpusversion value at this contract boundary.	const: "doctor-disease-corpus-v1"
limitations	array	Yes	Defines the limitations value at this contract boundary.	minItems: 1
schemaVersion	string	Yes	Defines the schemaversion value at this contract boundary.	const: "workspai.doctor-validation.v1"
scope	string	Yes	Defines the scope value at this contract boundary.	const: "synthetic-contract-corpus"
summary	object	Yes	Defines the summary value at this contract boundary.	additionalProperties: false
summary.declaredPlatforms	integer	Yes	Defines the declaredplatforms value at this contract boundary.	minimum: 1
summary.domainCoverage	number	Yes	Defines the domaincoverage value at this contract boundary.	minimum: 0 · maximum: 1
summary.failedCases	integer	Yes	Defines the failedcases value at this contract boundary.	minimum: 0
summary.falseNegatives	integer	Yes	Defines the falsenegatives value at this contract boundary.	minimum: 0
summary.falsePositives	integer	Yes	Defines the falsepositives value at this contract boundary.	minimum: 0
summary.passedCases	integer	Yes	Defines the passedcases value at this contract boundary.	minimum: 0
summary.precision	number	Yes	Defines the precision value at this contract boundary.	minimum: 0 · maximum: 1
summary.recall	number	Yes	Defines the recall value at this contract boundary.	minimum: 0 · maximum: 1
summary.runtimeAdapterCoverage	number	Yes	Defines the runtimeadaptercoverage value at this contract boundary.	minimum: 0 · maximum: 1
summary.runtimeAdaptersExercised	integer	Yes	Defines the runtimeadaptersexercised value at this contract boundary.	minimum: 1
summary.totalCases	integer	Yes	Defines the totalcases value at this contract boundary.	minimum: 1
summary.trueNegatives	integer	Yes	Defines the truenegatives value at this contract boundary.	minimum: 0
summary.truePositives	integer	Yes	Defines the truepositives value at this contract boundary.	minimum: 0

Canonical machine-readable definition

The raw synchronized contract remains authoritative. The educational sections above are projections of this definition.

Show raw JSON

{
  "$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
}