TreeFacts class

An immutable snapshot of what the live tree renders.

Value equality matters: the emitted auditor compares consecutive snapshots to skip no-op audits, and the banner only rebuilds when the facts (and therefore the verdicts) actually changed — the pilot's chaos edit (Continue with Google → Continue with Goggle) must produce a NEW snapshot so the violation surfaces on the FIRST audited frame.

Constructors

TreeFacts({List<String> texts = const [], Set<String> anchors = const {}, bool hasProgressIndicator = false, SkinTargetPlatform? platform})
Creates a snapshot, defensively copying texts and anchors — the tree keeps moving after the walk, and mutable input buffers (the emitted walker's accumulators, test seams) must never leak into an immutable snapshot.
TreeFacts.empty()
The empty snapshot (no walk happened / empty subtree). The only const constructor: constant inputs only.
const

Properties

anchors → Set<String>
The zfa: anchor keys present in the tree (typed anchor protocol — ZfaAnchors.keyFor).
no setter
hashCode → int
The hash code for this object.
no setteroverride
hasProgressIndicator → bool
Whether any progress indicator (loading scrim) is on screen — the contract the pilot used to catch the real macOS bug (lesson 1: mobile-only testing had pumped only the mobile slot, so the macOS layout shipped with NO loading scrim).
final
platform → SkinTargetPlatform?
The platform the THEME reports at the audited root — the override-aware gating source (lesson 8). Null when unknown (rows gated to a platform then SKIP, never flag).
final
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
texts → List<String>
The rendered texts, in walk order.
no setter

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toJson() → Map<String, Object?>
Machine-readable shape (receipts / diagnostics).
toString() → String
A string representation of this object.
override

Operators

operator ==(Object other) → bool
The equality operator.
override