Help: New procedure

AI is the factory, not the product

The lab uses AI models to write logic and tests from your sources. What runs for people and agents is that fixed logic, on ordinary computers, giving the same answer every time with its error bound attached.

Scope

The scope is the promise: inside it, answers come with a certified bound; outside it, the answer is 'I don't know'.