Behavior and consumption
Authors one typed value for later PROGRAM assembly or run consumption; it does not execute or publish.
execution_evidence
Builds a versioned execution dossier.
API reference
Exact signatures with descriptions, requirements, inputs, returns, and examples.
execution_evidence(UUID) #
Builds a versioned execution dossier.
Inputs
| Name | Type | Use |
|---|---|---|
execution_id | UUID Required typed SQL value committed to the authored execution_evidence. | required positional |
Returns
| Name | Type |
|---|---|
execution_evidence | EXECUTION_EVIDENCE |
Typed EXECUTION_EVIDENCE authoring value. Returns one canonical typed value. Construction does not execute EVM code, contact RPC, or publish evidence.
Guidance
Validation and failure timing
SQL types bind first; widths, ABI selection, duplicates, empty programs, and selectors validate when the constructor executes.
Determinism, network, and side effects
Construction is deterministic and offline: no RPC, chain mutation, or evidence write.
Use and do not use
Use it to author PROGRAM input, not as proof of execution or future success.
Category and tags
- Category
- Simulation
- Tag
- Program Compiler
- Tag
- Simulate