@type t() :: %SqliteEngine.Procedures.Receipt{
  application_time: integer() | nil,
  command_id: binary() | nil,
  input_hash: <<_::256>> | nil,
  procedure_key: <<_::256>>,
  replayed?: boolean(),
  result: SqliteEngine.Procedures.Value.value() | nil,
  result_mode: :none | :inline | :stored,
  result_ref: SqliteEngine.Procedures.ResultRef.t() | nil
}