jared/cc-os

Watch

Fork 0

Cover the uncovered implementation and crc mutants #1697

New issue

Closed

opened 2026-11-11 16:24:23 +00:00 by jared · 2 comments

jared commented

2026-11-11 16:24:23 +00:00

Owner

Problem

The second mutation pass (2026-11-09) left 33 uncovered mutants in 15 files under lib/os_sdlc/implementation/, lib/os_sdlc/implementation.rb, and lib/os_sdlc/crc/. No test runs the code at these mutants. An uncovered mutant is code that the suite never executes, so a change there goes unseen. Ruling 100 puts a unit test for lib/os_sdlc/<path>.rb at test/os_sdlc/<path>_test.rb.

Observed

The second mutation pass ran bin/os-sdlc-mutation-pass run . on 2026-11-09. .mutineer/pass.json lists 33 mutants in this ticket under no_coverage. A no_coverage mutant is a changed behavior that no test runs. The survivor tickets #1656 to #1664 took only the survived mutants, so no ticket covers these. Each line below gives the file, its uncovered count, and the mutation kinds.

lib/os_sdlc/implementation/objection_intake.rb (10): return_nil 3, condition_false 2, condition_true 2, statement_removal 2, boolean_connector 1
lib/os_sdlc/crc/census/visibility_call.rb (3): condition_false 1, condition_true 1, return_nil 1
lib/os_sdlc/crc/placement/entry.rb (3): return_nil 2, boolean_connector 1
lib/os_sdlc/crc/census/run.rb (2): return_nil 1, statement_removal 1
lib/os_sdlc/crc/filing.rb (2): boolean_literal 2
lib/os_sdlc/crc/shares/patch.rb (2): condition_false 1, condition_true 1
lib/os_sdlc/implementation/completion_intake/lookup.rb (2): return_nil 2
lib/os_sdlc/implementation/loop_ledger/no_progress.rb (2): boolean_literal 1, return_nil 1
lib/os_sdlc/crc/census/settings.rb (1): return_nil 1
lib/os_sdlc/crc/filing/backlog_client.rb (1): return_nil 1
lib/os_sdlc/crc/tickets/readiness_check.rb (1): return_nil 1
lib/os_sdlc/implementation/lifecycle.rb (1): return_nil 1
lib/os_sdlc/implementation/project_validation_error.rb (1): return_nil 1
lib/os_sdlc/implementation/reroute/draft.rb (1): return_nil 1
lib/os_sdlc/implementation/targeting.rb (1): return_nil 1

Reproduce

n/a: the uncovered mutants come from a whole pass. Verify with a targeted run: bin/os-sdlc-mutation-pass run <files> --no-matrix.

Approach

For each listed file, write the paired unit test at test/os_sdlc/<lib path>_test.rb (ruling 100). The test must run the uncovered code and kill its mutants. Check the older test locations first (test/cops/, test/daemon/, test/lint/, test/system_model_*). A test there may already cover the file and only need a move or an extension. Where the code calls a process, use an adapter and a recorded fixture (ruling 88). Reuse test/support/process_recording.rb and the recorded_* doubles. No test starts a real process.

When a mutant shows dead code (code no caller reaches), delete the code and write no test for it (ruling 107). When a mutant is equivalent (the mutant has the same behavior), rule it equivalent in a comment on this ticket with the reason. Follow plugins/os-sdlc/references/survivor-loop.md. Then verify with a targeted --no-matrix run over the files of this ticket. Do not run a whole pass.

Required work: none beyond the acceptance criteria.

Acceptance criteria

Given a targeted --no-matrix Mutineer run on the files listed in this ticket, when the run ends, then it reports no uncovered mutant and no survivor, except ones that this ticket deletes or rules equivalent with a reason.
Given a file with deleted unreachable code, when the suite runs, then it is green and no caller of the deleted code remains.

Origin

