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 TPS and 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 contents page is the map.
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).