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. This is revision 6 of the tree, proposed as TPS VERSION 0.3.0 until H-DECL declares it (D185.1), landing the items of the EOM round under tpm_tps_thread_request 0.1.11: D176.1 and D177.1 (the structure check of the equations of motion with its switch, class and later test; the independent variable), D178.1 (environment modules: the interview, the declarations, the catalogue's lifecycle, fixed at inception), the closed world, D179.1, D180.3 and D181.2 (the sense of a boundary, initial and boundary values, the guard extensions deferred), D182.1, D183.1 and D189.1 (the local prompt and the instruction channel, their four values declared), D186.1 (the form bounds), D190.1 (TPC-PY placed by PRB), D191.1 (the survey pages served by TPX), the abbreviation directive, and the PATCH after revision 5 (D175.1, the bibliography help pages linked, the TPC lists re-cut). It carries whole revision 5, proposed as 0.2.0 and not declared, which landed D91.1-D132.1 under tpm_tps_thread_request 0.1.8, D133.1-D169.1 under 0.1.9 (v14) and D170.1-D173.1, the UWC bibliography (v15); 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: 3b56946671cbf3662ebdee0ac9ab9c9465392bf0ca0dbf67dc2112145edb8c01 (TPS_0.3.0.txt, revision 6, 700213 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.3.0
(revision 6 of the tree, proposed under tpm_tps_thread_request
0.1.11, D185.1 (a); it carries whole revision 5, proposed as 0.2.0
under 0.1.8, rebuilt under 0.1.9 and extended as v15 with the
bibliography, 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 by a version declaration recorded in the
foundations record; 0.3.0 is declared by H-DECL; the genesis line
lands at TPX's first landing; the digest is computed by TPX at
publication, 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.3.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.3.0
If this line is absent, the payload arrived truncated. Do not save.
Download the file and replace it whole.