Sperre, Budget und Übergabe in einem nachvollziehbaren Entwurf verbinden.
Entwirf einen Importer für 20 erfundene Materialkarten. Genau ein Prozess darf den Import besitzen; fünf Arbeiter in diesem Prozess teilen eine Budgetinstanz mit Grenze 20. Zeichne Prozesszugang, gemeinsam benutzten Zähler und Besitzer jeder geplanten Aufgabe. Trage einen Fehler vor der Übergabe und einen Fehler nach akzeptierter Planung ein. Entscheide ausdrücklich, ob die Grenze derzeit belegte Aufgaben oder alle Verarbeitungsversuche zählen soll, und passe Rückgaben daran an. Als Abnahme dienen eine Zeitachse, ein Zustandsbild und Gegenbeispiele: zweiter Prozess, letzter Budgetplatz, doppelte Rückgabe und später Fehler am Future.
Ein Beispiel
Der Entwurf 'jeder Arbeiter bekommt Grenze 20' lässt bis zu 100 Verbräuche zu. Die Korrektur teilt eine Instanz. Ein verlorener Prozesszugang startet keine Arbeiter. Scheitert Materialkarte K-8 vor der Planung, räumt der Aufrufer auf; nach akzeptierter Planung wird das Future ausgewertet. Der Abschlussbericht unterscheidet verarbeitet, fehlgeschlagen und noch offen.