Publication du wiki depuis le depot (source: 2887b57)
parent
84e040125c
commit
9e2b0183ab
1 changed files with 14 additions and 5 deletions
|
|
@ -40,11 +40,20 @@ Le flux d'exploitation, de bout en bout :
|
|||
propose que des **hôtes réels** : impossible de pointer vers un hôte fantôme. La console couvre le
|
||||
schéma du plan — et la preuve **P19** le vérifie.
|
||||
|
||||
**Les formulaires sont GÉNÉRÉS.** Depuis le 2026-09-08, quatre registres sur six — **bases de
|
||||
données**, **serveurs de BD**, **domaines** et **nomenclature** — ne portent plus de formulaire
|
||||
écrit à la main : ils le construisent depuis `docs/audit/schema-plan.json`, lui-même dérivé des
|
||||
constantes du moteur (`make schema`). Un champ ajouté au plan apparaît donc à l'écran **sans qu'on
|
||||
touche à l'interface**. Deux preuves le tiennent : **P61** refuse qu'un champ des plans réels
|
||||
**Les formulaires sont GÉNÉRÉS.** Depuis le 2026-09-08, **les six registres** — serveurs,
|
||||
applications, bases de données, serveurs de BD, domaines et nomenclature — ne portent plus de
|
||||
formulaire écrit à la main : ils le construisent depuis `docs/audit/schema-plan.json`, lui-même
|
||||
dérivé des constantes du moteur (`make schema`). Un champ ajouté au plan apparaît donc à l'écran
|
||||
**sans qu'on touche à l'interface** — et il arrive au fichier, parce que la sauvegarde dérive du
|
||||
même schéma. Ouvrir une vue et enregistrer sans rien toucher renvoie **exactement** le plan qu'on
|
||||
vient de lire ; c'est mesuré à chaque `make prouver`.
|
||||
|
||||
Deux champs gardent volontairement leur propre éditeur, et le schéma le déclare : la **matrice des
|
||||
intégrations** (elle montre aussi les universelles, non décochables, et les exemptions) et
|
||||
l'**éditeur de liens** (il contraint le rôle à ce que `meta/liens.yml` accepte). Le générateur
|
||||
s'efface plutôt que de remplacer un éditeur qui en sait plus que lui.
|
||||
|
||||
Deux preuves tiennent le schéma : **P61** refuse qu'un champ des plans réels
|
||||
manque au schéma, ou que le schéma décrive une *forme* que les plans n'ont pas ; **P62** refuse
|
||||
qu'un champ accepté par les *validateurs du moteur* manque au schéma — sans quoi le formulaire ne
|
||||
saurait pas offrir une fonctionnalité que Set-OPS possède déjà.
|
||||
|
|
|
|||
Loading…
Reference in a new issue