From e0b1bdc8c738262f53116c3eb27d3645182e1b3c Mon Sep 17 00:00:00 2001
From: Kevin Amado <kamadorueda@gmail.com>
Date: Fri, 28 Jan 2022 19:40:33 -0500
Subject: [PATCH] feat: health check

---
 README.md | 34 +++++++++++++++++++++++++++++++++-
 1 file changed, 33 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 2fb41eb..de9b3dd 100644
--- a/README.md
+++ b/README.md
@@ -53,9 +53,14 @@
 
 - ✔️ **Reliable**
 
-  Coverage is currently 80%,
+  Coverage is currently 90%,
   and we'll have 💯% soon.
 
+  Plus, after formatting [Nixpkgs](https://github.com/nixos/nixpkgs)
+  no semantically significant changes are made.
+  From Nix's eyes, code is _just_ the same.
+  [^semantic-changes]
+
 - ✔️ **Reproducible**
 
   Formatting many times yields the same results.
@@ -120,3 +125,30 @@ Let's get Alejandra on our systems:
     - MHz: 3800.00
     - BogoMips: 7599.80
     - Cache Size: 16384 KB
+
+[^semantic-changes]:
+
+    The methodology to claim this is:
+
+    1.  Checkout [Nixpkgs](https://github.com/nixos/nixpkgs) and run:
+
+        ```bash
+        $ nix-env -qaP --json --drv-path > before
+        ```
+
+    1.  Now format with Alejandra and run:
+
+        ```bash
+        $ nix-env -qaP --json --drv-path > after
+        ```
+
+    As of 2022-01-28,
+    there are 94 differences in a set of 34079 derivations
+    because of things like this:
+
+    ```
+    goDeps = ./deps.nix;
+    ```
+
+    Since `./deps.nix` was also formatted
+    you get a semantical difference.