Skip to content

Commit 900482f

Browse files
hyperpolymathclaude
hyperpolymath
and
claude
committed
chore: update submodules + verisimdb data (outcomes, recipes, dispatch)
- QuandleDB submodule pointer update - VeriSimDB: updated outcomes, dispatch manifests, recipe confidence scores - New recipe: recipe-remove-believe-me (from Idris2 violation fixes) Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
1 parent 0730040 commit 900482f

12 files changed

Lines changed: 2412 additions & 2036 deletions

‎quandledb‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
Subproject commit 816272f83f21b5132cfff3fbf19e69990356d83f
1+
Subproject commit 0a20355311e6ddb28c8abcb77939d6a1fcd9774b

‎verisimdb/verisimdb-data/dispatch/batches.jsonl‎

Lines changed: 18 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -43,3 +43,21 @@
4343
{"batch_id":"batch_1774185689831_8","dispatch_count":1,"status":"pending","strategy":"auto","timestamp":"2026-03-22T13:21:29.831704Z"}
4444
{"batch_id":"batch_1774185689869_292","dispatch_count":2,"status":"pending","strategy":"review","timestamp":"2026-03-22T13:21:29.869145Z"}
4545
{"batch_id":"batch_1774185690162_40","dispatch_count":10,"status":"pending","strategy":"auto_execute","timestamp":"2026-03-22T13:21:30.162313Z"}
46+
{"batch_id":"batch_1774185862929_390","dispatch_count":1,"status":"pending","strategy":"auto","timestamp":"2026-03-22T13:24:22.929477Z"}
47+
{"batch_id":"batch_1774185862930_422","dispatch_count":2,"status":"pending","strategy":"review","timestamp":"2026-03-22T13:24:22.930042Z"}
48+
{"batch_id":"batch_1774185862932_486","dispatch_count":10,"status":"pending","strategy":"auto_execute","timestamp":"2026-03-22T13:24:22.932875Z"}
49+
{"batch_id":"batch_1774186054851_421","dispatch_count":1,"status":"pending","strategy":"auto","timestamp":"2026-03-22T13:27:34.851505Z"}
50+
{"batch_id":"batch_1774186054873_2598","dispatch_count":2,"status":"pending","strategy":"review","timestamp":"2026-03-22T13:27:34.873344Z"}
51+
{"batch_id":"batch_1774186055348_581","dispatch_count":10,"status":"pending","strategy":"auto_execute","timestamp":"2026-03-22T13:27:35.348469Z"}
52+
{"batch_id":"batch_1774186096887_264","dispatch_count":1,"status":"pending","strategy":"auto","timestamp":"2026-03-22T13:28:16.887023Z"}
53+
{"batch_id":"batch_1774186096907_103","dispatch_count":2,"status":"pending","strategy":"review","timestamp":"2026-03-22T13:28:16.907841Z"}
54+
{"batch_id":"batch_1774186098208_261","dispatch_count":10,"status":"pending","strategy":"auto_execute","timestamp":"2026-03-22T13:28:18.208407Z"}
55+
{"batch_id":"batch_1774186334050_2757","dispatch_count":1,"status":"pending","strategy":"auto","timestamp":"2026-03-22T13:32:14.050649Z"}
56+
{"batch_id":"batch_1774186334077_135","dispatch_count":2,"status":"pending","strategy":"review","timestamp":"2026-03-22T13:32:14.077886Z"}
57+
{"batch_id":"batch_1774186334615_167","dispatch_count":10,"status":"pending","strategy":"auto_execute","timestamp":"2026-03-22T13:32:14.615721Z"}
58+
{"batch_id":"batch_1774186922492_4","dispatch_count":10,"status":"pending","strategy":"auto_execute","timestamp":"2026-03-22T13:42:02.492713Z"}
59+
{"batch_id":"batch_1774186922493_547","dispatch_count":1,"status":"pending","strategy":"auto","timestamp":"2026-03-22T13:42:02.493539Z"}
60+
{"batch_id":"batch_1774186922493_579","dispatch_count":2,"status":"pending","strategy":"review","timestamp":"2026-03-22T13:42:02.493679Z"}
61+
{"batch_id":"batch_1774187255876_263","dispatch_count":10,"status":"pending","strategy":"auto_execute","timestamp":"2026-03-22T13:47:35.876777Z"}
62+
{"batch_id":"batch_1774187255893_3269","dispatch_count":1,"status":"pending","strategy":"auto","timestamp":"2026-03-22T13:47:35.893934Z"}
63+
{"batch_id":"batch_1774187255894_2626","dispatch_count":2,"status":"pending","strategy":"review","timestamp":"2026-03-22T13:47:35.894789Z"}

