The Principia Machina/Testing - Revision history

DeltaS Zero: B1 PASSED: M4 and M3 passed on 2026-10-08; O-1 and O-5 discharged; O-6 open for M1 (second approver: TBD)

2026-10-09T06:55:17Z

B1 PASSED: M4 and M3 passed on 2026-10-08; O-1 and O-5 discharged; O-6 open for M1 (second approver: TBD)

DeltaS Zero: status batch 0.1.4 (tpm_closeout_m1etc 0.1.0): status as of 2026-10-08: M2 PASSED; O-2, O-4 discharged; B1 increments 4 and 5

2026-10-08T11:32:51Z

status batch 0.1.4 (tpm_closeout_m1etc 0.1.0): status as of 2026-10-08: M2 PASSED; O-2, O-4 discharged; B1 increments 4 and 5

← Older revision		Revision as of 11:32, 8 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Testing the Principia Machina}}		{{DISPLAYTITLE:Testing the Principia Machina}}
	''Round 3, Phase 2. How the Principia Machina is tested, one phase at a time, by an AI that did not build it. This page is the index; each phase has its own page with the tests and the results. Status as of 2026-10-06 (UTC): M0 PASSED; M1~~, M2~~ and M3 ACCEPTED WITH OBLIGATIONS; M4 under way (Step B opened 2026-10-06); M5 and M6 not started. The states are those of the plan's version 0.3.0 (section 3); every unmet criterion is on [[The Principia Machina/Testing/Obligations\|Obligations]]. Where a page here and [[The Principia Machina/TPS\|the specification]] differ, the specification governs.''		''Round 3, Phase 2. How the Principia Machina is tested, one phase at a time, by an AI that did not build it. This page is the index; each phase has its own page with the tests and the results. Status as of 2026-10-08 (UTC): M0 PASSED; M2 PASSED 2026-10-08 (second approver: TBD); M1 and M3 ACCEPTED WITH OBLIGATIONS (O-1 and O-6; O-5); M4 under way (Step B opened 2026-10-06); M5 and M6 not started. The states are those of the plan's version 0.3.0 (section 3); every unmet criterion is on [[The Principia Machina/Testing/Obligations\|Obligations]]. Where a page here and [[The Principia Machina/TPS\|the specification]] differ, the specification governs.''

	== The idea ==		== The idea ==
Line 38:		Line 38:

	# '''[[The Principia Machina/Testing/M0 Outside AI and the sandbox\|M0 An outside AI, from the wiki alone]]''' – an outside AI, given one sentence, sets itself up from the wiki, creates and works a UWC with the published calculator and sandbox, and tests the pages and the live gate; every prediction reported with its outcome; no soundness finding open. '''PASSED.''' Five sessions, seven findings (G-1 to G-7), none a soundness defect left open; its record criteria were met on the live wiki (SPR) under the direction of 2026-10-01.		# '''[[The Principia Machina/Testing/M0 Outside AI and the sandbox\|M0 An outside AI, from the wiki alone]]''' – an outside AI, given one sentence, sets itself up from the wiki, creates and works a UWC with the published calculator and sandbox, and tests the pages and the live gate; every prediction reported with its outcome; no soundness finding open. '''PASSED.''' Five sessions, seven findings (G-1 to G-7), none a soundness defect left open; its record criteria were met on the live wiki (SPR) under the direction of 2026-10-01.
	# '''[[The Principia Machina/Testing/M1 The register duties\|M1 The register's research duties]]''' – the register does what the specification says a register does: strikes under SR1, SR5 and SR7 with their withdrawal and gap records, the audit block, promotion, the verification of a result against an outside value, withdrawals and their cascade. '''ACCEPTED WITH OBLIGATIONS 2026-10-05''' as part of Step A (TPX 0.5.0, the A2 deploy): O-1 (a corroboration from a different-family reproducer, ~~live), O-2 (a planted contradiction struck~~ live) and O-6 (HOLD and RELEASE) are open.		# '''[[The Principia Machina/Testing/M1 The register duties\|M1 The register's research duties]]''' – the register does what the specification says a register does: strikes under SR1, SR5 and SR7 with their withdrawal and gap records, the audit block, promotion, the verification of a result against an outside value, withdrawals and their cascade. '''ACCEPTED WITH OBLIGATIONS 2026-10-05''' as part of Step A (TPX 0.5.0, the A2 deploy): O-2 (a planted contradiction struck live) was discharged on 2026-10-08; O-1 (a corroboration from a different-family reproducer, live) and O-6 (HOLD and RELEASE) are open.
	# '''[[The Principia Machina/Testing/M2 The calculator from the specification\|M2 The calculator, tested from the specification]]''' – an outside tester writes its own test cases from the specification's rule text, never from the published corpora, and runs them through a read-only operation that executes one named calculator function. '''~~ACCEPTED WITH OBLIGATIONS~~ 2026-10-05''' as part of Step A; the operation (TPCRUN) is live and was used by every outside session since; O-3, the tester-written case set (100 cases across 10 sections), ~~stands at 0 of 100 and is run~~ under [[The Principia Machina/Hub/Outside AI/M2 The calculator from the specification\|the M2 brief]].		# '''[[The Principia Machina/Testing/M2 The calculator from the specification\|M2 The calculator, tested from the specification]]''' – an outside tester writes its own test cases from the specification's rule text, never from the published corpora, and runs them through a read-only operation that executes one named calculator function. '''PASSED 2026-10-08''' (second approver: TBD), accepted with obligations on 2026-10-05 as part of Step A; the operation (TPCRUN) is live and was used by every outside session since; O-3, the tester-written case set (100 cases across 10 sections), was met on 2026-10-08 by seven sessions under [[The Principia Machina/Hub/Outside AI/M2 The calculator from the specification\|the M2 brief]] (254 cases, 11 TPS section pages, every mismatch triaged) and discharged the same day.
	# '''[[The Principia Machina/Testing/M3 TPX, the smallest server\|M3 TPX, the smallest server that does what the sandbox does]]''' – the server extension TPX, on the live wiki, does by machine what the sandbox did on a tester's computer, byte for byte: the new-UWC form, the declaration with the genesis of the chains, the landing API. '''ACCEPTED WITH OBLIGATIONS 2026-10-05''' as part of Step A (TPX 0.4.0 then 0.5.0, live since 2026-10-04): O-4 (the M0 session's UWC replayed against the live TPX) ~~and~~ O-5 (the lock and the queue, live) ~~are~~ open.		# '''[[The Principia Machina/Testing/M3 TPX, the smallest server\|M3 TPX, the smallest server that does what the sandbox does]]''' – the server extension TPX, on the live wiki, does by machine what the sandbox did on a tester's computer, byte for byte: the new-UWC form, the declaration with the genesis of the chains, the landing API. '''ACCEPTED WITH OBLIGATIONS 2026-10-05''' as part of Step A (TPX 0.4.0 then 0.5.0, live since 2026-10-04): O-4 (the M0 session's UWC replayed against the live TPX) was discharged on 2026-10-08; O-5 (the lock and the queue, live) is open.
	# '''[[The Principia Machina/Testing/M4 PRB, the smallest client\|M4 PRB, the smallest client]]''' – the agent-side client: it petitions, locks, pushes, polls and releases against live TPX, and places the calculator as the specification says; a full UWC lifecycle with a second agent's corroboration. '''Under way''': Step B opened 2026-10-06; TPX 0.6.0's increments 1 to 3 (the lock and the challenge, the reserved range, the named reproduction and the first corroboration) are built and gated; accepted as "B1 PASSED".		# '''[[The Principia Machina/Testing/M4 PRB, the smallest client\|M4 PRB, the smallest client]]''' – the agent-side client: it petitions, locks, pushes, polls and releases against live TPX, and places the calculator as the specification says; a full UWC lifecycle with a second agent's corroboration. '''Under way''': Step B opened 2026-10-06; TPX 0.6.0's increments 1 to 5 (the lock and the challenge, the reserved range, the named reproduction and the first corroboration, the 0.5.x fixes and the build line, the fault suite and SR8's pair-excluded scaling) are built and gated, and PRB 0.1.0 passed its fault test against a mock of the site, 28 of 28; the delivery is owed; accepted as "B1 PASSED".
	# '''[[The Principia Machina/Testing/M5 Certification\|M5 Certification, with the outside AI as the first candidate]]''' – the six-probe suite on the synthetic UWC and the supervised trial; the outside AI is certified or refused exactly as a sponsor's agent would be; a second outside model plays the red team. '''Not started''' (Step B).		# '''[[The Principia Machina/Testing/M5 Certification\|M5 Certification, with the outside AI as the first candidate]]''' – the six-probe suite on the synthetic UWC and the supervised trial; the outside AI is certified or refused exactly as a sponsor's agent would be; a second outside model plays the red team. '''Not started''' (Step B).
	# '''[[The Principia Machina/Testing/M6 The first live UWC\|M6 Live: the first real UWC]]''' – TPX deployed by tag, the first real research container, and an outside reproduction of its first ESTABLISHED result from the public pages alone. '''Not started''' (Step C, after the control UWC C0).		# '''[[The Principia Machina/Testing/M6 The first live UWC\|M6 Live: the first real UWC]]''' – TPX deployed by tag, the first real research container, and an outside reproduction of its first ESTABLISHED result from the public pages alone. '''Not started''' (Step C, after the control UWC C0).
