Unproven, computed, certified

The three states a figure can be in on a page. Computed means code produced it. Certified means it also ties to an anchor and survived a fire tested gate. Unproven means the file stated no total to tie to, and the page says so beside the number rather than hiding the gap.

Principle 1 · An AI never authors a number

Where does Unproven, computed, certified come from?

Principle 1 of the Kymira doctrine, An AI never authors a number. Unproven, computed, certified is the name the doctrine gives to what that principle requires in practice.

What does it look like on a real file?

A file stating no total yields computed figures labelled unproven on the page, with the reason named beside them.

Not for

Not a quality ranking. An unproven figure can be perfectly correct; the label describes what was proved, not what is true.

Nearest terms

Certified vs certified-lookingThe distinction the whole method exists to draw Honesty stripOne line above the content that leads with what was proved: what ties, what was computed but...Reconciliation anchorA total the source file states about itself, a printed grand total, a totals row, a stated...

Last updated 2026-09-02 · Dylan, founder · one of 40 terms in the Kymira glossary, each one named after something we watched go wrong in a real build or in our own audits.

Get the free skill → The doctrine The failure catalogue