EvidenceState enum
How COMPLETE one piece of gathered evidence is. Sealed by the enum and
consumed with an exhaustive switch (house style), so a new state cannot
skip a projection's sufficiency check.
The distinction is the whole point of the canonical profile: an empty successful lookup (complete) is a REAL result, where a clipped one (truncated), an unwired source (unavailable) and a crashed one (failed) are known NON-answers. A lens is handed the state, never a bare snippet, so it can never read "nobody looked" as "nothing is there".
Three of those states are the lens's CONTEXT; only one is a deterministic
GAP (_isDeterministicEvidenceGap). failed overrides the lens's report
with an InsufficientEvidenceReport and spends the one-round regather
budget, because the gather promised a record and then crashed. unavailable
does NOT: the optional source was simply never composed, so the lens
narrates the limitation and its report stands, exactly as it did before the
canonical profile existed. truncated does NOT either (bead pow-gcx9):
the record was clipped at a bound the gather declares, which every mature
surface exceeds; the lens narrates the clip, and only its own
insufficient-evidence outcome can hold the round on it.
Values
- complete → const EvidenceState
-
The lookup ran and its whole result is carried (an empty result included).
- truncated → const EvidenceState
-
The lookup ran but its result was CLIPPED by one of this library's bounds.
-
No source was wired, so the lookup never ran at all.
- failed → const EvidenceState
-
The lookup ran and CRASHED — the detail rides the record's
error.
Properties
- hashCode → int
-
The hash code for this object.
no setterinherited
- index → int
-
A numeric identifier for the enumerated value.
no setterinherited
- name → String
-
Available on Enum, provided by the EnumName extension
The name of the enum value.no setter - runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
Static Methods
-
fromWire(
Object? raw) → EvidenceState? -
The state
rawnames — null when it names none (fail-closed: an unknown state is refused by the decoder rather than silently downgraded).
Constants
-
values
→ const List<
EvidenceState> - A constant List of the values in this enum, in order of their declaration.