fix: drop the gba_bios.bin alias of nanoboyadvance

NanoBoyAdvance opens general.bios_path, default bios.bin (src/platform/core/src/config.cpp:36 at 3bb6f478). gba_bios.bin is the path ROCKNIX's config.toml sets, recorded under launchers: in rocknix.yml.

Without the alias the entry met only PCem's and QEMU's bios.bin, 64 and 128 KB, which BIOSLoader refuses (bios.cpp:17-48). verify counted it held by name, so the launcher layer left it alone and the ROCKNIX pack gained PCem's image. A hashless entry whose every same-named copy fails its size is now not held, and the gba_bios.bin ROCKNIX declares settles it.

scripts/verify.py

@@ -666,6 +666,17 @@ def find_undeclared_files(
                             path_base, by_name, by_path_suffix, data_names,
                             by_name_lower,
                         )
+                    if in_repo and not any(
+                        f.get(h) for h in ("sha1", "md5", "crc32", "sha256")
+                    ):
+                        # A name alone answers nothing when every copy of that
+                        # name fails the size the code checks: the resolver
+                        # rejects them all. NanoBoyAdvance's 16 KB bios.bin met
+                        # only PCem's and QEMU's PC BIOS images of that name.
+                        # The fallback below then decides as for any mismatch.
+                        _lp, _st = resolve_local_file(f, db, dest_hint=dest)
+                        if _st == "hash_mismatch":
+                            in_repo = False
                     if not in_repo:
                         # Hash fallback: the repo may hold the content under a
                         # different filename (exos21.rom vs exos21.bin).