Compare commits

..

1 Commits

Author SHA1 Message Date
Timmy
fbc91dea82 fix(#296): poka-yoke — prevent silent context overflow with mandatory compression
Some checks failed
Forge CI / smoke-and-build (pull_request) Failing after 1m5s
## Problem
When context approaches model limit, no guaranteed fail-safe. Agent could
ignore compression warnings, causing silent data loss when context overflows.

## Solution (Poka-yoke: Mitigation)
1. Hard token budget check at 85% of context length — auto-compression
2. At 95%, BLOCK tool calls and force compression before continuing
3. Add /context-status slash command (aliases: /ctx, /context)
4. Log context overflow events separately from normal compression

## Changes

### agent/context_compressor.py
- WARNING_THRESHOLD (0.85), CRITICAL_THRESHOLD (0.95)
- should_auto_compress(), should_block_tools(), get_usage_level()
- Extended get_status() with usage_level and thresholds

### run_agent.py
- 85%/95% checks before compression in main loop
- overflow_triggered param on _compress_context()
- Separate CONTEXT WARNING/CRITICAL logging

### hermes_cli/commands.py
- CommandDef("context-status", ...) with aliases (ctx, context)

### cli.py
- _show_context_status() with progress bar and threshold display

Refs #296
2026-04-13 21:38:13 -04:00
6 changed files with 166 additions and 184 deletions

View File

@@ -138,6 +138,48 @@ class ContextCompressor:
rough_estimate = estimate_messages_tokens_rough(messages)
return rough_estimate >= self.threshold_tokens
# ── Poka-yoke: Hard context overflow safeguards (#296) ──────────────
WARNING_THRESHOLD = 0.85 # 85% — auto-compression trigger
CRITICAL_THRESHOLD = 0.95 # 95% — block tools, force compression
def get_context_usage_percent(self, prompt_tokens: int = None) -> float:
"""Return context usage as a percentage of total context length (0-100)."""
tokens = prompt_tokens if prompt_tokens is not None else self.last_prompt_tokens
if self.context_length <= 0:
return 0.0
return min(100.0, (tokens / self.context_length) * 100)
def get_usage_level(self, prompt_tokens: int = None) -> str:
"""Return the current context pressure level: 'normal', 'warning', 'critical'."""
pct = self.get_context_usage_percent(prompt_tokens) / 100.0
if pct >= self.CRITICAL_THRESHOLD:
return "critical"
elif pct >= self.WARNING_THRESHOLD:
return "warning"
return "normal"
def should_auto_compress(self, prompt_tokens: int = None) -> bool:
"""Check if context exceeds the WARNING threshold (85% of context length).
This is a HARD trigger — unlike should_compress() which uses the
configurable threshold_percent, this always fires at 85% regardless
of configuration. Poka-yoke: don't trust voluntary behavior.
"""
tokens = prompt_tokens if prompt_tokens is not None else self.last_prompt_tokens
warning_tokens = int(self.context_length * self.WARNING_THRESHOLD)
return tokens >= warning_tokens
def should_block_tools(self, prompt_tokens: int = None) -> bool:
"""Check if context exceeds the CRITICAL threshold (95% of context length).
When True, the agent MUST NOT make further tool calls until compression
completes. Poka-yoke: enforce the constraint mechanically.
"""
tokens = prompt_tokens if prompt_tokens is not None else self.last_prompt_tokens
critical_tokens = int(self.context_length * self.CRITICAL_THRESHOLD)
return tokens >= critical_tokens
def get_status(self) -> Dict[str, Any]:
"""Get current compression status for display/logging."""
return {
@@ -146,6 +188,9 @@ class ContextCompressor:
"context_length": self.context_length,
"usage_percent": min(100, (self.last_prompt_tokens / self.context_length * 100)) if self.context_length else 0,
"compression_count": self.compression_count,
"usage_level": self.get_usage_level(),
"warning_threshold_tokens": int(self.context_length * self.WARNING_THRESHOLD),
"critical_threshold_tokens": int(self.context_length * self.CRITICAL_THRESHOLD),
}
# ------------------------------------------------------------------

View File

@@ -32,27 +32,6 @@ _PROVIDER_PREFIXES: frozenset[str] = frozenset({
"glm", "z-ai", "z.ai", "zhipu", "github", "github-copilot",
"github-models", "kimi", "moonshot", "claude", "deep-seek",
"opencode", "zen", "go", "vercel", "kilo", "dashscope", "aliyun", "qwen",
# Additional cloud vendor prefixes (fixes #628)
"cohere", "mistralai", "mistral", "meta-llama", "databricks", "together",
"togetherai", "together-ai", "nousresearch", "moonshotai", "fireworks",
"perplexity", "ai21", "groq", "cerebras", "nebius",
})
# Vendor prefixes that appear in cloud model IDs (e.g. "openai/gpt-4").
# Used by _classify_runtime to detect cloud runtimes from the model name
# when no base URL is available.
_CLOUD_MODEL_PREFIXES: frozenset[str] = frozenset({
# Providers present before #628
"nous", "nousresearch", "openrouter", "anthropic", "openai",
"zai", "kimi", "moonshotai", "gemini", "google", "minimax",
# Providers added by #628 fix
"deepseek", "cohere", "mistralai", "mistral", "meta-llama",
"databricks", "together", "togetherai",
# Other common cloud vendors
"microsoft", "amazon", "huggingface", "fireworks",
"perplexity", "ai21", "groq", "cerebras", "nebius",
"qwen", "alibaba", "aliyuncs", "dashscope",
"github", "copilot",
})
@@ -274,67 +253,6 @@ def is_local_endpoint(base_url: str) -> bool:
return False
# Provider names that are definitively local (never cloud).
_LOCAL_PROVIDER_NAMES: frozenset[str] = frozenset({
"ollama", "custom", "local",
})
# Provider names that are definitively cloud (not local).
_CLOUD_PROVIDER_NAMES: frozenset[str] = frozenset({
"nous", "openrouter", "anthropic", "openai", "openai-codex",
"zai", "kimi-coding", "gemini", "minimax", "minimax-cn",
"deepseek", "cohere", "mistral", "meta-llama", "databricks", "together",
"huggingface", "copilot", "copilot-acp", "ai-gateway", "kilocode",
"alibaba", "opencode-zen", "opencode-go",
})
def _classify_runtime(
model: str = "",
base_url: str = "",
provider: str = "",
) -> str:
"""Classify a model/endpoint runtime as 'cloud' or 'local'.
Checks in priority order:
1. ``base_url`` — localhost / RFC-1918 → ``"local"``; known external URL → ``"cloud"``
2. ``provider`` name — matches a known local or cloud provider set
3. Model vendor prefix — e.g. ``"openai/gpt-4"`` → ``"cloud"``
4. Default — ``"cloud"`` when the runtime cannot be determined to be local
The cloud-prefix list covers both the providers present before issue #628
(nous, openrouter, anthropic, openai, zai, kimi, gemini, minimax) and the
previously missing ones (deepseek, cohere, mistral, meta-llama, databricks,
together).
Returns ``"cloud"`` or ``"local"``.
"""
# 1. URL-based check — most reliable signal
if base_url:
if is_local_endpoint(base_url):
return "local"
return "cloud"
# 2. Provider name check
provider_norm = (provider or "").strip().lower()
if provider_norm in _LOCAL_PROVIDER_NAMES:
return "local"
if provider_norm in _CLOUD_PROVIDER_NAMES:
return "cloud"
# 3. Model vendor prefix check (e.g. "openai/gpt-4" → vendor "openai")
model_norm = (model or "").strip().lower()
if "/" in model_norm:
vendor = model_norm.split("/")[0].strip()
if vendor in _CLOUD_MODEL_PREFIXES:
return "cloud"
# An unknown vendor with a slash is still likely a cloud model
return "cloud"
# 4. Default — without a URL we cannot confirm local, so assume cloud
return "cloud"
def detect_local_server_type(base_url: str) -> Optional[str]:
"""Detect which local server is running at base_url by probing known endpoints.

46
cli.py
View File

@@ -4658,6 +4658,8 @@ def _upload_0x0st(content: str) -> str | None:
self._handle_reasoning_command(cmd_original)
elif canonical == "compress":
self._manual_compress()
elif canonical == "context-status":
self._show_context_status()
elif canonical == "usage":
self._show_usage()
elif canonical == "insights":
@@ -5474,6 +5476,50 @@ def _upload_0x0st(content: str) -> str | None:
except Exception as e:
print(f" ❌ Compression failed: {e}")
def _show_context_status(self):
"""Show context usage, compression history, and remaining budget."""
if not self.agent:
print("(._.) No active agent -- send a message first.")
return
compressor = getattr(self.agent, "context_compressor", None)
if not compressor:
print("(._.) Context compressor not initialized.")
return
status = compressor.get_status()
# Calculate real token usage
from agent.model_metadata import estimate_messages_tokens_rough
real_tokens = status.get("last_prompt_tokens", 0)
if not real_tokens and self.conversation_history:
real_tokens = estimate_messages_tokens_rough(self.conversation_history)
context_length = status.get("context_length", 0)
usage_percent = (real_tokens / context_length * 100) if context_length > 0 else 0
usage_level = status.get("usage_level", "normal")
# Format usage level with emoji
level_emoji = {"normal": "", "warning": "⚠️", "critical": "🔴"}.get(usage_level, "")
print(f"\n📊 Context Status")
print(f" {level_emoji} Status: {usage_level.upper()}")
print(f" Usage: {real_tokens:,} / {context_length:,} tokens ({usage_percent:.1f}%)")
print(f" Compression threshold: {status.get('threshold_tokens', 0):,} tokens ({status.get('threshold_tokens', 0) / context_length * 100:.0f}%)" if context_length else "")
print(f" Warning threshold (85%): {status.get('warning_threshold_tokens', 0):,} tokens")
print(f" Critical threshold (95%): {status.get('critical_threshold_tokens', 0):,} tokens")
print(f" Compressions: {status.get('compression_count', 0)}")
# Progress bar
bar_length = 40
filled = int(bar_length * min(usage_percent, 100) / 100)
bar = "" * filled + "" * (bar_length - filled)
print(f" [{bar}] {usage_percent:.1f}%")
# Remaining budget
remaining = max(0, context_length - real_tokens)
print(f" Remaining: {remaining:,} tokens")
def _show_usage(self):
"""Show cumulative token usage for the current session."""
if not self.agent:

View File

@@ -60,6 +60,8 @@ COMMAND_REGISTRY: list[CommandDef] = [
CommandDef("branch", "Branch the current session (explore a different path)", "Session",
aliases=("fork",), args_hint="[name]"),
CommandDef("compress", "Manually compress conversation context", "Session"),
CommandDef("context-status", "Show context usage, compression history, and remaining budget", "Session",
aliases=("ctx", "context")),
CommandDef("rollback", "List or restore filesystem checkpoints", "Session",
args_hint="[number]"),
CommandDef("stop", "Kill all running background processes", "Session"),

View File

@@ -5931,18 +5931,28 @@ class AIAgent:
if messages and messages[-1].get("_flush_sentinel") == _sentinel:
messages.pop()
def _compress_context(self, messages: list, system_message: str, *, approx_tokens: int = None, task_id: str = "default") -> tuple:
def _compress_context(self, messages: list, system_message: str, *, approx_tokens: int = None, task_id: str = "default", overflow_triggered: bool = False) -> tuple:
"""Compress conversation context and split the session in SQLite.
Returns:
(compressed_messages, new_system_prompt) tuple
"""
_pre_msg_count = len(messages)
logger.info(
"context compression started: session=%s messages=%d tokens=~%s model=%s",
self.session_id or "none", _pre_msg_count,
f"{approx_tokens:,}" if approx_tokens else "unknown", self.model,
)
# Log overflow events separately (#296)
if overflow_triggered:
logger.warning(
"CONTEXT OVERFLOW COMPRESSION: session=%s messages=%d tokens=~%s model=%s "
"reason=overflow_triggered",
self.session_id or "none", _pre_msg_count,
f"{approx_tokens:,}" if approx_tokens else "unknown", self.model,
)
else:
logger.info(
"context compression started: session=%s messages=%d tokens=~%s model=%s",
self.session_id or "none", _pre_msg_count,
f"{approx_tokens:,}" if approx_tokens else "unknown", self.model,
)
# Pre-compression memory flush: let the model save memories before they're lost
self.flush_memories(messages, min_turns=0)
@@ -9001,6 +9011,62 @@ class AIAgent:
self._context_pressure_warned = True
self._emit_context_pressure(_compaction_progress, _compressor)
# ── Poka-yoke: Hard context overflow safeguards (#296) ──────────
_usage_level = _compressor.get_usage_level(_real_tokens)
# Log context overflow events separately
if _usage_level == "critical" and not getattr(self, '_context_critical_logged', False):
self._context_critical_logged = True
logger.warning(
"CONTEXT CRITICAL: %.1f%% of context used (%d/%d tokens). "
"Tool calls BLOCKED until compression completes.",
_compressor.get_context_usage_percent(_real_tokens),
_real_tokens, _compressor.context_length,
)
elif _usage_level == "warning" and not getattr(self, '_context_warning_logged', False):
self._context_warning_logged = True
logger.warning(
"CONTEXT WARNING: %.1f%% of context used (%d/%d tokens). "
"Auto-compression triggered.",
_compressor.get_context_usage_percent(_real_tokens),
_real_tokens, _compressor.context_length,
)
# Reset log flags when context drops below warning
if _usage_level == "normal":
self._context_critical_logged = False
self._context_warning_logged = False
# CRITICAL (95%): Block tool calls — force compression
if self.compression_enabled and _compressor.should_block_tools(_real_tokens):
logger.warning(
"CONTEXT CRITICAL: Blocking tool calls and forcing compression. "
"%.1f%% of context used.",
_compressor.get_context_usage_percent(_real_tokens),
)
messages, active_system_prompt = self._compress_context(
messages, system_message,
approx_tokens=_real_tokens,
task_id=effective_task_id,
)
conversation_history = None
self._session_messages = messages
self._save_session_log(messages)
continue
# WARNING (85%): Auto-compression trigger (hard-coded threshold)
if self.compression_enabled and _compressor.should_auto_compress(_real_tokens):
messages, active_system_prompt = self._compress_context(
messages, system_message,
approx_tokens=_real_tokens,
task_id=effective_task_id,
)
conversation_history = None
self._session_messages = messages
self._save_session_log(messages)
continue
# Standard compression (configurable threshold_percent)
if self.compression_enabled and _compressor.should_compress(_real_tokens):
messages, active_system_prompt = self._compress_context(
messages, system_message,

View File

@@ -7,7 +7,7 @@ terminal access.
"""
import pytest
from agent.model_metadata import is_local_endpoint, _classify_runtime
from agent.model_metadata import is_local_endpoint
class TestIsLocalEndpoint:
@@ -71,98 +71,3 @@ class TestCronDisabledToolsetsLogic:
def test_empty_url_disables_terminal(self):
disabled = self._build_disabled("")
assert "terminal" in disabled
class TestClassifyRuntime:
"""Verify _classify_runtime correctly classifies runtimes as cloud or local.
Covers the bug fixed in #628: missing cloud model prefixes for deepseek,
cohere, mistral, meta-llama, databricks, and together.
"""
# ── URL-based classification ──────────────────────────────────────────
def test_localhost_url_is_local(self):
assert _classify_runtime(base_url="http://localhost:11434/v1") == "local"
def test_127_loopback_is_local(self):
assert _classify_runtime(base_url="http://127.0.0.1:8080/v1") == "local"
def test_rfc1918_is_local(self):
assert _classify_runtime(base_url="http://192.168.1.10:11434/v1") == "local"
def test_openrouter_url_is_cloud(self):
assert _classify_runtime(base_url="https://openrouter.ai/api/v1") == "cloud"
def test_anthropic_url_is_cloud(self):
assert _classify_runtime(base_url="https://api.anthropic.com") == "cloud"
def test_deepseek_url_is_cloud(self):
assert _classify_runtime(base_url="https://api.deepseek.com/v1") == "cloud"
# ── Provider-name classification ──────────────────────────────────────
def test_ollama_provider_is_local(self):
assert _classify_runtime(provider="ollama") == "local"
def test_custom_provider_is_local(self):
assert _classify_runtime(provider="custom") == "local"
def test_openrouter_provider_is_cloud(self):
assert _classify_runtime(provider="openrouter") == "cloud"
def test_nous_provider_is_cloud(self):
assert _classify_runtime(provider="nous") == "cloud"
def test_anthropic_provider_is_cloud(self):
assert _classify_runtime(provider="anthropic") == "cloud"
# ── Previously-missing cloud prefixes (issue #628) ────────────────────
def test_deepseek_model_prefix_is_cloud(self):
assert _classify_runtime(model="deepseek/deepseek-v2") == "cloud"
def test_cohere_model_prefix_is_cloud(self):
assert _classify_runtime(model="cohere/command-r-plus") == "cloud"
def test_mistralai_model_prefix_is_cloud(self):
assert _classify_runtime(model="mistralai/mistral-large-2407") == "cloud"
def test_meta_llama_model_prefix_is_cloud(self):
assert _classify_runtime(model="meta-llama/llama-3.1-70b-instruct") == "cloud"
def test_databricks_model_prefix_is_cloud(self):
assert _classify_runtime(model="databricks/dbrx-instruct") == "cloud"
def test_together_model_prefix_is_cloud(self):
assert _classify_runtime(model="together/together-api-model") == "cloud"
# ── Providers that were already detected before #628 ─────────────────
def test_openai_model_prefix_is_cloud(self):
assert _classify_runtime(model="openai/gpt-4.1") == "cloud"
def test_anthropic_model_prefix_is_cloud(self):
assert _classify_runtime(model="anthropic/claude-opus-4.6") == "cloud"
def test_google_model_prefix_is_cloud(self):
assert _classify_runtime(model="google/gemini-3-pro") == "cloud"
def test_minimax_model_prefix_is_cloud(self):
assert _classify_runtime(model="minimax/minimax-m2.7") == "cloud"
# ── Fallback / edge cases ────────────────────────────────────────────
def test_no_args_defaults_to_cloud(self):
assert _classify_runtime() == "cloud"
def test_empty_strings_default_to_cloud(self):
assert _classify_runtime(model="", base_url="", provider="") == "cloud"
def test_url_takes_priority_over_provider(self):
# Explicit local URL wins even if provider looks like cloud
assert _classify_runtime(model="openai/gpt-4", base_url="http://localhost:11434/v1", provider="openai") == "local"
def test_bare_model_name_without_slash_defaults_to_cloud(self):
# No slash → can't infer vendor → cloud (safe default)
assert _classify_runtime(model="gpt-4o") == "cloud"