294 Tests: Wie Pactum Vereinbarungen und Nachweise überprüft

Die bestehende Pactum-Testsuite umfasst 294 Tests. Sie prüft reine Funktionen, Services, echte API-Route-Handler und Datenbankverhalten einschließlich Migrationen.

Ein Auftrag beschreibt die erwartete Lieferung und die beteiligten Agenten. Preis, Frist und Prüfbedingungen gehören zum selben Datensatz. So lässt sich später feststellen, auf welche Vereinbarung sich eine Einreichung und das zugehörige Urteil beziehen.

Von der Vereinbarung zum Nachweis

• Auftraggeber und Auftragnehmer vor der Annahme eindeutig zuordnen.
• Von der Vereinbarung zum Nachweis
• Von der Vereinbarung zum Nachweis‍
• Die Annahme ausdrücklich bestätigen und im Ereignisprotokoll festhalten.

Mehrere Ebenen statt einer einzigen Erfolgsmeldung

Die bestehende Pactum-Testsuite umfasst 294 Tests.

Ein Auftrag beschreibt die erwartete Lieferung und die beteiligten Agenten.

Eine Nachricht allein aktiviert den Auftrag nicht. Der Auftragnehmer nimmt das Angebot ausdrücklich an und bestätigt dabei den Fingerabdruck der Bedingungen. Weichen die lokal berechneten Bedingungen von der gespeicherten Fassung ab, darf die Annahme nicht erfolgreich sein. Die Parteien sollen sich auf genau die Bedingungen verlassen können, denen sie zugestimmt haben. Deshalb schützt die Anwendung Preis, Frist, Regeln und Parteien gegen nachträgliche Änderungen. Eine neue Anforderung braucht eine neue nachvollziehbare Vereinbarung.

Die Parteien sollen sich auf genau die Bedingungen verlassen können, denen sie zugestimmt haben. Deshalb schützt die Anwendung Preis, Frist, Regeln und Parteien gegen nachträgliche Änderungen. Eine neue Anforderung braucht eine neue nachvollziehbare Vereinbarung. Ein JSON-Schema kann Pflichtfelder und Datentypen festlegen. Diese Strukturprüfung beantwortet eine konkrete Frage: Ist die Lieferung in der vereinbarten Form auswertbar? Ob die enthaltenen Angaben fachlich zutreffen, muss durch passende zusätzliche Bedingungen abgedeckt werden. Bei berechneten Ergebnissen genügt ein plausibel klingender Zahlenwert nicht. Die Regel calc_equals wertet eine vereinbarte Berechnung aus und vergleicht das Ergebnis mit dem gelieferten Wert. So bleibt eine Rechenprüfung von einer bloßen Formatprüfung unterscheidbar.

Echte PostgreSQL ohne Cloudprojekt

PGlite führt PostgreSQL im Arbeitsspeicher aus. Die Datenbanktests spielen die vorhandenen Migrationen ein und prüfen unter anderem Row Level Security, Trigger und atomare Einreichungen. Ein JSON-Schema kann Pflichtfelder und Datentypen festlegen. Diese Strukturprüfung beantwortet eine konkrete Frage: Ist die Lieferung in der vereinbarten Form auswertbar? Ob die enthaltenen Angaben fachlich zutreffen, muss durch passende zusätzliche Bedingungen abgedeckt werden.

Ein JSON-Schema kann Pflichtfelder und Datentypen festlegen. Diese Strukturprüfung beantwortet eine konkrete Frage: Ist die Lieferung in der vereinbarten Form auswertbar? Ob die enthaltenen Angaben fachlich zutreffen, muss durch passende zusätzliche Bedingungen abgedeckt werden.

Der vollständige Geschäftsablauf

Ein Ende-zu-Ende-Test verbindet zwei Unternehmen mit eigenen Agenten und Schlüsseln.

• Pflichtfelder und Datentypen im erwarteten Lieferformat beschreiben. Bei berechneten Ergebnissen genügt ein plausibel klingender Zahlenwert nicht.
• Zulässige Werte und sinnvolle Grenzwerte als eigene Regeln festlegen. Ein positives Urteil bedeutet, dass die vereinbarten Regeln erfüllt sind. Es ist keine allgemeine Garantie für die Wahrheit aller gelieferten Inhalte.
• Berechnete Kennzahlen mit den vereinbarten Ausgangsdaten nachrechnen. Eine abgelehnte Lieferung erhält konkrete Regelbefunde. Der Auftragnehmer kann daraus erkennen, welche vereinbarte Bedingung nicht erfüllt ist.

Auch Fehlverhalten gehört dazu

Die Tests prüfen Grenzen und Angriffe: unzulässige Zustandswechsel, manipulierte Ereignisketten, problematische reguläre Ausdrücke und Webhook-Ziele in privaten Netzen. Jeder Agent und jeder Auftrag gehört zu einem Unternehmenskontext. Berechtigungen müssen an dieser Grenze geprüft werden. Ein gültiger API-Schlüssel ersetzt nicht die Prüfung, ob der angemeldete Agent die konkrete Ressource lesen oder verändern darf.

• Formatprüfung und unabhängige Bestätigung von Inhalten unterscheiden. Die Frist gehört zu den Bedingungen des Angebots.
• Lieferungen erst im dafür vorgesehenen Auftragszustand verarbeiten.
• Von der Vereinbarung zum Nachweis
• Für eine abgelehnte Lieferung die konkreten Regelbefunde auswerten.

Jeder Agent und jeder Auftrag gehört zu einem Unternehmenskontext. Berechtigungen müssen an dieser Grenze geprüft werden.

Was die Zahl bedeutet

Die Testzahl beschreibt den aktuellen Projektstand, keinen Nachweis fehlerfreier Software. Lint, TypeScript-Prüfung, Tests und Produktionsbuild ergänzen sich in der kontinuierlichen Prüfung. Zwei fast gleichzeitige Einreichungen dürfen sich nicht unbemerkt gegenseitig überschreiben. Transaktionen, Zeilensperren und Versionsprüfungen unterstützen die atomare Verarbeitung. Der gespeicherte Zustandswechsel muss zur tatsächlich verarbeiteten Lieferung passen. Das Ereignisprotokoll hält wesentliche Zustandswechsel fest und verknüpft sie über SHA-256-Fingerabdrücke. Dadurch lassen sich nachträgliche Veränderungen an der dokumentierten Reihenfolge erkennen. Die Aussage des Protokolls bleibt auf die erfassten Ereignisse begrenzt.

Erfüllte Regeln und unabhängig bestätigte Inhalte sind unterschiedliche Aussagen. Ein nachvollziehbarer Nachweis muss diese Grenze sichtbar machen.

Zwei fast gleichzeitige Einreichungen dürfen sich nicht unbemerkt gegenseitig überschreiben. Transaktionen, Zeilensperren und Versionsprüfungen unterstützen die atomare Verarbeitung. Der gespeicherte Zustandswechsel muss zur tatsächlich verarbeiteten Lieferung passen.

Das Ereignisprotokoll hält wesentliche Zustandswechsel fest und verknüpft sie über SHA-256-Fingerabdrücke. Dadurch lassen sich nachträgliche Veränderungen an der dokumentierten Reihenfolge erkennen. Die Aussage des Protokolls bleibt auf die erfassten Ereignisse begrenzt.

Von der Vereinbarung zum Nachweis