loxseq_start_restart()forLOXSEQ_RECOVERY_RESTARTstart semantics.- CMake options:
LOXSEQ_BUILD_TESTS,LOXSEQ_BUILD_EXAMPLES,LOXSEQ_WARNINGS_AS_ERRORS. - CMake alias target:
loxseq::loxseq. - CMake package export for
find_package(loxseq CONFIG REQUIRED). - Docs:
docs/test-plan.md,docs/release-checklist.md,docs/evidence-matrix.md. - Public API (include/loxseq/loxseq.h).
- Implementation (src/loxseq.c).
- CMake build with examples + tests.
- CI workflow (.github/workflows/ci.yml).
- Docs: resume model, storage contract, integration, limitations.
- Examples: examples/minimal.c, examples/batch_reactor.c.
- On-disk record format v1 with CRC-16/CCITT-FALSE.
- CI now smoke-builds installed
examples/consumer_candexamples/consumer_cpppackages. - Release workflow validates strict
vMAJOR.MINOR.PATCHtags against the public header,CMakeLists.txt, andCHANGELOG.md. - Release notes are extracted from the exact matching changelog section.
- Package config now checks required components.
- Documentation and evidence matrix now distinguish implemented, user-side verified, configured CI, and NOT VERIFIED claims.
- Public API comments clarify borrowed lifetimes, external synchronization, and boot-local step timing.
LOXSEQ_RECOVERY_RESTARTpublic start path now resetsstep_entered_at_ms.loxseq_recover()updatesseq->last_recovery.- Reboot counter saturation logic uses the checkpoint record value.
- Unit tests no longer rely on
assert()and now cover storage and recovery fault cases. - Documentation and examples corrected to use
loxseq_start_restart()for RESTART.