Trois membres de DrawCap n'étaient pas documentés (DoD §5) : source, bornePhase()
et borneTotal(). ci-quality les a signalés ; je les ai vus APRÈS avoir commité et
poussé, en ayant lancé le contrôle dans une commande où son verdict passait sous
la sortie du push.
Le contrôle a fait son travail, pas moi : je l'ai regardé trop tard. C'est
exactement l'écart que la section « ce qui tient et ce qui s'érode » décrit — la
machine rejouait bien la règle, c'est la lecture du résultat qui a manqué.
La documentation ajoutée dit aussi la règle du signe, qui n'était écrite que dans
l'invariant de la structure : une valeur négative signifie « ce plafond ne borne
pas de cette façon », jamais « zéro watt autorisé » — zéro est une valeur licite
et voudrait dire interdiction totale de soutirer.
Co-Authored-By: Claude Opus 5 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_015F7G5VeaPVSMeVNjiGj36p
e1c1030d6f