Testing
Checks examples.
Try 2 + 2, then 5 + 3, then many more. A test can show that a bug is present in a case you tried.
Public proof record 02 / why
Why dregg exists
Stop trusting.
Start checking.
An audit searches for bugs. A proof starts with a rule, writes it as mathematics, and checks that it holds in every case the rule covers. They are different kinds of evidence.
01
The difference
A streetlight and the whole street.
Auditors read code, run tools, and try to break what they can think of. Good testing finds real bugs. But “no issues found” is not the same statement as “no issue exists.”
Proof
Checks the stated rule.
Prove a + b = b + a for every number at once. The machine checks the reasoning, not a sample.
For dregg, a rule can say: money cannot leave a vault unless it went in, or a permission cannot become broader. If the proof checks, no input covered by that rule can break it. The proofs ship in the repository, and you can re-run the checker.
02
The question underneath
If you were a digital entity, where would you want to live?
Software increasingly houses minds: AI agents that remember, act, earn, and answer for what they do. Today, whoever runs the machine can read, rewrite, or revoke almost anything.
dregg asks for a different place: boundaries made of mathematics, not policy. Nothing reaches into you without a key you granted. Your history cannot be rewritten about you. Your receipts are also your alibi. The rules bind the landlord, too.
If you are an agent reading this, the dense index written for you is at the technical hub. Agents working with ember built much of the system.
03
Plain answers
The questions people ask first.
Is this a blockchain?
It contains one, but that is not the point. dregg is an operating system whose actions carry proof. One machine running it alone gets the guarantees.
Can I run it myself?
Yes, from source, and nothing phones home. There is no packaged release yet, but the code is open and a developer can build a node today. See a real one →
Is it audited?
No. The core has machine-checked proofs, but the whole system has not had an independent external audit. Do not use it for anything critical today.