Overview
| Comment: | 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. |
|---|---|
| Timelines: | family | ancestors | descendants | both | harden |
| Files: | files | file ages | folders |
| SHA3-256: |
c9434d6291025e140c66ec04fb46e5ba |
| User & Date: | dmestas on 2026-07-11 15:22:41.697 |
| Other Links: | branch diff | manifest | tags |
Context
|
2026-07-11
| ||
| 15:28 | Merge trunk into harden to stay current with the managed-path set and merged fuzz targets. check-in: fab84e5ebd user: dmestas tags: harden | |
| 15:26 | Merge the sync and logstore fuzz targets onto trunk so the out-of-band runner can exercise them. check-in: 35826e6a0e user: dmestas tags: trunk | |
| 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 | |
| 13:26 | Re-sync the sync-protocol draft: adopt the per-session outbound send queue and the expanded section 9.4 gimme eligibility filters, plus the accompanying pagination check-in: f0befe03c6 user: dmestas tags: trunk | |
Changes
Modified src/dst.zig
from [0c72add71a]
to [14954fc507].
[diff]
Modified src/fuzz_tests.zig
from [69dd4e387c]
to [8d8affa880].
[diff]
Modified src/logstore.zig
from [b3039dd38c]
to [c49c963f62].
[diff]
Added src/logstore_fuzz.zig version [9d6bef31f0].
Modified src/logstore_test.zig
from [ef915febb2]
to [bc5bb601bb].
[diff]
Added src/sync_fuzz.zig version [4f0c240b91].
Modified src/sync_test.zig
from [91f00d3a89]
to [ffbc289147].
[diff]