RFCs Every load-bearing decision is written down before it is built, with the alternatives and the reason for the choice. RFC-0001 · Language kernel RFC-0002 · The conversation is the computation RFC-0003 · Pluggable substrates RFC-0004 · Evidence protocol