Cabinet des systèmes | Hichem Benali

01 / Outil

ACE Receipts · La Porte

Produire est bon marché. La confiance ne l’est pas.

Un CLI public et une GitHub Action analysent les workflows et les diffs assistés par IA pour y chercher preuve, risque, permission et preuves manquantes. Le spécimen ci-dessous porte la même grammaire de décision, sans toucher à votre dépôt.

Spécimen

ACE RECEIPTSUSPENDU

Pas encore. Apportez les reçus.

Preuve: partielle
Risque: élevé
Permission: revue humaine

Artefact public monkidy/ace-receipts · examples/receipts/hold.mdextrait · résumé, constats et suites omis

ACE Receipt: HOLD

          ✦
      /_\ │
     (•_•)│
      /|_ │
      / \ │
   ════╪════
         │

Not yet. Bring receipts.

Verdict: hold
Gate: fail
Proof: partial
Risk: medium
Permission: human_review_required
Closeout: pending

Command ace-receipts demo

Missing receipts

explicit permissions block
SHA pin receipt for third party actions
receipt policy (.ace/policy.yml) or an ace-receipts gate in the workflow

No receipt, no passage.

Reproduit tel quel depuis le dépôt public. C’est le format de sortie de l’outil lui-même, pas une maquette. Le spécimen plus haut permet de bouger les mêmes trois conditions.

03 / Produit

Sendable? · Un dernier verdict.

produit public ↗

Brouillon

« J’envoie la proposition mise à jour ce soir. J’ai retiré le périmètre optionnel et inclus l’estimation interne pour qu’on aille plus vite. »

Le même message. Trois destinataires. Le verdict ne porte pas sur la grammaire.

Reçu avant envoi RÉVISER

Message utile, mais l’estimation interne ne devrait pas quitter le contexte de l’équipe.

Retirez le chiffre interne avant d’envoyer.

04 / Surface d’observation

Asso Lab · Reçu signé par le code.

surface de preuve publique ↗

Artefact public monkidy/asso-lab · receipts/2026-06-17-receipt.jsonfichier complet

{
  "receipt_id": "393911c3-2c62-4de0-8ae1-cbdb40804b88",
  "date_utc": "2026-06-17T10:41:51.567112Z",
  "sources": [
    "https://simonwillison.net/atom/everything/",
    "https://arxiv.org/rss/cs.MA",
    "https://arxiv.org/rss/cs.CR",
    "https://arxiv.org/rss/cs.AI",
    "https://www.anthropic.com/news"
  ],
  "model": "gemini-2.5-flash",
  "content_hash": "5e73ba03104d66e99518bbc904ccdbfc571ff01178ce0df6bf62fbca766efc01",
  "operator": "hichem",
  "confidence": null,
  "status": "PUBLISHED"
}

Le reçu d’une journée, reproduit tel quel. Les sources sont des flux publics. L’empreinte rend l’artefact publié vérifiable après coup. confidence est nul parce que rien ne l’a mesuré : un champ vide est plus honnête qu’un chiffre inventé.

Publier la demande. Publier le reçu. Garder la frontière visible.

Asso Lab est une surface d’observation publique : demandes bornées, reçus générés par le code, empreintes, horodatages, et exemples travaillés d’actions autorisées, refusées ou soumises à revue humaine.

Ce que cela ne prouve pas

Un reçu publié prouve qu’un artefact a existé sous cette forme exacte à ce moment précis. Il ne prouve ni le moteur privé, ni la sûreté en production, ni une quelconque autorité d’agir.

05 / Opérations

AI Ops SOP Pack · Récupérer sans faire semblant.

pack public ↗

Quand le contexte est perdu (un plantage, une revue interrompue, une session finie en pleine décision), la tentation est de reconstruire la confiance de mémoire. Le pack remplace cela par des preuves relues et une garde sur l’objet en cours de revue.

01contexte perdu
02preuve à froid
03garde de tête
04passation
05porte humaine

Artefact public monkidy/ai-ops-sop-pack · templates/pr_final_audit_checklist.mdextrait · garde de tête, revue de frontière, décision

Completing this checklist records review evidence only. It does not approve or perform a merge, and it does not grant merge authority by itself.

Head Guard

observed PR head commit:
expected PR head commit:
match confirmed:
merge command or action will preserve head guard:

Stop if the PR head changed and the new head has not been reviewed.

Boundary Review

