WorldRunReceiptStore class final

Reads and writes world-run receipts through the ReceiptStore.

Constructors

WorldRunReceiptStore({required String projectRoot})

Properties

hashCode → int

The hash code for this object.

no setter, inherited

projectRoot → String

final

runtimeType → Type

A representation of the runtime type of the object.

no setter, inherited

Methods

fileNameFor(String scenario) → String

The deterministic receipt name for scenario (latest-wins per the saveNamed contract). Sanitized with the ReceiptStore's rules so the name the command predicts always matches the name on disk.

load(String scenario) → WorldRunReceipt?

Load the current run receipt for scenario, or null when no receipt exists (never run).

noSuchMethod(Invocation invocation) → dynamic

Invoked when a nonexistent method or property is accessed.

inherited

save(WorldRunReceipt receipt) → Future<File>

Persist a run receipt. GenerationReceipt.at must carry the run's timestamp; the world extras merge on top of the proof.v1 payload.

toString() → String

A string representation of this object.

inherited

Operators

operator ==(Object other) → bool

The equality operator.

inherited