The Principia Machina/TPS/Contents: Difference between revisions

Revision as of 20:38, 17 September 2026

Contents of The Principia Machina Specification, TPS 0.1.0, for human readers. Part of the TPM hub. The specification itself is on its root page and its 45 unit pages; this page is the map: parts and pages, the tables, the diagrams, the keys and the terms.

Parts and pages

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
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

Tables

1.1 Vocabulary: the defined names (1.1.A), roles, cells and enforcement codes (1.1.B), state names (1.1.C), running-text names (1.1.D)
4.2 The check-class matrix, 36 rows (4.2.5)
4.4 The strike rule SR1 to SR9
5.8 The collaboration page rows: PETITION, ASSIGNMENT, RETURN (5.8.1 to 5.8.4)
5.10 The badge fields and the three copy states (5.10.1, 5.10.2)
5.13 The permissions table, 20 rows (5.13.2)
5.14 AI certification CR1 to CR9
5.15 The structural diagram inventory, 12 rows (5.15.4)
7.2 The declared parameters
8.2 Decision bases and excluded alternatives, D1 to D33
8.3 The reference groups A to J

Diagrams

Every diagram has a page with its source, a text equivalent and a link to its key.

Data structures and structures (key: structure diagrams); C1 Kernel and register data structure; C2 Public Recorder pages; 01 Five-layer map; 06 Three-zone TFK; 12 Index of record
Pipelines and processes (key: process diagrams); C3 Container lifecycle pipeline; C4 Landing and collaboration pipeline; C5 Certification pipeline; 02 Container lifecycle; 03 Digest gate and recovery; 04 CAC check flow; 05 Copy-forward; 07 Strike-rule flow; 08 Regime and contradiction tests; 09 Lock and petition queue; 10 Landing and post-refusal; 11 Work-block lifecycle

Keys and terms

Reading by audience