WorldRunReceipt class final
The world-run receipt envelope (proof.v1 + world extras).
Constructors
- WorldRunReceipt({required String scenario, required String feature, required String worldHash, required int seed, required String verdict, required bool passed, required bool worldValid, required int plays, required String runDigest, required int virtualElapsedMs, required String at, required String path, String? invalidatedBy})
-
const
Properties
- at → String
-
ISO-8601 UTC of the recorded run.
final
- feature → String
-
final
- hashCode → int
-
The hash code for this object.
no setterinherited
- invalidatedBy → String?
-
Why a receipt was invalidated (
world-mutation).final - passed → bool
-
Whether the recorded run passed.
final
- path → String
-
The receipt file's path.
final
- plays → int
-
Number of recorded plays.
final
- runDigest → String
-
The deterministic run digest (replay compares this).
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- scenario → String
-
final
- seed → int
-
final
- verdict → String
-
GREEN/RED.final - virtualElapsedMs → int
-
final
- worldHash → String
-
The world hash this run executed against (GREEN is attributable to
exactly this world version).
final
- worldValid → bool
-
Whether the receipt is still a valid proof (
false= the world mutated and the receipt was invalidated).final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toExtra(
) → Map< String, dynamic> -
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited