PriorArtQueryEvidence class
ONE prior-art QUERY's coverage — the query, how the search went, and its bounded hits.
Query-level, not hit-level, on purpose: flattening hits loses the difference between "searched, no hits" and "a roster seat was absent or the read crashed", which is exactly the blindness the prior-art seam exists to remove.
Constructors
-
PriorArtQueryEvidence({required String id, required String query, required EvidenceState state, bool truncated = false, String error = '', List<
PriorArt> hits = const []}) -
Creates the record.
const
Properties
- error → String
-
The failure detail — REQUIRED (non-empty) for EvidenceState.failed.
final
- hashCode → int
-
The hash code for this object.
no setterinherited
-
hits
→ List<
PriorArt> -
The bounded hits, in search order.
final
- id → String
-
The canonical identity of this query's coverage.
final
- query → String
-
The query as searched.
final
- runtimeType → Type
-
A representation of the runtime type of the object.
no setterinherited
- state → EvidenceState
-
How the search went.
final
- truncated → bool
-
Whether the hit list was clipped at kMaxPriorArtHitsPerQuery.
final
Methods
-
noSuchMethod(
Invocation invocation) → dynamic -
Invoked when a nonexistent method or property is accessed.
inherited
-
toJson(
) → Map< String, Object?> - The wire shape.
-
toString(
) → String -
A string representation of this object.
inherited
Operators
-
operator ==(
Object other) → bool -
The equality operator.
inherited
Static Methods
-
fromJson(
Object? json) → PriorArtQueryEvidence? - Decodes one record STRICTLY: an unknown state, an empty id, a failed record with no error, or ANY malformed hit yields null (a malformed entry is never dropped — the whole artifact is refused).