7 descendants of 43c9737b0bd8beff
|
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 | |
| 00:48 | Refine README introduction and guidance check-in: 891c314f2c user: dmestas tags: trunk | |
| 00:38 | Clarify drafting translation scope check-in: bfd1533bda user: dmestas tags: trunk | |
| 00:36 | Add RFC suite discovery workflow check-in: 84b662a50c user: dmestas tags: trunk | |
| 00:11 | Add RFC suite discovery prompt check-in: d7711bbc77 user: dmestas tags: trunk | |
|
2026-07-07
| ||
| 19:36 | Make native workflow output conditional check-in: dc53b8271d user: dmestas tags: trunk | |
| 19:17 | Require native harness config inputs check-in: 43c9737b0b user: dmestas tags: trunk | |