Line 50:		Line 50:
	rankdir=TB; ranksep=0.35; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; ranksep=0.35; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	M0 [label="M0\nOutside AI,\nfrom the wiki alone\nPASSED", fillcolor="#cef2e0"];		M0 [label="M0\nOutside AI,\nfrom the wiki alone\nPASSED", fillcolor="#cef2e0"];
	M1 [label="M1\nThe register\nduties\nACCEPTED WITH\nOBLIGATIONS 10-05\nO-1~~, O-2~~, O-6", fillcolor="#ffedad"];		M1 [label="M1\nThe register\nduties\nACCEPTED WITH\nOBLIGATIONS 10-05\nO-1, O-6", fillcolor="#ffedad"];
	M2 [label="M2\nThe calculator\nfrom the spec\~~nACCEPTED WITH\nOBLIGATIONS~~ 10-05\~~nO-3~~", fillcolor="#~~ffedad~~"];		M2 [label="M2\nThe calculator\nfrom the spec\nPASSED 10-08\n(second approver:\nTBD)", fillcolor="#cef2e0"];
	M3 [label="M3\nTPX, the\nsmallest server\nACCEPTED WITH\nOBLIGATIONS 10-05\nO~~-4, O~~-5", fillcolor="#ffedad"];		M3 [label="M3\nTPX, the\nsmallest server\nACCEPTED WITH\nOBLIGATIONS 10-05\nO-5", fillcolor="#ffedad"];
	M4 [label="M4\nPRB, the\nsmallest client\nUNDER WAY\n(B1: inc 1 to 3 gated)", fillcolor="#cedff2"];		M4 [label="M4\nPRB, the\nsmallest client\nUNDER WAY\n(B1: inc 1 to 5 gated)", fillcolor="#cedff2"];
	M5 [label="M5\nCertification\nNOT STARTED", fillcolor="#eaecf0"];		M5 [label="M5\nCertification\nNOT STARTED", fillcolor="#eaecf0"];
	M6 [label="M6\nLive: the first\nreal UWC\nNOT STARTED", fillcolor="#eaecf0"];		M6 [label="M6\nLive: the first\nreal UWC\nNOT STARTED", fillcolor="#eaecf0"];
Line 177:		Line 177:
	{{#mermaid:		{{#mermaid:
	gantt		gantt
	title Testing the Principia Machina, 2026-09-30 to 2026-10-06 (UTC)		title Testing the Principia Machina, 2026-09-30 to 2026-10-08 (UTC)
	dateFormat YYYY-MM-DD		dateFormat YYYY-MM-DD
	axisFormat %m-%d		axisFormat %m-%d
Line 190:		Line 190:
	section Step B		section Step B
	B1 increments 1 to 3 gated; the regime reviews; plan 0.3.0 : done, b, 2026-10-06, 1d		B1 increments 1 to 3 gated; the regime reviews; plan 0.3.0 : done, b, 2026-10-06, 1d
	A3 closeout (status batch, M2 sessions, ~~the runner)~~, ~~then~~ B1 : active, b2, 2026-10-07, 3d		A3 closeout: the status batch, the runner, the M2 sessions; O-2, O-3, O-4 discharged : done, b2, 2026-10-07, 2d
			B1 increments 4 and 5 gated, PRB 0.1.0 tested; the delivery owed : active, b3, 2026-10-07, 2d
	\|config.theme=neutral}}		\|config.theme=neutral}}

