Working on the Scala Native ↔ Godot GDExtension binding in this workspace — the gdext library, the igen code generators, the sbt-godot-scala-native plugin, or harness-scala game classes. Use when touching Variant/GString/StringName/math-type marshalling, generated engine classes, Ptrcall or MethodBind, the FFI Interface, GodotScriptClass/ClassMeta/casting/refcounting, class registration macros (Register.auto, @func, @gdexport, @signal, ExportType, ExportHint, comp-enum dropdowns), RegistrationScan auto-discovery, the generated entry point, editor hot-reload, the godot_scala editor addon, publishing/JitPack/versioning, or when hitting segfaults, "Cannot get class", stale-NIR link errors, editor freezes on reload, or struct/sizeof/FFI crashes. Carries the co-development build order and an index of per-layer reference docs.
Verify a change to the Scala Native Godot binding actually works by running the Godot project headless — the ONLY real proof, since a clean sbt compile or nativeLink proves nothing. Use after editing anything in language-binding-scala (gdext binding, igen generator, sbt-godot-scala-native plugin) or harness-scala game classes, and before committing or claiming a binding change works. Covers the publishLocal → godotBuild → headless-run order, which verify script to pick (verify.gd, export_verify.gd, export_hints_verify.gd, export_comp_verify.gd, node_harness_verify.gd, the hot-reload and comp-enum editor addons), and which error strings mean failure ("Cannot get class 'X'", missing library, registration failure).