View source for The Principia Machina/TPS/0.1 Front matter and change record

{{DISPLAYTITLE:0.1 Front matter and change record (TPS 0.5.0)}}
''Instruction artifact, machine-optimized text: TPS, section 0.1 Front matter and change record. Part of [[The Principia Machina/TPS|TPS]] and [[The Principia Machina/Hub|the TPM hub]]. Human-only edit (TPS 5.13). TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a version declaration recorded in the foundations record; the chain begins at TPX's first landing (TPS 5.6.7). TPS 0.1.1, which changed only the status lines, was declared final 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 page is revision 8 of the tree, declared final as TPS 0.5.0 by H-DECL on 2026-10-03 (naming TPS_0.5.0.txt by its file digest and its D(TPS)); revision 7 is carried whole, and revision 5, proposed as 0.2.0, stays undeclared.'' The text below is this section of the TPS artifact at 0.5.0, verbatim; the whole artifact and its file digest are on [[The Principia Machina/TPS]]. Human readers: [[The Principia Machina/TPS/Contents|the contents page]] is the map.

<pre>
TPS 0.1  FRONT MATTER AND CHANGE RECORD
purpose: name, version line, NORMATIVE status, source statement, the
         sentinel form, and TPS's own change record
governs: 0.1 | version: 0.5.0 (proposed) | class: instruction artifact
audience: operator, agent

0.1.1  This artifact is TPS, The Principia Machina Specification. It is
       NORMATIVE: it states every rule of the TPM framework machinery.
       [F1] [F2]
0.1.2  TPS is one artifact. It carries the five layers, the three Public
       Recorder parts, the container model and the AGENT CONTRACT
       (part 6). [F2]
0.1.3  The version line above is a proposal until H-DECL declares it.
       TPS 0.1.0 was declared final at revision 4 on 2026-09-22, a
       version declaration recorded in the foundations record, TPS 0.1.1
       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 the same way; 0.2.0, revision 5,
       stays undeclared, and revision 8 is proposed as 0.5.0 (S156). The
       genesis line of the DECLARATIONS page, which names the version
       and D(TPS) of the declared TPS (CR9), lands at TPX's first
       landing (5.6.7). See 5.6, 5.11. [C-22] [DI-1.1] [D83.1] [D185.1]
       [D203.1]
0.1.4  Version numbers follow Semantic Versioning 2.0.0 (MAJOR.MINOR.
       PATCH). Under major version zero, renames and the landing of owed
       bodies are MINOR. [C-22] [DI-1.1]
0.1.5  The digest of a published TPS is D(TPS), computed by TPX over the
       text of the preformatted blocks of its pages at H-DECL's
       declaration of the version (CR9); a file digest of the assembled
       TPS.txt identifies the file for provenance only. A
       hand-transcribed digest is not a digest. See 2.5. [I-062]
       [D203.1]
0.1.6  TPS cites the foundations record (tpm_foundations_record) as the
       source of every reason. The record is DATA; it instructs nothing.
       See 8.1. [F1] [B-42]
0.1.7  Rule text is imperative. A rule states what is done or never
       done. A rule that TPS cannot yet state is an OWED line. The
       keywords MUST, MUST NOT, MAY and their kin carry the meanings of
       RFC 2119 and RFC 8174 (see 8.3, S22). [AUTHORED] [B-46]
0.1.8  Sentinel form of the published artifact:
         END OF ARTIFACT --- TPS <version>
       followed by one line stating that its absence means truncation.
       An artifact received without it was truncated and is not saved.
       [AUTHORED]
