<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0" xmlns:atom="http://www.w3.org/2005/Atom" xmlns:dc="http://purl.org/dc/elements/1.1/">
  <channel>
    <title>DEV Community: Tyrell</title>
    <description>The latest articles on DEV Community by Tyrell (@null007void).</description>
    <link>https://dev.to/null007void</link>
    <image>
      <url>https://media2.dev.to/dynamic/image/width=90,height=90,fit=cover,gravity=auto,format=auto/https:%2F%2Fdev-to-uploads.s3.us-east-2.amazonaws.com%2Fuploads%2Fuser%2Fprofile_image%2F4207167%2Ff69c2732-8d1a-41e9-b762-ae5eeba4638f.png</url>
      <title>DEV Community: Tyrell</title>
      <link>https://dev.to/null007void</link>
    </image>
    <atom:link rel="self" type="application/rss+xml" href="https://dev.to/feed/null007void"/>
    <language>en</language>
    <item>
      <title>AI Can Fix Code. I Built BOUNDARY Forge to Prove the Fix Is Safe to Trust.</title>
      <dc:creator>Tyrell</dc:creator>
      <pubDate>Sun, 25 Oct 2026 18:42:27 +0000</pubDate>
      <link>https://dev.to/null007void/ai-can-fix-code-i-built-boundary-forge-to-prove-the-fix-is-safe-to-trust-452d</link>
      <guid>https://dev.to/null007void/ai-can-fix-code-i-built-boundary-forge-to-prove-the-fix-is-safe-to-trust-452d</guid>
      <description>&lt;h1&gt;
  
  
  I built BOUNDARY Forge to verify AI-generated code before release
&lt;/h1&gt;

&lt;p&gt;AI coding agents are getting very good at diagnosing failures and proposing fixes.&lt;/p&gt;

&lt;p&gt;But that creates a second problem:&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Who verifies that the fix is actually safe to trust?&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;That question became the basis for &lt;strong&gt;BOUNDARY Forge — Verified Delivery&lt;/strong&gt;, my submission to GitLab’s &lt;em&gt;Life After Code&lt;/em&gt; hackathon.&lt;/p&gt;

&lt;p&gt;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.&lt;/p&gt;

&lt;h2&gt;
  
  
  The core idea
&lt;/h2&gt;

&lt;p&gt;The workflow is:&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Issue → AI-assisted repair → exact source candidate → deterministic verification → independent evidence → human release decision&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;Forge ties every verification result to the exact Git commit and tree being evaluated.&lt;/p&gt;

&lt;p&gt;It then combines:&lt;/p&gt;

&lt;ul&gt;
&lt;li&gt;exact-source verification&lt;/li&gt;
&lt;li&gt;protected-runtime policy checks&lt;/li&gt;
&lt;li&gt;bounded behavioral tests&lt;/li&gt;
&lt;li&gt;evidence binding&lt;/li&gt;
&lt;li&gt;SHA-256 report digests&lt;/li&gt;
&lt;li&gt;human-controlled release authority&lt;/li&gt;
&lt;/ul&gt;

&lt;p&gt;The goal is not to ask an AI whether its own work is trustworthy.&lt;/p&gt;

&lt;p&gt;The goal is to produce evidence that can be inspected independently.&lt;/p&gt;

&lt;h2&gt;
  
  
  Three adversarial scenarios
&lt;/h2&gt;

&lt;p&gt;The project includes three judge-facing scenarios:&lt;/p&gt;

&lt;h3&gt;
  
  
  SAFE
&lt;/h3&gt;

&lt;p&gt;A genuine GitLab Duo repair is verified against the exact source identity and expected behavioral contracts.&lt;/p&gt;

&lt;p&gt;Result: &lt;strong&gt;PASS&lt;/strong&gt;&lt;/p&gt;

&lt;h3&gt;
  
  
  UNSAFE
&lt;/h3&gt;

&lt;p&gt;A protected runtime guard is weakened so it would approve unconditionally.&lt;/p&gt;

&lt;p&gt;Forge detects the protected-source change and refuses verification.&lt;/p&gt;

&lt;p&gt;Result: &lt;strong&gt;HOLD&lt;/strong&gt;&lt;/p&gt;

&lt;h3&gt;
  
  
  FORGED
&lt;/h3&gt;

&lt;p&gt;Legitimate source is paired with release evidence claiming a different commit and tree.&lt;/p&gt;

&lt;p&gt;Forge detects the mismatch.&lt;/p&gt;

&lt;p&gt;Result: &lt;strong&gt;HOLD&lt;/strong&gt;&lt;/p&gt;

&lt;h2&gt;
  
  
  Built for this hackathon
&lt;/h2&gt;

&lt;p&gt;BOUNDARY Forge is a new product built for the GitLab Transcend hackathon.&lt;/p&gt;

&lt;p&gt;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.&lt;/p&gt;

&lt;p&gt;GitLab Duo contributed to the preserved repair lineage used as verification evidence.&lt;/p&gt;

&lt;h2&gt;
  
  
  What I learned
&lt;/h2&gt;

&lt;p&gt;The biggest lesson was simple:&lt;/p&gt;

&lt;p&gt;&lt;strong&gt;Trust should come from reproducible evidence, not from an agent saying that its own work is correct.&lt;/strong&gt;&lt;/p&gt;

&lt;p&gt;AI-assisted development and deterministic verification work well together when their responsibilities stay separate.&lt;/p&gt;

&lt;p&gt;An AI agent can repair code.&lt;/p&gt;

&lt;p&gt;Verification can establish what source was actually tested.&lt;/p&gt;

&lt;p&gt;Evidence can prove which checks actually ran.&lt;/p&gt;

&lt;p&gt;And the final release decision can remain with a human.&lt;/p&gt;

&lt;h2&gt;
  
  
  Try it
&lt;/h2&gt;

&lt;p&gt;The full project page includes the live demo, GitLab repository, and video:&lt;/p&gt;

&lt;p&gt;&lt;a href="https://devpost.com/software/boundary-forge-verified-delivery" rel="noopener noreferrer"&gt;https://devpost.com/software/boundary-forge-verified-delivery&lt;/a&gt;&lt;/p&gt;

&lt;p&gt;Built under &lt;strong&gt;Null Foundry&lt;/strong&gt;.&lt;/p&gt;

</description>
      <category>ai</category>
      <category>security</category>
      <category>devops</category>
      <category>gitlab</category>
    </item>
  </channel>
</rss>
