IACA

AI coding agents can generate plausible code quickly, but developers need to understand why a proposed change should be trusted. IACA (Intelligent Autonomous Coding Agent) makes that decision inspectable by connecting Meta Muse Wonder to a deterministic Rust/Refal verification loop. The prototype handles list transformations where the task contract, reference implementation, and test oracle remain fixed while Wonder proposes a candidate expression. IACA independently checks AST boundaries, compiler diagnostics, concrete execution results, and symbolic equivalence. Failed checks become structured feedback for bounded revisions. The React workbench exposes proposed changes, attempt history, counterexample inputs, and proof trees. A candidate with passing tests remains unresolved if the symbolic proof is incomplete, ensuring uncertainty is never hidden as a false success. All runs export as reproducible evidence packages. Built with Rust, Refal Supersystem (MIT foundation), React, and TypeScript.