This seems to be an interesting approach. Why do you suggest this path over documentating the behavior explicitly? What makes one approach better the other? I

This seems to be an interesting approach. Why do you suggest this path over documentating the behavior explicitly? What makes one approach better the other? Is it faster to run a trace? Should a developer trace their own code and auto-generate documentation post-build?