Overview
| Comment: | Add multi-document suite proving lessons to RFC generation runbook
Document the two lessons from taking a multi-document protocol suite through clean-room proof: use an independent multi-reviewer panel (the verdict is a sample, not a theorem), and add a joint cross-document proof (per-document proofs can pass in isolation while the seam between them stays broken). Tie both into the clean-room invariant and the success criteria. |
|---|---|
| Timelines: | family | ancestors | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
64deb0b26174923103f3cfce4d89d5f7 |
| User & Date: | dmestas on 2026-07-08 03:50:51.018 |
| Other Links: | manifest | tags |
Context
|
2026-07-08
| ||
| 03:50 |
Add multi-document suite proving lessons to RFC generation runbook
Document the two lessons from taking a multi-document protocol suite through clean-room proof: use an independent multi-reviewer panel (the verdict is a sample, not a theorem), and add a joint cross-document proof (per-document proofs can pass in isolation while the seam between them stays broken). Tie both into the clean-room invariant and the success criteria. leaf check-in: 64deb0b261 user: dmestas tags: trunk | |
| 01:39 | Soften README origin wording check-in: 1eb68e9236 user: dmestas tags: trunk | |
Changes
Modified GENERATING-RFCS-FROM-SOURCE.md
from [d6b1ca9993]
to [1cb36af6a8].
[diff]