L1 reproducer for the failure mode in the wiki failure-modes catalog:
the agent misinterprets the user's statement; the user explicitly
corrects; both the wrong claim (from the agent's misread) and the
corrected claim end up in storage with no supersession marker. End-
state shape resembles time_drift_storage_no_supersession but the
trigger is agent misinterpretation rather than user mind-change, and
the wrong claim is one the user never literally stated.
Setup: user_a clearly scopes their work to extracting a rate-limiter
subsystem from a Python payment-service monolith into a standalone
Go microservice. Assistant misreads as "full payment service
migration to Go." User immediately corrects and reaffirms the narrow
scope. Subsequent turns develop substantive technical content
(gRPC RPCs, Redis token-bucket, Lua atomicity, circuit breaker
trade-offs, testing strategy). The wrong claim never appears in a
user turn -- only in the assistant's misread.
Two-gate structure: positive control asserts the representation
captures the correct-scope work; negative reproducer asserts the
representation does NOT contain the assistant's misinterpretation
(claims about migrating the whole payment service or rewriting the
Python monolith). Both gates start at pass_if=true (invariant); per
verify-first methodology, polarity flips to pass_if=false only after
observed firing on real code.