mirror of
https://github.com/rennf93/roboco.git
synced 2026-08-03 07:23:24 +02:00
flow_server/do_server: the non-404 JSON path returned exception-handler bodies raw (dict `error` from roboco/generic/http exception handlers, or a 422 `detail` list) — neither is the Envelope wire format the agent is prompted to trust (string error kind + message + remediate + missing), so on any service/validation failure the agent got no remediate and flailed until the breaker tripped. _normalize_exception_envelope lifts the body into a real Envelope (code -> counted string kind via _classify_dict_error_code, NOT_FOUND -> not_found, message lifted, remediate synthesized, missing=[]; 422 -> incomplete_input with the validation detail preserved). The synthesized envelope still flows through the breaker so a 500/422 storm trips it. _record_and_check_circuit: the circuit_open substitution dropped task_id / correlation_id from the top level (the SDK's envelope omits them); lift them from the original rejection so the agent's envelope contract and ops audit-join of the trip event still work, not just nested in inner. intake_server._post_event: capture the relay response body under `detail` on non-success so the grok intake agent gets the real reason (e.g. 'session not in MegaTask scope' on a 422) instead of an opaque http_422 token with no remediation. TDD red->green; ruff + mypy clean; 157 mcp/SDK-breaker tests pass.
802 lines
29 KiB
Python
802 lines
29 KiB
Python
"""flow_server wires gateway rejections into the SDK per-verb circuit breaker.
|
|
|
|
Phase 3 Task 14 added the SDK-side tracker (POST /verb/attempted,
|
|
GET /verb/circuit_status, Envelope.circuit_open). This module verifies
|
|
the *missing wiring*: rejection envelopes from the gateway must be
|
|
forwarded to the SDK, and when the breaker opens the rejection must be
|
|
substituted with the circuit_open envelope before reaching the agent.
|
|
|
|
The tests stub the orchestrator's httpx.Client (path '/api/v1/flow/...')
|
|
and the SDK's httpx.Client (path '/verb/attempted') so the helper can
|
|
be exercised end-to-end without a real network. We pick which mock to
|
|
return by inspecting the URL the code under test is hitting.
|
|
"""
|
|
|
|
from __future__ import annotations
|
|
|
|
import importlib
|
|
import json
|
|
from typing import TYPE_CHECKING, Any
|
|
from unittest.mock import MagicMock, patch
|
|
|
|
import pytest
|
|
|
|
if TYPE_CHECKING:
|
|
import types
|
|
from pathlib import Path
|
|
|
|
|
|
_FULL_MANIFEST = {
|
|
"agent_id": "00000000-0000-0000-0000-000000000099",
|
|
"role": "developer",
|
|
"team": "backend",
|
|
"workspace_path": "/tmp/test",
|
|
"flow_tools": [
|
|
"give_me_work",
|
|
"i_will_work_on",
|
|
"open_pr",
|
|
"i_am_done",
|
|
"i_am_blocked",
|
|
"unclaim",
|
|
"resume",
|
|
"i_am_idle",
|
|
"claim_review",
|
|
"pass",
|
|
"fail",
|
|
"claim_doc_task",
|
|
"i_documented",
|
|
"triage",
|
|
"triage_all",
|
|
"unblock",
|
|
"complete",
|
|
"escalate_up",
|
|
"i_will_plan",
|
|
"delegate",
|
|
"submit_up",
|
|
"escalate_to_ceo",
|
|
],
|
|
"do_tools": ["commit", "note", "say", "dm", "evidence"],
|
|
"read_tools": ["Read", "Glob", "Grep"],
|
|
"write_tools": ["Edit", "Write"],
|
|
"bash_allowed": True,
|
|
"subagent_allowed": False,
|
|
"subagent_model": None,
|
|
"env": {},
|
|
}
|
|
|
|
|
|
@pytest.fixture()
|
|
def flow_module(monkeypatch: pytest.MonkeyPatch, tmp_path: Path) -> types.ModuleType:
|
|
"""Import flow_server with a tmp manifest + known orchestrator/SDK URLs."""
|
|
manifest_path = tmp_path / "tool-manifest.json"
|
|
manifest_path.write_text(json.dumps(_FULL_MANIFEST))
|
|
|
|
monkeypatch.setenv("ROBOCO_AGENT_ID", "00000000-0000-0000-0000-000000000099")
|
|
monkeypatch.setenv("ROBOCO_AGENT_ROLE", "developer")
|
|
monkeypatch.setenv("ROBOCO_ORCHESTRATOR_URL", "http://test-orchestrator:8000")
|
|
monkeypatch.setenv("ROBOCO_SDK_URL", "http://test-sdk:9000")
|
|
monkeypatch.setenv("ROBOCO_TOOL_MANIFEST_PATH", str(manifest_path))
|
|
|
|
import roboco.mcp.flow_server as srv
|
|
|
|
importlib.reload(srv)
|
|
return srv
|
|
|
|
|
|
def _make_client(
|
|
orchestrator_response: dict[str, Any], sdk_response: dict[str, Any] | None
|
|
) -> Any:
|
|
"""Build an httpx.Client mock that dispatches by destination URL.
|
|
|
|
Calls hitting ``test-orchestrator`` return ``orchestrator_response``;
|
|
calls hitting ``test-sdk`` return ``sdk_response``. The mock also
|
|
records every URL+body it sees so assertions can verify the SDK was
|
|
(or wasn't) called.
|
|
"""
|
|
captured: list[tuple[str, dict[str, Any] | None]] = []
|
|
|
|
def _client_factory(*_args: Any, **_kwargs: Any) -> MagicMock:
|
|
client = MagicMock()
|
|
client.__enter__ = MagicMock(return_value=client)
|
|
client.__exit__ = MagicMock(return_value=False)
|
|
|
|
def _post(url: str, **kwargs: Any) -> MagicMock:
|
|
captured.append((url, kwargs.get("json")))
|
|
resp = MagicMock()
|
|
if "test-sdk" in url:
|
|
if sdk_response is None:
|
|
raise AssertionError("SDK called unexpectedly")
|
|
resp.json.return_value = sdk_response
|
|
else:
|
|
resp.json.return_value = orchestrator_response
|
|
return resp
|
|
|
|
client.post.side_effect = _post
|
|
return client
|
|
|
|
return _client_factory, captured
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# Successful envelope — SDK must NOT be called
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_ok_envelope_does_not_touch_sdk(flow_module: types.ModuleType) -> None:
|
|
"""An envelope with error=None never POSTs to /verb/attempted."""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={
|
|
"status": "awaiting_qa",
|
|
"task_id": "task-A",
|
|
"next": "wait",
|
|
"error": None,
|
|
},
|
|
sdk_response=None, # blow up if SDK is called
|
|
)
|
|
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A", notes="done")
|
|
|
|
assert result["status"] == "awaiting_qa"
|
|
assert result["error"] is None
|
|
# Only the orchestrator was contacted.
|
|
assert all("test-sdk" not in url for url, _ in captured)
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# Rejection envelope — SDK gets the verb + task_id + rejection_kind
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_rejection_forwards_to_sdk(flow_module: types.ModuleType) -> None:
|
|
"""A tracing_gap envelope triggers POST /verb/attempted with the right keys."""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={
|
|
"error": "tracing_gap",
|
|
"missing": ["pr_number"],
|
|
"remediate": "open the PR",
|
|
},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 1,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
},
|
|
)
|
|
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A", notes="done")
|
|
|
|
# Original rejection survives — breaker is not yet open.
|
|
assert result["error"] == "tracing_gap"
|
|
# Check the SDK saw the right payload.
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
sdk_url, sdk_body = sdk_calls[0]
|
|
assert sdk_url.endswith("/verb/attempted")
|
|
assert sdk_body == {
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"rejection_kind": "tracing_gap",
|
|
}
|
|
|
|
|
|
@pytest.mark.parametrize(
|
|
"rejection_kind",
|
|
["tracing_gap", "invalid_state", "not_authorized", "incomplete_input"],
|
|
)
|
|
def test_all_counted_rejection_kinds_forwarded(
|
|
flow_module: types.ModuleType, rejection_kind: str
|
|
) -> None:
|
|
"""All four counted error kinds forward to the SDK."""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={
|
|
"error": rejection_kind,
|
|
"message": "no",
|
|
"remediate": "fix",
|
|
},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 1,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
},
|
|
)
|
|
|
|
with patch("httpx.Client", side_effect=factory):
|
|
flow_module.i_am_done("task-A")
|
|
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
_, sdk_body = sdk_calls[0]
|
|
assert sdk_body["rejection_kind"] == rejection_kind
|
|
|
|
|
|
def test_other_error_kinds_do_not_touch_sdk(flow_module: types.ModuleType) -> None:
|
|
"""not_found / transport_error aren't counted — SDK is not called."""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={"error": "not_found", "message": "no task"},
|
|
sdk_response=None,
|
|
)
|
|
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
|
|
assert result["error"] == "not_found"
|
|
assert all("test-sdk" not in url for url, _ in captured)
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# Breaker open — envelope substituted with circuit_open
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_breaker_open_substitutes_envelope(flow_module: types.ModuleType) -> None:
|
|
"""When SDK reports open=true, the agent gets the circuit_open envelope."""
|
|
circuit_env: dict[str, Any] = {
|
|
"error": "circuit_open",
|
|
"message": ("verb 'i_am_done' rejected 3 times in last 60s — breaker open"),
|
|
"remediate": "call i_am_blocked or i_am_idle",
|
|
"context_briefing": {},
|
|
"status": None,
|
|
"task_id": None,
|
|
"next": None,
|
|
"evidence": {},
|
|
"correlation_id": None,
|
|
"current_state": None,
|
|
"valid_next_verbs": None,
|
|
}
|
|
factory, _ = _make_client(
|
|
orchestrator_response={"error": "tracing_gap", "remediate": "x"},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 3,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": True,
|
|
"circuit_envelope": circuit_env,
|
|
},
|
|
)
|
|
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
|
|
# The top-level envelope is the circuit_open substitution; the original
|
|
# fixable rejection is preserved nested as ``inner`` (#60).
|
|
assert result["error"] == "circuit_open"
|
|
assert "i_am_blocked" in result["remediate"]
|
|
assert result["inner"]["error"] == "tracing_gap"
|
|
assert result["inner"]["remediate"] == "x"
|
|
|
|
|
|
def test_breaker_open_preserves_original_as_inner(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""#60: the breaker substitution must not erase the fixable rejection.
|
|
|
|
The agent still needs the original kind/message/remediate to understand
|
|
WHY the verb failed — the circuit_open envelope only says the breaker
|
|
tripped. The original rejection is nested under ``inner``.
|
|
"""
|
|
circuit_env: dict[str, Any] = {
|
|
"error": "circuit_open",
|
|
"message": "verb 'i_am_done' rejected 3 times in 60s — breaker open",
|
|
"remediate": "call i_am_blocked or i_am_idle",
|
|
}
|
|
original = {
|
|
"error": "not_authorized",
|
|
"message": "you may not merge that PR",
|
|
"remediate": "PMs delegate; use delegate(...)",
|
|
"missing": [],
|
|
}
|
|
factory, _ = _make_client(
|
|
orchestrator_response=original,
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 3,
|
|
"limit": 3,
|
|
"open": True,
|
|
"circuit_envelope": circuit_env,
|
|
},
|
|
)
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
|
|
assert result["error"] == "circuit_open"
|
|
# The original fixable rejection survives nested, not erased.
|
|
assert result["inner"] == original
|
|
# The SDK's envelope dict is not mutated in place (a fresh copy carries
|
|
# ``inner``) — important when the SDK reuses the envelope across calls.
|
|
assert "inner" not in circuit_env
|
|
|
|
|
|
def test_fourth_rejection_returns_circuit_open(flow_module: types.ModuleType) -> None:
|
|
"""Hitting the cap on the Nth call yields circuit_open on that same call.
|
|
|
|
The SDK records the attempt FIRST and reports open=true on the
|
|
response that just pushed it over the threshold — so the call that
|
|
trips the breaker is also the call that sees the substitution.
|
|
"""
|
|
# On the trip call the SDK reports open=true with the envelope.
|
|
circuit_env: dict[str, Any] = {
|
|
"error": "circuit_open",
|
|
"message": ("verb 'i_am_done' rejected 3 times in last 60s — breaker open"),
|
|
"remediate": "call i_am_blocked(reason='...') or i_am_idle()",
|
|
"context_briefing": {},
|
|
"status": None,
|
|
"task_id": None,
|
|
"next": None,
|
|
"evidence": {},
|
|
"correlation_id": None,
|
|
"current_state": None,
|
|
"valid_next_verbs": None,
|
|
}
|
|
factory, captured = _make_client(
|
|
orchestrator_response={"error": "tracing_gap", "remediate": "x"},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 3,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": True,
|
|
"circuit_envelope": circuit_env,
|
|
},
|
|
)
|
|
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
|
|
# Substituted envelope shown to the agent.
|
|
assert result["error"] == "circuit_open"
|
|
# Both calls happened: orchestrator (the verb) then SDK (record).
|
|
urls = [url for url, _ in captured]
|
|
assert any("test-orchestrator" in u for u in urls)
|
|
assert any("test-sdk" in u for u in urls)
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# Fail-open behaviour — SDK down must not break the gateway path
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_sdk_unreachable_fails_open(flow_module: types.ModuleType) -> None:
|
|
"""If the SDK raises, the agent still sees the original rejection."""
|
|
import httpx
|
|
|
|
def _client_factory(*_args: Any, **_kwargs: Any) -> MagicMock:
|
|
client = MagicMock()
|
|
client.__enter__ = MagicMock(return_value=client)
|
|
client.__exit__ = MagicMock(return_value=False)
|
|
|
|
def _post(url: str, **_kwargs: Any) -> MagicMock:
|
|
if "test-sdk" in url:
|
|
raise httpx.ConnectError("SDK down")
|
|
resp = MagicMock()
|
|
resp.json.return_value = {
|
|
"error": "tracing_gap",
|
|
"missing": ["pr_number"],
|
|
"remediate": "open the PR first",
|
|
}
|
|
return resp
|
|
|
|
client.post.side_effect = _post
|
|
return client
|
|
|
|
with patch("httpx.Client", side_effect=_client_factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
|
|
# SDK was unreachable — original envelope passes through.
|
|
assert result["error"] == "tracing_gap"
|
|
assert result["remediate"] == "open the PR first"
|
|
|
|
|
|
def test_sdk_returns_malformed_json_fails_open(flow_module: types.ModuleType) -> None:
|
|
"""If the SDK responds with un-JSON-able body, the original envelope wins."""
|
|
|
|
def _client_factory(*_args: Any, **_kwargs: Any) -> MagicMock:
|
|
client = MagicMock()
|
|
client.__enter__ = MagicMock(return_value=client)
|
|
client.__exit__ = MagicMock(return_value=False)
|
|
|
|
def _post(url: str, **_kwargs: Any) -> MagicMock:
|
|
resp = MagicMock()
|
|
if "test-sdk" in url:
|
|
resp.json.side_effect = ValueError("not json")
|
|
else:
|
|
resp.json.return_value = {
|
|
"error": "invalid_state",
|
|
"message": "wrong state",
|
|
"remediate": "transition first",
|
|
}
|
|
return resp
|
|
|
|
client.post.side_effect = _post
|
|
return client
|
|
|
|
with patch("httpx.Client", side_effect=_client_factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
|
|
assert result["error"] == "invalid_state"
|
|
assert result["message"] == "wrong state"
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# Verb extraction
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_verb_from_path_extracts_last_segment(flow_module: types.ModuleType) -> None:
|
|
"""_verb_from_path strips the role prefix and returns the verb token."""
|
|
assert (
|
|
flow_module._verb_from_path("/api/v1/flow/developer/i_am_done") == "i_am_done"
|
|
)
|
|
assert flow_module._verb_from_path("/api/v1/flow/qa/pass") == "pass"
|
|
assert (
|
|
flow_module._verb_from_path("/api/v1/flow/board/escalate_to_ceo")
|
|
== "escalate_to_ceo"
|
|
)
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# task_id pass-through
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_task_id_none_is_forwarded_as_null(flow_module: types.ModuleType) -> None:
|
|
"""Verbs without a task_id (e.g. give_me_work) post task_id=None to the SDK."""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={"error": "tracing_gap", "remediate": "x"},
|
|
sdk_response={
|
|
"verb": "give_me_work",
|
|
"task_id": None,
|
|
"attempts": 1,
|
|
"limit": None, # unlimited verb
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
},
|
|
)
|
|
|
|
with patch("httpx.Client", side_effect=factory):
|
|
flow_module.give_me_work()
|
|
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
_, sdk_body = sdk_calls[0]
|
|
assert sdk_body["task_id"] is None
|
|
assert sdk_body["verb"] == "give_me_work"
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# Non-string-error / no-error-field rejection shapes are counted
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_422_validation_failure_counts_as_incomplete_input(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""A 422 validation-failure body (`{"detail": [...]}`, no `error`) must count
|
|
toward the breaker as `incomplete_input` — a storm of 422s is retry-storm-worthy.
|
|
Mirrors do_server's classifier (the two servers share the same breaker logic).
|
|
"""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={
|
|
"detail": [
|
|
{
|
|
"loc": ["body", "task_id"],
|
|
"msg": "field required",
|
|
"type": "value_error.missing",
|
|
}
|
|
],
|
|
"body": None,
|
|
},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 1,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
},
|
|
)
|
|
with patch("httpx.Client", side_effect=factory):
|
|
flow_module.i_am_done("task-A")
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
assert sdk_calls[0][1]["rejection_kind"] == "incomplete_input"
|
|
|
|
|
|
def test_dict_shaped_internal_error_counts_as_invalid_state(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""A 500 INTERNAL_ERROR dict-shaped response (generic_exception_handler) counts
|
|
as `invalid_state` — a storm of 500s is retry-storm-worthy.
|
|
"""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={
|
|
"error": {
|
|
"code": "INTERNAL_ERROR",
|
|
"message": "An internal error occurred",
|
|
"details": {"correlation_id": "abc"},
|
|
}
|
|
},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 1,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
},
|
|
)
|
|
with patch("httpx.Client", side_effect=factory):
|
|
flow_module.i_am_done("task-A")
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
assert sdk_calls[0][1]["rejection_kind"] == "invalid_state"
|
|
|
|
|
|
def test_dict_shaped_not_found_normalized_to_envelope_and_not_counted(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""A dict-shaped NOT_FOUND (404 family) is normalized to an Envelope
|
|
(`error="not_found"` string + lifted message + remediate) — the agent
|
|
never sees a dict `error`, which violates the Envelope wire format — and
|
|
the breaker is NOT touched (parity with the string `not_found` contract).
|
|
"""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={
|
|
"error": {"code": "TASK_NOT_FOUND", "message": "no such task"}
|
|
},
|
|
sdk_response=None, # SDK must not be touched
|
|
)
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
# Normalized to a string-kind Envelope — the dict `error` never reaches
|
|
# the agent (#232).
|
|
assert result["error"] == "not_found"
|
|
assert result["message"] == "no such task"
|
|
assert isinstance(result["remediate"], str) and result["remediate"]
|
|
assert result["missing"] == []
|
|
# NOT_FOUND still does not count toward the breaker.
|
|
assert all("test-sdk" not in url for url, _ in captured)
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# A manifest-registered verb whose route is missing must return an envelope
|
|
# rejection (not a raw 404 body) so the breaker counts it.
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def _make_404_client() -> tuple[Any, list[tuple[str, dict[str, Any] | None]]]:
|
|
"""Build an httpx.Client mock whose orchestrator call returns FastAPI's
|
|
default 404 body (``{"detail": "Not Found"}``, status 404) — the shape a
|
|
manifest-registered verb sees when its route is missing. The SDK call
|
|
returns a not-yet-open breaker so the original envelope is preserved.
|
|
"""
|
|
captured: list[tuple[str, dict[str, Any] | None]] = []
|
|
|
|
def _client_factory(*_args: Any, **_kwargs: Any) -> MagicMock:
|
|
client = MagicMock()
|
|
client.__enter__ = MagicMock(return_value=client)
|
|
client.__exit__ = MagicMock(return_value=False)
|
|
|
|
def _post(url: str, **kwargs: Any) -> MagicMock:
|
|
captured.append((url, kwargs.get("json")))
|
|
resp = MagicMock()
|
|
if "test-sdk" in url:
|
|
resp.json.return_value = {
|
|
"verb": "triage",
|
|
"task_id": None,
|
|
"attempts": 1,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
}
|
|
else:
|
|
# FastAPI's default 404 for a missing route.
|
|
resp.status_code = 404
|
|
resp.json.return_value = {"detail": "Not Found"}
|
|
return resp
|
|
|
|
client.post.side_effect = _post
|
|
return client
|
|
|
|
return _client_factory, captured
|
|
|
|
|
|
def test_missing_route_404_returns_envelope_and_counts(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""A 404 from the orchestrator (manifest-registered verb with no route) must
|
|
surface as a proper `invalid_state` Envelope rejection — not FastAPI's raw
|
|
``{"detail": "Not Found"}`` body — and the breaker must count it.
|
|
"""
|
|
factory, captured = _make_404_client()
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.triage()
|
|
# Envelope rejection, not the raw 404 body.
|
|
assert result["error"] == "invalid_state"
|
|
assert "remediate" in result
|
|
assert "detail" not in result # the raw 404 body was not passed through
|
|
# Breaker was notified so a storm of these trips it.
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
_, sdk_body = sdk_calls[0]
|
|
assert sdk_body is not None
|
|
assert sdk_body["rejection_kind"] == "invalid_state"
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# #232: a non-404 JSON exception-handler body (dict `error` / 422 `detail`)
|
|
# must be normalized to an Envelope wire format before reaching the agent.
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_exception_dict_500_normalized_to_invalid_state_envelope(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""A 500 with a dict-shaped error (generic_exception_handler) is normalized
|
|
to an Envelope: top-level `error='invalid_state'` (string kind), the dict's
|
|
`message` lifted to top-level `message`, a non-empty `remediate`, `missing=[]`.
|
|
The agent never receives a dict `error` (which violates the Envelope contract
|
|
it's prompted to trust). The breaker still counts it as `invalid_state`."""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={
|
|
"error": {
|
|
"code": "INTERNAL_ERROR",
|
|
"message": "An internal error occurred",
|
|
"details": {"correlation_id": "abc"},
|
|
}
|
|
},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 1,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
},
|
|
)
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
assert result["error"] == "invalid_state"
|
|
assert result["message"] == "An internal error occurred"
|
|
assert isinstance(result["remediate"], str) and result["remediate"]
|
|
assert result["missing"] == []
|
|
# The synthesized Envelope still flows through the breaker (string kind in
|
|
# the counted set) so a 500 storm trips it.
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
assert sdk_calls[0][1]["rejection_kind"] == "invalid_state"
|
|
|
|
|
|
def test_422_detail_normalized_to_incomplete_input_envelope(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""A 422 request-validation body (`{"detail": [...]}`, no `error`) is
|
|
normalized to an Envelope with `error='incomplete_input'`, a non-empty
|
|
`remediate`, and `missing=[]`; the raw validation `detail` is preserved so
|
|
the agent can see WHICH fields failed. The breaker still counts it."""
|
|
detail_body = [
|
|
{"loc": ["body", "task_id"], "msg": "field required", "type": "missing"}
|
|
]
|
|
factory, captured = _make_client(
|
|
orchestrator_response={"detail": detail_body, "body": None},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 1,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
},
|
|
)
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
assert result["error"] == "incomplete_input"
|
|
assert isinstance(result["remediate"], str) and result["remediate"]
|
|
assert result["missing"] == []
|
|
# The validation detail survives so the agent knows which fields to fix.
|
|
assert result["detail"] == detail_body
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
assert sdk_calls[0][1]["rejection_kind"] == "incomplete_input"
|
|
|
|
|
|
def test_dict_authorized_normalized_to_not_authorized_envelope(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""A dict-shaped PERMISSION_DENIED maps to `error='not_authorized'` in the
|
|
normalized Envelope (exact-code map, not a substring accident — #161), with
|
|
the message lifted and a remediate. The breaker counts it as not_authorized."""
|
|
factory, captured = _make_client(
|
|
orchestrator_response={
|
|
"error": {
|
|
"code": "PERMISSION_DENIED",
|
|
"message": "you may not merge that PR",
|
|
"details": {},
|
|
}
|
|
},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "task-A",
|
|
"attempts": 1,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": False,
|
|
"circuit_envelope": None,
|
|
},
|
|
)
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
assert result["error"] == "not_authorized"
|
|
assert result["message"] == "you may not merge that PR"
|
|
assert isinstance(result["remediate"], str) and result["remediate"]
|
|
assert result["missing"] == []
|
|
sdk_calls = [(url, body) for url, body in captured if "test-sdk" in url]
|
|
assert len(sdk_calls) == 1
|
|
assert sdk_calls[0][1]["rejection_kind"] == "not_authorized"
|
|
|
|
|
|
# ---------------------------------------------------------------------------
|
|
# #359: the circuit_open substitution lifts task_id/correlation_id from the
|
|
# original rejection to the top-level envelope (the SDK's envelope omits them).
|
|
# ---------------------------------------------------------------------------
|
|
|
|
|
|
def test_circuit_open_lifts_task_id_and_correlation_id(
|
|
flow_module: types.ModuleType,
|
|
) -> None:
|
|
"""When the breaker trips, the SDK's circuit_envelope carries no task_id /
|
|
correlation_id, but the original rejection payload does (the orchestrator
|
|
stamps them on every envelope). The substitution must lift them to the
|
|
top-level so the agent's envelope contract (read top-level task_id /
|
|
correlation_id) and ops audit-join still work — not leave them only nested
|
|
in `inner`."""
|
|
circuit_env: dict[str, Any] = {
|
|
"error": "circuit_open",
|
|
"message": "verb 'i_am_done' rejected 3 times in 60s — breaker open",
|
|
"remediate": "call i_am_blocked or i_am_idle",
|
|
}
|
|
factory, _ = _make_client(
|
|
orchestrator_response={
|
|
"error": "tracing_gap",
|
|
"remediate": "open the PR",
|
|
"task_id": "T1",
|
|
"correlation_id": "C1",
|
|
},
|
|
sdk_response={
|
|
"verb": "i_am_done",
|
|
"task_id": "T1",
|
|
"attempts": 3,
|
|
"limit": 3,
|
|
"window_seconds": 60,
|
|
"open": True,
|
|
"circuit_envelope": circuit_env,
|
|
},
|
|
)
|
|
with patch("httpx.Client", side_effect=factory):
|
|
result = flow_module.i_am_done("task-A")
|
|
assert result["error"] == "circuit_open"
|
|
# Lifted from the original rejection to the top level (not just in inner).
|
|
assert result["task_id"] == "T1"
|
|
assert result["correlation_id"] == "C1"
|
|
# The original rejection still survives nested.
|
|
assert result["inner"]["error"] == "tracing_gap"
|
|
assert result["inner"]["task_id"] == "T1"
|