Crux
Enoch208/Crux
Python
Find how a robot fails. Repair it. Prove it. Failure discovery → repair → statistical qualification for contact-rich manipulation, end to end on one AMD Radeon GPU — with a tamper-evident evidence bundle a judge verifies on CPU.