rajames/LithosAnanke
1
1
Fork 0
Code Issues 76 Pull Requests 1 Actions 1 Packages Projects 1 Releases 6 Activity

notes: the release order, the documents last; the floor, the signing, the host tests

Browse Source 
Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_017RzZgrf7V7Zk2iczBXDRbm
This commit is contained in:
Claude
2026-11-12 18:57:50 +00:00
parent b0038376a7
commit e0dcaa163b
1 changed files with 11 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
.claude/memory/rules.md
+11
View File
@@ -117,3 +117,14 @@ v3 is not part of acceptance. There is no `make test`. Hosted `make` is compile
- The docs stage takes ~30 min here (the API reference); it outlasts the foreground limit and the tool
moves it to the background (not an acceptance boot; no QEMU). Proofs need the HOL-Library heap
(ci/runner-image's URL, checksum in its Dockerfile).
## Releasing (Captain Bob, 2026-11-12)
Order for alpha.5 and after: the protocol on everything -> push (on his word) -> merge the PR through the gate ->
move what is left to the next milestone -> the release commit (version, CHANGELOG, README together, as
93828e0e did for alpha.4) -> **the documentation review, the very last thing before the tag**: README.md,
CHANGELOG.md, .claude/CLAUDE.md, docs/README.md, docs/INDEX.md, FABRIC-3, boards/BRINGUP.md, the plans --
every claim, count and issue reference checked against the tree and the tracker as they then are, shown to
him -> the tag, on his word.
- The gate refuses unsigned builds (#174); a protocol run here is unsigned -- the gate's signing is CI's.
- POST's floor is v4/system/POST_FLOOR (#173): raise it when POST grows; never lower it without him.
- Kernel host tests: make -C kernel/tests test (docs/v4.0.0/plans/2026-11-12-kernel-host-tests.md).