Candidate manifest sha256 710d50866e77055b7231a53e3601bd2bab7686b722160f81ddda030875f67e9b, 30 files. Targeted gate green, 77 of 77 mutants killed, repro DIGESTS_OK. Co-Authored-By: Claude Opus 5.5 <[email protected]>
223 lines
21 KiB
Plaintext
223 lines
21 KiB
Plaintext
✔ agents: a held role with nothing on the bus is idle; a role session gets the claim rows unchanged (153.699243ms)
|
||
✔ agents: working counts what the holder received and has not read; routed alone is not working (229.827968ms)
|
||
✔ agents: input needed is the role's open decisions routed to the human, gated first, then oldest (341.356151ms)
|
||
✔ agents: working wins over waiting, and Input needed still shows (168.961636ms)
|
||
✔ agents: a new holder doesn't inherit what the last one left unread; decisions stay with the role (195.279545ms)
|
||
✔ agents: state reads only its own business, even for a run name both use (175.255358ms)
|
||
✔ agents: a message the holder released unread is stranded; the next holder gets nothing and cannot read it (201.908584ms)
|
||
✔ agents: a message the holder read is not stranded; one the current holder has not read is not listed (231.446356ms)
|
||
✔ agents: stranded is oldest first and capped at 50 for a role (851.791411ms)
|
||
✔ agents: stranded is per role and per business (350.931409ms)
|
||
✔ agents: a message routed to a held role and not yet received is not stranded (138.933501ms)
|
||
✔ launch identity is stamped, payload identity is refused and stale holder cannot send (163.60871ms)
|
||
✔ decision classes route from policy; gated resolution is human-only, choice and target must match (278.627925ms)
|
||
✔ claim exclusion, holder release, gated revoke and rerouting to a new holder are atomic (267.190481ms)
|
||
✔ launch events require a human CLI capability; generic emit cannot forge authority events (178.038269ms)
|
||
✔ within-role decisions close atomically and invalid options or blocking omissions refuse (173.097804ms)
|
||
✔ a recommendation that is not exactly one option key refuses invalid-recommendation after the options (266.152047ms)
|
||
✔ observer capabilities read human inbox but cannot mutate or forge launch identity (170.529144ms)
|
||
✔ task action subjects and linked decision trail are complete and ordered (211.168554ms)
|
||
✔ launch binding is durable and reconnecting requires the identical trusted record (128.832232ms)
|
||
✔ business isolation includes inherited object names and cross-business message references (205.844863ms)
|
||
✔ authority never transfers between action, run, target, unresolved or replaced role holder (248.145532ms)
|
||
✔ task projection uses schema current view, skipping earlier and equal-start polls (145.408216ms)
|
||
✔ revocation permanently bars the old run from reclaiming first, including after broker restart (236.491794ms)
|
||
✔ empty message references refuse before storage; refusal-evidence failure stays a typed error (147.355713ms)
|
||
✔ both arbiters require human resolution when their cross-role route is themselves (249.101355ms)
|
||
✔ the shipped coder role raises task.reassign as gated to the human; task.scope.change stays cross-role (197.263685ms)
|
||
✔ S1 adapter takes resolved limits and refs, rejects mismatched instance, never mutates input (3.392526ms)
|
||
✔ REQ-COS-1, REQ-ROLE-2: the chief of staff ends a run with a reason and no decision, and the reason is logged (248.683136ms)
|
||
✔ REQ-ROLE-2: a role without role.end still needs a resolved decision to revoke (358.279502ms)
|
||
✔ REQ-ROLE-2: storage accepts a revoke with a reason or a decision and aborts one with neither (236.492404ms)
|
||
✔ REQ-ROLE-2: the chief of staff may still cite a decision, and a decision alone is the old path (242.058757ms)
|
||
✔ REQ-ROLE-2: a role without role.end still ends a run through a resolved decision, which is recorded and has no reason (251.551342ms)
|
||
✔ REQ-ROLE-2: a reason is required, bounded, and never sent with a decision (290.255674ms)
|
||
✔ REQ-COS-1: the chief of staff cannot end its own run or the assistant's through role.end (283.426707ms)
|
||
✔ REQ-LIMIT-1, REQ-COS-1: organization.set from the chief of staff reaches the shared writer, named as the actor (228.530659ms)
|
||
✔ REQ-LIMIT-1, REQ-COS-1: a refused organization.set logs action.refused and no action.allowed, like a refused limits.set (305.018003ms)
|
||
✔ REQ-LIMIT-1: organization.set is refused for every caller whose role file lacks organization.change (306.091213ms)
|
||
✔ REQ-LIMIT-1: the chief of staff is logged as allowed, and organization.set takes only the human's keys (399.584046ms)
|
||
✔ REQ-ROLE-3, REQ-LIMIT-1: a chief-of-staff change is validated, written and logged like a human's; an invalid one is refused (486.902178ms)
|
||
✔ REQ-ROLE-2, REQ-COS-1: the 3c→3d migration lets the chief of staff end a held role with a reason; neither is still refused (775.921922ms)
|
||
✔ comment cursors isolate businesses, move only forward and remain append-only (138.292861ms)
|
||
✔ only trusted sync writes validated cursors; events and cursor share rollback (124.446357ms)
|
||
✔ explicit 3b copy migration preserves evidence and opens as 3e; normal startup never migrates (858.742554ms)
|
||
✔ migration refuses active writers and drifted legacy schemas, with no partial upgrade (1484.984022ms)
|
||
✔ named migration registry chains 3b through 3e to a fixture-only future version in order (820.145004ms)
|
||
✔ migration refuses mismatched source metadata without changing schema or evidence (725.043254ms)
|
||
✔ offline command migrates only the supplied fixture root and reports usage errors (773.331649ms)
|
||
✔ credentials gives human and reader sessions service, account, role, date and state, and nothing else (106.605675ms)
|
||
✔ credentials refuses a role session and any argument (168.029384ms)
|
||
✔ credentials reads the status on each request, and a broker without one lists none (248.975137ms)
|
||
✔ the broker process answers credentials without a token, path or variable in its output, log or store (219.949233ms)
|
||
✔ only validated broker references load; returned data and exceptions cannot expose a known token (4.038281ms)
|
||
✔ bad file modes, symlinks, repository/data paths, malformed tokens and missing dates refuse (11.025056ms)
|
||
✔ expiry refuses use and env references never become client data (0.734965ms)
|
||
✔ S1 parsed service refs work, service mismatch refuses, Gitea rotation due is a warning state (1.376493ms)
|
||
✔ opaque tokens shorter than 16 characters refuse before use (0.337724ms)
|
||
✔ a human resolve sends the raising role one message from the human, and its request is the answer (224.094326ms)
|
||
✔ a cross-role decision resolved by its arbiter comes from that role and run, with no request (274.702729ms)
|
||
✔ a human withdraw sends one message with the note (228.481859ms)
|
||
✔ a human seen before the close leaves the request on the close's answer, not the seen (273.780532ms)
|
||
✔ the raising run's withdraw, a supersede, a within-role raise and seen send nothing (264.549049ms)
|
||
✔ refused closes send nothing: invalid-choice, decision-closed, not-resolver (280.427035ms)
|
||
✔ a raising role nobody holds at the close gets the message on the next claim (287.222085ms)
|
||
✔ a human DECISION send keeps its own instruction as the request, not a close's answer (245.864642ms)
|
||
✔ a cross-role raise whose arbiter the raiser does not hear from is refused and stores nothing (292.381317ms)
|
||
✔ a gated raise by a role that does not hear from the human is refused and stores nothing (309.158603ms)
|
||
✔ a route the raiser hears from is allowed, checked from the route to the raiser (336.401942ms)
|
||
✔ a refused supersede withdraws nothing (275.187726ms)
|
||
✔ the assistant's within-role and gated raises still work (296.324738ms)
|
||
✔ roles lists open decisions routed to a role, and never the human inbox (206.108813ms)
|
||
✔ recent lists closed decisions of every route, newest close first, with how each closed (330.341092ms)
|
||
✔ recent gives the closing event as closed when the decision was seen first (285.855501ms)
|
||
✔ recent stops at RECENT rows (796.398309ms)
|
||
✔ every row is what trail already gives the same session for that id (283.159588ms)
|
||
✔ a role session can't list decisions, so it can't read another role's open decisions (383.233516ms)
|
||
✔ decisions is a read: one business, strict arguments, nothing written (389.667131ms)
|
||
✔ endLaunch writes session.ended, releases the run claim and kills its capabilities (128.809578ms)
|
||
✔ endLaunch refuses an unknown run, a second end and a rebind of the ended run (137.1012ms)
|
||
✔ a restarted broker refuses to rebind an ended run; a refused rebind leaves the run unbound (170.955875ms)
|
||
✔ endLaunch leaves a claim another run took alone (184.074403ms)
|
||
✔ refuse records action.refused against the caller with the code only (140.507998ms)
|
||
✔ launches off refuses role.launch with launch-revoked until launches on (190.142885ms)
|
||
✔ broker process: launch ops authorize role.launch, record refusals and end runs (294.793427ms)
|
||
✔ human proof binds CLI entry, process start and nonce; agents and incomplete ancestry refuse (1.785499ms)
|
||
✔ process reader gets own kernel identity without exposing environment values (0.541362ms)
|
||
✔ EACCES ancestor environments skip only markers; commands and registered launches still refuse (0.70026ms)
|
||
✔ real pid 1 remains inspectable when its environment is protected (0.274873ms)
|
||
✔ limits binds actor from human proof and rejects role, reader, tester and forged actor (178.299144ms)
|
||
✔ runtime wires verified human settings to the actual shared file writer and actor receipt (311.685088ms)
|
||
✔ uncertain organization receipts leave bus startup and reads alone but refuse writes until reconciled (415.381236ms)
|
||
✔ within-role sends cite an open gated launch decision without spending it or naming it in grants (191.334696ms)
|
||
✔ missing and foreign-business citations refuse and roll back message and grant (210.002464ms)
|
||
✔ cross-role sends still need a matching resolved decision and consume it once (250.141836ms)
|
||
✔ messages pages all human messages newest first without writes; read state is history (2588.035232ms)
|
||
✔ messages refuses role callers, invalid paging and cursors outside this human feed (260.640998ms)
|
||
✔ views messages passes only its paging arguments through (0.245633ms)
|
||
✔ messages isolates businesses even with a valid foreign cursor (175.891447ms)
|
||
✔ the assistant sends to the user and to the chief of staff only (336.126087ms)
|
||
✔ an assistant send to any other role, or to the tester, is refused and logged (364.631711ms)
|
||
✔ only the user and the chief of staff may send to the assistant; the tester is refused by default (367.54967ms)
|
||
✔ REQ-ASSIST-2 REQ-THREAD-1 thread.send to an instance that does not hear from the user is refused and stores nothing (283.826176ms)
|
||
✔ a sender-side list alone refuses a send to a role that has no list (334.112214ms)
|
||
✔ a target-side list alone refuses a send from a role that has no list (346.286947ms)
|
||
✔ the sender list is checked before the target list (286.802315ms)
|
||
✔ roles without the field behave exactly as before (419.335901ms)
|
||
✔ a business with no role definitions at all is unlimited (340.157788ms)
|
||
✔ a malformed messaging field refuses at boot (129.218842ms)
|
||
✔ the assistant's review.request to a reviewer is refused and logged, even with an approved decision (320.680184ms)
|
||
✔ a review.verdict to the assistant from a role outside its receiveFrom is refused and logged (337.817561ms)
|
||
✔ review requests and verdicts between roles without the field are unchanged (287.759179ms)
|
||
✔ broker process binds trusted launches, offers reader capabilities, refuses human mutation, closes cleanly (204.850077ms)
|
||
✔ startup token refusal returns safe code without value or partial listening broker (49.961194ms)
|
||
✔ loaded fixture token is absent from socket replies and SQLite, including refusal evidence (207.537935ms)
|
||
✔ killed broker leaves an explicit stale lock; another process cannot silently reclaim it (185.704314ms)
|
||
✔ trusted host registers later launches; socket clients never have a registration verb (198.379885ms)
|
||
✔ runtime excludes declared project roots even when host supplies no repoRoots (46.600349ms)
|
||
✔ a refused launch binding leaves the broker and existing capabilities alive; bad protocol stops it (180.898186ms)
|
||
✔ a reply is listed for human and reader sessions, and its delivery rows are unchanged (266.189296ms)
|
||
✔ the reply still reaches the human message.receive (mosaic talk) after the Console showed it (209.052953ms)
|
||
✔ a message with no reply gives an empty list (161.855029ms)
|
||
✔ replies come oldest first and stop at REPLIES (753.585731ms)
|
||
✔ an id that names no message in the business refuses message-not-found, and the refusal is recorded (304.848994ms)
|
||
✔ strict arguments; a role session gets human-required (357.950038ms)
|
||
✔ views passes replies through as one call with the id (0.391061ms)
|
||
✔ requirements returns the committed list to a holding role session, and no one else (215.187029ms)
|
||
✔ the PM's prd.approve with no task, when no id fits, reaches the human's Inbox (149.137339ms)
|
||
✔ the PM's non-blocking role.revoke with no task reaches the human's Inbox (161.920145ms)
|
||
✔ a push is recorded as the action.allowed for git.push.working on the task, and only the host records one (234.096824ms)
|
||
✔ review.request names the latest pushed commit and sends the reviewer a REVIEW-REQUEST (237.184474ms)
|
||
✔ review.request says which run holds the reviewer role, or null, and a null request waits for a claim (283.737856ms)
|
||
✔ review.request refuses a commit that isn't the latest push, a non-reviewer and a role without the action (393.262093ms)
|
||
✔ reviewFetch answers only the addressed reviewer, for the request it cites (239.834633ms)
|
||
✔ review.verdict answers one request once, to the role that asked (288.219314ms)
|
||
✔ task.close on a pushed task needs an approve verdict for the latest push (372.424164ms)
|
||
✔ a refusal the host decided is filed on the task it names, and only a task ref counts (255.528338ms)
|
||
✔ v3b prototype refusals, views and append-only mutations (1455.043133ms)
|
||
✔ gated approval authorizes once, survives store reopen, and fresh approval works (242.829252ms)
|
||
✔ another run cannot consume an approval; a failed check leaves it usable (228.24592ms)
|
||
✔ two scheduled callers have exactly one grant and one consumed refusal (177.762603ms)
|
||
✔ failed commit rolls consumption back; cross-role consumes and within-role stays reusable (318.536908ms)
|
||
✔ class drift gated to cross-role refuses before consumption (211.304887ms)
|
||
✔ class drift cross-role to gated refuses before consumption (265.034899ms)
|
||
✔ class drift gated to within-role refuses before consumption (219.374338ms)
|
||
✔ class drift cross-role to within-role refuses before consumption (250.897278ms)
|
||
✔ class drift within-role to gated refuses before consumption (229.222792ms)
|
||
✔ class drift within-role to cross-role refuses before consumption (193.165973ms)
|
||
✔ message.send consumes approval and prevents a later send or authorize (207.657143ms)
|
||
✔ role.revoke consumes approval and prevents a later revoke or authorize (246.048627ms)
|
||
✔ a business that never switched launches reads allowed with no time and no event (132.737745ms)
|
||
✔ launches revoked and then restored read allowed, with the restore time and event id (156.424182ms)
|
||
✔ a task closed on the tracker leaves the open list, and total counts the open ones (159.660859ms)
|
||
✔ a tombstone is not open (138.722083ms)
|
||
✔ the open list stops at the cap and says so; total still counts every open task (152.006771ms)
|
||
✔ a role and a reader session read state; arguments, and an unbound cap, refuse (138.801717ms)
|
||
✔ a human session reads the same state, with the same cap (137.176693ms)
|
||
✔ reading state writes nothing: every table keeps its row count (162.719034ms)
|
||
✔ creates private WAL store and excludes a second writer until explicit close (131.671302ms)
|
||
✔ rollback is atomic and schema metadata is checked against trusted DDL, not just itself (170.325062ms)
|
||
✔ existing empty database and symlink runtime directory refuse, never initialize over damage (190.832741ms)
|
||
✔ crash during a transaction recovers no partial event after explicit fixture-only lock removal (172.92479ms)
|
||
✔ writer refuses mixed at/read_at forms atomically, even through trusted SQL helpers (114.296175ms)
|
||
✔ async transactions refuse before invoking their function (86.234791ms)
|
||
✔ the session default fits under the reply cap and pages to the end with next (301.629918ms)
|
||
✔ the short form: no description, assignees by role, every listed key (244.237388ms)
|
||
✔ each filter, alone and together, and total counts every match (327.209787ms)
|
||
✔ task_ref reads one task in full, as the whole board has it (284.518362ms)
|
||
✔ no arguments is the read the Console and mosaic make, unchanged (253.103932ms)
|
||
✔ an unknown argument or a bad value refuses invalid-request (907.384015ms)
|
||
✔ tasks rows carry priority and requirement for every session that reads tasks (303.905155ms)
|
||
✔ the read model rebuilds from the ledger: a reopened bus and each trail give the same values (317.338299ms)
|
||
✔ an empty business and one with snapshots but no task.created read cleanly (118.270699ms)
|
||
✔ recordTask keeps sync reads and a role write apart (165.172894ms)
|
||
✔ read_at must be one canonical UTC format, so the projection compares strings safely (115.94974ms)
|
||
✔ a bad entry refuses the whole record (104.699739ms)
|
||
✔ taskView reads the projection for one business (119.567114ms)
|
||
✔ requestTask hands only a holder and a task verb to the handler, and records refusals (247.708657ms)
|
||
✔ the server sends task verbs to the adapter with its own timeout; other verbs stay synchronous (409.701154ms)
|
||
✔ without an adapter the server refuses every task verb (199.502617ms)
|
||
✔ the runtime refuses an invalid adapter and closes a valid one (201.339903ms)
|
||
✔ the process loads the S3 adapter from plain-data trackers (264.66692ms)
|
||
✔ the tester binds only when the business sets bus.tester to exactly true (779.049664ms)
|
||
✔ a business may not name a role tester, so the tester address is never a role (238.571844ms)
|
||
✔ every verb outside the tester list refuses tester-refused and is recorded against the tester (520.599727ms)
|
||
✔ a tester message is from tester, starts [mos test], and writes no human.input or authority (201.997275ms)
|
||
✔ a role answers a tester only in reply to a tester message, and the answer never reaches the human (243.194114ms)
|
||
✔ the tester reads the human views a reader reads (164.5203ms)
|
||
✔ tester proof binds its own CLI, start time and nonce, refuses a managed run and allows an agent (1.182779ms)
|
||
✔ neither CLI's nonce proves the other: each proof is bound to its own CLI and nonce variable (0.330254ms)
|
||
✔ testerNonce reads only the tester's variable and gives null on any read error (0.208544ms)
|
||
✔ an envelope carries exactly one of cap, human and tester; no tester authenticator refuses (122.394147ms)
|
||
✔ tester-cli.mjs binds through the runtime when the switch is on, and refuses off or under a run marker (824.261941ms)
|
||
✔ REQ-THREAD-1 REQ-ORG-2: the 3d→3e migration adds the thread tables and leaves messages from before threads as written (955.684174ms)
|
||
✔ REQ-THREAD-1: a 3d bus with a changed schema is refused and keeps its version and tables (732.464281ms)
|
||
✔ REQ-THREAD-1: the offline command prints the kept-message counts before the ready line (750.145897ms)
|
||
✔ REQ-ROLE-2 REQ-THREAD-1: one holder per thread, through the broker and the trigger (314.082655ms)
|
||
✔ REQ-ROLE-2 REQ-THREAD-1: the 3e triggers refuse writes that skip the broker (1109.003438ms)
|
||
✔ REQ-MSG-1: a message to or from the assistant names its thread, or is refused (315.68945ms)
|
||
✔ REQ-MSG-1: the chief of staff's reply comes back to the thread that sent the work (3078.304374ms)
|
||
✔ REQ-MSG-1: a reply can't carry one thread instance's thread to another thread instance (113.017441ms)
|
||
✔ REQ-THREAD-1 REQ-USER-2: one thread's messages never reach another thread's holder (177.587495ms)
|
||
✔ REQ-LAUNCH-1: a message to a thread with no holder waits, and the next holder gets it (184.759923ms)
|
||
✔ REQ-THREAD-2 REQ-LAUNCH-1: threadIdle releases only a thread with nothing waiting, and only for its holder (219.041341ms)
|
||
✔ REQ-THREAD-2 REQ-LAUNCH-1: a message delivered to a run that ended unread doesn't hold up the next holder (161.719891ms)
|
||
✔ REQ-ROLE-2 REQ-THREAD-1: an approved role.revoke never reaches a thread run, and the thread stays held (175.523575ms)
|
||
✔ REQ-USER-2: the human verbs refuse another owner's thread (161.225384ms)
|
||
✔ REQ-THREAD-1: thread.create refuses when the business has no thread instance or more than one (115.606981ms)
|
||
✔ REQ-ORG-2: projects and threads are named once, and the repo names a business project (151.712139ms)
|
||
✔ REQ-THREAD-2: thread.messages returns the thread's history in pages and writes nothing (492.731667ms)
|
||
✔ socket capability stamps launch identity; shared views use wire, no SQL client (159.814758ms)
|
||
✔ two wire claims serialize; a lost reply never automatically retries (169.899237ms)
|
||
✔ malformed, oversized and identity-forging envelopes refuse without echoing input (120.098738ms)
|
||
✔ client preserves UTF-8 when a response divides a multibyte character (11.513057ms)
|
||
✔ committed mutation followed by dropped reply reports unknown and is never retried (150.778843ms)
|
||
ℹ tests 214
|
||
ℹ suites 0
|
||
ℹ pass 214
|
||
ℹ fail 0
|
||
ℹ cancelled 0
|
||
ℹ skipped 0
|
||
ℹ todo 0
|
||
ℹ duration_ms 9386.159124
|