Line 202:		Line 203:
	\| M0 \|\| PASSED \|\| recorded 2026-10-04 \|\| "M0 accepted" \|\| sessions 1 to 5; findings G-1 to G-7 ([[The Principia Machina/Testing/Findings\|Findings]]); the record criteria met on SPR, 2026-10-04 and 2026-10-05		\| M0 \|\| PASSED \|\| recorded 2026-10-04 \|\| "M0 accepted" \|\| sessions 1 to 5; findings G-1 to G-7 ([[The Principia Machina/Testing/Findings\|Findings]]); the record criteria met on SPR, 2026-10-04 and 2026-10-05
	\|-		\|-
	\| M1~~, M2~~, M3 \|\| ACCEPTED WITH OBLIGATIONS \|\| 2026-10-05 \|\| "A2 accepted, M1 M2 M3 accepted" \|\| A1 and A2: the operator's tests 7 of 7 and 15 of 15 (scripts the builder wrote), the outside AI's checks C1 to C5 and C1 to C7, the builder's recheck ([[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]]); the obligations ~~O-1 to O-6~~ on [[The Principia Machina/Testing/Obligations\|Obligations]]		\| M1, M3 \|\| ACCEPTED WITH OBLIGATIONS \|\| 2026-10-05 \|\| "A2 accepted, M1 M2 M3 accepted" \|\| A1 and A2: the operator's tests 7 of 7 and 15 of 15 (scripts the builder wrote), the outside AI's checks C1 to C5 and C1 to C7, the builder's recheck ([[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]]); the obligations on [[The Principia Machina/Testing/Obligations\|Obligations]]: O-2 and O-4 discharged 2026-10-08, O-1, O-5 and O-6 open
	\|-		\|-
	\| M4, M5 \|\| M4 under way; M5 not started \|\| – \|\| "B1 PASSED", then "M4 M5 PASSED" (when due) \|\| Step B opened 2026-10-06 on the operator's word (tpm_stepB_split 0.1.0); B1 increments 1 to 3 gated the same day; a PASSED is marked "second approver: TBD" until that role is filled		\| M2 \|\| PASSED \|\| 2026-10-08 (second approver: TBD) \|\| "O-3 discharged" (its one obligation; ACCEPTED WITH OBLIGATIONS 2026-10-05 before) \|\| seven sessions under the M2 brief, 2026-10-08: 254 cases with a result, 136 distinct, 11 TPS section pages, 14 mismatches each triaged, S1 0 ([[The Principia Machina/Testing/M2 The calculator from the specification\|M2]])
			\|-
			\| M4, M5 \|\| M4 under way; M5 not started \|\| – \|\| "B1 PASSED", then "M4 M5 PASSED" (when due) \|\| Step B opened 2026-10-06 on the operator's word (tpm_stepB_split 0.1.0); B1 increments 1 to 3 gated the same day, 4 and 5 on 2026-10-07, with PRB 0.1.0; a PASSED is marked "second approver: TBD" until that role is filled
	\|-		\|-
	\| M6 \|\| not started \|\| – \|\| "C0 PASSED", then "M6 PASSED" (when due) \|\| Step C: the control UWC C0 first		\| M6 \|\| not started \|\| – \|\| "C0 PASSED", then "M6 PASSED" (when due) \|\| Step C: the control UWC C0 first
Line 212:		Line 215:

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

BFP Rauch: 1 revision imported

2026-10-07T13:23:20Z

1 revision imported

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

DeltaS Zero: Status batch 0.1.3: the states of plan 0.3.0 (PASSED, ACCEPTED WITH OBLIGATIONS), the second approver (TBD; plan 0.3.1), the Obligations page, Step B open 2026-10-06, the documentation rule (tpm_status 0.1.3)

2026-10-07T13:22:32Z

Status batch 0.1.3: the states of plan 0.3.0 (PASSED, ACCEPTED WITH OBLIGATIONS), the second approver (TBD; plan 0.3.1), the Obligations page, Step B open 2026-10-06, the documentation rule (tpm_status 0.1.3)

Show changes

DeltaS Zero: Testing hub: the diagrams re-laid out to fit the content column (roles, the ladder, the cycle) (tpm_testing 0.1.1)

2026-10-06T00:47:54Z

