Delete 52 files via Git Manager GUI

2026-10-30 21:48:46 +00:00
parent a563ba6837
commit e5a486fe62
52 changed files with 0 additions and 4240 deletions
@@ -1,4 +0,0 @@
-interface:
-  display_name: "Verify and Stop"
-  short_description: "Run relevant proof then stop cleanly"
-  default_prompt: "Use $verify-and-stop to prove acceptance criteria without adding scope."