Trigger: #1683 split, 2026-11-11
Improvised this session: none
Chain: uncovered mutants ← survivor tickets #1656-#1664 took only survived mutants ← the second pass split only survivors into tickets ← DESIGN (docs/research/mutation-testing/2026-11-09-second-pass/)
Root candidate: none found; searched uncovered, no_coverage, mutant, implementation, crc
Where: lib/os_sdlc/implementation/, lib/os_sdlc/implementation.rb, and lib/os_sdlc/crc/
Parent: #1683
Session: 974224e0-190b-4ca9-814e-eb971a24f35a
Transcript: /home/jared/.claude/projects/-home-jared-dev-cc-os-plugins-os-sdlc/974224e0-190b-4ca9-814e-eb971a24f35a.jsonl

VERDICT: CREATE (ticket-skeptic, 2026-11-11): child of the #1683 required split; no open ticket covers these files.

## Problem The second mutation pass (2026-11-09) left 33 uncovered mutants in 15 files under lib/os_sdlc/implementation/, lib/os_sdlc/implementation.rb, and lib/os_sdlc/crc/. No test runs the code at these mutants. An uncovered mutant is code that the suite never executes, so a change there goes unseen. Ruling 100 puts a unit test for `lib/os_sdlc/<path>.rb` at `test/os_sdlc/<path>_test.rb`. ## Observed The second mutation pass ran `bin/os-sdlc-mutation-pass run .` on 2026-11-09. `.mutineer/pass.json` lists 33 mutants in this ticket under `no_coverage`. A no_coverage mutant is a changed behavior that no test runs. The survivor tickets #1656 to #1664 took only the survived mutants, so no ticket covers these. Each line below gives the file, its uncovered count, and the mutation kinds. - `lib/os_sdlc/implementation/objection_intake.rb` (10): return_nil 3, condition_false 2, condition_true 2, statement_removal 2, boolean_connector 1 - `lib/os_sdlc/crc/census/visibility_call.rb` (3): condition_false 1, condition_true 1, return_nil 1 - `lib/os_sdlc/crc/placement/entry.rb` (3): return_nil 2, boolean_connector 1 - `lib/os_sdlc/crc/census/run.rb` (2): return_nil 1, statement_removal 1 - `lib/os_sdlc/crc/filing.rb` (2): boolean_literal 2 - `lib/os_sdlc/crc/shares/patch.rb` (2): condition_false 1, condition_true 1 - `lib/os_sdlc/implementation/completion_intake/lookup.rb` (2): return_nil 2 - `lib/os_sdlc/implementation/loop_ledger/no_progress.rb` (2): boolean_literal 1, return_nil 1 - `lib/os_sdlc/crc/census/settings.rb` (1): return_nil 1 - `lib/os_sdlc/crc/filing/backlog_client.rb` (1): return_nil 1 - `lib/os_sdlc/crc/tickets/readiness_check.rb` (1): return_nil 1 - `lib/os_sdlc/implementation/lifecycle.rb` (1): return_nil 1 - `lib/os_sdlc/implementation/project_validation_error.rb` (1): return_nil 1 - `lib/os_sdlc/implementation/reroute/draft.rb` (1): return_nil 1 - `lib/os_sdlc/implementation/targeting.rb` (1): return_nil 1 ## Reproduce n/a: the uncovered mutants come from a whole pass. Verify with a targeted run: `bin/os-sdlc-mutation-pass run <files> --no-matrix`. ## Approach For each listed file, write the paired unit test at `test/os_sdlc/<lib path>_test.rb` (ruling 100). The test must run the uncovered code and kill its mutants. Check the older test locations first (`test/cops/`, `test/daemon/`, `test/lint/`, `test/system_model_*`). A test there may already cover the file and only need a move or an extension. Where the code calls a process, use an adapter and a recorded fixture (ruling 88). Reuse `test/support/process_recording.rb` and the `recorded_*` doubles. No test starts a real process. When a mutant shows dead code (code no caller reaches), delete the code and write no test for it (ruling 107). When a mutant is equivalent (the mutant has the same behavior), rule it equivalent in a comment on this ticket with the reason. Follow `plugins/os-sdlc/references/survivor-loop.md`. Then verify with a targeted `--no-matrix` run over the files of this ticket. Do not run a whole pass. Required work: none beyond the acceptance criteria. ## Acceptance criteria 1. Given a targeted `--no-matrix` Mutineer run on the files listed in this ticket, when the run ends, then it reports no uncovered mutant and no survivor, except ones that this ticket deletes or rules equivalent with a reason. 2. Given a file with deleted unreachable code, when the suite runs, then it is green and no caller of the deleted code remains. ## Origin - Trigger: #1683 split, 2026-11-11 - Improvised this session: none - Chain: uncovered mutants ← survivor tickets #1656-#1664 took only survived mutants ← the second pass split only `survivors` into tickets ← DESIGN (`docs/research/mutation-testing/2026-11-09-second-pass/`) - Root candidate: none found; searched uncovered, no_coverage, mutant, implementation, crc - Where: lib/os_sdlc/implementation/, lib/os_sdlc/implementation.rb, and lib/os_sdlc/crc/ - Parent: #1683 - Session: 974224e0-190b-4ca9-814e-eb971a24f35a - Transcript: /home/jared/.claude/projects/-home-jared-dev-cc-os-plugins-os-sdlc/974224e0-190b-4ca9-814e-eb971a24f35a.jsonl VERDICT: CREATE (ticket-skeptic, 2026-11-11): child of the #1683 required split; no open ticket covers these files.

