Result: done
Files: see the step reports b1191.md.step1.report.md, b1191.md.step1b.report.md, b1191.md.step2.report.md
Commit: 9a8f0a1e checker: an element read past a jump of a struct declared beside is a view; a924fbba lowered: the Rust of the checker fix for #1183; a048b4e4 checker: a let of a field of a call’s owned result moves it out
Body: #1183: fix.patch applied; emit_sums.nika error_sums now reads contract.fails_with through the view (it moved it out, NK2106); 18 lowered files lose a needless borrow. 9a8f0a1e lacks its lowered Rust (another session’s lower-std rewrote lowered/ between my staging and commit.nika’s re-add), a924fbba adds it: the driver must take both together. #1191: a field/index chain is a place unless its root is a call whose result is an owned named type (new CheckFlow.owned_call_bases, filled in check_core_field_walked); a call returning ref stays a view, a coalesce root is unchanged. bounds_walk.nika moves .values out of a call result now. HEAD’s crates/ and tests/ checked byte-equal to the private copy where both lower-std fixpoints held.
Fixes: #1183, #1191
Pushed: local a048b4e4
Tests: both new tests/compiler tests pass –both-settings (scratch projects) and fail on the binary before each fix (2x NK1104; rustc Mismatched types, 4 errors); probes: f().inner, f().b.name, m.make().b.name, Vec field moved; h.lent().name, lent_of(h).name stay views; lower-std clean + fixpoint after each step; cargo fmt –check, clippy –all-targets -D warnings clean.
Gate: green
Deviation: none
Found: #1192 filed (label ready): NK1245 on a field of a ref T? from another package’s fn unwrapped with ?? return. pre-push version is red only from the shared working tree’s foreign .nika edits (badges green on the index copy).
Needs: none
Changelog: Check: a map element read past a jump, of a struct another file of the package declares, is a view like one of this file’s own (#1183). Lowering: let x = call().field moves the field out of the call’s owned result instead of borrowing a temporary; a field of a call that hands back a ref stays a view (#1191).
Owner: none
Disk freed: private copy, probe dirs and binaries deleted; target/nikaia-project-tests 777M; 3.9G free on /; no new cache entry over 100 MB.
Attribution:
Co-Authored-By: Claude Opus 5.5 noreply@anthropic.com
Claude-Session: https://claude.ai/code/session_01GFeMqxRbtUMiGVyDMxsvEq
