The Principia Machina/TPS

The Principia Machina Specification (TPS). Instruction artifact; machine-optimized text. Part of the hub of The Principia Machina (TPM). 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). TPS 0.1.1, which changed only the status lines, was declared final on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28, naming TPS_0.3.0.txt by its file digest, and TPS 0.4.0, revision 7, on 2026-09-30, naming TPS_0.4.0.txt by its file digest and its D(TPS) (D185.1, D203.1); revision 5, proposed as 0.2.0, stays undeclared. This is revision 8 of the tree, declared final as TPS 0.5.0 by H-DECL on 2026-10-03, naming TPS_0.5.0.txt by its file digest and its D(TPS) e45ef3a89f40c1335e2750dd7568e2be92b392717f90d23c917e0ee184688a0b, the value the genesis line of the DECLARATIONS page carries since TPX's first landing on 2026-10-04 (S156; tpm_dacts_declarations 0.2.0), under tpm_tps_thread_request 0.1.15: D216.1 (the ordered list of the kept pages and their hashes, published beside D(TPS) and D(IS), and PRB naming the differing pages on a mismatch), D224.1 (accounts made by an administrator, write by approval into 'approved', the CAPTCHA on badlogin only), D228.1 (PRB's key on this wiki, a bot password), who writes a PARROT's corroboration record and names its TARGET (O-RS-2), at the answer to the drafted item DI-TW4-1, and TPC's increment 13. It carries whole revision 7; STATUS: DECLARED FINAL, 2026-10-03. TPS is one artifact, TPS.txt, published here as a root page and 52 section pages, each carrying its text verbatim. The terminal sentinel is the line beginning END OF ARTIFACT; a copy without it is truncated.

File digest SHA-256 of TPS.txt: 2b53796ee8647a87df096983b388380e49ff02a617e50ad1ca3e17e7fd853a30 (TPS_0.5.0.txt, revision 8, 770066 bytes). A file fingerprint for provenance only; it is not a TPM digest, which TPX alone computes (TPS 2.5, 5.6). The artifact head below, each part heading as "PART n TITLE" and every section page's pre-block in outline order, then the sentinel, each block separated by one blank line, reproduce the file byte for byte.

A map for human readers, with the tables and diagrams: TPS Contents. The requirements source: the Generic Specification Guide. Keys and terms: process key, structure key, definition of terms.

Artifact head

THE PRINCIPIA MACHINA SPECIFICATION (TPS)
=========================================
TPS VERSION: 0.5.0
(revision 8 of the tree, proposed under tpm_tps_thread_request 0.1.15,
S156; it carries whole revision 7, which H-DECL declared final as TPS
0.4.0 on 2026-09-30, and revision 5, proposed as 0.2.0, which stays
undeclared; TPS 0.1.0 was declared final at revision 4 on 2026-09-22,
TPS 0.1.1, which changed only the status lines, on 2026-09-26 and TPS
0.3.0, revision 6, on 2026-09-28; each declaration is a version
declaration recorded in the foundations record; 0.5.0 is declared by
H-DECL; the genesis line lands at TPX's first landing; D(TPS) is
computed by TPX at the declaration, never by hand)

READING CONVENTIONS, for this file
  Rule ID     <page address>.<n>, for example 2.5.3; part 6 keeps AC-n.m.
  Source tag  [I-nnn] [B-nn] [C-nn] cite tps_inventory; [PR-IV] and
              [PR-DP] cite the two profile anchors at tps_inventory
              C-27; [F1] [F2] cite charter findings; [DI-n.m] cites a
              selection; [Dnn] and [Dnn.n] cite a decision of the
              foundations record and its selection; [Snn] cites a
              ruling settled under a standing rule, recorded in the
              foundations record; [AUTHORED] marks text with no prior
              source.
  OWED line   a rule TPS cannot yet state: requirement, kind of block
              (absence, convention, computation), C-ID.
  NOTE line   non-normative.
  BASIS line  a reason, non-normative; the reasons are collected in
              part 8.
  Names       every capitalized name is defined in 1.1 or in the section
              1.1 points to; a name used before its section is defined in
              1.1 first. An abbreviation in its standard sense is
              expanded in 1.1.E.
Page header, every page: address and title; purpose; governing section
(self); version 0.5.0 (proposed); class instruction artifact; audience.

Outline

Part 0

Front Matter

0.1 Front matter and change record

Part 1

Foundations and Scope

1.1 Vocabulary

1.2 Scope and residence

1.3 System of record and containers

1.4 Design basis

Part 2

The Full Kernel

2.1 The Full Kernel and immutability

2.2 The Prime Kernel

2.3 The Translation Manifold

2.4 The Measure Set

2.5 Digests and the digest gate

Part 3

The Research Register

3.1 Records, prefixes and volumes

3.2 Record fields and regime

3.3 Record classes and schemas

3.4 Inheritance under copy-forward

Part 4

The Congruence Protocol

4.1 The audit and its authority

4.2 Check classes and the check-class matrix

4.3 The strike skeleton

4.4 The strike rule

4.5 TMS compliance

4.6 The strike shape and the known limit

Part 5

The Public Recorder

5.1 The three parts and the placement rule

5.2 The platform

5.3 TPX

5.4 PRB

5.5 The new-container flow

5.6 Certificate, declarations and the build chain

5.7 The lock

5.8 The collaboration page

5.9 Landing, work blocks and post-refusal

5.10 The badge and staleness

5.11 The index of record

5.12 The control panel and its logs

5.13 Permissions

5.14 AI certification

5.15 Help sets, diagrams and the references page

5.16 UWC access policy

5.17 The canary programme

5.18 The scorecard

5.19 The top-performer cluster

5.20 Falcons

5.21 The bibliography

5.22 Environment modules

Part 6

Agent Contract

6.1 Scope and conformance

6.2 Untrusted input and authorization

6.3 Decision items

6.4 Working a container

6.5 Certification, agent side

Part 7

Non-Goals and Declared Parameters

7.1 Non-goals

7.2 Declared parameters

Part 8

Sources

8.1 The foundations record as source

8.2 Decision bases and excluded alternatives

8.3 References

Sentinel

END OF ARTIFACT --- TPS 0.5.0
If this line is absent, the payload arrived truncated. Do not save.
Download the file and replace it whole.