Verification
Get a job
Status of a verification job; once done, the engine response is included.
GET
Get a job
Authorizations
A Spec Hub API token (tfe_…). The CLI reads it from THEFORMALERA_TOKEN or from theformalera login.
Path Parameters
Job id returned by POST /v1/verify.
Response
OK
Job id.
Example:
"J-3f1c0a9b2d4e"
Job state.
Available options:
queued, running, done, failed Owning tenant.
Object-store key of the stored request.
Number of kernels in the request.
Kernels finished so far.
Creation time (Unix seconds).
Failure reason when status is failed.
The engine response (results, certificates, lemmas), present once status is done.
