{"type":"video","version":"1.0","html":"<iframe src=\"https://www.loom.com/embed/a0e1a0124faf49edb6875b831d23ff61\" frameborder=\"0\" width=\"1920\" height=\"1440\" webkitallowfullscreen mozallowfullscreen allowfullscreen></iframe>","height":1440,"width":1920,"provider_name":"Loom","provider_url":"https://www.loom.com","thumbnail_height":1440,"thumbnail_width":1920,"thumbnail_url":"https://cdn.loom.com/os/loom-media-content/loom/f46cf16e-a2a5-44ba-bbe1-3d51c28e94db/efa72c27-e4f7-43df-8998-fcc17b87f40f/sessions-thumbnails-a0e1a0124faf49edb6875b831d23ff61-ad986a5f86faf698.gif/binary?authToken=eyJraWQiOiJtaWNyb3MtZ3JvdXAvdGRwLW9zLWFyY2hldHlwZS9xcGE2cG03NzRjbzIzZ2w1IiwiYWxnIjoiUlMyNTYifQ.eyJicyI6Imxvb20tbWVkaWEtY29udGVudCIsImF1ZCI6InRkcC1vcy1hcmNoZXR5cGUiLCJuYmYiOjE3OTQyNTU1MzEsInRpIjoiOWI3ZDRmYWQtMDQ5Ny00OTcyLWFkMzEtZTExYjYwYjcyOWVjIiwiYWRpIjoibG9vbS9sb29tIiwiaXNzIjoibWljcm9zLWdyb3VwL3RkcC1vcy1hcmNoZXR5cGUiLCJwaWQiOiI4YTNhNDgxZC04NWNkLTQyODktOTk3MS1kNWNmMzIwYjFmZGYiLCJ3YSI6ImZhbHNlIiwib2lkIjoic2Vzc2lvbnMtdGh1bWJuYWlscy1hMGUxYTAxMjRmYWY0OWVkYjY4NzViODMxZDIzZmY2MS1hZDk4NmE1Zjg2ZmFmNjk4LmdpZiIsImV4cCI6MTc5NDI1NjEzMSwiaWF0IjoxNzk0MjU1NTMxLCJqdGkiOiIyZWMyMjBkYy04ZTcyLTRjNzItYWRjOC04OWMwYjE2MDJkMjYifQ.ontJuuoSadc3RaApBt02ZW0UC79xMLKJDiRuROS5jEtLa4YYrGRCwerY2Q74LTEZ_UevMMZe3UtShxxFaI8e_gDX2JctG3tFN1kToDy-sQc2N--1S8WWxpheyHFCTgDIdBd6TBodYC9AwDxvtR73ifspaPQ44bYDR9cA7fYmUdL7HEs8UH2kw61T8HSCEt0_9Nuf0SYh0qyUH3UtUxjijUsDi0AKDZ3d_U3A5ZLknuOujQUtasZC3eOILLbrWirWinm7woPq6_2w8TeqIrsiQP9_DZFIGSNmG7XuwrBSSTeLdzPLQS5AYJlXC9XNyW9VJ0bsU4grXjXaN5JasNBPbg&Expires=1794256131&Signature=k6t7rCXB1ejBhZYiqrhfsmdJiDxUd6nrTr14njkrfQhE4mC6KFSyaGSFB7g6zb18ipO7Kr0mW4L%7ExTM233yLWuKPnSvAomtqjRtYkkRQJ%7EsBOt6D7WR3K2Te8LI-oew0YcVCLwfgMSSTDqLeDLj8Uw9Bkc4iB7RX63YqcRZ-c%7EnVUFFaaTWj9PzrHOpZKBNwqtUXpZjpoKNN0naSDoiVPSgmPV4CuotnFCgV7yBbdfJo3atbI2huvREw9GaZ1Xky1In11eAWCOetoao4vIOxUH2pm2Yx6Qm9-kNjVay0tKcw5PBTe5pJdYGCs4VrfdhyIkO7EvQPrHhpOTwj6X14IA__&Key-Pair-Id=KQOSYIR44AIC0","duration":158.68,"title":"IACA’s Evidence-Driven Coding Acceptance","description":"This Loom explains how IACA, an intelligent autonomous coding agent, makes code change proposals acceptable only with inspectable evidence. It describes a bounded loop connecting MetaWonder to a deterministic Rust engine to re-associate three list concatenations while preserving element order, empty lists, and nested structure by changing only one expression. IACA checks a proposal through independent oracle tests over 216 input combinations and then proves equivalence in 34 proof steps. The video also shows a deliberately incorrect fixture where the checker rejects a swap, and a later case where execution tests pass but symbolic budget is zero so the proof is left unresolved and rejected. "}