All contracts

Workspace Intelligence / JSON Schema

Workspai Doctor Dependency Repair Transaction v1

The portable closure contract a consumer must satisfy after changing a dependency manifest or lockfile.

Schema version
workspai.doctor-dependency-repair-transaction.v1
Contract path
contracts/workspace-intelligence/doctor-dependency-repair-transaction.v1.json
Publication
json-schema
Defined fields
12
Artifact bindings
0

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.

This is a supporting, capability, cache, compatibility, or consumer contract. It has no single direct producer command in the canonical Workspace Intelligence execution registry.

Produced artifacts

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

No canonical file artifact is registered for this contract. It may describe capabilities, embedded data, runtime exchange, or supporting state instead of a standalone report.

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 pathTypeRequiredMeaningConstraints
completionobjectYesDefines the completion value at this contract boundary.additionalProperties: false
completion.auditCleanbooleanYesDefines the auditclean value at this contract boundary.const: true
completion.canonicalVerificationRequiredbooleanYesDefines the canonicalverificationrequired value at this contract boundary.const: true
completion.declaredBuildPassbooleanYesDefines the declaredbuildpass value at this contract boundary.const: true
completion.declaredTestsPassbooleanYesDefines the declaredtestspass value at this contract boundary.const: true
completion.manifestLockConsistentbooleanYesDefines the manifestlockconsistent value at this contract boundary.const: true
ecosystemstringYesDefines the ecosystem value at this contract boundary.minLength: 1
kindstringYesDefines the kind value at this contract boundary.const: "dependency-security"
projectPathstringYesDefines the projectpath value at this contract boundary.minLength: 1
requiredStagesarrayYesDefines the requiredstages value at this contract boundary.minItems: 4 · maxItems: 4
schemaVersionstringYesDefines the schemaversion value at this contract boundary.const: "workspai.doctor-dependency-repair-transaction.v1"
statestringYesDefines the state value at this contract boundary.const: "planned"

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/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.",
  "type": "object",
  "additionalProperties": false,
  "required": [
    "schemaVersion",
    "kind",
    "state",
    "projectPath",
    "ecosystem",
    "requiredStages",
    "completion"
  ],
  "properties": {
    "schemaVersion": {
      "const": "workspai.doctor-dependency-repair-transaction.v1"
    },
    "kind": {
      "const": "dependency-security"
    },
    "state": {
      "const": "planned"
    },
    "projectPath": {
      "type": "string",
      "minLength": 1
    },
    "ecosystem": {
      "type": "string",
      "minLength": 1
    },
    "requiredStages": {
      "type": "array",
      "prefixItems": [
        {
          "const": "reconcile"
        },
        {
          "const": "audit"
        },
        {
          "const": "test"
        },
        {
          "const": "build"
        }
      ],
      "items": false,
      "minItems": 4,
      "maxItems": 4
    },
    "completion": {
      "type": "object",
      "additionalProperties": false,
      "required": [
        "manifestLockConsistent",
        "auditClean",
        "declaredTestsPass",
        "declaredBuildPass",
        "canonicalVerificationRequired"
      ],
      "properties": {
        "manifestLockConsistent": {
          "const": true
        },
        "auditClean": {
          "const": true
        },
        "declaredTestsPass": {
          "const": true
        },
        "declaredBuildPass": {
          "const": true
        },
        "canonicalVerificationRequired": {
          "const": true
        }
      }
    }
  }
}