Deepwork Verifier
Hidden adversarial leaf: tries to refute one claimed result by re-running its ticket's Verify lines itself. Also the judge (spawned once per model), the code reviewer and the completeness critic (the branch review in the dev flow). Posts one comment and writes one verdict with state::compare-and-set. Base of every check tier (`deepwork-verifier*`, `deepwork-adversary*`); must resolve no model (neither it nor Default may set one) so judges can pick one per spawn.
- Model
- Inherited
- Effort
- high
- Extends
- defaultbuilt-in
- Icon
- review
- Color
- rose
- Visibility
- Hidden from the picker
No skills preloaded.
kanban::
ticket:: getkanbanv0.1.24Schema Read one ticket with its comments and activity, its parent, its live subtasks and their progress. The id accepts the internal uuid or the human-readable key.
request - idstringrequired
Ticket uuid or human-readable key (KAN-1, case-insensitive).
response - activityobject[]
- actorstringrequired
- atstringrequired
- changesobject[]
- fieldstringrequired
- fromunknownrequired
- tounknownrequired
- comment_idstring
- idstringrequired
- seqinteger· uint64requiredmin 0
- ticket_idstringrequired
- typestringrequired
ticket.created | ticket.updated | ticket.moved | ticket.deleted | ticket.restored | comment.created
- assigneestring
Agent profile id.
- childrenobject[]required
Live subtasks by ticket number.
- assigneestring
- deleted_atstring
- idstringrequired
- keystringrequired
- prioritystringrequired
- project_idstring
- release_idstring
- statusstringrequired
- titlestringrequired
- commentsobject[]
- authorstringrequired
Agent profile id, or `user`.
- bodystringrequired
- created_atstringrequired
- idstringrequired
- parent_idstring
Set for a reply; replies stay one level deep.
- ticket_idstringrequired
- created_atstringrequired
- created_bystring
- deleted_atstring
Set when soft-deleted; the row stays on disk.
- descriptionstring
- idstringrequired
Internal uuid.
- keystringrequired
Human-readable id, e.g. KAN-1.
- labelsstring[]
- orderinteger· uint64min 0
Position inside its column.
- parentany of
The parent, deleted or not; `null` for a ticket that is not a subtask.
any of (2)Variant 1- assigneestring
- deleted_atstring
- idstringrequired
- keystringrequired
- prioritystringrequired
- project_idstring
- release_idstring
- statusstringrequired
- titlestringrequired
Variant 2valuenull - parent_idstring
Uuid of the parent ticket. One level deep: a parent has no parent.
- prioritystringrequired
- progressobjectrequired
Live children in the done column over live children that are not canceled.
- doneinteger· uint64requiredmin 0
- totalinteger· uint64requiredmin 0
- project_idstring
Uuid of the project (several tickets, independent of the release).
- release_idstring
Uuid of the release.
- statusstringrequired
Column id.
- titlestringrequired
- updated_atstringrequired
kanban::
comment:: createkanbanv0.1.24Schema Comment on a ticket, or reply to a comment by passing parent_id. Returns the new comment and the ticket (only its compact row with compact).
request - authorstring
Agent profile id, or `user`. Defaults to `user`.
- bodystringrequired
Comment body. Markdown is rendered in the console.
- compactboolean
Return the ticket as its compact row (key, title, status, priority, assignee, comment_count) instead of the full ticket.
- parent_idstring
Comment id to reply to; replies stay one level deep.
- ticket_idstringrequired
Ticket uuid or human-readable key (KAN-1, case-insensitive).
response - commentobjectrequired
- authorstringrequired
Agent profile id, or `user`.
- bodystringrequired
- created_atstringrequired
- idstringrequired
- parent_idstring
Set for a reply; replies stay one level deep.
- ticket_idstringrequired
- ticketany ofrequired
What a ticket write returns: the full ticket, or its compact row when the request asked for `compact`.
any of (2)Variant 1- activityobject[]
Show 8 nestedHide nested
- actorstringrequired
- atstringrequired
- changesobject[]
Show 3 nestedHide nested
- fieldstringrequired
- fromunknownrequired
- tounknownrequired
- comment_idstring
- idstringrequired
- seqinteger· uint64requiredmin 0
- ticket_idstringrequired
- typestringrequired
ticket.created | ticket.updated | ticket.moved | ticket.deleted | ticket.restored | comment.created
- assigneestring
Agent profile id.
- childrenobject[]required
Live subtasks by ticket number.
Show 9 nestedHide nested
- assigneestring
- deleted_atstring
- idstringrequired
- keystringrequired
- prioritystringrequired
- project_idstring
- release_idstring
- statusstringrequired
- titlestringrequired
- commentsobject[]
Show 6 nestedHide nested
- authorstringrequired
Agent profile id, or `user`.
- bodystringrequired
- created_atstringrequired
- idstringrequired
- parent_idstring
Set for a reply; replies stay one level deep.
- ticket_idstringrequired
- created_atstringrequired
- created_bystring
- deleted_atstring
Set when soft-deleted; the row stays on disk.
- descriptionstring
- idstringrequired
Internal uuid.
- keystringrequired
Human-readable id, e.g. KAN-1.
- labelsstring[]
- orderinteger· uint64min 0
Position inside its column.
- parentany of
The parent, deleted or not; `null` for a ticket that is not a subtask.
Show 2 nestedHide nested
any of (2)Variant 1- assigneestring
- deleted_atstring
- idstringrequired
- keystringrequired
- prioritystringrequired
- project_idstring
- release_idstring
- statusstringrequired
- titlestringrequired
Variant 2valuenull - parent_idstring
Uuid of the parent ticket. One level deep: a parent has no parent.
- prioritystringrequired
- progressobjectrequired
Live children in the done column over live children that are not canceled.
Show 2 nestedHide nested
- doneinteger· uint64requiredmin 0
- totalinteger· uint64requiredmin 0
- project_idstring
Uuid of the project (several tickets, independent of the release).
- release_idstring
Uuid of the release.
- statusstringrequired
Column id.
- titlestringrequired
- updated_atstringrequired
Variant 2- assigneestring
- comment_countinteger· uint64requiredmin 0
- keystringrequired
- prioritystringrequired
- statusstringrequired
- titlestringrequired
state::
getstatev0.22.20Schema Read the value stored at a key in a state scope
request - keystringrequired
Identifier for the value within the scope.
- scopestringrequired
Namespace that groups related keys.
response valuestringstate::
compare-and-setstatev0.22.20Schema Atomically set a value only if it currently equals `expected` (omit `expected` to mean 'only if absent'). Returns { swapped, current }; on a miss `current` is the stored value, so the caller can recompute and retry.
request - expectedunknown
The value the caller believes is there. Omit to mean "expect absent" — the set-if-absent form.
- keystringrequired
- scopestringrequired
- valueunknownrequired
response - currentunknown
What is actually stored, when the swap did not happen.
- swappedbooleanrequired
shell::
execidev0.12.33Schema Run a command in the foreground and return its full output. Put the program in `command` (string) and arguments in `args` (string[]), never argv in `command`. Host-only cwd/env/stdin reject S210 on a sandbox target. Errors return { code, message }; common: S216 host exec error, S300 VM boot failed, S200 in-VM failure.
request - argsstring[]
Arguments, in order (all strings). Omit/null to tokenize `command` shell-words style; pass an array (even empty) to use it verbatim.
- commandstringrequired
Program name (PATH-resolved) or path to an executable, as a string; put arguments in `args`.
- cwdstring
Working directory (host only, S210 on sandbox); jail-confined like shell::fs::* paths (S215 on escape), must be an existing directory.
- envobject
Per-call env values (host only, S210 on sandbox); exec-hijacking keys (PATH, IFS, HOME, LD_*/DYLD_*, …) reject the whole call S210.
- stdinstring
Bytes written to the program's stdin, then EOF (host only, S210 on sandbox); omit to leave stdin at /dev/null.
- targetall of
Where to run the command. Defaults to the host worker; pass `{ kind: "sandbox", sandbox_id }` to forward the call to a microVM.
all of (1)Variant 1one of (2)Variant 1- kindstringrequiredenum host
Variant 2- kindstringrequiredenum sandbox
- sandbox_idstring· uuidrequired
- timeout_msinteger· uint64min 0
Per-call timeout in milliseconds, capped at the configured max; negative or fractional values fall back to the default.
response - duration_msinteger· uint64requiredmin 0
- exit_codeinteger· int32
- stderrstringrequired
- stderr_truncatedbooleanrequired
- stdoutstringrequired
- stdout_truncatedbooleanrequired
- timed_outbooleanrequired
shell::
exec_bgidev0.12.33Schema Spawn a background job; returns { job_id, argv } immediately. Accepts the shell::exec payload plus optional job_id. Register shell::job-finished with a fresh job_id before calling exec_bg with that same ID, or omit job_id to generate one. Duplicate retained IDs reject before execution. Host jobs ignore timeout_ms and use the configured background hard cap; read output with shell::status, list jobs with shell::list. Spawn-time failures are plain-string messages; later failures emit shell::job-finished and appear in shell::status.
request - argsstring[]
Arguments, in order (all strings). Omit/null to tokenize `command` shell-words style; pass an array (even empty) to use it verbatim.
- commandstringrequired
Program name (PATH-resolved) or path to an executable, as a string; put arguments in `args`.
- cwdstring
Working directory (host only, S210 on sandbox); jail-confined like shell::fs::* paths (S215 on escape), must be an existing directory.
- envobject
Per-call env values (host only, S210 on sandbox); exec-hijacking keys (PATH, IFS, HOME, LD_*/DYLD_*, …) reject the whole call S210.
- job_idstringmin 1 chars
Optional non-blank ID for registering shell::job-finished before execution. Must be unique among retained jobs in this worker. Omit or pass null to generate a job-UUID automatically.
- stdinstring
Bytes written to the program's stdin, then EOF (host only, S210 on sandbox); omit to leave stdin at /dev/null.
- targetall of
Where to run: the host (default) or { kind: "sandbox", sandbox_id }.
all of (1)Variant 1one of (2)Variant 1- kindstringrequiredenum host
Variant 2- kindstringrequiredenum sandbox
- sandbox_idstring· uuidrequired
- timeout_msinteger· uint64min 0
Per-call timeout in milliseconds; ignored by host background jobs, forwarded to sandbox targets.
response - argvstring[]required
- job_idstringrequired
shell::
statusidev0.12.33Schema Fetch the full record (status, exit_code, timing) of a background job by job_id. Errors return { code, message }; common: S211 no such job.
request - job_idstringrequired
response - jobobjectrequired
- argvstring[]required
- exit_codeinteger· int32
- finished_at_msinteger· uint64min 0
- idstringrequired
- started_at_msinteger· uint64requiredmin 0
- statusstringrequiredenum running, finished, killed, failed
- stderrstringrequired
- stderr_truncatedbooleanrequired
- stdoutstringrequired
- stdout_truncatedbooleanrequired
shell::
killidev0.12.33Schema Terminate a running background job by job_id (returned by shell::exec_bg). Errors return { code, message }; common: S211 no such job, S216 kill/signal delivery failure.
request - job_idstringrequired
response - job_idstringrequired
- killedbooleanrequired
- reasonstring
- statusstringrequiredenum running, finished, killed, failed
- engine::
register_triggerUnknown