Spaces:

SZLHOLDINGS
/

a11oy

Running

App Files Files Community

betterwithage commited on Jun 15

Commit

7b9bcaa

verified ·

1 Parent(s): 4137c7f

reconcile doctrine README: locked formulas 5->8 to match GitHub authoritative + doctrine v11 lock

Browse files

Mirror GitHub main (source of truth) corpus/doctrine/szl-doctrine__README.md to the Space; Space copy was stale (5 formulas {F1,F11,F12,F18,F19}) vs GitHub/live doctrine v11 (8 formulas {F1,F4,F7,F11,F12,F18,F19,F22}). Fixes hf-module-drift. Signed-off-by: Forge.

Files changed (1) hide show

corpus/doctrine/szl-doctrine__README.md +1 -1

corpus/doctrine/szl-doctrine__README.md CHANGED Viewed

@@ -55,7 +55,7 @@ auditable, and machine-enforced.
 > The *locked* numbers are a contract and do not move. The **experimental `main` corpus**
 > (≈1323 decls / 23 axioms / CI-green) is reported **separately** and is **never folded into
-> the 5 locked-proven formulas** {F1, F11, F12, F18, F19}.
 ## What it automates (org-wide)

 > The *locked* numbers are a contract and do not move. The **experimental `main` corpus**
 > (≈1323 decls / 23 axioms / CI-green) is reported **separately** and is **never folded into
+> the 8 locked-proven formulas** {F1, F4, F7, F11, F12, F18, F19, F22}.
 ## What it automates (org-wide)