The Principia Machina/TPS/Contents

The Principia Machina: map
Reading the diagrams Structure key Process key Definition of terms Roles
Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent
The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each)

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 (machine-optimized text); this page is the map.

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: defined names, roles and codes, state names, running-text names
• 4.2 The check-class matrix, 36 rows
• 4.4 The strike rule SR1 to SR9
• 5.8 The collaboration page rows
• 5.10 The badge fields and the three copy states
• 5.13 The permissions table, 20 rows
• 5.14 AI certification CR1 to CR9
• 5.15 The structural diagram inventory
• 7.2 The declared parameters
• 8.2 Decision bases and excluded alternatives
• 8.3 The reference groups A to J

Diagrams

Structures (key

structure key)

C1 Kernel and register

C2 Recorder pages

01 Five-layer map

06 Three-zone TFK

12 Index of record

Processes (key

process key)

C3 Lifecycle pipeline

C4 Landing 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, terms and roles

• Structure key
• Process key
• Definition of terms
• Roles

Reading by audience

• Start here: the walk
• The operator's guide