The Principia Machina/TPS/4.2 Check classes and the check-class matrix
Instruction artifact: TPS 0.1.0, page 4.2 Check classes and the check-class matrix. 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.2. 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.2 CHECK CLASSES AND THE CHECK-CLASS MATRIX
purpose: MECHANICAL and INSPECTION; the matrix with enforcement codes
including PR; class with and without TPX; ratchet debt; every
check publishes its class
governs: 4.2 | version: 0.1.0 (proposed) | class: instruction artifact
audience: operator, agent
4.2.1 Check classes are MECHANICAL and INSPECTION (see 1.1). Reading a
status page and judging a match are INSPECTION. The manifest
build and the digest gate are MECHANICAL when TPX runs them and
INSPECTION when an agent without execution runs them; the
difference is ratchet debt. [B-40] [I-038]
4.2.2 An enforcement column carries where the check is made to hold;
the class is shown with TPX present and without it, and the
difference is ratchet debt. [B-18]
4.2.3 Enforced by: PL protection level; GR group right; EC edit
conflict; SC TPX, executing server-side in the request or in a
job; AU audit; PR a rule the agent's instruction set enforces
(see 1.1, 6.2). No row is enforced by an external script. [B-18]
[I-087]
4.2.4 Row form: check; when | enforced by | class with / without TPX |
on failure | source. MECH is MECHANICAL, INSP is INSPECTION;
"same" means no ratchet debt. The source column cites the
foundations record's decisions and sections (record ...) and
TPS sections. [B-18]
4.2.5 THE CHECK-CLASS MATRIX [B-18]
1 D(TFK) recomputed and matched before any container write.
on write | SC | MECH / INSP | halt write; name zone | D5(g), D6
2 D(TFK) equals the certificate.
at CAC | SC | MECH / INSP | refuse certification | D6, D9
3 Every page present; no hash collision; prefix unique.
at build | SC | MECH / INSP | write nothing; sentinel | D9, D1
4 Page hashes match the manifest (torn read).
at read | SC | MECH / INSP | treat as STALE | D19
5 Lock acquired by base-revision edit.
on acquire | EC | MECH / same | edit rejected | D14
6 Grant >= current and holder = pusher.
at push | SC | MECH / INSP | refuse push | D14, S17
7 Release only after final push.
on release | SC | MECH / INSP | refuse release | D19
8 Badge written last with chain line and manifest revision.
at push | SC | MECH / INSP | no commit | D19, TBD 7
9 Heartbeat never past 24 h from grant.
on heartbeat | SC | MECH / INSP | refuse extension | D14
10 Block ID valid and not EXPIRED.
at landing | SC | MECH / INSP | refuse; 5.9 | D13(h), D18
11 Expiry at ETA, definitional.
at read | SC | MECH / INSP | show EXPIRED | D18
12 Acquisition window elapsed.
on release | SC | MECH / INSP | next waiter may acquire | D18
13 Records within the leased range; unused reclaimed.
at landing | SC | MECH / INSP | refuse out-of-range | D14,
record 5
14 Prefix unique across TPM.
at CAC | SC | MECH / INSP | refuse certification | D1
15 Help set complete; five parts per page.
at build | SC | MECH / INSP | sentinel page | record 4.1
16 No [background] source mark remains.
at build | SC | MECH / INSP | refuse build; sentinel | record
4.1
17 TMS compliance C1, C2, C4.
at CAC | SC when executable | MECH / INSP | refuse cert. | SR9
18 TMS compliance C3, C5.
at CAC | AU | INSP / same | refuse certification | SR9
19 Regime assigned, L or M.
at allocation | AU; SC when formal | INSP / same | refuse | SR3
20 L-L contradiction.
at audit | AU; SC when formal | INSP / same | strike, SR5 | SR3
21 M-M contradiction after scale factor.
on M write; at audit | SC | MECH / INSP | flag; SR5, SR6 | SR8
22 a(r), s(r) from declared fields.
on write | SC | MECH / INSP | refuse record lacking fields | SR4
23 Assumptions atomic.
at CAC | AU | INSP / same | named gap; audit | D16
24 Independent contradictions counted.
at audit | SC | MECH / INSP | audit at N_x | SR6
25 Status page read; match judged.
at landing | AU | INSP / same | corroboration or audit |
record 5
26 Coworker return vetted.
at incorporation | PR | INSP / same | decision item | record
5, S20
27 TFK pages and instruction artifacts human-only.
on edit | PL | MECH / same | edit rejected | record 5
28 BUILD CHAIN and DECLARATIONS pages append-only.
on edit | SC + AU, or edit filter | MECH / INSP | revert |
record 4.4
29 Retired container read-only.
on edit | PL | MECH / same | edit rejected | D12
30 Agent-facing help set human-only.
on edit | PL | MECH / same | edit rejected | record 4.1
31 Import right held by no one; landing is TPX's API only.
on push | GR | MECH / same | import rejected | D19, D21, D32
32 Certification canary refused and reported.
live, unannounced | AU + SC planting | INSP / same |
membership removed; decision item | D22
33 Presented D(IS) matches the published value.
at petition; at push | SC | MECH / INSP | refuse push; flag
NEEDS RECERTIFICATION | D23, CR9
34 Kernel tests T1-T6 pass.
at instantiation, TPK zone | SC when the body lands; AU until
then | MECH / INSP | refuse component; return to author |
2.2, DI-4.1 [AUTHORED]
35 The four isomorphism checks pass.
at instantiation, TrM zone | SC when the body lands; AU until
then | MECH / INSP | refuse component; return to author |
2.3, DI-4.1 [AUTHORED]
36 Declared TPS version is the published one.
at push | SC | MECH / INSP | refuse push | F2, 6.1 [AUTHORED]
4.2.6 Ratchet debt at 0.1.0: every row reading MECH / INSP, 24 of 36
(rows 1-4, 6-17, 21, 22, 24, 28, 33-36). Rows 18, 19, 20, 23, 25,
26, 32 are INSPECTION by nature until derivations are formal; rows
5, 27, 29, 30, 31 carry no debt. [B-18] [AUTHORED]
4.2.7 Every check publishes its class (see 5.3). Every SC row is a TPX
obligation (see 5.3). [B-18]