The Principia Machina/TPS/Contents: Difference between revisions
m 1 revision imported |
m 1 revision imported |
||
| (16 intermediate revisions by 2 users not shown) | |||
| Line 1: | Line 1: | ||
{{TPM map}} | {{TPM map}} | ||
{{DISPLAYTITLE:TPS 0. | {{DISPLAYTITLE:TPS 0.5.0: Contents}} | ||
''Contents of The Principia Machina Specification, TPS 0.1.0, | ''Contents of The Principia Machina Specification, TPS, for human readers. TPS 0.1.0 was declared final at revision 4 on 2026-09-22, TPS 0.1.1, which changed only the status lines, on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28 and TPS 0.4.0, revision 7, on 2026-09-30; this is revision 8 of the tree, declared final as TPS 0.5.0 on 2026-10-03, carrying whole revision 7 with the items of wave 6 of the post-TPC-PY round that 0.1's change record lists; the chain begins at TPX's first landing (TPS 5.6.7). Part of [[The Principia Machina/Hub|the TPM hub]]. The specification itself is on [[The Principia Machina/TPS|its root page]] and its 52 unit pages (machine-optimized text); this page is the map. A page shows the current version of the artifact; earlier versions are read from that page's history, not from a separate tree.'' | ||
== Parts and pages == | == Parts and pages == | ||
; Part 0: Front Matter | ; Part 0: Front Matter | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/0.1 Front matter and change record|0.1 Front matter and change record]] | ||
; Part 1: Foundations and Scope | ; Part 1: Foundations and Scope | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/1.1 Vocabulary|1.1 Vocabulary]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/1.2 Scope and residence|1.2 Scope and residence]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/1.3 System of record and containers|1.3 System of record and containers]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/1.4 Design basis|1.4 Design basis]] | ||
; Part 2: The Full Kernel | ; Part 2: The Full Kernel | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/2.1 The Full Kernel and immutability|2.1 The Full Kernel and immutability]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/2.2 The Prime Kernel|2.2 The Prime Kernel]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/2.3 The Translation Manifold|2.3 The Translation Manifold]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/2.4 The Measure Set|2.4 The Measure Set]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/2.5 Digests and the digest gate|2.5 Digests and the digest gate]] | ||
; Part 3: The Research Register | ; Part 3: The Research Register | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/3.1 Records, prefixes and volumes|3.1 Records, prefixes and volumes]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/3.2 Record fields and regime|3.2 Record fields and regime]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/3.3 Record classes and schemas|3.3 Record classes and schemas]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/3.4 Inheritance under copy-forward|3.4 Inheritance under copy-forward]] | ||
; Part 4: The Congruence Protocol | ; Part 4: The Congruence Protocol | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/4.1 The audit and its authority|4.1 The audit and its authority]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/4.2 Check classes and the check-class matrix|4.2 Check classes and the check-class matrix]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/4.3 The strike skeleton|4.3 The strike skeleton]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/4.4 The strike rule|4.4 The strike rule]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/4.5 TMS compliance|4.5 TMS compliance]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/4.6 The strike shape and the known limit|4.6 The strike shape and the known limit]] | ||
; Part 5: The Public Recorder | ; Part 5: The Public Recorder | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.1 The three parts and the placement rule|5.1 The three parts and the placement rule]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.2 The platform|5.2 The platform]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.3 TPX|5.3 TPX]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.4 PRB|5.4 PRB]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.5 The new-container flow|5.5 The new-container flow]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.6 Certificate, declarations and the build chain|5.6 Certificate, declarations and the build chain]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.7 The lock|5.7 The lock]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.8 The collaboration page|5.8 The collaboration page]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal|5.9 Landing, work blocks and post-refusal]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.10 The badge and staleness|5.10 The badge and staleness]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.11 The index of record|5.11 The index of record]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.12 The control panel and its logs|5.12 The control panel and its logs]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.13 Permissions|5.13 Permissions]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.14 AI certification|5.14 AI certification]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/5.15 Help sets, diagrams and the references page|5.15 Help sets, diagrams and the references page]] | ||
: [[The Principia Machina/TPS/5.16 UWC access policy|5.16 UWC access policy]] | |||
: [[The Principia Machina/TPS/5.17 The canary programme|5.17 The canary programme]] | |||
: [[The Principia Machina/TPS/5.18 The scorecard|5.18 The scorecard]] | |||
: [[The Principia Machina/TPS/5.19 The top-performer cluster|5.19 The top-performer cluster]] | |||
: [[The Principia Machina/TPS/5.20 Falcons|5.20 Falcons]] | |||
: [[The Principia Machina/TPS/5.21 The bibliography|5.21 The bibliography]] | |||
: [[The Principia Machina/TPS/5.22 Environment modules|5.22 Environment modules]] | |||
; Part 6: Agent Contract | ; Part 6: Agent Contract | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/6.1 Scope and conformance|6.1 Scope and conformance]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/6.2 Untrusted input and authorization|6.2 Untrusted input and authorization]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/6.3 Decision items|6.3 Decision items]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/6.4 Working a container|6.4 Working a container]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/6.5 Certification, agent side|6.5 Certification, agent side]] | ||
; Part 7: Non-Goals and Declared Parameters | ; Part 7: Non-Goals and Declared Parameters | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/7.1 Non-goals|7.1 Non-goals]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/7.2 Declared parameters|7.2 Declared parameters]] | ||
; Part 8: Sources | ; Part 8: Sources | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/8.1 The foundations record as source|8.1 The foundations record as source]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/8.2 Decision bases and excluded alternatives|8.2 Decision bases and excluded alternatives]] | ||
: [[The Principia Machina/TPS | : [[The Principia Machina/TPS/8.3 References|8.3 References]] | ||
== Tables == | == Tables == | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/1.1 Vocabulary|1.1]] Vocabulary: defined names, roles and codes, state names, running-text names | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/2.2 The Prime Kernel|2.2]] The TPK schema and the declared form's grammar | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/2.3 The Translation Manifold|2.3]] The TrM entry and header schemas | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/2.4 The Measure Set|2.4]] The TMS schema and the yardstick grammar | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/3.2 Record fields and regime|3.2]] The unit grammar and catalogue | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/3.3 Record classes and schemas|3.3]] The HOLD and RELEASE record forms, with the bibliography list | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/4.2 Check classes and the check-class matrix|4.2]] The check-class matrix, 83 rows | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/4.4 The strike rule|4.4]] The strike rule SR1 to SR9 | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/5.8 The collaboration page|5.8]] The collaboration page rows | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/5.10 The badge and staleness|5.10]] The badge fields and the three copy states | ||
* [[The Principia Machina/TPS | * [[The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal|5.9]] The community ledger entry and the volunteer draw | ||
* [[The Principia Machina/TPS/5.13 Permissions|5.13]] The permissions table, 41 rows | |||
* [[The Principia Machina/TPS/5.14 AI certification|5.14]] AI certification CR1 to CR12; the reliability score's states | |||
* [[The Principia Machina/TPS/5.17 The canary programme|5.17]] The canary schedule, the gradient arms and the sources | |||
* [[The Principia Machina/TPS/5.3 TPX|5.3]] The lanes and the pressure levels of the governor | |||
* [[The Principia Machina/TPS/5.19 The top-performer cluster|5.19]] The cluster rule, the lookup and the gate | |||
* [[The Principia Machina/TPS/5.20 Falcons|5.20]] The token rule, the source match and the publisher test | |||
* [[The Principia Machina/TPS/5.21 The bibliography|5.21]] The CSL subset, the identifier rules, the registry routing and the CHECK value | |||
* [[The Principia Machina/TPS/5.15 Help sets, diagrams and the references page|5.15]] The structural diagram inventory | |||
* [[The Principia Machina/TPS/7.2 Declared parameters|7.2]] The declared parameters and the tuning options | |||
* [[The Principia Machina/TPS/8.2 Decision bases and excluded alternatives|8.2]] Decision bases and excluded alternatives | |||
* [[The Principia Machina/TPS/8.3 References|8.3]] The reference groups A to P | |||
== Diagrams == | == Diagrams == | ||
| Line 83: | Line 101: | ||
: [[The Principia Machina/Diagrams/C4 Landing pipeline|C4 Landing pipeline]] | : [[The Principia Machina/Diagrams/C4 Landing pipeline|C4 Landing pipeline]] | ||
: [[The Principia Machina/Diagrams/C5 Certification pipeline|C5 Certification pipeline]] | : [[The Principia Machina/Diagrams/C5 Certification pipeline|C5 Certification pipeline]] | ||
: [[The Principia Machina/Diagrams/Top performers cycle|Top performers cycle]] | |||
: [[The Principia Machina/Diagrams/Falcon cycle|Falcon cycle]] | |||
: [[The Principia Machina/Diagrams/02 Container lifecycle|02 Container lifecycle]] | : [[The Principia Machina/Diagrams/02 Container lifecycle|02 Container lifecycle]] | ||
: [[The Principia Machina/Diagrams/03 Digest gate and recovery|03 Digest gate and recovery]] | : [[The Principia Machina/Diagrams/03 Digest gate and recovery|03 Digest gate and recovery]] | ||
| Line 92: | Line 112: | ||
: [[The Principia Machina/Diagrams/10 Landing and post-refusal|10 Landing and post-refusal]] | : [[The Principia Machina/Diagrams/10 Landing and post-refusal|10 Landing and post-refusal]] | ||
: [[The Principia Machina/Diagrams/11 Work-block lifecycle|11 Work-block lifecycle]] | : [[The Principia Machina/Diagrams/11 Work-block lifecycle|11 Work-block lifecycle]] | ||
: [[The Principia Machina/Diagrams/13 Canary and scorecard pipeline|13 Canary and scorecard pipeline]] | |||
== Keys, terms and roles == | == Keys, terms and roles == | ||
| Line 98: | Line 119: | ||
* [[The Principia Machina/Diagrams/Terms|Definition of terms]] | * [[The Principia Machina/Diagrams/Terms|Definition of terms]] | ||
* [[The Principia Machina/Roles|Roles]] | * [[The Principia Machina/Roles|Roles]] | ||
* [[The Principia Machina/Generic Specification Guide|The Generic Specification Guide]] (the requirements source, TPS 1.2.3) | |||
== Reading by audience == | == Reading by audience == | ||
* [[The Principia Machina/Hub/General reader|Start here: the walk]] | * [[The Principia Machina/Hub/General reader|Start here: the walk through]] | ||
* [[The Principia Machina/Hub/Operator|The operator's guide]] | * [[The Principia Machina/Hub/Operator|The operator's guide]] | ||
== The walk through == | |||
The general-reader page set (TPS 5.15.7), in reading order: | |||
# [[The Principia Machina/Hub/General reader|1 Start here]] | |||
# [[The Principia Machina/Walk through/2 The kernel: what you promise not to change|2 The kernel: what you promise not to change]] | |||
# [[The Principia Machina/Walk through/3 The register: every finding, in order|3 The register: every finding, in order]] | |||
# [[The Principia Machina/Walk through/4 When findings disagree|4 When findings disagree]] | |||
# [[The Principia Machina/Walk through/5 Pages you can trust|5 Pages you can trust]] | |||
# [[The Principia Machina/Walk through/6 People and agents|6 People and agents]] | |||
# [[The Principia Machina/Walk through/7 A day in a container|7 A day in a container]] | |||
# [[The Principia Machina/Walk through/8 What comes out, and what does not|8 What comes out, and what does not]] | |||
# [[The Principia Machina/Walk through/The calculator and its copy|The calculator and its copy]] | |||
# [[The Principia Machina/Walk through/The reliability score|The reliability score]] | |||
# [[The Principia Machina/Walk through/The top performers|The top performers]] | |||
# [[The Principia Machina/Walk through/Falcons|Falcons]] | |||
# [[The Principia Machina/Walk through/Bibliography|Bibliography]] | |||
[[Category:The Principia Machina]] | [[Category:The Principia Machina]] | ||
Latest revision as of 13:23, 7 October 2026
| 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, for human readers. TPS 0.1.0 was declared final at revision 4 on 2026-09-22, TPS 0.1.1, which changed only the status lines, on 2026-09-26, TPS 0.3.0, revision 6, on 2026-09-28 and TPS 0.4.0, revision 7, on 2026-09-30; this is revision 8 of the tree, declared final as TPS 0.5.0 on 2026-10-03, carrying whole revision 7 with the items of wave 6 of the post-TPC-PY round that 0.1's change record lists; the chain begins at TPX's first landing (TPS 5.6.7). Part of the TPM hub. The specification itself is on its root page and its 52 unit pages (machine-optimized text); this page is the map. A page shows the current version of the artifact; earlier versions are read from that page's history, not from a separate tree.
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
- 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
Tables
- 1.1 Vocabulary: defined names, roles and codes, state names, running-text names
- 2.2 The TPK schema and the declared form's grammar
- 2.3 The TrM entry and header schemas
- 2.4 The TMS schema and the yardstick grammar
- 3.2 The unit grammar and catalogue
- 3.3 The HOLD and RELEASE record forms, with the bibliography list
- 4.2 The check-class matrix, 83 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.9 The community ledger entry and the volunteer draw
- 5.13 The permissions table, 41 rows
- 5.14 AI certification CR1 to CR12; the reliability score's states
- 5.17 The canary schedule, the gradient arms and the sources
- 5.3 The lanes and the pressure levels of the governor
- 5.19 The cluster rule, the lookup and the gate
- 5.20 The token rule, the source match and the publisher test
- 5.21 The CSL subset, the identifier rules, the registry routing and the CHECK value
- 5.15 The structural diagram inventory
- 7.2 The declared parameters and the tuning options
- 8.2 Decision bases and excluded alternatives
- 8.3 The reference groups A to P
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
- Top performers cycle
- Falcon cycle
- 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
- 13 Canary and scorecard pipeline
Keys, terms and roles
- Structure key
- Process key
- Definition of terms
- Roles
- The Generic Specification Guide (the requirements source, TPS 1.2.3)
Reading by audience
The walk through
The general-reader page set (TPS 5.15.7), in reading order:
- 1 Start here
- 2 The kernel: what you promise not to change
- 3 The register: every finding, in order
- 4 When findings disagree
- 5 Pages you can trust
- 6 People and agents
- 7 A day in a container
- 8 What comes out, and what does not
- The calculator and its copy
- The reliability score
- The top performers
- Falcons
- Bibliography