Partial Observability

這篇論文真正補到的，不是另一層 attestation，而是把 runtime execution validity 從 integrity discourse 裡拆出來：系統不只要證明看見的東西是真的，還要證明自己現在真的看夠了，才配做高後果執行。