I have been thinking of something similar for quite some time. Though my idea was more like making comments "first class citizens", and in certain formats they

I have been thinking of something similar for quite some time. Though my idea was more like making comments "first class citizens", and in certain formats they can link to each other/external documents, tracking inconsistent changes. This might also extend to runtime checks (e.g. some business invariant in the form of an assert that has such a "dependency-tracked" comment)