The Principia Machina/TPS/1.4 Design basis

Instruction artifact, machine-optimized text: TPS 0.1.0, section 1.4 Design basis. Part of TPS 0.1.0 and the TPM hub. Human-only edit (TPS 5.13). Version 0.1.0, proposed, revision 4; declaration pending. The text below is this section of the TPS 0.1.0 artifact, verbatim; the whole artifact and its file digest are on The Principia Machina/TPS. Human readers: the contents page is the map.

TPS 1.4  DESIGN BASIS
purpose: the measures under which the machinery was chosen; machinery
         ranked by that basis, physics results ranked by each container's
         TMS
governs: 1.4 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator

BASIS 1.4.1  Every choice of machinery recorded in part 8 was ranked
       lexicographically, lower better on each axis: correctness, error
       opportunity, cost. [I-010]
BASIS 1.4.2  Correctness counts two kinds of defect. A soundness defect
       is a construction the check accepts that it should reject; any
       count above zero excludes the option. A completeness defect is a
       named case the check omits; these rank and do not exclude. A rule
       still to be written is an obligation, not a completeness defect.
       [I-010]
BASIS 1.4.3  Error opportunity counts unforced human authoring
       operations per unit of work. A verification gate at an
       irreversible action is exempt if and only if it poses a specific
       check question the mechanism does not already answer. [I-010]
BASIS 1.4.4  Cost is tokens, time and compute; tiebreak only. A tie on
       all three is reported in one word; the human selects. [I-010]
BASIS 1.4.5  The declaring-authority separation is untouchable regardless
       of its cost: a named human declares TFK amendments, container
       state and closeout. [I-010]
1.4.6  This basis ranks machinery only. Physics results are ranked by
       each container's TMS under the strike skeleton (see 4.3). [I-010]