Overview
| Comment: | Merge trunk into harden to stay current with the managed-path set and merged fuzz targets. |
|---|---|
| Timelines: | family | ancestors | descendants | both | harden |
| Files: | files | file ages | folders |
| SHA3-256: |
fab84e5ebd6b23e0b3b24273360c308e |
| User & Date: | dmestas on 2026-07-11 15:28:17.716 |
| Other Links: | branch diff | manifest | tags |
Context
|
2026-07-11
| ||
| 16:11 | Dispatch the received message card per sync section 11.2, defossilizing TEXT then clearing the latched SYNC_PUSH intent only while push is live and the payload matches the case-sensitive "pull only " prefix, treating every other payload as an advisory that changes no per-session flag and never aborts the exchange. check-in: 0bfc058ee3 user: dmestas tags: harden | |
| 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 | |
Changes
Added src/managed.zig version [68f672a257].
Modified src/repostate.zig
from [098187eb07]
to [534d85054b].
[diff]
Modified src/root.zig
from [0c14a9ff14]
to [b305a74553].
[diff]
Modified src/sync.zig
from [562d2d8133]
to [72041be320].
[diff]
Modified src/sync_test.zig
from [ffbc289147]
to [b1d212deb8].
[diff]