Workspace Intelligence / JSON Schema

Workspai Verified Goal Status

The durable progress and evidence-derived terminal state of a Workspai verified goal.

Schema version: workspai.verified-goal-status.v1
Contract path: contracts/workspace-intelligence/verified-goal-status.v1.json
Publication: json-schema, embedded-type
Defined fields: 27
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.

workspai workspace goal

Produced artifacts

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

Artifact path	Schema	Producer
.workspai/reports/verified-goal-last-run.json	workspai.verified-goal-status.v1	workspai workspace goal plan workspai workspace goal verify

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
$defs.measurement.evidencePaths	array	Yes	Defines the evidencepaths value at this contract boundary.	—
$defs.measurement.measuredAt	string	Yes	Defines the measuredat value at this contract boundary.	format: date-time
$defs.measurement.message	string	Yes	Defines the message value at this contract boundary.	minLength: 1
$defs.measurement.status	enum	Yes	Defines the status value at this contract boundary.	enum: satisfied, unsatisfied, unavailable
$defs.measurement.target	number \| null	Yes	Defines the target value at this contract boundary.	—
$defs.measurement.unit	enum	Yes	Defines the unit value at this contract boundary.	enum: percent, blocking-vulnerabilities, gates, unknown
$defs.measurement.value	number \| null	Yes	Defines the value value at this contract boundary.	—
artifactPath	string	Yes	Defines the artifactpath value at this contract boundary.	minLength: 1
attempt	integer	Yes	Defines the attempt value at this contract boundary.	minimum: 0
blockingReasons	array	Yes	Defines the blockingreasons value at this contract boundary.	—
checks	array	Yes	Defines the checks value at this contract boundary.	—
checks[].actual	string	Yes	Defines the actual value at this contract boundary.	minLength: 1
checks[].evidencePath	string	No	Defines the evidencepath value at this contract boundary.	minLength: 1
checks[].expected	string	Yes	Defines the expected value at this contract boundary.	minLength: 1
checks[].id	string	Yes	Defines the id value at this contract boundary.	minLength: 1
checks[].label	string	Yes	Defines the label value at this contract boundary.	minLength: 1
checks[].message	string	Yes	Defines the message value at this contract boundary.	minLength: 1
checks[].status	enum	Yes	Defines the status value at this contract boundary.	enum: passed, failed, blocked, missing, skipped
evidencePaths	array	Yes	Defines the evidencepaths value at this contract boundary.	—
goalFingerprint	string	Yes	Defines the goalfingerprint value at this contract boundary.	pattern: ^[a-f0-9]{64}$
goalId	string	Yes	Defines the goalid value at this contract boundary.	minLength: 8
nextActions	array	Yes	Defines the nextactions value at this contract boundary.	—
progress	reference	Yes	Defines the progress value at this contract boundary.	ref: #/$defs/measurement
schemaVersion	string	Yes	Defines the schemaversion value at this contract boundary.	const: "workspai.verified-goal-status.v1"
state	enum	Yes	Defines the state value at this contract boundary.	enum: planned, active, blocked, verified, failed, cancelled
updatedAt	string	Yes	Defines the updatedat value at this contract boundary.	format: date-time
workspacePath	string	Yes	Defines the workspacepath 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/verified-goal-status.v1.json",
  "title": "Workspai Verified Goal Status",
  "description": "The durable progress and evidence-derived terminal state of a Workspai verified goal.",
  "type": "object",
  "required": [
    "schemaVersion",
    "goalId",
    "goalFingerprint",
    "workspacePath",
    "updatedAt",
    "state",
    "attempt",
    "progress",
    "checks",
    "blockingReasons",
    "evidencePaths",
    "nextActions",
    "artifactPath"
  ],
  "properties": {
    "schemaVersion": {
      "const": "workspai.verified-goal-status.v1"
    },
    "goalId": {
      "type": "string",
      "minLength": 8
    },
    "goalFingerprint": {
      "type": "string",
      "pattern": "^[a-f0-9]{64}$"
    },
    "workspacePath": {
      "type": "string",
      "minLength": 1
    },
    "updatedAt": {
      "type": "string",
      "format": "date-time"
    },
    "state": {
      "enum": [
        "planned",
        "active",
        "blocked",
        "verified",
        "failed",
        "cancelled"
      ]
    },
    "attempt": {
      "type": "integer",
      "minimum": 0
    },
    "progress": {
      "$ref": "#/$defs/measurement"
    },
    "checks": {
      "type": "array",
      "items": {
        "type": "object",
        "required": [
          "id",
          "label",
          "status",
          "expected",
          "actual",
          "message"
        ],
        "properties": {
          "id": {
            "type": "string",
            "minLength": 1
          },
          "label": {
            "type": "string",
            "minLength": 1
          },
          "status": {
            "enum": [
              "passed",
              "failed",
              "blocked",
              "missing",
              "skipped"
            ]
          },
          "expected": {
            "type": "string",
            "minLength": 1
          },
          "actual": {
            "type": "string",
            "minLength": 1
          },
          "evidencePath": {
            "type": "string",
            "minLength": 1
          },
          "message": {
            "type": "string",
            "minLength": 1
          }
        },
        "additionalProperties": false
      }
    },
    "blockingReasons": {
      "type": "array",
      "items": {
        "type": "string",
        "minLength": 1
      }
    },
    "evidencePaths": {
      "type": "array",
      "items": {
        "type": "string",
        "minLength": 1
      },
      "uniqueItems": true
    },
    "nextActions": {
      "type": "array",
      "items": {
        "type": "string",
        "minLength": 1
      }
    },
    "artifactPath": {
      "type": "string",
      "minLength": 1
    }
  },
  "$defs": {
    "measurement": {
      "type": "object",
      "required": [
        "measuredAt",
        "value",
        "target",
        "unit",
        "status",
        "evidencePaths",
        "message"
      ],
      "properties": {
        "measuredAt": {
          "type": "string",
          "format": "date-time"
        },
        "value": {
          "type": [
            "number",
            "null"
          ]
        },
        "target": {
          "type": [
            "number",
            "null"
          ]
        },
        "unit": {
          "enum": [
            "percent",
            "blocking-vulnerabilities",
            "gates",
            "unknown"
          ]
        },
        "status": {
          "enum": [
            "satisfied",
            "unsatisfied",
            "unavailable"
          ]
        },
        "evidencePaths": {
          "type": "array",
          "items": {
            "type": "string",
            "minLength": 1
          },
          "uniqueItems": true
        },
        "message": {
          "type": "string",
          "minLength": 1
        }
      },
      "additionalProperties": false
    }
  },
  "additionalProperties": false
}