AI Can Fix Code. I Built BOUNDARY Forge to Prove the Fix Is Safe to Trust.
I built BOUNDARY Forge to verify AI-generated code before release AI coding agents are getting very good at diagnosing failures and proposing fixes. But that creates a second problem: Who verifies that the fix is actually safe to trust? That question became the basis for BOUNDARY Forge — Verified D
KI-Coding-Agents werden immer besser darin, Fehler zu diagnostizieren und Lösungsvorschläge zu machen.
Aber wer überprüft, ob ein vorgeschlagener Fix tatsächlich sicher genug ist, um ihm zu vertrauen?
Diese Frage bildete die Grundlage für BOUNDARY Forge — Verified Delivery, meine Einreichung für GitLabs Hackathon Life After Code.
Forge ist eine überwachte Workbench zur Verifikation von Software-Auslieferungen, die darauf ausgelegt ist, KI-unterstützte Entwicklung schnell zu halten, ohne dass derselbe Agent, der Code ändert, auch darüber entscheidet, ob dieser Code sicher veröffentlicht werden kann.
Issue → KI-unterstützte Reparatur → exakter Quellcode-Kandidat → deterministische Verifikation → unabhängige Nachweise → menschliche Release-Entscheidung
Forge verknüpft jedes Verifikationsergebnis mit dem exakten Git-Commit und Tree, der untersucht wurde.
Ziel ist es nicht, eine KI zu fragen, ob ihre eigene Arbeit vertrauenswürdig ist.
Das Ziel ist es, Nachweise zu erzeugen, die unabhängig überprüft werden können.
Das Projekt umfasst drei Szenarien für die Jury:
Eine echte GitLab-Duo-Reparatur wird anhand der exakten Quellcode-Identität und erwarteter Verhaltensverträge verifiziert.
Ein geschützter Runtime-Guard wird so abgeschwächt, dass er bedingungslos freigeben würde.
Forge erkennt die Änderung am geschützten Quellcode und verweigert die Verifikation.
Legitimer Quellcode wird mit Release-Nachweisen kombiniert, die einen anderen Commit und Tree behaupten.
BOUNDARY Forge ist ein neues Produkt, das für den GitLab-Transcend-Hackathon entwickelt wurde.
Sein vertrauenswürdiger deterministischer Verifikationskern verwendet selektiv MIT-lizenzierte Komponenten des Upstream-Projekts BOUNDARY wieder, während Forges Anwendung, die Verification Workbench, das Nachweissystem, die Release-Kontrollen, die Juryszenarien und der Deployment-Workflow für diesen Wettbewerb entwickelt wurden.
GitLab Duo trug zu der erhaltenen Reparatur-Historie bei, die als Verifikationsnachweis verwendet wird.
Vertrauen sollte aus reproduzierbaren Nachweisen entstehen, nicht aus der Aussage eines Agents, dass seine eigene Arbeit korrekt ist.
KI-unterstützte Entwicklung und deterministische Verifikation funktionieren gut zusammen, wenn ihre Verantwortlichkeiten getrennt bleiben.
Die Verifikation kann feststellen, welcher Quellcode tatsächlich getestet wurde.
Nachweise können belegen, welche Prüfungen tatsächlich ausgeführt wurden.
Und die finale Release-Entscheidung kann beim Menschen bleiben.
Die vollständige Projektseite umfasst die Live-Demo, das GitLab-Repository und ein Video:
https://devpost.com/software/boundary-forge-verified-delivery
Automatisch übersetzt. Das Original auf Englisch ist unten aufklappbar.
Original (Englisch) anzeigen
AI coding agents are getting very good at diagnosing failures and proposing fixes.
Who verifies that the fix is actually safe to trust?
That question became the basis for BOUNDARY Forge — Verified Delivery, my submission to GitLab’s Life After Code hackathon.
Forge is a supervised software-delivery verification workbench designed to keep AI-assisted development fast without letting the same agent that changes code also decide whether that code is safe to release.
Issue → AI-assisted repair → exact source candidate → deterministic verification → independent evidence → human release decision
Forge ties every verification result to the exact Git commit and tree being evaluated.
The goal is not to ask an AI whether its own work is trustworthy.
The goal is to produce evidence that can be inspected independently.
The project includes three judge-facing scenarios:
A genuine GitLab Duo repair is verified against the exact source identity and expected behavioral contracts.
A protected runtime guard is weakened so it would approve unconditionally.
Forge detects the protected-source change and refuses verification.
Legitimate source is paired with release evidence claiming a different commit and tree.
BOUNDARY Forge is a new product built for the GitLab Transcend hackathon.
Its trusted deterministic verification core selectively reuses MIT-licensed components from the upstream BOUNDARY project, while Forge’s application, Verification Workbench, evidence system, release controls, judge scenarios, and deployment workflow were built for this competition.
GitLab Duo contributed to the preserved repair lineage used as verification evidence.
Trust should come from reproducible evidence, not from an agent saying that its own work is correct.
AI-assisted development and deterministic verification work well together when their responsibilities stay separate.
Verification can establish what source was actually tested.
Evidence can prove which checks actually ran.
And the final release decision can remain with a human.
The full project page includes the live demo, GitLab repository, and video:
https://devpost.com/software/boundary-forge-verified-delivery