Outil · preuve
ACE Receipts
Un CLI public et une GitHub Action qui refusent qu’une affirmation passe pour une preuve.
Artefact public
Systèmes · pensée · travaux choisis
Je ne choisis pas le domaine en premier. Je poursuis le problème jusqu’à pouvoir construire un système autour de lui.
En construction Sendable?
01 / La carte de travail
Deux routes. Une seule façon de construire.
pas un parcours de carrière
02 / Objets choisis
Trois portes. Chacune ouvre vers l’extérieur.
inspecter, puis partir
Produit · jugement
Sendable?
Un verdict avant envoi qui rend le jugement à l’expéditeur au lieu de réécrire à sa place.
Spécimen
Système · continuité
SYSTASYS
La couche qui garde reliées recherche, décisions, opérations, preuve et mémoire.
Reconstruction
03 / Une loi de travail
Garder plus d’une explication en vie.
La certitude prématurée coûte cher. Tenir les alternatives, puis laisser la preuve les retirer.
Cinq autres lois sont gardées au Cabinet ↗04 / La frontière
Montrer est un choix. Ne pas montrer aussi.
Public
- Artefacts choisis dans des dépôts publics
- Spécimens bornés que l’on peut manipuler
- Diagrammes reconstruits, étiquetés comme tels
- Limites explicites de ce que chaque objet prouve
Privé
- Identifiants et autorité d’exécution
- Topologie sensible à la sécurité
- Mise en œuvre stratégique non publiée
- Contexte personnel et familial
Chaque objet de ce site porte l’une de cinq étiquettes. Elles veulent dire exactement ce qu’elles disent.
- Artefact public
- Reproduit sans altération depuis un dépôt public. Chaque planche indique s’il s’agit du fichier complet ou d’un extrait.
- Spécimen
- Un modèle borné de la logique réelle. Pas un système en fonctionnement.
- Reconstruction
- Rebâti pour la surface publique à partir de travaux vérifiés.
- Loi de travail
- Une contrainte qui a survécu au contact de la pratique.
- Privé
- Délibérément hors de l’ouverture.