commit 24250157afdaa26fc12c8b71f6e1fd2aba43dfdd Author: Yucheng He Date: Mon Sep 7 00:15:26 2026 -0700 docs: add LIT-4878 proof screenshots diff --git a/proof/guardrails-after.png b/proof/guardrails-after.png new file mode 100644 index 00000000000..219002ec60f Binary files /dev/null and b/proof/guardrails-after.png differ diff --git a/proof/guardrails-before.png b/proof/guardrails-before.png new file mode 100644 index 00000000000..93eebda9889 Binary files /dev/null and b/proof/guardrails-before.png differ