docs: sync the wiki with wiki/ in the main repository The published pages had fallen behind the tracked ones: Limitations still described the pipelined-read ordering defect as open, which v0.2.1 fixed, and Verification did not mention cargo deny, cargo audit, the official MCP SDK conformance check, or the two checks that test the verifier's own decisions.
docs: the Sakur4 wiki Published from wiki/ in the main repository, which is where the pages are tracked and reviewed alongside the code they describe. 18 pages: getting started, the tool reference, every harness, configuration, the CLI, architecture, cache coherence, the memory model, benchmarks, verification, security, limitations, troubleshooting, releasing, contributing and the design decisions.
Initial Home page