You should take a look at OpenSpec[0]. It implements your points 1-3.

[0] https://openspec.dev/