The Principia Machina/Testing/Findings

The Principia Machina: map
Reading the diagrams Structure key Process key Definition of terms Roles
Reading by audience Start here: the walk through The operator's guide Tutorial: create a UUID Workspace Container (UWC) Public Recorder inputs Sponsors: your first agent
The specification Contents: parts, tables, diagrams TPS 0.5.0 (declared 2026-10-03, revision 8; machine-optimized text) Decisions (the foundations record, one line each)

Every finding of Testing the Principia Machina in one place, with its class, its state and what closes it. The outside testers' findings are numbered G-n; the operator's own and the builder's carry F-, D- and N- prefixes. The project's loop ledger is the register of record for the open ones; this page is read from it and from the wiki's own pages.

How a finding is classed

The plan (tpm_third_party_plan 0.2.0, section 5) gives every finding an ORIGIN (EXTERNAL when an outside tester found it, INTERNAL when the builder did) and one class, chosen by the tester:

Class	Meaning	What it causes
S1 SOUNDNESS	accepted what the specification refuses; a wrong value or digest; obeyed text found in data	fixed before anything else, then retested; blocks acceptance
S2 WRONG REFUSAL	refused what the specification accepts	fixed if on the phase's critical path, else DEFERRED
S3 COMPLETENESS	a named case the check omits	fixed if on the critical path, else DEFERRED
S4 SPEC	the specification is unclear or contradicts itself	one decision item for the declaring authority, at most three per pause; the TPS text changes only through such an item
S5 USABILITY	cost the tester retries	fixed in the next published pages if it cost retries, else DEFERRED
S6 DOC	a page says the wrong thing	same as S5
ORIGIN INTERNAL	the builder's own finding	DEFERRED unless a soundness defect on the critical path

The states

A finding is CLOSED only when the tester's retest shows the fix, or the operator says "close G-n" with a reason. The builder never closes an outside tester's finding on its own word.

The findings

Id	Class	Found	What	State on 2026-10-05	Closed or closes by
G-1	S1	session 2	the Inputs help pages ended with a sentence addressed to agents (text found in data that an agent might obey)	CLOSED	import 0.5.0, 20 pages, 2026-10-03 01:45 UTC
G-2	–	M0 sessions	the sense of a BOUNDARY predicate, read against the guide's 3.1	CLOSED	D235.1: a divergence already recorded (D179.1); no text changes
G-3	–	M0 sessions	its text is on the project's loop ledger	DEFERRED	"close G-3" or a later fix
G-4	–	M0 sessions	its text is on the project's loop ledger	DEFERRED	"fix G-4" when chosen
G-5	–	session 4	an unguarded division inside an EQUATION is not yet listed for inspection	DEFERRED	"close G-5" when chosen; N-2B-1 is the related note
G-6	S6	session 5, 2026-10-03	the brief's rule for what counts as S1 was too wide	FIX LIVE	import 0.7.0 (D236.1), 2026-10-03 04:23 UTC; retest by any outside session, or "close G-6"
G-7	S6	session 5	five help pages still said that no form took a draft	FIX LIVE	import 0.7.0; retest by any outside session, or "close G-7"
A-1	form	the operator, 2026-10-03	the session report's form; answered by FORMAT 2, one fixed block per report	DONE	import 0.6.0, 2 pages, 03:20 UTC; FORMAT 3 (with a track C section) followed in import 0.8.0
F-BRIEF-1	form	the second outside AI, 2026-10-05	the A2 brief assumed a tester that can send POST requests; a GET-only tester runs part of it	DEFERRED	a stated tester requirement, or a GET path for the read-only operations; the operator's choice
F-VIEW-1	display	the builder's recheck, 2026-10-05	the register view shows no WHAT text for a VERIFICATION row	DEFERRED	the next TPX 0.5.x
F-STATUS-1	display	the builder, 2026-10-05	STATUS without a prefix answers with PHP error text and a path instead of a refusal with its own code	DEFERRED	the next TPX 0.5.x
F-TPCRUN-1	display, low	the builder, 2026-10-05	TPCRUN with an unknown function name answers an internal API error instead of a refusal with its own code	DEFERRED	the next TPX 0.5.x
D-REC96	test script	the operator's A2 test	tpx_a2_test.py cuts a refusal's message at 160 characters	DEFERRED	the next test release
D-SUPCITE	S4	A2 build	the specification is silent on a superseding record citing what it supersedes	DEFERRED	the next TPS revision
D-RANGE	scope	D247.1, 2026-10-04	TPX's own records are allocated from the mark until Step B brings the reserved range	DEFERRED	Step B
D-LOCK	scope	A1	the lock's acquire-by-save-hook and multi-agent queueing; A1 ships a single-worker push	DEFERRED	a later increment (Step B)
D-SR1	limit	A2 build	the calculator has no mechanical L-L test, so SR1 strikes only by audit	DEFERRED	recorded; stands
D-INT-1	limit	A2 build	SR8 neutralizes every two-record M-M contradiction (N = 2); the gate's M-M cases use eleven records for that reason	DEFERRED	recorded; stands
N-2B-1	note	session 2b	a strict-inequality guard for division (TPS 2.2.16)	DEFERRED	with G-5
N-S5-3	note	session 5	"T6 NO FORM (by inspection)" shown for a TPK with no BOUNDARY	DEFERRED	a later help pass
D-I18N	display	A1 bring-up	the user-rights group labels (the agent group shows its member name)	DEFERRED	batched with a later deploy

What no finding says

No S1 finding has been open since import 0.5.0 landed on 2026-10-03. Nothing found in Step A touched a stored value, a digest, a grade or a chain line: the two outside AIs and the operator's scripts recomputed every one and found them equal. The findings of Step A are display text, a test script's own trimming, a brief's assumption about its tester, and scope moved to Step B by decision.

Back to Testing the Principia Machina. Phases: M0, M1, M2, M3. See also Step A and Timeline.