Final 75/80 mutarust gate for command entry (lib.rs + main.rs)

[cursor]

Parent

Part of #40.

What to build

Run the issue #40 acceptance gate once scores from the prior probe look safe: --coverage, full Cargo suite less pack_install_smoke, scoped to src/lib.rs and src/main.rs, thresholds 75 total MSI and 80 covered MSI. Prefer a 32 GB+ host or CI. Decide how to handle main.rs mutants that messrust::run cannot cover (binary smoke, scope note, or covered-MSI treatment) without baselines, blacklists, or mutator-disable comments.

Acceptance criteria

• Prior covered-MSI probe ticket is closed with scores near the gate.
• Gate command exits 0 with total MSI ≥ 75 and covered MSI ≥ 80 on src/lib.rs and src/main.rs.
• Run uses --coverage and the full suite less pack_install_smoke.
• A comment on Mutation score 75/80 for the command entry and exit codes #40 records the two scores.
• main.rs policy is written on this ticket (how not-covered mutants are handled).
• No mutator-disable, baseline, or blacklist. cargo test still passes.

Blocked by

• Covered-MSI probe per CLI function (coverage, narrow tests).

[jonbaldie]

This was generated by AI during triage.

Agent Brief

Category: enhancement
Summary: Execute the full 75% total MSI and 80% covered MSI mutation gate for command entry across src/lib.rs and src/main.rs

Current behavior:
The acceptance gate for command entry has not been passed for src/lib.rs and src/main.rs. Preceding tickets (#69, #70) incrementally raise kill rates and measure per-function coverage probes to prepare for full gate verification.

Desired behavior:
Run the mutarust acceptance gate scoped to src/lib.rs and src/main.rs using --coverage and the full Cargo test suite (excluding pack_install_smoke). The run must exit 0 with total MSI ≥ 75% and covered MSI ≥ 80%. Formulate and document handling policy for uncovered main.rs binary entry mutants without resorting to baselines, blacklists, or disable annotations.

Key interfaces:

• Mutation policy configuration in mutarust.yml
• Root source files src/lib.rs and src/main.rs
• Cargo test suite execution with --skip pack_install_smoke

Acceptance criteria:

• Preceding covered-MSI probe ticket (Covered-MSI probe per CLI function (coverage, narrow tests) #70) is completed
• Gate command exits 0 with total MSI ≥ 75% and covered MSI ≥ 80% on src/lib.rs and src/main.rs
• Run uses --coverage and the full test suite less pack_install_smoke
• Final scores are documented in a comment
• Policy for handling src/main.rs binary mutants is recorded on the ticket
• No mutator-disable annotations, baseline files, or blacklist files are used
• cargo test passes cleanly

Out of scope:

• Running mutation gates across other modules (covered in separate tickets under Hard mutation gate: 75% total MSI and 80% covered MSI with mutarust #33)
• Enabling CI mutation workflow runs until host/runner scaling permits