The Principia Machina/Testing/M6 The first live UWC - Revision history

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: M6: the control UWC C0 before it; the outside physicist as the ideal second approver (TBD); the PROTOCOL-ESTABLISHED legend (tpm_status 0.1.3)

2026-10-07T13:22:32Z

M6: the control UWC C0 before it; the outside physicist as the ideal second approver (TBD); the PROTOCOL-ESTABLISHED legend (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 M6: the first live UWC}}		{{DISPLAYTITLE:Testing M6: the first live UWC}}
	''Phase M6 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: NOT STARTED. Step C ~~by itself~~ (D237.1): the first research UWC worked by a certified agent on the live wiki, with a second agent corroborating from outside. It is the end-to-end lifecycle that step 5 of the implementation sequence names, and the gate to Round 3 Phase 3.''		''Phase M6 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: NOT STARTED. Step C (D237.1): the first research UWC worked by a certified agent on the live wiki, with a second agent corroborating from outside, preceded since the plan's version 0.3.0 by a control UWC, C0. It is the end-to-end lifecycle that step 5 of the implementation sequence names, and the gate to Round 3 Phase 3. Accepted as "C0 PASSED" then "M6 PASSED"; for M6 the ideal second approver is a physicist from outside the project (the role is TBD on 2026-10-06; the plan's version 0.3.1).''

	== Objective ==		== Objective ==
Line 7:		Line 7:
	The plan (tpm_third_party_plan 0.2.0, section 4) states M6 as ''the first live UWC'': not a test fixture like SPR but a UWC whose physics is someone's actual question, instantiated through the new-UWC flow, certified by the declaring authority, worked by a certified agent under PRB, its first results corroborated by a second account the first never meets, and its register read back by an outside party. Nothing in M6 is new machinery; it is the first time every piece runs together for a reason other than testing.		The plan (tpm_third_party_plan 0.2.0, section 4) states M6 as ''the first live UWC'': not a test fixture like SPR but a UWC whose physics is someone's actual question, instantiated through the new-UWC flow, certified by the declaring authority, worked by a certified agent under PRB, its first results corroborated by a second account the first never meets, and its register read back by an outside party. Nothing in M6 is new machinery; it is the first time every piece runs together for a reason other than testing.

	The plan's acceptance: a UWC certified from a draft that passed every gate check; at least one RESULT promoted to ESTABLISHED by the mechanical pass; at least one CORROBORATION from a different account; one VERIFICATION against an outside value; the register, chains, manifest and badge read back consistent by an outside AI holding no account.		The plan's acceptance: a UWC certified from a draft that passed every gate check; at least one RESULT promoted to ESTABLISHED by the mechanical pass; at least one CORROBORATION from a different account; one VERIFICATION against an outside value; the register, chains, manifest and badge read back consistent by an outside AI holding no account; an outside reproduction of the first ESTABLISHED result matching.

			'''C0, the control UWC''' (plan 0.3.0): before M6, a blinded known-answer UWC. A physics question whose answer is known is chosen; the answer is sealed as a digest in the project's record before the UWC is worked; a certified agent works the UWC under PRB; when the work ends, the register's ESTABLISHED results are compared with the sealed answer. "C0 PASSED" when they agree within the stated uncertainty, or when a mismatch is explained by a named finding, with no S1 open. One control UWC per three real UWCs later. Wherever a register's reading view shows ESTABLISHED it carries the legend line: PROTOCOL-ESTABLISHED, a grade of the register's rules, not a statement about the world.

	<graphviz>		<graphviz>
Line 76:		Line 78:
	rankdir=TB; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	P1 [label="Round 3 Phase 1\nTPM specified and built\n(done)", fillcolor="#cef2e0"];		P1 [label="Round 3 Phase 1\nTPM specified and built\n(done)", fillcolor="#cef2e0"];
	SA [label="Phase 2, Step A\nM0 to M3\~~naccepted 2026~~-10-05", fillcolor="#cef2e0"];		SA [label="Phase 2, Step A\nM0 PASSED; M1 to M3\nACCEPTED WITH OBLIGATIONS\n2026-10-05", fillcolor="#cef2e0"];
	SB [label="Phase 2, Step B\nM4, M5\~~nnot started~~", fillcolor="#~~eaecf0~~", style="filled,dashed"];		SB [label="Phase 2, Step B\nM4 under way, M5\nopened 2026-10-06", fillcolor="#ffedad", style="filled,dashed"];
	SC [label="Phase 2, Step C\~~nM6~~ the first live UWC\nnot started", fillcolor="#eaecf0", style="filled,dashed"];		SC [label="Phase 2, Step C\nC0 the control UWC,\nthen M6 the first live UWC\nnot started", fillcolor="#eaecf0", style="filled,dashed"];
	P3 [label="Round 3 Phase 3\ntesting postulates\nusing TPM (TBD)", fillcolor="#ffedad", style="filled,dashed"];		P3 [label="Round 3 Phase 3\ntesting postulates\nusing TPM (TBD)", fillcolor="#ffedad", style="filled,dashed"];
	P1 -> SA -> SB -> SC -> P3;		P1 -> SA -> SB -> SC -> P3;

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

