UMBRA

24 notes filed under UMBRA, newest first. Same rules as the rest of the pile: a codename, a theme, and no internals.

codename UMBRA · 24 notes · 24 themes · all codenames

all themes addressing-semantics 1 admission-control 1 api-shape 1 compatibility-planning 1 constant-time-sampling 1 data-layout 1 documentation-authority 1 execution-model 1 honest-limit 1 isolation 1 licensing 1 measurement 1 measurement-discipline 1 module-boundaries 1 proof-honesty 1 protocol-evolution 1 research-refutation 1 research-trials 1 semantic-porting 1 silent-failure 1 specification-audit 1 transport-identity 1 verification-coverage 1 verification-honesty 1

UMBRA · verification-coverage · 2 min read

the verifier that was too large to run

The check suite for one research result had grown in two directions at once, and the two copies had stopped being interchangeable. One enumerated a few dozen properties and exercised them end to end. The other, written later by a different…

read

elsewhere

Other codenames

Each codename is a project. The theme is the class of problem the note is about — the same theme recurs across projects, which is usually the interesting part.

ABACUS 60 FLINT 12 KEEL 24 LARDER 24 LATTICE 36 MERIDIAN 24 MISE 24 SCRIBE 12 TROUPE 12 UMBRA 24 browse 244 themes

UMBRA

UMBRA notes

the verifier that was too large to run

Other codenames