L'atelier

Comment le projet se tient : un vocabulaire vérifiable, des tests qui le prouvent, un code découpé en étapes et en modules, et des décisions écrites.

• La précision, mot à motCe que « cadencé au cycle » veut dire chez Phosphoric : l'échelle N1 à N4, le niveau de chaque composant, les mots permis et refusés, et leurs tests.
• Les testsLes tests de Phosphoric : 70 suites et 1 362 vérifications, des oracles externes, un corpus d'écrans, un budget de temps, du fuzzing, trois systèmes en CI.
• L'architecture du codeLe code de Phosphoric : 45 000 lignes de C11, un main() de 32 lignes en étapes nommées, une boucle de trame, un contrat de périphérique, des modules.
• Les décisionsLes six décisions d'architecture écrites de Phosphoric : un seul Makefile, une file de commandes, l'ordre des ticks, la relance, les miroirs FR/EN, les modules.