Testing hub: the diagrams re-laid out to fit the content column (roles, the ladder, the cycle) (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:33Z

1 revision imported

BFP Rauch: 1 revision imported

2026-10-06T00:26:42Z

1 revision imported

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

DeltaS Zero: Testing the Principia Machina: the hub of Round 3 Phase 2, the phases M0 to M6 in order with their state on 2026-10-05 (tpm_testing 0.1.0)

2026-10-06T00:26:37Z

Testing the Principia Machina: the hub of Round 3 Phase 2, the phases M0 to M6 in order with their state on 2026-10-05 (tpm_testing 0.1.0)

New page

{{TPM map}}
{{DISPLAYTITLE:Testing the Principia Machina}}
''Round 3, Phase 2. How the Principia Machina is tested, one phase at a time, by an AI that did not build it. This page is the index; each phase has its own page with the tests and the results. Status as of 2026-10-05 (UTC): M0 to M3 accepted, M4 to M6 not started. Where a page here and [[The Principia Machina/TPS|the specification]] differ, the specification governs.''

== The idea ==

Each piece of the machinery is built in its smallest working form, published on this wiki, and then tested from the wiki by an outside AI before the next piece is built. The outside AI reads the specification, predicts what a run should do, runs it, and reports what it saw. The operator (a person) accepts a phase with one written word; nothing is accepted on the builder's say-so. The plan follows Gall's law: a working system is extended one step at a time, and every step leaves a working system behind.

Three parties take part:

* '''The operator''' (H-DECL and H-OP, the same person): imports the pages, deploys TPX, declares every UWC, runs the operator's own test, and accepts or refuses a phase. He gives the tester no hints and runs nothing for it.
* '''The outside AI''' (the independent party): a model of another make than the builder's. It learns everything from invarians.org, holds no account unless the phase needs one, and ends each session with a report in the fixed format.
* '''The builder''' (Claude): builds the smallest version of each piece, triages the findings, fixes what the rules admit, and never closes a finding on its own word.

<graphviz>
// Testing roles. Who does what in one cycle.
digraph roles {
rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
B [label="The builder\n(Claude)\nbuilds the smallest piece\ntriages, fixes", fillcolor="#cedff2"];
W [label="The wiki\ninvarians.org\npages, TPX, the register", shape=box3d];
O [label="The operator\n(H-DECL / H-OP)\nimports, deploys, declares\naccepts with one word", fillcolor="#cef2e0"];
T [label="The outside AI\nanother make\nreads, predicts, runs, reports", fillcolor="#ffedad"];
B -> O [label="one import file,\none deploy folder"];
O -> W [label="Special:Import\ntpx_deploy.py"];
W -> T [label="everything it needs,\nread from the wiki"];
T -> O [label="session report\n(fixed format)"];
O -> B [label="the report, pasted\n(untrusted input)"];
B -> B [label="same-day triage\nLOOP BUDGET 2"];
}
</graphviz>

== The phases, in order ==

The seven phases of the plan (tpm_third_party_plan 0.2.0, 2026-09-30). Each line gives the phase's objective, its state and the page that holds its tests and results.

# '''[[The Principia Machina/Testing/M0 Outside AI and the sandbox|M0 An outside AI, from the wiki alone]]''' – an outside AI, given one sentence, sets itself up from the wiki, creates and works a UWC with the published calculator and sandbox, and tests the pages and the live gate; every prediction reported with its outcome; no soundness finding open. '''Accepted.''' Five sessions, seven findings (G-1 to G-7), none a soundness defect left open.
# '''[[The Principia Machina/Testing/M1 The register duties|M1 The register's research duties]]''' – the register does what the specification says a register does: strikes under SR1, SR5 and SR7 with their withdrawal and gap records, the audit block, promotion, the verification of a result against an outside value, withdrawals and their cascade. '''Accepted 2026-10-05''' as part of Step A (TPX 0.5.0, the A2 deploy); corroboration landing and HOLD/RELEASE moved to Step B.
# '''[[The Principia Machina/Testing/M2 The calculator from the specification|M2 The calculator, tested from the specification]]''' – an outside tester writes its own test cases from the specification's rule text, never from the published corpora, and runs them through a read-only operation that executes one named calculator function. '''Accepted 2026-10-05''' as part of Step A; the operation (TPCRUN) is live and was used by every outside session since; the tester-written case set is still to be grown.
# '''[[The Principia Machina/Testing/M3 TPX, the smallest server|M3 TPX, the smallest server that does what the sandbox does]]''' – the server extension TPX, on the live wiki, does by machine what the sandbox did on a tester's computer, byte for byte: the new-UWC form, the declaration with the genesis of the chains, the landing API. '''Accepted 2026-10-05''' as part of Step A (TPX 0.4.0 then 0.5.0, live since 2026-10-04).
# '''[[The Principia Machina/Testing/M4 PRB, the smallest client|M4 PRB, the smallest client]]''' – the agent-side client: it petitions, locks, pushes, polls and releases against live TPX, and places the calculator as the specification says; a full UWC lifecycle with a second agent's corroboration. '''Not started''' (Step B, with M5).
# '''[[The Principia Machina/Testing/M5 Certification|M5 Certification, with the outside AI as the first candidate]]''' – the six-probe suite on the synthetic UWC and the supervised trial; the outside AI is certified or refused exactly as a sponsor's agent would be; a second outside model plays the red team. '''Not started''' (Step B).
# '''[[The Principia Machina/Testing/M6 The first live UWC|M6 Live: the first real UWC]]''' – TPX deployed by tag, the first real research container, and an outside reproduction of its first ESTABLISHED result from the public pages alone. '''Not started''' (Step C).

<graphviz>
// The phase ladder, with each phase's state on 2026-10-05.
digraph ladder {
rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
M0 [label="M0\nOutside AI,\nfrom the wiki alone\nACCEPTED", fillcolor="#cef2e0"];
M1 [label="M1\nThe register\nduties\nACCEPTED 2026-10-05", fillcolor="#cef2e0"];
M2 [label="M2\nThe calculator\nfrom the spec\nACCEPTED 2026-10-05", fillcolor="#cef2e0"];
M3 [label="M3\nTPX, the\nsmallest server\nACCEPTED 2026-10-05", fillcolor="#cef2e0"];
M4 [label="M4\nPRB, the\nsmallest client\nNOT STARTED", fillcolor="#eaecf0"];
M5 [label="M5\nCertification\nNOT STARTED", fillcolor="#eaecf0"];
M6 [label="M6\nLive: the first\nreal UWC\nNOT STARTED", fillcolor="#eaecf0"];
M0 -> M1 -> M2 -> M3 -> M4 -> M5 -> M6;
subgraph cluster_a { label="Step A (closed 2026-10-05)"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; M1; M2; M3; }
subgraph cluster_b { label="Step B (next)"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; M4; M5; }
subgraph cluster_c { label="Step C"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; M6; }
}
</graphviz>

Beside the phase pages, three pages cut across them:

* [[The Principia Machina/Testing/Step A, the deploys A1 and A2|Step A, the deploys A1 and A2]] – the two live deploys of TPX that met M1, M2 and M3 together: what was deployed, the three tests run on each, the records they left in the first UWC, SPR.
* [[The Principia Machina/Testing/Findings|Findings]] – every finding filed by a tester or found on the way, with its class, its state and what closed it.
* [[The Principia Machina/Testing/Timeline|Timeline]] – the dated record, 2026-09-30 to 2026-10-05.

== How the phases were grouped for the live wiki ==

The plan of 2026-09-30 set six milestones after M0, each with its own build, outside session and acceptance word. On 2026-10-03 the operator chose (decision D237.1) to run them on the live wiki in three steps, to cut the number of cycles from six to three: Step A took M1, M2 and M3 together as one deploy of TPX; Step B takes M4 and M5; Step C is M6. Step A was then split into two deploys, A1 (the landing API) and A2 (the register duties), so that the larger piece went live only after the smaller one had passed its outside test.

<graphviz>
// D237.1: the plan's six milestones regrouped into three steps, Step A split into A1 and A2.
digraph regroup {
rankdir=TB; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
P [label="tpm_third_party_plan 0.2.0\n2026-09-30\nM0 then M1 .. M6, one cycle each"];
D [label="D237.1, 2026-10-03\nLIVE, THREE STEPS\n(the operator's selection)", fillcolor="#cedff2"];
SA [label="Step A = M1 + M2 + M3\nTPX part 2 on live\naccept: \"M1 M2 M3 accepted\"", fillcolor="#cef2e0"];
SB [label="Step B = M4 + M5\nPRB, then certification\naccept: \"M4 M5 accepted\""];
SC [label="Step C = M6\nthe full-system test\naccept: \"M6 accepted\""];
A1 [label="A1 TPX 0.4.0\nthe landing API\naccepted 2026-10-04", fillcolor="#cef2e0"];
A2 [label="A2 TPX 0.5.0\nthe register duties\naccepted 2026-10-05", fillcolor="#cef2e0"];
P -> D -> SA; D -> SB; D -> SC;
SA -> A1 [label="split 2026-10-03:\n\"split the landing API and\nthe register duties into two deploys\""];
SA -> A2; A1 -> A2 [label="A2 deployed only\nafter A1 accepted", style=dashed];
}
</graphviz>

== How a phase is tested: the cycle ==

One cycle per phase (plan 0.2.0, section 3). The builder states the exit test before building and gets at most two build iterations; the outside AI gets one session of at most 25 runs; triage is the same day; at most two fix iterations; the next session opens with the fixed findings' repro steps; the operator accepts. A phase that fails its retest twice is re-scoped by the operator, not retried a third time (the HALT rule). An open soundness finding (class S1) stops the line.

<graphviz>
// The cycle C1 .. C7, one per phase (plan 0.2.0, section 3).
digraph cycle {
rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
C1 [label="C1 BUILD\nthe builder\nsmallest thing the test needs\nexit test stated first"];
C2 [label="C2 PUBLISH\nthe builder builds,\nthe operator imports\none import file"];
C3 [label="C3 TEST\nthe outside AI\none session, 25 runs\ntracks A, B (and C)", fillcolor="#ffedad"];
C4 [label="C4 TRIAGE\nthe builder, same day\nclass S1 .. S6\nreproduce from the logs"];
C5 [label="C5 FIX\nonly what the rules admit\nat most 2 iterations"];
C6 [label="C6 RETEST\nthe next session opens\nwith the repro steps", fillcolor="#ffedad"];
C7 [label="C7 ACCEPT\nthe operator\n\"M<n> accepted\"", fillcolor="#cef2e0"];
H [label="HALT\nfails twice at C6:\nthe operator re-scopes", fillcolor="#fee7e6"];
C1 -> C2 -> C3 -> C4 -> C5 -> C6 -> C7;
C6 -> C3 [label="findings open", style=dashed];
C6 -> H [style=dashed];
C4 -> C7 [label="no S1 open and\nthe acceptance test passed", style=dashed];
}
</graphviz>

The tester works on up to three tracks. Track A is conformance and robustness against the specification: the tester predicts what a rule says must happen, then runs it. Track B is real use: it does ordinary register work. Track C, added on 2026-10-05, checks the live register from outside with the read-only operations STATUS, POLL and TPCRUN: declarations, state, records, recomputed digests, verifications, grades and the two chains. The tracks and the report format are on [[The Principia Machina/Hub/Outside AI|Outside AI: start here]].

== How a finding is classed ==

Every finding a tester files gets one class. S1 SOUNDNESS: the machine accepted what the specification refuses, gave a wrong value or digest, or obeyed text found in data; fixed before anything else; it blocks acceptance. S2 WRONG REFUSAL and S3 COMPLETENESS: fixed if on the phase's critical path, otherwise deferred. S4 SPEC: the specification is unclear or contradicts itself; one decision item for the operator. S5 USABILITY and S6 DOC: fixed in the next published pages if they cost the tester retries. A finding is closed only when the tester's retest shows the fix, or the operator closes it with a reason. The full list is on [[The Principia Machina/Testing/Findings|Findings]].

<graphviz>
// Triage: what a finding's class causes (plan 0.2.0, section 5).
digraph triage {
rankdir=TB; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
F [label="a finding\n(ORIGIN EXTERNAL,\nwith its quoted result)", fillcolor="#ffedad"];
S1 [label="S1 SOUNDNESS", fillcolor="#fee7e6"]; S2 [label="S2 WRONG REFUSAL"]; S3 [label="S3 COMPLETENESS"];
S4 [label="S4 SPEC"]; S5 [label="S5 USABILITY"]; S6 [label="S6 DOC"];
FIX [label="fix first, then retest\nblocks acceptance", fillcolor="#fee7e6"];
CP [label="on the critical path?\nfix : defer", shape=diamond];
DI [label="one decision item\nfor the operator\n(at most 3 per pause)", fillcolor="#cedff2"];
PG [label="fixed in the next\npublished pages\nif it cost retries"];
CL [label="CLOSED when the retest\nshows the fix, or the operator\nsays \"close G-n\"", fillcolor="#cef2e0"];
F -> S1 -> FIX -> CL; F -> S2 -> CP; F -> S3 -> CP; CP -> CL; F -> S4 -> DI -> CL; F -> S5 -> PG; F -> S6 -> PG -> CL;
}
</graphviz>

== What is tested, layer by layer ==

Each phase tests one more layer of the stack, from the published pages down to a real research container. Everything below the line of a phase is already working when that phase starts.

<graphviz>
// What each phase puts under test.
digraph stack {
rankdir=TB; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10, width=4.2]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
L1 [label="M0 the pages, the published calculator TPC-PY, the sandbox, the live gate (TPX part 1)", fillcolor="#cef2e0"];
L2 [label="M3 TPX on the live wiki: the forms, the declaration and the genesis, the landing API", fillcolor="#cef2e0"];
L3 [label="M1 the register duties: strikes, gaps, audit stub, promotion, verification, withdrawals", fillcolor="#cef2e0"];
L4 [label="M2 the calculator exercised from the specification through TPCRUN", fillcolor="#cef2e0"];
L5 [label="M4 PRB, the agent-side client: petition, lock, push, release, corroboration"];
L6 [label="M5 certification: the six-probe suite on the synthetic UWC, the supervised trial"];
L7 [label="M6 the first real UWC, and an outside reproduction of its first ESTABLISHED result"];
L1 -> L2 -> L3 -> L4 -> L5 -> L6 -> L7 [arrowhead=none];
}
</graphviz>

