The Unlockers

UNLOCK: Design for the day it breaks. Live demo: https://unlock-labs.pages.dev Judge access code: WYyNi3jndWvngicJyIV7WcTybq7wzRic (enter it on the Projects page to upload a package and run a fresh analysis on a private cloud worker) Repo: https://github.com/Shrenzoo/unlock What judges can run: Judge access supports uploads and fresh CAD analysis. The 2 live Muse Spark redesigns are documented separately, with complete tool-call & verification records. A part that is designed to be replaced can still be impossible to reach. A strap runs across the battery, a bracket spans the module, or a screw head sits under a shield. Those choices get made in CAD years before anyone picks up a screwdriver, which is the moment when changing them costs close to nothing. In 2022 the world generated a record 62 million tonnes of e-waste, and only 22.3% of it was documented as formally recycled. UNLOCK gives Muse Spark 1.3 a new capability. It can change real physical geometry so a trapped part can come out, and then prove that it did: 1. Explain: A deterministic planner reads the STEP assembly’s exact BRep geometry and searches six-axis removal routes. When no route exists, it returns measured evidence of what blocks the part. On B05, the battery pack hits the strap by 1,397 mm³ after 12 mm of lift. 2. Investigate: Muse Spark 1.3 runs an agent loop with native tool calling over eight allowlisted engineering tools. It inspects the blocker and picks a redesign from a finite, server-owned design space. Every proposal must cite the evidence it responds to. 3. Construct: A trusted CadQuery/OpenCASCADE constructor builds the change. The model writes zero code and zero geometry. 4. Verify: A fresh process rebuilds the design from frozen inputs and measures the real material. It then searches for a route again, replays the route forward and reverses the insertion. The model’s own claims are stored with authority: none. 5. Export: The STEP file is written, reimported, rechecked and addressed by SHA-256. It works live: Both live Muse Spark runs ended in VERIFIED_IMPROVEMENT_FOUND: - B02: cut a 40×16 mm relief in 48 s. - B05: moved the strap 12 mm with nothing cut, in 73 s. Each run cost about $0.03. It also says no: Outcomes were registered before each run, and the runner refuses to record a mismatch. - B07: the screw sits under a fixed shield, so UNLOCK claims nothing. - B08: the part already comes out, so UNLOCK changes nothing. What’s new? Generative CAD asks you to trust the geometry the model wrote. Repairability tools analyze a design but never change and fix it. UNLOCK fixes this like never before; it puts a frontier model in a closed loop where it redesigns real CAD, and nothing the model says can make a result pass. The repo has 389 tests. One of them has the model falsely claim success on failing designs, and the verdict doesn’t move. Built during the hackathon by Shreyas and Maanas Pabbathi. Indie track, Push the Frontier theme.