The Principia Machina/TPS/Contents
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