Dénombrable, et la logique d’une décision
3. Dénombrable et non dénombrable
Section titled “3. Dénombrable et non dénombrable”Un exemple. Deux questions posées à SHARED_LIB.
- « Combien d’appels ont été retenus aujourd’hui, et combien m’attendent ? » — La réponse tient en deux nombres : 3 et 1.
- « Est-ce que tout est sûr ? » — Il n’existe pas de nombre pour sûr.
La première question est dénombrable : sa réponse peut être comptée, listée ou désignée. La seconde est non dénombrable : aucun compte, aucune liste, aucune chose unique n’y répond.
Pourquoi c’est important. Tout ce que Perun sait, il le sait sous la forme de quelque chose qu’il peut compter ou désigner : des décisions, des appels retenus, des sources, des unités, une heure de trafic, un theta. Une question dénombrable reçoit une réponse exacte. Une question non dénombrable reçoit soit une liste de ce qui peut être compté, soit une proposition polie de questions auxquelles SHARED_LIB peut répondre — et vous avez passé du temps sans rien apprendre.
Des limites dénombrables. Quand vous fixez une limite, fixez un nombre : « au plus 200 caractères de notre prompt système peuvent jamais sortir », « l’outil de fichiers peut toucher ces deux dossiers ». « Pas trop » et « seulement quand c’est approprié » ne peuvent être vérifiés par personne, donc ils ne protègent rien.
Une question non dénombrable, ça va. Il arrive à tout le monde de penser en grands mots. Perun autorise une question non dénombrable sur dix. C’est l’habitude d’en poser qui détourne un opérateur de sa mission.
| Non dénombrable | Dénombrable |
|---|---|
| « Est-ce que tout va bien ? » | « Qu’est-ce qui m’attend ? » |
| « Cette source est-elle dangereuse ? » | « Pourquoi l’appel 12 a-t-il été retenu ? » / « Qui est arrêté ? » |
| « Que dois-je faire ? » | « Que s’est-il passé dans la dernière heure ? » |
| « Explique comment tu penses. » | « Quelles unités sont vivantes ? » |
La règle. Demandez ce qui peut être compté ou désigné ; fixez les limites sous forme de nombres.
Exercices 3.1 Réécrivez de façon dénombrable : « Le système est-il en bonne santé ? » 3.2 Réécrivez sous forme de limite dénombrable : « L’agent ne devrait pas écrire par courriel à trop de gens. » 3.3 Lesquelles de ces questions sont dénombrables ? (a) « Qui est hors plage ? » (b) « Sommes-nous protégés ? » (c) « Pourquoi l’appel 7 a-t-il été retenu ? » (d) « L’agent se comporte-t-il bien ? »
4. La logique d’une décision
Section titled “4. La logique d’une décision”Un exemple. Perun retient un paiement parce que deux choses sont vraies en même temps : l’action est irréversible, et la source est nouvelle. La semaine suivante, la même source — désormais bien connue — demande à nouveau un paiement. Perun ne le retient pas. Une des conditions a disparu, donc la règle ne s’applique plus.
ET et OU. Beaucoup des raisons de Perun sont des et : irréversible et nouveau ; irréversible et illisible. Si vous approuvez parce que « la source est correcte », vous n’avez vérifié qu’une moitié. Lisez la raison et vérifiez chaque partie.
Un cas n’est pas tous les cas. Approuver l’appel 12 d’une source ne veut pas dire approuver la source. Perun laisse passer l’appel identique une fois — pas tout ce que cette source demandera plus tard. Si vous vous surprenez à penser « cette source est correcte, j’approuverai aussi ses prochains appels », arrêtez-vous : chaque appel est une décision à part.
Avant et parce que. Deux choses qui arrivent l’une après l’autre ne veulent pas dire que l’une a causé l’autre. « L’agent a commencé à faire des erreurs après que nous avons ajouté le nouvel outil » est peut-être vrai ; c’est une raison de regarder, pas encore une raison de décider.
L’ordre du regard. Pour un appel retenu, toujours le même ordre : l’outil (ce qui se passe), les arguments (sur quoi, combien), qui l’a demandé, pourquoi il a été retenu, est-ce que cela découle de la tâche. Cet ordre vous protège contre le fait que la partie la plus forte de la demande — en général son urgence — décide à votre place.
La règle. Vérifiez chaque condition de la raison ; répondez sur le seul appel qui est devant vous ; regardez dans le même ordre à chaque fois.
Exercices 4.1 Un appel a été retenu parce qu’il est irréversible et vient d’une nouvelle source. Vous connaissez bien la source. Est-ce suffisant pour approuver ? Que vérifiez-vous d’autre ? 4.2 Hier, vous avez approuvé un virement provenant d’un fournisseur. Aujourd’hui, la demande du fournisseur est de nouveau retenue. Pourquoi cela pourrait-il être correct ? 4.3 Mettez dans l’ordre : qui l’a demandé · les arguments · l’outil · est-ce que cela découle de la tâche · pourquoi il a été retenu.