Un moteur XLSX qui rouvre ce qu’il a écrit
Écrire un tableur ne coûte rien. Prouver que ce qu’on a écrit est un tableur demande une seconde bibliothèque.
Un tableur est une archive zip de fragments XML sous une norme internationale publiée 2. Produire des octets qu’une bibliothèque accepte n’est pas produire un fichier qui s’ouvre.
#Deux bibliothèques, et c’est voulu
Une caisse écrit, une autre relit. Si une seule bibliothèque faisait les deux, un défaut qu’elle partage avec elle-même ne remonterait jamais : le fichier malformé qu’elle a produit se validerait sous les hypothèses qui l’ont produit. Le chemin d’écriture rend une empreinte, nombre d’octets, SHA-256, nombre de feuilles, de faits, de contrôles, et un fichier qui ne se rouvre pas est supprimé plutôt que livré.
#Des formules, pas des valeurs
Les feuilles Sortie et Contrôles portent de vraies formules : elles somment la plage du modèle, prennent l’écart avec le chiffre attendu, protègent la division et comparent à une tolérance. Un classeur de valeurs recopiées est une capture d’écran avec une extension de fichier.
#Aucun moteur d’exécution, aucune suite bureautique
Rien n’est délégué à un shell. Ni Node, ni Python, ni LibreOffice, ni Excel ne sont nécessaires pour créer ou valider un livrable. L’empreinte de dépendances tient en deux caisses, toutes deux sous licence permissive, et un audit n’en signale aucune inutilisée.
LimiteLa chaîne est complète et testée. Elle n’a jamais été déclenchée par un agent en session réelle, et tant que cela n’arrive pas le moteur n’est pas déclaré livré 1.
#Sources
- Deskworth OS, handover report 0.0.22DeskworthDocument interne, non publié
- ISO/IEC 29500, Office Open XML File FormatsISO/IEChttps://www.iso.org/standard/71691.html
Read next
- LivrablesCe qu’un mandat peut rendre aujourd’hui, ce qui est écrit sans avoir jamais été produit par un agent, et ce qui n’existe pas du tout.
- Faits, hypothèses et calculs sont trois choses différentesUn modèle les mélange par défaut. Un tableur bâti par un analyste les tient séparés, et c’est ce qui le rend auditable un an plus tard.