Oops, I meant unnamed/anonymous labels rather than local. But .scope seems alright. In ca65, simply using a normal label has the same effect as that .scope command. You might do that too, if you think that's a good way to do it.

I don't know what the .module command does in x816. Never used it much.

tepples:

"Anonymous local labels in ca65 and x816 get complicated when there is more than one label to skip over."

In ca65 it does, it becomes hard to tell which label is branched to. But in x816 if you skip over one anonymous label you'd use ++ as the branch target and as the label name. So you can visually trace as well as a normal label. ca65's method allows you to use several branches to the same anonymous label, but that's a rare case.