The operating challenge
A rewritten summary can gradually drop or paraphrase the facts and instructions the next step depends on.
The design choices
Record commands, exit codes, files, and workspace facts with code. Ask the model for a small structured diff, then validate quotes and evidence references before accepting it. Bound the state and retrieve retired detail from the transcript.
How I check the result
A published synthetic-session evaluation compares chained compactions on the same model and transcripts. It measures retained rules and values, cost, and weak spots; broader model performance remains a separate question.
What this demonstrates
AI-assisted delivery guided by engineering judgment: separate observable facts from interpretation, verify the evidence, and measure the trade-offs.