RFCs

How the format changes.

• RFC-0001: The RFC process

  how the format changes — the widen-only ratchet.

• RFC-0002: Declared-stack contracts and deferred repair design