Expand description
File-level input storage with per-file revision counters.
FileInputStore maps each FileId to a FileInput record containing the
set of node/edge/scope IDs belonging to that file and a monotonic revision
counter. When a file is re-indexed, its revision bumps, causing all queries
that recorded a dependency on that file to be invalidated on next access.
Structsยง
- File
Input - Per-file fact set with revision counter.
- File
Input Store - Storage for per-file input facts, indexed by
FileId.