tiny.machine.SemanticReceipt

1/// The part of a quiescence receipt a checkpoint works from, so a checkpoint2/// identifies guest state with this value. What the receipt carries stays true3/// when the authority for the next run changes: the admitted position, which4/// image ran and how it ran, where the guest stopped, and the digest of the5/// meaning-bearing record of the turn.6pub const SemanticReceipt = struct {7    admission_receipt: admission.Receipt,8    basis: admission.Basis,9    image_digest: os.abi.Digest,10    execution_fingerprint: ExecutionFingerprint,11    block_root: os.abi.BlockRoot,12    boundary: SemanticBoundary,13    settled: SettledTransport,14    k0: K0State,15    semantic_transcript_digest: os.abi.Digest,16};

1pub const SemanticReceipt = instance.SemanticReceipt;