jared added the

plugin/os-sdlc

filed-by/agent

category/code-change

labels

2026-11-11 16:24:23 +00:00

jared referenced this issue

2026-11-11 16:24:32 +00:00

Cover the 388 mutants that no test runs #1683

jared commented

2026-11-11 16:46:43 +00:00

Author

Owner

Work started on branch ticket-1697 (survivor loop, plugins/os-sdlc/references/survivor-loop.md).

jared commented

2026-11-11 16:56:18 +00:00

Author

Owner

Resolution

Done: Survivor loop over the implementation and crc files in 12 packets. 15 tests added (paired files under test/os_sdlc/crc and test/os_sdlc/implementation; two new: crc/filing_test.rb, implementation/project_validation_error_test.rb). Ruling 107 deleted Crc::Placement::Entry#concept and #constant (no caller), Implementation::Lifecycle#closed? (no caller), and LoopLedger::NoProgress with the default witness: (Routing#ledger always passes a ProgressWitness). No new equivalent rulings.

Evidence: main 371892270 (merged). Orchestrator re-ran all 12 packets: 0 survivors and 0 uncovered each. Suite 4926 runs 0 failures; rubocop clean.

Follow-ups: none

## Resolution **Done:** Survivor loop over the implementation and crc files in 12 packets. 15 tests added (paired files under test/os_sdlc/crc and test/os_sdlc/implementation; two new: crc/filing_test.rb, implementation/project_validation_error_test.rb). Ruling 107 deleted Crc::Placement::Entry#concept and #constant (no caller), Implementation::Lifecycle#closed? (no caller), and LoopLedger::NoProgress with the default witness: (Routing#ledger always passes a ProgressWitness). No new equivalent rulings. **Evidence:** main 371892270 (merged). Orchestrator re-ran all 12 packets: 0 survivors and 0 uncovered each. Suite 4926 runs 0 failures; rubocop clean. **Follow-ups:** none

jared closed this issue

2026-11-11 16:56:18 +00:00

jared referenced this issue from a commit

2026-11-11 16:56:20 +00:00

test(os-sdlc): paired tests cover the uncovered implementation and crc mutants (#1697)

jared referenced this issue from a commit

2026-11-11 16:56:20 +00:00

docs(status): os-sdlc history row for #1697

jared referenced this issue

2026-11-11 18:03:19 +00:00

Cover the 388 mutants that no test runs #1683