novox/hq
18
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Name no node in design 47's test 10 proof: hq is public (issue 1130, review round 2)
mesh/delivery merged: source.main moved to novox/hq@fd0d712f7d97
Details
mesh/check pass de4c69d47634 on 132aae843383 | a compiled program is not refused: mesh-build-node reported no programs | unit 39 run, 0 kept, 1 skippe…

Browse Source
This commit is contained in:
jschoubben
2026-10-26 01:28:32 +01:00
parent 9eb963d5f1
commit de4c69d476
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
03-DESIGN/01-to-be/47-delivery-from-commit-to-delivered.md
+1 -1
View File
@@ -837,7 +837,7 @@ it). Restated, each has its own proof, or says it has none yet:
- **Test 9:** not yet proved under release 6. Each rule holding a want back on its own is a unit test of the assigner
(`internal/assign/wants_test.go`, `TestEachRuleHoldsTheWantBack`); the hotfix beside a moving source revision shows
live at the first such pair, read in the view's wants and haves.
- **Test 10:** a live read on 2026-10-26 at 01:20: ace's have of `avahi` named its fingerprint and composition digest,
- **Test 10:** a live read on 2026-10-26 at 01:20: one node's have of `avahi` named its fingerprint and composition digest,
its want named the same, and the builder's build of that fingerprint (`builder_build`) named its artifact by digest.
In all, 303 wants equalled their haves in fingerprint and digest.
- **Test 11:** half proved. The node agent applies only the composition its current want names