‎verisimdb/verisimdb-data/dispatch/dispatch-2026-03-22.jsonl‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,2 +1,2 @@
1-
{"action":"shell","auto_fixable":true,"category":"CommandInjection","confidence":0.99,"description":"Unquoted shell variable","fix_script":"fix-shell-quoting.sh","match":"$VAR","pattern_id":"PA009-shell-unquoted-var","program_path":"/var/mnt/eclipse/repos/test-repo","proven_module":null,"recipe_id":"recipe-shell-quote-vars","replacement":"\"${VAR}\"","repo":"test-repo","severity":"High","strategy":"auto_execute","tier":"eliminate","timestamp":"2026-03-22T13:21:29.022945Z"}
2-
{"auto_fixable":false,"category":"RaceCondition","confidence":0.0,"description":"Data race","pattern_id":"PA006-race","program_path":"/var/mnt/eclipse/repos/test-repo","recipe_id":null,"repo":"test-repo","severity":"High","strategy":"report_only","tier":"control","timestamp":"2026-03-22T13:21:29.050147Z"}
1+
{"action":"shell","auto_fixable":true,"category":"CommandInjection","confidence":0.99,"description":"Unquoted shell variable","fix_script":"fix-shell-quoting.sh","match":"$VAR","pattern_id":"PA009-shell-unquoted-var","program_path":"/var/mnt/eclipse/repos/test-repo","proven_module":null,"recipe_id":"recipe-shell-quote-vars","replacement":"\"${VAR}\"","repo":"test-repo","severity":"High","strategy":"auto_execute","tier":"eliminate","timestamp":"2026-03-22T13:47:35.403583Z"}
2+
{"auto_fixable":false,"category":"RaceCondition","confidence":0.0,"description":"Data race","pattern_id":"PA006-race","program_path":"/var/mnt/eclipse/repos/test-repo","recipe_id":null,"repo":"test-repo","severity":"High","strategy":"report_only","tier":"control","timestamp":"2026-03-22T13:47:35.409933Z"}

‎verisimdb/verisimdb-data/dispatch/held.jsonl‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -16717,3 +16717,11 @@
1671716717
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA018-32-todo-fixme-hack-markers-in-","reason":"neural network disagrees with dispatch confidence — human review recommended","repo":"rescript-ecosystem","timestamp":"2026-03-22T09:26:30.153805Z"}
1671816718
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA009-shell-unquoted-var","reason":"neural network disagrees with dispatch confidence — human review recommended","repo":"test-repo","timestamp":"2026-03-22T13:02:54.055550Z"}
1671916719
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA009-shell-unquoted-var","reason":"neural network disagrees with dispatch confidence — human review recommended","repo":"test-repo","timestamp":"2026-03-22T13:19:53.990316Z"}
16720+
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA009-shell-unquoted-var","reason":"neural network disagrees with dispatch confidence — human review recommended","repo":"test-repo","timestamp":"2026-03-22T13:24:24.134801Z"}
16721+
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA009-shell-unquoted-var","reason":"neural network disagrees with dispatch confidence — human review recommended","repo":"test-repo","timestamp":"2026-03-22T13:32:13.218348Z"}
16722+
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA-test-002","reason":"confidence 0.8 below auto-execute threshold 0.95","repo":"test-repo-2","timestamp":"2026-03-22T13:38:21.027230Z"}
16723+
{"action_type":"pr_create","bot_id":"rhodibot","pattern_id":"PA-test-003","reason":"scan data is 72h old (threshold: 48h) — rescan recommended","repo":"stale-repo","timestamp":"2026-03-22T13:38:21.028067Z"}
16724+
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA009-shell-unquoted-var","reason":"neural network disagrees with dispatch confidence — human review recommended","repo":"test-repo","timestamp":"2026-03-22T13:42:01.055626Z"}
16725+
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA009-shell-unquoted-var","reason":"neural network disagrees with dispatch confidence — human review recommended","repo":"test-repo","timestamp":"2026-03-22T13:47:35.530724Z"}
16726+
{"action_type":"commit_push","bot_id":"robot-repo-automaton","pattern_id":"PA-test-002","reason":"confidence 0.8 below auto-execute threshold 0.95","repo":"test-repo-2","timestamp":"2026-03-22T13:47:58.525987Z"}
16727+
{"action_type":"pr_create","bot_id":"rhodibot","pattern_id":"PA-test-003","reason":"scan data is 72h old (threshold: 48h) — rescan recommended","repo":"stale-repo","timestamp":"2026-03-22T13:47:58.529259Z"}

