Partial compaction now preserves thinking-stripped markers across the summary boundary

When partial compaction starts from a point in the transcript where earlier assistant thinking content had already been stripped, the compaction logic now inserts a synthetic thinking_stripped attachment marker so the summary boundary correctly reflects that stripped state. The set of thinking-stripped responses is also passed into the summarization call.