The physics will always remain low-res, and so it's important that the masks reflect this.
The point of using high-res is a decision to prioritise appearance over pixel precision ... and precisely which pixel a lemming is standing on shouldn't be important
Maybe it shouldn't. But since NeoLemmix is a pixel-precise platform (and offers plenty of helper tools to deal with this), it's an unavoidable part of the game and its interface. If masks
were given a hi-res counterpart that was physically inaccurate, that wouldn't be a good move and I would likely oppose it. Good thing that it most likely won't be happening!
Exactly the same process that leads a user to prefer the high-res curved pillar top tiles (see the Fun 2 screenshot on the previous page) would lead them to prefer a smooth destruction mask
Not necessarily, and I'm an example of a person to whom this doesn't really apply. Sure, I want the nicer looking lems and style pieces, but anything that reflects actual physics should ideally be as visually accurate as possible, even at the expense of aesthetics.
in favour of using zoomed rather than upscaled low-res graphics when in hi-res mode ... Maybe this will help to reduce the comparitive blockiness of the masks.
I am confused about why this is even being suggested as an option. Unless I've misunderstood something, you are literally suggesting that users who go into their NL settings and click the "hi-res" box should get low-res graphics.
Not exactly. I'm suggesting that
those who are bothered by the blockiness of the masks may prefer "zoom" to be the default in the absence of actual hi-res counterpart graphics as opposed to "upscale". Of course, they may not.
Obviously, the ideal is to have actual hi-res graphics when in hi-res, and users who choose this option have to accept that because the physics are low-res, the masks will be also. It's a small price to pay for an overall better-looking game.
I'm not saying that "zoom" shouldn't exist as a possible setting for upscaling.nxmi ... but doing this for the default styles should not be under discussion.
Yes, but at present the official styles don't have hi-res counterparts. And, zoom/upscale are currently essential for all styles that don't have hi-res counterpart graphics. Therefore, it does need to be discussed whether we:
a) Include hi-res counterparts, whether by making them from scratch or using existing ones from elsewhere
b) Zoom by default with the option to upscale
c) Upscale by default with the option to zoom
I think most of us can agree that (a) is the best option, but if no suitable tiles are created (or if the Mac ones end up being the only ones presented and people don't like them), then (b) and (c) each have their pros & cons.
alongside the lack of proper style support
I'm not sure what "lack of proper style support" you're referring to here. The option is there for people to make hi-res tiles for their styles, if they wish. If they don't want to or don't have time, then NL provides no fewer than 2 options for rendering the tiles in hi-res. I don't see how this constitutes a lack of support.
[Zooming] would still give you the high-res lemming sprites, but ... Doesn't that really defeat the whole purpose of having a high-res mode in the first place?
No, because it gives you hi-res lemming sprites and a hi-res skill panel/interface; for me personally, that's enough, and I was pleased to help with bringing that into fruition.
As it stands, hi-res style pieces is a nice bonus which hi-res mode offers us the option of exploring. And, of course, there are users who feel that these ought to be an integral part of the mode anyway, at least for the official styles. Hence this topic.
Just to summarise the topic at this point:

We currently do not have hi-res counterpart graphics for the official styles. Lots of people don't use hi-res, for various reasons. Maybe if we included hi-res graphics for the official styles, more people would take an interest in hi-res mode.
Proxima is currently working on transposing the official Mac styles to NeoLemmix, so this is one possibility (and an exciting one!), but there are others. A majority of people have stated that they would like to see something made entirely from scratch, so it's at least worth discussing this possibility as well as any others that may arise.

Meanwhile, in the ongoing
absence of hi-res graphics (current situation), which is the best option to have as the default between zooming and upscaling? I personally prefer upscaling, but many have stated that they don't like the way this looks. It has also come to light that it clashes with the destruction masks, so maybe zooming is the way to go - again,
in the absence of actual hi-res graphics.
Obviously, if a style
does have hi-res graphics, then people will just have to live with the relative blockiness of the masks. If that's enough of a reason for you not to bother with the mode, then so be it. But, hopefully, most people will agree that it's a minimal enough trade-off for the possibility of having a
mostly great-looking game.