RFC(events): selective clean via a resolution-dirt ledger - #6922

Closed

adhami3310 wants to merge 11 commits into

mainfrom

khaleel/rfc-resolution-ledger

Commits on Aug 28, 2026

RFC(events): selective clean via a resolution-dirt ledger
adhami3310
committed
0bf890c
chore: trigger CI against main base
adhami3310
committed
833a501
RFC(events): fast-path the ledger check and document the name-only boundary
adhami3310
committed
b0daf1f
RFC(events): tolerate dirty names for unfetched substates in get_delta
adhami3310
committed
a9ace73
chore: pyright ignore on internal-init construction, matching file precedent
adhami3310
committed
b0ecbea
RFC(events): keep the flush machinery off the sync hot path
adhami3310
committed
631b6aa
RFC(events): selective clean only for flushes that suspend during resolution
adhami3310
committed
f45c8dd

Commits on Sep 10, 2026

Merge remote-tracking branch 'origin/main' into khaleel/rfc-resolution-ledger
adhami3310
committed
60616ee

Commits on Sep 11, 2026

Merge remote-tracking branch 'origin/main' into khaleel/rfc-resolution-ledger
adhami3310
committed
25ed5c9

Commits on Sep 15, 2026