All contracts

Workspace Intelligence / JSON Schema

Workspai Proof-Carrying Change Capsule Validation

Defines the versioned proof carrying change capsule validation v1 boundary used by Workspai and its consumers.

Schema version
workspai.proof-carrying-change-capsule-validation.v1
Contract path
contracts/workspace-intelligence/proof-carrying-change-capsule-validation.v1.json
Publication
json-schema
Defined fields
6
Artifact bindings
0

Why this contract exists

Architecture role

Defines a versioned interoperability boundary used by Workspai and contract-aware consumers.

Consumption boundary

  • Workspai CLI
  • Workspace Intelligence consumers
  • IDEs and agents

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
capsulereferenceYesDefines the capsule value at this contract boundary.ref: proof-carrying-change-capsule.v1.json
changeIdstringYesDefines the changeid value at this contract boundary.pattern: ^change-[a-z0-9][a-z0-9-]{7,95}$
errorsarrayYesDefines the errors value at this contract boundary.
schemaVersionstringYesDefines the schemaversion value at this contract boundary.const: "workspai.proof-carrying-change-capsule-validation.v1"
validbooleanYesDefines the valid value at this contract boundary.
validatedAtstringYesDefines the validatedat value at this contract boundary.format: date-time

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/proof-carrying-change-capsule-validation.v1.json",
  "title": "Workspai Proof-Carrying Change Capsule Validation",
  "type": "object",
  "required": [
    "schemaVersion",
    "changeId",
    "validatedAt",
    "valid",
    "errors",
    "capsule"
  ],
  "properties": {
    "schemaVersion": {
      "const": "workspai.proof-carrying-change-capsule-validation.v1"
    },
    "changeId": {
      "type": "string",
      "pattern": "^change-[a-z0-9][a-z0-9-]{7,95}$"
    },
    "validatedAt": {
      "type": "string",
      "format": "date-time"
    },
    "valid": {
      "type": "boolean"
    },
    "errors": {
      "type": "array",
      "items": {
        "type": "string",
        "minLength": 1
      }
    },
    "capsule": {
      "$ref": "proof-carrying-change-capsule.v1.json"
    }
  },
  "additionalProperties": false
}