specification

Tu módulo tiene tres capas. Probablemente solo escribiste una.

Las Box Structures te obligan a definir qué hace un módulo, qué recuerda y cómo funciona como tres capas separadas y verificables. Así es como Cleanroom elimina el debugging.