> even go through the relevant laws of physics Possibly of interest, as mentioned in Appendix C of https://www.nist.gov/publications/architecture-software-assi

> even go through the relevant laws of physics Possibly of interest, as mentioned in Appendix C of https://www.nist.gov/publications/architecture-software-assisted-quantity-calculus https://www.nist.gov/publications/architecture-software-assi... there is a start to this in https://en.wikipedia.org/wiki/ISO/IEC_80000 https://en.wikipedia.org/wiki/ISO/IEC_80000