La programmation orientée raffinement
Si un agent d'IA peut produire mille changements à l'heure, l'unité de travail ne peut plus être « le changement ». La réponse de Softanza est un paradigme, une implémentation en cours, et un livre.
Le paradigme, en trois phrases
La programmation orientée raffinement est un méta-paradigme qui gouverne trois domaines de raffinement de premier rang : le code, l'interface et les données. La mécanique est partagée par les trois : le raffinement comme unité, la cascade comme validation, la porte comme écrivain canonique, la chaîne d'audit comme provenance, l'autorité comme permission, la réversibilité intégrée. Tout projet non trivial produit les trois sortes d'artefacts et la plupart échouent aux coutures entre eux ; la cascade traverse les frontières pour que les coutures deviennent traitables.
Les quatre mots
Un raffinement est un changement unique et délibéré rendu typé, validé, attribué et réversible : comme un commit, mais vérifié contre vos spécifications avant d'atterrir. La cascade est l'ensemble complet de ce qu'un changement affecte, calculé avant de commettre. La porte décide : un changement qui casse une règle déclarée ne peut pas atterrir ; il est refusé structurellement, pas seulement signalé. La chaîne d'audit enregistre l'auteur, l'autorité, la règle et le verdict comme sous-produit du travail, pour que « qui a décidé cela il y a trois ans » soit une requête.
L'implémentation
spécification
Un corpus de plus d'une centaine de spécifications, un prototype interactif de l'environnement de raffinement, et le premier module d'un moteur Zig. Le dépôt n'est pas encore public, et ce site le dit plutôt que de promettre une date.
Le livre
manuscrit
Refinement-Oriented Programming, a manifesto for software in the agentic era, par Mansour Ayouni, premier des livres AYOUNI : un manuscrit de dix-huit chapitres et une coda, de « What broke » et « The unit changed » jusqu'à « Writing loops, not prompts », « Agents, and the rest of us » et « Honest boundaries ». Version 0.1, 2026.
La manière Softanza Un raffinement est jugé avant d'atterrir, par une porte qui lit vos règles, et laisse une chaîne que n'importe qui peut interroger. Le goulot de l'ère agentique est la relecture, et la relecture devient une structure.