Result: done Files: crates/nikaia-std/src/tools/check_core_stmt.nika crates/nikaia-std/src/tools/emit_sums.nika crates/nikaia-std/src/tools/lowered/bounds_walk.rs crates/nikaia-std/src/tools/lowered/check_core_stmt.rs crates/nikaia-std/src/tools/lowered/check_function.rs crates/nikaia-std/src/tools/lowered/check_numbers5.rs crates/nikaia-std/src/tools/lowered/comptime_tree.rs crates/nikaia-std/src/tools/lowered/contract_changes.rs crates/nikaia-std/src/tools/lowered/emit_core_args.rs crates/nikaia-std/src/tools/lowered/emit_core_below.rs crates/nikaia-std/src/tools/lowered/emit_core_calls.rs crates/nikaia-std/src/tools/lowered/emit_exprs.rs crates/nikaia-std/src/tools/lowered/emit_function.rs crates/nikaia-std/src/tools/lowered/emit_keeps.rs crates/nikaia-std/src/tools/lowered/emit_misc.rs crates/nikaia-std/src/tools/lowered/emit_reach.rs crates/nikaia-std/src/tools/lowered/emit_sums.rs crates/nikaia-std/src/tools/lowered/emit_types.rs crates/nikaia-std/src/tools/lowered/prover_walk.rs crates/nikaia-std/src/tools/lowered/type_rules.rs tests/compiler/src/entry_beside.nika tests/compiler/src/lookup_beside.nika tests/compiler/tests/an_element_read_past_a_jump_is_a_view_of_a_struct_declared_beside.nika tests/compiler/tests/an_element_read_past_a_jump_is_a_view_of_a_struct_declared_beside.stdout Commit: checker: an element read past a jump of a struct declared beside is a view Body: check_core_stmt_a_lent_struct also counts a struct of state.parts_beside that is not an enum (fix.patch of b1183), so m[k] ?? return of a struct declared in another file of the package binds a view, as for this file’s own structs. emit_sums.nika error_sums moved contract.fails_with out of such a view (NK2106); it now reads contract.fails_with through the view. The other lowered files change only by a dropped needless borrow (&contract -> contract) now that those bindings are views. lower-std fixpoint reached in one more build. Fixes: #1183 Pushed: local 9a8f0a1e06a3022474f4bbec81699cb86d765215 Tests: new tests/compiler test an_element_read_past_a_jump_is_a_view_of_a_struct_declared_beside (with tests/compiler/src/entry_beside.nika, lookup_beside.nika) passes –both-settings in a scratch copy of the project; on the unfixed binary it fails with 2x NK1104; lower-std clean and fixpoint; cargo fmt –check, clippy –all-targets -D warnings clean. Gate: green Deviation: none Found: none 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, ADR-286 D1). Owner: none Disk freed: none Attribution: Co-Authored-By: Claude Opus 5.5 noreply@anthropic.com Claude-Session: https://claude.ai/code/session_01GFeMqxRbtUMiGVyDMxsvEq
