Candidate db463a7b…ab89 (5 files) on 277d1fa21. Adds the note-2 test for a thread
decision raised before row 121; mutants 6 of 6 killed after fixing the test to
supersede an open decision (first run left M6 alive, recorded). Owner's gate exit 0;
gate.sh now sets COMPOSE_PROJECT_NAME=dewey-r136 and removes its network at exit.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
124 lines
12 KiB
Plaintext
124 lines
12 KiB
Plaintext
✔ the Board: held roles with no machine sessions, a claim with no address, the toggle kept across a reload, and Message addressed to the role (7168.147302ms)
|
||
✔ a redirect answer on a Board read, a bus read, a conversation read, a board POST, a module read and a send signs the page out: one line, nothing stale, no further reads (9242.238047ms)
|
||
✔ browser edge states: loading, empty, malformed, stale, hostile/long values, in-flight reply and appearance fallback (4646.019358ms)
|
||
Rendered contrast: {"failures":[],"count":330,"lowest":4.504658476260286}
|
||
✔ served Console browser: real board fixtures, keyboard, drafts, receipts, themes, 320px and failures (5305.923423ms)
|
||
✔ the README says a refused field table names the file or the key at fault, never a path (1.483407ms)
|
||
✔ S5 pages in a browser: real broker rows, inert text, Copy, routes, failures, layout and no writes (9718.557101ms)
|
||
✔ bus routes serve the four reads from the reader view, unescaped JSON for the page to escape (330.873493ms)
|
||
✔ decisions route serves the roles and recent lists from the reader view (894.148629ms)
|
||
✔ credentials route serves the broker credential status from the reader view (1109.032216ms)
|
||
✔ replies route serves the replies to one message from the reader view (1449.871278ms)
|
||
✔ bus routes are GET-only, have no write verb, and keep the same-origin checks (55.257508ms)
|
||
✔ bus refusals map to statuses and never carry a path or a stack (24.318283ms)
|
||
✔ humanCall speaks the human transport protocol without blocking the server (1701.43695ms)
|
||
✔ busReader takes --business, else the live bus host, else refuses (534.098428ms)
|
||
✔ humanCall kills a transport that runs past its timeout (547.161535ms)
|
||
✔ serve refuses a --business value that is not a business id (367.035395ms)
|
||
✔ conversation view: full history, collapsed tools, hidden thinking, inert hostile content, malformed and reconcile markers (4252.756021ms)
|
||
✔ conversation view: a fork keeps the open branch, says so, and opens the new one on request (5437.029193ms)
|
||
✔ conversation view: a newer session with no readable history keeps the marker (2516.201684ms)
|
||
✔ conversation view: seats without history say so and offer no reply (3537.140672ms)
|
||
✔ Discord row through real board/WebUI: independent brake/liveness, no Reply, literal content (4727.742081ms)
|
||
✔ return flow through the conversation view: send, tool call, delayed result, peer message, exact long answers, relaunch (53823.448132ms)
|
||
✔ messages HTTP read pages and preserves metadata; bad arguments refuse before a read; other reads unchanged (447.631741ms)
|
||
✔ Console Messages lists late unsolicited messages on polling with sender class time read state and trail; nav count includes beyond the page; reads never deliver (12578.114887ms)
|
||
✔ Messages nav count polls on Tasks and Board and clears on a Board refusal; messages 403 refuses local pages (4664.187713ms)
|
||
✔ copy writes the Console paths at the full id, read-only, and leaves an existing copy alone (6624.541878ms)
|
||
✔ copy refuses a commit off refactor, an unknown one, a worktree and a bad copies directory (7370.709867ms)
|
||
✔ copy writes nothing when an archived path is missing at the commit (2085.697944ms)
|
||
✔ a copy that loses the rename race leaves no read-only temp directory behind (426.196562ms)
|
||
✔ a copy whose rename fails with no target refuses, writes no copy and leaves no temp directory (572.710102ms)
|
||
✔ a copy that meets a target holding files says exists: and moves nothing into it (863.195521ms)
|
||
✔ a copy that meets an empty target directory replaces it by rename, not by moving into it (362.199885ms)
|
||
✔ serve runs from a copy: /healthz 200, the config check, roles and RELEASE from the copy, the queue from --checkout (671.804911ms)
|
||
✔ serve refuses a --checkout that is not an absolute directory path (227.232761ms)
|
||
✔ consoleReads runs the queue read under queueRoot and reads RELEASE under root (51.433531ms)
|
||
✔ preview options are all three or none, and each is checked (10.591762ms)
|
||
✔ the CLI refuses a partial or invalid preview flag set at start (2132.297224ms)
|
||
✔ the CLI with all three flags serves the preview mode (219.977351ms)
|
||
✔ a request for the public name needs the header equal to the user id, else 401 and nothing read (63.480812ms)
|
||
✔ the header name matches without regard to case, and the value compare is exact (32.543426ms)
|
||
✔ the public name with the header reads the bus views, and the Host and Origin are checked first (122.750254ms)
|
||
✔ in preview mode every write answers 403 read-only, from the public name and loopback, and reaches nothing (25.401456ms)
|
||
✔ loopback requests are unchanged in preview mode, and the bus views work with the board down (8.911396ms)
|
||
✔ a proxy that rewrites Host to the loopback port gets 403 on its first request, whatever the user (47.071394ms)
|
||
✔ a repeated Host is 400 before any other check, in preview mode and without it (18.56566ms)
|
||
✔ without the preview flags the public name is refused and writes still reach the board (10.913361ms)
|
||
✔ redactor: config, dataRoot, any absolute path, Discord ids and the JSON parser quote (1.623973ms)
|
||
✔ credential state from the date alone, as the bus states it (0.227596ms)
|
||
✔ queue: rows, one row, ids and methods, notes; no path or id from a row (1776.803948ms)
|
||
✔ queue: a refused read fails closed with the store's text, redacted (1862.359696ms)
|
||
✔ queue: a store that fails to load, or a child that dies, gives a fixed message with no path or stack (3759.258195ms)
|
||
✔ business: names, vars on the allowlist, authority, credential metadata only (10.176649ms)
|
||
✔ business: missing or invalid file refuses with the module's text, redacted (20.735094ms)
|
||
✔ business without --business: the live bus host, else no-bus-host; no system config: not-configured (12.742116ms)
|
||
✔ settings: release, board, loopback address, notifier binding name only (853.606917ms)
|
||
✔ task fields: the committed table with no reads configured, GET only; a bad table refuses with no path (330.608284ms)
|
||
✔ bus-status: a refused boot shows reason, file and last good load; a live host or an ok boot clears it (17.998645ms)
|
||
✔ both presentations replace old activity with relaunch notice, label retained history, then resume after new activity (4745.260591ms)
|
||
✔ reported return flow and relative Age: reply sent from the inspector, then the new answer appears there without manual refresh (22840.119ms)
|
||
✔ the send box: held roles, the draft and caret across a refresh, each receipt, one POST per Send, and the trail link; the board Reply on a 4xx and a 5xx (7566.54703ms)
|
||
✔ a sent receipt lists its replies as the page refreshes, oldest first and capped, and marks none delivered or read (14888.080687ms)
|
||
✔ startServer takes send only as a function and only with the preview mode (9.171597ms)
|
||
✔ the CLI refuses --send without the preview flags, and without a configured bus (541.253522ms)
|
||
✔ the CLI with --send and a configured bus sends through the human transport and logs one line (160.558664ms)
|
||
✔ without --send the route is read-only like every other write, and config says no send (6.379561ms)
|
||
✔ with --send every other write is still 403 read-only, and nothing reaches the board or bus (5.847262ms)
|
||
✔ config says send only on the public name with --send on (2.009564ms)
|
||
✔ a send without the signed-in user is 401 and is neither sent nor logged, loopback included (4.268193ms)
|
||
✔ each request check refuses before anything is sent, and logs the refusal without the body (11.904251ms)
|
||
✔ a send passes exactly to, body and in_reply_to, answers the id, and logs it (2.677256ms)
|
||
✔ a crafted role name cannot forge a log line (1.969702ms)
|
||
✔ a bus refusal is not sent, with its status; an outcome the bus could not confirm is unknown and never retried (6.232326ms)
|
||
✔ through the human transport the request is exactly the business, message.send and the keys (98.78876ms)
|
||
✔ against a real broker: the message is written once as a human send, and its refusals map (1214.928748ms)
|
||
✔ loopback host and board origin fail closed (5.783304ms)
|
||
✔ real board fixture passes through WebUI; assets and isolated seen/reply work (282.754898ms)
|
||
✔ proxy preserves exact request bytes, status and receipt, rejects forms and malformed JSON, never follows redirect (36.495506ms)
|
||
✔ unreachable board reports URL; CLI rejects unsupported options (483.818868ms)
|
||
✔ render prints the unit without the preview flags (17.844137ms)
|
||
✔ render carries every serve flag, the preview set included (7.938415ms)
|
||
✔ a partial preview set is refused (20.667693ms)
|
||
✔ a value the unit cannot carry is refused, for every flag (290.274003ms)
|
||
✔ the rendered unit names none of the human proof agent markers and sets no agent variable (22.913738ms)
|
||
✔ install into --dir with --no-reload writes the file whole, then reports unchanged (178.057932ms)
|
||
✔ install without --no-reload runs daemon-reload and nothing that starts the unit (62.022808ms)
|
||
✔ uninstall refuses while the unit is running, with or without --no-reload, and removes it once it is not (525.871539ms)
|
||
✔ status prints the unit state and GET /healthz on the installed port (541.418938ms)
|
||
✔ usage: an unknown verb or flag, and start or enable, exit 4 (97.583029ms)
|
||
✔ without --send, render is the template with its placeholders filled, byte for byte (34.128999ms)
|
||
✔ render --send with the preview set ends ExecStart with --send and changes nothing else (53.820057ms)
|
||
✔ --send without the whole preview set is refused and writes nothing (252.748282ms)
|
||
✔ install --send into --dir with --no-reload writes the sending unit, and status says whether it sends (399.857706ms)
|
||
✔ uninstall and status take no --send (65.121067ms)
|
||
✔ install refuses while the unit is running, in any state but inactive or failed, and changes nothing (465.057424ms)
|
||
✔ when the state read fails, install and uninstall refuse with one line and change nothing (82.215465ms)
|
||
✔ install needs --copy naming a copy that exists, and refuses outside the canonical checkout without --allow-worktree (160.850018ms)
|
||
✔ install refuses unless the bus unit runs from the same copy, naming both paths, and changes nothing (558.490915ms)
|
||
✔ render --copy runs the copy and reads the queue in the checkout; without --copy the unit is unchanged (23.17878ms)
|
||
✔ the uid header takes only an Authentik uid; the username header still takes a username (271.393402ms)
|
||
✔ a preview value cannot start with - or . (27.033452ms)
|
||
✔ status names the copy and whether refactor has moved past it, and says when the unit runs from no copy (679.069044ms)
|
||
✔ Settings form shows every scope and held role; gated save, exact payload, retained draft and no automatic retry (4847.584099ms)
|
||
2026-10-15T23:46:35.504Z settings user="jason" changed
|
||
✔ REQ-WEB-1 signed-in same-origin Settings write reaches exactly one human operation (19.791603ms)
|
||
✔ REQ-WEB-1 Settings writes require enabled send, named Host, identity, exact Origin and same-origin Fetch Metadata (7.656794ms)
|
||
✔ REQ-WEB-1 Settings validates JSON, size, revision and strict writable keys before broker call (6.277554ms)
|
||
✔ tokens.css and icons.svg are byte copies of docs/design (23.554689ms)
|
||
✔ JetBrains Mono files match the digests in their sources file, with the OFL text (2.490594ms)
|
||
✔ shipped strings are unchanged, and the web keeps its write boundary (4.38628ms)
|
||
✔ shell in a browser: System default, seeded states, 400px, focus and the Ctrl+K palette (8011.788384ms)
|
||
✔ five states on Board, Inbox, Tasks, Agents and Trail (4043.341938ms)
|
||
✔ Queue, Business and Settings in their five states, with no move button (5494.961319ms)
|
||
✔ seeded secrets, Discord ids and paths reach no response and no page; business refusals in the module's words (4454.934804ms)
|
||
✔ the server log names no config path when the system config refuses (321.363653ms)
|
||
ℹ tests 113
|
||
ℹ suites 0
|
||
ℹ pass 113
|
||
ℹ fail 0
|
||
ℹ cancelled 0
|
||
ℹ skipped 0
|
||
ℹ todo 0
|
||
ℹ duration_ms 54167.172304
|