Checkability is an ordered chain of rungs, and every rung names what no check answers

A project's instruments each answer one question about itself, and nothing composes them.