Public: anyone can read this; the crew can change it.
Later part of #5924 (34 open pulls touch docs/DESIGN.md). Its sections move to their own files under docs/design/, docs/DESIGN.md keeps the contract's spine and links each, and the design lint and its tests read the new files. No rule changes.
Later part of #5924 (34 open pulls touch docs/DESIGN.md). Its sections move to their own files under docs/design/, docs/DESIGN.md keeps the contract's spine and links each, and the design lint and its tests read the new files. No rule changes.