Result: done
Files: crates/nikaia-std/src/tools/check_reads.nika crates/nikaia-std/src/tools/lowered/check_reads.rs tests/compiler/tests/filter_after_map_contains_key.nika tests/compiler/tests/filter_after_map_contains_key.stdout
Commit: checker: a text item a walk lends looks up a text-keyed map as str
Fixes: #1190
Pushed: local 92f6761fbe7ab563951548614a8406786082b0f0
Tests: vec_string_from_split_compare and filter_after_map_contains_key –both-settings green, both failed on the unfixed compiler (rustc: cannot compare &str with str; String: Borrow<&String>); it mapped_text text_tiers comparison nullable coalesce_needs_a_null btree_set_walks sequences defects_found_running text_views selfhosting_defects 213 passed; lower-std fixpoint clean; fmt, clippy green
Gate: not run (driver)
Deviation: none
Found: another session ran lower-std on the shared tree with my intermediate binary, dirtying 12 lowered files with as_text; restored to the fixpoint output (= HEAD)
Needs: none
Changelog: #1189 get/first/last of a Vec[ref String] copies the &str out; #1190 a filter after a map looks a text-keyed map or set up through as_text, no &&String
Owner: none
Disk freed: private copy and probes removed (about 0.4 GB); cache 777M, disk 4.1G free of 252G (90%); new cache entries over 100 MB: run-bundle 211M, build-time-parsers 361M
Attribution:
Co-Authored-By: Claude Opus 5.5 noreply@anthropic.com
Claude-Session: https://claude.ai/code/session_01GFeMqxRbtUMiGVyDMxsvEq