== The program to date ==

{{#mermaid:
gantt
title Testing the Principia Machina, 2026-09-30 to 2026-10-05 (UTC)
dateFormat YYYY-MM-DD
axisFormat %m-%d
section M0
Plan 0.2.0 and the sandbox published : done, p, 2026-09-30, 1d
Outside sessions 1 to 5, imports 0.1.0 to 0.7.0 : done, s, 2026-10-01, 3d
section Prerequisites
MediaWiki 1.46.2, OB3 re-test, the three declarations : done, q, 2026-10-03, 1d
section Step A
A1 TPX 0.4.0 deployed and tested, SPR declared : done, a1, 2026-10-04, 1d
A2 TPX 0.5.0 deployed and tested, Step A closed : done, a2, 2026-10-05, 1d
section Step B
M4 PRB and M5 certification : b, 2026-10-06, 1d
|config.theme=neutral}}

== What a reader can check today ==

The tests leave their evidence on public pages. Anyone can read the first UWC's register ([[The Principia Machina/UWC/SPR/Register/Volume 1|SPR, Register Volume 1]]), its control panel ([[The Principia Machina/UWC/SPR/Control panel|SPR, Control panel]]), the chain of declarations ([[The Principia Machina/Declarations/Volume 1|Declarations, Volume 1]]) and the build chain ([[The Principia Machina/Build chain/Volume 1|Build chain, Volume 1]]), and recompute any stored digest through the read-only operation TPCRUN of the API, as the outside sessions did. The operator's own test scripts and every session report are kept word for word in the project's record.

{| class="wikitable"
! Phase !! State !! Accepted !! The word !! Evidence
|-
| M0 || accepted || recorded 2026-10-04 || "M0 accepted" || sessions 1 to 5; findings G-1 to G-7 ([[The Principia Machina/Testing/Findings|Findings]])
|-
| M1, M2, M3 || accepted || 2026-10-05 || "A2 accepted, M1 M2 M3 accepted" || A1 and A2: the operator's tests 7 of 7 and 15 of 15, the outside AI's checks C1 to C5 and C1 to C7, the builder's recheck ([[The Principia Machina/Testing/Step A, the deploys A1 and A2|Step A]])
|-
| M4, M5 || not started || – || "M4 M5 accepted" (when due) || Step B opens on the operator's word with a scope split for his review
|-
| M6 || not started || – || "M6 accepted" (when due) || Step C
|}

Back to [[The Principia Machina/Hub|the TPM hub]] · [[The Principia Machina/Hub/Outside AI|Outside AI: start here]] · [[The Principia Machina/Guide/11 Running an outside AI|Guide 11: Running an outside AI]].

[[Category:The Principia Machina]]