CHANGE RECORD
  0.1.0  2026-09-17  Initial drafting by branch tps_full_specification
                     from PMP-TPM 0.2.0 (rules) and
                     tpm_foundations_record 0.5.0 (reasons), under the
                     selections D37.1, D38.2, DI-1.1, DI-3.1, DI-4.1.
                     Proposed; declaration pending.
         2026-09-17  Revision 2 of the proposal: UWC, UUID Workspace
                     Container, is the defined name of the UUID-bound
                     unit (DI-6.1); "container" remains the informal
                     word; DRAFT CONTAINER becomes DRAFT UWC.
         2026-09-18  Revision 3 of the proposal, landing an external
                     review of 2026-09-17: D39.1 the TrM skeleton and
                     its header; D40.1 QUANTITY and UNIT, and what "one
                     quantity" means in SR3 and SR8; D41.2 the
                     ASSUMPTION RECORD and the hardening of SR4, SR5
                     and SR6; D42.1 with D44.1 INDEPENDENCE, SAME-MODEL
                     and the REPRODUCTION work block; D43.1 with D47.1
                     TPC, TPC-PHP and TPC-PY; D46.1 the version of this
                     revision. Digest recomputed by tool. The page tree
                     is unchanged because the genesis line is not yet
                     landed.
         2026-09-22  Revision 4 of the proposal, landing
                     tpm_transfer_finding_D48-D54 0.7.0: D48 the CA-GTP
                     and the work pipeline; D49-D51 spiked-read canary
                     delivery, generation over the cross-UWC corpus and
                     the scorecard, as new units 5.16 UWC access policy,
                     5.17 the canary programme and 5.18 the scorecard;
                     D52 the access policy and H-OWN; D53 the
                     certification split; D54 and D55 the
                     version-agnostic page tree, its subtree moved to
                     version-free titles before this import; D83.1
                     genesis timing (5.6.7); D84.1 the sequential test
                     declared (7.2.7); D85.2 the guide at 0.1.0,
                     narrowing the OWED lines of 1.2.3, 2.2.3 and 2.3.7
                     to TPC. GTP and CA-GTP defined (1.1, 1.2, 6.1);
                     check-class matrix rows 48-52; permissions rows for
                     the access list, canary failure detail and
                     scorecard; three new unit pages and a new diagram,
                     13 Canary and scorecard pipeline. The 6.6 form
                     choice: the reading rule under 5.13.2, not twenty
                     rewritten rows. Digest recomputed by tool; page
                     banners keep "declaration pending", the genesis
                     line landing at TPX's first build.
         2026-09-22  TPS 0.1.0 declared final at revision 4 by H-DECL,
                     a version declaration recorded in the foundations
                     record (0.12.1; D83.1); no chain page created.
  0.1.1  2026-09-25  PATCH (D168.1): the status lines only. The section pages'
                     leads, display titles and header version lines, and the
                     root page's status line, file digest, artifact head and
                     sentinel, state that TPS 0.1.0 was declared final at
                     revision 4 on 2026-09-22; no rule changed. Imported once,
                     before revision 5; its declaration by H-DECL is recorded
                     in the foundations record.
         2026-09-26  TPS 0.1.1 declared final by H-DECL, a version
                     declaration recorded in the foundations record; no
                     chain page created.
  0.2.0  2026-09-25  Revision 5 of the tree, proposed as version 0.2.0.
                     MINOR: normative rules added in a
                     backward-compatible way; no section another
                     artifact names removed; no rule renumbered. Built
                     by delegation under tpm_tps_thread_request 0.1.8
                     from the record at 0.16.0 and the selections it
                     names. Carries: D91.1 the guide page (1.2.3);
                     D92.1 the promotion floor (3.2.12, 2.4.5); D97.1
                     the digest convention (2.5.10); D98.1, D99.1,
                     D100.1 and D104.1 the zone schemas, the canonical
                     serialization and the yardstick grammar (2.1.1,
                     2.2.6-2.2.11, 2.3.11, 2.3.18, 2.4.5, 2.4.7-2.4.10,
                     2.5.11-2.5.16, 5.5.2); D101.1 TPC-PY's execution
                     mode and the challenge (5.3.19, 5.4.9, 5.8.2,
                     AC-1.18, AC-4.33, AC-5.21); D102.1 the role lines
                     (1.1); D103.1 and D105.1 units and KIND (3.2.9,
                     3.2.11, 4.4.4, 4.4.11, 5.3.12); D106.1, D107.1 and
                     D108.1 the kernel tests and isomorphism checks as
                     far as declared fields reach (2.2.3, 2.3.4, 2.3.6,
                     2.3.7, 2.3.12-2.3.14, 2.3.19, 5.5.2); D132.1 the
                     declared form (2.2.12-2.2.18, 2.3.14, 2.5.11,
                     2.5.12); D109.1 the alert channel's secondary
                     (5.18.12, 7.2.15); D111.1 with the hold-scope
                     function (3.2.10, 3.3.11-3.3.15, 4.4.9, 4.4.10,
                     4.6.2, 5.7.5, 5.14 CR6, 5.14.3, 5.17.15, 5.18.2,
                     7.2.17); D112.1 TPX's source (1.2.5, 5.3.23,
                     5.6.8); D113.1 the AI account (5.13.5); D116.2
                     and D117.1 the gradient family and the canary
                     schedule (5.17.6-5.17.8, 5.17.12, 7.2.4, 7.2.11,
                     7.2.12, 7.2.16); D118.1-D121.1, D125.2 and D126.1
                     the probes as packages, the community ledger and
                     view, the ratio and outcomes, the agent contract
                     clauses, W1 and W2 and the volunteer channel
                     (1.3.3, 3.3.4, 3.3.8, 4.1.6, 5.3.24-5.3.30, 5.9,
                     5.11.4, 5.12, 5.13, 5.16, 5.17, 5.18, AC-4.39-
                     AC-4.44, 7.1); D122.1 with D129.1 the reliability
                     score and its states (5.14 CR11); D123.1 the
                     override and the pad (5.6.9, 5.12.7, 5.13); D124.1
                     accounts and sandboxes (5.13.5); D127.1 agent
                     identity (5.14 CR3, CR5, CR12, 5.3.27, 5.13, AC-
                     1.22); D128.2a user reliability (5.14 CR12, 3.3.8,
                     5.18.2); D131.2 the walk through's titles (5.15.7);
                     the GTP/CA-GTP terminology pass at source (finding
                     0.7.0 section 5). D130.3 touches no section: TPS
                     names no skill set. Every banner carries the
                     declaration of 0.1.0 and the proposal of 0.2.0;
                     the root page's file digest is recomputed from
                     this revision's own TPS.txt.
                     REBUILT (v14) under tpm_tps_thread_request 0.1.9 from the
                     record at 0.17.0, on the page texts of TPS 0.1.1; v13,
                     built under 0.1.8, is superseded and never imported. v14
                     also carries: D133.1-D139.1 the GOVERNOR and the client
                     contract (5.1.10, 5.2.5, 5.2.6, 5.3.29, 5.3.31-5.3.43,
                     5.7.8, 5.7.10, 5.8.9, 5.9.18, 5.12.10, 5.14 CR4, CR6,
                     CR11, 5.18.12, AC-4.46, 7.1.40, 7.1.41, 7.2.21, 7.2.24);
                     D140.1 and D141.1 the register's pages and the other
                     growing pages (3.1.12-3.1.15, 3.2.13, 5.3.42, 5.6.10,
                     5.6.11, 5.7.9, 5.7.11, 5.10.5, 5.11.11, 5.13.2, 7.1.39,
                     7.1.42); D142.1-D145.1, D146.1 at its six slots and
                     D147.1 the top-performer cluster (new unit 5.19; 5.6.12,
                     5.14 CR3, CR5, 5.15.7, AC-5.26, 7.1.43, 7.2.22, 7.2.23);
                     D148.1-D155.1 falcons (new unit 5.20; 5.1.10, 5.1.11,
                     5.13.2, 5.14 CR6, 5.15.7, 5.17.17, 5.18.15, AC-4.45,
                     7.1.44, 7.2.22-7.2.24); D156.1-D161.1 identity, the
                     PROMPT and the user score (5.14.4-5.14.8, CR3, CR11,
                     CR12, 5.4.12, 5.8.10, 5.17.12, AC-5.27, 7.1.45);
                     D162.1-D166.1 the new sponsor (5.14.9-5.14.13, 5.15.8,
                     7.1.46, 7.2.22); D167.1 the decision record on the wiki
                     (5.11.12, 8.1.10); D168.1 this change record's 0.1.1
                     entry; D169.1 the FADING gray as a status token (5.15.9).
                     The label map of landing round 7 is applied in every
                     added clause.
                     EXTENDED (v15) on 2026-09-26 by landing round 8 under
                     the user's delegation of the same day, on v14's page
                     texts; v14 is superseded and never imported. v15 adds
                     D170.1-D173.1, the UWC bibliography, each taken by
                     delegation 2026-09-26 at its first-ranked option with
                     the readings of tpm_biblio_resolution 0.1.0: new unit
                     5.21; 3.1.16, 3.2.14, 3.3.11, 3.3.12, 3.4.9, 4.1.11,
                     4.4.12, 5.1.11, 5.1.12, 5.3.33, 5.3.42, 5.3.44, 5.4.14,
                     5.5.11, 5.6.14, 5.8.11, 5.11.13, 5.12.12, 5.13.2, 5.13.7,
                     5.14 CR6 and CR11, 5.14.3, 5.15.10, 5.16.12, 5.17.4,
                     5.18.15, 5.20.2, 5.20.3, 5.20.11, AC-4.47, 7.1.48, 7.2.1,
                     7.2.25-7.2.27, 1.1 and 8.2; the functions as built
                     (tpc_biblio 0.1.0, tpc_hold 0.2.0, tpc_falcon 0.1.1,
                     the TPC tree of increment 9). Not declared: D185.1
                     keeps 0.2.0 proposed, and revision 6 carries it
                     whole.
  0.3.0  2026-09-27  Revision 6 of the tree, proposed as version 0.3.0
                     (D185.1 (a)). MINOR under major version zero
                     (0.1.4): rules added and amended, one rule
                     withdrawn (2.2.13's D variable of DIMENSION T1
                     exactly), no rule renumbered, no section another
                     artifact names removed. Built by pass 8 of the EOM
                     round under tpm_tps_thread_request 0.1.11 on the
                     page texts of revision 5 as imported (v15).
                     Carries: D176.1 the structure check with its switch
                     STRUCTURE_CHECK, the class on the STRUCTURE LINE,
                     the later test and the objective EOM-0 (1.1, 2.2.3,
                     2.2.6, 2.2.18, 2.2.20, 2.4.5, 2.4.7, 2.5.11,
                     2.5.12, 3.3.5, 3.3.16, 4.2.14, 5.1.14, 5.3.33,
                     5.3.47, 5.4.22, 5.5.2, 5.5.3, 5.5.12, 5.6.17,
                     5.8.3, 5.11.14, 5.12.13, 5.13.1, 5.16.6, AC-4.49,
                     7.1.54-7.1.56, 7.2.1, 7.2.5, 7.2.30, 8.2); D177.1
                     the D variable and D_VARIABLES (1.1, 2.2.3, 2.2.6,
                     2.2.13, 2.2.15, 2.5.11, 2.5.12, 5.1.14, 5.5.12,
                     5.12.13, 7.1.55, 7.2.5, 8.2); D178.1 with S48-S51
                     the environment modules: the interview, the MODULE
                     DECLARATIONS, MODULES USED and its re-expansion,
                     composition, the first catalogue and the
                     catalogue's lifecycle, a UWC's claims fixed at
                     inception (1.1, 3.4.10, 4.2.15, 4.2.16, 5.1.15,
                     5.1.16, 5.3.48, 5.5.14, 5.6.16, 5.11.15, 5.12.14,
                     5.13.2, 5.18.18, the new unit 5.22, AC-4.51,
                     7.1.59, 7.1.60, 7.2.31, 7.2.32, 8.2); S1 the closed
                     world (2.2.19, 5.5.13, AC-4.50); D179.1 the sense
                     of a boundary (1.1, 1.2.3, 2.2.6, 8.2); D180.3
                     initial and boundary values and the interim of SR3
                     and SR8 (2.2.21, 3.2.15, 4.2.13, 4.4.13, 5.1.15,
                     8.2); D181.2 the guard extensions deferred to the
                     sandboxes (2.2.16, 8.2); D182.1 the local prompt
                     (1.1, 4.2.12, 5.1.13, 5.3.45, 5.3.46,
                     5.4.15-5.4.21, 5.6.15, 5.8.12, 5.13.2, 5.14 CR11,
                     5.14.5, 5.14.6, 5.14.12, 5.15.11, 5.17.18, 5.18.16,
                     5.18.17, AC-1.23, AC-1.24, AC-2.30, AC-4.48,
                     AC-5.7, AC-5.14, AC-5.28, 7.1.49-7.1.53, 7.2.1,
                     7.2.28, 7.2.29, 8.2), its four values declared by
                     D189.1 (7.2.28) and D184.1's short implementation
                     noted (AC-1.24, 5.3.46); D183.1 the instruction
                     channel (1.1, AC-2.0, AC-2.1, 8.2); D186.1 with S14
                     and S15 the form bounds and the exponent bounds
                     (2.2.13, 2.2.15, 2.2.17, 2.5.12, 3.2.11, 5.1.15);
                     D190.1 TPC-PY placed by PRB (5.3.19, 5.4.9, 5.4.15,
                     5.4.16, AC-2.12, AC-2.29, AC-5.21, 7.1.57, 8.2);
                     D191.1 the survey pages fetched and served by TPX
                     (5.14.8, 5.19.2, 5.20.2, 5.20.11, 5.20.20, AC-4.45,
                     7.1.58, 8.2); the user's abbreviation directive of
                     2026-09-26 with S16 and S38 (1.1: DOF, IV, PMP and
                     PMP-TPM, the new block 1.1.E; the reading
                     conventions; the leads of the root and 1.1 pages);
                     the PATCH after revision 5 (tpm_tps_thread_request
                     0.1.10, 2.39): D175.1 (5.14 CR3), the bibliography
                     help pages linked (5.15.7, 5.15.10, the 5.15 and
                     5.21 pages, the Contents page), and 5.1.5 and
                     5.1.11 re-cut to the functions built; the ratchet
                     debt after revision 6 (4.2.15); TPS 0.1.1's
                     declaration (0.1.3 and every banner). The TPC tree
                     the text names is increment 10's (5.1.15). Declared
                     final by H-DECL on 2026-09-28, a version
                     declaration recorded in the foundations record
                     (0.1.3).
  0.4.0  2026-09-29  Revision 7 of the tree, proposed as version 0.4.0
                     (S88). MINOR under major version zero (0.1.4):
                     rules added and amended, OWED lines the pause's
                     answers settle closed (S98), no rule renumbered, no
                     section another artifact names removed. Built by
                     waves 4 and 5 of the post-TPC-PY round under
                     tpm_tps_thread_request 0.1.13 on the page texts of
                     revision 6 as the batch B1 left them (banners and
                     links only, D205.1). Carries: D192.2-D202.1 the
                     register's record forms: the record table with
                     GRADE beside STATUS, the withdrawal record, the
                     result's fields, CONDITIONS, the DOMAIN form,
                     declared forms and ROLE on records, the named-gap
                     record, the verification record, promotion and the
                     entry-status record, successors, with the wave 4
                     pause's items as the user took them on 2026-09-29,
                     D214.1, D215.2 and D218.1 (S105, S114) (1.1, 1.2.3,
                     2.1.3, 2.1.5, 2.3.3, 2.3.6, 2.3.7, 2.4.8, 2.4.10,
                     3.1.11, 3.1.15, 3.2.1, 3.2.2, 3.2.3, 3.2.5, 3.2.6,
                     3.2.7, 3.2.8, 3.2.9, 3.2.10, 3.2.12, 3.2.13,
                     3.2.14, 3.2.15, 3.2.16, 3.2.17, 3.2.18, 3.2.19,
                     3.2.20, 3.2.21, 3.3.1, 3.3.2, 3.3.3, 3.3.4, 3.3.5,
                     3.3.6, 3.3.7, 3.3.8, 3.3.11, 3.3.12, 3.3.13,
                     3.3.14, 3.3.15, 3.3.16, 3.3.17, 3.4.1, 3.4.2,
                     3.4.3, 3.4.6, 3.4.7, 3.4.8, 4.1.6, 4.1.9, 4.2,
                     4.2.13, 4.2.14, 4.2.17, 4.2.18, 4.4.1, 4.4.3,
                     4.4.4, 4.4.8, 4.4.9, 4.4.13, 4.6.1, 4.6.2, 5.1.14,
                     5.3.47, 5.3.49, 5.4.7, 5.4.22, 5.4.23, 5.5.4,
                     5.5.6, 5.8.4, 5.9.6, 5.9.7, 5.9.13, 5.12.13,
                     5.12.15, 5.14.3, 5.17.5, 5.17.9, 5.21.10, 5.21.20,
                     7.1.56, 7.1.61, AC-4.23, AC-4.25, AC-4.31, AC-4.32,
                     AC-4.35, AC-4.49, AC-4.52); D203.1 the TPS digest
                     D(TPS), D(IS)'s ordered field list and PRB's
                     recomputation (0.1.5, 1.1, 1.2.2, 5.4.15, 5.6.2,
                     5.6.7, 5.6.11, 5.11.2, 5.14 CR9); D204.1 the
                     RELEASE digest's form number "2" (3.3.12); D206.1,
                     D207.1 (c), D208.1 and D209.1 with S98 the diagram
                     renderers, page addressing, the rights
                     configuration and the promotion's condition hook
                     (5.2.4, 5.2.6, 5.4.13, 5.14.10, 5.15.5); D211.1
                     served pages for every FALCON CLASS (1.1, 5.20.2,
                     5.20.11, 7.1.58); D213.1 with S79 the output
                     schema's digest and FS1's refusal (5.20.2); S85 and
                     the corrections owed after revision 6 (C-HF-6 to
                     C-HF-8) (5.19.8, 5.19.9, 5.20.2, 5.20.12);
                     increment 11's couplings (2.2.15, 3.2.11, 3.3.15,
                     5.1.5, 5.1.11); TPC's increments 11 and 12
                     (5.1.17); TPS 0.3.0's declaration (0.1.3 and every
                     banner). The TPC tree the text names is increment
                     12's (5.1.17). Declared final by H-DECL on
                     2026-09-30, naming TPS_0.4.0.txt by its file digest
                     and its D(TPS), a version declaration recorded in
                     the foundations record (0.1.3).
  0.5.0  2026-09-30  Revision 8 of the tree, proposed as version 0.5.0
                     (S156). MINOR under major version zero (0.1.4):
                     rules added and amended, no rule renumbered or
                     withdrawn, no section another artifact names
                     removed. Built by wave 6 of the post-TPC-PY round
                     under tpm_tps_thread_request 0.1.15 on the page
                     texts of revision 7 as batch B2 imported them.
                     Carries: D216.1 the ordered list [title, h] of the
                     kept pages, which TPX publishes beside D(TPS) and
                     D(IS), tps_pages in TPC and PRB's report of the
                     differing pages on a mismatch (5.1.18, 5.4.15,
                     5.11, 5.11.16, 5.14, 5.14 CR9); D224.1 accounts
                     made by an administrator, write by approval into
                     'approved', and the CAPTCHA on badlogin only (1.1,
                     5.2, 5.2.5, 5.2.7, 5.3.27, 5.14.12, 7.1.32, 7.2.1,
                     7.2.19); D228.1 PRB's key on this wiki, a bot
                     password (5.4.2); O-RS-2 who writes a PARROT's
                     corroboration record and names its TARGET (3.1.11,
                     3.2.18, 3.3.4, 3.3.16, 5.3.25, 5.9.6, 5.9.11,
                     AC-4.23); TPS 0.4.0's and TPC-PY's declarations
                     (0.1.3, 5.1.15, 5.1.17 and every banner); 8.2's
                     BASIS lines for D216.1, D224.1 and D228.1. The TPC
                     tree the text names is increment 13's (5.1.18),
                     proposed. 0.5.0 is declared by H-DECL, a version
                     declaration recorded in the foundations record
                     (0.1.3).
</pre>

[[Category:The Principia Machina]]