jason.woltjeandClaude Opus 5.5
08e327bf58
Candidate manifest 616f953fe09bfc198645886bc4c7228a0fdeafa8c89b1729f2be8a5222689607 on dda7e31b0.
Owner's gate 23:11:36Z-23:15:46Z exit 0; mutants 17 of 17 killed.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
115 lines
8.0 KiB
Plaintext
115 lines
8.0 KiB
Plaintext
✔ the role file loads and resolves through loadBusiness (7.112463ms)
|
||
✔ the shipped file is exactly the approved list (0.923586ms)
|
||
✔ the assistant's authority is message.send within role and nothing else (2.476423ms)
|
||
✔ the assistant talks to the user and the chief of staff only, and no other shipped role is limited (0.850092ms)
|
||
✔ a business grant through limits does not widen the role (1.958843ms)
|
||
✔ a launch block whose by is the assistant is refused (1.991426ms)
|
||
✔ the instance takes no credential references and no tracker (3.25552ms)
|
||
✔ an arbiter whose role definition declares messaging lists is refused, for each kind (5.286341ms)
|
||
✔ an arbiter without messaging lists is accepted beside the limited assistant (2.46178ms)
|
||
✔ the contract passes work to the chief of staff and directs no one (0.689355ms)
|
||
✔ REQ-HARN-2: the assistant holds the web grant, and no other role file does (4.510304ms)
|
||
✔ config directory and file path follow MOSAIC_CONFIG (1.496185ms)
|
||
✔ the fixture business validates and comes back frozen (5.701335ms)
|
||
✔ two instances may share a definition (2.184858ms)
|
||
✔ top-level refusals (5.674048ms)
|
||
✔ arbiters and projects (8.87934ms)
|
||
✔ role instances (4.341438ms)
|
||
✔ Vikunja bots (7.809525ms)
|
||
✔ a role without Vikunja takes no tracker block (2.385635ms)
|
||
✔ credential references match the definition's services (2.282029ms)
|
||
✔ launch (7.438251ms)
|
||
✔ REQ-THREAD-2 REQ-LAUNCH-1 launch.threadIdleSeconds: absent is the default, a positive integer is used, anything else refuses (3.698053ms)
|
||
✔ loadBusiness: file checks (1.589867ms)
|
||
✔ loadBusiness: not a regular file (34.854026ms)
|
||
✔ loading writes nothing (0.981889ms)
|
||
✔ names that are Object.prototype properties don't count as declared (2.679562ms)
|
||
✔ the shipped example refuses as written and validates once filled in (0.767571ms)
|
||
✔ the role file loads and resolves through loadBusiness (8.124958ms)
|
||
✔ the shipped file is exactly the approved list (0.296718ms)
|
||
✔ the resolved record matches the approved list, so a widened file fails (2.234519ms)
|
||
✔ the chief of staff holds role.launch, message.send, role.end and organization.change; every other action is gated (1.91708ms)
|
||
✔ the pm does not hold role.launch (2.045155ms)
|
||
✔ a business grant of a gated action through limits does not widen the role (2.268958ms)
|
||
✔ a limit that drops role.launch leaves the chief of staff with no launch block (1.562094ms)
|
||
✔ a launch block whose by is the pm instance is refused (3.520015ms)
|
||
✔ the contract names no duty to talk to the human and the pm contract no launch (0.481995ms)
|
||
✔ the instance takes no credential references and no tracker (2.735568ms)
|
||
✔ usage errors exit 4 (288.496847ms)
|
||
✔ validate: a good business exits 0 and prints instance digests (63.885551ms)
|
||
✔ validate: project files (300.86273ms)
|
||
✔ validate: missing files and a broken system config (252.747608ms)
|
||
✔ validate: credential reference problems exit 2 and name each one (82.642252ms)
|
||
✔ validate: a token file inside the repository is refused (64.347499ms)
|
||
✔ validate: role definitions come from MOSAIC_ROLES_DIR (220.440393ms)
|
||
✔ resolve: prints one instance's record (285.290426ms)
|
||
✔ resolve: refusals (421.672701ms)
|
||
✔ parse: exactly one of file or env, plus the service's date (2.683774ms)
|
||
✔ check: a good file has no problems (0.866523ms)
|
||
✔ check never opens the file: a write-only token passes (0.416316ms)
|
||
✔ check: file problems (0.986087ms)
|
||
✔ check: token files can't live in the repository or dataRoot, even through a linked directory (1.011068ms)
|
||
✔ check: dates and environment references (0.430983ms)
|
||
✔ each definition loads, with a contract file, and is exactly the approved list (4.25855ms)
|
||
✔ an organization file that declares them passes, and each resolves to least privilege (7.101191ms)
|
||
✔ the chief of staff launches each one; no other role does (5.280575ms)
|
||
✔ a C-suite role can't be made the launcher: launch.by must hold role.launch (2.417383ms)
|
||
✔ limits can narrow a C-suite role but never widen it (1.701867ms)
|
||
✔ any unknown key, tool, action or version in a role file is refused (0.563204ms)
|
||
✔ REQ-LIMIT-1 schema: every scope unset or zero, adjustable above four, bad values and unknown models refuse (15.256679ms)
|
||
✔ REQ-LIMIT-1 counts each exact scope at/over limit, unlimited and old tuple after model reassignment (0.884035ms)
|
||
✔ REQ-ROLE-3 writer: atomic validated revision, immutable previous bytes and authenticated actor/old/new receipt (218.312226ms)
|
||
✔ REQ-ROLE-3 writer: pre-rename fault leaves old file, post-rename recovery records commit, conflicting recovery refuses (238.170979ms)
|
||
✔ REQ-LIMIT-1 / decision145 migration prints only, preserves values, rejects ambiguity, and is idempotent (3.136427ms)
|
||
✔ REQ-LIMIT-1 shared settings validates the complete proposed selection and logs exact actor (192.346301ms)
|
||
✔ REQ-LIMIT-1 provider is table data: another provider routes separately and aliases share exact counts (1.798603ms)
|
||
✔ REQ-ROLE-3 refuses live writer locks, symlink targets and uncertain recovery without changing bytes (106.696829ms)
|
||
✔ REQ-PLUG-1 schema: plugins is optional, names known kinds and checked module names (11.088531ms)
|
||
✔ REQ-PLUG-1 REQ-ROLE-3 the setter writes plugins through the organization writer and logs old and new names (263.646378ms)
|
||
✔ vikunja:19/309 a patch changes only the kinds it names; null removes one kind, explicitly and in the trail (343.799165ms)
|
||
✔ vikunja:19/309 an unknown kind (set or removed), a bad module, an empty patch and null on the wrong shape are refused, nothing written (1.421093ms)
|
||
✔ REQ-PLUG-1 REQ-ROLE-3 the writer checks the bytes it writes: a Date in plugins is refused there too (34.170983ms)
|
||
✔ REQ-PLUG-1 REQ-ROLE-3 a refused setter write throws a code, changes nothing and logs nothing (1.574999ms)
|
||
✔ vikunja:19/305 with an exists check, the setter refuses a module no tree file answers to, before anything is written (96.814455ms)
|
||
✔ path and load (3.259901ms)
|
||
✔ refusals (1.537639ms)
|
||
✔ systemVars flattens the validated config (2.159058ms)
|
||
✔ precedence: system, business, project, project role, agent (5.664429ms)
|
||
✔ limits narrow the definition and never widen it (2.518823ms)
|
||
✔ role.launch stays within-role only for the instance the launch block names (5.815607ms)
|
||
✔ limits.authority without role.launch leaves the launcher with no launch block (2.096901ms)
|
||
✔ limits.authority narrows cross-role actions too (1.343879ms)
|
||
✔ classify (1.112682ms)
|
||
✔ the record carries what the broker and launcher need (1.100261ms)
|
||
✔ digest: key order doesn't matter, any value change does (7.491835ms)
|
||
✔ refusals (2.264671ms)
|
||
✔ the four shipped version 2 roles load (4.074104ms)
|
||
✔ shipped role scopes match addendum B section 2 and the SR runbook (1.421657ms)
|
||
✔ shipped authority follows the note's table (1.015613ms)
|
||
✔ every role file in roles/ loads through the validator, and a v2 contract exists (1.524478ms)
|
||
✔ version 1 files keep loading with no authority (1.185063ms)
|
||
✔ the conductor policy isn't a role (0.249953ms)
|
||
✔ a missing role file is exit 4, a symbolic link too (0.489869ms)
|
||
✔ version 2 refusals (1.862021ms)
|
||
✔ authority: closed vocabulary, no gated-only action, no overlap (2.126065ms)
|
||
✔ messaging: optional, role definitions and human, never the tester (1.816815ms)
|
||
✔ credentials: Gitea scopes (0.803843ms)
|
||
✔ credentials: Vikunja scopes are a group-to-verbs map from the grantable list (1.172392ms)
|
||
✔ credentials: services (0.421517ms)
|
||
✔ contract: a non-empty regular Markdown file beside the role file (0.535777ms)
|
||
✔ every key names known layers and a merge rule (1.019305ms)
|
||
✔ unknown keys and wrong layers refuse (0.853707ms)
|
||
✔ types (2.408366ms)
|
||
✔ merge: defaults, then the most specific layer wins (0.332127ms)
|
||
✔ merge: limits only narrow, and provenance lists each source (0.423336ms)
|
||
✔ merge doesn't change its inputs (0.166323ms)
|
||
✔ web.searxng takes https anywhere and http on loopback, so Jason's 127.0.0.1:8888 passes (0.236619ms)
|
||
ℹ tests 106
|
||
ℹ suites 0
|
||
ℹ pass 106
|
||
ℹ fail 0
|
||
ℹ cancelled 0
|
||
ℹ skipped 0
|
||
ℹ todo 0
|
||
ℹ duration_ms 2049.316873
|