View source for The Principia Machina/TPS/2.1 The Full Kernel and immutability

{{DISPLAYTITLE:2.1 The Full Kernel and immutability (TPS 0.1.1)}}
''Instruction artifact, machine-optimized text: TPS 0.1.1, section 2.1 The Full Kernel and immutability. Part of [[The Principia Machina/TPS|TPS 0.1.1]] and [[The Principia Machina/Hub|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). Version 0.1.1 changes only the status lines (this lead, the title's version and the header's version line); H-DECL declares it.'' The text below is this section of the TPS 0.1.1 artifact, verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents|the contents page]] is the map.

<pre>
TPS 2.1  THE FULL KERNEL AND IMMUTABILITY
purpose: the three zones; immutable fields against mutable fields
         carried by register records; a change is a new container; the
         yardstick-only successor
governs: 2.1 | version: 0.1.1 | class: instruction artifact
audience: operator, agent

2.1.1  Immutable, the three zones of the TFK: the TPK in full; for each
       TrM entry the identification fields only: DOF, DOMAIN, the
       identification itself, FALSIFIER, BEARS; and the TMS in full.
       [B-05] [I-023]
2.1.2  The TFK is immutable per container. Any change to it instantiates
       a new container with a new UUID and new prefix by COPY-FORWARD; a
       same-digest fork still enters PROVISIONAL (D5). [I-061]
2.1.3  Mutable, carried by register records that name the entry: STATE,
       SCRUTINY, RIDER, NOTE, CHECKS OWED, RECORDS. The entry form inside
       the TFK carries no status. [B-05]
2.1.4  A change to any immutable field moves D(TFK) and instantiates a
       new container per D5 (see 3.4). [B-05]
2.1.5  Containers sharing a TPK are recognizable by a shared D(TPK); a
       successor with D(TPK) and D(TrM) unchanged and D(TMS) moved is a
       yardstick-only successor, which the re-audit scope rule (see 4.1)
       may narrow on. [B-05]
2.1.6  IMMUTABLE is the adjective for the TFK and its fields; STATIC,
       FIXED and FROZEN are not used for this (see 1.1). [I-029]
2.1.7  The immutable TrM zone is the TrM header and the per-entry
       identification fields. A change to either is a change to the TFK
       (see 2.3). [D39.1]
</pre>

[[Category:The Principia Machina]]