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 3; 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 0.1.0. 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]
       OWED: the body of T1; kind: absence; C-01. [DI-4.1]
       OWED: the body of T2; kind: absence; C-01. [DI-4.1]
       OWED: the body of T3; kind: absence; C-01. [DI-4.1]
       OWED: the body of T4; kind: absence; C-01. [DI-4.1]
       OWED: the body of T5; kind: absence; C-01. [DI-4.1]
       OWED: the body of T6; kind: absence; 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]