derive-parse-supports-two-format-versions

Summary

The proposal parser is backwards compatible — it prioritizes the cleaner heading format but still accepts the older backtick-style format so that previously generated derivation proposals remain parseable. This means format migrations won't break existing workflows, but both code paths need to be maintained and tested.