Preprint
Aug 2026
Proof-Valid Caching under Premise Erasures: Local Structural Limits and Shared-Workload Gains
Under a deterministic canonical-witness regime, a query-local projection theorem and an exact residual-leaf law are proved: recovery fails exactly when an erased base leaf retains a cache-free path to the query.
Jianfeng Xu
· 0 citations