Workspace Intelligence / JSON Schema
Workspai Proof-Carrying Change List
Defines the versioned proof carrying change list v1 boundary used by Workspai and its consumers.
- Schema version
workspai.proof-carrying-change-list.v1- Contract path
contracts/workspace-intelligence/proof-carrying-change-list.v1.json- Publication
- json-schema
- Defined fields
- 26
- 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 path | Type | Required | Meaning | Constraints |
|---|---|---|---|---|
| changes | array | Yes | Defines the changes value at this contract boundary. | — |
| changes[].assurance | object | Yes | Defines the assurance value at this contract boundary. | additionalProperties: false |
| changes[].assurance.passed | integer | Yes | Defines the passed value at this contract boundary. | minimum: 0 |
| changes[].assurance.total | integer | Yes | Defines the total value at this contract boundary. | minimum: 0 |
| changes[].blockers | array | Yes | Defines the blockers value at this contract boundary. | — |
| changes[].capsuleArtifact | string | Yes | Defines the capsuleartifact value at this contract boundary. | minLength: 1 |
| changes[].changeId | string | Yes | Defines the changeid value at this contract boundary. | pattern: ^change-[a-z0-9][a-z0-9-]{7,95}$ |
| changes[].createdAt | any | Yes | Defines the createdat value at this contract boundary. | — |
| changes[].errors | array | Yes | Defines the errors value at this contract boundary. | — |
| changes[].goalId | string | null | Yes | Defines the goalid value at this contract boundary. | — |
| changes[].scope | any | Yes | Defines the scope value at this contract boundary. | — |
| changes[].state | string | null | Yes | Defines the state value at this contract boundary. | — |
| changes[].status | enum | Yes | Defines the status value at this contract boundary. | enum: open, blocked, verified, sealed, aborted, invalid |
| changes[].updatedAt | any | Yes | Defines the updatedat value at this contract boundary. | — |
| changes[].valid | boolean | Yes | Defines the valid value at this contract boundary. | — |
| generatedAt | string | Yes | Defines the generatedat value at this contract boundary. | format: date-time |
| schemaVersion | string | Yes | Defines the schemaversion value at this contract boundary. | const: "workspai.proof-carrying-change-list.v1" |
| summary | object | Yes | Defines the summary value at this contract boundary. | additionalProperties: false |
| summary.aborted | integer | Yes | Defines the aborted value at this contract boundary. | minimum: 0 |
| summary.blocked | integer | Yes | Defines the blocked value at this contract boundary. | minimum: 0 |
| summary.invalid | integer | Yes | Defines the invalid value at this contract boundary. | minimum: 0 |
| summary.open | integer | Yes | Defines the open value at this contract boundary. | minimum: 0 |
| summary.sealed | integer | Yes | Defines the sealed value at this contract boundary. | minimum: 0 |
| summary.total | integer | Yes | Defines the total value at this contract boundary. | minimum: 0 |
| workspace | object | Yes | Defines the workspace value at this contract boundary. | additionalProperties: false |
| workspace.name | string | Yes | Defines the name value at this contract boundary. | minLength: 1 |
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-list.v1.json",
"title": "Workspai Proof-Carrying Change List",
"type": "object",
"required": [
"schemaVersion",
"generatedAt",
"workspace",
"changes",
"summary"
],
"properties": {
"schemaVersion": {
"const": "workspai.proof-carrying-change-list.v1"
},
"generatedAt": {
"type": "string",
"format": "date-time"
},
"workspace": {
"type": "object",
"required": [
"name"
],
"properties": {
"name": {
"type": "string",
"minLength": 1
}
},
"additionalProperties": false
},
"changes": {
"type": "array",
"items": {
"type": "object",
"required": [
"changeId",
"goalId",
"state",
"status",
"createdAt",
"updatedAt",
"scope",
"assurance",
"blockers",
"capsuleArtifact",
"valid",
"errors"
],
"properties": {
"changeId": {
"type": "string",
"pattern": "^change-[a-z0-9][a-z0-9-]{7,95}$"
},
"goalId": {
"type": [
"string",
"null"
]
},
"state": {
"type": [
"string",
"null"
]
},
"status": {
"enum": [
"open",
"blocked",
"verified",
"sealed",
"aborted",
"invalid"
]
},
"createdAt": {
"oneOf": [
{
"type": "string",
"format": "date-time"
},
{
"type": "null"
}
]
},
"updatedAt": {
"oneOf": [
{
"type": "string",
"format": "date-time"
},
{
"type": "null"
}
]
},
"scope": {
"oneOf": [
{
"$ref": "decision-event.v1.json#/$defs/scope"
},
{
"type": "null"
}
]
},
"assurance": {
"type": "object",
"required": [
"passed",
"total"
],
"properties": {
"passed": {
"type": "integer",
"minimum": 0
},
"total": {
"type": "integer",
"minimum": 0
}
},
"additionalProperties": false
},
"blockers": {
"type": "array",
"items": {
"type": "string"
}
},
"capsuleArtifact": {
"type": "string",
"minLength": 1
},
"valid": {
"type": "boolean"
},
"errors": {
"type": "array",
"items": {
"type": "string",
"minLength": 1
}
}
},
"additionalProperties": false
}
},
"summary": {
"type": "object",
"required": [
"total",
"open",
"blocked",
"sealed",
"aborted",
"invalid"
],
"properties": {
"total": {
"type": "integer",
"minimum": 0
},
"open": {
"type": "integer",
"minimum": 0
},
"blocked": {
"type": "integer",
"minimum": 0
},
"sealed": {
"type": "integer",
"minimum": 0
},
"aborted": {
"type": "integer",
"minimum": 0
},
"invalid": {
"type": "integer",
"minimum": 0
}
},
"additionalProperties": false
}
},
"additionalProperties": false
}