Livrables

PreuveDepuis le 0.0.28, un agent réel l’a fait. Une exécution native du 2026-09-10 a versé dans un dossier partagé, l’a scellé, et en a composé les trois fichiers ; un lecteur indépendant les a tous les trois rouverts. Ce qui n’a toujours pas eu lieu, c’est une exécution propre : ce lot a été scellé une révision trop tôt, son manifeste nomme la mauvaise version, et le dossier rescellé ensuite venait d’un test de maintenance plutôt que du binaire distribué. Le chemin existe et il a été parcouru ; il ne l’a pas été correctement de bout en bout, et cette page le dira tant que ce ne sera pas le cas.

#Pourquoi un dossier et non trois documents

Un classeur, une présentation et une note composés séparément divergent au premier chiffre corrigé, et personne ne le voit, parce que personne ne recalcule une présentation. Ce ne sont donc pas trois livrables : c’en est un, rendu trois fois. Les trois moteurs lisent le même dossier financier et la même évaluation, ce qui rend la divergence impossible par construction au lieu de la surveiller après coup.

Le dossier ne porte aucun rendu. Aucune couleur, aucune police, aucune adresse de cellule n’y entre. Un agent qui remplit le contrat ne sait pas à quoi le fichier ressemblera, et c’est délibéré : un agent ne rend jamais d’interface, il remplit un contrat, et Deskworth possède la sortie.

#Ce que le contrat refuse

Un dossier est vérifié avant qu’un seul octet n’atteigne le disque. Chaque refus ci-dessous est une erreur nommée dans le cœur, pas un avertissement dans un journal, et chacun existe parce que l’autre terme est une opinion mise en forme de donnée.

#Faits, hypothèses, calculs, sources

• Un fait porte un identifiant, une valeur, une unité, une période, la mention observé ou estimé, et la source qui le tient.
• Une source porte son adresse, sa date de lecture, la période qu’elle couvre, la métrique qui en est tirée et l’unité de cette métrique. La date de lecture est la seule date que Deskworth connaisse avec certitude.
• Une hypothèse porte sa justification. Les scénarios surchargent des hypothèses déclarées, et rien d’autre.
• Un calcul s’écrit dans le langage borné ci-dessous, jamais comme une formule de tableur fournie par le modèle.

#Le langage de calcul borné

Le langage est délibérément pauvre : aucune condition, aucune boucle, aucune fonction que le modèle nommerait lui-même. Seize opérations financières qui se lisent, se vérifient et se traduisent. Un langage riche serait un langage que personne ne relit.

PreuveUnités et périodes sont vérifiées à chaque combinaison. Ajouter des dollars à un pourcentage est une faute qu’aucun tableur ne signale et qui se lit comme un résultat ; ici elle refuse, et dit lesquelles des deux choses n’ont pas pu être additionnées.

#Une expression, deux traductions

Chaque calcul quitte le langage deux fois. En nombre, c’est ce qu’emploient les contrôles, et ce qu’impriment la présentation et la note. Et en formule vivante qui désigne les faits, pour que le classeur tire encore sous les doigts d’un analyste au lieu d’arriver en grille de valeurs figées.

Voilà toute la raison pour laquelle les trois fichiers s’accordent. La présentation ne porte pas de chiffres à elle ; elle porte ceux que le modèle a calculés. Une présentation qui tiendrait des nombres calculés ailleurs dériverait, et la dérive ne serait pas mesurée.

#Le lot les compose tous ou aucun

1. L’agent décrit le dossier une fois et nomme les formats qu’il veut.
2. Les moteurs écrivent dans une zone d’attente, pas dans la salle de données.
3. Chaque fichier écrit est rouvert par un chemin autre que celui qui l’a écrit, et les chiffres qui comptent y sont cherchés, un moteur peut perdre une valeur en sortant, et aucun test unitaire ne l’attrape.
4. Une page de note sans texte est refusée : une note rendue en images ne se cherche pas, ne se cite pas, et ne se vérifie pas par un relecteur.
5. Si tous les formats survivent, ils sont écrits ensemble. Si l’un échoue, il emporte les autres et la salle de données reste propre, un lot à moitié écrit est celui où deux fichiers sur trois finissent joints à un courriel.
6. Un manifeste est scellé à côté : ce qui a été écrit, avec quelle empreinte, depuis quelles sources.

#Un dossier qui devient trois fichiers

Encore manquantDÉMONSTRATION DE MOTEUR, AUCUNE EXÉCUTION D’AGENT ENREGISTRÉE. Ce qui suit est la forme du passage, dérivée du contrat dans le cœur. Ce n’est pas une exécution : aucun agent n’a appelé ces outils, et les moteurs ont été exercés depuis leurs propres tests, avec des sources de jeu d’essai. Aucun chiffre de ces jeux ne paraît sur ce site, ce sont des ordres de grandeur qui prouvent un moteur, pas la lecture d’une société.

