1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
//! Runtime stages and their per-stage receipts.
//!
//! A `RuntimeStage<I, O>` is one deterministic transform in a densor pipeline. It declares the authority hashes it
//! was built against, and on `execute` returns a [`StageReceipt`] binding the input hash, the output hash, and
//! those authorities to the produced output. Discipline (enforced by the runtime, see `runtime.rs`): a stage must
//! be deterministic, must declare ≥1 authority hash, must not mutate authority during execution, and must not
//! perform I/O or network access.
use crateAuthorityHash;
use crateRuntimeError;
use crateto_hex;
/// The evidence a stage emits: the input/output hashes, the authorities consulted, and the output value itself.
/// The output-erased summary of a stage receipt (hashes + authorities), used in the sealed run record.
/// One deterministic transform in a densor pipeline.