Overview
| Comment: | Derive the client round-continuation predicate from the six section 3.7 conditions and encode the section 3.8 five-state client machine, including the nine-cause fatal-error set with its round-0 error-card discard exception. |
|---|---|
| Timelines: | family | ancestors | descendants | both | sync |
| Files: | files | file ages | folders |
| SHA3-256: |
c0fcf1792d53438a3ead6ac626b2cac0 |
| User & Date: | dmestas on 2026-07-09 21:30:17.674 |
| Other Links: | branch diff | manifest | tags |
Context
|
2026-07-09
| ||
| 22:13 | Implement the section 3.6 cookie card and the section 7.6/12.4 SHA3-256 peer-version gate, factoring the shared single-text-argument card writer out of writeSignalCard. check-in: c9ea7ed5ed user: dmestas tags: sync | |
| 21:30 | Derive the client round-continuation predicate from the six section 3.7 conditions and encode the section 3.8 five-state client machine, including the nine-cause fatal-error set with its round-0 error-card discard exception. check-in: c0fcf1792d user: dmestas tags: sync | |
| 20:48 | Add fossilize-escape encoding and wire up sync sections 10.5 and 11, gating send-private on the Private capability, scheduling client-url/req-links once before the round loop versus send-private every round, and dispatching error/message cards per their reset-versus-append and terminate-versus-discard rules including the pull-only glob. check-in: 040aa2f8a4 user: dmestas tags: sync | |
Changes
Modified src/sync.zig
from [82b661bcdf]
to [7d1d10a13b].
[diff]