“Later” is a euphemism for never. A fact filed while its context is loaded costs a paragraph; re-derived cold, it costs a session — the rediscovery tax, paid per collaborator, forever.
This is why the paperwork loop has to be cheap: a fragment is one new file, the index is generated, and the lint tells you exactly what is missing. Any friction here is paid back in re-derivation, at a much worse rate.
The corollary that people skip: record the wrong theories. The approach that failed on Tuesday leaves no commit, appears in no diff, and is the single most expensive thing for the next person to rediscover.