The Principia Machina/TPS/2.2 The Prime Kernel

Instruction artifact, machine-optimized text: TPS 0.1.0, section 2.2 The Prime Kernel. 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 2.2  THE PRIME KERNEL
purpose: laws, assumptions, hard boundaries, CONSTRAINT entries; the
         kernel tests T1-T6 by name, bodies owed
governs: 2.2 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator, agent

2.2.1  The TPK is the first zone of the TFK: laws, assumptions, hard
       boundaries, CONSTRAINT entries. It is the guide's L0 KERNEL (see
       1.1). [I-020]
2.2.2  A restriction is declared as CONSTRAINT entries in the TPK, so the
       TPK yields the restricted DOF inventory (see 2.3.4). [B-02]
2.2.3  The kernel tests T1-T6 are the guide's tests of a TPK. TPX runs
       them as the TPK zone is entered and returns a rejected component
       to the author (see 5.5). [I-057]
       The bodies of T1-T6 are specified at guide 3.6: T1
       WELL-FORMEDNESS; T2 ATOMICITY OF ASSUMPTIONS; T3 CONSISTENCY TO
       DEPTH, bounded by a declared depth s_max; T4 DIMENSIONAL
       HOMOGENEITY; T5 DOF YIELD, which is where a CONSTRAINT entry is
       tested (2.2.2, 2.3.4); T6 BOUNDARY CLOSURE. Each names its
       inputs, class, pass condition and failure report; they run in
       order and T1 stops the run on failure. T2's semantic part, T3
       where the TPK is not executable, and T6 where a boundary
       predicate is not executable, are INSPECTION by the guide's own
       classing; every other part is MECHANICAL. [I-161] [D85.2]
       OWED: the executable body of each of T1-T6, in TPC, to the
       guide's specification; kind: computation; C-01. [DI-4.1]
2.2.4  While the body of a kernel test is owed, that check is INSPECTION,
       performed by H-DECL before the declaration that instantiates the
       container, and recorded as ratchet debt. TPX executes the check
       when its body lands. [DI-4.1]
2.2.5  Completeness certified by CAC is relative to the declared TPK's
       DOF inventory. CAC cannot detect a degree of freedom the TPK
       failed to yield (see 2.3.6, 7.1). [I-124]