Workspace Intelligence / JSON Schema
Workspai Verified Goal
A durable, deterministic success contract for an agent-executed engineering goal.
- Schema version
workspai.verified-goal.v1- Contract path
contracts/workspace-intelligence/verified-goal.v1.json- Publication
- json-schema
- Defined fields
- 38
- 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 |
|---|---|---|---|---|
| $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. | — |
| artifactPaths | object | Yes | Defines the artifactpaths value at this contract boundary. | additionalProperties: false |
| artifactPaths.goal | string | Yes | Defines the goal value at this contract boundary. | minLength: 1 |
| artifactPaths.latestReport | string | Yes | Defines the latestreport value at this contract boundary. | minLength: 1 |
| artifactPaths.status | string | Yes | Defines the status value at this contract boundary. | minLength: 1 |
| baseline | reference | Yes | Defines the baseline value at this contract boundary. | ref: #/$defs/measurement |
| constraints | object | Yes | Defines the constraints value at this contract boundary. | additionalProperties: false |
| constraints.allowBreakingChanges | boolean | Yes | Defines the allowbreakingchanges value at this contract boundary. | — |
| constraints.allowForce | boolean | Yes | Defines the allowforce value at this contract boundary. | — |
| constraints.requireBuild | boolean | Yes | Defines the requirebuild value at this contract boundary. | — |
| constraints.requireTests | boolean | Yes | Defines the requiretests value at this contract boundary. | — |
| createdAt | string | Yes | Defines the createdat value at this contract boundary. | format: date-time |
| criteria | any | Yes | Defines the criteria value at this contract boundary. | — |
| dependencySafetyBaseline | object | No | Defines the dependencysafetybaseline value at this contract boundary. | additionalProperties: false |
| dependencySafetyBaseline.manifests | array | Yes | Defines the manifests value at this contract boundary. | — |
| dependencySafetyBaseline.manifests[].dependencies | object | No | Defines the dependencies value at this contract boundary. | — |
| dependencySafetyBaseline.manifests[].ecosystem | string | Yes | Defines the ecosystem value at this contract boundary. | minLength: 1 |
| dependencySafetyBaseline.manifests[].path | string | Yes | Defines the path value at this contract boundary. | minLength: 1 |
| dependencySafetyBaseline.manifests[].sha256 | string | Yes | Defines the sha256 value at this contract boundary. | pattern: ^[a-f0-9]{64}$ |
| fingerprint | string | Yes | Defines the fingerprint value at this contract boundary. | pattern: ^[a-f0-9]{64}$ |
| id | string | Yes | Defines the id value at this contract boundary. | pattern: ^[A-Za-z0-9][A-Za-z0-9._-]{7,95}$ |
| kind | enum | Yes | Defines the kind value at this contract boundary. | enum: release-readiness, dependency-security, test-coverage |
| schemaVersion | string | Yes | Defines the schemaversion value at this contract boundary. | const: "workspai.verified-goal.v1" |
| scope | object | Yes | Defines the scope value at this contract boundary. | additionalProperties: false |
| scope.kind | enum | Yes | Defines the kind value at this contract boundary. | enum: workspace, project |
| scope.projectName | string | No | Defines the projectname value at this contract boundary. | minLength: 1 |
| scope.projectPath | string | No | Defines the projectpath value at this contract boundary. | minLength: 1 |
| summary | string | Yes | Defines the summary value at this contract boundary. | minLength: 1 |
| updatedAt | string | Yes | Defines the updatedat value at this contract boundary. | format: date-time |
| 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 |
| workspace.path | string | Yes | Defines the path 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.v1.json",
"title": "Workspai Verified Goal",
"description": "A durable, deterministic success contract for an agent-executed engineering goal.",
"type": "object",
"required": [
"schemaVersion",
"id",
"fingerprint",
"createdAt",
"updatedAt",
"workspace",
"scope",
"kind",
"summary",
"constraints",
"criteria",
"baseline",
"artifactPaths"
],
"properties": {
"schemaVersion": {
"const": "workspai.verified-goal.v1"
},
"id": {
"type": "string",
"pattern": "^[A-Za-z0-9][A-Za-z0-9._-]{7,95}$"
},
"fingerprint": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"createdAt": {
"type": "string",
"format": "date-time"
},
"updatedAt": {
"type": "string",
"format": "date-time"
},
"workspace": {
"type": "object",
"required": [
"name",
"path"
],
"properties": {
"name": {
"type": "string",
"minLength": 1
},
"path": {
"type": "string",
"minLength": 1
}
},
"additionalProperties": false
},
"scope": {
"type": "object",
"required": [
"kind"
],
"properties": {
"kind": {
"enum": [
"workspace",
"project"
]
},
"projectName": {
"type": "string",
"minLength": 1
},
"projectPath": {
"type": "string",
"minLength": 1
}
},
"allOf": [
{
"if": {
"properties": {
"kind": {
"const": "project"
}
}
},
"then": {
"properties": {
"projectName": {
"type": "string",
"minLength": 1
},
"projectPath": {
"type": "string",
"minLength": 1
}
},
"required": [
"projectName",
"projectPath"
]
}
}
],
"additionalProperties": false
},
"kind": {
"enum": [
"release-readiness",
"dependency-security",
"test-coverage"
]
},
"summary": {
"type": "string",
"minLength": 1
},
"constraints": {
"type": "object",
"required": [
"allowBreakingChanges",
"allowForce",
"requireBuild",
"requireTests"
],
"properties": {
"allowBreakingChanges": {
"type": "boolean"
},
"allowForce": {
"type": "boolean"
},
"requireBuild": {
"type": "boolean"
},
"requireTests": {
"type": "boolean"
}
},
"additionalProperties": false
},
"criteria": {
"oneOf": [
{
"type": "object",
"required": [
"kind",
"readiness",
"workspaceVerify"
],
"properties": {
"kind": {
"const": "release-readiness"
},
"readiness": {
"const": "pass"
},
"workspaceVerify": {
"const": "ready"
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"kind",
"maximumBlockingVulnerabilities",
"requireFreshAudit"
],
"properties": {
"kind": {
"const": "dependency-security"
},
"maximumBlockingVulnerabilities": {
"const": 0
},
"requireFreshAudit": {
"const": true
}
},
"additionalProperties": false
},
{
"type": "object",
"required": [
"kind",
"metric",
"minimumPercent"
],
"properties": {
"kind": {
"const": "test-coverage"
},
"metric": {
"const": "auto"
},
"minimumPercent": {
"type": "number",
"minimum": 0,
"maximum": 100
}
},
"additionalProperties": false
}
]
},
"baseline": {
"$ref": "#/$defs/measurement"
},
"dependencySafetyBaseline": {
"type": "object",
"required": [
"manifests"
],
"properties": {
"manifests": {
"type": "array",
"items": {
"type": "object",
"required": [
"path",
"ecosystem",
"sha256"
],
"properties": {
"path": {
"type": "string",
"minLength": 1
},
"ecosystem": {
"type": "string",
"minLength": 1
},
"sha256": {
"type": "string",
"pattern": "^[a-f0-9]{64}$"
},
"dependencies": {
"type": "object",
"additionalProperties": {
"type": "string",
"minLength": 1
}
}
},
"additionalProperties": false
}
}
},
"additionalProperties": false
},
"artifactPaths": {
"type": "object",
"required": [
"goal",
"status",
"latestReport"
],
"properties": {
"goal": {
"type": "string",
"minLength": 1
},
"status": {
"type": "string",
"minLength": 1
},
"latestReport": {
"type": "string",
"minLength": 1
}
},
"additionalProperties": false
}
},
"$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
}