TPS 0.3.0

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, declared final as TPS VERSION 0.3.0 by H-DECL on 2026-09-28, naming TPS_0.3.0.txt by the file digest below, a version declaration recorded in the foundations record (D185.1); it lands 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: DECLARED 2026-09-28. Inside the text, the artifact head and every section's header line still read "proposed": the text stood so when it was declared, and the declaration names it by its digest. 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.