drydock-cli 2.8.55__tar.gz → 2.8.57__tar.gz

drydock_cli-2.8.57/.auto_release.lock

@@ -0,0 +1 @@
+2543523

{drydock_cli-2.8.55 → drydock_cli-2.8.57}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: drydock-cli
-Version: 2.8.55
+Version: 2.8.57
 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.55 → drydock_cli-2.8.57}/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.55 → drydock_cli-2.8.57}/drydock/core/session/session_logger.py

@@ -330,6 +330,13 @@ class SessionLogger:
         persisted. Previously the dir only appeared on the first
         persist_messages call — a race for any watcher polling between
         /clear and the next user message.
+
+        Also touches an empty messages.jsonl marker file. Watchers
+        commonly use the existence of messages.jsonl to identify a
+        "real" session dir (vs an in-progress one). Without the marker,
+        a watcher polling right after /clear would fall back to the
+        PREVIOUS session's dir as the most recent "real" one, and
+        miss messages routed to the new session.
         """
         if not self.enabled:
             return
@@ -340,6 +347,10 @@ class SessionLogger:
         self.session_metadata = self._initialize_session_metadata()
         try:
             self.session_dir.mkdir(parents=True, exist_ok=True)
+            # Touch the messages.jsonl marker so watchers see this as a
+            # discoverable session dir immediately, not after the first
+            # message lands.
+            (self.session_dir / MESSAGES_FILENAME).touch(exist_ok=True)
             self.log_event({
                 "event": "session_reset",
                 "session_id": session_id,

{drydock_cli-2.8.55 → drydock_cli-2.8.57}/pyproject.toml

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

{drydock_cli-2.8.55 → drydock_cli-2.8.57}/trip_log.md

@@ -1,5 +1,23 @@
 # Drydock Trip Log
 
+## 2026-05-17 19:00 UTC tick
+- Stress: 192/1658 (PID 2501045, 02:04 elapsed, tool_agent suite, 154 done / 0 skip / 0 timeout since restart at 16:56 UTC)
+- Write rate: low (~2/92 steps show writes — normal for informational prompts on an existing package)
+- Admiral last 30 min: 1 harness:thinking_stall fire at 18:40 UTC (nudge injected, working as designed)
+- llamacpp 400s: 0 new (6 minor errors in container logs, none JSONDecode/400 class)
+- GH issues: 0 open
+- Dispatch queue: harness=10 last 24h (all thinking_stall, resolved by existing logic), retrieval=0 actionable (drained), curiosity=2625 pending (top items: hle_failure=409 banned, unknown_term=2215 noise, evidence_conflict=1 stale file-not-found)
+- Action this tick: no action — system healthy; autonomous_review also found no actionable items in 17:00/17:30/18:00/18:30 ticks; v2.8.56 is current with context-overflow fix holding
+
+## 2026-05-17 18:30 UTC tick
+- Stress: step ~676/1658, running (PID 2501045, ~97 min elapsed, tool_agent prompt suite; some SKIP/FORCE-RESET on API-server prompts per known modal-eat issue)
+- Write rate: N/A (log shows +7 writes/session typical)
+- Admiral last 30 min: 3 harness:thinking_stall fires at 18:20 UTC (empty_after_tool:bash; nudges injected as expected — working, not a new bug)
+- llamacpp 400s: 6 context-overflow errors in last hour (down from 34/hr pre-fix; residual from long sessions; 1bcd5d1 fix holding for new sessions)
+- GH issues: 0 open
+- Dispatch queue: harness=1308 total (10 in last 24h, all thinking_stall resolved by existing nudge logic), retrieval=3 (0 actionable, all recently ingested), curiosity=3021 total / 2615 pending (all HLE failures banned or unknown_term noise)
+- Action this tick: no action — system healthy; no actionable bugs; retrieval drain: 0 ingested (already up to date)
+
 ## 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)

drydock_cli-2.8.55/.auto_release.lock

@@ -1 +0,0 @@
-2524041