Verifiable Premises

A premise is a fact a task relies on, such as a limit from a vendor’s documentation. If a brief gets that fact slightly wrong, the code, the tests, and the review can all repeat the mistake. Then every check passes, and none of them ever looked at the original source.

Verifiable Premises adds a ledger, premises.json, that records each premise with a word-for-word quote from its primary source. The premises check command confirms that each quote is still in its source, and that each test is linked to a premise the source supports. A second command, premises mutate, changes the code behind a premise and checks that its tests fail, which shows whether they really test it.

It’s written for developers and for coding agents, which are its main users. It ships an agent skill that tells an agent how to use the ledger.