dgf-prototype/specification/docs/design.md