All contracts

Workspace Intelligence / JSON Schema

Workspai Decision Transaction Projection

Defines the versioned decision transaction v1 boundary used by Workspai and its consumers.

Schema version
workspai.decision-transaction.v1
Contract path
contracts/workspace-intelligence/decision-transaction.v1.json
Publication
json-schema
Defined fields
19
Artifact bindings
1

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.

Produced artifacts

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

Artifact pathSchemaProducer
.workspai/decisions/change-id/transaction.jsonworkspai.decision-transaction.v1
workspai change

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
authorizationanyYesDefines the authorization value at this contract boundary.
blockersarrayYesDefines the blockers value at this contract boundary.
createdAtstringYesDefines the createdat value at this contract boundary.format: date-time
effectsarrayYesDefines the effects value at this contract boundary.
eventCountintegerYesDefines the eventcount value at this contract boundary.minimum: 1
eventHeadDigestreferenceYesDefines the eventheaddigest value at this contract boundary.ref: decision-event.v1.json#/$defs/sha256
evidencearrayYesDefines the evidence value at this contract boundary.
generationintegerYesDefines the generation value at this contract boundary.minimum: 1
idstringYesDefines the id value at this contract boundary.pattern: ^change-[a-z0-9][a-z0-9-]{7,95}$
intentreferenceYesDefines the intent value at this contract boundary.ref: decision-event.v1.json#/$defs/artifactReference
plansarrayYesDefines the plans value at this contract boundary.
purposestringYesDefines the purpose value at this contract boundary.const: "proof-carrying-change"
requiredCriteriaarrayYesDefines the requiredcriteria value at this contract boundary.
schemaVersionstringYesDefines the schemaversion value at this contract boundary.const: "workspai.decision-transaction.v1"
scopeanyYesDefines the scope value at this contract boundary.
stateenumYesDefines the state value at this contract boundary.enum: draft, scoped, evidence-ready, authorized, executing, verifying, awaiting-human, blocked, committed, rejected, aborted, superseded
terminalReasonstringNoDefines the terminalreason value at this contract boundary.
updatedAtstringYesDefines the updatedat value at this contract boundary.format: date-time
verificationsarrayYesDefines the verifications value at this contract boundary.

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/decision-transaction.v1.json",
  "title": "Workspai Decision Transaction Projection",
  "type": "object",
  "required": [
    "schemaVersion",
    "id",
    "purpose",
    "createdAt",
    "updatedAt",
    "state",
    "generation",
    "eventCount",
    "eventHeadDigest",
    "intent",
    "requiredCriteria",
    "scope",
    "evidence",
    "plans",
    "authorization",
    "effects",
    "verifications",
    "blockers"
  ],
  "properties": {
    "schemaVersion": {
      "const": "workspai.decision-transaction.v1"
    },
    "id": {
      "type": "string",
      "pattern": "^change-[a-z0-9][a-z0-9-]{7,95}$"
    },
    "purpose": {
      "const": "proof-carrying-change"
    },
    "createdAt": {
      "type": "string",
      "format": "date-time"
    },
    "updatedAt": {
      "type": "string",
      "format": "date-time"
    },
    "state": {
      "enum": [
        "draft",
        "scoped",
        "evidence-ready",
        "authorized",
        "executing",
        "verifying",
        "awaiting-human",
        "blocked",
        "committed",
        "rejected",
        "aborted",
        "superseded"
      ]
    },
    "generation": {
      "type": "integer",
      "minimum": 1
    },
    "eventCount": {
      "type": "integer",
      "minimum": 1
    },
    "eventHeadDigest": {
      "$ref": "decision-event.v1.json#/$defs/sha256"
    },
    "intent": {
      "$ref": "decision-event.v1.json#/$defs/artifactReference"
    },
    "requiredCriteria": {
      "type": "array",
      "items": {
        "type": "string",
        "minLength": 1
      },
      "uniqueItems": true
    },
    "scope": {
      "oneOf": [
        {
          "$ref": "decision-event.v1.json#/$defs/scope"
        },
        {
          "type": "null"
        }
      ]
    },
    "evidence": {
      "type": "array",
      "items": {
        "$ref": "decision-event.v1.json#/$defs/artifactReference"
      }
    },
    "plans": {
      "type": "array",
      "items": {
        "$ref": "decision-event.v1.json#/$defs/artifactReference"
      }
    },
    "authorization": {
      "oneOf": [
        {
          "$ref": "decision-event.v1.json#/$defs/authorization"
        },
        {
          "type": "null"
        }
      ]
    },
    "effects": {
      "type": "array",
      "items": {
        "$ref": "decision-event.v1.json#/$defs/effectReceipt"
      }
    },
    "verifications": {
      "type": "array",
      "items": {
        "$ref": "decision-event.v1.json#/$defs/verificationReceipt"
      }
    },
    "blockers": {
      "type": "array",
      "items": {
        "$ref": "decision-event.v1.json#/$defs/blocker"
      }
    },
    "terminalReason": {
      "type": "string"
    }
  },
  "additionalProperties": false
}