The constraint as a spec
If a competent operator cannot follow the arithmetic, it is out of scope.
Stated as a build rule rather than a value, the commitment reads: every number that influences deployment must be traceable by the person it governs, using the tools they already have, without taking anyone's word for it. That is a much stronger requirement than open source or documented behaviour. It rules out anything whose output is correct but whose derivation is only checkable in principle — which is most of the modern toolkit.
The middle column is not a list of things that do not work. It is a list of things that work and were still declined, which is the only version of this argument worth making.

