it is indeed a decent project, i saw him speaking several months ago and was impressed. it might be the only thing out there that is close to tau. that said, there's still a big gap. i'd ask two things before decidability: expressibility, and which parts of the system are amendable (is it the whole code no matter what?). and that, taking into account the old tau. the new tau refines the process much more than nomic.