lemmaly — Algorithm-First Proof The model already knows Big-O, hash tables, divide-and-conquer, dynamic programming, sorting, graph algorithms, and amortized analysis. It just does not apply them spontaneously. lemmaly fixes the behavior, not the knowledge. This skill is the gateway for an algorithm-discipline suite of four skills ( , , , ). It enforces the hard rules that every other guard in the suite assumes. Violating the letter of these rules is violating the spirit of the skill. "Just this once" is how O(n²) ships to production. When to Use This Skill Use lemmaly when: - Writing, editin…