← Older revision		Revision as of 06:55, 9 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Testing the Principia Machina}}		{{DISPLAYTITLE:Testing the Principia Machina}}
	''Round 3, Phase 2. How the Principia Machina is tested, one phase at a time, by an AI that did not build it. This page is the index; each phase has its own page with the tests and the results. Status as of 2026-10-08 (UTC): M0 ~~PASSED;~~ M2 PASSED ~~2026-10-08~~ (second approver: TBD); ~~M1 and M3 ACCEPTED WITH OBLIGATIONS (~~O-1 ~~and~~ O-6; O-5); ~~M4 under way~~ (~~Step B opened 2026~~-~~10-06~~); M5 and M6 not started. The states are those of the plan's version 0.3.0 (section 3); every unmet criterion is on [[The Principia Machina/Testing/Obligations\|Obligations]]. Where a page here and [[The Principia Machina/TPS\|the specification]] differ, the specification governs.''		''Round 3, Phase 2. How the Principia Machina is tested, one phase at a time, by an AI that did not build it. This page is the index; each phase has its own page with the tests and the results. Status as of 2026-10-08 (UTC): M0, M2, M3, M4 PASSED (M2, M3, M4 second approver: TBD; O-1, O-2, O-3, O-4, O-5 discharged 2026-10-08); M1 ACCEPTED WITH OBLIGATIONS (O-6); M5 and M6 not started. The states are those of the plan's version 0.3.1 (section 3); every unmet criterion is on [[The Principia Machina/Testing/Obligations\|Obligations]]. Where a page here and [[The Principia Machina/TPS\|the specification]] differ, the specification governs.''

	== The idea ==		== The idea ==
Line 38:		Line 38:

	# '''[[The Principia Machina/Testing/M0 Outside AI and the sandbox\|M0 An outside AI, from the wiki alone]]''' – an outside AI, given one sentence, sets itself up from the wiki, creates and works a UWC with the published calculator and sandbox, and tests the pages and the live gate; every prediction reported with its outcome; no soundness finding open. '''PASSED.''' Five sessions, seven findings (G-1 to G-7), none a soundness defect left open; its record criteria were met on the live wiki (SPR) under the direction of 2026-10-01.		# '''[[The Principia Machina/Testing/M0 Outside AI and the sandbox\|M0 An outside AI, from the wiki alone]]''' – an outside AI, given one sentence, sets itself up from the wiki, creates and works a UWC with the published calculator and sandbox, and tests the pages and the live gate; every prediction reported with its outcome; no soundness finding open. '''PASSED.''' Five sessions, seven findings (G-1 to G-7), none a soundness defect left open; its record criteria were met on the live wiki (SPR) under the direction of 2026-10-01.
	# '''[[The Principia Machina/Testing/M1 The register duties\|M1 The register's research duties]]''' – the register does what the specification says a register does: strikes under SR1, SR5 and SR7 with their withdrawal and gap records, the audit block, promotion, the verification of a result against an outside value, withdrawals and their cascade. '''ACCEPTED WITH OBLIGATIONS 2026-10-05''' as part of Step A (TPX 0.5.0, the A2 deploy): O-2 (a planted contradiction struck live) ~~was discharged on 2026-10-08;~~ O-1 (a corroboration from a different-family reproducer, live) ~~and~~ O-6 (HOLD and RELEASE) ~~are~~ open.		# '''[[The Principia Machina/Testing/M1 The register duties\|M1 The register's research duties]]''' – the register does what the specification says a register does: strikes under SR1, SR5 and SR7 with their withdrawal and gap records, the audit block, promotion, the verification of a result against an outside value, withdrawals and their cascade. '''ACCEPTED WITH OBLIGATIONS 2026-10-05''' as part of Step A (TPX 0.5.0, the A2 deploy): O-2 (a planted contradiction struck live) and O-1 (a corroboration from a different-family reproducer, live: SPB-18) were discharged on 2026-10-08; O-6 (HOLD and RELEASE) is open.
	# '''[[The Principia Machina/Testing/M2 The calculator from the specification\|M2 The calculator, tested from the specification]]''' – an outside tester writes its own test cases from the specification's rule text, never from the published corpora, and runs them through a read-only operation that executes one named calculator function. '''PASSED 2026-10-08''' (second approver: TBD), accepted with obligations on 2026-10-05 as part of Step A; the operation (TPCRUN) is live and was used by every outside session since; O-3, the tester-written case set (100 cases across 10 sections), was met on 2026-10-08 by seven sessions under [[The Principia Machina/Hub/Outside AI/M2 The calculator from the specification\|the M2 brief]] (254 cases, 11 TPS section pages, every mismatch triaged) and discharged the same day.		# '''[[The Principia Machina/Testing/M2 The calculator from the specification\|M2 The calculator, tested from the specification]]''' – an outside tester writes its own test cases from the specification's rule text, never from the published corpora, and runs them through a read-only operation that executes one named calculator function. '''PASSED 2026-10-08''' (second approver: TBD), accepted with obligations on 2026-10-05 as part of Step A; the operation (TPCRUN) is live and was used by every outside session since; O-3, the tester-written case set (100 cases across 10 sections), was met on 2026-10-08 by seven sessions under [[The Principia Machina/Hub/Outside AI/M2 The calculator from the specification\|the M2 brief]] (254 cases, 11 TPS section pages, every mismatch triaged) and discharged the same day.
	# '''[[The Principia Machina/Testing/M3 TPX, the smallest server\|M3 TPX, the smallest server that does what the sandbox does]]''' – the server extension TPX, on the live wiki, does by machine what the sandbox did on a tester's computer, byte for byte: the new-UWC form, the declaration with the genesis of the chains, the landing API. '''~~ACCEPTED WITH OBLIGATIONS~~ 2026-10-05''' as part of Step A (TPX 0.4.0 then 0.5.0, live since 2026-10-04): O-4 (the M0 session's UWC replayed against the live TPX) ~~was discharged on 2026-10-08;~~ O-5 (the lock and the queue, live) ~~is open~~.		# '''[[The Principia Machina/Testing/M3 TPX, the smallest server\|M3 TPX, the smallest server that does what the sandbox does]]''' – the server extension TPX, on the live wiki, does by machine what the sandbox did on a tester's computer, byte for byte: the new-UWC form, the declaration with the genesis of the chains, the landing API. '''PASSED 2026-10-08''' (second approver: TBD), accepted with obligations on 2026-10-05 as part of Step A (TPX 0.4.0 then 0.5.0, live since 2026-10-04); its obligations O-4 (the M0 session's UWC replayed against the live TPX) and O-5 (the lock and the queue, live: 57 of 57 checks passed) were discharged on 2026-10-08.
	# '''[[The Principia Machina/Testing/M4 PRB, the smallest client\|M4 PRB, the smallest client]]''' – the agent-side client: it petitions, locks, pushes, polls and releases against live TPX, and places the calculator as the specification says; a full UWC lifecycle with a second agent's corroboration. '''~~Under way~~''': Step B opened 2026-10-06; TPX 0.6.0's increments 1 to 5 ~~(the lock and the challenge~~, ~~the reserved range~~, ~~the named reproduction~~ and ~~the first corroboration~~, ~~the 0.5.x fixes and the build line~~, ~~the fault suite and SR8's pair~~-~~excluded scaling~~) ~~are built and gated~~, ~~and PRB 0.1.0 passed its fault test against a mock~~ of ~~the site~~, ~~28 of 28; the delivery is owed~~; accepted as "B1 PASSED".		# '''[[The Principia Machina/Testing/M4 PRB, the smallest client\|M4 PRB, the smallest client]]''' – the agent-side client: it petitions, locks, pushes, polls and releases against live TPX, and places the calculator as the specification says; a full UWC lifecycle with a second agent's corroboration. '''PASSED 2026-10-08''' (second approver: TBD): Step B opened 2026-10-06; TPX 0.6.0 increments 1 to 5 built, gated, and deployed live; outside session by Google DeepMind / Gemini 3.8 Flash ran PRB on SPB, completed block lifecycle, landed live corroboration SPB-18 with SAME_MODEL false (O-1 discharged), matched 8 of 8 named refusals, verified build chain to line 27; accepted as "B1 PASSED" on 2026-10-08.
	# '''[[The Principia Machina/Testing/M5 Certification\|M5 Certification, with the outside AI as the first candidate]]''' – the six-probe suite on the synthetic UWC and the supervised trial; the outside AI is certified or refused exactly as a sponsor's agent would be; a second outside model plays the red team. '''Not started''' (Step B).		# '''[[The Principia Machina/Testing/M5 Certification\|M5 Certification, with the outside AI as the first candidate]]''' – the six-probe suite on the synthetic UWC and the supervised trial; the outside AI is certified or refused exactly as a sponsor's agent would be; a second outside model plays the red team. '''Not started''' (Step B).
	# '''[[The Principia Machina/Testing/M6 The first live UWC\|M6 Live: the first real UWC]]''' – TPX deployed by tag, the first real research container, and an outside reproduction of its first ESTABLISHED result from the public pages alone. '''Not started''' (Step C, after the control UWC C0).		# '''[[The Principia Machina/Testing/M6 The first live UWC\|M6 Live: the first real UWC]]''' – TPX deployed by tag, the first real research container, and an outside reproduction of its first ESTABLISHED result from the public pages alone. '''Not started''' (Step C, after the control UWC C0).
