The Principia Machina/Testing/Obligations - Revision history

DeltaS Zero: Update graphviz: O-1 and O-5 DISCHARGED, M3 PASSED (second approver: TBD)

2026-10-09T06:55:43Z

Update graphviz: O-1 and O-5 DISCHARGED, M3 PASSED (second approver: TBD)

DeltaS Zero: B1 PASSED: O-1 and O-5 discharged; M4 passed under plan 0.3.1 (second approver: TBD)

2026-10-09T06:51:10Z

B1 PASSED: O-1 and O-5 discharged; M4 passed under plan 0.3.1 (second approver: TBD)

← Older revision		Revision as of 06:51, 9 October 2026
Line 28:		Line 28:
	! Id !! Phase !! The criterion owed (the plan's words) !! Discharged by !! The evidence that discharges it !! State on 2026-10-08		! Id !! Phase !! The criterion owed (the plan's words) !! Discharged by !! The evidence that discharges it !! State on 2026-10-08
	\|-		\|-
	\| O-1 \|\| M1 \|\| "a corroboration lands from a different-family reproducer" \|\| Step B, B1: M4's criterion (ii) \|\| a CORROBORATION record on a live register, written by TPX from a REPRODUCTION block worked by a second account of another make than the author's, its INDEPENDENCE attested \|\| ~~built~~, ~~not live~~: ~~TPX 0~~.~~6.0 increment 3 (the named REPRODUCTION~~, ~~TPX's comparison~~, ~~the record~~)~~, gated 2026-10-06~~		\| O-1 \|\| M1 \|\| "a corroboration lands from a different-family reproducer" \|\| Step B, B1: M4's criterion (ii) \|\| a CORROBORATION record on a live register, written by TPX from a REPRODUCTION block worked by a second account of another make than the author's, its INDEPENDENCE attested \|\| DISCHARGED 2026-10-08 (SPB, push B1-OUTSIDE-GEMINI: SPB-18 CORROBORATION of SPB-3 by CH7 AZ, Google DeepMind / Gemini 3.8 Flash, SAME_MODEL false, VENDOR Google DeepMind; derivation e332056e... matched; INDEPENDENCE attested)
	\|-		\|-
	\| O-2 \|\| M1 \|\| "a planted M-M contradiction is struck by the correct rule" \|\| the A3 closeout runner (tpx_a3_closeout.py), run by the operator against TPX 0.5.0 on the sandbox UWC SPZ \|\| on SPZ's register: the push A3-STRIKE after which the live rule strikes two records by SR5, each with its WITHDRAWAL (cause SR5) and its SR5_LOCUS gap, every digest recomputed through TPCRUN; the runner's report pasted into the project \|\| DISCHARGED 2026-10-08 (SPZ, push A3-STRIKE: SPZ-5 and SPZ-11 struck by SR5, WITHDRAWALs SPZ-12 and SPZ-14, SR5_LOCUS gaps SPZ-13 and SPZ-15; 13 of 13 record digests and 2 of 2 list records recomputed through TPCRUN; the push's BUILD CHAIN line; the runner's report in the project)		\| O-2 \|\| M1 \|\| "a planted M-M contradiction is struck by the correct rule" \|\| the A3 closeout runner (tpx_a3_closeout.py), run by the operator against TPX 0.5.0 on the sandbox UWC SPZ \|\| on SPZ's register: the push A3-STRIKE after which the live rule strikes two records by SR5, each with its WITHDRAWAL (cause SR5) and its SR5_LOCUS gap, every digest recomputed through TPCRUN; the runner's report pasted into the project \|\| DISCHARGED 2026-10-08 (SPZ, push A3-STRIKE: SPZ-5 and SPZ-11 struck by SR5, WITHDRAWALs SPZ-12 and SPZ-14, SR5_LOCUS gaps SPZ-13 and SPZ-15; 13 of 13 record digests and 2 of 2 list records recomputed through TPCRUN; the push's BUILD CHAIN line; the runner's report in the project)
Line 36:		Line 36:
	\| O-4 \|\| M3 \|\| "every sandbox command the M0 to M2 sessions ran is replayed against both the sandbox and TPX; digests and grades byte-identical" (the digest wording SUPERSEDED by the plan's 0.3.0: the REPLAY DIGEST) \|\| the A3 closeout runner with the session 1 sandbox UWC's folder (--replay), on a replay UWC the operator declares from the same draft \|\| the runner's report: D(TFK) equal; every record's REPLAY DIGEST (the record digest with BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN, TPS and D_IS set to fixed values in both copies), grade and author-written fields equal; every TPX-written record's content equal \|\| DISCHARGED 2026-10-08 (RP1, declared 2026-10-07 from session 1's PEN draft: D(TFK) equal; 6 of 6 records equal, REPLAY DIGEST, grade and author-written fields; session 1's 15 gate checks replayed live, equal; two refusals not replayed, named in the report)		\| O-4 \|\| M3 \|\| "every sandbox command the M0 to M2 sessions ran is replayed against both the sandbox and TPX; digests and grades byte-identical" (the digest wording SUPERSEDED by the plan's 0.3.0: the REPLAY DIGEST) \|\| the A3 closeout runner with the session 1 sandbox UWC's folder (--replay), on a replay UWC the operator declares from the same draft \|\| the runner's report: D(TFK) equal; every record's REPLAY DIGEST (the record digest with BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN, TPS and D_IS set to fixed values in both copies), grade and author-written fields equal; every TPX-written record's content equal \|\| DISCHARGED 2026-10-08 (RP1, declared 2026-10-07 from session 1's PEN draft: D(TFK) equal; 6 of 6 records equal, REPLAY DIGEST, grade and author-written fields; session 1's 15 gate checks replayed live, equal; two refusals not replayed, named in the report)
	\|-		\|-
	\| O-5 \|\| M3 \|\| the lock by base-revision edit, the queue and the window (owed from the same pass; D-LOCK) \|\| Step B, B1: M4's criterion (iii) \|\| the invariants I1 to I5 of the fault suite holding on the live site under its subset, in the B1 test's report \|\| ~~built, not live: TPX 0.6.0 increment 1 (the lock lifecycle and the execution challenge), gated~~ 2026-10-06		\| O-5 \|\| M3 \|\| the lock by base-revision edit, the queue and the window (owed from the same pass; D-LOCK) \|\| Step B, B1: M4's criterion (iii) \|\| the invariants I1 to I5 of the fault suite holding on the live site under its subset, in the B1 test's report \|\| DISCHARGED 2026-10-08 (B1 test report b1_report_20261008T131341Z: I1 to I5 fault suite holding on live site under its subset, 57 of 57 checks passed)
	\|-		\|-
	\| O-6 \|\| M1 \|\| "HOLD and RELEASE" \|\| Step B, B2 (M5) \|\| a HOLD record written after a failed canary in the sandbox and a RELEASE record after an independent reproduction, on a sandbox register \|\| planned		\| O-6 \|\| M1 \|\| "HOLD and RELEASE" \|\| Step B, B2 (M5) \|\| a HOLD record written after a failed canary in the sandbox and a RELEASE record after an independent reproduction, on a sandbox register \|\| planned
Line 95:		Line 95:
	\| 2026-10-08 \|\| "O-2 discharged", "O-4 discharged", "O-3 discharged" \|\| the operator \|\| O-2, O-3 and O-4 DISCHARGED; M2 PASSED 2026-10-08 (second approver: TBD); M1 and M3 stay ACCEPTED WITH OBLIGATIONS		\| 2026-10-08 \|\| "O-2 discharged", "O-4 discharged", "O-3 discharged" \|\| the operator \|\| O-2, O-3 and O-4 DISCHARGED; M2 PASSED 2026-10-08 (second approver: TBD); M1 and M3 stay ACCEPTED WITH OBLIGATIONS
	\|-		\|-
	\| ~~when due~~ \|\| "B1 PASSED" \|\| the operator; second approver: TBD ~~until the role is filled~~ \|\| M4 PASSED: criteria (i) to (vi) (O-2 and O-4 discharged ~~2026-10-08~~)		\| 2026-10-08 \|\| "B1 PASSED" \|\| the operator; second approver: TBD \|\| M4 PASSED: criteria (i) to (vi) met (O-1 and O-5 discharged; outside session completed by Google DeepMind / Gemini 3.8 Flash on SPB, 8/8 named refusals matched)
	\|-		\|-
	\| when due \|\| "M4 M5 PASSED" \|\| the operator; second approver: TBD until the role is filled \|\| M5 PASSED		\| when due \|\| "M4 M5 PASSED" \|\| the operator; second approver: TBD until the role is filled \|\| M5 PASSED

DeltaS Zero: status batch 0.1.5 (tpm_closeout_m1etc 0.2.0): the diagram laid out left to right, within the column (it rendered 1002 px)

2026-10-08T13:06:46Z

status batch 0.1.5 (tpm_closeout_m1etc 0.2.0): the diagram laid out left to right, within the column (it rendered 1002 px)

← Older revision		Revision as of 13:06, 8 October 2026
Line 46:		Line 46:
	// The six obligations and what discharges each (plan 0.3.0, section 5).		// The six obligations and what discharges each (plan 0.3.0, section 5).
	digraph obligations {		digraph obligations {
	rankdir=TB; nodesep=0.18; ranksep=0.45; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=LR; nodesep=0.18; ranksep=0.45; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	M1 [label="M1\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];		M1 [label="M1\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];
	M2 [label="M2\nPASSED 10-08\n(second approver: TBD)", fillcolor="#cef2e0"];		M2 [label="M2\nPASSED 10-08\n(second approver: TBD)", fillcolor="#cef2e0"];

DeltaS Zero: status batch 0.1.4 (tpm_closeout_m1etc 0.1.0): O-2, O-3 and O-4 DISCHARGED 2026-10-08; M2 PASSED (second approver: TBD); the words recorded

2026-10-08T11:32:44Z

status batch 0.1.4 (tpm_closeout_m1etc 0.1.0): O-2, O-3 and O-4 DISCHARGED 2026-10-08; M2 PASSED (second approver: TBD); the words recorded

BFP Rauch: 1 revision imported

2026-10-07T13:23:22Z

1 revision imported

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

DeltaS Zero: New: the obligations register O-1 to O-6 of plan 0.3.0, the four states of a phase, the second approver (TBD; plan 0.3.1), the words recorded (tpm_status 0.1.3)

2026-10-07T13:22:32Z

New: the obligations register O-1 to O-6 of plan 0.3.0, the four states of a phase, the second approver (TBD; plan 0.3.1), the words recorded (tpm_status 0.1.3)

New page

{{TPM map}}
{{DISPLAYTITLE:Testing: the obligations}}
''The register of every acceptance criterion a phase of [[The Principia Machina/Testing|Testing the Principia Machina]] was accepted without, with the phase or runner that discharges it and its state; the record of the second approver; the four states a phase can be in. Kept from the plan's version 0.3.0, amended 0.3.1 (tpm_third_party_plan, 2026-10-06, sections 2 and 5), which is its source: a row changes only by a new version of the plan, with the old and the new wording side by side; a state changes by the evidence the row names.''

== Why this page exists ==

Two outside reviews of the testing regime (2026-10-06; untrusted input, vetted, kept word for word in the project) found that three phases carried the word "accepted" on 2026-10-05 while named criteria were unmet, and that the unmet criteria were recorded only on the project's ledger. From the plan's version 0.3.0 a phase accepted that way is ACCEPTED WITH OBLIGATIONS, each unmet criterion is a row here, and the phase becomes PASSED only when every row of it is DISCHARGED. Nothing here is closed by argument: a row is discharged by the evidence it names, on a public page or the chain, confirmed by the operator's word "O-n discharged".

== The four states of a phase ==

{| class="wikitable"
! State !! Meaning !! Who records it
|-
| PASSED || every acceptance criterion met by evidence named on the phase's page; no S1 finding open || the operator's word with its date; the second approver's word beside it when that role is filled, and the mark "second approver: TBD" while it is not
|-
| ACCEPTED WITH OBLIGATIONS || the operator accepted the phase by a recorded word while named criteria were unmet; each is a row below; PASSED when every row of the phase is discharged, dated at the last discharge || the operator's word; the discharges by evidence
|-
| SUPERSEDED || the phase, or one of its criteria, was replaced by a later version of the plan, the old and the new wording side by side in the plan's change record || the plan version; the second approver's word where that role is filled
|-
| FAILED || the phase failed its retest twice (the HALT rule), or an S1 finding stayed open past the fix budget; the operator re-scopes it || the operator
|}

An acceptance criterion, a row's evidence or a state's definition changes only by a new version of the plan, never in the same act as an acceptance and never by a page edit alone.

== The register ==

{| class="wikitable"
! Id !! Phase !! The criterion owed (the plan's words) !! Discharged by !! The evidence that discharges it !! State on 2026-10-06
|-
| O-1 || M1 || "a corroboration lands from a different-family reproducer" || Step B, B1: M4's criterion (ii) || a CORROBORATION record on a live register, written by TPX from a REPRODUCTION block worked by a second account of another make than the author's, its INDEPENDENCE attested || built, not live: TPX 0.6.0 increment 3 (the named REPRODUCTION, TPX's comparison, the record), gated 2026-10-06
|-
| O-2 || M1 || "a planted M-M contradiction is struck by the correct rule" || the A3 closeout runner (tpx_a3_closeout.py), run by the operator against TPX 0.5.0 on the sandbox UWC SPZ || on SPZ's register: the push A3-STRIKE after which the live rule strikes two records by SR5, each with its WITHDRAWAL (cause SR5) and its SR5_LOCUS gap, every digest recomputed through TPCRUN; the runner's report pasted into the project || open
|-
| O-3 || M2 || "at least 100 tester-written cases across at least 10 TPS sections, with every mismatch triaged" || the M2 sessions under [[The Principia Machina/Hub/Outside AI/M2 The calculator from the specification|the M2 brief]] (the tester computes its expectations with its own code from TPS text) || the session reports in the project, FORMAT 4, their CASES sections counted: 100 cases, 10 sections, each MISS triaged || 0 of 100
|-
| O-4 || M3 || "every sandbox command the M0 to M2 sessions ran is replayed against both the sandbox and TPX; digests and grades byte-identical" (the digest wording SUPERSEDED by the plan's 0.3.0: the REPLAY DIGEST) || the A3 closeout runner with the session 1 sandbox UWC's folder (--replay), on a replay UWC the operator declares from the same draft || the runner's report: D(TFK) equal; every record's REPLAY DIGEST (the record digest with BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN, TPS and D_IS set to fixed values in both copies), grade and author-written fields equal; every TPX-written record's content equal || open; the folder is to be given to the runner
|-
| O-5 || M3 || the lock by base-revision edit, the queue and the window (owed from the same pass; D-LOCK) || Step B, B1: M4's criterion (iii) || the invariants I1 to I5 of the fault suite holding on the live site under its subset, in the B1 test's report || built, not live: TPX 0.6.0 increment 1 (the lock lifecycle and the execution challenge), gated 2026-10-06
|-
| O-6 || M1 || "HOLD and RELEASE" || Step B, B2 (M5) || a HOLD record written after a failed canary in the sandbox and a RELEASE record after an independent reproduction, on a sandbox register || planned
|}

The state words of a row: open; built, not live; n of m; planned; DISCHARGED <date> (the evidence); SUPERSEDED (the plan version).

<graphviz>
// The six obligations and what discharges each (plan 0.3.0, section 5).
digraph obligations {
rankdir=TB; nodesep=0.18; ranksep=0.45; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
M1 [label="M1\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];
M2 [label="M2\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];
M3 [label="M3\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];
O1 [label="O-1 a corroboration from\na different-family\nreproducer, live", fillcolor="#eaecf0"];
O2 [label="O-2 a planted\ncontradiction struck\nlive by SR5", fillcolor="#eaecf0"];
O6 [label="O-6 HOLD\nand RELEASE", fillcolor="#eaecf0"];
O3 [label="O-3 100 tester-written\ncases, 10 TPS sections", fillcolor="#eaecf0"];
O4 [label="O-4 the session 1 UWC\nreplayed: REPLAY\nDIGEST equal", fillcolor="#eaecf0"];
O5 [label="O-5 the lock, the queue\nand the window, live", fillcolor="#eaecf0"];
A3 [label="the A3 closeout runner\n(before TPX 0.6.0)", fillcolor="#cedff2"];
M2S [label="the M2 sessions\n(the M2 brief)", fillcolor="#cedff2"];
B1 [label="B1: M4 (ii), (iii)\n\"B1 PASSED\"", fillcolor="#cef2e0"];
B2 [label="B2: M5\n\"M4 M5 PASSED\"", fillcolor="#cef2e0"];
M1 -> O1; M1 -> O2; M1 -> O6; M2 -> O3; M3 -> O4; M3 -> O5;
O1 -> B1; O5 -> B1; O2 -> A3; O4 -> A3; O3 -> M2S; O6 -> B2;
{rank=same; M1; M2; M3;}
{rank=same; O1; O2; O6; O3; O4; O5;}
{rank=same; B1; A3; M2S; B2;}
}
</graphviz>

== The second approver ==

From the plan's version 0.3.0 a person who is not the operator countersigns, by a recorded word, every change of an acceptance criterion and every PASSED. The ideal holder of the role, in the operator's words of 2026-10-06 (the plan's version 0.3.1), is a dually qualified physicist from outside the project, or the closest available match possible for realistic support of the project; for a new-physics claim (M6 on) the ideal is the outside physicist. The role is not yet filled, and the record reads SECOND APPROVER: TBD, "to be determined": the plan calls for a second approver, the ideal is not yet met, and nothing is blocked by it. Until the role is filled, a PASSED and a change of a criterion are valid on the operator's word alone and are marked "second approver: TBD" in the table below. When the operator fills the role ("SECOND APPROVER: <name>", recorded here with the date), the approver reads every word so marked and countersigns it, or names what it refuses; a refusal is a finding, triaged like any other, and undoes no state by itself. The approver's words are recorded here with their dates, and in the project.

{| class="wikitable"
! Role !! Who !! Since
|-
| The operator (H-DECL, H-OP) || BFP_Rauch || 2026-09-30
|-
| The second approver || SECOND APPROVER: TBD (to be determined; 2026-10-06). The ideal holder: a dually qualified physicist from outside the project, or the closest available match possible for realistic support of the project. Until the role is filled, each PASSED and each change of a criterion below carries the mark "second approver: TBD" for countersignature || –
|}

== The words recorded ==

{| class="wikitable"
! Date (UTC) !! Word !! By !! Read under the states of plan 0.3.0 (the second approver's rule of 0.3.1) as
|-
| 2026-10-04 (recorded) || "M0 accepted" || the operator || M0 PASSED (its record criteria met on SPR, 2026-10-04 and 2026-10-05)
|-
| 2026-10-04 || "A1 accepted" || the operator || the A1 deploy's acceptance (TPX 0.4.0)
|-
| 2026-10-05 || "A2 accepted, M1 M2 M3 accepted" || the operator || M1, M2, M3 ACCEPTED WITH OBLIGATIONS (O-1 to O-6)
|-
| 2026-10-06 || the selections D250.1 to D255.1 and the correction of D252.2 (the plan's versions 0.3.0 and 0.3.1: the criteria restated old and new side by side, the second approver's rule) || the operator; second approver: TBD || the criterion changes of the plan's change record stand on the operator's word, marked for the second approver's countersignature when the role is filled
|-
| when due || "B1 PASSED" || the operator; second approver: TBD until the role is filled || M4 PASSED: criteria (i) to (vi), and O-2 and O-4 discharged first
|-
| when due || "M4 M5 PASSED" || the operator; second approver: TBD until the role is filled || M5 PASSED
|-
| when due || "C0 PASSED", then "M6 PASSED" || the operator; second approver: TBD until the role is filled (the ideal for M6: an outside physicist) || Step C
|}

Back to [[The Principia Machina/Testing|Testing the Principia Machina]]. Phases: [[The Principia Machina/Testing/M1 The register duties|M1]], [[The Principia Machina/Testing/M2 The calculator from the specification|M2]], [[The Principia Machina/Testing/M3 TPX, the smallest server|M3]], [[The Principia Machina/Testing/M4 PRB, the smallest client|M4]]. See also [[The Principia Machina/Testing/Findings|Findings]] and [[The Principia Machina/Testing/Step A, the deploys A1 and A2|Step A]].

[[Category:The Principia Machina]]

← Older revision		Revision as of 06:55, 9 October 2026
Line 47:		Line 47:
	digraph obligations {		digraph obligations {
	rankdir=LR; nodesep=0.18; ranksep=0.45; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=LR; nodesep=0.18; ranksep=0.45; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	M1 [label="M1\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];		M1 [label="M1\nACCEPTED WITH\nOBLIGATIONS 10-05\nO-6", fillcolor="#ffedad"];
	M2 [label="M2\nPASSED 10-08\n(second approver: TBD)", fillcolor="#cef2e0"];		M2 [label="M2\nPASSED 10-08\n(second approver: TBD)", fillcolor="#cef2e0"];
	M3 [label="M3\~~nACCEPTED WITH\nOBLIGATIONS~~ 10-05", fillcolor="#~~ffedad~~"];		M3 [label="M3\nPASSED 10-08\n(second approver: TBD)", fillcolor="#cef2e0"];
	O1 [label="O-1 a corroboration from\na different-family\nreproducer, live", fillcolor="#~~eaecf0~~"];		O1 [label="O-1 a corroboration from\na different-family\nreproducer, live\nDISCHARGED 10-08", fillcolor="#cef2e0"];
	O2 [label="O-2 a planted\ncontradiction struck\nlive by SR5\nDISCHARGED 10-08", fillcolor="#cef2e0"];		O2 [label="O-2 a planted\ncontradiction struck\nlive by SR5\nDISCHARGED 10-08", fillcolor="#cef2e0"];
	O6 [label="O-6 HOLD\nand RELEASE", fillcolor="#eaecf0"];		O6 [label="O-6 HOLD\nand RELEASE", fillcolor="#eaecf0"];
	O3 [label="O-3 100 tester-written\ncases, 10 TPS sections\nDISCHARGED 10-08", fillcolor="#cef2e0"];		O3 [label="O-3 100 tester-written\ncases, 10 TPS sections\nDISCHARGED 10-08", fillcolor="#cef2e0"];
	O4 [label="O-4 the session 1 UWC\nreplayed: REPLAY\nDIGEST equal\nDISCHARGED 10-08", fillcolor="#cef2e0"];		O4 [label="O-4 the session 1 UWC\nreplayed: REPLAY\nDIGEST equal\nDISCHARGED 10-08", fillcolor="#cef2e0"];
	O5 [label="O-5 the lock, the queue\nand the window, live", fillcolor="#~~eaecf0~~"];		O5 [label="O-5 the lock, the queue\nand the window, live\nDISCHARGED 10-08", fillcolor="#cef2e0"];
	A3 [label="the A3 closeout runner\n(before TPX 0.6.0)", fillcolor="#cedff2"];		A3 [label="the A3 closeout runner\n(before TPX 0.6.0)", fillcolor="#cedff2"];
	M2S [label="the M2 sessions\n(the M2 brief)", fillcolor="#cedff2"];		M2S [label="the M2 sessions\n(the M2 brief)", fillcolor="#cedff2"];

← Older revision		Revision as of 11:32, 8 October 2026
Line 26:		Line 26:

	{\| class="wikitable"		{\| class="wikitable"
	! Id !! Phase !! The criterion owed (the plan's words) !! Discharged by !! The evidence that discharges it !! State on 2026-10-06		! Id !! Phase !! The criterion owed (the plan's words) !! Discharged by !! The evidence that discharges it !! State on 2026-10-08
	\|-		\|-
	\| O-1 \|\| M1 \|\| "a corroboration lands from a different-family reproducer" \|\| Step B, B1: M4's criterion (ii) \|\| a CORROBORATION record on a live register, written by TPX from a REPRODUCTION block worked by a second account of another make than the author's, its INDEPENDENCE attested \|\| built, not live: TPX 0.6.0 increment 3 (the named REPRODUCTION, TPX's comparison, the record), gated 2026-10-06		\| O-1 \|\| M1 \|\| "a corroboration lands from a different-family reproducer" \|\| Step B, B1: M4's criterion (ii) \|\| a CORROBORATION record on a live register, written by TPX from a REPRODUCTION block worked by a second account of another make than the author's, its INDEPENDENCE attested \|\| built, not live: TPX 0.6.0 increment 3 (the named REPRODUCTION, TPX's comparison, the record), gated 2026-10-06
	\|-		\|-
	\| O-2 \|\| M1 \|\| "a planted M-M contradiction is struck by the correct rule" \|\| the A3 closeout runner (tpx_a3_closeout.py), run by the operator against TPX 0.5.0 on the sandbox UWC SPZ \|\| on SPZ's register: the push A3-STRIKE after which the live rule strikes two records by SR5, each with its WITHDRAWAL (cause SR5) and its SR5_LOCUS gap, every digest recomputed through TPCRUN; the runner's report pasted into the project \|\| ~~open~~		\| O-2 \|\| M1 \|\| "a planted M-M contradiction is struck by the correct rule" \|\| the A3 closeout runner (tpx_a3_closeout.py), run by the operator against TPX 0.5.0 on the sandbox UWC SPZ \|\| on SPZ's register: the push A3-STRIKE after which the live rule strikes two records by SR5, each with its WITHDRAWAL (cause SR5) and its SR5_LOCUS gap, every digest recomputed through TPCRUN; the runner's report pasted into the project \|\| DISCHARGED 2026-10-08 (SPZ, push A3-STRIKE: SPZ-5 and SPZ-11 struck by SR5, WITHDRAWALs SPZ-12 and SPZ-14, SR5_LOCUS gaps SPZ-13 and SPZ-15; 13 of 13 record digests and 2 of 2 list records recomputed through TPCRUN; the push's BUILD CHAIN line; the runner's report in the project)
	\|-		\|-
	\| O-3 \|\| M2 \|\| "at least 100 tester-written cases across at least 10 TPS sections, with every mismatch triaged" \|\| the M2 sessions under [[The Principia Machina/Hub/Outside AI/M2 The calculator from the specification\|the M2 brief]] (the tester computes its expectations with its own code from TPS text) \|\| the session reports in the project, FORMAT 4, their CASES sections counted: 100 cases, 10 sections, each MISS triaged \|\| 0 ~~of 100~~		\| O-3 \|\| M2 \|\| "at least 100 tester-written cases across at least 10 TPS sections, with every mismatch triaged" \|\| the M2 sessions under [[The Principia Machina/Hub/Outside AI/M2 The calculator from the specification\|the M2 brief]] (the tester computes its expectations with its own code from TPS text) \|\| the session reports in the project, FORMAT 4, their CASES sections counted: 100 cases, 10 sections, each MISS triaged \|\| DISCHARGED 2026-10-08 (seven M2 sessions under the M2 brief, 2026-10-08: 254 cases with a result, 136 distinct, citing 11 TPS section pages; 14 mismatches, each triaged, no calculator or TPS defect, S1 0; the reports and the triages in the project)
	\|-		\|-
	\| O-4 \|\| M3 \|\| "every sandbox command the M0 to M2 sessions ran is replayed against both the sandbox and TPX; digests and grades byte-identical" (the digest wording SUPERSEDED by the plan's 0.3.0: the REPLAY DIGEST) \|\| the A3 closeout runner with the session 1 sandbox UWC's folder (--replay), on a replay UWC the operator declares from the same draft \|\| the runner's report: D(TFK) equal; every record's REPLAY DIGEST (the record digest with BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN, TPS and D_IS set to fixed values in both copies), grade and author-written fields equal; every TPX-written record's content equal \|\| ~~open~~; the ~~folder is to be given to the runner~~		\| O-4 \|\| M3 \|\| "every sandbox command the M0 to M2 sessions ran is replayed against both the sandbox and TPX; digests and grades byte-identical" (the digest wording SUPERSEDED by the plan's 0.3.0: the REPLAY DIGEST) \|\| the A3 closeout runner with the session 1 sandbox UWC's folder (--replay), on a replay UWC the operator declares from the same draft \|\| the runner's report: D(TFK) equal; every record's REPLAY DIGEST (the record digest with BLOCK, AUTHOR, LANDED_BY, LANDED, VETTED_IN, TPS and D_IS set to fixed values in both copies), grade and author-written fields equal; every TPX-written record's content equal \|\| DISCHARGED 2026-10-08 (RP1, declared 2026-10-07 from session 1's PEN draft: D(TFK) equal; 6 of 6 records equal, REPLAY DIGEST, grade and author-written fields; session 1's 15 gate checks replayed live, equal; two refusals not replayed, named in the report)
	\|-		\|-
	\| O-5 \|\| M3 \|\| the lock by base-revision edit, the queue and the window (owed from the same pass; D-LOCK) \|\| Step B, B1: M4's criterion (iii) \|\| the invariants I1 to I5 of the fault suite holding on the live site under its subset, in the B1 test's report \|\| built, not live: TPX 0.6.0 increment 1 (the lock lifecycle and the execution challenge), gated 2026-10-06		\| O-5 \|\| M3 \|\| the lock by base-revision edit, the queue and the window (owed from the same pass; D-LOCK) \|\| Step B, B1: M4's criterion (iii) \|\| the invariants I1 to I5 of the fault suite holding on the live site under its subset, in the B1 test's report \|\| built, not live: TPX 0.6.0 increment 1 (the lock lifecycle and the execution challenge), gated 2026-10-06
Line 48:		Line 48:
	rankdir=TB; nodesep=0.18; ranksep=0.45; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];		rankdir=TB; nodesep=0.18; ranksep=0.45; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	M1 [label="M1\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];		M1 [label="M1\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];
	M2 [label="M2\~~nACCEPTED WITH\nOBLIGATIONS~~ 10-05", fillcolor="#~~ffedad~~"];		M2 [label="M2\nPASSED 10-08\n(second approver: TBD)", fillcolor="#cef2e0"];
	M3 [label="M3\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];		M3 [label="M3\nACCEPTED WITH\nOBLIGATIONS 10-05", fillcolor="#ffedad"];
	O1 [label="O-1 a corroboration from\na different-family\nreproducer, live", fillcolor="#eaecf0"];		O1 [label="O-1 a corroboration from\na different-family\nreproducer, live", fillcolor="#eaecf0"];
	O2 [label="O-2 a planted\ncontradiction struck\nlive by SR5", fillcolor="#~~eaecf0~~"];		O2 [label="O-2 a planted\ncontradiction struck\nlive by SR5\nDISCHARGED 10-08", fillcolor="#cef2e0"];
	O6 [label="O-6 HOLD\nand RELEASE", fillcolor="#eaecf0"];		O6 [label="O-6 HOLD\nand RELEASE", fillcolor="#eaecf0"];
	O3 [label="O-3 100 tester-written\ncases, 10 TPS sections", fillcolor="#~~eaecf0~~"];		O3 [label="O-3 100 tester-written\ncases, 10 TPS sections\nDISCHARGED 10-08", fillcolor="#cef2e0"];
	O4 [label="O-4 the session 1 UWC\nreplayed: REPLAY\nDIGEST equal", fillcolor="#~~eaecf0~~"];		O4 [label="O-4 the session 1 UWC\nreplayed: REPLAY\nDIGEST equal\nDISCHARGED 10-08", fillcolor="#cef2e0"];
	O5 [label="O-5 the lock, the queue\nand the window, live", fillcolor="#eaecf0"];		O5 [label="O-5 the lock, the queue\nand the window, live", fillcolor="#eaecf0"];
	A3 [label="the A3 closeout runner\n(before TPX 0.6.0)", fillcolor="#cedff2"];		A3 [label="the A3 closeout runner\n(before TPX 0.6.0)", fillcolor="#cedff2"];
Line 93:		Line 93:
	\| 2026-10-06 \|\| the selections D250.1 to D255.1 and the correction of D252.2 (the plan's versions 0.3.0 and 0.3.1: the criteria restated old and new side by side, the second approver's rule) \|\| the operator; second approver: TBD \|\| the criterion changes of the plan's change record stand on the operator's word, marked for the second approver's countersignature when the role is filled		\| 2026-10-06 \|\| the selections D250.1 to D255.1 and the correction of D252.2 (the plan's versions 0.3.0 and 0.3.1: the criteria restated old and new side by side, the second approver's rule) \|\| the operator; second approver: TBD \|\| the criterion changes of the plan's change record stand on the operator's word, marked for the second approver's countersignature when the role is filled
	\|-		\|-
	\| when due \|\| "B1 PASSED" \|\| the operator; second approver: TBD until the role is filled \|\| M4 PASSED: criteria (i) to (vi)~~, and~~ O-2 and O-4 discharged ~~first~~		\| 2026-10-08 \|\| "O-2 discharged", "O-4 discharged", "O-3 discharged" \|\| the operator \|\| O-2, O-3 and O-4 DISCHARGED; M2 PASSED 2026-10-08 (second approver: TBD); M1 and M3 stay ACCEPTED WITH OBLIGATIONS
			\|-
			\| when due \|\| "B1 PASSED" \|\| the operator; second approver: TBD until the role is filled \|\| M4 PASSED: criteria (i) to (vi) (O-2 and O-4 discharged 2026-10-08)
	\|-		\|-
	\| when due \|\| "M4 M5 PASSED" \|\| the operator; second approver: TBD until the role is filled \|\| M5 PASSED		\| when due \|\| "M4 M5 PASSED" \|\| the operator; second approver: TBD until the role is filled \|\| M5 PASSED
Line 103:		Line 105:

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