drydock-cli 2.8.54__tar.gz → 2.8.56__tar.gz

drydock_cli-2.8.56/.auto_release.lock

@@ -0,0 +1 @@
+2525683

{drydock_cli-2.8.54 → drydock_cli-2.8.56}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: drydock-cli
-Version: 2.8.54
+Version: 2.8.56
 Summary: Local-first CLI coding agent — tested with Gemma 4 26B via vLLM
 Project-URL: Homepage, https://github.com/fbobe321/drydock
 Project-URL: Repository, https://github.com/fbobe321/drydock

{drydock_cli-2.8.54 → drydock_cli-2.8.56}/drydock/core/constraint_extract.py

@@ -180,8 +180,9 @@ _RE_PERFECT_CUBE = re.compile(
     re.IGNORECASE | re.DOTALL,
 )
 # "is f(x) prime" or "f(x) is prime" or "such that f(x) is prime"
+# or "for all positive n, f(n) is prime" (universal claim — find counterexample)
 _RE_PRIME = re.compile(
-    r'(?:\bis\s+|\bsuch\s+that\s+)(?P<f>[\w\s\^\{\}+\-*/().\\]{3,200}?)\s+(?:is\s+)?prime\b',
+    r'(?:\bis\s+|\bsuch\s+that\s+|,\s+)(?P<f>[\w\s\^\{\}+\-*/().\\]{3,200}?)\s+(?:is\s+)?prime\b',
     re.IGNORECASE | re.DOTALL,
 )
 # "f(x) is divisible by k". Capture permissively; `_truncate_formula_after_predicate`
@@ -198,11 +199,13 @@ _RE_EQUALS_CONSTANT = re.compile(
 )
 
 # "find x such that f(x) == g(x)" / "solve f(x) = g(x) for x"
+# Also: "is there an X where f(x) = g" — existence questions.
 _RE_EQUATION_SOLVE = re.compile(
     r'(?:find\s+(?:all\s+)?(?:integers?|values?|x|y|n|k|m|the\s+\w+)'
-    r'|solve(?:\s+for\s+\w+)?)\s+(?:such\s+that\s+)?'
+    r'|solve(?:\s+for\s+\w+)?'
+    r'|is\s+there\s+(?:a|an|some|any)\s+(?:\w+\s+){1,4}where)\s+(?:such\s+that\s+)?'
     r'(?P<lhs>[\w\^\{\}+\-*/().\\\s]{3,150}?)\s*=\s*'
-    r'(?P<rhs>[\w\^\{\}+\-*/().\\\s]{1,150}?)(?:\s*[.,?\n]|\s*$)',
+    r'(?P<rhs>[\w\^\{\}+\-*/().\\\s]{1,150}?)(?:\s*[.,?\n]|\s+has\s+|\s*$)',
     re.IGNORECASE | re.DOTALL,
 )
 

{drydock_cli-2.8.54 → drydock_cli-2.8.56}/drydock/core/constraint_hint.py

