Design 47 and the as-is delivery after release 6: acceptance tests on wants, as-is 04 and 13 as the mesh runs now (issue 1130)

+179 -92

3 Commits

Author	SHA1	Message	Date
jschoubben	de4c69d476	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…	2026-10-26 01:28:32 +01:00
jschoubben	9eb963d5f1	Give each restated acceptance test of design 47 its own proof, and add puts, the hand path and the builds bucket to as-is 04 (issue 1130, review round 1) Tests 18 and 19 do not cover tests 3, 7, 9, 10 and 11 as restated, so each now names the test or live read that proves it, or says it is not yet proved.	2026-10-26 01:27:21 +01:00
jschoubben	c255fd071c	Describe delivery after release 6: as-is 04 and 13 follow wants, compositions and haves, design 47's acceptance tests restated (issue 1130) Release 6 is delivered, so the as-is designs still describing the controller's plans were wrong, and design 47's tests 1 to 12 named batches, plans and the merge window that no longer exist.	2026-10-26 01:21:42 +01:00

Design 47 and the as-is delivery after release 6: acceptance tests on wants, as-is 04 and 13 as the mesh runs now (issue 1130) #477