Okay, I Yamadope.
I spent a little time reading release notes[1] aimed at developers, but didn't stay long because at the first mention of "Tiff", I thought, "Hey! maybe That's it!" and rushed off to check.
But no, exporting as a .tif also produced an 8-bit file.
THAT however led me to check the Image->Precision mode setting--and BOOM! I found that I had NOT set it to a 16-bit output. (I had absent-mindedly SWITCHED projects AFTER setting the first one to 16-bit, and then opened the second without so much as a passing thought to its resolution--not being yet in the expectation of anything better than 8-bit.)
Well, I set it to 16-bit, exported a .PuNG file and it's a bona fide 16-bit!
[DELETED: request for "someone else" to edit the Subject of this post. Another oops.]
On closing, I emphasize Ofnuts' observation of the importance of using
Legacy-mode layers.
[1]
https://www.gimp.org/release-notes/gimp-2.10.html