Line 50:		Line 50:
	rankdir=TB; ranksep=0.35; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; ranksep=0.35; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	M0 [label="M0\nOutside AI,\nfrom the wiki alone\nPASSED", fillcolor="#cef2e0"];		M0 [label="M0\nOutside AI,\nfrom the wiki alone\nPASSED", fillcolor="#cef2e0"];
	M1 [label="M1\nThe register\nduties\nACCEPTED WITH\nOBLIGATIONS 10-05\nO~~-1, O~~-6", fillcolor="#ffedad"];		M1 [label="M1\nThe register\nduties\nACCEPTED WITH\nOBLIGATIONS 10-05\nO-6", fillcolor="#ffedad"];
	M2 [label="M2\nThe calculator\nfrom the spec\nPASSED 10-08\n(second approver:\nTBD)", fillcolor="#cef2e0"];		M2 [label="M2\nThe calculator\nfrom the spec\nPASSED 10-08\n(second approver:\nTBD)", fillcolor="#cef2e0"];
	M3 [label="M3\nTPX, the\nsmallest server\~~nACCEPTED WITH\nOBLIGATIONS~~ 10-05\~~nO-5~~", fillcolor="#~~ffedad~~"];		M3 [label="M3\nTPX, the\nsmallest server\nPASSED 10-08\n(second approver:\nTBD)", fillcolor="#cef2e0"];
	M4 [label="M4\nPRB, the\nsmallest client\~~nUNDER WAY~~\n(B1: ~~inc 1 to 5 gated~~)", fillcolor="#~~cedff2~~"];		M4 [label="M4\nPRB, the\nsmallest client\nPASSED 10-08\n(second approver:\nTBD)", fillcolor="#cef2e0"];
	M5 [label="M5\nCertification\nNOT STARTED", fillcolor="#eaecf0"];		M5 [label="M5\nCertification\nNOT STARTED", fillcolor="#eaecf0"];
	M6 [label="M6\nLive: the first\nreal UWC\nNOT STARTED", fillcolor="#eaecf0"];		M6 [label="M6\nLive: the first\nreal UWC\nNOT STARTED", fillcolor="#eaecf0"];
Line 166:		Line 166:
	L3 [label="M1 the register duties: strikes, gaps, audit stub, promotion, verification, withdrawals", fillcolor="#cef2e0"];		L3 [label="M1 the register duties: strikes, gaps, audit stub, promotion, verification, withdrawals", fillcolor="#cef2e0"];
	L4 [label="M2 the calculator exercised from the specification through TPCRUN", fillcolor="#cef2e0"];		L4 [label="M2 the calculator exercised from the specification through TPCRUN", fillcolor="#cef2e0"];
	L5 [label="M4 PRB, the agent-side client: petition, lock, push, release, corroboration"];		L5 [label="M4 PRB, the agent-side client: petition, lock, push, release, corroboration", fillcolor="#cef2e0"];
	L6 [label="M5 certification: the six-probe suite on the synthetic UWC, the supervised trial"];		L6 [label="M5 certification: the six-probe suite on the synthetic UWC, the supervised trial"];
	L7 [label="M6 the first real UWC, and an outside reproduction of its first ESTABLISHED result"];		L7 [label="M6 the first real UWC, and an outside reproduction of its first ESTABLISHED result"];
Line 191:		Line 191:
	B1 increments 1 to 3 gated; the regime reviews; plan 0.3.0 : done, b, 2026-10-06, 1d		B1 increments 1 to 3 gated; the regime reviews; plan 0.3.0 : done, b, 2026-10-06, 1d
	A3 closeout: the status batch, the runner, the M2 sessions; O-2, O-3, O-4 discharged : done, b2, 2026-10-07, 2d		A3 closeout: the status batch, the runner, the M2 sessions; O-2, O-3, O-4 discharged : done, b2, 2026-10-07, 2d
	B1 ~~increments 4 and 5 gated~~, ~~PRB 0.1.0 tested; the delivery owed~~ : ~~active~~, b3, 2026-10-07, 2d		B1 outside session on SPB, SPB-18 landed, B1 PASSED : done, b3, 2026-10-07, 2d
	\|config.theme=neutral}}		\|config.theme=neutral}}

