TrustForge — Evidence-Gated AI Software Factory

Created by team FlashTsk17 on October 06, 2026
Pocketful

TrustForge is an autonomous software factory designed around one principle: code that works is not necessarily code that can be trusted. Instead of relying on a single AI coding agent to build software and declare it finished, TrustForge creates a complete engineering loop: Architect → Operator → Adversary → Verifier → Repairer → Verifier → Evidence Each seat has a bounded responsibility. The factory transforms requirements into explicit properties, generates adversarial scenarios, implements the required behavior, independently verifies the running system, repairs concrete failures and re-verifies the repaired revision before producing an evidence package. For the Pocketful track, TrustForge produced a self-contained Stage 1 wallet and payments service covering authentication, payments, requests, bill splitting, idempotent writes, atomic multi-item operations, exact integer money arithmetic, activity visibility and state export/import. The verification philosophy is simple: Requirement → Property → Scenario → Implementation → Execution → Observation → Verdict → Repair → Re-verification TrustForge does not treat “tests passed” as proof of universal correctness. Its evidence model explicitly distinguishes VERIFIED, FAILED, INCONCLUSIVE and BLOCKED states and preserves limitations and failure history. The recovered project records 147/147 shipped checks passing in the official isolated Pocketful Stage 1 harness, alongside independent HTTP verification and reproducible container instructions. The factory itself is designed to be reusable beyond Pocketful. Its mandates are domain-agnostic and can be applied to software, APIs, business automations, AI agents and AI-generated applications. TrustForge's goal is not simply to make AI build faster. It is to make AI-built software harder to trust blindly.

Category tags: