pub const LEAN_DIR: &str = ".flint/lean";
Reserved control namespace inside the subtree prefix. Never scanned, never part of a checkout, never GC’d by the barrier.