I'm not sure TDD is all it's trumped up to be even normally, but it's an interesting concept nonetheless. IIRC Core Lightning uses the BOLT specs somehow to test if not generate its code.