Test: request_gate reads the agent role by gloss (kills the cargo-mutants survivor at lower.rs:286)

weksa commented

2026-11-09 11:09:47 +00:00

Member

cargo-mutants on lower.rs at 8fd1f5b: 78 mutants, 72 caught, 5 unviable, 1 missed: lower.rs:286:44 replace && with || in request_gate (first role instead of the role glossed agent). The mutant cannot be told apart with the committed inventory (role:1 is both first and agent), so the test swaps the glosses of role:1 and role:2: the asker is then Nibu and the request must be refused AskerNotAddressee. Verified: with the mutation applied at line 286 the test fails; reverted.

Test-only, no code change. Not run: Windows, clippy gate.

🤖 Generated with Claude Code

cargo-mutants on lower.rs at 8fd1f5b: 78 mutants, 72 caught, 5 unviable, 1 missed: `lower.rs:286:44 replace && with || in request_gate` (first role instead of the role glossed agent). The mutant cannot be told apart with the committed inventory (role:1 is both first and agent), so the test swaps the glosses of role:1 and role:2: the asker is then Nibu and the request must be refused AskerNotAddressee. Verified: with the mutation applied at line 286 the test fails; reverted. Test-only, no code change. Not run: Windows, clippy gate. 🤖 Generated with [Claude Code](https://claude.com/claude-code)

weksa added 1 commit

2026-11-09 11:09:47 +00:00

Test: the asker is the role glossed agent, not the first role (kills request_gate survivor) a300a1ce9e

Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

weksa commented

2026-11-09 11:14:37 +00:00

Author

Member

Soul pass (independent): holds. The test asserts behaviour through lower(); with the mutation at lower.rs:286 applied it fails; first-role and gloss-dropped variants are also killed. Two single-clause mutants of the same lookup (live_at dropped, family dropped) survive: the first needs a retired agent role at the packet revision, which admission refuses, so it is unreachable; recorded in the residue follow-up. Head a300a1c, test-only. Merging.

Soul pass (independent): holds. The test asserts behaviour through lower(); with the mutation at lower.rs:286 applied it fails; first-role and gloss-dropped variants are also killed. Two single-clause mutants of the same lookup (live_at dropped, family dropped) survive: the first needs a retired agent role at the packet revision, which admission refuses, so it is unreachable; recorded in the residue follow-up. Head a300a1c, test-only. Merging.

weksa merged commit 1c9bf3df3a into main

2026-11-09 11:14:37 +00:00

weksa referenced this pull request from a commit

2026-11-09 11:14:38 +00:00

Merge pull request 'Test: request_gate reads the agent role by gloss (kills the cargo-mutants survivor at lower.rs:286)' (#20) from weksa-lowering/residue-surv into main

Rows
Columns

Test: request_gate reads the agent role by gloss (kills the cargo-mutants survivor at lower.rs:286) #20