Checkpoint: compose under contract

The compress fix is a one-condition insight: an element is its run's representative exactly when it differs from its predecessor (or starts the array). You combined adjacency reasoning with accumulation — the same shape as exam questions that ask you to merge, deduplicate, or summarize. Next module: the same discipline applied to method specifications with helpers.