DossierFinancier                  un contrat, rempli par l’agent
├── faits          id · valeur · unité · période · observé|estimé · source
├── sources        adresse · lu le · période · métrique · unité
├── hypothèses     valeur · justification
├── calculs        langage borné, unité et période vérifiées
├── scénarios      surcharges d’hypothèses déclarées, rien d’autre
├── contrôles      attendu contre obtenu
└── récit          thèse · risques · limites · manquant

        │ une évaluation, les nombres calculés une fois
        ▼
┌───────────────┬───────────────┬───────────────┐
│  classeur      │  présentation  │  note         │
│  .xlsx         │  .pptx 16:9    │  .pdf A4      │
│  formules      │  valeur écrite │ valeur écrite │
│  vivantes sur  │  de la même    │ de la même    │
│  les faits     │  évaluation    │  évaluation   │
└───────────────┴───────────────┴───────────────┘
        │ chaque fichier rouvert par un autre chemin
        ▼
   lot, les trois ou aucun, plus manifest.json

LimiteAucune vignette de présentation ni aucune page de note n’est montrée ici. Les fichiers d’inspection produits par les tests des moteurs vivent dans un répertoire temporaire et n’ont jamais été scellés dans une banque de preuves, donc il n’y a rien à montrer qui ne serait pas une imitation. Le jour où une banque les portera, cette section les montrera et dira de quelle construction ils viennent.

#Le manifeste, et ce qui y est caviardé

Le manifeste nomme le lot, l’entité, la devise, la date d’arrêté, la version du produit qui l’a écrit, chaque fichier avec sa taille et son empreinte SHA-256, les sources déclarées, les valeurs que le modèle a calculées, les limites et les données manquantes. C’est le fichier qu’on ouvre quand on ne veut pas tout ouvrir.

LimiteLes adresses de sources sont caviardées dans le manifeste. Il voyage avec les fichiers, vers un relecteur, vers une archive, vers un courriel, et une adresse peut porter une clé dans ses paramètres sans que l’agent qui l’a déclarée ne le remarque jamais.

#Ce qui est disponible, et ce qui ne l’est pas

• DISPONIBLEMoteur de classeur (XLSX)Compilé dans la construction, écrit le fichier, le rouvre, et porte des formules vivantes qui désignent les faits déclarés.
• DISPONIBLEMoteur de présentation (PPTX)Compilé dans la construction, en 16:9, sections omises quand le dossier ne porte rien pour elles. macOS ouvre et rend le résultat.
• DISPONIBLEMoteur de note (PDF)Compilé dans la construction, en A4, texte sélectionnable, et une page sans texte est refusée. macOS ouvre et rend le résultat.
• DISPONIBLELot atomique et manifeste scelléLes trois formats ou aucun, avec empreintes et sources caviardées.
• PRÉVUUn agent produisant ces fichiers en exécution réelleCela a eu lieu le 2026-09-10 : quatre analystes ont versé 138 contributions dans un dossier partagé, et trois fichiers ont été composés depuis ce qui a été scellé. La réserve a changé de nature plutôt que de disparaître, le sceau est tombé une révision trop tôt, donc le lot porte 82 de ces contributions et non 138.
• PRÉVURelecture indépendante d’un lot produitLe contrôle de réouverture est écrit par le même projet que les moteurs. Aucun relecteur extérieur n’a ouvert l’un de ces fichiers face à son manifeste.

#Ce qui ferait passer ceci en vérifié

Rien ici n’est noté à l’effort. Une exécution qui produit trois fichiers n’est pas une preuve par elle-même, la preuve est ce que quelqu’un qui n’était pas là peut vérifier après coup. Sept choses doivent exister ensemble, et le rapport 0.0.24 dit qu’aucune n’existe encore 1.

Encore manquantCette liste est la norme, pas une excuse. N’importe laquelle de ces sept choses se produit en un après-midi ; en produire six et appeler le résultat « vérifié » est ce que cette page existe pour empêcher.

#Ce qui limite encore ceci

• Les formats sont une norme internationale publiée, pas une norme privée, mais l’accord de rendu n’est revendiqué que là où il a été vu : macOS a ouvert ces fichiers 4.
• La capacité du classeur est tenue par le rôle comptable, et celles de la présentation, de la note et du lot par le rôle responsable d’opération. Une demande de format convoque le rôle qui le possède, même quand la phrase ne contient aucun mot de ce métier.
• Aucun arbre de délégation n’a produit tout cela : la frontière des sous-agents est écrite, testée, et toujours appelée par rien.