Commit record

add synthesis.md: channel-wide principles from principles/