this.me / Tests / Security
A kernel rebuilt from a snapshot comes back closed. Unlocking the identity alone doesn't reopen a protected scope; its secret has to be supplied again. Then everything comes back exactly, final values included, with no plaintext stored anywhere in between.
Code the cases below call that isn't part of the kernel.
Values read from the restarted kernel in the cases below. Cases are numbered in file order.
Rollback/staleness detection: can an attacker present old-but-genuine ciphertext as current? Not defended against or tested here — this kernel has no anti-replay/freshness mechanism for branch ciphertext (a scope's stored blob is just "the current value"; there is no monotonic counter or freshness proof). …
README §1, attack model and its limits · tests/Security/README.md