x = B/U
Sanguine Host
contact@sanguinehost.com  ·  github  ·  glossary

Sovereign OS

proof/SanguineOS.lean

The Race

We race our code against the everyday tools, live on your device. Both must give the exact same answer first. Then we time them.

Keeping a tally as things arrive

The old way recounts everything each time. We just look at what changed.

Finding the matches in a big pile

Instead of asking each thing four questions, we ask once and sweep through.

Making a file smaller

If the data follows a rule, we keep the rule, not every number. Random noise has no rule and won't shrink — we show that too.

Big subtraction

Counting down on your fingers, versus reading the number off a dial.

Every number is measured on your device, just now, against the real tools — and we check each tool's fingerprint before running it. Nothing is pre-recorded.