Skip to content
Speccy

One verification run with the outcome of each trace ID.

GET
/verifications/{runId}
curl --request GET \
  --url https://example.com/api/v1/verifications/2489E9AD-2EE2-8E00-8EC9-32D5F69181C0

Parameters

Section titled “ Parameters ”

Path Parameters

Section titled “Path Parameters”
runId
required
string format: uuid

Responses

Section titled “ Responses ”

200

Section titled “200”

The verification run.

Media typeapplication/json
object
id
required
string format: uuid
doc_id
required
string format: uuid
handoff_id
string format: uuid
status
required
string
Allowed values: queued running done failed
error

Why a failed run failed.

string
verdict

The run’s own verdict, when the run is done. It is not the bundle’s Build Ready verdict.

string
Allowed values: verified not_verified
repo
required
string
sha
required
string
branch

The branch the SHA was the head of, when the target named a branch or a repo.

string
base_sha

The commit the ranking compared against. Empty when the run had no base.

string
digest

The content digest of a folder run.

string
counts
required
object
implemented
required
integer
untested
required
integer
unproven
required
integer
missing
required
integer
breached
required
integer
waived
required
integer
blocking
required
integer
skipped
required

Trace IDs outside the profile’s verify prefixes, which the gate did not verify.

integer
notes
required

The limits the scan hit.

Array<string>
stale
required

The bundle got a new version after this run.

boolean
started_by
string
created_at
required
string format: date-time
outcomes
required
Array<object>
object
trace_id
required
string
outcome
required

A test target is a citation, not a pass. Speccy runs no tests.

string
Allowed values: implemented untested unproven missing breached
level
required
string
Allowed values: MUST SHOULD INFO
blocks
required

The outcome opened a blocking thread.

boolean
waived
required
boolean
provenance
required
string
Allowed values: claim literal mapper
note
string
targets
required
Array<object>
object
kind
required
string
Allowed values: code test
path
required

The file, relative to the repo root.

string
quote
required

The verbatim anchor. It must appear in the file exactly once.

string
line

The line Speccy found the quote at.

integer
holds
boolean
fault

Why the target does not hold.

string
provenance
string
Allowed values: claim literal mapper
requirement_quote
string
code_quote
string
reason
string
Example
{
  "status": "queued",
  "verdict": "verified",
  "outcomes": [
    {
      "outcome": "implemented",
      "level": "MUST",
      "provenance": "claim",
      "targets": [
        {
          "kind": "code",
          "provenance": "claim"
        }
      ]
    }
  ]
}

default

Section titled “default”

An error.

Media typeapplication/problem+json

RFC 9457 problem details with a stable code.

object
type
required
string
title
required
string
status
required
integer
detail
string
instance
string
code
required

A stable machine-readable error code.

string
Examplegenerated
{
  "type": "example",
  "title": "example",
  "status": 1,
  "detail": "example",
  "instance": "example",
  "code": "example"
}