Tags and Properties for Check-in 8014f49fbc
- branch=harden inherited from [c9434d6291]
- closed added by [3ec6323525] on 2026-07-13 17:01:18
- sym-harden inherited from [c9434d6291]
Context
|
2026-07-13
| ||
| 17:01 | • Edit [8014f49fbc]: Mark "Closed". artifact: 3ec6323525 user: dmestas | |
|
2026-07-12
| ||
| 12:13 | Gate private content on the receiver's grant so an unauthorized client discards it instead of storing it, keep a private igot from re-requesting content that will never arrive, and only offer to pull private content when the client holds the capability. closed check-in: 8014f49fbc user: dmestas tags: harden | |
|
2026-07-11
| ||
| 15:22 | Move the sync protocol (§3.6-§11) and log-store seeded fuzz generators into parameterized sibling targets so each never-crash and round-trip invariant is defined once and runs both as a fixed-seed smoke test and an out-of-band seeded sweep. check-in: c9434d6291 user: dmestas tags: harden | |