loopy-composelisted

# Loopy Compose Use this skill to apply the Loopy counterexample loop to code structure. Loopy Compose is Loopy applied to code structure. It finds one structural counterexample, recomposes one conceptual boundary, checks behavior and structure, then repeats only while another important in-scope structure counterexample remains. ```text Target -> Counterexample -> Change -> Check -> Decision -> Next ``` ## Invocation Contract When invoked, start by establishing a compact Done Contract before recomposing structure. Do not mark `done` until the structure Done Gate has run: 1. name the chosen boundary; 2. name one real competing in-scope boundary; 3. name the strongest remaining structural counterexample; 4. test whether the competing boundary or counterexample changes the result; 5. either repeat, or explain why the chosen boundary still owns the concept more clearly. ## Done Contract Before analyzing the target structure, establish a Done Contract. The contract must name: - `Target`: what the structure should make clearer and what concept or behavior must not be lost; - `Non-goals`: behavior, topology, or unrelated cleanup that should not change; - `Checks`: behavior checks and structure checks; - `Counterexamples`: structure failures that would force another loop; - `Stop condition`: what proves no important in-scope structure counterexample remains. Keep it compact, but do not start recomposing until the contract is clear enough to test. ## Verification Policy