ZapReceipt class

Host → agent: the verified verdict.

Inheritance

Constructors

ZapReceipt({required String id, required String ts, required String missionId, required String verdict, required int exit, required String chainDigest, required int stepsExecuted, required int stepsTotal, required List<ZapCheck> checks, required String at})
const

Properties

at String
final
chainDigest String
Head of the evidence chain — the client recomputes and compares.
final
checks List<ZapCheck>
final
exit int
0 (pass) | 1 (fail) — the client's exit code.
final
hashCode int
The hash code for this object.
no setterinherited
id String
Envelope: message id.
finalinherited
isPass bool
no setter
missionId String
final
runtimeType Type
A representation of the runtime type of the object.
no setterinherited
stepsExecuted int
final
stepsTotal int
final
ts String
Envelope: ISO-8601 UTC timestamp.
finalinherited
type String
The wire type of this message.
no setteroverride
verdict String
pass | fail — pass iff every check is ok.
final

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toJson() Map<String, Object?>
Wire form with stable key order (zap first — the envelope reads top-down).
override
toString() String
A string representation of this object.
inherited

Operators

operator ==(Object other) bool
The equality operator.
inherited

Static Methods

fromValidated(Map<String, Object?> json) ZapReceipt