···506506507507## Appendix: Alternative Design Sketches
508508509509+All alternatives below use watchman for change detection — the subscription and event loop are the same. The difference is what happens *after* watchman tells us a file changed: how we track, invalidate, and reload affected in-memory objects.
510510+509511### A. Channel-Driven Eager Reload
510512511511-Instead of dirty-tracking, the watcher task classifies events into `SessionEvent` variants and sends them over a `tokio::sync::mpsc` channel. A dedicated consumer task eagerly reloads affected objects.
513513+The watcher task classifies watchman events into `SessionEvent` variants and sends them over a `tokio::sync::mpsc` channel. A dedicated consumer task eagerly reloads affected objects.
512514513515```rust
514516// Watcher produces typed events