Jump to content

The Principia Machina/TPS/4.1 The audit and its authority

From The Invariance Itself
Revision as of 19:49, 17 September 2026 by BFP Rauch (talk | contribs) (TPS 0.1.0 page 4.1 The audit and its authority, verbatim unit)

Instruction artifact: TPS 0.1.0, page 4.1 The audit and its authority. Part of TPS 0.1.0 and the TPM hub. Human-only edit (TPS 5.13). Version 0.1.0, proposed; declaration pending. Governing section: this page, TPS 4.1. The text below is this page's unit of the TPS 0.1.0 artifact, verbatim; the whole artifact and its file digest are on The Principia Machina/TPS 0.1.0.

TPS 4.1  THE AUDIT AND ITS AUTHORITY
purpose: the CAC; every record checked against the register and the
         master record; subordination to the decision-item rule; an audit
         block ends in a decision item; re-audit scope for a successor
governs: 4.1 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator, agent

4.1.1  The CAC is the congruence and completeness audit the Congruence
       Protocol runs on a container (see 1.1). It runs at certification,
       before the container's first round of research, and at every
       later CAC. [I-027] [I-067] [I-064]
4.1.2  At CAC every record other than the master record is checked
       against the register and against the master record (see 3.3.1).
       [I-032]
4.1.3  At certification the CAC runs the zone checks as each zone is
       entered (T1-T6; the four isomorphism checks; SR9 C1-C5), computes
       the four digests, allocates the prefix under the uniqueness check,
       and writes the candidate certificate (see 5.5, 2.5). [I-057]
       [I-058]
4.1.4  The Congruence Protocol is subordinate to the decision-item rule
       (see 6.3). An unresolvable strike or audit outcome is a decision
       item and halts the round. [I-013]
4.1.5  An audit block ends in a decision item; the Congruence Protocol
       does not disposition on its own authority. [I-013]
4.1.6  An audit is a work block. It opens on equal distance (SR5), when
       n_ind(r) reaches N_x (SR6), or on a mismatch between a landed
       result and a reproduction (see 5.9). [I-072] [I-073] [B-35]
4.1.7  The unit of contradiction is the independent reproduction, not
       the record (SR6). [B-39]
4.1.8  The CAC ranks no physics result on its own authority; physics
       results are ranked by each container's TMS under the strike
       skeleton (see 1.4.6, 4.3). [I-010]
4.1.9  A successor's first CAC re-audits the inherited records under
       the re-audit scope rule (see 2.1.5, 3.4.7). [C-06]
       OWED: the re-audit scope rule for a successor's first CAC, which
       may narrow on a yardstick-only successor; kind: convention; C-06.
4.1.10 Completeness certified by CAC is relative to the declared TPK's
       DOF inventory (see 2.2.5, 2.3.6). [I-124]