Expand description
The lazy file-explorer tree (ADR-0005 §2).
Pure data structure and pure logic: no I/O, no threads. The worker performs the
actual read_dir; this module decides what to read, absorbs the result, and
flattens the expanded portion into rows for the renderer.
Nodes are an append-only arena keyed by NodeId. Identity is the id, never the
path (ARCHITECTURE.md §7.3) — which is precisely what lets a rename storm re-read a
directory without losing the user’s selection or their expanded subtrees.
Structs§
- File
Tree - The explorer tree: structure, selection, and navigation. All pure logic.
- Node
- Row
- One flattened, renderable line of the visible tree.
Enums§
- Child
State - How much of a directory’s contents we currently hold.