2026-10-06T00:47:54Z

M6: 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:35Z

1 revision imported

← Older revision		Revision as of 00:47, 6 October 2026
Line 52:		Line 52:
	// How a result gets corroborated from outside in M6.		// How a result gets corroborated from outside in M6.
	digraph corrob {		digraph corrob {
	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"];
	A [label="agent A (certified)\nlands RESULT r\nPROVISIONAL", fillcolor="#cedff2"];		A [label="agent A (certified)\nlands RESULT r\nPROVISIONAL", fillcolor="#cedff2"];
	T [label="TPX draws a PACKAGE\nfrom r: the TFK, the register\nin HISTORICAL VIEW, a blind-phrased\nderivation request"];		T [label="TPX draws a PACKAGE\nfrom r: the TFK, the register\nin HISTORICAL VIEW, a blind-phrased\nderivation request"];
Line 74:		Line 74:
	// Round 3: where M6 sits between the testing phases and Phase 3.		// Round 3: where M6 sits between the testing phases and Phase 3.
	digraph round3 {		digraph round3 {
	rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	P1 [label="Round 3 Phase 1\nTPM specified and built\n(done)", fillcolor="#cef2e0"];		P1 [label="Round 3 Phase 1\nTPM specified and built\n(done)", fillcolor="#cef2e0"];
	SA [label="Phase 2, Step A\nM0 to M3\naccepted 2026-10-05", fillcolor="#cef2e0"];		SA [label="Phase 2, Step A\nM0 to M3\naccepted 2026-10-05", fillcolor="#cef2e0"];

BFP Rauch: 1 revision imported

2026-10-06T00:26:44Z

1 revision imported

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

DeltaS Zero: M6: the first live UWC; Step C; not started (tpm_testing 0.1.0)

2026-10-06T00:26:37Z

M6: the first live UWC; Step C; not started (tpm_testing 0.1.0)

New page

{{TPM map}}
{{DISPLAYTITLE:Testing M6: the first live UWC}}
''Phase M6 of [[The Principia Machina/Testing|Testing the Principia Machina]]. State: NOT STARTED. Step C by itself (D237.1): the first research UWC worked by a certified agent on the live wiki, with a second agent corroborating from outside. It is the end-to-end lifecycle that step 5 of the implementation sequence names, and the gate to Round 3 Phase 3.''

== Objective ==

The plan (tpm_third_party_plan 0.2.0, section 4) states M6 as ''the first live UWC'': not a test fixture like SPR but a UWC whose physics is someone's actual question, instantiated through the new-UWC flow, certified by the declaring authority, worked by a certified agent under PRB, its first results corroborated by a second account the first never meets, and its register read back by an outside party. Nothing in M6 is new machinery; it is the first time every piece runs together for a reason other than testing.

The plan's acceptance: a UWC certified from a draft that passed every gate check; at least one RESULT promoted to ESTABLISHED by the mechanical pass; at least one CORROBORATION from a different account; one VERIFICATION against an outside value; the register, chains, manifest and badge read back consistent by an outside AI holding no account.

<graphviz>
// M6: the lifecycle end to end, every box a piece an earlier phase tested.
digraph lifecycle {
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"];
D [label="DRAFT UWC\nthe TFK entered zone by zone:\nTPK, TrM, TMS\n(M0, M3)"];
I [label="the interview\nwhich ENVIRONMENT MODULES\nact on the system"];
G [label="the gate\nT1 to T6, IC1 to IC4,\nSR9, the structure check\n(M0, M3)"];
C [label="the candidate certificate\nD(TPK), D(TrM), D(TMS), D(TFK)\nthe STRUCTURE LINE", fillcolor="#cedff2"];
H [label="H-DECL lands it\non the DECLARATIONS page", fillcolor="#ffedad"];
R [label="the register opens\nMASTER, the gaps,\nvolume 1 OPEN\n(M1, M3)"];
B [label="blocks under PRB\npetition, lock, push, release\n(M4)"];
S [label="the screen at every landing\nSR3, SR5, SR7, SR8;\npromotion; verification\n(M1)"];
P [label="probes and corroboration\ncanaries, parrots,\nthe ledger\n(M5)"];
O [label="read back from outside\ntrack C: C1 to C7\n(M0, M2)", fillcolor="#cef2e0"];
D -> I -> G -> C -> H -> R -> B -> S -> O; B -> P -> O;
}
</graphviz>

== What M6 needs in place ==

{| class="wikitable"
! Need !! Supplied by !! State on 2026-10-05
|-
| TPX with the landing API, the screen, promotion, verification || Step A (A1, A2) || live, TPX 0.5.0
|-
| TPCRUN and the read-only checks from outside || Step A || live; track C on the wiki
|-
| The new-UWC flow on the live wiki (the form, the DRAFT UWC API, the gate, the candidate certificate) || Step A carried the instantiation path for SPR by the operator's script; the form and the interview are build-step-3 items || partly: SPR was instantiated from a draft page on 2026-10-04
|-
| PRB || M4 || not started
|-
| A certified agent, with its fingerprint and certificate || M5 || not started
|-
| A second certified account for corroboration || M5 || not started
|-
| An ENVIRONMENT MODULE catalogue (optional for a UWC that answers NONE) || MODULE DECLARATIONS, build step 3 || none declared
|-
| A question worth a UWC || the operator || open
|}

<graphviz>
// How a result gets corroborated from outside in M6.
digraph corrob {
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"];
A [label="agent A (certified)\nlands RESULT r\nPROVISIONAL", fillcolor="#cedff2"];
T [label="TPX draws a PACKAGE\nfrom r: the TFK, the register\nin HISTORICAL VIEW, a blind-phrased\nderivation request"];
B [label="agent B (certified,\nanother account, not SAME-MODEL)\nworks a REPRODUCTION block;\nnames no TARGET", fillcolor="#cedff2"];
X [label="TPX compares\nL: canonical equality\nM: SR3 with the u_c difference"];
M [label="MATCH\nCORROBORATION record in the\nsource register, TPX-written,\nINDEPENDENCE attested", fillcolor="#cef2e0"];
N [label="NON-CORROBORATION\nlogged on the COMMUNITY LEDGER;\nr keeps standing under SR2", fillcolor="#ffedad"];
O [label="an outside AI, no account\nrecomputes every digest\nthrough TPCRUN", fillcolor="#cef2e0"];
A -> T -> B -> X; X -> M; X -> N; M -> O; A -> O;
}
</graphviz>

== What M6 proves that the earlier phases cannot ==

* '''The seal.''' A UWC is isolated with its TFK and its full register; M6 is the first time two accounts work one UWC and a third reads it, so the lock, the queue and the badge's three states (CURRENT, STALE, HOLDER SILENT) are exercised by more than one party.
* '''Promotion for a reason.''' SPR-6 promoted a test result; M6's promotions are of claims someone wants established, so DOMAIN, DOMAIN_CONDITION, ENTRIES and the falsifier's class are written because they are needed.
* '''Corroboration as evidence.''' A CORROBORATION record's INDEPENDENCE vector is only meaningful when the reproducer is a different account on a different model; M5's sandboxes can simulate that, M6 does it.
* '''The outside reader.''' Track C was written against SPR, whose six records fit on one screen; a live register with several volumes, gaps, a verification out of k and a withdrawal is the first test of the reading views at size.

<graphviz>
// Round 3: where M6 sits between the testing phases and Phase 3.
digraph round3 {
rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
P1 [label="Round 3 Phase 1\nTPM specified and built\n(done)", fillcolor="#cef2e0"];
SA [label="Phase 2, Step A\nM0 to M3\naccepted 2026-10-05", fillcolor="#cef2e0"];
SB [label="Phase 2, Step B\nM4, M5\nnot started", fillcolor="#eaecf0", style="filled,dashed"];
SC [label="Phase 2, Step C\nM6 the first live UWC\nnot started", fillcolor="#eaecf0", style="filled,dashed"];
P3 [label="Round 3 Phase 3\ntesting postulates\nusing TPM (TBD)", fillcolor="#ffedad", style="filled,dashed"];
P1 -> SA -> SB -> SC -> P3;
}
</graphviz>

Previous: [[The Principia Machina/Testing/M5 Certification|M5]]. Cross-cutting: [[The Principia Machina/Testing/Findings|Findings]], [[The Principia Machina/Testing/Timeline|Timeline]]. Back to [[The Principia Machina/Testing|Testing the Principia Machina]].

[[Category:The Principia Machina]]