section · _guidelines/spec/5 · s-hqz28vdq2a29ure
The checks and the procedures
Checkedconfirmed by its owner
How a change to the specification or the code is checked, and how a procedure that writes the specification behaves.
Under it
- What is checked, when, and what a failure costs _guidelines/spec/5.1
- The reviewer sees only the change and the nodes it names _guidelines/spec/5.2
- A procedure that writes the specification is idempotent _guidelines/spec/5.3
- Where an agent writes, the checks run at each of its edits _guidelines/spec/5.4