2 descendants and 21 ancestors of 891c314f2ca78107
|
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 | |
| 18:56 | Clarify harness translation inputs check-in: 1513b90b6a user: dmestas tags: trunk | |
| 18:25 | Ignore staged project references by default check-in: 9affd9e045 user: dmestas tags: trunk | |
| 16:38 | Default common IETF template choices check-in: 1d7af02222 user: dmestas tags: trunk | |
| 16:33 | Ignore all per-project run contents check-in: 806c185a6d user: dmestas tags: trunk | |
| 16:32 | Move run roots under each project pack check-in: 005d7546de user: dmestas tags: trunk | |
| 16:19 | Add reusable project pack scaffolding check-in: 0ddcec5002 user: dmestas tags: trunk | |
| 16:18 | Restore RepoState to Fossil suite pack check-in: be5e1f5083 user: dmestas tags: trunk | |
| 16:09 | Add project-pack scaffold guidance check-in: 7dc079ff5d user: dmestas tags: trunk | |
| 15:59 | Note staged reference files stay Fossil-ignored check-in: 0d257f9716 user: dmestas tags: trunk | |
| 15:58 | Clarify startup flow and staged source references check-in: cd5cf5607f user: dmestas tags: trunk | |
| 15:43 | Drop one-off migration audit note check-in: e432821cdb user: dmestas tags: trunk | |
| 15:28 | Make project-pack and harness onboarding explicit check-in: 255e105745 user: dmestas tags: trunk | |
| 14:14 | Track RepoState brief in Fossil suite pack check-in: 73947490fd user: dmestas tags: trunk | |
| 14:14 | Add RepoState to Fossil suite pack check-in: 5cefdd13a1 user: dmestas tags: trunk | |
| 14:05 | Split RFC workflow into neutral core and Fossil project pack check-in: 3ba2975e8e user: dmestas tags: trunk | |
| 13:23 | initial empty check-in check-in: 9f87fe43aa user: dmestas tags: trunk | |