Result: done
Pushed: see commit
Tests: nikaia test –both-settings –project tests/compiler 315 ok, 0 failed (4 new); gate set 23 ok; clippy clean; it: byte_sets, bytes_owner (2), selfhosting_defects, simd, text_views (2), views_kept pass
Gate: green
Deviation: the supervisor’s red-develop fix (str/String, char/u8, Bytes/Mapped false NK1102) is in the same commit as #965, not its own (same lines rewritten). New tests not run against a stashed compiler (shared tree). keeps::a_parameter_put_into_a_struct_is_kept, keeps::the_column_renders_and_parses_back and language::the_language_package_passes_its_own_tests still fail: rustc “Vec<&str> Item == String” at tests/language/src/list_operators.nika:14 (w.extend([“y”,”z”]), the #966 lowering) and keeps empty from Ledger::infer; neither is an NK1102, not touched.
Found: the integer literal inside a tuple prints as ? in the message (“(String, ?)”), the issue wanted “(String, i64)”; the check compares types structurally (tuples part by part, Vec/Array and T? by argument, any two of number/char/scalar fit, names the program or a library declares fit each other; only built-in names clash). The language has no type X = .. alias; none to resolve.
Needs: none (keeps/language failures to #966/#951 owners)
Changelog: push, insert, contains, get and the like on lists, sets and maps compare tuples, lists and options structurally and refuse a wrong one with NK1102; a text view, a character for a byte and a declared type for its owner are accepted again (#965).
Owner: none
Disk: free see df; no caches deleted
Rs2nika: none (checker change, no move)
Files: crates/nikaia-std/src/tools/check_core_call_on.nika crates/nikaia-std/src/tools/lowered/check_core_call_on.rs tests/compiler/tests/a_push_checks_a_tuple_element.nika tests/compiler/tests/a_push_checks_a_tuple_element.stderr tests/compiler/tests/a_push_checks_a_list_element.nika tests/compiler/tests/a_push_checks_a_list_element.stderr tests/compiler/tests/a_map_insert_checks_an_option_value.nika tests/compiler/tests/a_map_insert_checks_an_option_value.stderr tests/compiler/tests/a_collection_method_takes_text_views_and_a_character_byte.nika tests/compiler/tests/a_collection_method_takes_text_views_and_a_character_byte.stdout docs/briefs/b965.md.report.md
