Result: done Files: crates/nikaia-std/src/tools/check_flow.nika crates/nikaia-std/src/tools/check_core_method.nika crates/nikaia-std/src/tools/check_core_stmt.nika crates/nikaia-std/src/tools/lowered/check_flow.rs crates/nikaia-std/src/tools/lowered/check_core_method.rs crates/nikaia-std/src/tools/lowered/check_core_stmt.rs tests/compiler/tests/a_let_mut_of_an_entry_takes_no_rust_mut.nika tests/compiler/tests/a_let_mut_of_an_entry_takes_no_rust_mut.stdout tests/compiler/tests/a_let_mut_of_an_entry_takes_no_rust_mut.stderr docs/briefs/b974.step1.report.md Commit: check: a let mut of an Entry’s or_insert binds the &mut itself and lowers without Rust mut Fixes: #974 Model: Opus 5.5 Tests: a_let_mut_of_an_entry_takes_no_rust_mut (failed on the unfixed compiler: unused_mut warning x4, rustc failed; passes both settings) Deviation: check_flow and check_core_stmt also carry the inert mut_view_bindings record of #975 (one file each, not split by hunk) Changelog: none (supervisor’s: a let mut of m.entry(k).or_insert(v) / or_insert_with lowers to a plain let of the &mut, no unused_mut) Attribution: Co-Authored-By: Claude Opus 5.5 noreply@anthropic.com Claude-Session: https://claude.ai/code/session_01GFeMqxRbtUMiGVyDMxsvEq Pushed: 8f9838ca11e15f3c9729d14e183c2a5c3bfaf6c0