Finally, I’ve collected the takeaways I’ve gleaned from this (and elsewhere) into an article
https://codeberg.org/jmcaine/zig-notes/src/branch/main/assert-and-unreachable.md
This is my first attempt at such; please critique liberally (I’d be honored). I reference official doc and std doc heavily, and cite (and thank) the key semantics thread on assert, cryptocode’s article on assert in zig, joshuao’s article on assert in zig, and this thread itself.
This will be useful to me… and maybe others.