Execution Receipt v1¶
Source schema: doc/schemas/execution-receipt.v1.schema.json
Immutable host-observed transition receipt linking causal context to domain-owned effect and outcome refs.
Governing Basis¶
Project Lineage¶
Fields¶
| Field | Required | Shape | Description |
|---|---|---|---|
schema |
yes |
const: execution-receipt.v1 |
|
schema/v |
yes |
const: 1 |
|
receipt/id |
yes |
string | |
causal/context |
yes |
ref: causal-context.v1.schema.json |
|
operation/id |
yes |
string | |
capability/id |
yes |
string | |
transition/from |
yes |
ref: #/$defs/transition |
|
transition/to |
yes |
ref: #/$defs/transition |
|
attempt/no |
yes |
integer | |
recorded/by |
yes |
ref: #/$defs/ref |
|
recorded/at |
yes |
string | |
policy/decision-ref |
no |
ref: #/$defs/ref |
|
effect/refs |
no |
array | |
outcome/refs |
no |
array | |
previous/receipt-ref |
no |
string | |
diagnostics |
no |
object |
Definitions¶
| Definition | Shape | Description |
|---|---|---|
transition |
enum: proposed, accepted, rejected, deferred, running, completed, failed, cancelled, timed-out, superseded |
|
ref |
string | |
| ## Field Semantics |
schema¶
- Required:
yes - Shape: const:
execution-receipt.v1
schema/v¶
- Required:
yes - Shape: const:
1
receipt/id¶
- Required:
yes - Shape: string
causal/context¶
- Required:
yes - Shape: ref:
causal-context.v1.schema.json
operation/id¶
- Required:
yes - Shape: string
capability/id¶
- Required:
yes - Shape: string
transition/from¶
- Required:
yes - Shape: ref:
#/$defs/transition
transition/to¶
- Required:
yes - Shape: ref:
#/$defs/transition
attempt/no¶
- Required:
yes - Shape: integer
recorded/by¶
- Required:
yes - Shape: ref:
#/$defs/ref
recorded/at¶
- Required:
yes - Shape: string
policy/decision-ref¶
- Required:
no - Shape: ref:
#/$defs/ref
effect/refs¶
- Required:
no - Shape: array
outcome/refs¶
- Required:
no - Shape: array
previous/receipt-ref¶
- Required:
no - Shape: string
diagnostics¶
- Required:
no - Shape: object
Definition Semantics¶
$defs.transition¶
- Shape: enum:
proposed,accepted,rejected,deferred,running,completed,failed,cancelled,timed-out,superseded
$defs.ref¶
- Shape: string