@@ -192,10 +192,14 @@ _PATTERN_HINTS: list[tuple[re.Pattern[str], str, str]] = [
     ),
     (
         re.compile(
-            r"\b(prove|show\s+that|demonstrate|verify\s+that)\b"
+            r"\b(prove|show\s+that|demonstrate|verify\s+that|verify\b)\b"
             r"|\bif\s+and\s+only\s+if\b"
             r"|\biff\b"
-            r"|\bnecessary\s+and\s+sufficient\b",
+            r"|\bnecessary\s+and\s+sufficient\b"
+            # Coding-shaped variants — counterexamples + universal claims
+            r"|\b(find|construct)\s+(a\s+)?counterexamples?\b"
+            r"|\bfor\s+all\s+(positive\s+|integer|natural\s+|negative\s+)?\w+,\s*(does|is|prove)\b"
+            r"|\b(this|the)\s+(loop|function|invariant|method)\s+(terminates|holds|preserves)\b",
             re.IGNORECASE,
         ),
         "prove",
@@ -213,7 +217,12 @@ _PATTERN_HINTS: list[tuple[re.Pattern[str], str, str]] = [
             r"\bfind\s+(?:all\s+)?(?:x|y|n|k|m|the\s+(?:value|values|number|integer|integers|set|points?))\b"
             r"|\bfor\s+what\s+(?:value|values|x|y|n|k|m|integers?)\b"
             r"|\bexists\s+(?:a|an)\s+\w+\s+such\s+that\b"
-            r"|\bthere\s+(?:is|exists)\s+(?:a|an|some)\s+\w+\s+(?:such\s+that|with)\b"
+            r"|\bthere\s+(?:is|exists)\s+(?:a|an|some)\s+\w+\s+(?:such\s+that|with|where)\b"
+            r"|\bis\s+there\s+(?:a|an|some|any)\s+(?:\w+\s+){1,4}(?:such\s+that|with|where)\b"
+            # Coding-specific: branch-trigger inputs, test cases
+            r"|\bfind\s+(?:an?\s+)?inputs?\s+(?:that|where|to)\b"
+            r"|\bwhat\s+inputs?\s+(?:would|will|cause|trigger)\b"
+            r"|\b(generate|construct|design)\s+(?:a\s+)?(?:test|input)\s+(?:case|that)\b"
             # Counting questions: "for how many integers x is...", "how many ... satisfy"
             r"|\bfor\s+how\s+many\b"
             r"|\bhow\s+many\s+(?:integers?|values?|solutions?|positive|natural)\b"

{drydock_cli-2.8.54 → drydock_cli-2.8.56}/pyproject.toml

@@ -1,6 +1,6 @@
 [project]
 name = "drydock-cli"
-version = "2.8.54"
+version = "2.8.56"
 description = "Local-first CLI coding agent — tested with Gemma 4 26B via vLLM"
 readme = "README.md"
 requires-python = ">=3.12"

{drydock_cli-2.8.54 → drydock_cli-2.8.56}/tests/test_constraint_hint.py

@@ -58,6 +58,17 @@ from drydock.core.constraint_hint import (
     # structure-count
     ("How many associative and commutative binary operations can be defined on a set of 3 elements?", "structure-count"),
     ("How many distinct functions exist on a set of 4 elements?", "structure-count"),
+
+    # Coding-shape patterns (added 2026-05-17) — real-user prompts that
+    # should route through Z3/Prolog/solve when the developer asks
+    # drydock to find inputs, verify invariants, or check existence.
+    ("Find counterexamples to: for all positive n, n^2+n+41 is prime", "prove"),
+    ("Verify this loop terminates for all positive inputs", "prove"),
+    ("Find inputs to test_foo that trigger the early-return branch", "find-such-that"),
+    ("What inputs would cause this regex to backtrack?", "find-such-that"),
+    ("Is there an integer x where x^2 + 5*x + 6 = 0 has solutions?", "find-such-that"),
+    ("Generate a test case that exercises the overflow path", "find-such-that"),
+    ("For all positive n, does this invariant hold?", "prove"),
 ])
 def test_detector_positive_matches(msg: str, label: str) -> None:
     hit = detect_constraint_shape(msg)

{drydock_cli-2.8.54 → drydock_cli-2.8.56}/trip_log.md

@@ -1,5 +1,32 @@
 # Drydock Trip Log
 
+## 2026-05-17 18:00 UTC tick
+- Stress: step 114/1658, running (PID 2501045, ~64 min elapsed, tool_agent prompt suite, ~62 tok/s, healthy)
+- Write rate: N/A (no per-prompt write rate in stress output)
+- Admiral last 30 min: N/A
+- vLLM 400s: 0 (model logs show normal slot/checkpoint activity, no decode errors)
+- GH issues: 0 open
+- Dispatch queue: harness=7 (all stale thinking_stall, fully resolved by v2.8.47), retrieval=3 (all already ingested, no-op), curiosity=2569 pending (none actionable — HLE failures banned, unknown_term noise)
+- Action this tick: no action — system healthy; model Q3_K_M + balancer :8001 (pid 380535) up; stress advancing; all dispatch patterns historical and resolved
+
+## 2026-05-17 17:30 UTC tick
+- Stress: step 83/1658, running (PID 2501045, 35 min elapsed, tool_agent prompt suite, ~2.4 prompts/min)
+- Write rate: N/A (no per-prompt write rate in stress output)
+- Admiral last 30 min: N/A
+- vLLM 400s: 0 errors in last 30 min (context checkpoint activity is normal; 1bcd5d1 fix holding)
+- GH issues: 0 open
+- Dispatch queue: harness=7 (all stale thinking_stall, resolved by v2.8.47), retrieval=0 actionable, curiosity=2569 pending (409 hle_failure paused, 2160 unknown_term noise)
+- Action this tick: no action — system healthy; model Q3_K_M + balancer :8001 up; stress steady; no new dispatch patterns; HLE paused per CLAUDE.md 2026-05-17 directive; curiosity items are HLE failures (banned) or unknown_term noise
+
+## 2026-05-17 17:00 UTC tick
+- Stress: step 38/1658, running (PID 2501045, ~5 min elapsed, tool_agent prompt suite)
+- Write rate: N/A (early in run)
+- Admiral last 30 min: N/A
+- vLLM 400s: 34 in last 30 min (all pre-fix context overflow at 41869>32768 tokens from previous run; 0 in last 5 min after stress restart with v2.8.54)
+- GH issues: 0 open
+- Dispatch queue: harness=7 (all stale thinking_stall, resolved by v2.8.47), retrieval=3 entries (0 actionable, all recently ingested), curiosity=2549 pending (409 hle_failure, 2140 unknown_term — HLE paused per CLAUDE.md directive)
+- Action this tick: no action — system healthy; v2.8.54 shipped at 12:00 CDT with search_replace arg truncation fix; context overflow errors pre-date the fix and have stopped; no actionable dispatch or curiosity items
+
 ## 2026-05-17 16:00 UTC tick
 - Stress: step 26/1658, just restarted at 16:00 UTC by hourly babysitter (stress PID 2482864, .pause_stress sentinel present but stress running — babysitter may not check it)
 - Write rate: N/A (just restarted this tick)

drydock_cli-2.8.54/.auto_release.lock

@@ -1 +0,0 @@
-2502195