Huayin Wang

Certifiable State Under Information Loss

Data systems routinely transform state without preserving everything that made the state analytically trustworthy. This paper introduces a governed-state object, K=(K,Γ,E), and a proof-relevant graded derivability judgment, K⊩gc, to distinguish operational information from what a...