style: prettier formatting in identity-lifecycle.md

2026-08-26 18:21:39 -05:00
parent e595855adc
commit 339e147f77
1 changed files with 1 additions and 1 deletions
@@ -302,7 +302,7 @@ Every MUST above needs a bounded observable. The matrix:
   unusable; hard-delete endpoint returns a fail-closed error while the
   deletion contract is unratified; the admin web UI renders no live delete
   action (absent, or disabled with the §7.3 text) and `mosaic auth users
-   delete` exits non-zero with the §7.3 message — both asserted by spec.
+delete` exits non-zero with the §7.3 message — both asserted by spec.
 7. **System of record and bootstrap edges (§1, §3.6, §4.3).** IdP removal:
   deleting a provider configuration leaves every user row intact and every
   other login method working (spec over the provider-config removal path).