Without REVISION, lists the current revision’s requirements and their dependencies. With one, shows its status and what making it current changes: requirements added, changed and removed, weakening, the tasks updated or succeeded, and what the dependency edges cannot decide.
Usage
overlane intent show [revision]Arguments
| Argument | Required | Description |
|---|---|---|
revision |
no | A revision number |
Examples
overlane intent show
overlane intent show 3Behavior
- Effect:
read(changes nothing). - Needs credentials: yes. Uses the network: yes.
- Supports
--dry-run: no. Accepts--force: no. - Machine-readable description:
overlane schema intent show.
Result
With --json (the default when stdout is not a terminal) the command prints this JSON Schema’s shape on stdout.
{
"type": "object",
"properties": {
"current": {
"anyOf": [
{
"type": "object",
"properties": {
"schemaVersion": {
"type": "string",
"const": "1"
},
"tenantId": {
"type": "string",
"minLength": 1,
"maxLength": 128,
"pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]*$",
"description": "tenant identifier"
},
"projectId": {
"type": "string",
"minLength": 1,
"maxLength": 128,
"pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]*$",
"description": "project identifier"
},
"revision": {
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991
},
"parentRevision": {
"anyOf": [
{
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991
},
{
"type": "null"
}
]
},
"digest": {
"type": "string",
"pattern": "^sha256:[0-9a-f]{64}$"
},
"body": {
"type": "object",
"properties": {
"requirements": {
"minItems": 1,
"maxItems": 500,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
},
"statement": {
"type": "string",
"minLength": 1,
"maxLength": 2000
},
"acceptanceCriteria": {
"minItems": 1,
"maxItems": 50,
"type": "array",
"items": {
"type": "string",
"minLength": 1,
"maxLength": 950
}
},
"checks": {
"maxItems": 50,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]*$"
},
"minEvidenceLevel": {
"type": "string",
"enum": [
"L0",
"L1",
"L2",
"L3",
"H"
]
},
"producers": {
"minItems": 1,
"type": "array",
"items": {
"type": "string",
"enum": [
"overlane-ci",
"github-checks",
"caller"
]
}
},
"definitionDigest": {
"type": "string",
"pattern": "^sha256:[0-9a-f]{64}$"
}
},
"required": [
"id",
"minEvidenceLevel",
"producers"
],
"additionalProperties": false
}
},
"dependsOn": {
"maxItems": 50,
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
}
},
"required": [
"id",
"statement",
"acceptanceCriteria",
"checks",
"dependsOn"
],
"additionalProperties": false
}
},
"coverage": {
"maxItems": 1000,
"type": "array",
"items": {
"type": "object",
"properties": {
"taskId": {
"type": "string",
"minLength": 1,
"maxLength": 128,
"pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]*$",
"description": "task identifier"
},
"requirementIds": {
"minItems": 1,
"maxItems": 50,
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
}
},
"required": [
"taskId",
"requirementIds"
],
"additionalProperties": false
}
}
},
"required": [
"requirements",
"coverage"
],
"additionalProperties": false
},
"note": {
"type": "string",
"minLength": 1,
"maxLength": 1000
},
"author": {
"type": "object",
"properties": {
"userId": {
"type": "string",
"minLength": 1
},
"principal": {
"type": "string",
"enum": [
"user",
"agent"
]
},
"role": {
"type": "string",
"enum": [
"owner",
"admin",
"member",
"viewer",
"agent"
]
},
"tokenId": {
"type": "string",
"minLength": 1
}
},
"required": [
"userId",
"principal"
],
"additionalProperties": false
},
"createdAt": {
"type": "string",
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z|([+-](?:[01]\\d|2[0-3]):[0-5]\\d)))$"
}
},
"required": [
"schemaVersion",
"tenantId",
"projectId",
"revision",
"parentRevision",
"digest",
"body",
"author",
"createdAt"
],
"additionalProperties": false
},
{
"type": "null"
}
]
},
"view": {
"type": "object",
"properties": {
"revision": {
"type": "object",
"properties": {
"schemaVersion": {
"type": "string",
"const": "1"
},
"tenantId": {
"type": "string",
"minLength": 1,
"maxLength": 128,
"pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]*$",
"description": "tenant identifier"
},
"projectId": {
"type": "string",
"minLength": 1,
"maxLength": 128,
"pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]*$",
"description": "project identifier"
},
"revision": {
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991
},
"parentRevision": {
"anyOf": [
{
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991
},
{
"type": "null"
}
]
},
"digest": {
"type": "string",
"pattern": "^sha256:[0-9a-f]{64}$"
},
"body": {
"type": "object",
"properties": {
"requirements": {
"minItems": 1,
"maxItems": 500,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
},
"statement": {
"type": "string",
"minLength": 1,
"maxLength": 2000
},
"acceptanceCriteria": {
"minItems": 1,
"maxItems": 50,
"type": "array",
"items": {
"type": "string",
"minLength": 1,
"maxLength": 950
}
},
"checks": {
"maxItems": 50,
"type": "array",
"items": {
"type": "object",
"properties": {
"id": {
"type": "string",
"pattern": "^[a-z][a-z0-9_]*$"
},
"minEvidenceLevel": {
"type": "string",
"enum": [
"L0",
"L1",
"L2",
"L3",
"H"
]
},
"producers": {
"minItems": 1,
"type": "array",
"items": {
"type": "string",
"enum": [
"overlane-ci",
"github-checks",
"caller"
]
}
},
"definitionDigest": {
"type": "string",
"pattern": "^sha256:[0-9a-f]{64}$"
}
},
"required": [
"id",
"minEvidenceLevel",
"producers"
],
"additionalProperties": false
}
},
"dependsOn": {
"maxItems": 50,
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
}
},
"required": [
"id",
"statement",
"acceptanceCriteria",
"checks",
"dependsOn"
],
"additionalProperties": false
}
},
"coverage": {
"maxItems": 1000,
"type": "array",
"items": {
"type": "object",
"properties": {
"taskId": {
"type": "string",
"minLength": 1,
"maxLength": 128,
"pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]*$",
"description": "task identifier"
},
"requirementIds": {
"minItems": 1,
"maxItems": 50,
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
}
},
"required": [
"taskId",
"requirementIds"
],
"additionalProperties": false
}
}
},
"required": [
"requirements",
"coverage"
],
"additionalProperties": false
},
"note": {
"type": "string",
"minLength": 1,
"maxLength": 1000
},
"author": {
"type": "object",
"properties": {
"userId": {
"type": "string",
"minLength": 1
},
"principal": {
"type": "string",
"enum": [
"user",
"agent"
]
},
"role": {
"type": "string",
"enum": [
"owner",
"admin",
"member",
"viewer",
"agent"
]
},
"tokenId": {
"type": "string",
"minLength": 1
}
},
"required": [
"userId",
"principal"
],
"additionalProperties": false
},
"createdAt": {
"type": "string",
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z|([+-](?:[01]\\d|2[0-3]):[0-5]\\d)))$"
}
},
"required": [
"schemaVersion",
"tenantId",
"projectId",
"revision",
"parentRevision",
"digest",
"body",
"author",
"createdAt"
],
"additionalProperties": false
},
"status": {
"type": "string",
"enum": [
"proposed",
"current",
"superseded",
"rejected"
]
},
"decision": {
"type": "object",
"properties": {
"revision": {
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991
},
"decision": {
"type": "string",
"enum": [
"current",
"rejected"
]
},
"actor": {
"type": "object",
"properties": {
"userId": {
"type": "string",
"minLength": 1
},
"principal": {
"type": "string",
"enum": [
"user",
"agent"
]
},
"role": {
"type": "string",
"enum": [
"owner",
"admin",
"member",
"viewer",
"agent"
]
},
"tokenId": {
"type": "string",
"minLength": 1
}
},
"required": [
"userId",
"principal"
],
"additionalProperties": false
},
"reason": {
"type": "string",
"minLength": 1,
"maxLength": 1000
},
"decidedAt": {
"type": "string",
"format": "date-time",
"pattern": "^(?:(?:\\d\\d[2468][048]|\\d\\d[13579][26]|\\d\\d0[48]|[02468][048]00|[13579][26]00)-02-29|\\d{4}-(?:(?:0[13578]|1[02])-(?:0[1-9]|[12]\\d|3[01])|(?:0[469]|11)-(?:0[1-9]|[12]\\d|30)|(?:02)-(?:0[1-9]|1\\d|2[0-8])))T(?:(?:[01]\\d|2[0-3]):[0-5]\\d:[0-5]\\d(?:\\.\\d+)?(?:Z|([+-](?:[01]\\d|2[0-3]):[0-5]\\d)))$"
}
},
"required": [
"revision",
"decision",
"actor",
"decidedAt"
],
"additionalProperties": false
},
"impact": {
"type": "object",
"properties": {
"baseRevision": {
"anyOf": [
{
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991
},
{
"type": "null"
}
]
},
"revision": {
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991
},
"requirements": {
"type": "object",
"properties": {
"added": {
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
},
"removed": {
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
},
"changed": {
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
},
"unchanged": {
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
}
},
"required": [
"added",
"removed",
"changed",
"unchanged"
],
"additionalProperties": false
},
"weakening": {
"type": "array",
"items": {
"type": "object",
"properties": {
"requirementId": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
},
"taskId": {
"type": "string",
"minLength": 1,
"maxLength": 128,
"pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]*$",
"description": "task identifier"
},
"reason": {
"type": "string",
"minLength": 1
}
},
"required": [
"reason"
],
"additionalProperties": false
}
},
"affected": {
"type": "array",
"items": {
"type": "object",
"properties": {
"requirementId": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
},
"cause": {
"type": "string",
"enum": [
"added",
"removed",
"changed",
"dependency"
]
},
"via": {
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
}
},
"required": [
"requirementId",
"cause",
"via"
],
"additionalProperties": false
}
},
"work": {
"type": "array",
"items": {
"type": "object",
"properties": {
"taskId": {
"type": "string",
"minLength": 1,
"maxLength": 128,
"pattern": "^[A-Za-z0-9][A-Za-z0-9_.:-]*$",
"description": "task identifier"
},
"state": {
"type": "string",
"enum": [
"ready",
"running",
"blocked",
"paused",
"verification_pending",
"verified",
"failed",
"cancelled"
]
},
"action": {
"type": "string",
"enum": [
"update",
"successor",
"review"
]
},
"requirementIds": {
"type": "array",
"items": {
"type": "string",
"maxLength": 48,
"pattern": "^[A-Z][A-Z0-9]*(?:-[A-Z0-9]+)+$"
}
},
"reason": {
"type": "string",
"minLength": 1
}
},
"required": [
"taskId",
"state",
"action",
"requirementIds",
"reason"
],
"additionalProperties": false
}
},
"uncertain": {
"type": "array",
"items": {
"type": "object",
"properties": {
"kind": {
"type": "string",
"enum": [
"uncovered_requirement",
"undeclared_dependency",
"unknown_task",
"coverage_dropped",
"finished_task_newly_covered",
"model_proposal"
]
},
"subject": {
"type": "string",
"minLength": 1
},
"detail": {
"type": "string",
"minLength": 1
}
},
"required": [
"kind",
"subject",
"detail"
],
"additionalProperties": false
}
},
"advisor": {
"type": "object",
"properties": {
"kind": {
"type": "string",
"enum": [
"none",
"model"
]
},
"limit": {
"type": "integer",
"exclusiveMinimum": 0,
"maximum": 9007199254740991
},
"considered": {
"type": "integer",
"minimum": 0,
"maximum": 9007199254740991
}
},
"required": [
"kind",
"limit",
"considered"
],
"additionalProperties": false
}
},
"required": [
"baseRevision",
"revision",
"requirements",
"weakening",
"affected",
"work",
"uncertain",
"advisor"
],
"additionalProperties": false
}
},
"required": [
"revision",
"status",
"impact"
],
"additionalProperties": false
},
"next": {
"type": "string"
}
},
"required": [
"next"
],
"additionalProperties": false
}See exit codes for the status the process returns.