Thanks this was indeed the wrong design. Now it has:

Game code can now do normal Luau imports like local Round = require("./round")

Cubacadabra SDK modules use aliases like require("@cubacadabra/shared-state")

.luaurc files maps the @cubacadabra alias for editor navigation/type checking