Built-in Verilog mappings are matched by name, so a user's own primitive called Adder exports as the standard Adder's logic. The Verilog is wrong and nothing reports it (both API and editor Export button).
From the Grok pain-radar digests, Oct 26-27 2026 (Oct 26 12:41 PM ET through Oct 27 7:41 AM ET digests plus the Haitch editions). Verified live 2026-10-27: issue/PR/thread read; title and state confirmed.