Docs

Design notes that evolve with the code: the markdown dialect, the layer rules, the dependency ledger, and the reasoning behind the tricky parts.