ms2k/lazaret
SHA256
Watch
0
Code Releases 3 Activity

docs: reorganize journal into structured sections

Browse source
This commit is contained in:
ms2k 2026-07-08 20:55:11 +09:00
commit 6c3aeca239
1 changed files with 2 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

3
docs/specification.md
View file

@ -5,7 +5,8 @@ problem, stable vocabulary, architecture, and requirements. The
[TLA+ application protocol model](protocol/Lazaret.tla) defines lifecycle and communication [TLA+ application protocol model](protocol/Lazaret.tla) defines lifecycle and communication
semantics. The [implementation plan](implementation-plan.md) records current semantics. The [implementation plan](implementation-plan.md) records current
technology choices, configuration schema, sequencing, and validation work. technology choices, configuration schema, sequencing, and validation work.
Experimental results and historical rationale belong in the [journal](journal.md). Experimental results and historical rationale belong in the
[journal](journal/00_INDEX.md).
## 1. Problem Statement ## 1. Problem Statement