Testing: the 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.