Skip to main content
POST
Submit a verification

Authorizations

Authorization
string
header
required

A Spec Hub API token (tfe_…). The CLI reads it from THEFORMALERA_TOKEN or from theformalera login.

Body

application/json
schema
enum<string>
required

Must be theformalera.request/v1.

Available options:
theformalera.request/v1
kernels
object[]
required

One entry per annotated kernel: name, file, line, lang, keys, annotation, configs (constexprs + TTIR + digest).

level
enum<string>

Verification level.

Available options:
proof,
bounded,
quick
specs
object

Resolved spec nodes, keyed by Spec Key.

project
string

Project name from theformalera.toml.

lock
object[]

The locked spec packages (theformalera.lock entries).

Response

Accepted.

job
string

Job id.

Example:

"J-3f1c0a9b2d4e"

status
string

Always queued.