Document is [there](https://github.com/ericjenn/working-groups/blob/ericjenn-srpwg-wg1/safety-related-profile/sonnx/ops/docs/guidelines/formal/formal_guidelines.md).
Document is there.