b2ecd3518f
Change-detectors, tautologies, source-reading tests, redundant duplicates, mock-echo tests and dead/unrunnable tests. Per-test rationale in the lane ledger (category + reason for every removal).
54 lines
1.8 KiB
Python
54 lines
1.8 KiB
Python
"""Regression coverage for #35344: a resumed session must not let a stale
|
|
historical task snapshot from an inherited compaction handoff hijack the reply to a
|
|
new, unrelated user message.
|
|
|
|
The failure mode (real report): a lineage was compacted, producing a handoff
|
|
whose historical task snapshot described task A. The lineage was resumed later and
|
|
the user asked about an unrelated task B. The model answered with A because
|
|
the handoff's resume directive outranked the fresh ask.
|
|
|
|
On a resumed lineage the inherited handoff must be detected as a summary
|
|
(state to rehydrate), never re-serialized as a fresh user turn.
|
|
"""
|
|
|
|
from agent.context_compressor import (
|
|
HISTORICAL_TASK_HEADING,
|
|
SUMMARY_PREFIX,
|
|
ContextCompressor,
|
|
)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
def test_inherited_handoff_detected_in_resumed_protected_head():
|
|
"""On a resumed lineage the handoff commonly sits right after the system
|
|
prompt (in the protected head). ``_find_latest_context_summary`` must
|
|
detect it there so re-compaction rehydrates state from it rather than
|
|
serializing it as a fresh user turn (which is what let the stale Active
|
|
Task read as live intent)."""
|
|
messages = [
|
|
{"role": "system", "content": "system prompt"},
|
|
{"role": "user", "content": f"{SUMMARY_PREFIX}\n{HISTORICAL_TASK_HEADING}\nUser asked: 'task A'"},
|
|
{"role": "assistant", "content": "ok"},
|
|
{"role": "user", "content": "Unrelated task B: what's the capital of France?"},
|
|
]
|
|
# Search the whole post-system range.
|
|
idx, body = ContextCompressor._find_latest_context_summary(
|
|
messages, 1, len(messages)
|
|
)
|
|
assert idx == 1, "handoff in protected head must be found"
|
|
assert "task A" in body
|
|
# The detected body is stripped of the prefix (treated as state, not a
|
|
# standalone instruction message).
|
|
assert not body.startswith(SUMMARY_PREFIX)
|
|
|
|
|