‎verisimdb/verisimdb-data/dispatch/pending.jsonl‎

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
1-
{"action":"shell","auto_fixable":true,"category":"CommandInjection","confidence":0.99,"description":"Unquoted shell variable","fix_script":"fix-shell-quoting.sh","match":"$VAR","pattern_id":"PA009-shell-unquoted-var","program_path":"/var/mnt/eclipse/repos/test-repo","proven_module":null,"recipe_id":"recipe-shell-quote-vars","replacement":"\"${VAR}\"","repo":"test-repo","severity":"High","strategy":"auto_execute","tier":"eliminate","timestamp":"2026-03-22T13:21:29.022945Z"}
2-
{"auto_fixable":false,"category":"RaceCondition","confidence":0.0,"description":"Data race","pattern_id":"PA006-race","program_path":"/var/mnt/eclipse/repos/test-repo","recipe_id":null,"repo":"test-repo","severity":"High","strategy":"report_only","tier":"control","timestamp":"2026-03-22T13:21:29.050147Z"}
3-
{"bot":"rhodibot","dispatched_at":"2026-03-22T13:21:29.130500Z","query":"mutation {\n suggestFix(\n repo: \"test-repo\",\n file: \"\",\n issue: \"Unquoted shell variable\",\n suggestion: \"Replace with proven/SafeCommand\"\n ) {\n success\n prNumber\n }\n}\n","status":"pending"}
4-
{"bot":"echidnabot","dispatched_at":"2026-03-22T13:21:29.341471Z","query":"mutation {\n submitProofObligation(\n repo: \"test-repo\",\n claim: \"Substitution with SafeCommand preserves behavior\",\n context: \"Unquoted shell variable\"\n ) {\n success\n proofId\n }\n}\n","status":"pending"}
5-
{"bot":"rhodibot","dispatched_at":"2026-03-22T13:21:29.480677Z","query":"mutation {\n suggestFix(\n repo: \"test-repo\",\n file: \"scripts/deploy.sh\",\n issue: \"Unquoted variable\",\n suggestion: \"Add double quotes\"\n ) {\n success\n prNumber\n }\n}\n","status":"pending"}
6-
{"bot":"sustainabot","dispatched_at":"2026-03-22T13:21:29.943844Z","query":"mutation {\n reportEcoScore(\n repo: \"test-repo\",\n score: 0.5,\n details: \"Unresolved: Unquoted shell variable (no safe fix available)\"\n ) {\n success\n }\n}\n","status":"pending"}
7-
{"bot":"robot-repo-automaton","dispatched_at":"2026-03-22T13:21:30.032434Z","query":"mutation {\n requestAutoFix(\n repo: \"test-repo\",\n file: \"\",\n issue: \"Unquoted shell variable\",\n fixType: \"eliminate\",\n confidence: \"0.99\",\n recipeId: \"recipe-shell-quote-vars\",\n suggestion: \"Quote shell variables\"\n ) {\n success\n fixApplied\n fixDecision\n }\n}\n","status":"pending"}
1+
{"action":"shell","auto_fixable":true,"category":"CommandInjection","confidence":0.99,"description":"Unquoted shell variable","fix_script":"fix-shell-quoting.sh","match":"$VAR","pattern_id":"PA009-shell-unquoted-var","program_path":"/var/mnt/eclipse/repos/test-repo","proven_module":null,"recipe_id":"recipe-shell-quote-vars","replacement":"\"${VAR}\"","repo":"test-repo","severity":"High","strategy":"auto_execute","tier":"eliminate","timestamp":"2026-03-22T13:47:35.403583Z"}
2+
{"auto_fixable":false,"category":"RaceCondition","confidence":0.0,"description":"Data race","pattern_id":"PA006-race","program_path":"/var/mnt/eclipse/repos/test-repo","recipe_id":null,"repo":"test-repo","severity":"High","strategy":"report_only","tier":"control","timestamp":"2026-03-22T13:47:35.409933Z"}
3+
{"bot":"rhodibot","dispatched_at":"2026-03-22T13:47:35.533477Z","query":"mutation {\n suggestFix(\n repo: \"test-repo\",\n file: \"scripts/deploy.sh\",\n issue: \"Unquoted variable\",\n suggestion: \"Add double quotes\"\n ) {\n success\n prNumber\n }\n}\n","status":"pending"}
4+
{"bot":"sustainabot","dispatched_at":"2026-03-22T13:47:35.548960Z","query":"mutation {\n reportEcoScore(\n repo: \"test-repo\",\n score: 0.5,\n details: \"Unresolved: Unquoted shell variable (no safe fix available)\"\n ) {\n success\n }\n}\n","status":"pending"}
5+
{"bot":"rhodibot","dispatched_at":"2026-03-22T13:47:35.567716Z","query":"mutation {\n suggestFix(\n repo: \"test-repo\",\n file: \"\",\n issue: \"Unquoted shell variable\",\n suggestion: \"Replace with proven/SafeCommand\"\n ) {\n success\n prNumber\n }\n}\n","status":"pending"}
6+
{"bot":"echidnabot","dispatched_at":"2026-03-22T13:47:35.600748Z","query":"mutation {\n submitProofObligation(\n repo: \"test-repo\",\n claim: \"Substitution with SafeCommand preserves behavior\",\n context: \"Unquoted shell variable\"\n ) {\n success\n proofId\n }\n}\n","status":"pending"}

‎verisimdb/verisimdb-data/health/hypatia.json‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
{
2-
"checked_at": "2026-03-22T13:18:42.837508Z",
2+
"checked_at": "2026-03-22T13:47:40.509192Z",
33
"checks": {
44
"circuit_breaker": {
55
"failures": 0,
@@ -10,8 +10,8 @@
1010
"status": "pass"
1111
},
1212
"fleet_access": {
13-
"last_modified": "{{2026, 3, 22}, {13, 6, 57}}",
14-
"size_bytes": 1855630,
13+
"last_modified": "{{2026, 3, 22}, {13, 47, 37}}",
14+
"size_bytes": 1864955,
1515
"status": "pass"
1616
},
1717
"learning_scheduler": {

0 commit comments

Comments
 (0)