sync from provael/provael@6ddabfa

app.py

@@ -60,7 +60,7 @@ TOTAL_ADVERSARIAL_FAMILIES = 17
 #: The release this Space was published from — the "you are here" against which `measured_with`
 #: reads as stale. Checked against `provael.__version__` by `tests/test_counted_claims.py` for the
 #: same reason as above: an unguarded version string in an uninstalled Space rots invisibly.
-CURRENT_RELEASE = "0.42.1"
+CURRENT_RELEASE = "0.43.0"
 
 #: Policies considered open-source (weights available) — drives the RoboArena-style split.
 OPEN_SOURCE_POLICIES = frozenset(

results/leaderboard.json

@@ -1,5 +1,5 @@
 {
-  "commit": "8b9665e",
+  "commit": "cad4df0",
   "examples": [
     {
       "attack": "none",
@@ -42,7 +42,7 @@
       "family": "visual"
     }
   ],
-  "generated_at": "2026-09-18T12:52:39Z",
+  "generated_at": "2026-09-19T12:20:36Z",
   "inputs_digest": "cbb8d6fbf5feab2df70b8157f7e935b25d4f528a33c092022ab7a565ed4a9fed",
   "is_demo": false,
   "measured_with": [
@@ -157,9 +157,9 @@
   "signature": {
     "alg": "ed25519",
     "keyid": "8d62aa33ed5162f3",
-    "sig": "2XmhU40KB2zFJJYCeAAPyQMmbl2RAK6xEfVh8meTESoftg61NN5ec/+NceAFv7VrNUOQmldScucozsS1yPKcBQ=="
+    "sig": "9nxyR5ku+yEAl7IUxEnVf9QqdZjpK6HF4vKhAFoRpjoe/fCAb+5pVQsOC1IEdZkngzSAdGxBBc9o3V058vb9Cg=="
   },
-  "stale": false,
-  "stale_reason": "oldest rows measured with provael 0.41.2, judged against 0.42.0 (lag 1, limit 1)",
-  "tool_version": "0.42.0"
+  "stale": true,
+  "stale_reason": "rows measured with provael 0.41.2 are 2 minor versions behind 0.43.0 (limit 1); re-run the underlying policy before treating these numbers as current",
+  "tool_version": "0.43.0"
 }

results/source.json

@@ -1,6 +1,6 @@
 {
  "$schema": "provael-leaderboard-source/1",
- "generatedAt": "2026-09-18T12:52:39Z",
+ "generatedAt": "2026-09-19T12:20:36Z",
  "measuredWith": [
   "0.41.2"
  ],