The Principia Machina/Agent/Index

Machine-optimized page. Plain text for agents and scripts. Human readers: start the walk through.

TPS (The Principia Machina Specification) 0.4.0 MACHINE INDEX
artifact: TPS_0.4.0.txt; version 0.4.0, declared final 2026-09-30, revision 7; sentinel END OF ARTIFACT --- TPS 0.4.0
  file SHA-256 c7b91b046168f540b0f00367e5ca7e7135bfa1fcda7a53886e4e47e9e0875f18 (provenance only; TPX alone computes a TPM digest)
  declared before it: TPS 0.1.0 (2026-09-22, revision 4); TPS 0.1.1 (2026-09-26); TPS 0.3.0 (2026-09-28, revision 6)
  the pages carry revision 8, proposed as TPS 0.5.0, from batch B3
root page: The Principia Machina/TPS
unit pages, in outline order:
  The Principia Machina/TPS/0.1 Front matter and change record
  The Principia Machina/TPS/1.1 Vocabulary
  The Principia Machina/TPS/1.2 Scope and residence
  The Principia Machina/TPS/1.3 System of record and containers
  The Principia Machina/TPS/1.4 Design basis
  The Principia Machina/TPS/2.1 The Full Kernel and immutability
  The Principia Machina/TPS/2.2 The Prime Kernel
  The Principia Machina/TPS/2.3 The Translation Manifold
  The Principia Machina/TPS/2.4 The Measure Set
  The Principia Machina/TPS/2.5 Digests and the digest gate
  The Principia Machina/TPS/3.1 Records, prefixes and volumes
  The Principia Machina/TPS/3.2 Record fields and regime
  The Principia Machina/TPS/3.3 Record classes and schemas
  The Principia Machina/TPS/3.4 Inheritance under copy-forward
  The Principia Machina/TPS/4.1 The audit and its authority
  The Principia Machina/TPS/4.2 Check classes and the check-class matrix
  The Principia Machina/TPS/4.3 The strike skeleton
  The Principia Machina/TPS/4.4 The strike rule
  The Principia Machina/TPS/4.5 TMS compliance
  The Principia Machina/TPS/4.6 The strike shape and the known limit
  The Principia Machina/TPS/5.1 The three parts and the placement rule
  The Principia Machina/TPS/5.2 The platform
  The Principia Machina/TPS/5.3 TPX
  The Principia Machina/TPS/5.4 PRB
  The Principia Machina/TPS/5.5 The new-container flow
  The Principia Machina/TPS/5.6 Certificate, declarations and the build chain
  The Principia Machina/TPS/5.7 The lock
  The Principia Machina/TPS/5.8 The collaboration page
  The Principia Machina/TPS/5.9 Landing, work blocks and post-refusal
  The Principia Machina/TPS/5.10 The badge and staleness
  The Principia Machina/TPS/5.11 The index of record
  The Principia Machina/TPS/5.12 The control panel and its logs
  The Principia Machina/TPS/5.13 Permissions
  The Principia Machina/TPS/5.14 AI certification
  The Principia Machina/TPS/5.15 Help sets, diagrams and the references page
  The Principia Machina/TPS/5.16 UWC access policy
  The Principia Machina/TPS/5.17 The canary programme
  The Principia Machina/TPS/5.18 The scorecard
  The Principia Machina/TPS/5.19 The top-performer cluster
  The Principia Machina/TPS/5.20 Falcons
  The Principia Machina/TPS/5.21 The bibliography
  The Principia Machina/TPS/5.22 Environment modules
  The Principia Machina/TPS/6.1 Scope and conformance
  The Principia Machina/TPS/6.2 Untrusted input and authorization
  The Principia Machina/TPS/6.3 Decision items
  The Principia Machina/TPS/6.4 Working a container
  The Principia Machina/TPS/6.5 Certification, agent side
  The Principia Machina/TPS/7.1 Non-goals
  The Principia Machina/TPS/7.2 Declared parameters
  The Principia Machina/TPS/8.1 The foundations record as source
  The Principia Machina/TPS/8.2 Decision bases and excluded alternatives
  The Principia Machina/TPS/8.3 References
chain pages: The Principia Machina/Declarations; The Principia Machina/Build chain
D(TPS): TPX's digest over the text of the preformatted blocks of the declared TPS's
  pages, page by page (TPS 5.14 CR9)
D(IS): TPX's digest over the declared TPS version, its D(TPS) and the other instruction
  artifacts in index order, published on the hub and in the badge (TPS 5.14 CR9); a file
  SHA-256 on the root page is provenance only
  PRB recomputes D(TPS) and D(IS) from the pages before every session and starts none on
  a mismatch (TPS 5.4.15)
  page list: Beside the current D(IS) the hub carries D(TPS) and the ordered list [title, h]
    of the declared TPS version's kept pages, as TPX computed them at H-DECL's declaration
    (CR9), and replaces the three together at the next TPS declaration (TPS 5.11.16;
    revision 8, proposed)
  PRB's report: When the D(TPS) PRB computes is not the declared version's, PRB computes the
    ordered list [title, h] of the pages it read with executed TPC-PY (tps_pages), compares
    it with the list TPX published beside D(IS) (CR9, 5.11.16) and reports each title whose
    h differs, is missing or is extra; the session still does not start (TPS 5.4.15;
    revision 8, proposed)
  published TPS version: the version H-DECL declared, 0.4.0 since 2026-09-30
implementations: indexed under TPS 5.11.4, outside D(IS)
TPC-PY source: indexed under TPS 5.11.9, outside D(IS), advisory
  TPC-PY 0.2.0, declared 2026-09-30; tree digest 2998ac4c24dff83bd047a691081b7d27bb25c9d26512bffe519f5c2b6ba127e2;
  conformed TPS 0.4.0; declared before it: TPC-PY 0.1.0 (2026-09-28)
  increment 13, proposed as TPC-PY 0.3.0; tree digest 63ef0f2decb5b2c15c19274026b2f9a95160d0f54fee3f58e273088901f564f1;
  adds tps_pages (TPS 5.1.18; revision 8, proposed)
  pages: The Principia Machina/TPC-PY, carrying increment 13 from batch B3