jschoubben
a3f6e967c0
Design 24: the controller hands the vault only the covered accounts' values until the third milestone, and the break-glass recovery is below (review of ADR 0550's amendment)
2026-10-26 13:32:37 +01:00
jschoubben
11b0a450c3
Designs 47, 24 and 39 follow ADR 0548 to 0551: one check per set of heads with carried verdicts and merge turns, placement in the catalogue, every secret in the vault
...
Design 47 names ADR 0548 (a check runs to its end, a trunk move carries a verdict by its package digests, the hold and the merge turn), ADR 0551 (the hold and turns only while the check gates merges), ADR 0549 (placement files read by the indexer) and ADR 0550 (the vault signs and adopts the loaded hashes), and ADR 0547's answers on placement and signing. Design 24 gains every secret in the vault; design 39 moves grants and tokens into it. The glossary gains carried verdict, merge turn and placement file.
2026-10-26 13:29:30 +01:00
mesh-tools
122cda84b3
Merge pull request 'Playbooks 07 and 08: read the forge branch's head before trusting an agent's push' ( #479 ) from pb/read-the-pushed-head into main
2026-10-26 10:03:59 +00:00
jschoubben
be1bbe0a65
Playbooks 07 and 08: read the forge head before trusting a reported push, so a try never runs on a push that did not happen
mesh/delivery merged: source.main moved to novox/hq@122cda84b302
mesh/check pass be1bbe0a652a on 132aae843383 | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | composition passed
2026-10-26 11:02:44 +01:00
mesh-tools
585551722a
Merge pull request 'Design 47 follows ADR 0547: node agents compose, the grants part composes who may say what, the bus node writes the user list, and the controller leaves build and delivery in three milestones (issue 1945)' ( #478 ) from fix/1945-user-list-follows-r into main
2026-10-26 07:51:14 +00:00
jschoubben
f1c50d3e01
Design 47: the assigner's acceptance test names its six rules, as ADR 0547 §4 leaves them; the bus node follows the controller's list until the third milestone, for hand-back; placement stays where it is for now (issue 1126)
mesh/delivery merged: source.main moved to novox/hq@585551722a4e
mesh/check pass f1c50d3e018c on 132aae843383 | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | composition passed in 2ms
2026-10-26 02:59:58 +01:00
jschoubben
d70791ddee
Design 47: sentences that still named the controller as composer, issuer or reader of grants follow ADR 0547 as amended
2026-10-26 02:58:12 +01:00
jschoubben
5bdeb8db83
Design 47: take-over's test as ADR 0547's insight states it
2026-10-26 02:57:45 +01:00
jschoubben
d94f8a05a8
Design 47 follows ADR 0547: node agents compose their own modules, a grants part composes who may say what, the bus node writes the user list alone, and the controller leaves build and delivery in three milestones
2026-10-26 02:57:45 +01:00
mesh-tools
fd0d712f7d
Merge pull request '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 ) from fix/1130-after-r6 into main
2026-10-26 00:39:21 +00:00
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
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
mesh-tools
b11120f681
Merge pull request 'Playbooks 07 and 08: lessons from the 2026-10-25 recovery' ( #476 ) from pb/recovery-lessons-2026-10-25 into main
2026-10-25 12:30:43 +00:00
jschoubben
0354947ba6
Playbooks 07 and 08: the dependent-pull-request rule leaves delivery group members out; the instance-search rule is a numbered item
mesh/delivery merged: source.main moved to novox/hq@b11120f681ef
mesh/check pass 0354947ba610 on b11120f681ef | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | composition passed
2026-10-25 13:29:17 +01:00
jschoubben
4d596bd211
Playbooks 07 and 08: open a dependent pull request only after delivery, fold a follow-up into the unapproved one, search every instance of a fault kind
mesh/delivery closed: a newer head of the same pull request
mesh/check pass 4d596bd21175 on 0e1d0392bc83 | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | composition passed
2026-10-25 13:27:54 +01:00
mesh-tools
0e1d0392bc
Merge pull request 'R6: design 47, the glossary and playbook 07 follow the switch to wants (issue 1130)' ( #475 ) from feat/r6 into main
2026-10-24 23:00:22 +00:00
jschoubben
ba09497092
Name the hand-path command mesh-hand-compose, as mesh-sdk feat/r6 now calls it: main's mesh-compose is the composer (ADR 0482, issue 1943)
mesh/delivery-group group feat/r6 merged: every member is merged
mesh/check pass ba09497092ec on 0e1d0392bc83 | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | composition passed
2026-10-24 23:06:00 +02:00
jschoubben
2d3a205740
Merge remote-tracking branch 'origin/main' into feat/r6
2026-10-24 23:00:09 +02:00
jschoubben
49dd8fc7e3
Merge pull request 'R4g finish: hq's checks as Go tests, the old word struck, the marker (issues 1296, 1935)' ( #473 ) from feat/r4g-finish into main
...
Reviewed-on: #473
2026-10-24 20:56:42 +00:00
jschoubben
9558b71a4a
Merge pull request 'Playbook 07: read a verdict's trunk against main at once, because a lagging source revision makes the Approve merge nothing (issue 1726)' ( #474 ) from pb/verdict-trunk into main
...
Reviewed-on: #474
2026-10-24 19:47:56 +00:00
jschoubben
3dbb5d4e65
Design 47: the switch needs release 5's bus grants and the operator's key first, the record hold's exception after the switch, and nothing checks the budgets (review of 4b514e4, issue 1130)
2026-10-24 21:06:41 +02:00
jschoubben
4b514e4d69
Design 47, the glossary and playbooks 04, 07 and 08 for release 6: wants and signed compositions, no plans (ADR 0539, issue 1130)
...
Release 6 deletes delivery plans, batches, the merge window and tiers, so
design 47's sections that described them as current are rewritten to the
assigner's seven rules, the controller's signed compositions per node, the
node agent, credentials on a done build, the switch as release 5's last plan,
the hand path by mesh-compose and a want, and the view's delivered, moving,
settled and stuck events. The glossary gains composition and restates want,
declaration, send and apply; the playbooks follow a delivery by the view and
the have keys and call no plans, plan, push or what-if.
2026-10-24 21:01:24 +02:00
jschoubben
8433e42c03
Playbook 07: the glossary's words, the source revision and the gate (review)
mesh/check pass 8433e42c03cd on 0e1d0392bc83 | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | composition passed
2026-10-24 13:54:31 +02:00
jschoubben
129af9906d
Playbook 07: read a verdict's trunk against main at once, because a lagging trunk makes the Approve merge nothing (issue 1726)
2026-10-24 13:50:37 +02:00
jschoubben
2249d30151
Merge main into feat/r4g-finish ( #472 )
mesh/delivery-group group feat/r4g-finish merged: every member is merged
mesh/check pass 2249d30151e8 on 0e1d0392bc83 | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | composition passed
2026-10-24 13:26:24 +02:00
jschoubben
c12d503b2e
Merge pull request 'Playbooks 07 and 08: ask who ends each bus key, how a switch-over goes one node first, how a group's integration level runs; a hand merge runs it first (research 071, issue 1941)' ( #472 ) from pb/research-071-checks into main
...
Reviewed-on: #472
2026-10-24 11:10:51 +00:00
jschoubben
8498006d23
Playbooks 07 and 08: answer the review (no lab, plain words, checks on the forge, issue 1941)
2026-10-24 12:50:35 +02:00
jschoubben
d20ed892cf
Playbooks 07 and 08: three questions in the milestone file, and a try before a merge by hand (research 071, issue 1921)
2026-10-24 12:45:57 +02:00
jschoubben
d08cac4e86
Answer the review of hq's finish: role names in the as-is delivery, ADR 0524-0529 named, stale check names fixed (issue 1296)
2026-10-24 04:40:02 +02:00
jschoubben
ca460b681b
hq's checks read the whole repository: mark the package reads-outside so its tests always run (issue 1935)
2026-10-24 03:46:56 +02:00
jschoubben
b3b778a1a6
Describe delivery as it runs after R4g: the parts, the build modules, the one check (issue 1296, H9)
2026-10-24 03:41:01 +02:00
jschoubben
6dc008b5e7
Delete merge-check.sh and the four Python checks; the Go tests replace them (issue 1296, H6)
2026-10-24 03:39:11 +02:00
jschoubben
82aa3f6afa
Merge pull request 'Playbooks 07 and 08: after a failed try, a local run of the integration level is a good first step (guideline)' ( #471 ) from pb/try-fails-run-locally into main
...
Reviewed-on: #471
2026-10-23 21:50:24 +00:00
jschoubben
8055006ba1
Playbook 07: the two 'never run integration tests on the machine' lines say 'while developing', so the guideline after a failed try no longer contradicts them (review-471)
mesh/check pass 8055006ba1f3 on 0e1d0392bc83 | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | over bound: unit (slowest unit…
2026-10-23 23:24:15 +02:00
jschoubben
2b53b6a5d2
Playbooks 07 and 08: say the local run after a failed try as a guideline, not a rule (the operator)
mesh/delivery superseded: a newer head of the same pull request
mesh/check pass 2b53b6a5d24a on 656f3af86f37 | unit 0 run, 39 kept | integration 0 run, 39 kept | clone 13s | composition passed with v0.1.14-0.20
2026-10-23 23:22:21 +02:00
jschoubben
87c338da8e
Playbooks 07 and 08: a failed try or check is run locally at once, so every failure shows in one run, not one per try (the operator, 2026-10-23)
mesh/delivery superseded: a newer head of the same pull request
mesh/check pass 87c338da8eba on 656f3af86f37 | unit 39 run, 0 kept, 1 skipped | integration 39 run, 0 kept, 1 skipped | composition passed
2026-10-23 23:20:27 +02:00
jschoubben
656f3af86f
Merge pull request 'R4g+R5 (hq): its checks as Go tests; design 47, the glossary and playbooks say what R4g builds (design 47)' ( #470 ) from feat/r4g into main
...
Reviewed-on: #470
2026-10-23 17:54:31 +00:00
jschoubben
e8bd9171cd
Design 47: the gate reads mesh/check, the forge requires no status (ADR 0534 §1 changes ADR 0447 §5)
mesh/repo-check head e8bd9171cdbc merged into trunk fa7629d02be7 — pass: its merge-check.sh passed
mesh/delivery-group group feat/r4g merged: every member is merged
mesh/check pass e8bd9171cdbc on 0e1d0392bc83 | unit 39 run, 5 kept, 1 skipped | integration 39 run, 12 kept, 1 skipped | composition passed
2026-10-23 16:31:15 +02:00
jschoubben
8f7c23da7d
Make a timer that writes state, or a rule in code that overrides a person, a change the review asks (issue 1903)
2026-10-23 16:10:44 +02:00
jschoubben
d49dccb8d5
Use the glossary's word composition check where the merge gate was struck (issue 1303)
2026-10-23 16:10:08 +02:00
jschoubben
6ead37ee7b
Design 47: no status is required on any repository, so hq's Python checks go after the delivery (ADR 0534), and ADR 0529 is named
2026-10-23 16:10:01 +02:00
jschoubben
c8ccbfe35f
Playbooks 07, 08 and the overview name what runs: the checker's try and status, hq's Go tests, the stream backlog, and the way to deliver without the builder (issue 1888)
2026-10-23 15:17:30 +02:00
jschoubben
99fa8f0f09
Glossary: the build seat, the build queue and the build capacity as asks on a language's streams, and the build module (issue 1788)
2026-10-23 15:16:08 +02:00
jschoubben
75056fa931
Design 47 says what R4g and R5 build as one milestone: asks on streams, the assigner's wants, hq's Go tests, the hand path (issue 1130)
2026-10-23 15:15:18 +02:00
jschoubben
47e78d8ff4
Strike the word merge gate: the composition check replaces it in the glossary, the designs and the playbook, and old issues keep it dated (issue 1303)
2026-10-23 15:12:57 +02:00
jschoubben
1385452dc9
Say in the checks' README that the same four checks are Go tests (issue 1296)
2026-10-23 15:11:20 +02:00
jschoubben
5b63a86464
Run words.py as Go tests, with the clock injected and the catalogue comparison skipped when unset (issue 1296)
2026-10-23 15:10:53 +02:00
jschoubben
344c92498d
Run cycle.py as Go tests: a design's layer, status, decisions and code, and the issues folder's numbers and frontmatter (issue 1296)
2026-10-23 15:07:48 +02:00
jschoubben
9339e953b8
Run index.py as Go tests: the reading order's topics are written and no list of records is stored (issue 1296)
2026-10-23 15:07:48 +02:00
jschoubben
mesh-tools