FROG is moving from vision to executable proof. The project now exposes a bounded path from open graphical source to FIR, lowering, backend contracts, runtime acceptance, and LLVM proof — a first step toward accountable graphical programming in the AI era.