chore: estate-wide metadata and submodule sync (2026-04-20)

Author: hyperpolymath

backup/aggregates_before.txt

@@ -0,0 +1,20 @@
+equiv	coq	172
+equiv	lean	139
+safety	vampire	123
+equiv	agda	111
+correctness	z3	91
+correctness	cvc5	91
+totality	idris2	79
+safety	z3	69
+linearity	idris2	60
+safety	cvc5	48
+model-check	cadical	41
+safety	altergo	27
+invariant	metamath	27
+safety	eprover	14
+model-check	kissat	10
+linearity	lean	2
+correctness	coq	1
+linearity	coq	1
+termination	coq	1
+termination	lean	1