From 9532cf6e845835987dc7c91cc7eacaff72e32f93 Mon Sep 17 00:00:00 2001
From: mrwulf <mrwulf.cleaner@gmail.com>
Date: Thu, 2 Jul 2026 23:58:29 +0200
Subject: [PATCH] coherence pass 1: TRUSTED-BASE scalar notes + both
 check-button docs

Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
---
 README.md | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/README.md b/README.md
index a0d0a2f..82a72da 100644
--- a/README.md
+++ b/README.md
@@ -58,6 +58,14 @@ cd verification
 ./check.sh      # compiles EVERY shipped file + axiom-audits EVERY certificate
 ```
 
+The scalar layer has its own pair of buttons:
+
+```bash
+./extract-scalar.sh   # regenerates gen/CurveScalar (Scalar52 limb arithmetic)
+./check-scalar.sh     # compiles the scalar gen + the proven scalar foundation
+```
+
+
 ## Trusted base
 
 See [TRUSTED-BASE.md](TRUSTED-BASE.md) for the complete list of assumptions