Overview
| Comment: | Merge the LogStore benchmark step and the phantom-to-content upgrade coverage from the storage branch onto trunk |
|---|---|
| Timelines: | family | ancestors | descendants | both | trunk |
| Files: | files | file ages | folders |
| SHA3-256: |
b9bc673b650af5dff5d721c4722c3c04 |
| User & Date: | dmestas on 2026-07-10 23:33:54.992 |
| Other Links: | manifest | tags |
Context
|
2026-07-11
| ||
| 03:20 | Cover the sync section 3.9 robustness posture and section 3.10 round message layout by binding each restated clause onto the classifier and state machine that already own it, asserting the four liberal-tolerance points against a fatal strict complement and the canonical Table 4 request order against the unordered Table 5 reply combination. check-in: 0cf3d5e616 user: dmestas tags: trunk | |
|
2026-07-10
| ||
| 23:33 | Merge the LogStore benchmark step and the phantom-to-content upgrade coverage from the storage branch onto trunk check-in: b9bc673b65 user: dmestas tags: trunk | |
| 23:27 | Exercise the phantom-upgrade path of LogStore.put per §C, where content arriving for a hash already interned as a phantom reuses its rid and appends its first frame, adding a reopen round-trip test, an allocation-failure test, and a phantom-upgrade operation in the storage sweep. check-in: 5c53bf6ee8 user: dmestas tags: storage | |
| 23:09 | Bind the §3.4 clone loop to the operation-agnostic round dispatch and termination primitives so no round can branch by operation, and cover the §3.5 pragma round-order dispatch with its unknown-name-ignored versus unknown-operator-fatal split. check-in: dc535a335c user: dmestas tags: trunk | |
Changes
Modified build.zig
from [ae2afaa5db]
to [e5a9416519].
[diff]
Modified src/logstore.zig
from [2292d6da26]
to [6aa3bde9bb].
[diff]
Added src/logstore_benchmark.zig version [4aa97f534b].
Modified src/sim/storage_sweep.zig
from [7b1ff69c31]
to [63bfb78aba].
[diff]