The Principia Machina/Testing/M1 The register duties - Revision history

DeltaS Zero: status batch 0.1.4 (tpm_closeout_m1etc 0.1.0): O-2 DISCHARGED 2026-10-08; D256.1 built

2026-10-08T11:32:46Z

status batch 0.1.4 (tpm_closeout_m1etc 0.1.0): O-2 DISCHARGED 2026-10-08; D256.1 built

← Older revision		Revision as of 11:32, 8 October 2026
Line 1:		Line 1:
	{{TPM map}}		{{TPM map}}
	{{DISPLAYTITLE:Testing M1: the register's research duties}}		{{DISPLAYTITLE:Testing M1: the register's research duties}}
	''Phase M1 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: ACCEPTED WITH OBLIGATIONS 2026-10-05, with M2 and M3, as Step A (the operator's words: "A2 accepted, M1 M2 M3 accepted"). Built as TPX 0.5.0, the A2 deploy. Three of the plan's criteria were unmet at the acceptance and are the obligations O-1, O-2 and O-6 on [[The Principia Machina/Testing/Obligations\|Obligations]]; the phase becomes PASSED when ~~they~~ are ~~discharged~~.''		''Phase M1 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: ACCEPTED WITH OBLIGATIONS 2026-10-05, with M2 and M3, as Step A (the operator's words: "A2 accepted, M1 M2 M3 accepted"). Built as TPX 0.5.0, the A2 deploy. Three of the plan's criteria were unmet at the acceptance and are the obligations O-1, O-2 and O-6 on [[The Principia Machina/Testing/Obligations\|Obligations]]; O-2 was discharged on 2026-10-08 (the A3 closeout's run on SPZ), and the phase becomes PASSED when O-1 and O-6 are.''

	== Objective ==		== Objective ==
Line 96:		Line 96:
	\| HOLD and RELEASE \|\| '''Obligation O-6.''' Deferred to Step B by the operator on 2026-10-04, with the reserved identifier range (D247.1); the range is built as B1 increment 2; HOLD and RELEASE are M5's (B2).		\| HOLD and RELEASE \|\| '''Obligation O-6.''' Deferred to Step B by the operator on 2026-10-04, with the reserved identifier range (D247.1); the range is built as B1 increment 2; HOLD and RELEASE are M5's (B2).
	\|-		\|-
	\| A planted M-M contradiction struck on the live wiki \|\| '''Obligation O-2.''' ~~Not~~ run live on 2026-10-05: the optional sandbox run (prefix SPZ) lapsed as an acceptance step. The A3 closeout runner (tpx_a3_closeout.py, run once by the operator against TPX 0.5.0 on a UWC he declares as SPZ) plants it: first three M records of E_z 500 standard uncertainties apart, which the live rule leaves standing (SR8's scaling bounds the post-scaling pair statistic by about the square root of N - 1, so no three-record group can contradict at k = 2 whatever its separation; shown live, information); then six more records, after which the rule strikes two by SR5, each with its WITHDRAWAL and SR5_LOCUS gap. The expected identifiers and records are fixed in the runner from the offline run of the same code. The same rule fired in the workspace gates (eleven records).		\| A planted M-M contradiction struck on the live wiki \|\| '''Obligation O-2, DISCHARGED 2026-10-08.''' The A3 closeout runner ran once on 2026-10-07, 23:10 to 23:15 UTC, against TPX 0.5.0 on SPZ: the push A3-LIMIT landed SPZ-2 to SPZ-5 and struck nothing, as stated below; the push A3-STRIKE landed SPZ-6 to SPZ-11, after which the live rule struck SPZ-5 and SPZ-11 by SR5 (each by SPZ-10, d (1, 1) against (0, 1)) with the WITHDRAWALs SPZ-12 and SPZ-14 and the SR5_LOCUS gaps SPZ-13 and SPZ-15; 13 of 13 record digests and 2 of 2 list records recomputed through TPCRUN ([[Special:TpmRegister/SPZ\|SPZ's register]]). The plan before the run: not run live on 2026-10-05: the optional sandbox run (prefix SPZ) lapsed as an acceptance step. The A3 closeout runner (tpx_a3_closeout.py, run once by the operator against TPX 0.5.0 on a UWC he declares as SPZ) plants it: first three M records of E_z 500 standard uncertainties apart, which the live rule leaves standing (SR8's scaling bounds the post-scaling pair statistic by about the square root of N - 1, so no three-record group can contradict at k = 2 whatever its separation; shown live, information); then six more records, after which the rule strikes two by SR5, each with its WITHDRAWAL and SR5_LOCUS gap. The expected identifiers and records are fixed in the runner from the offline run of the same code. The same rule fired in the workspace gates (eleven records).
	\|-		\|-
	\| The named-function command \|\| Live as the read-only operation TPCRUN (see [[The Principia Machina/Testing/M2 The calculator from the specification\|M2]]).		\| The named-function command \|\| Live as the read-only operation TPCRUN (see [[The Principia Machina/Testing/M2 The calculator from the specification\|M2]]).
Line 102:		Line 102:

	<graphviz>		<graphviz>
	// M1's plan items on 2026-10-06: done live, proven in the workspace, or an obligation.		// M1's plan items on 2026-10-08: done live, proven in the workspace, or an obligation.
	digraph m1status {		digraph m1status {
	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=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
Line 108:		Line 108:
	W [label="PROVEN IN THE WORKSPACE\nSR3, SR5, SR7, SR6, SR8\nwithdrawals and cascade\naudit-block page\n(123 of 123; parity 648 of 648)", fillcolor="#cedff2"];		W [label="PROVEN IN THE WORKSPACE\nSR3, SR5, SR7, SR6, SR8\nwithdrawals and cascade\naudit-block page\n(123 of 123; parity 648 of 648)", fillcolor="#cedff2"];
	B [label="OBLIGATIONS O-1, O-6\nCORROBORATION landing (B1 inc 3,\nlive at M4 (ii)); HOLD and RELEASE (B2);\nthe reserved range (B1 inc 2)", fillcolor="#ffedad"];		B [label="OBLIGATIONS O-1, O-6\nCORROBORATION landing (B1 inc 3,\nlive at M4 (ii)); HOLD and RELEASE (B2);\nthe reserved range (B1 inc 2)", fillcolor="#ffedad"];
	N [label="~~OBLIGATION~~ O-2\na planted M-M strike, live:\~~nthe A3 closeout runner on~~ SPZ\n(~~push~~ A3-~~LIMIT, then A3~~-~~STRIKE~~)", fillcolor="#~~ffedad~~"];		N [label="O-2 DISCHARGED 10-08\na planted M-M strike, live:\nSPZ-5 and SPZ-11 struck by SR5\n(the A3 closeout, 2026-10-07)", fillcolor="#cef2e0"];
	M1 [label="M1\nthe register's\nresearch duties", fontsize=10];		M1 [label="M1\nthe register's\nresearch duties", fontsize=10];
	M1 -> L; M1 -> W; M1 -> B; M1 -> N;		M1 -> L; M1 -> W; M1 -> B; M1 -> N;
Line 116:		Line 116:
	== Findings carried out of M1 ==		== Findings carried out of M1 ==

	F-VIEW-1: the register view shows no WHAT text for a VERIFICATION row (cosmetic; B1 increment 4). D-SUPCITE: the specification is silent on a superseding record citing what it supersedes (the next TPS revision). D-REC96: the operator's test script cuts a refusal message at 160 characters (display only; the B1 test script). D-RANGE: the reserved identifier range (built, B1 increment 2). D-SR1 as before. D-INT-1 (SR8 neutralizes every two-record contradiction) became the decision D250 on 2026-10-06: the user selected scaling at N >= 3 only (D250.1, for the next TPS revision and TPX 0.6.0), and the bound at N >= 3 found by the A3 runner's offline run ~~is a~~ reopened ~~item~~, ~~D256~~. All on [[The Principia Machina/Testing/Findings\|Findings]].		F-VIEW-1: the register view shows no WHAT text for a VERIFICATION row (cosmetic; B1 increment 4). D-SUPCITE: the specification is silent on a superseding record citing what it supersedes (the next TPS revision). D-REC96: the operator's test script cuts a refusal message at 160 characters (display only; the B1 test script). D-RANGE: the reserved identifier range (built, B1 increment 2). D-SR1 as before. D-INT-1 (SR8 neutralizes every two-record contradiction) became the decision D250 on 2026-10-06: the user selected scaling at N >= 3 only (D250.1, for the next TPS revision and TPX 0.6.0), and the bound at N >= 3 found by the A3 runner's offline run was reopened as D256 and taken on 2026-10-07 as D256.1 (pair-excluded scaling, N = 2 and 3 unscaled; confirmed the same day), built as B1 increment 5 and live with TPX 0.6.0; the TPS text follows at its next revision. All on [[The Principia Machina/Testing/Findings\|Findings]].

	Previous: [[The Principia Machina/Testing/M0 Outside AI and the sandbox\|M0]]. Next: [[The Principia Machina/Testing/M2 The calculator from the specification\|M2]]. The deploy record: [[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]]. Back to [[The Principia Machina/Testing\|Testing the Principia Machina]].		Previous: [[The Principia Machina/Testing/M0 Outside AI and the sandbox\|M0]]. Next: [[The Principia Machina/Testing/M2 The calculator from the specification\|M2]]. The deploy record: [[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]]. Back to [[The Principia Machina/Testing\|Testing the Principia Machina]].

	[[Category:The Principia Machina]]		[[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: M1: ACCEPTED WITH OBLIGATIONS; O-1, O-2, O-6; the A3 planted strike; D250 and D256 (tpm_status 0.1.3)

2026-10-07T13:22:32Z

M1: ACCEPTED WITH OBLIGATIONS; O-1, O-2, O-6; the A3 planted strike; D250 and D256 (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 M1: the register's research duties}}		{{DISPLAYTITLE:Testing M1: the register's research duties}}
	''Phase M1 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: ~~accepted~~ 2026-10-05, with M2 and M3, as Step A (the operator's words: "A2 accepted, M1 M2 M3 accepted"). Built as TPX 0.5.0, the A2 deploy~~; corroboration landing~~ and ~~HOLD~~/~~RELEASE moved to Step B~~.''		''Phase M1 of [[The Principia Machina/Testing\|Testing the Principia Machina]]. State: ACCEPTED WITH OBLIGATIONS 2026-10-05, with M2 and M3, as Step A (the operator's words: "A2 accepted, M1 M2 M3 accepted"). Built as TPX 0.5.0, the A2 deploy. Three of the plan's criteria were unmet at the acceptance and are the obligations O-1, O-2 and O-6 on [[The Principia Machina/Testing/Obligations\|Obligations]]; the phase becomes PASSED when they are discharged.''

	== Objective ==		== Objective ==
Line 61:		Line 61:
	Three ways, as every Step A deploy: the operator's own script on the live site, an outside AI holding no account, and the builder's read-only recheck.		Three ways, as every Step A deploy: the operator's own script on the live site, an outside AI holding no account, and the builder's read-only recheck.

	* '''The operator's live test''' (tpx_a2_test.py, 2026-10-05 01:42 UTC, 15 checks): sign in; the TPX version is 0.5.0; the state before (SPR DECLARED, 4 records, next SPR-5); a push for another account is refused; a VERIFICATION with a wrong DIFFERENCE is refused (REC-96) and nothing of either refusal lands; the push lands SPR-5, a VERIFICATION of SPR-4 within k, and the pass promotes SPR-3 in SPR-6, a PROMOTION record; SPR-1 to SPR-6 read back contiguous; five stored digests and the PROMOTION record's digest recomputed through TPCRUN; the DIFFERENCE recomputed; the grades read back (SPR-3 ESTABLISHED, SPR-4 PROVISIONAL); the reading views; the build chain's four lines, every hash recomputed and linked; the state after (6 records, next SPR-7). Result: PASS, 15 of 15.		* '''The operator's live test''' (tpx_a2_test.py, a script the builder wrote and the operator ran; 2026-10-05 01:42 UTC, 15 checks): sign in; the TPX version is 0.5.0; the state before (SPR DECLARED, 4 records, next SPR-5); a push for another account is refused; a VERIFICATION with a wrong DIFFERENCE is refused (REC-96) and nothing of either refusal lands; the push lands SPR-5, a VERIFICATION of SPR-4 within k, and the pass promotes SPR-3 in SPR-6, a PROMOTION record; SPR-1 to SPR-6 read back contiguous; five stored digests and the PROMOTION record's digest recomputed through TPCRUN; the DIFFERENCE recomputed; the grades read back (SPR-3 ESTABLISHED, SPR-4 PROVISIONAL); the reading views; the build chain's four lines, every hash recomputed and linked; the state after (6 records, next SPR-7). Result: PASS, 15 of 15.
	* '''The outside AI''' (Gemini, by its own statement; 2026-10-05 01:53 UTC, read-only): checks C1 to C7 of the brief – the state, the six records and their fields, five digests and the PROMOTION record recomputed, the DIFFERENCE, the grades, the ENTRY VIEW of E_x, the build chain. Result: PASS.		* '''The outside AI''' (Gemini, by its own statement; 2026-10-05 01:53 UTC, read-only): checks C1 to C7 of the brief – the state, the six records and their fields, five digests and the PROMOTION record recomputed, the DIFFERENCE, the grades, the ENTRY VIEW of E_x, the build chain. Result: PASS.
	* '''The builder's recheck''' (about 02:00 UTC, anonymous, ten API calls eight seconds apart): C1 to C7 PASS; one cosmetic finding, F-VIEW-1.		* '''The builder's recheck''' (about 02:00 UTC, anonymous, ten API calls eight seconds apart): C1 to C7 PASS; one cosmetic finding, F-VIEW-1.
Line 92:		Line 92:
	\| Promotion; verification against an outside value \|\| Live and tested: SPR-6 promoted SPR-3; SPR-5 verified SPR-4 within k.		\| Promotion; verification against an outside value \|\| Live and tested: SPR-6 promoted SPR-3; SPR-5 verified SPR-4 within k.
	\|-		\|-
	\| CORROBORATION landing from a different-family reproducer \|\| Out of Step A by the operator's judgment call J3: ~~it belongs~~ with the ~~canary and parrot path, Step B~~.		\| CORROBORATION landing from a different-family reproducer \|\| '''Obligation O-1.''' Out of Step A by the operator's judgment call J3; built as B1 increment 3 (gated 2026-10-06: the named REPRODUCTION block, TPX's comparison, the CORROBORATION record with its attested INDEPENDENCE); discharged by M4's criterion (ii), the first live corroboration by a second account of another make.
	\|-		\|-
	\| HOLD and RELEASE \|\| Deferred to Step B by the operator on 2026-10-04, with the reserved identifier range (D247.1).		\| HOLD and RELEASE \|\| '''Obligation O-6.''' Deferred to Step B by the operator on 2026-10-04, with the reserved identifier range (D247.1); the range is built as B1 increment 2; HOLD and RELEASE are M5's (B2).
	\|-		\|-
	\| A planted M-M contradiction struck on the live wiki \|\| Not run live~~. The~~ optional sandbox run ~~that would have planted it~~ (prefix SPZ) lapsed as an acceptance step and ~~stays available as a test~~ of ~~any later build~~. The same rule fired in the workspace gates.		\| A planted M-M contradiction struck on the live wiki \|\| '''Obligation O-2.''' Not run live on 2026-10-05: the optional sandbox run (prefix SPZ) lapsed as an acceptance step. The A3 closeout runner (tpx_a3_closeout.py, run once by the operator against TPX 0.5.0 on a UWC he declares as SPZ) plants it: first three M records of E_z 500 standard uncertainties apart, which the live rule leaves standing (SR8's scaling bounds the post-scaling pair statistic by about the square root of N - 1, so no three-record group can contradict at k = 2 whatever its separation; shown live, information); then six more records, after which the rule strikes two by SR5, each with its WITHDRAWAL and SR5_LOCUS gap. The expected identifiers and records are fixed in the runner from the offline run of the same code. The same rule fired in the workspace gates (eleven records).
	\|-		\|-
	\| The named-function command \|\| Live as the read-only operation TPCRUN (see [[The Principia Machina/Testing/M2 The calculator from the specification\|M2]]).		\| The named-function command \|\| Live as the read-only operation TPCRUN (see [[The Principia Machina/Testing/M2 The calculator from the specification\|M2]]).
Line 102:		Line 102:

	<graphviz>		<graphviz>
	// M1's plan items on 2026-10-05: done live, proven in the workspace, or ~~moved~~.		// M1's plan items on 2026-10-06: done live, proven in the workspace, or an obligation.
	digraph m1status {		digraph m1status {
	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=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	L [label="LIVE on SPR\npromotion (SPR-6)\nverification (SPR-5)\nreading views, TPCRUN", fillcolor="#cef2e0"];		L [label="LIVE on SPR\npromotion (SPR-6)\nverification (SPR-5)\nreading views, TPCRUN", fillcolor="#cef2e0"];
	W [label="PROVEN IN THE WORKSPACE\nSR3, SR5, SR7, SR6, SR8\nwithdrawals and cascade\naudit-block page\n(123 of 123; parity 648 of 648)", fillcolor="#cedff2"];		W [label="PROVEN IN THE WORKSPACE\nSR3, SR5, SR7, SR6, SR8\nwithdrawals and cascade\naudit-block page\n(123 of 123; parity 648 of 648)", fillcolor="#cedff2"];
	B [label="~~MOVED TO STEP B~~\nCORROBORATION landing\~~nHOLD~~ and RELEASE\nthe reserved range (~~D247.1~~)", fillcolor="#ffedad"];		B [label="OBLIGATIONS O-1, O-6\nCORROBORATION landing (B1 inc 3,\nlive at M4 (ii)); HOLD and RELEASE (B2);\nthe reserved range (B1 inc 2)", fillcolor="#ffedad"];
	N [label="~~NOT RUN LIVE~~\na planted M-M strike\n(~~the SPZ sandbox run lapsed~~)", fillcolor="#~~eaecf0~~"];		N [label="OBLIGATION O-2\na planted M-M strike, live:\nthe A3 closeout runner on SPZ\n(push A3-LIMIT, then A3-STRIKE)", fillcolor="#ffedad"];
	M1 [label="M1\nthe register's\nresearch duties", fontsize=10];		M1 [label="M1\nthe register's\nresearch duties", fontsize=10];
	M1 -> L; M1 -> W; M1 -> B; M1 -> N;		M1 -> L; M1 -> W; M1 -> B; M1 -> N;
Line 116:		Line 116:
	== Findings carried out of M1 ==		== Findings carried out of M1 ==

	F-VIEW-1: the register view shows no WHAT text for a VERIFICATION row (cosmetic; ~~the next 0.5.x~~). D-SUPCITE: the specification is silent on a superseding record citing what it supersedes (the next TPS revision). D-REC96: the operator's test script cuts a refusal message at 160 characters (display only). D-RANGE: the reserved identifier range (~~Step B~~). D-SR1 ~~and~~ D-INT-1 ~~as before~~. All on [[The Principia Machina/Testing/Findings\|Findings]].		F-VIEW-1: the register view shows no WHAT text for a VERIFICATION row (cosmetic; B1 increment 4). D-SUPCITE: the specification is silent on a superseding record citing what it supersedes (the next TPS revision). D-REC96: the operator's test script cuts a refusal message at 160 characters (display only; the B1 test script). D-RANGE: the reserved identifier range (built, B1 increment 2). D-SR1 as before. D-INT-1 (SR8 neutralizes every two-record contradiction) became the decision D250 on 2026-10-06: the user selected scaling at N >= 3 only (D250.1, for the next TPS revision and TPX 0.6.0), and the bound at N >= 3 found by the A3 runner's offline run is a reopened item, D256. All on [[The Principia Machina/Testing/Findings\|Findings]].

	Previous: [[The Principia Machina/Testing/M0 Outside AI and the sandbox\|M0]]. Next: [[The Principia Machina/Testing/M2 The calculator from the specification\|M2]]. The deploy record: [[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]]. Back to [[The Principia Machina/Testing\|Testing the Principia Machina]].		Previous: [[The Principia Machina/Testing/M0 Outside AI and the sandbox\|M0]]. Next: [[The Principia Machina/Testing/M2 The calculator from the specification\|M2]]. The deploy record: [[The Principia Machina/Testing/Step A, the deploys A1 and A2\|Step A]]. Back to [[The Principia Machina/Testing\|Testing the Principia Machina]].

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

2026-10-06T00:47:54Z

M1: 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:33Z

1 revision imported

BFP Rauch: 1 revision imported

2026-10-06T00:26:43Z

1 revision imported

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

DeltaS Zero: M1: the register's research duties, built as TPX 0.5.0 (A2) and accepted 2026-10-05 with Step A (tpm_testing 0.1.0)

2026-10-06T00:26:37Z

M1: the register's research duties, built as TPX 0.5.0 (A2) and accepted 2026-10-05 with Step A (tpm_testing 0.1.0)

New page

{{TPM map}}
{{DISPLAYTITLE:Testing M1: the register's research duties}}
''Phase M1 of [[The Principia Machina/Testing|Testing the Principia Machina]]. State: accepted 2026-10-05, with M2 and M3, as Step A (the operator's words: "A2 accepted, M1 M2 M3 accepted"). Built as TPX 0.5.0, the A2 deploy; corroboration landing and HOLD/RELEASE moved to Step B.''

== Objective ==

The plan (tpm_third_party_plan 0.2.0, section 4) states M1 as ''the register's missing research duties'': the parts of [[The Principia Machina/TPS/3.3 Record classes and schemas|the register]] and [[The Principia Machina/TPS/4.4 The strike rule|the strike rule]] that the M0 sandbox did not carry.

* CORROBORATION landing: TPX's comparison of a reproduction with its target, and the attested INDEPENDENCE fields; the reproducer a second chat or a second vendor.
* Strikes under SR1, SR5 and SR7, with their WITHDRAWAL and NAMED_GAP records.
* The audit block, as a human-decided stub: TPX opens it, a person dispositions it.
* HOLD and RELEASE.
* A command that runs one named calculator function on given arguments (this is what M2 tests through).

The plan's acceptance: a corroboration lands from a different-family reproducer, a planted M-M contradiction is struck by the correct rule, and no S1 finding is open.

== What was built ==

Under decision D237.1 (2026-10-03) M1 was built on the live wiki as part of TPX, not as the sandbox's next version. The operator split Step A in two: A1, the landing API (TPX 0.4.0), then A2, the register duties (TPX 0.5.0). A2 was built in six increments on 2026-10-04 and 2026-10-05, each one gated in a workspace against the sandbox and the published calculator before the next began, and deployed live at 2026-10-05 01:42 UTC. The deploy record is on [[The Principia Machina/Testing/Step A, the deploys A1 and A2|Step A]].

{| class="wikitable"
! Increment !! What it added !! Gate (cases passed)
|-
| 1 The screen || SR3 over every comparable pair with SR8 scaling, a difference of KIND sent to audit; the SR5 strike as a WITHDRAWAL record with its cascade, STATUS REFUTED written in place, the SR5_LOCUS gap; the SR7_ASSUMPTIONS and SR7_DOMAIN gaps; the SR6 count and its audit block; SR1 by audit only; the audit-block page, which TPX opens and never dispositions || 40 of 40; parity with the calculator 139 of 139
|-
| 1b D246.3 || an L-M contradiction writes nothing; each is rated in full for the declaring authority || 37 of 37; parity 112 of 112
|-
| 2 Withdrawals || a superseding record's WITHDRAWAL (cause SUPERSEDED); an author's own withdrawal (cause AUTHOR, WITHDRAWN only); the acting account must be the authenticated account; identifiers from the mark (D247.1) || 76 of 76; parity 234 of 234
|-
| 3 Promotion and the views || the promotion pass to a fixed point, one PROMOTION record per promoting landing, barred while an audit block is open; the reading views Special:TpmRegister, the GAP VIEW and the ENTRY VIEW; a missing autoload entry found and fixed || 97 of 97; parity 475 of 475
|-
| 4 Verification || a VERIFICATION lands only after its TARGET; its DIFFERENCE is recomputed; outside k an L target opens an SR7 gap, an M target an audit block || 112 of 112; parity 588 of 588
|-
| 4b D248.1 || every failed VERIFICATION rated in full || 123 of 123; parity 648 of 648
|}

<graphviz>
// The register duties A2 added, as the screen runs them at every landing.
digraph screen {
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"];
P [label="PUSH lands records\n(RESULT, ASSUMPTION, VERIFICATION, ENTRY_STATUS)", fillcolor="#cedff2", fontsize=10];
CS [label="comparable pairs\n(comparison_set: one QUANTITY,\nequal CONDITIONS)"];
SR8 [label="SR8 scaling\nchi-square over N records"];
SR3 [label="SR3 test\n|x1 - x2| against k"];
KIND [label="difference of KIND\naudit block, no test", fillcolor="#ffedad"];
SR5 [label="SR5 strike\nthe more distant record:\nWITHDRAWAL, STATUS REFUTED,\nSR5_LOCUS gap", fillcolor="#fee7e6"];
SR7 [label="SR7 gold standard\nM never strikes L:\nSR7_ASSUMPTIONS or\nSR7_DOMAIN gap"];
SR6 [label="SR6 count\nindependent contradictions\nreach N_x: audit block", fillcolor="#ffedad"];
LM [label="L-M pair (D246.3)\nwrites nothing;\nrated for H-DECL"];
V [label="VERIFICATION\nDIFFERENCE recomputed;\noutside k: SR7 gap (L)\nor audit block (M)"];
PR [label="promotion pass\nto a fixed point;\none PROMOTION record", fillcolor="#cef2e0"];
W [label="withdrawals\nSUPERSEDED, AUTHOR;\nthe cascade"];
A [label="audit blocks\nTPX opens, never\ndispositions", fillcolor="#ffedad"];
P -> CS -> SR8 -> SR3; CS -> KIND -> A; SR3 -> SR5; SR3 -> SR7; SR3 -> SR6 -> A; SR3 -> LM;
P -> V; V -> SR7; V -> A; P -> PR; P -> W; A -> PR [label="bars promotion\nwhile open", style=dashed];
}
</graphviz>

== How it was tested ==

Three ways, as every Step A deploy: the operator's own script on the live site, an outside AI holding no account, and the builder's read-only recheck.

* '''The operator's live test''' (tpx_a2_test.py, 2026-10-05 01:42 UTC, 15 checks): sign in; the TPX version is 0.5.0; the state before (SPR DECLARED, 4 records, next SPR-5); a push for another account is refused; a VERIFICATION with a wrong DIFFERENCE is refused (REC-96) and nothing of either refusal lands; the push lands SPR-5, a VERIFICATION of SPR-4 within k, and the pass promotes SPR-3 in SPR-6, a PROMOTION record; SPR-1 to SPR-6 read back contiguous; five stored digests and the PROMOTION record's digest recomputed through TPCRUN; the DIFFERENCE recomputed; the grades read back (SPR-3 ESTABLISHED, SPR-4 PROVISIONAL); the reading views; the build chain's four lines, every hash recomputed and linked; the state after (6 records, next SPR-7). Result: PASS, 15 of 15.
* '''The outside AI''' (Gemini, by its own statement; 2026-10-05 01:53 UTC, read-only): checks C1 to C7 of the brief – the state, the six records and their fields, five digests and the PROMOTION record recomputed, the DIFFERENCE, the grades, the ENTRY VIEW of E_x, the build chain. Result: PASS.
* '''The builder's recheck''' (about 02:00 UTC, anonymous, ten API calls eight seconds apart): C1 to C7 PASS; one cosmetic finding, F-VIEW-1.
* A second outside AI could not reach the site from its sandbox and ran nothing (NOT RUN; no bearing).

<graphviz>
// What the SPR register held after A2 (2026-10-05 01:43 UTC).
digraph spr {
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"];
M [label="SPR-1 MASTER\nD(TFK) 46db0af2...\nNOT GRADED", fillcolor="#cedff2"];
A2 [label="SPR-2 ASSUMPTION\nSITUATION INITIAL\nx = 0.02 m at t = 0\nPROVISIONAL"];
R3 [label="SPR-3 RESULT (L)\nEQUATION D(v,t) = -k_s/m * x\nESTABLISHED", fillcolor="#cef2e0"];
R4 [label="SPR-4 RESULT (L)\nE_x = 0.02 m\nPROVISIONAL"];
V5 [label="SPR-5 VERIFICATION\nTARGET SPR-4\nZETA 0.5, k 2\nPROVISIONAL", fillcolor="#ffedad"];
P6 [label="SPR-6 PROMOTION\nSPR-3 to ESTABLISHED\nNOT GRADED", fillcolor="#cef2e0"];
R4 -> A2 [label="ASSUMPTIONS"]; V5 -> R4 [label="TARGET"]; P6 -> R3 [label="promotes"];
R3 -> M [label="binds to", style=dashed]; A2 -> M [style=dashed];
}
</graphviz>

== Results against the plan ==

{| class="wikitable"
! Plan item !! Where it stands
|-
| Strikes under SR1, SR5 and SR7 with their records || Built in A2 and proven in the workspace gates, the calculator re-deriving every strike (123 of 123; parity 648 of 648). SR1 strikes only by audit: the calculator has no mechanical L-L test (D-SR1). No strike has yet fired on the live wiki: SPR carries no contradiction.
|-
| The audit block as a human-decided stub || Built: TPX opens a block at "<UWC root>/Audit blocks" and never dispositions it. None opened on SPR.
|-
| Promotion; verification against an outside value || Live and tested: SPR-6 promoted SPR-3; SPR-5 verified SPR-4 within k.
|-
| CORROBORATION landing from a different-family reproducer || Out of Step A by the operator's judgment call J3: it belongs with the canary and parrot path, Step B.
|-
| HOLD and RELEASE || Deferred to Step B by the operator on 2026-10-04, with the reserved identifier range (D247.1).
|-
| A planted M-M contradiction struck on the live wiki || Not run live. The optional sandbox run that would have planted it (prefix SPZ) lapsed as an acceptance step and stays available as a test of any later build. The same rule fired in the workspace gates.
|-
| The named-function command || Live as the read-only operation TPCRUN (see [[The Principia Machina/Testing/M2 The calculator from the specification|M2]]).
|}

<graphviz>
// M1's plan items on 2026-10-05: done live, proven in the workspace, or moved.
digraph m1status {
rankdir=LR; node [shape=box, style=filled, color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
L [label="LIVE on SPR\npromotion (SPR-6)\nverification (SPR-5)\nreading views, TPCRUN", fillcolor="#cef2e0"];
W [label="PROVEN IN THE WORKSPACE\nSR3, SR5, SR7, SR6, SR8\nwithdrawals and cascade\naudit-block page\n(123 of 123; parity 648 of 648)", fillcolor="#cedff2"];
B [label="MOVED TO STEP B\nCORROBORATION landing\nHOLD and RELEASE\nthe reserved range (D247.1)", fillcolor="#ffedad"];
N [label="NOT RUN LIVE\na planted M-M strike\n(the SPZ sandbox run lapsed)", fillcolor="#eaecf0"];
M1 [label="M1\nthe register's\nresearch duties", fontsize=10];
M1 -> L; M1 -> W; M1 -> B; M1 -> N;
}
</graphviz>

== Findings carried out of M1 ==

F-VIEW-1: the register view shows no WHAT text for a VERIFICATION row (cosmetic; the next 0.5.x). D-SUPCITE: the specification is silent on a superseding record citing what it supersedes (the next TPS revision). D-REC96: the operator's test script cuts a refusal message at 160 characters (display only). D-RANGE: the reserved identifier range (Step B). D-SR1 and D-INT-1 as before. All on [[The Principia Machina/Testing/Findings|Findings]].

Previous: [[The Principia Machina/Testing/M0 Outside AI and the sandbox|M0]]. Next: [[The Principia Machina/Testing/M2 The calculator from the specification|M2]]. The deploy record: [[The Principia Machina/Testing/Step A, the deploys A1 and A2|Step A]]. Back to [[The Principia Machina/Testing|Testing the Principia Machina]].

[[Category:The Principia Machina]]

← Older revision		Revision as of 00:47, 6 October 2026
Line 38:		Line 38:
	// The register duties A2 added, as the screen runs them at every landing.		// The register duties A2 added, as the screen runs them at every landing.
	digraph screen {		digraph screen {
	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"];		rankdir=TB; nodesep=0.18; ranksep=0.35; size="9.2,40"; node [shape=box, style=filled, fillcolor="#eaecf0", color="#a2a9b1", fontcolor="#202122", fontname="Helvetica", fontsize=9]; edge [fontname="Helvetica", fontsize=9, color="#54595d", fontcolor="#202122"];
	P [label="PUSH lands records\~~n(RESULT~~, ASSUMPTION, ~~VERIFICATION~~, ENTRY_STATUS)", fillcolor="#cedff2", fontsize=10];		P [label="PUSH lands records\nRESULT, ASSUMPTION,\nVERIFICATION, ENTRY_STATUS", fillcolor="#cedff2", fontsize=10];
	CS [label="comparable pairs\n(comparison_set: ~~one~~ QUANTITY,\nequal CONDITIONS)"];		CS [label="comparable pairs\n(comparison_set:\none QUANTITY,\nequal CONDITIONS)"];
	SR8 [label="SR8 scaling\nchi-square over N records"];		SR8 [label="SR8 scaling\nchi-square over N records"];
	SR3 [label="SR3 test\n\|x1 - x2\| against k"];		SR3 [label="SR3 test\n\|x1 - x2\| against k"];
	KIND [label="difference of KIND\naudit block, no test", fillcolor="#ffedad"];		KIND [label="difference of KIND\naudit block, no test", fillcolor="#ffedad"];
	SR5 [label="SR5 strike\nthe more distant record:\nWITHDRAWAL, ~~STATUS~~ REFUTED,\nSR5_LOCUS gap", fillcolor="#fee7e6"];		SR5 [label="SR5 strike\nthe more distant record:\nWITHDRAWAL,\nSTATUS REFUTED,\nSR5_LOCUS gap", fillcolor="#fee7e6"];
	SR7 [label="SR7 gold standard\nM never strikes L:\nSR7_ASSUMPTIONS or\~~nSR7_DOMAIN~~ gap"];		SR7 [label="SR7 gold standard\nM never strikes L:\nSR7_ASSUMPTIONS\nor SR7_DOMAIN gap"];
	SR6 [label="SR6 count\nindependent ~~contradictions~~\nreach N_x: audit block", fillcolor="#ffedad"];		SR6 [label="SR6 count\nindependent\ncontradictions\nreach N_x: audit block", fillcolor="#ffedad"];
	LM [label="L-M pair (D246.3)\nwrites nothing;\nrated for H-DECL"];		LM [label="L-M pair (D246.3)\nwrites nothing;\nrated for H-DECL"];
	V [label="VERIFICATION\nDIFFERENCE ~~recomputed~~;~~\noutside~~ k: ~~SR7~~ gap (L)\~~nor audit~~ block (M)"];		V [label="VERIFICATION\nDIFFERENCE\nrecomputed; outside k:\nSR7 gap (L) or\naudit block (M)"];
	PR [label="promotion pass\nto a fixed point;\none PROMOTION record", fillcolor="#cef2e0"];		PR [label="promotion pass\nto a fixed point;\none PROMOTION record", fillcolor="#cef2e0"];
	W [label="withdrawals\nSUPERSEDED, AUTHOR;\nthe cascade"];		W [label="withdrawals\nSUPERSEDED, AUTHOR;\nthe cascade"];
Line 69:		Line 69:
	// What the SPR register held after A2 (2026-10-05 01:43 UTC).		// What the SPR register held after A2 (2026-10-05 01:43 UTC).
	digraph spr {		digraph spr {
	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"];
	M [label="SPR-1 MASTER\nD(TFK) 46db0af2...\nNOT GRADED", fillcolor="#cedff2"];		M [label="SPR-1 MASTER\nD(TFK) 46db0af2...\nNOT GRADED", fillcolor="#cedff2"];
	A2 [label="SPR-2 ASSUMPTION\nSITUATION INITIAL\nx = 0.02 m at t = 0\nPROVISIONAL"];		A2 [label="SPR-2 ASSUMPTION\nSITUATION INITIAL\nx = 0.02 m at t = 0\nPROVISIONAL"];