2024-03-29 update: As of 23.09.1-RELEASE, the underlying issue appears to be fixed.

After a power-failure, my pfSense router (running 23.05.1-RELEASE) often fails to route packets over its single Starlink WAN connection. This is tedious because (i) power failures are relatively common around here, and (ii) the pfSense router is somewhat inaccessible. Wouldn't it be nice if everything "just worked" when the power came back on?

Although I've written many informal specifications of software as part of my employments, I haven't ever written any formal specifications (and for good reason: in most domains, the return-on-investment likely isn't there). I like to pretend to myself that given enough time, I probably could write a formal specification, but what's it like to actually do this?