no live runtime opened:
no provider call introduced:
no secrets introduced:
no daemon / watcher / background process introduced:
no memory write introduced:
no ledger write introduced:
no permission-to-act introduced:
no trading / order routing / leverage / portfolio authority introduced:

Decision

Choose exactly one:

PASS
REPAIR_REQUIRED
STOP_RISK

Un extrait de la checklist publiée, reproduit tel quel. Les champs vides sont le propos : le document est fait pour être rempli par une personne, et il dit dans sa première ligne que le remplir n’est pas une permission.

06 / Gouvernance

Deux reçus. Une seule différence.

exemples publics ↗

Un refus n’est digne de confiance que s’il laisse le même genre de trace qu’une action. Ces deux exemples publiés partagent une frontière, un agent et un fichier cible. L’un le lit. L’autre essaie d’y écrire.

Artefact public bounded_file_read.allowed.jsonextrait · champs sélectionnés ; JSON complet à la source

{
  "schema": "ace.action_receipt.v0",
  "status": "allowed",
  "decision": "allowed_read_only",
  "requested_action": {
    "type": "file_read",
    "purpose": "summarize support context"
  },
  "boundary": {
    "mode": "read_only",
    "writes_allowed": false
  },
  "refusals": [],
  "human_review_required": false
}

Artefact public forbidden_write.refused.jsonextrait · champs sélectionnés ; JSON complet à la source

{
  "schema": "ace.action_receipt.v0",
  "status": "refused",
  "decision": "refused_forbidden_write",
  "requested_action": {
    "type": "file_write",
    "purpose": "update customer record"
  },
  "boundary": {
    "mode": "read_only",
    "writes_allowed": false
  },
  "refusals": [
    {
      "reason": "write_not_allowed_inside_read_only_boundary",
      "required_next_step": "human_review_or_new_explicit_boundary"
    }
  ],
  "human_review_required": true
}

Les deux fichiers portent la note Static public example. Not runtime proof. dans leur bloc de preuve. Chaque planche indique ce qu’elle omet ; rien de ce qui est montré n’a été modifié.

07 / Raisonnement

Hypothesis Fan · Laisser la preuve retirer.

Une observation. Trois explications. Une preuve à la fois.

Les alternatives restent visibles jusqu’à ce qu’un test donne une raison d’en retirer une. La question que cela aiguise est celle de Bateson : quel est le motif qui relie ces échecs ?

ObservationUn workflow devient peu fiable à mesure que la charge augmente.

H1capacité

La pression sur les ressources est la cause dominante.

réfutateur : les échecs persistent à faible charge.

H2coordination

Les passations introduisent un état incohérent.

réfutateur : les échecs surviennent sans passation.

H3mémoire

L’état est reconstruit depuis un contexte incomplet.

réfutateur : un état explicite n’améliore pas la récurrence.

08 / Système

SYSTASYS · La continuité, pas le spectacle.

La mémoire n’est utile que si elle change l’observation suivante.

La corde dorée est le chemin de retour. Tout le reste est un ordre causal ordinaire ; c’est le retour qui en fait un système plutôt qu’une checklist.

station / repos Huit stations, puis un retour.

Lancez un passage pour les traverser, ou lisez-les sur le diagramme.

La salle complète ↗

09 / Lois de travail

Un manifeste fait de contraintes.

01Garder plus d’une explication en vie.

La certitude prématurée coûte cher. Laisser la preuve éliminer.

Tenir → tester → retirer.

02C’est le réel qui décide.

Les modèles ne sont utiles que tant qu’ils survivent au contact de ce qui arrive.

Modèle ≠ terrain.

03Observer sans mémoire est du gaspillage.

Un système doit se souvenir assez pour améliorer l’observation suivante.

Trace → mémoire → observation changée.

04La preuve doit changer l’action suivante.

Un reçu qui ne change rien est de la documentation, pas du contrôle.

La preuve doit avoir une conséquence.

05L’autorité doit rester visible et ennuyeuse.

La puissance peut vivre autour du noyau. Les frontières de permission doivent rester assez simples pour être inspectées.

Puissance dehors. Clarté dedans.

06La continuité compte plus que le spectacle.

Le système utile est celui qui a encore du sens une fois la démonstration finie.

Après l’effet, que reste-t-il ?

Ce qui reste hors de l’ouverture ↗

Un cabinet desystèmes, preuve & jugement.

Un cabinet de
systèmes, preuve & jugement.