jason.woltjeandClaude Opus 5.5
5dc0c7de74
Candidate 1126314bd522de838aad03689bed41f6b12a33c2d7f30b2eff1b38653f559ae0, 4 files on48b893871. The first gate stopped at script-queue: the pre-A2 fixture check pinned the old header comment. The check now skips comment lines (brief amended in06e964026). Second gate: 24 suites, 0 failed. Co-Authored-By: Claude Opus 5.5 <[email protected]>
191 lines
21 KiB
Plaintext
191 lines
21 KiB
Plaintext
✔ W1: two processes acquire the same pair at once; exactly one claim (138.150631ms)
|
||
✔ W1: two writers publish the same revision at once: one wins, the other gets null, the winner's record stays (11.179751ms)
|
||
✔ W1: a revision name appears only after its bytes are synced; before that, only a temp file exists (5.956882ms)
|
||
✔ W2: acquire while a claim is reserved or active refuses already-active (120.205568ms)
|
||
✔ W3: acquire while stopping, uncertain, or stopped without proof refuses unsafe-replacement (196.425179ms)
|
||
✔ W4: same session with another seat tuple, and the reverse, both refuse; a loser on the seat key closes it no-unit (153.700959ms)
|
||
✔ W4: a hard link of one session under another seat is the same session: the second controller refuses already-active and launches nothing (24.773276ms)
|
||
✔ W4: a copy of one session under another seat is the same session: the second controller refuses already-active and launches nothing (25.96912ms)
|
||
✔ W4: a session header ID that changes after construction refuses target; nothing is claimed or launched (5.76592ms)
|
||
✔ W5: SIGKILL between every publication barrier of acquire and transition; restart never finds two holders or a lost claim (7276.677406ms)
|
||
✔ W5: SIGKILL between every publication barrier of release; restart finishes or holds the release (25323.541997ms)
|
||
✔ W6: controller killed mid-turn while the engine lives; restart is uncertain, no launch, prompts refuse (138.694995ms)
|
||
✔ W12: a live owner paused with SIGSTOP; a second controller refuses already-active and changes nothing (88.33774ms)
|
||
✔ W13: crash after the engine spawns, before active; restart finds the live unit: uncertain, no second spawn, force stop only (279.732276ms)
|
||
✔ W14: crash after reservation, before the spawn marker: stopped with a no-unit observation; the pair is free (184.513961ms)
|
||
✔ W20: crash after the spawn marker, scope collected; uncertain in both runs, the marker is copied, no launch until a boot proof (204.910825ms)
|
||
✔ W15: crash between the two keys during release; restart finishes it under the same claim ID (32.342029ms)
|
||
✔ W7: recorded boot ID differs on the same machine: stopped with a boot proof; open tool calls become uncertain (117.227473ms)
|
||
✔ W8: resume after a proven stop with the same pins: new claim ID, generation +1, same conversation, branch and leaf (31.553705ms)
|
||
✔ W9: resume with a changed binary, argv digest, branch or leaf is refused and the claim is unchanged (85.402385ms)
|
||
✔ W11: the controller writes no session file; only the fake engine's own appends appear (22.044848ms)
|
||
✔ W16: a highest revision that won't parse holds the pair uncertain; the older stopped revision is not reused (54.67204ms)
|
||
✔ W17: a claim root copied from another host refuses foreign-host and promotes nothing (51.05823ms)
|
||
✔ G1: a session path or claim root under .pi/state, ~/.claude, the data root or a registration refuses at construction (3.434142ms)
|
||
✔ G2: a symlink inside the fixture root to a live session file is refused by the real-path check (1.067285ms)
|
||
✔ G3: a fixture path swapped for a live path after construction is refused at bind (1.767203ms)
|
||
✔ no shim from this file's tests is left running for the after hook (16.129291ms)
|
||
✔ K1: force stop kills a tool child that called setsid; stopped with a verified proof (346.363458ms)
|
||
✔ K2: K1 on the process-group fallback ends uncertain, never stopped (173.233355ms)
|
||
✔ K3: SIGTERM acknowledged while a member lives: stopping until the kill phase, never stopped from TERM (338.272903ms)
|
||
✔ K4: two engines; force stop one; the other survives by independent observation (2422.449231ms)
|
||
✔ K5: a stop during a tool call leaves the effect uncertain, and it is shown (221.249465ms)
|
||
✔ K12: a member forking in a loop: the freeze stops it, enumeration is complete, populated 0 after cgroup.kill (325.30133ms)
|
||
✔ K13: a member writing its pid into another cgroup is refused by the namespace; the kill is complete (236.053103ms)
|
||
✔ K15: the shim gone, engine/cgroup.events unreadable, or the engine cgroup missing: evidence unavailable, not empty; uncertain (4438.845685ms)
|
||
✔ K10: controller killed between the TERM and kill phases: restart checks the invocation ID and re-runs from TERM for the same stop (428.297784ms)
|
||
✔ K11: controller killed after the confirmation is recorded, before TERM: restart checks the invocation ID and re-runs from TERM for the same stop (357.9965ms)
|
||
✔ K14: a unit with the recorded name but another invocation ID: evidence unavailable, no signals, uncertain (247.375213ms)
|
||
✔ K6: recover without proof, without confirmation, or with changed pins is refused (61.512441ms)
|
||
✔ K7: recover after proof, then launch: new claim and execution, generation +1, same leaf; the cancelled prompt is not replayed (31.106823ms)
|
||
✔ K8: an engine that loads another leaf on resume is refused before admission; it stays claimed until a proven stop (44.083691ms)
|
||
✔ K9: an interrupt that never settles stays uncertain; force stop stays available; takeover is refused while fenced (3038.942072ms)
|
||
✔ K16: a claim from another machine ID refuses foreign-host; no boot proof is issued (4.818403ms)
|
||
✔ K17: two launcher calls with one eligibility record: one launch, the other refuses, no second engine (31.932004ms)
|
||
✔ K18: the leaf changes after eligibility: launch refused; the reservation stays until released with proof (27.345576ms)
|
||
✔ K19: a scope launched with only the engine environment still reaches the user manager; the engine sees no other names (82.689073ms)
|
||
✔ R1: after a proven force stop the controller releases the scope; the shim and the unit are gone (200.059861ms)
|
||
✔ R2: close releases the scope of a binding proven stopped, once, when the stop's own release hasn't run (304.379048ms)
|
||
✔ R3: no release after an unavailable stop or an unverified proof: the scope and its shim stay as evidence (697.804685ms)
|
||
✔ E1: a natural engine exit with no member left: an engine-exit stop, stopped on a proof naming the engine, and the scope released (189.569096ms)
|
||
✔ E2: an engine exit with a tool child alive: the stop ends uncertain and nothing is released; a force stop then ends it (2268.284716ms)
|
||
✔ E3: an engine exit and a force stop take one escalation slot, in either order (657.711622ms)
|
||
✔ E4: a shim that doesn't answer: the engine-exit stop misses its deadline, ends uncertain and frees the slot (704.921809ms)
|
||
✔ E5: an engine exit after a force stop ended uncertain starts no engine-exit stop; the force stop stays current (2447.815747ms)
|
||
✔ E6: the engine-exit observation refuses a reaped process that isn't the recorded engine: another PID or start ticks (201.88798ms)
|
||
✔ R5: the harness finds a running shim and reaps it, and never signals a shim outside a mosaic-chat- scope (Filbert N1 and N2 on #1533) (437.478898ms)
|
||
✔ R6: releaseCohort releases nothing while the engine runs, for another invocation ID, or for a cohort without a scope (139.709062ms)
|
||
✔ R7: controller killed after the claim is stopped, before the release: the restart releases the scope (2357.489461ms)
|
||
✔ R8: controller killed between the two keys' stopped revisions: the restart releases the scope (243.224591ms)
|
||
✔ R9: a release that ended unavailable is tried again on a confirmed recover, not a refused one (217.999263ms)
|
||
✔ R10: close releases and signals nothing for a stopped binding whose proof no longer verifies (Filbert N3 on #1536) (194.615525ms)
|
||
✔ R11: close({ killEngine: true }) after a proven stop sends no signal to the recorded engine PID; a restart releases nothing more (2292.385741ms)
|
||
✔ R12: a restart onto a claim stopped on a boot proof releases nothing, though its scope is listed (184.23266ms)
|
||
✔ no shim from this file's tests is left running for the after hook (17.525407ms)
|
||
✔ S1: `/goal x`, with leading spaces or a tab, refuses text-policy at admission; zero engine bytes (41.57313ms)
|
||
✔ S2: every prefix pinned Pi interprets is refused, from the list the code uses; the rest reach the engine exactly (32.562134ms)
|
||
✔ S3: `/goal` on the second line is pinned from the source: Pi checks only index 0, so it is admitted and sent exactly (23.208692ms)
|
||
✔ S4: a `/` left in the composer is cleared when control transfers and returns; the next submit sends only the new text (45.855649ms)
|
||
✔ S5: an observer terminal gets a paste then Enter, as send-message.sh does: not admitted: controller, nothing sent (20.593987ms)
|
||
✔ S6: a mediated-shaped registration (no tmux) passed to the board's replyToRow: 409 no tmux session; exec never runs (0.845694ms)
|
||
✔ S7: ESC, bracketed-paste markers and U+2028/U+2029 travel as one JSON string; the engine receives the exact text in one record (21.184611ms)
|
||
✔ P3: a Pi confirm, select, input or editor dialog is shown disabled with a reason and never answered (125.040201ms)
|
||
✔ E1: send, ack, user, toolCall, toolResult, final answer: shown once, no refresh, draft and reading position kept (36.629756ms)
|
||
✔ E2: U+2028, U+2029 inside JSON strings and CRLF line ends each parse as one record, on the splitter and through the controller (20.126516ms)
|
||
✔ E3: a multipart final, two blocks, null request correlation and duplicate delivery (31.059827ms)
|
||
✔ E4: a page read after message_end but before its entry is persisted: marker at the seam, re-read after run-settled, each message once (31.515036ms)
|
||
✔ E4: a gap or a new epoch also reconciles; nothing is concatenated across a gap (11.50735ms)
|
||
✔ E5: an unknown native event gives no client event; evidence records its type and bytes; the terminal count goes up (28.519815ms)
|
||
✔ E6: a tool result delayed across a pause and a reconnect is reconciled without a manual refresh (46.087027ms)
|
||
✔ E7: the terminal renders the same stream as the library client, as observer and then as controller, and submits only as controller (39.012862ms)
|
||
✔ terminal: engine control characters are made visible; a lost connection refuses submit (26.166899ms)
|
||
✔ terminal: outcome unknown is shown as such, with no resend offer, and nothing is resent (0.611145ms)
|
||
✔ terminal: text after Enter in the same input chunk starts the next message; it never joins the one submitted (0.439239ms)
|
||
✔ terminal: a paste-start marker split right after its ESC still opens the paste; the Enter inside it never submits (0.498238ms)
|
||
✔ terminal: Ctrl-T then Enter in one chunk is judged after the takeover, as if typed one key at a time (Filbert F2, #1507) (0.570652ms)
|
||
✔ terminal: input held behind Ctrl-T waits for that takeover while an earlier action is still pending (Darkwing T1 on #1522) (31.990374ms)
|
||
✔ terminal: a hold inside held input holds again, and once it is drained later input and Ctrl-C still reach the terminal (Darkwing note 1 on #1522) (0.646024ms)
|
||
✔ terminal: an action that throws still releases the input held behind it, in order, then rethrows (5.066823ms)
|
||
✔ terminal: after an action throws, later input still runs; input() puts the error in the status line (Filbert N1 on #1522) (0.883697ms)
|
||
✔ terminal: input() reports an error when it happens, so it never overwrites a later status; held input's promise doesn't carry the holder's error (Filbert N4 on #1522) (0.670662ms)
|
||
✔ terminal: invisible and bidi characters are made visible; head, status and notice lines stay one line (0.188098ms)
|
||
✔ every record these fixtures produced is a valid CHAT-01 record (E5: no record fails the schema) (353.332163ms)
|
||
✔ H1: two takeovers with the same expected generation: one wins, +1; the other refuses generation (55.948445ms)
|
||
✔ H2: the old controller's prompt after a takeover commits is refused with zero engine bytes (85.992875ms)
|
||
✔ H3: a takeover while a prompt holds the dispatch lock: written under the old actor, or refused; never both (136.223131ms)
|
||
✔ H4: self-takeover is refused (16.819338ms)
|
||
✔ H9: Interrupt racing a prompt's dispatch: before the write, dispatch-refused and no-turn; after, §3 rules (89.63477ms)
|
||
✔ H10: Interrupt and force stop together: one stop chain, force stop supersedes (83.827151ms)
|
||
✔ H10: an overlap during the pause before the abort: no abort, the stop ends uncertain (24.487141ms)
|
||
✔ H10: a no-turn Interrupt lifts only its own fence; admission stays closed under force stop, overlap or revocation (82.531857ms)
|
||
✔ H11: the controller disconnects mid-turn: work continues, the claim is unchanged, control stays put (132.25551ms)
|
||
✔ H12: an exact retry after reconnecting to the same incarnation returns the same receipt; one dispatch (20.81694ms)
|
||
✔ H13: a retry with the same request ID and different text is refused (23.586558ms)
|
||
✔ H14: late stdout from the old engine after a replacement is dropped by incarnation, counted, never rendered (143.137981ms)
|
||
✔ H15: a revoked connection's command is refused; the revocation fence holds (68.770581ms)
|
||
✔ H16: a second controller for the same session refuses already-active; the first is untouched (22.152975ms)
|
||
✔ H10: a second force stop while the first escalation runs refuses fenced; one escalation, and the claim records only the first stop's phases (66.062752ms)
|
||
✔ a force stop whose fence throws leaves no escalation flag behind, so the next force stop runs (Darkwing F2, #1507) (25.705185ms)
|
||
✔ H17: a confirmation reused, answered from another connection, or used after the stop changed is refused (93.774513ms)
|
||
✔ H18: two prompts before any native output: the second refuses busy; one engine write (38.54247ms)
|
||
✔ H19: the pipe fails mid-line under a large prompt: delivery-unknown transport-unknown, poisoned, no later write (127.571437ms)
|
||
✔ H19: the link itself never writes again after an unknown outcome, whoever calls it (0.921566ms)
|
||
✔ H19: the controller dies mid-write of a large line: after restart the outcome is unknown and nothing is resent (556.28349ms)
|
||
✔ H20: the line is written but the ack is lost when the controller dies: orphan, outcome unknown, nothing resent (397.442413ms)
|
||
✔ H21: a retry of the exact request with the old token after a crash is stale-incarnation; no second write (369.017779ms)
|
||
✔ H22: after H21 and a valid recovery, a new request with the new token is admitted (2475.767375ms)
|
||
✔ H23: requests pending at a restart are not resent; each shows outcome unknown (469.56075ms)
|
||
✔ no shim from this file's tests is left running for the after hook (16.798311ms)
|
||
✔ a plain conversation: catalogue row, one page, CHAT-01 records (7.32825ms)
|
||
✔ native entries map to blocks: tools, thinking, bash, notices, ids that do not fit (1.671577ms)
|
||
✔ F1: a malformed line is an unavailable part at its position, and reading continues (1.797267ms)
|
||
✔ F1: a missing parent stops the history with a notice that names the unreadable lines (3.823873ms)
|
||
✔ F1: an unreadable fork is never merged into another branch's history (2.131738ms)
|
||
✔ F1: a follow stays on its branch when the next entry's parent is unreadable (3.08525ms)
|
||
✔ F1: a file whose entries are all unreadable shows a notice per line (1.261016ms)
|
||
✔ F2: a truncated trailing line marks the view incomplete, not an error (2.050202ms)
|
||
✔ pagination: 100 parts, then the rest; parts concatenate to the whole branch (4.374478ms)
|
||
✔ F3: a replaced file (new inode) refuses old cursors with reconcile (5.93408ms)
|
||
✔ F4: a same-inode rewrite of the prefix refuses old cursors with reconcile (7.262726ms)
|
||
✔ F5: growth between pages keeps the epoch and the page stops at the pinned length (8.17482ms)
|
||
✔ F6: unknown, foreign and expired cursors refuse and leave the cursor usable (7.751472ms)
|
||
✔ F7: a symlinked file and a symlinked directory component are refused, never opened (9.779172ms)
|
||
✔ F8: a file swapped for a symlink after the catalogue is refused (2.259139ms)
|
||
✔ F9: registrations never add or redirect a root (1.647066ms)
|
||
✔ F10: a header cwd naming another project is refused (3.862289ms)
|
||
✔ F11: parentSession renders with a marker and the parent is never opened (0.861955ms)
|
||
✔ F12: two leaves: the default leaf is shown and the other branch reads alone (6.113849ms)
|
||
✔ F12: a follow refuses when an appended duplicate id changes the branch's earlier parts (3.802909ms)
|
||
✔ F12: a second root (Pi's resetLeaf) starts its own branch (2.232241ms)
|
||
✔ F13: compaction is a marker in place, then the retained content (1.204849ms)
|
||
✔ F14: long strings split into fragments and parts, reassemble exactly, and pages respect the byte cap (594.925675ms)
|
||
✔ fragments never cut a surrogate pair and keep an empty string (5.340767ms)
|
||
✔ F15: a Claude seat is an unsupported-harness placeholder whose directory is never read (1.832182ms)
|
||
✔ unknown conversations, empty files and non-Pi files refuse (3.187358ms)
|
||
✔ an unreadable file or root inside the roots is refused per row, not a failed catalogue (1.376523ms)
|
||
✔ a seat directory without search permission refuses that root, not the catalogue (2.360616ms)
|
||
✔ every page and cursor is a valid CHAT-01 record (1158.906087ms)
|
||
✔ the engine pin holds for the installed package (1.805789ms)
|
||
✔ pinned Pi, sealed and without credentials, answers the controller's commands with the shapes the fake models (338.482911ms)
|
||
✔ sealed, pinned Pi ignores a trusted project's .pi resources; --approve past the seal would load them, and checkSeal refuses it (Filbert F2 on #1522) (622.587826ms)
|
||
✔ pinned Pi appends thinking_level_change at start when the branch lacks one, so the leaf moves (K8 then fails closed) (382.850074ms)
|
||
✔ N25: ordinary Interrupt reconciles; a non-empty queue_update in the window is O5 (78.124653ms)
|
||
✔ N1: an extension's follow-up queued after the fence is cleared before any abort; O5, Unknown (56.004012ms)
|
||
✔ N1: a follow-up queued before the fence is O5 at once; the Interrupt refuses fenced (27.989722ms)
|
||
✔ N2: with abort first, the fake runs the external item (the ordering guard has teeth) (23.453382ms)
|
||
✔ N3: the fence lands in preflight, preflight errors, no run: failed, No run, uncertain (34.752374ms)
|
||
✔ N4: the ack arrives after the first abort and a run starts: clear and abort again; Interrupted (21.075286ms)
|
||
✔ N5: an input handler takes the prompt: ack, no run, delivery-unknown handled-without-run (117.766065ms)
|
||
✔ N6: an extension queues between clear_queue and abort: O5 and O6, Unknown (46.493948ms)
|
||
✔ N7: clear_queue times out: no abort, nativeQueue unknown, force stop still ends it (1533.381108ms)
|
||
✔ N7: clear_queue answers an error: no abort, nativeQueue unknown, the link not poisoned (14.706066ms)
|
||
✔ N8: an extension prompt starts a run during Mosaic preflight; the losing settle is O3 (72.545436ms)
|
||
✔ N9: a run that started before the fence and ends aborted: failed interrupted, Interrupted (18.028075ms)
|
||
✔ N9: decision 34: a run that ends aborted with no stop in progress: aborted-without-stop, uncertain, outcome unknown (17.335107ms)
|
||
✔ N9: an aborted that lands after the fence but before any abort is written: aborted-without-stop, Unknown (33.264748ms)
|
||
✔ N10: fake conformance (32.60117ms)
|
||
✔ N11: the run fails before any user message_start: delivery-unknown ack-without-start, never failed (32.220626ms)
|
||
✔ N12: input that starts a run after the final empty clear is O1 and not part of the stop's proof (20.547692ms)
|
||
✔ N13: agent_start with no slot held is O1; a later prompt refuses with zero engine bytes (66.377667ms)
|
||
✔ N14: the run completes while clear_queue is in flight: finished, Completed first, uncertain (32.879935ms)
|
||
✔ N14: the run completes after the abort is written, before Pi applies it: finished, never relabelled (31.06225ms)
|
||
✔ N15: the fence lands in preflight, then an input handler takes it: handled-without-run, No run (22.296217ms)
|
||
✔ N16: Interrupt with no slot and no run refuses no-turn: no stop, no bytes, admission open (13.679293ms)
|
||
✔ N17: the run fails on its own during the exchange: failed, Failed on its own (28.830586ms)
|
||
✔ N18: no final assistant message_end, or a lost line: working stays working; before working, transport-unknown (119.202622ms)
|
||
✔ N19: a losing extension prompt settles inside the Mosaic run before its user message: O3, run-overlap (137.861973ms)
|
||
✔ N20: an extension triggerTurn during Mosaic preflight starts first; while streaming it queues with no signal (84.077105ms)
|
||
✔ N21: a losing settle after the receipt settled finished is O2; the receipt stays finished (15.997283ms)
|
||
✔ N22: an agent-level custom message is dropped by the clear with no signal; evidence names the seal (16.070786ms)
|
||
✔ N23: a nextTurn message survives clear and abort and attaches to the next prompt, with no signal (14.68961ms)
|
||
✔ N24: the seal is an allow-list: --extension, a missing --no-* flag, a second --mode or --session, a session or output flag, or a stray word refuses unsealed-engine; no engine starts (42.31339ms)
|
||
✔ N24b: the seal covers the engine command and environment: config can't name either, the env is built from names, and a mutated command is refused at bind (30.636779ms)
|
||
ℹ tests 182
|
||
ℹ suites 0
|
||
ℹ pass 182
|
||
ℹ fail 0
|
||
ℹ cancelled 0
|
||
ℹ skipped 0
|
||
ℹ todo 0
|
||
ℹ duration_ms 37479.617696
|