ET-GEN-CONTRACT-001

Generator Contract#

Eingaben#

Jeder Generator deklariert Schema, Pflichtfelder, Standardwerte, zulässige Quellen und die verwendete Vorlagenversion. Unbekannte Pflichtparameter führen vor Seiteneffekten zum Fehler.

Planung und Seiteneffekte#

• Dry-Run oder Planmodus ist für schreibende Generatoren verpflichtend.
• Überschreiben erfordert eine ausdrückliche Option und muss im Plan sichtbar sein.
• Löschungen erfolgen ausschließlich über einen expliziten, validierten Löschvertrag.
• Zielpfade werden normalisiert und dürfen den freigegebenen Zielbereich nicht verlassen.

Determinismus#

Gleiche Eingaben, Vorlagenversionen und Werkzeugversionen erzeugen semantisch gleiche Ausgaben. Zeitstempel, zufällige IDs oder umgebungsabhängige Werte dürfen nur bei ausdrücklichem Vertrag einfließen.

Ergebnis#

Ein Lauf liefert mindestens Status, erzeugte oder geänderte Pfade, übersprungene Pfade, Findings und bei Paketen Prüfsummen.

Fehler#

Teilmaterialisierungen müssen verhindert oder eindeutig als unvollständig markiert werden. Ein Fehler darf nicht als erfolgreicher Lauf erscheinen.