formal(2c-D): C2's models — completion ordering, composed reserve provenance, and a walk that folds only what certifies - #857

formal(2c-D): C2's models — completion ordering, composed reserve provenance, and a walk that folds only what certifies#857

cryptskii merged 1 commit into

maindeterministicstatemachine/dsm:mainfrom

formal/c2-completion-and-composed-reservesdeterministicstatemachine/dsm:formal/c2-completion-and-composed-reservesCopy head branch name to clipboard