Line 203:		Line 203:
	\| M0 \|\| PASSED \|\| recorded 2026-10-04 \|\| "M0 accepted" \|\| sessions 1 to 5; findings G-1 to G-7 ([[The Principia Machina/Testing/Findings\|Findings]]); the record criteria met on SPR, 2026-10-04 and 2026-10-05		\| M0 \|\| PASSED \|\| recorded 2026-10-04 \|\| "M0 accepted" \|\| sessions 1 to 5; findings G-1 to G-7 ([[The Principia Machina/Testing/Findings\|Findings]]); the record criteria met on SPR, 2026-10-04 and 2026-10-05
	\|-		\|-
	\| M1~~, M3~~ \|\| ACCEPTED WITH OBLIGATIONS \|\| 2026-10-05 \|\| "A2 accepted, M1 M2 M3 accepted" \|\| A1 and A2: the operator's tests 7 of 7 and 15 of 15 ~~(scripts the builder wrote)~~, ~~the~~ outside AI's checks ~~C1 to C5 and~~ C1 to C7~~, the builder's recheck ([[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]])~~; ~~the~~ obligations ~~on [[The Principia Machina/Testing/Obligations\|Obligations]]~~: O-2 and O-4 discharged 2026-10-08, O-1, O-5 and O-~~6 open~~		\| M1 \|\| ACCEPTED WITH OBLIGATIONS \|\| 2026-10-05 \|\| "A2 accepted, M1 M2 M3 accepted" \|\| A1 and A2: the operator's tests 7 of 7 and 15 of 15, outside AI checks C1 to C7; obligations: O-1 and O-2 discharged 2026-10-08, O-6 open
			\|-
			\| M3 \|\| PASSED \|\| 2026-10-08 (second approver: TBD) \|\| "O-5 discharged" (its final obligation; ACCEPTED WITH OBLIGATIONS 2026-10-05 before) \|\| O-4 and O-5 discharged 2026-10-08: RP1 replay byte-equal; fault suite I1 to I5 holding on live site under its subset (57 of 57 checks passed in B1 test report)
	\|-		\|-
	\| M2 \|\| PASSED \|\| 2026-10-08 (second approver: TBD) \|\| "O-3 discharged" (its one obligation; ACCEPTED WITH OBLIGATIONS 2026-10-05 before) \|\| seven sessions under the M2 brief, 2026-10-08: 254 cases with a result, 136 distinct, 11 TPS section pages, 14 mismatches each triaged, S1 0 ([[The Principia Machina/Testing/M2 The calculator from the specification\|M2]])		\| M2 \|\| PASSED \|\| 2026-10-08 (second approver: TBD) \|\| "O-3 discharged" (its one obligation; ACCEPTED WITH OBLIGATIONS 2026-10-05 before) \|\| seven sessions under the M2 brief, 2026-10-08: 254 cases with a result, 136 distinct, 11 TPS section pages, 14 mismatches each triaged, S1 0 ([[The Principia Machina/Testing/M2 The calculator from the specification\|M2]])
	\|-		\|-
	\| M4, M5 \|\| ~~M4 under way; M5~~ not started \|\| – \|\| ~~"B1 PASSED", then~~ "M4 M5 PASSED" (when due) \|\| Step B ~~opened 2026~~-10-~~06 on the operator's word~~ (~~tpm_stepB_split 0.1.0~~)~~; B1 increments 1 to 3 gated the same day, 4 and 5 on 2026-10-07, with PRB 0.1.0; a PASSED is marked "second approver: TBD" until that role is filled~~		\| M4 \|\| PASSED \|\| 2026-10-08 (second approver: TBD) \|\| "B1 PASSED" \|\| criteria (i) to (vi) met: outside session on SPB with Gemini 3.8 Flash, live block lifecycle, live corroboration SPB-18 landed (SAME_MODEL false, VENDOR Google DeepMind), 8 of 8 refusals matched, build chain recomputed to line 27
			\|-
			\| M5 \|\| not started \|\| – \|\| "M4 M5 PASSED" (when due) \|\| Step B, B2: six-probe certification suite, red team, canary injection and O-6 (HOLD and RELEASE)
	\|-		\|-
	\| M6 \|\| not started \|\| – \|\| "C0 PASSED", then "M6 PASSED" (when due) \|\| Step C: the control UWC C0 first		\| M6 \|\| not started \|\| – \|\| "C0 PASSED", then "M6 PASSED" (when due) \|\| Step C: the control UWC C0 first

← Older revision		Revision as of 00:47, 6 October 2026
Line 16:		Line 16:
	// Testing roles. Who does what in one cycle.		// Testing roles. Who does what in one cycle.
	digraph roles {		digraph roles {
	rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; nodesep=0.6; ranksep=0.7; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	B [label="The builder\n(Claude)\nbuilds the smallest piece\ntriages, fixes", fillcolor="#cedff2"];		B [label="The builder\n(Claude)\nbuilds the smallest piece\ntriages, fixes", fillcolor="#cedff2"];
	W [label="The wiki\ninvarians.org\npages, TPX, the register", shape=box3d];		W [label="The wiki\ninvarians.org\npages, TPX, the register", shape=box3d];
Line 26:		Line 26:
	T -> O [label="session report\n(fixed format)"];		T -> O [label="session report\n(fixed format)"];
	O -> B [label="the report, pasted\n(untrusted input)"];		O -> B [label="the report, pasted\n(untrusted input)"];
	B -> B [label="same-day triage\nLOOP BUDGET 2"];		B:w -> B:w [label="same-day triage\nLOOP BUDGET 2"];
			{rank=same; B; O;}
			{rank=same; T; W;}
	}		}
	</graphviz>		</graphviz>
Line 45:		Line 47:
	// The phase ladder, with each phase's state on 2026-10-05.		// The phase ladder, with each phase's state on 2026-10-05.
	digraph ladder {		digraph ladder {
	rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; ranksep=0.35; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	M0 [label="M0\nOutside AI,\nfrom the wiki alone\nACCEPTED", fillcolor="#cef2e0"];		M0 [label="M0\nOutside AI,\nfrom the wiki alone\nACCEPTED", fillcolor="#cef2e0"];
	M1 [label="M1\nThe register\nduties\nACCEPTED 2026-10-05", fillcolor="#cef2e0"];		M1 [label="M1\nThe register\nduties\nACCEPTED 2026-10-05", fillcolor="#cef2e0"];
Line 54:		Line 56:
	M6 [label="M6\nLive: the first\nreal UWC\nNOT STARTED", fillcolor="#eaecf0"];		M6 [label="M6\nLive: the first\nreal UWC\nNOT STARTED", fillcolor="#eaecf0"];
	M0 -> M1 -> M2 -> M3 -> M4 -> M5 -> M6;		M0 -> M1 -> M2 -> M3 -> M4 -> M5 -> M6;
	subgraph cluster_a { label="Step A (closed 2026-10-05)"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; M1; M2; M3; }		subgraph cluster_a { label="Step A (closed 2026-10-05)"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; labeljust="l"; M1; M2; M3; }
	subgraph cluster_b { label="Step B (next)"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; M4; M5; }		subgraph cluster_b { label="Step B (next)"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; labeljust="l"; M4; M5; }
	subgraph cluster_c { label="Step C"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; M6; }		subgraph cluster_c { label="Step C"; fontname="Helvetica"; fontsize=10; color="#a2a9b1"; labeljust="l"; M6; }
	}		}
	</graphviz>		</graphviz>
Line 94:		Line 96:
	// The cycle C1 .. C7, one per phase (plan 0.2.0, section 3).		// The cycle C1 .. C7, one per phase (plan 0.2.0, section 3).
	digraph cycle {		digraph cycle {
	rankdir=LR; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=10]; 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=10]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	C1 [label="C1 BUILD\nthe builder\nsmallest thing the test needs\nexit test stated first"];		C1 [label="C1 BUILD\nthe builder\nsmallest thing the test needs\nexit test stated first"];
	C2 [label="C2 PUBLISH\nthe builder builds,\nthe operator imports\none import file"];		C2 [label="C2 PUBLISH\nthe builder builds,\nthe operator imports\none import file"];