The Principia Machina/Testing/M3 TPX, the smallest server - Revision history

BFP Rauch: Edited under the disclosure rule

2026-10-13T07:00:45Z

Edited under the disclosure rule

← Older revision		Revision as of 07:00, 13 October 2026
Line 15:		Line 15:
	* '''MediaWiki 1.46.2 and PHP 8.4.26''', live on 2026-10-03 (1.46.1 was tried and rejected: it broke page saves).		* '''MediaWiki 1.46.2 and PHP 8.4.26''', live on 2026-10-03 (1.46.1 was tried and rejected: it broke page saves).
	* '''OB3, the import-behaviour test, re-run''' on 2026-10-03 at 23:31 UTC against the new version, on throwaway test pages that stay: of four hypotheses, H1 (a duplicate revision is skipped) failed, as it had on 1.45.4, and is covered by the rule that a completed import is never re-run; H2 (an older revision enters history only), H3 (a move saves a null revision and leaves redirects) and H4 (every import adds a null revision) held. The build constraint for imports stands: move, then stamp every revision later than the target's latest, then import.		* '''OB3, the import-behaviour test, re-run''' on 2026-10-03 at 23:31 UTC against the new version, on throwaway test pages that stay: of four hypotheses, H1 (a duplicate revision is skipped) failed, as it had on 1.45.4, and is covered by the rule that a completed import is never re-run; H2 (an older revision enters history only), H3 (a move saves a null revision and leaves redirects) and H4 (every import adds a null revision) held. The build constraint for imports stands: move, then stamp every revision later than the target's latest, then import.
	* '''The three declarations''' of 2026-10-03, in order: TPS 0.5.0 declared final at revision 8; TPC-PY 0.3.0 declared, conformed to TPS 0.5.0, after its Windows check passed; ~~PMP-TPM~~ 0.16.0 installed. None created a chain page; the genesis was written by TPX at the first landing.		* '''The three declarations''' of 2026-10-03, in order: TPS 0.5.0 declared final at revision 8; TPC-PY 0.3.0 declared, conformed to TPS 0.5.0, after its Windows check passed; the project instruction set 0.16.0 installed. None created a chain page; the genesis was written by TPX at the first landing.
	* '''TPX part 1''', the gate (versions 0.1.0 to 0.3.0, live from 2026-10-01): Special:TpmCheck and the operation CHECK, tested in the M0 sessions.		* '''TPX part 1''', the gate (versions 0.1.0 to 0.3.0, live from 2026-10-01): Special:TpmCheck and the operation CHECK, tested in the M0 sessions.
	* '''The server address''' set to https on 2026-10-05 (D207, step 1).		* '''The server address''' set to https on 2026-10-05 (D207, step 1).
Line 27:		Line 27:
	D1 [label="TPS 0.5.0\ndeclared final\n2026-10-03", fillcolor="#cef2e0"];		D1 [label="TPS 0.5.0\ndeclared final\n2026-10-03", fillcolor="#cef2e0"];
	D2 [label="TPC-PY 0.3.0\ndeclared\n2026-10-03", fillcolor="#cef2e0"];		D2 [label="TPC-PY 0.3.0\ndeclared\n2026-10-03", fillcolor="#cef2e0"];
	D3 [label="~~PMP-TPM~~ 0.16.0\ninstalled\n2026-10-03", fillcolor="#cef2e0"];		D3 [label="the project instruction set 0.16.0\ninstalled\n2026-10-03", fillcolor="#cef2e0"];
	G [label="TPX part 1\nthe gate\nlive 2026-10-01", fillcolor="#cef2e0"];		G [label="TPX part 1\nthe gate\nlive 2026-10-01", fillcolor="#cef2e0"];
	A1 [label="TPX 0.4.0 (A1)\nthe first landing writes\nthe genesis line\n2026-10-04", fillcolor="#cedff2"];		A1 [label="TPX 0.4.0 (A1)\nthe first landing writes\nthe genesis line\n2026-10-04", fillcolor="#cedff2"];

DeltaS Zero: status batch 0.1.4 (tpm_closeout_m1etc 0.1.0): O-4 DISCHARGED 2026-10-08

2026-10-08T11:32:46Z

status batch 0.1.4 (tpm_closeout_m1etc 0.1.0): O-4 DISCHARGED 2026-10-08

← Older revision		Revision as of 11:32, 8 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Testing M3: TPX, the smallest server that does what the sandbox does}}		{{DISPLAYTITLE:Testing M3: TPX, the smallest server that does what the sandbox does}}
	''Phase M3 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: ACCEPTED WITH OBLIGATIONS 2026-10-05, with M1 and M2, as Step A. TPX 0.4.0 went live on 2026-10-04 (the A1 deploy, accepted the same day) and 0.5.0 on 2026-10-05 (A2). The first UWC on the live wiki, SPR, was declared on 2026-10-04. Two of the plan's criteria were unmet at the acceptance and are the obligations O-4 and O-5 on [[The Principia Machina/Testing/Obligations\|Obligations]].''		''Phase M3 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: ACCEPTED WITH OBLIGATIONS 2026-10-05, with M1 and M2, as Step A. TPX 0.4.0 went live on 2026-10-04 (the A1 deploy, accepted the same day) and 0.5.0 on 2026-10-05 (A2). The first UWC on the live wiki, SPR, was declared on 2026-10-04. Two of the plan's criteria were unmet at the acceptance and are the obligations O-4 and O-5 on [[The Principia Machina/Testing/Obligations\|Obligations]]; O-4 was discharged on 2026-10-08 (session 1's UWC replayed on RP1), and the phase becomes PASSED when O-5 is.''

	== Objective ==		== Objective ==
Line 114:		Line 114:
	\| Digests and grades byte-identical with the sandbox \|\| Held for the spring example in the workspace gates and on the live wiki (the same D(TFK) from all three). '''Wording SUPERSEDED by the plan's version 0.3.0''': a record's DIGEST covers LANDED, a server time, so two landings of one record can never digest alike; the criterion is read as the REPLAY DIGEST, the digest recomputed with BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN, TPS and D_IS set to fixed values in both copies, with the grades and the author-written fields compared as written.		\| Digests and grades byte-identical with the sandbox \|\| Held for the spring example in the workspace gates and on the live wiki (the same D(TFK) from all three). '''Wording SUPERSEDED by the plan's version 0.3.0''': a record's DIGEST covers LANDED, a server time, so two landings of one record can never digest alike; the criterion is read as the REPLAY DIGEST, the digest recomputed with BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN, TPS and D_IS set to fixed values in both copies, with the grades and the author-written fields compared as written.
	\|-		\|-
	\| Replay of every sandbox command the M0 sessions ran \|\| '''Obligation O-4.''' ~~Not~~ run against the live wiki on 2026-10-05: the M0 session's own UWC was not replayed; the delivered outside checks were read-only. The A3 closeout runner (tpx_a3_closeout.py, --replay) replays the session 1 sandbox UWC: the operator declares a replay UWC from the same draft (prefix RP1; one per distinct D(TFK)), the runner pushes the UWC's blocks in their order and compares each record's REPLAY DIGEST, grade and fields and each TPX-written record with the sandbox's. Discharged when the runner's report shows them equal.		\| Replay of every sandbox command the M0 sessions ran \|\| '''Obligation O-4, DISCHARGED 2026-10-08.''' On 2026-10-07 the operator declared RP1 from session 1's PEN draft and the A3 closeout runner replayed that UWC on it: D(TFK) equal (dfec1dcc...), 2 pushes and 0 withdrawals replayed, 6 of 6 records equal (REPLAY DIGEST, grade and author-written fields), the grades now equal; session 1's 15 gate checks were then replayed against the live gate, equal 15 of 15. The two runs not replayed live are refusals that write nothing: the declaration without its confirmation, and an out-of-sequence push. The plan before the run: not run against the live wiki on 2026-10-05: the M0 session's own UWC was not replayed; the delivered outside checks were read-only. The A3 closeout runner (tpx_a3_closeout.py, --replay) replays the session 1 sandbox UWC: the operator declares a replay UWC from the same draft (prefix RP1; one per distinct D(TFK)), the runner pushes the UWC's blocks in their order and compares each record's REPLAY DIGEST, grade and fields and each TPX-written record with the sandbox's. Discharged when the runner's report shows them equal.
	\|-		\|-
	\| The tester's new scenarios find no S1 \|\| Two outside sessions (A1, A2) and the builder's recheck: no S1; the findings filed are cosmetic or display-only. The lock by base-revision edit, the queue and the window (D-LOCK, owed from the same pass) are '''obligation O-5''': built as B1 increment 1 (gated 2026-10-06), discharged by M4's criterion (iii).		\| The tester's new scenarios find no S1 \|\| Two outside sessions (A1, A2) and the builder's recheck: no S1; the findings filed are cosmetic or display-only. The lock by base-revision edit, the queue and the window (D-LOCK, owed from the same pass) are '''obligation O-5''': built as B1 increment 1 (gated 2026-10-06), discharged by M4's criterion (iii).
Line 120:		Line 120:

	<graphviz>		<graphviz>
	// M3 on 2026-10-06.		// M3 on 2026-10-08.
	digraph m3status {		digraph m3status {
	rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d"];		rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d"];
Line 126:		Line 126:
	A [label="LIVE\nthe forms, the declaration,\nthe genesis, the landing API,\nthe register duties", fillcolor="#cef2e0"];		A [label="LIVE\nthe forms, the declaration,\nthe genesis, the landing API,\nthe register duties", fillcolor="#cef2e0"];
	B [label="BYTE-IDENTICAL\nthe spring: sandbox,\nworkspace and live agree", fillcolor="#cef2e0"];		B [label="BYTE-IDENTICAL\nthe spring: sandbox,\nworkspace and live agree", fillcolor="#cef2e0"];
	C [label="~~OBLIGATION~~ O-4\nthe session 1 UWC replayed\~~nagainst live TPX~~: ~~the A3 runner~~,\~~nREPLAY DIGEST~~ equal", fillcolor="#~~ffedad", style="filled,dashed~~"];		C [label="O-4 DISCHARGED 10-08\nthe session 1 UWC replayed\non RP1: 6 of 6 records equal,\n15 of 15 gate checks equal", fillcolor="#cef2e0"];
	D [label="OBLIGATION O-5\nthe lock by base-revision edit,\nthe queue and the window:\nB1 inc 1, live at M4 (iii)", fillcolor="#ffedad", style="filled,dashed"];		D [label="OBLIGATION O-5\nthe lock by base-revision edit,\nthe queue and the window:\nB1 inc 1, live at M4 (iii)", fillcolor="#ffedad", style="filled,dashed"];
	M3 -> A; M3 -> B; M3 -> C; M3 -> D;		M3 -> A; M3 -> B; M3 -> C; M3 -> D;
Line 135:		Line 135:

	[[Category:The Principia Machina]]		[[Category:The Principia Machina]]

BFP Rauch: 1 revision imported

2026-10-07T13:23:21Z

1 revision imported

← Older revision		Revision as of 13:23, 7 October 2026
(No difference)

DeltaS Zero: M3: ACCEPTED WITH OBLIGATIONS; O-4 (the replay, REPLAY DIGEST), O-5 (the lock) (tpm_status 0.1.3)

2026-10-07T13:22:32Z

M3: ACCEPTED WITH OBLIGATIONS; O-4 (the replay, REPLAY DIGEST), O-5 (the lock) (tpm_status 0.1.3)

← Older revision		Revision as of 13:22, 7 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Testing M3: TPX, the smallest server that does what the sandbox does}}		{{DISPLAYTITLE:Testing M3: TPX, the smallest server that does what the sandbox does}}
	''Phase M3 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: ~~accepted~~ 2026-10-05, with M1 and M2, as Step A. TPX 0.4.0 went live on 2026-10-04 (the A1 deploy, accepted the same day) and 0.5.0 on 2026-10-05 (A2). The first UWC on the live wiki, SPR, was declared on 2026-10-04.''		''Phase M3 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: ACCEPTED WITH OBLIGATIONS 2026-10-05, with M1 and M2, as Step A. TPX 0.4.0 went live on 2026-10-04 (the A1 deploy, accepted the same day) and 0.5.0 on 2026-10-05 (A2). The first UWC on the live wiki, SPR, was declared on 2026-10-04. Two of the plan's criteria were unmet at the acceptance and are the obligations O-4 and O-5 on [[The Principia Machina/Testing/Obligations\|Obligations]].''

	== Objective ==		== Objective ==
Line 85:		Line 85:
	'''The first UWC on the live wiki.''' On 2026-10-04 the operator pasted the spring draft into Special:TpmNewUwc (prefix SPR, ACCESS POLICY OPEN; the gate answered CANDIDATE, structurally regular, D(TFK) 46db0af2...) and declared it at Special:TpmDeclare at 19:39 UTC. That one act wrote the MASTER record SPR-1, Register Volume 1, the control pages, the genesis line (TPS 0.5.0 and its D(TPS)), the three declaration lines and the first build-chain line. The gate had already passed this draft in M0; the same D(TFK) came out of the sandbox, the workspace and the live server.		'''The first UWC on the live wiki.''' On 2026-10-04 the operator pasted the spring draft into Special:TpmNewUwc (prefix SPR, ACCESS POLICY OPEN; the gate answered CANDIDATE, structurally regular, D(TFK) 46db0af2...) and declared it at Special:TpmDeclare at 19:39 UTC. That one act wrote the MASTER record SPR-1, Register Volume 1, the control pages, the genesis line (TPS 0.5.0 and its D(TPS)), the three declaration lines and the first build-chain line. The gate had already passed this draft in M0; the same D(TFK) came out of the sandbox, the workspace and the live server.

	'''The three tests of A1''' (2026-10-04): the operator's script (sign in; STATUS; a push with a bad identifier refused; push_1 lands SPR-2, SPR-3 and SPR-4 as PROVISIONAL; the four records read back with their envelope; four digests recomputed through TPCRUN; STATUS after) – PASS; the outside AI (Gemini, read-only, 21:24 UTC): the state, the four records, four digests recomputed, the versions and D(IS), the genesis and the declaration lines with their links intact – PASS, clean; and the operator's word, "A1 accepted".		'''The three tests of A1''' (2026-10-04): the operator's script, written by the builder (sign in; STATUS; a push with a bad identifier refused; push_1 lands SPR-2, SPR-3 and SPR-4 as PROVISIONAL; the four records read back with their envelope; four digests recomputed through TPCRUN; STATUS after) – PASS; the outside AI (Gemini, read-only, 21:24 UTC): the state, the four records, four digests recomputed, the versions and D(IS), the genesis and the declaration lines with their links intact – PASS, clean; and the operator's word, "A1 accepted".

	'''The three tests of A2''' (2026-10-05): on [[The Principia Machina/Testing/M1 The register duties\|M1]] and [[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]].		'''The three tests of A2''' (2026-10-05): on [[The Principia Machina/Testing/M1 The register duties\|M1]] and [[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]].
Line 112:		Line 112:
	\| The new-UWC form, the declaration form, the landing API \|\| Live since 2026-10-04 (TPX 0.4.0); the register duties since 2026-10-05 (0.5.0).		\| The new-UWC form, the declaration form, the landing API \|\| Live since 2026-10-04 (TPX 0.4.0); the register duties since 2026-10-05 (0.5.0).
	\|-		\|-
	\| Digests and grades byte-identical with the sandbox \|\| Held for the spring example in the workspace gates and on the live wiki (the same D(TFK) from all three).		\| Digests and grades byte-identical with the sandbox \|\| Held for the spring example in the workspace gates and on the live wiki (the same D(TFK) from all three). '''Wording SUPERSEDED by the plan's version 0.3.0''': a record's DIGEST covers LANDED, a server time, so two landings of one record can never digest alike; the criterion is read as the REPLAY DIGEST, the digest recomputed with BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN, TPS and D_IS set to fixed values in both copies, with the grades and the author-written fields compared as written.
	\|-		\|-
	\| Replay of every sandbox command the M0 sessions ran \|\| Not run against the live wiki: the M0 ~~sessions~~' own ~~logs were~~ not replayed; the delivered outside checks were read-only. The ~~example~~ the ~~sessions and~~ the ~~gates share~~ (the ~~spring) is~~ the ~~replayed case~~.		\| Replay of every sandbox command the M0 sessions ran \|\| '''Obligation O-4.''' Not run against the live wiki on 2026-10-05: the M0 session's own UWC was not replayed; the delivered outside checks were read-only. The A3 closeout runner (tpx_a3_closeout.py, --replay) replays the session 1 sandbox UWC: the operator declares a replay UWC from the same draft (prefix RP1; one per distinct D(TFK)), the runner pushes the UWC's blocks in their order and compares each record's REPLAY DIGEST, grade and fields and each TPX-written record with the sandbox's. Discharged when the runner's report shows them equal.
	\|-		\|-
	\| The tester's new scenarios find no S1 \|\| Two outside sessions (A1, A2) and the builder's recheck: no S1; the findings filed are cosmetic or display-only.		\| The tester's new scenarios find no S1 \|\| Two outside sessions (A1, A2) and the builder's recheck: no S1; the findings filed are cosmetic or display-only. The lock by base-revision edit, the queue and the window (D-LOCK, owed from the same pass) are '''obligation O-5''': built as B1 increment 1 (gated 2026-10-06), discharged by M4's criterion (iii).
	\|}		\|}

	<graphviz>		<graphviz>
	// M3 on 2026-10-05.		// M3 on 2026-10-06.
	digraph m3status {		digraph m3status {
	rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d"];		rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d"];
Line 126:		Line 126:
	A [label="LIVE\nthe forms, the declaration,\nthe genesis, the landing API,\nthe register duties", fillcolor="#cef2e0"];		A [label="LIVE\nthe forms, the declaration,\nthe genesis, the landing API,\nthe register duties", fillcolor="#cef2e0"];
	B [label="BYTE-IDENTICAL\nthe spring: sandbox,\nworkspace and live agree", fillcolor="#cef2e0"];		B [label="BYTE-IDENTICAL\nthe spring: sandbox,\nworkspace and live agree", fillcolor="#cef2e0"];
	C [label="~~NOT RUN~~\~~nreplay of the M0 sessions'~~\~~nown logs against~~ live TPX", fillcolor="#ffedad", style="filled,dashed"];		C [label="OBLIGATION O-4\nthe session 1 UWC replayed\nagainst live TPX: the A3 runner,\nREPLAY DIGEST equal", fillcolor="#ffedad", style="filled,dashed"];
	D [label="~~OWED FROM THE SAME PASS~~\nthe lock by ~~save hook~~ and\~~nmulti-agent queueing~~ (~~D-LOCK~~)", fillcolor="#~~eaecf0~~", style="filled,dashed"];		D [label="OBLIGATION O-5\nthe lock by base-revision edit,\nthe queue and the window:\nB1 inc 1, live at M4 (iii)", fillcolor="#ffedad", style="filled,dashed"];
	M3 -> A; M3 -> B; M3 -> C; M3 -> D;		M3 -> A; M3 -> B; M3 -> C; M3 -> D;
	}		}

DeltaS Zero: M3: the diagrams re-laid out to fit the content column (tpm_testing 0.1.1)

2026-10-06T00:47:54Z

M3: the diagrams re-laid out to fit the content column (tpm_testing 0.1.1)

← Older revision	Revision as of 00:47, 6 October 2026
(No difference)

BFP Rauch: 1 revision imported

2026-10-06T00:47:34Z

1 revision imported

← Older revision		Revision as of 00:47, 6 October 2026
Line 51:		Line 51:
	// TPX versions on the live wiki, 2026-10-01 to 2026-10-05.		// TPX versions on the live wiki, 2026-10-01 to 2026-10-05.
	digraph versions {		digraph versions {
	rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	V1 [label="0.1.0\n2026-10-01\nthe gate on the site"];		V1 [label="0.1.0\n2026-10-01\nthe gate on the site"];
	V3 [label="0.3.0\nlive by 2026-10-02\nsign-up question,\naccount mails, groups"];		V3 [label="0.3.0\nlive by 2026-10-02\nsign-up question,\naccount mails, groups"];
Line 67:		Line 67:
	// One deploy, as tpx_deploy.py runs it on the operator's computer.		// One deploy, as tpx_deploy.py runs it on the operator's computer.
	digraph deploy {		digraph deploy {
	rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	D0 [label="D0 verify the\nrelease tree's digest"];		D0 [label="D0 verify the\nrelease tree's digest"];
	D1 [label="D1 read the site:\nMediaWiki, PHP, TPX"];		D1 [label="D1 read the site:\nMediaWiki, PHP, TPX"];

BFP Rauch: 1 revision imported

2026-10-06T00:26:43Z

1 revision imported

← Older revision	Revision as of 00:26, 6 October 2026
(No difference)

DeltaS Zero: M3: TPX, the smallest server that does what the sandbox does; the gate, the landing API, SPR; accepted 2026-10-05 with Step A (tpm_testing 0.1.0)

2026-10-06T00:26:37Z

M3: TPX, the smallest server that does what the sandbox does; the gate, the landing API, SPR; accepted 2026-10-05 with Step A (tpm_testing 0.1.0)

New page

{{TPM map}}
{{DISPLAYTITLE:Testing M3: TPX, the smallest server that does what the sandbox does}}
''Phase M3 of [[The Principia Machina/Testing|Testing the Principia Machina]]. State: accepted 2026-10-05, with M1 and M2, as Step A. TPX 0.4.0 went live on 2026-10-04 (the A1 deploy, accepted the same day) and 0.5.0 on 2026-10-05 (A2). The first UWC on the live wiki, SPR, was declared on 2026-10-04.''

== Objective ==

The plan (tpm_third_party_plan 0.2.0, section 4) states M3 as ''TPX, the smallest server that does what the sandbox does'': first the host's upgrade to PHP 8.4 and MediaWiki 1.46, then a TPX skeleton – the new-UWC form, the declaration form, the landing API – whose logic is the sandbox's ported to PHP over the server's calculator, and nothing else from the full build list.

The plan's test is a DIFFERENTIAL: every sandbox command the earlier sessions ran is replayed against both the sandbox and TPX; digests and grades must be byte-identical; the tester adds scenarios. Accept when the replayed scenarios agree byte for byte and the tester's new scenarios find no S1.

The plan put M3 on a rehearsal wiki. Decision D238.1 (2026-10-03) put it on the live wiki instead, with the three declarations before the first landing and the first landing writing the genesis of the chains.

== Prerequisites ==

* '''MediaWiki 1.46.2 and PHP 8.4.26''', live on 2026-10-03 (1.46.1 was tried and rejected: it broke page saves).
* '''OB3, the import-behaviour test, re-run''' on 2026-10-03 at 23:31 UTC against the new version, on throwaway test pages that stay: of four hypotheses, H1 (a duplicate revision is skipped) failed, as it had on 1.45.4, and is covered by the rule that a completed import is never re-run; H2 (an older revision enters history only), H3 (a move saves a null revision and leaves redirects) and H4 (every import adds a null revision) held. The build constraint for imports stands: move, then stamp every revision later than the target's latest, then import.
* '''The three declarations''' of 2026-10-03, in order: TPS 0.5.0 declared final at revision 8; TPC-PY 0.3.0 declared, conformed to TPS 0.5.0, after its Windows check passed; PMP-TPM 0.16.0 installed. None created a chain page; the genesis was written by TPX at the first landing.
* '''TPX part 1''', the gate (versions 0.1.0 to 0.3.0, live from 2026-10-01): Special:TpmCheck and the operation CHECK, tested in the M0 sessions.
* '''The server address''' set to https on 2026-10-05 (D207, step 1).

<graphviz>
// What had to be in place before TPX could land a record.
digraph prereq {
rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
MW [label="MediaWiki 1.46.2\nPHP 8.4.26\n2026-10-03", fillcolor="#cef2e0"];
OB [label="OB3 re-run\nH1 failed (as before)\nH2, H3, H4 held\n2026-10-03 23:31", fillcolor="#cef2e0"];
D1 [label="TPS 0.5.0\ndeclared final\n2026-10-03", fillcolor="#cef2e0"];
D2 [label="TPC-PY 0.3.0\ndeclared\n2026-10-03", fillcolor="#cef2e0"];
D3 [label="PMP-TPM 0.16.0\ninstalled\n2026-10-03", fillcolor="#cef2e0"];
G [label="TPX part 1\nthe gate\nlive 2026-10-01", fillcolor="#cef2e0"];
A1 [label="TPX 0.4.0 (A1)\nthe first landing writes\nthe genesis line\n2026-10-04", fillcolor="#cedff2"];
MW -> OB -> A1; D1 -> D2 -> D3 -> A1; G -> A1;
}
</graphviz>

== What was built ==

TPX grew in four live versions. The gate's code (Gate::VERSION 0.3.0) is unchanged through all of them.

{| class="wikitable"
! Version !! Live (UTC) !! What it carries
|-
| 0.1.0 to 0.3.0 || 2026-10-01 || Part 1, the gate: Special:TpmCheck and op CHECK; the TFK template box; the sign-up question and the account mails; the groups tpm-sponsored and tpm-certified
|-
| 0.4.0 (A1) || 2026-10-04 || Part 2, the landing API: the Recorder (the sandbox's new, declare and push ported to PHP), the store (TPX writes as the system user TPX; the DECLARATIONS as the declaring account), the operations NEWUWC, PETITION, POLL, HEARTBEAT, RELEASE, PUSH, RETURN, STATUS and TPCRUN; Special:TpmNewUwc and Special:TpmDeclare; instantiation (MASTER, gaps, Register Volume 1, control panel, lock, collaboration, access list, library, manifest, badge last); the genesis, the three declaration lines and the first build-chain line at the first declaration
|-
| 0.5.0 (A2) || 2026-10-05 01:42 || The register duties of [[The Principia Machina/Testing/M1 The register duties|M1]]: the screen, strikes and gaps, audit blocks, withdrawals, promotion, verification, the reading views
|}

<graphviz>
// TPX versions on the live wiki, 2026-10-01 to 2026-10-05.
digraph versions {
rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
V1 [label="0.1.0\n2026-10-01\nthe gate on the site"];
V3 [label="0.3.0\nlive by 2026-10-02\nsign-up question,\naccount mails, groups"];
V4 [label="0.4.0 A1\n2026-10-04\nthe landing API\ntree 39077f28...", fillcolor="#cedff2"];
V5 [label="0.5.0 A2\n2026-10-05 01:42\nthe register duties\ntree 16a1e1a2...", fillcolor="#cef2e0"];
N [label="0.5.x\nF-VIEW-1, F-STATUS-1,\nF-TPCRUN-1", style="filled,dashed"];
V1 -> V3 -> V4 -> V5 -> N;
V4 -> V4 [label="A1 accepted\n2026-10-04"]; V5 -> V5 [label="A2 accepted\n2026-10-05"];
}
</graphviz>

Each deploy is one command on the operator's computer, tpx_deploy.py, which verifies the release tree's digest, checks the site's versions, moves the previous TPX aside (nothing is deleted), copies the new one, and runs its live tests T0 to T10 (eight counted): the site answers; Special:TpmCheck answers; a sound draft passes the gate with the expected D(TFK); a draft with mistakes is refused; text that is not JSON is unreadable; the template box; the template passes; the sign-up question is asked. Both Step A deploys printed 8 of 8.

<graphviz>
// One deploy, as tpx_deploy.py runs it on the operator's computer.
digraph deploy {
rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
D0 [label="D0 verify the\nrelease tree's digest"];
D1 [label="D1 read the site:\nMediaWiki, PHP, TPX"];
D2 [label="move the previous TPX\naside (kept, not deleted)"];
D3 [label="copy the new TPX\nLocalSettings unchanged"];
T [label="live tests T0 .. T10\n8 counted: PASS 8 of 8", fillcolor="#cef2e0"];
R [label="RESULT: TPX x.y.z IS LIVE\nthe deploy log, kept"];
U [label="undo: the previous\ntree put back", style="filled,dashed"];
D0 -> D1 -> D2 -> D3 -> T -> R; T -> U [label="on a fault", style=dashed];
}
</graphviz>

== How it was tested ==

'''The differential, in the workspace.''' Before each deploy the Recorder was run in a workspace against the real server calculator and compared, field by field, with the sandbox's register for the same inputs (the spring example): the candidate certificate's D(TFK) equal to the sandbox's and, after the declaration, to the live SPR's; A1's gate 21 of 21 (rebuilt 27 of 27 after its workspace was lost; 25 of 25 with the A2 flag); A2's gates 123 of 123, with a parity run of 648 cases in which TPC-PY re-derived every strike, grade and digest TPX had produced.

'''The first UWC on the live wiki.''' On 2026-10-04 the operator pasted the spring draft into Special:TpmNewUwc (prefix SPR, ACCESS POLICY OPEN; the gate answered CANDIDATE, structurally regular, D(TFK) 46db0af2...) and declared it at Special:TpmDeclare at 19:39 UTC. That one act wrote the MASTER record SPR-1, Register Volume 1, the control pages, the genesis line (TPS 0.5.0 and its D(TPS)), the three declaration lines and the first build-chain line. The gate had already passed this draft in M0; the same D(TFK) came out of the sandbox, the workspace and the live server.

'''The three tests of A1''' (2026-10-04): the operator's script (sign in; STATUS; a push with a bad identifier refused; push_1 lands SPR-2, SPR-3 and SPR-4 as PROVISIONAL; the four records read back with their envelope; four digests recomputed through TPCRUN; STATUS after) – PASS; the outside AI (Gemini, read-only, 21:24 UTC): the state, the four records, four digests recomputed, the versions and D(IS), the genesis and the declaration lines with their links intact – PASS, clean; and the operator's word, "A1 accepted".

'''The three tests of A2''' (2026-10-05): on [[The Principia Machina/Testing/M1 The register duties|M1]] and [[The Principia Machina/Testing/Step A, the deploys A1 and A2|Step A]].

<graphviz>
// The differential: the same inputs through three implementations, the same digests out.
digraph differential {
rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
IN [label="the spring draft\nand its pushes\n(the same inputs)", fillcolor="#ffedad"];
SB [label="tpm_sandbox.py\n+ TPC-PY\n(M0, a tester's computer)"];
WS [label="the Recorder in a workspace\n+ TPC-PHP\n(the gates: 21, 123; parity 648)"];
LV [label="TPX on invarians.org\n+ TPC-PHP\n(SPR, the record)", shape=box3d];
OUT [label="D(TFK) 46db0af2...\nthe same record digests\nthe same grades", fillcolor="#cef2e0"];
IN -> SB -> OUT; IN -> WS -> OUT; IN -> LV -> OUT;
OUT -> OUT [label="byte-identical", style=dashed];
}
</graphviz>

== Results against the plan ==

{| class="wikitable"
! Plan item !! Where it stands
|-
| The upgrade first || Done on the live wiki (D238.1 put it there rather than on a rehearsal install): MediaWiki 1.46.2, OB3 re-run.
|-
| The new-UWC form, the declaration form, the landing API || Live since 2026-10-04 (TPX 0.4.0); the register duties since 2026-10-05 (0.5.0).
|-
| Digests and grades byte-identical with the sandbox || Held for the spring example in the workspace gates and on the live wiki (the same D(TFK) from all three).
|-
| Replay of every sandbox command the M0 sessions ran || Not run against the live wiki: the M0 sessions' own logs were not replayed; the delivered outside checks were read-only. The example the sessions and the gates share (the spring) is the replayed case.
|-
| The tester's new scenarios find no S1 || Two outside sessions (A1, A2) and the builder's recheck: no S1; the findings filed are cosmetic or display-only.
|}

<graphviz>
// M3 on 2026-10-05.
digraph m3status {
rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d"];
M3 [label="M3\nTPX, the smallest server", fontsize=10, fillcolor="#eaecf0"];
A [label="LIVE\nthe forms, the declaration,\nthe genesis, the landing API,\nthe register duties", fillcolor="#cef2e0"];
B [label="BYTE-IDENTICAL\nthe spring: sandbox,\nworkspace and live agree", fillcolor="#cef2e0"];
C [label="NOT RUN\nreplay of the M0 sessions'\nown logs against live TPX", fillcolor="#ffedad", style="filled,dashed"];
D [label="OWED FROM THE SAME PASS\nthe lock by save hook and\nmulti-agent queueing (D-LOCK)", fillcolor="#eaecf0", style="filled,dashed"];
M3 -> A; M3 -> B; M3 -> C; M3 -> D;
}
</graphviz>

Previous: [[The Principia Machina/Testing/M2 The calculator from the specification|M2]]. Next: [[The Principia Machina/Testing/M4 PRB, the smallest client|M4]]. The deploy record: [[The Principia Machina/Testing/Step A, the deploys A1 and A2|Step A]]. Back to [[The Principia Machina/Testing|Testing the Principia Machina]].

[[Category:The Principia Machina]]