Result: done Pushed: 2df6f2c, 4be4d88 to develop (fast-forward) Tests: tests/compiler –both-settings 282 passed (incl. 3 new: an_array_is_walked_with_iter_and_zip, a_run_of_an_array_is_walked_with_iter, an_array_is_lent_to_for); guard set 23 passed Gate: green (clippy clean, guard set, pre-push-check silent) Deviation: new tests failed before the contract (NK1171 on iter, seen with the old binary); for-over-array already worked. lower-std ran in the shared checkout (no NK2305). lowered.rs and others’ lowered files (comptime_tree, text_tiers) left unstaged. Found: nothing Needs: nothing Changelog: Array[T, N] and a run ref Array[T] get iter() (ADR-collections-2 D1), so zip/map/filter/enumerate/rev follow; ty.nika bind_code zips the parameter lists. Files: crates/nikaia-std/std.contracts crates/nikaia-std/src/tools/ty.nika crates/nikaia-std/src/tools/lowered/ty.rs tests/compiler/tests/ Cache: see final message
