crates/rs2nika/convert/src, chasing the brief’s guess about the cause. I looked through it tests, tests/compiler, scripts, the repository-wide walks in fmt.rs and sequences.rs, and the nikaia binary’s own dump path. None of them read those files. Proving that nothing dumps a file took longer than any search that finds something would have.rs2nika is not a workspace member, so cargo test --workspace never touches it.dump_accepted skips project files, and the converter’s files belong to a project.check_against in tests, plus every one-file nikaia check/run, named by the binary).arm64 job on develop.rustc error, panic).Each of these took a lookup.
scripts/pre-push-check.sh.fmt.rs and sequences.rs, which the workspace membership fact would have made unnecessary.Gate: green in my report stands for that, not for a gate run.Rs2nika: none line. Either commit.nika or another writer dropped it, and it’s worth checking whether release.nika needs that field.KNOWN hashes (does one compile now, or is it no longer produced?) and a sweep difference specific to arm64.That would have spared the whole search for a converter-file test.