jason.woltjeandClaude Opus 5.5
ecf1cec070
Candidate on 56639c99b: waiting gains launchable, and a message to a role
outside launch.instances gets a notice saying the launch is refused and a
talk line saying launch.by can't launch it. Mutants 8/8 killed; gate green
(bus, cli, business, webui and every scripts/test-*.sh).
Co-Authored-By: Claude Opus 5.5 <[email protected]>
117 lines
8.2 KiB
Plaintext
117 lines
8.2 KiB
Plaintext
✔ the role file loads and resolves through loadBusiness (9.29589ms)
|
||
✔ the shipped file is exactly the approved list (1.170056ms)
|
||
✔ the assistant's authority is message.send within role and nothing else (2.332318ms)
|
||
✔ the assistant talks to the user and the chief of staff only, and no other shipped role is limited (0.741145ms)
|
||
✔ a business grant through limits does not widen the role (2.23023ms)
|
||
✔ a launch block whose by is the assistant is refused (3.036411ms)
|
||
✔ the instance takes no credential references and no tracker (4.24926ms)
|
||
✔ an arbiter whose role definition declares messaging lists is refused, for each kind (5.560694ms)
|
||
✔ an arbiter without messaging lists is accepted beside the limited assistant (4.708107ms)
|
||
✔ the contract passes work to the chief of staff and directs no one (0.907494ms)
|
||
✔ REQ-HARN-2: the assistant holds the web grant, and no other role file does (1.860521ms)
|
||
✔ config directory and file path follow MOSAIC_CONFIG (2.135871ms)
|
||
✔ the fixture business validates and comes back frozen (6.845236ms)
|
||
✔ two instances may share a definition (2.519856ms)
|
||
✔ top-level refusals (7.767277ms)
|
||
✔ arbiters and projects (13.870107ms)
|
||
✔ role instances (11.069582ms)
|
||
✔ Vikunja bots (6.947659ms)
|
||
✔ a role without Vikunja takes no tracker block (2.85592ms)
|
||
✔ credential references match the definition's services (2.593821ms)
|
||
✔ launch (7.773045ms)
|
||
✔ REQ-THREAD-2 REQ-LAUNCH-1 launch.threadIdleSeconds: absent is the default, a positive integer is used, anything else refuses (3.95897ms)
|
||
✔ loadBusiness: file checks (1.754302ms)
|
||
✔ loadBusiness: not a regular file (38.4453ms)
|
||
✔ loading writes nothing (1.014698ms)
|
||
✔ names that are Object.prototype properties don't count as declared (2.661763ms)
|
||
✔ the shipped example refuses as written and validates once filled in (0.748449ms)
|
||
✔ the role file loads and resolves through loadBusiness (9.31659ms)
|
||
✔ the shipped file is exactly the approved list (0.315532ms)
|
||
✔ the resolved record matches the approved list, so a widened file fails (2.445784ms)
|
||
✔ the chief of staff holds role.launch, message.send, role.end and organization.change; every other action is gated (1.956825ms)
|
||
✔ the pm does not hold role.launch (2.659476ms)
|
||
✔ a business grant of a gated action through limits does not widen the role (3.550264ms)
|
||
✔ a limit that drops role.launch leaves the chief of staff with no launch block (1.701328ms)
|
||
✔ a launch block whose by is the pm instance is refused (4.830348ms)
|
||
✔ the contract names no duty to talk to the human and the pm contract no launch (0.463198ms)
|
||
✔ the instance takes no credential references and no tracker (3.981387ms)
|
||
✔ usage errors exit 4 (288.629481ms)
|
||
✔ validate: a good business exits 0 and prints instance digests (67.97257ms)
|
||
✔ validate: project files (305.501067ms)
|
||
✔ validate: missing files and a broken system config (232.335858ms)
|
||
✔ validate: credential reference problems exit 2 and name each one (62.9049ms)
|
||
✔ validate: a token file inside the repository is refused (63.913341ms)
|
||
✔ validate: role definitions come from MOSAIC_ROLES_DIR (185.482785ms)
|
||
✔ resolve: prints one instance's record (246.780496ms)
|
||
✔ resolve: refusals (362.200665ms)
|
||
✔ parse: exactly one of file or env, plus the service's date (3.620295ms)
|
||
✔ check: a good file has no problems (1.100838ms)
|
||
✔ check never opens the file: a write-only token passes (0.519023ms)
|
||
✔ check: file problems (1.594448ms)
|
||
✔ check: token files can't live in the repository or dataRoot, even through a linked directory (1.194472ms)
|
||
✔ check: dates and environment references (0.599474ms)
|
||
✔ each definition loads, with a contract file, and is exactly the approved list (4.178143ms)
|
||
✔ an organization file that declares them passes, and each resolves to least privilege (7.55719ms)
|
||
✔ the chief of staff launches each one; no other role does (5.341511ms)
|
||
✔ a C-suite role can't be made the launcher: launch.by must hold role.launch (3.852882ms)
|
||
✔ limits can narrow a C-suite role but never widen it (3.123605ms)
|
||
✔ any unknown key, tool, action or version in a role file is refused (0.85769ms)
|
||
✔ REQ-LIMIT-1 schema: every scope unset or zero, adjustable above four, bad values and unknown models refuse (25.33219ms)
|
||
✔ REQ-LIMIT-1 counts each exact scope at/over limit, unlimited and old tuple after model reassignment (1.143516ms)
|
||
✔ REQ-ROLE-3 writer: atomic validated revision, immutable previous bytes and authenticated actor/old/new receipt (207.279681ms)
|
||
✔ REQ-ROLE-3 writer: pre-rename fault leaves old file, post-rename recovery records commit, conflicting recovery refuses (210.5406ms)
|
||
✔ REQ-LIMIT-1 / decision145 migration prints only, preserves values, rejects ambiguity, and is idempotent (2.911526ms)
|
||
✔ REQ-LIMIT-1 shared settings validates the complete proposed selection and logs exact actor (176.799891ms)
|
||
✔ REQ-LIMIT-1 provider is table data: another provider routes separately and aliases share exact counts (1.777541ms)
|
||
✔ REQ-ROLE-3 refuses live writer locks, symlink targets and uncertain recovery without changing bytes (99.027391ms)
|
||
✔ REQ-PLUG-1 schema: plugins is optional, names known kinds and checked module names (16.661484ms)
|
||
✔ REQ-PLUG-1 REQ-ROLE-3 the setter writes plugins through the organization writer and logs old and new names (254.450101ms)
|
||
✔ vikunja:19/309 a patch changes only the kinds it names; null removes one kind, explicitly and in the trail (304.360478ms)
|
||
✔ 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.400213ms)
|
||
✔ REQ-PLUG-1 REQ-ROLE-3 the writer checks the bytes it writes: a Date in plugins is refused there too (35.620259ms)
|
||
✔ REQ-PLUG-1 REQ-ROLE-3 a refused setter write throws a code, changes nothing and logs nothing (1.513443ms)
|
||
✔ vikunja:19/305 with an exists check, the setter refuses a module no tree file answers to, before anything is written (89.687665ms)
|
||
✔ optional project repo is preserved and must be a normalized absolute path (13.473057ms)
|
||
✔ loaded business project repo cannot be nested in any declared code checkout (6.160658ms)
|
||
✔ path and load (3.08598ms)
|
||
✔ refusals (2.012928ms)
|
||
✔ systemVars flattens the validated config (2.881418ms)
|
||
✔ precedence: system, business, project, project role, agent (10.045936ms)
|
||
✔ limits narrow the definition and never widen it (10.794271ms)
|
||
✔ role.launch stays within-role only for the instance the launch block names (5.414098ms)
|
||
✔ limits.authority without role.launch leaves the launcher with no launch block (1.92917ms)
|
||
✔ limits.authority narrows cross-role actions too (1.040391ms)
|
||
✔ classify (1.033541ms)
|
||
✔ the record carries what the broker and launcher need (1.217809ms)
|
||
✔ digest: key order doesn't matter, any value change does (7.414729ms)
|
||
✔ refusals (2.089232ms)
|
||
✔ the four shipped version 2 roles load (4.906734ms)
|
||
✔ shipped role scopes match addendum B section 2 and the SR runbook (1.906849ms)
|
||
✔ shipped authority follows the note's table (1.342596ms)
|
||
✔ every role file in roles/ loads through the validator, and a v2 contract exists (1.355798ms)
|
||
✔ version 1 files keep loading with no authority (7.821305ms)
|
||
✔ the conductor policy isn't a role (0.231104ms)
|
||
✔ a missing role file is exit 4, a symbolic link too (0.391111ms)
|
||
✔ version 2 refusals (1.5083ms)
|
||
✔ authority: closed vocabulary, no gated-only action, no overlap (2.606897ms)
|
||
✔ messaging: optional, role definitions and human, never the tester (1.853207ms)
|
||
✔ credentials: Gitea scopes (0.822247ms)
|
||
✔ credentials: Vikunja scopes are a group-to-verbs map from the grantable list (0.830299ms)
|
||
✔ credentials: services (0.461665ms)
|
||
✔ contract: a non-empty regular Markdown file beside the role file (1.131459ms)
|
||
✔ every key names known layers and a merge rule (1.409537ms)
|
||
✔ unknown keys and wrong layers refuse (1.021348ms)
|
||
✔ types (3.07625ms)
|
||
✔ merge: defaults, then the most specific layer wins (0.40074ms)
|
||
✔ merge: limits only narrow, and provenance lists each source (0.436095ms)
|
||
✔ merge doesn't change its inputs (0.184751ms)
|
||
✔ web.searxng takes https anywhere and http on loopback, so Jason's 127.0.0.1:8888 passes (0.215465ms)
|
||
ℹ tests 108
|
||
ℹ suites 0
|
||
ℹ pass 108
|
||
ℹ fail 0
|
||
ℹ cancelled 0
|
||
ℹ skipped 0
|
||
ℹ todo 0
|
||
ℹ duration_ms 1899.103013
|