@ogygie/generate

Le générateur d'Ogygie : il lit une spec portant une section # Génération (D18) et le schemas.ts de la feature (D19), produit tout ce qui se déduit — routes, pipeline, base, fabriques, tests — de façon déterministe et sans modèle (D21, D22), et réserve ce qui se pense sous forme de trous typés dans logic.ts, chacun livré avec sa signature, ses exemples, son test rouge et son contexte (D23). Les trous se remplissent par bibliothèque, puis tirage-vérification, puis escalade (D24).

Sixième paquet du lockstep (D55), publié construit : ogygie generate <check|generate|verify|preview|fill|schemas> le relaie depuis le projet (installé en devDependencies à la version du framework), le TypeScript du produit est chargé par l'API de tsx quand node nu ne le sait pas. Les fixtures dorées et le banc de test restent dans le dépôt, hors du paquet.

Lot 1 — ce que le paquet sait faire aujourd'hui

| Module | Rôle | |---|---| | spec-sections.ts | isole le bloc YAML de # Génération et recolle les lignes de # Comportements | | generation-block.schema.ts | schéma Zod des quatre clés (contracts, operations, motifs, holes) et leurs références croisées — OGYGIE_GENERATION_BLOCK_INVALID | | motif-catalog.ts | le catalogue fermé des motifs (appendOnlySupersedes, allOrNothingImport) : méthodes, statuts, vocabulaire | | behavior-grammar.ts | le parseur de la grammaire D20 (ÉTANT DONNÉ … ALORS … [et …] [[hole:…]]) | | vocabulary.ts | le vocabulaire d'une opération : cas, valeurs nommées, phrases, codes et statuts | | behavior-binding.ts | lie une ligne à son opération : dérivable, portée par un trou, ou OGYGIE_BEHAVIOR_UNBOUND | | manifest-generation.schema.ts | le bloc generation.guards du manifeste (ce qui est produit, pas feature) | | check-spec.ts | la commande check : section → bloc → lignes → liaison, avec son décompte | | verify-generation.ts | la commande verify (D27) telle que le lot 1 peut la tenir : check de chaque spec du repo, et toute dérive — ce générateur ne reproduit rien encore, donc tout fichier généré en est une ; périmètre déclaré (D12) ; appelée par pnpm verify | | vocabulary-leak.test.ts | rejoue sur ce paquet le gate de vocabulaire du framework, jusqu'au gate de promotion Phase 3 (D25) |

La fixture jumelle fixtures/publication-de-taux.spec.md rejoue, dans un domaine neutre, la forme exacte de la feature réelle sur laquelle la thèse se prouve ; la spec du paquet est elle-même parsée par le paquet dans ses tests.

Hors périmètre du lot 1

Génération des fichiers, introspection de schemas.ts, bibliothèque et tirage-vérification, relais ogygie generate dans le CLI : lot 2, après validation humaine de la spec, des grammaires et de D25 — faite le 2026-10-17.