ProcedureResult.
What one run of a named procedure in the workbench left: the procedure, the run, the hashes of its code and its inputs, its outputs as measures, how it ended and how long it took
Figure 1ProcedureResultspecified
- kind
- value
- scope
- none
- key
- none
- store
- none
- family
- harness
Fields#
| field | type | required | note |
|---|---|---|---|
procedure | NamedProcedure | yes | |
run | id | yes | |
code_hash | hash | no | absent when the procedure carries no code, and then every output is never measured |
inputs_hash | hash | yes | |
outputs | Measure | yes | one for each number the code left, its kind the name the procedure leaves it under |
ended | one of ended | failed | stopped | yes | |
elapsed_ms | count | yes |
Routes that use it#
No route takes or returns ProcedureResult directly. The record holds it, and the objects that point at it reach it.