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?