{
  "schemaVersion": "workspai.workspace-repair-capabilities.v1",
  "owner": "Workspai CLI",
  "workflow": [
    "plan",
    "preconditions",
    "approval",
    "target-precondition",
    "checkpoint",
    "execute",
    "reconcile",
    "audit",
    "test",
    "build",
    "target-producer-verify",
    "canonical-verify",
    "close-or-rollback-or-decision"
  ],
  "invariants": {
    "multiAdapterProjects": true,
    "missingTools": "decision-required",
    "missingToolSameGenerationRetry": false,
    "missingToolResumeBoundary": "environment-change-and-fresh-plan",
    "plannerExecutorAvailabilityProbe": "shared-launchability-check",
    "setupInstallsHostRuntimes": false,
    "unsupportedEcosystems": "decision-required",
    "silentFallbackToModelExecution": false,
    "mutationAuthority": "cli-only",
    "targetClosure": "selected-causal-action-set",
    "changeReceipt": "checkpoint-hash-delta",
    "consumerTimeline": "durable-transaction-events",
    "typedDecisionCauses": true,
    "registeredLinkedProjectMutationBoundary": true,
    "sourceProposalIntegrity": "project-bound-hash-pinned",
    "completionAuthority": "cli-verification-receipt",
    "goalSourceTransition": "closed-integrity-bound-v1",
    "goalAttemptBudget": "durable-serialized-v1",
    "consumerHandshakeRequired": true,
    "ephemeralProposalsAreEvidence": false,
    "approvalBoundToPlanHash": true,
    "canonicalVerificationRequired": true,
    "rollbackConflictDetection": true
  },
  "consumerProtocol": {
    "protocolVersion": "workspai.workspace-repair-consumer-protocol.v1",
    "versionProbe": {
      "args": [
        "--version",
        "--json"
      ],
      "schemaVersion": "rapidkit-version-v1"
    },
    "capabilityProbe": {
      "args": [
        "workspace",
        "repair",
        "capabilities",
        "--json"
      ],
      "schemaVersion": "workspai.workspace-repair-capabilities.v1"
    },
    "invocation": {
      "command": "workspace repair",
      "workspaceResolution": [
        "process-cwd",
        "--workspace"
      ],
      "actions": [
        "capabilities",
        "plan",
        "propose",
        "approve",
        "decide",
        "execute",
        "resume",
        "status",
        "list",
        "rollback",
        "cancel"
      ]
    },
    "contracts": {
      "operationResult": "workspai-cli-operation-result-v1",
      "proposal": "workspai.workspace-repair-proposal.v1",
      "transaction": "workspai.workspace-repair-transaction.v1"
    },
    "transientPaths": [
      ".workspai/repair/inbox/*.json",
      ".workspai/repair/engine.lock"
    ]
  },
  "qualificationMatrix": {
    "schemaVersion": "workspai.workspace-repair-qualification-matrix.v1",
    "status": "contract-enforced",
    "dimensions": {
      "adapters": [
        "node",
        "python",
        "go",
        "rust",
        "php-composer",
        "ruby-bundler",
        "elixir-mix",
        "deno",
        "dotnet",
        "jvm-maven",
        "jvm-gradle",
        "clojure",
        "scala-sbt"
      ],
      "scopes": [
        "project",
        "workspace",
        "linked-project",
        "polyglot-project"
      ],
      "failureFamilies": [
        "missing-tool",
        "stale-evidence",
        "missing-artifact",
        "no-op-proposal",
        "source-drift",
        "validation-failure",
        "producer-failure",
        "provider-outage",
        "interrupted-rollback",
        "unsupported-runtime"
      ],
      "recoveryPaths": [
        "automatic-refresh",
        "bounded-replan",
        "decision-required",
        "checkpoint-rollback",
        "durable-resume",
        "manual-repair"
      ],
      "failureRecoveryPolicy": {
        "missing-tool": "decision-required",
        "stale-evidence": "automatic-refresh",
        "missing-artifact": "automatic-refresh",
        "no-op-proposal": "bounded-replan",
        "source-drift": "bounded-replan",
        "validation-failure": "checkpoint-rollback",
        "producer-failure": "bounded-replan",
        "provider-outage": "durable-resume",
        "interrupted-rollback": "durable-resume",
        "unsupported-runtime": "manual-repair"
      }
    },
    "invariants": {
      "everyAdapterDeclaresClosureStages": true,
      "everyFailureTerminates": true,
      "everyMutationIsCheckpointed": true,
      "workspaceAndProjectScopesUseTheSameEngine": true,
      "linkedProjectsRemainBoundaryChecked": true,
      "missingToolsBlockExecutionBeforeApproval": true,
      "polyglotActionsDeclareIndependentExecutablePrerequisites": true
    }
  },
  "adapters": [
    {
      "id": "node",
      "ecosystem": "JavaScript / TypeScript",
      "manifests": [
        "package.json"
      ],
      "lockfiles": [
        "package-lock.json",
        "npm-shrinkwrap.json",
        "pnpm-lock.yaml",
        "yarn.lock",
        "bun.lock",
        "bun.lockb"
      ],
      "packageManagers": [
        "npm",
        "pnpm",
        "yarn",
        "bun"
      ],
      "support": "full",
      "stages": {
        "reconcile": "native",
        "audit": "native",
        "test": "declared",
        "build": "declared"
      },
      "requiredToolFamilies": [
        "selected package manager"
      ]
    },
    {
      "id": "python",
      "ecosystem": "Python",
      "manifests": [
        "pyproject.toml",
        "requirements.txt"
      ],
      "lockfiles": [
        "uv.lock",
        "poetry.lock",
        "requirements.txt"
      ],
      "packageManagers": [
        "uv",
        "poetry",
        "pip"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "conditional",
        "audit": "conditional",
        "test": "conditional",
        "build": "declared"
      },
      "requiredToolFamilies": [
        "isolated Python",
        "selected environment manager",
        "pip-audit or governed Doctor audit"
      ],
      "limitation": "A bounded isolated environment and an installed audit surface are required."
    },
    {
      "id": "go",
      "ecosystem": "Go",
      "manifests": [
        "go.mod"
      ],
      "lockfiles": [
        "go.sum"
      ],
      "packageManagers": [
        "go modules"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "native",
        "audit": "conditional",
        "test": "native",
        "build": "native"
      },
      "requiredToolFamilies": [
        "go",
        "govulncheck"
      ],
      "limitation": "govulncheck must be installed; the engine never fetches an unreviewed tool."
    },
    {
      "id": "rust",
      "ecosystem": "Rust",
      "manifests": [
        "Cargo.toml"
      ],
      "lockfiles": [
        "Cargo.lock"
      ],
      "packageManagers": [
        "cargo"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "native",
        "audit": "conditional",
        "test": "native",
        "build": "native"
      },
      "requiredToolFamilies": [
        "cargo",
        "cargo-audit"
      ],
      "limitation": "The cargo-audit subcommand must already be installed."
    },
    {
      "id": "php-composer",
      "ecosystem": "PHP",
      "manifests": [
        "composer.json"
      ],
      "lockfiles": [
        "composer.lock"
      ],
      "packageManagers": [
        "composer"
      ],
      "support": "full",
      "stages": {
        "reconcile": "native",
        "audit": "native",
        "test": "declared",
        "build": "declared"
      },
      "requiredToolFamilies": [
        "composer"
      ]
    },
    {
      "id": "ruby-bundler",
      "ecosystem": "Ruby",
      "manifests": [
        "Gemfile"
      ],
      "lockfiles": [
        "Gemfile.lock"
      ],
      "packageManagers": [
        "bundler"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "native",
        "audit": "conditional",
        "test": "declared",
        "build": "declared"
      },
      "requiredToolFamilies": [
        "bundle",
        "bundle-audit"
      ],
      "limitation": "bundle-audit and the declared Rake tasks must already exist."
    },
    {
      "id": "elixir-mix",
      "ecosystem": "Elixir",
      "manifests": [
        "mix.exs"
      ],
      "lockfiles": [
        "mix.lock"
      ],
      "packageManagers": [
        "mix"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "native",
        "audit": "conditional",
        "test": "native",
        "build": "native"
      },
      "requiredToolFamilies": [
        "mix",
        "Hex audit task"
      ],
      "limitation": "The project must expose the Hex audit task used by its dependency policy."
    },
    {
      "id": "deno",
      "ecosystem": "Deno",
      "manifests": [
        "deno.json",
        "deno.jsonc"
      ],
      "lockfiles": [
        "deno.lock"
      ],
      "packageManagers": [
        "deno"
      ],
      "support": "full",
      "stages": {
        "reconcile": "native",
        "audit": "native",
        "test": "declared",
        "build": "declared"
      },
      "requiredToolFamilies": [
        "deno"
      ]
    },
    {
      "id": "dotnet",
      "ecosystem": ".NET",
      "manifests": [
        "*.sln",
        "*.csproj",
        "*.fsproj",
        "*.vbproj"
      ],
      "lockfiles": [
        "Directory.Packages.props",
        "packages.lock.json"
      ],
      "packageManagers": [
        "NuGet / dotnet"
      ],
      "support": "full",
      "stages": {
        "reconcile": "native",
        "audit": "native",
        "test": "native",
        "build": "native"
      },
      "requiredToolFamilies": [
        "dotnet"
      ]
    },
    {
      "id": "jvm-maven",
      "ecosystem": "JVM / Maven",
      "manifests": [
        "pom.xml"
      ],
      "lockfiles": [],
      "packageManagers": [
        "Maven Wrapper",
        "Maven"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "native",
        "audit": "conditional",
        "test": "native",
        "build": "native"
      },
      "requiredToolFamilies": [
        "mvnw or mvn",
        "governed Doctor audit"
      ],
      "limitation": "A project-specific dependency audit command must be declared by Doctor evidence."
    },
    {
      "id": "jvm-gradle",
      "ecosystem": "JVM / Gradle",
      "manifests": [
        "build.gradle.kts",
        "build.gradle"
      ],
      "lockfiles": [
        "gradle.lockfile",
        "gradle/libs.versions.toml"
      ],
      "packageManagers": [
        "Gradle Wrapper",
        "Gradle"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "native",
        "audit": "conditional",
        "test": "native",
        "build": "native"
      },
      "requiredToolFamilies": [
        "gradlew or gradle",
        "governed Doctor audit"
      ],
      "limitation": "A project-specific dependency audit command must be declared by Doctor evidence."
    },
    {
      "id": "clojure",
      "ecosystem": "Clojure",
      "manifests": [
        "deps.edn",
        "project.clj"
      ],
      "lockfiles": [],
      "packageManagers": [
        "Clojure CLI",
        "Leiningen"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "native",
        "audit": "conditional",
        "test": "conditional",
        "build": "conditional"
      },
      "requiredToolFamilies": [
        "clojure or lein",
        "governed project audit"
      ],
      "limitation": "Tests and builds run only when the selected Clojure project surface declares a deterministic entrypoint."
    },
    {
      "id": "scala-sbt",
      "ecosystem": "Scala / sbt",
      "manifests": [
        "build.sbt"
      ],
      "lockfiles": [],
      "packageManagers": [
        "sbt"
      ],
      "support": "conditional",
      "stages": {
        "reconcile": "native",
        "audit": "conditional",
        "test": "native",
        "build": "native"
      },
      "requiredToolFamilies": [
        "sbt",
        "governed project audit"
      ],
      "limitation": "A project-specific dependency audit command must be declared by Doctor evidence."
    }
  ]
}