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, and TPS 0.3.0, revision 6, on 2026-09-28, naming TPS_0.3.0.txt by its file digest (D185.1); revision 5, proposed as 0.2.0, stays undeclared. This is revision 7 of the tree, proposed as TPS VERSION 0.4.0 until H-DECL declares it (S88, S91), landing the answers to the post-TPC-PY round's pause under tpm_tps_thread_request 0.1.13: D192.2 to D202.1 (the register's record forms: the record schema, GRADE beside STATUS, the withdrawal record, the result's fields, CONDITIONS, the DOMAIN form, declared forms and ROLE on records, the named-gap record, the verification record, promotion and the entry-status record, successors), D203.1 (the TPS digest D(TPS) and D(IS)'s ordered field list), D204.1 (the RELEASE digest's form number), D206.1 and D208.1 (the diagram renderers and the rights configuration), D207.1 (page addressing), D209.1 (the promotion's condition hook), D211.1 (served pages for every falcon class), D213.1 (the falcon schema digest), the corrections owed after revision 6 (the eighteen falcon kinds, the cluster functions built, the help-set approver), TPC's increments 11 and 12, and the answers to the wave 4 pause, D214.1 (STATUS under two fields), D215.2 (the inherited record's back-pointer and landing grade) and D218.1 (U_C's written digit and the record digest). It carries whole revision 6; STATUS: DRAFT until declared. 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: c7b91b046168f540b0f00367e5ca7e7135bfa1fcda7a53886e4e47e9e0875f18 (TPS_0.4.0.txt, revision 7, 760795 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.4.0
(revision 7 of the tree, proposed under tpm_tps_thread_request 0.1.13,
S88; it carries whole revision 6, which H-DECL declared final as TPS
0.3.0 on 2026-09-28, 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
and TPS 0.1.1, which changed only the status lines, on 2026-09-26;
each declaration is a version declaration recorded in the foundations
record; 0.4.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.4.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.4.0
If this line is absent, the payload arrived truncated. Do not save.
Download the file and replace it whole.