0bbcf98baa
Merge pull request 'Design 47 G: A-352, a bus module's running build counts while its newer build waits for the operator's yes' (#606) from design/47-G-lead-answers-29 into main
main
mesh-tools2026-11-13 12:10:51 +00:00
328ca1b320
Answer A-352: a bus module's running build counts while its newer build waits for the operator's yes
jschoubben2026-11-13 13:09:39 +01:00
67960e12ba
Merge pull request 'Design 47 G: A-350, the catalog's fill starts above every number the builder gave' (#605) from design/47-G-lead-answers-29 into main
mesh-tools2026-11-13 12:09:15 +00:00
258de07806
Answer A-351: the filled edges count the builder's numbers too; no digest where the builder kept none
jschoubben2026-11-13 13:05:30 +01:00
5dee91703f
Answer A-350: the catalog's fill starts above every number the builder gave, published or not
jschoubben2026-11-13 13:02:51 +01:00
aed9030594
Merge pull request 'Design 47 G: A-349, the pipeline runner's old forms accepted before G' (#604) from design/47-G-lead-answers-28 into main
mesh-tools2026-11-13 11:03:20 +00:00
ca86c2d8e7
Answer A-349: the pipeline runner's old forms are accepted before G, as §529 names it
jschoubben2026-11-13 11:46:29 +01:00
afdb26b057
Merge pull request 'Design 47 G: A-343 to A-348, the third reader release before G' (#603) from design/47-G-lead-answers-28 into main
mesh-tools2026-11-13 10:45:27 +00:00
96307d5f56
Answer A-343 to A-348: the third reader release before G, its scope and its checks
jschoubben2026-11-13 11:34:39 +01:00
dc76022e04
Merge pull request 'Design 47 G: the lead's answers A-339 to A-342, met merging the zfs group into G' (#602) from design/47-G-lead-answers-27 into main
mesh-tools2026-11-13 08:54:30 +00:00
14b5b324a2
Answer A-342: the node-engine sets MESH_NODE for every process it runs
jschoubben2026-11-13 09:17:36 +01:00
253c18c693
Answer A-341: a zfs device's finding in the writer's key form
jschoubben2026-11-13 09:16:08 +01:00
20a04f0226
Answer A-340: a process's bus may name what its module consumes; the writer's three events
jschoubben2026-11-13 09:10:36 +01:00
325bf80f19
Answer A-339: zfs's findings take G's writer over its keeper
jschoubben2026-11-13 09:08:48 +01:00
a7004d5e2a
Merge pull request 'Design 47 G: the lead's answers A-323 to A-334, from the dry run of G on itself' (#601) from design/47-G-lead-answers-26 into main
mesh-tools2026-11-13 08:00:18 +00:00
ed8b3bbd98
Answer A-338: f1-circuits' cache and Link2Pay's logs are class cache
jschoubben2026-11-13 08:52:09 +01:00
50c4980a49
A-337: the glossary's word, the manifest validator
jschoubben2026-11-13 02:47:38 +01:00
b216d914f7
Answer A-337: the judge counts and finds declarers over the whole trunk case
jschoubben2026-11-13 02:47:09 +01:00
e7e3691799
A-336 holds for every start of a pipeline, not only a take-in
jschoubben2026-11-13 02:42:06 +01:00
cbd32e3fa4
Answer A-336: a take-in heard before its branch's half starts with no steps
jschoubben2026-11-13 02:35:19 +01:00
712eca24ad
Answer A-335: the ten repositories still on version 1 join G's form (the operator's yes)
jschoubben2026-11-13 02:27:56 +01:00
bba961f9fd
Merge pull request 'Design 42 zfs-owns-zfs: the lead's answers A-30 to A-45 met in develop and review (issue 1979)' (#600) from design/42-zfs-answers-2 into main
mesh-tools2026-11-13 01:27:30 +00:00
4a466efcac
A-329, A-333: the glossary's word catalog
jschoubben2026-11-13 02:18:35 +01:00
5df4fb0ff6
Answer A-334: in a group take-in the changed runner is wanted on its own pass, first
jschoubben2026-11-13 02:12:58 +01:00
e4145affa2
Answer A-333: package-only cycles and delivery edges into packages are not refused
jschoubben2026-11-13 02:06:52 +01:00
7c13ee5682
Answer A-332: a kind-4 edge keeps its first-process-resource source
jschoubben2026-11-13 02:02:20 +01:00
8bd11f7532
Design 42 zfs-owns-zfs: A-45, every long-running unit declares its health
jschoubben2026-11-13 01:59:51 +01:00
f9f78f8f36
Answer A-331: a cycle across steps is a cycle; amends 272 as A-323 built it
jschoubben2026-11-13 01:58:42 +01:00
9fa132e393
Answer A-330: the acting-cycle finding; the node-engine's want is held by no acting edge, other rules stand
jschoubben2026-11-13 01:53:08 +01:00
a7831db516
Design 42 zfs-owns-zfs: A-43 no wait in a hand act, A-44 the stream-publish capability
jschoubben2026-11-13 01:51:17 +01:00
04e259524f
Answer A-329: the seed's left-out module raises seed-left-out until a seat builds it
jschoubben2026-11-13 01:49:50 +01:00
a60e04ed47
Answer A-326 to A-328: the build-input cycle is allowed, a late registration places its pipelines, the runner's own pipeline is never held
jschoubben2026-11-13 01:49:27 +01:00
6f417f30e7
Correct A-324 as A-325: a bypassed step is still placed and said
jschoubben2026-11-13 01:49:07 +01:00
75149fb5f3
Answer A-324: an archive or upstream artifact has its steps bypassed; a module no seat builds is left out of the seed by name
jschoubben2026-11-13 01:48:25 +01:00
ca142d4b98
Design 42 zfs-owns-zfs: A-42, a tools bundle publishes onto its own events stream by name
jschoubben2026-11-13 01:46:09 +01:00
87fdd04e81
Answer A-323: the assigner and the node-engine are one step, the node-engine's want first
jschoubben2026-11-13 01:44:49 +01:00
230dc73bc1
Design 42 zfs-owns-zfs: A-41, the keeper publishes on its events stream's subject
jschoubben2026-11-13 01:29:19 +01:00
f7d066fb32
Design 42 zfs-owns-zfs: A-39 and A-40, met in develop
jschoubben2026-11-13 01:10:06 +01:00
0f9ab08e2d
Design 42 zfs-owns-zfs: A-38, a process's bus names what its module asks for in requires
jschoubben2026-11-13 01:01:16 +01:00
53c407350f
Design 42 zfs-owns-zfs: A-36 corrects A-30's remove, A-37 the root processes reach the bus through a keeper
jschoubben2026-11-13 01:00:37 +01:00
4001fd3515
Design 42 zfs-owns-zfs: A-33 to A-35, met in develop
jschoubben2026-11-13 00:49:47 +01:00
be36341681
Design 42 zfs-owns-zfs: A-32 corrects A-10, findings in today's state form
jschoubben2026-11-13 00:45:17 +01:00
fec5bc42dc
Design 42 zfs-owns-zfs: A-31, the run reads the ledger through its module's tool
jschoubben2026-11-13 00:40:17 +01:00
27fd5ff860
Design 42 zfs-owns-zfs: A-30, the snapshots ledger in the ledger's own forms
jschoubben2026-11-13 00:39:43 +01:00
a5eae7aa0a
Merge pull request 'Design 42 zfs-owns-zfs: /etc/hostid by the apply, and the lead's answers A-1 to A-26 (issue 1979)' (#599) from design/42-zfs-hostid into main
mesh-tools2026-11-12 23:53:39 +00:00
4cb9efadae
Design 42 zfs-owns-zfs: A-27 to A-29, met in develop
jschoubben2026-11-13 00:28:08 +01:00
2c129789ff
Design 42 zfs-owns-zfs: A-26, a module declares what another resource needs before it
jschoubben2026-11-13 00:19:30 +01:00
8c98c27a5e
Design 42 zfs-owns-zfs: A-25, the form search finds ${config-json}
jschoubben2026-11-13 00:09:44 +01:00
283363d5cf
Merge pull request 'Design 47 G: lead answers A-321 and A-322, the watchman follows wants by seat' (#598) from design/47-G-lead-answers-25 into main
mesh-tools2026-11-12 23:07:47 +00:00
435fe73a0f
Design 42 zfs-owns-zfs: the lead's answers to the prepare's 24 questions, each against the principles
jschoubben2026-11-13 00:04:41 +01:00
04de5c3b30
Design 42 zfs-owns-zfs: the apply writes /etc/hostid and reads it back, as ADR 0679 version 17 says
jschoubben2026-11-12 23:58:42 +01:00
78fedf86aa
Answer A-322: the watchman takes seat events per seat, the branches follower takes registration-changed
jschoubben2026-11-12 23:46:10 +01:00
cc4da43b3c
Answer A-321: the watchman awaits a followed state by its seat and keeps seeded keys until the holder is read
jschoubben2026-11-12 23:41:03 +01:00
e97647cd18
Merge pull request 'Design 47 G: A-319 and A-320, the check runs unit and integration tests only' (#597) from design/47-G-lead-answers-24 into main
mesh-tools2026-11-12 22:37:17 +00:00
b9cd0bc492
Merge pull request 'Design 42: the zfs module owns a node's ZFS and changes nothing that is not set (ADR 0679, issue 1979)' (#596) from design/42-zfs-owns-zfs into main
mesh-tools2026-11-12 22:34:20 +00:00
06fd6f26b1
Test 36's end-to-end proof belongs to the test lab, not to a live node
jschoubben2026-11-12 23:21:35 +01:00
dec17874ab
Test 36 is proven by each module's integration test and one rehearsal; no check starts real builds
jschoubben2026-11-12 23:21:12 +01:00
224348ff4d
Design 42 zfs-owns-zfs: answer review round 1 against ADR 0679 version 11
jschoubben2026-11-12 23:20:51 +01:00
4d7fc66110
Answer A-319: entry-again also asks the shadow's entries again
jschoubben2026-11-12 23:13:12 +01:00
9ebf6e58f0
Merge pull request 'Design 47 G: lead answer A-318, what keeps its module form in G' (#595) from design/47-G-lead-answers-23 into main
mesh-tools2026-11-12 22:12:37 +00:00
071192e586
Answer A-318: what keeps its module form in G, listed
jschoubben2026-11-12 23:08:51 +01:00
f26c8afc20
Design 42 zfs-owns-zfs: schedule the run in list form, so nothing waits on the calendar fix
jschoubben2026-11-12 23:02:13 +01:00
0ea81e0e96
Design 42 zfs-owns-zfs: answer the open question in the node-engine, name issue 1979
jschoubben2026-11-12 22:57:56 +01:00
1de7bc38c8
Merge pull request 'Design 47 G: lead answer A-316, a candidate carries the parts of the modules it adds' (#594) from design/47-G-lead-answers-22 into main
mesh-tools2026-11-12 21:55:25 +00:00
5c766b7c8c
Answer A-317: the assigner's main process alone writes a proposal's candidates
jschoubben2026-11-12 22:54:24 +01:00
294a30b82b
A-316: the assigner's seat defines the two properties itself, held to the want's by a fixture
jschoubben2026-11-12 22:46:38 +01:00
f6cb279eea
Answer A-316: a candidate carries the parts of the modules it adds
jschoubben2026-11-12 22:45:27 +01:00
aef65c2f1e
Merge pull request 'Design 47 G: lead answer A-313, over-bound step answers in the steps state's own objects store' (#593) from design/47-G-lead-answers-21 into main
mesh-tools2026-11-12 21:41:15 +00:00
6772904668
Design 42: the zfs module owns a machine's ZFS and changes nothing unset (ADR 0679)
jschoubben2026-11-12 22:32:54 +01:00
fdac1264ac
Answer A-315: test 36 takes the builds of before G from the mesh and starts them as every module starts
jschoubben2026-11-12 22:29:02 +01:00
3acb50433a
Answer A-314: the build modules' steps state moves into requires
jschoubben2026-11-12 22:28:07 +01:00
a6d455f59c
Answer A-313: over-bound step answers live in the steps state's own objects store
jschoubben2026-11-12 22:26:49 +01:00
0bf9465cba
Merge pull request 'Design 47 G: lead answers A-306 to A-309 from review round 2' (#592) from design/47-G-lead-answers-20 into main
mesh-tools2026-11-12 21:25:58 +00:00
aad0eafa79
Use the glossary's words in A-311
jschoubben2026-11-12 22:20:55 +01:00
5744cc0472
Answer A-311 and A-312, and give A-310's shape
jschoubben2026-11-12 22:20:34 +01:00
47bb7409be
Answer A-310: a compose request's manifest names its fingerprint beside its digest
jschoubben2026-11-12 22:19:36 +01:00
383f21ed49
Answer A-309: a build module's outputs objects live as long as their step keys
jschoubben2026-11-12 22:03:26 +01:00
1b9c63e947
Answer A-307 and A-308: the node-engine gains no uses, and its watch of the indexer's modules goes
jschoubben2026-11-12 22:02:57 +01:00
edb7030102
Answer A-306: a module G creates is held by the test budget, not by section 626
jschoubben2026-11-12 22:00:16 +01:00
4eba1f451b
Merge pull request 'Design 47 G: lead answer A-304, the checker puts a phase's asks at once' (#591) from design/47-G-lead-answers-19 into main
mesh-tools2026-11-12 20:51:13 +00:00
dce214b7f5
Answer A-305: the pipeline runner's health is its unit, like its siblings'
jschoubben2026-11-12 21:47:56 +01:00
a0147f94af
Answer A-304: the checker puts a phase's asks at once and holds no step
jschoubben2026-11-12 21:35:48 +01:00
a70316b512
Merge pull request 'Design 47 G: correct lead answer A-303; playbook 07: the lead reads what an answer names first' (#590) from design/47-G-lead-answers-18 into main
mesh-tools2026-11-12 19:36:39 +00:00
26faa9981f
Playbook 07: the lead reads what an answer names before it answers
jschoubben2026-11-12 20:32:42 +01:00
a4f9d43037
Correct A-303: the reach's watches use the seat form, only the stuck key takes the real bucket
jschoubben2026-11-12 20:31:31 +01:00
ea3b790f1d
Merge pull request 'Design 47 G: the lead's answers A-298 to A-303' (#589) from design/47-G-lead-answers-17 into main
mesh-tools2026-11-12 19:07:45 +00:00
9a14624b69
Answer A-303: seat-form pictures; the stuck key and reach history name the holder's real bucket at run time
jschoubben2026-11-12 19:56:20 +01:00
d02f00bce7
Answer A-302: the indexer follows assignments through FollowSeat too; the holder loop goes
jschoubben2026-11-12 19:42:18 +01:00
480a857635
Answer A-301: the view's answers tool is the SDK's first-view tool with its callers list
jschoubben2026-11-12 19:31:12 +01:00
4fa5891697
Correct A-300: the view's tools keep assigner_read_wants, since a first view does not read by key or history
jschoubben2026-11-12 19:30:54 +01:00
f522c2114d
Answer A-300: the view's tools read the wants through the holder's first-view tool
jschoubben2026-11-12 19:29:44 +01:00
5c98c86d70
Answer A-299: the view's answers take one key form per asks kind; the kinds are seven
jschoubben2026-11-12 19:24:53 +01:00
b75c04f038
Answer A-298: one shared follower of the seat-holders view in the catalog seat's client
jschoubben2026-11-12 18:56:49 +01:00
023a355cdb
Merge pull request 'Design 47 G: §717 (the views are named by their seats) and the lead's answers A-294 to A-297' (#588) from design/47-G-lead-answers-16 into main
mesh-tools2026-11-12 17:59:25 +00:00
b03f5193b8
Design 47 G §717: a follower hears its seat's holder from the seat-holders view
jschoubben2026-11-12 18:54:23 +01:00
80863372dc
Design 47 G §717: the status view's and the assigner's views are named by their seats
jschoubben2026-11-12 18:52:24 +01:00
01fdde3701
Answer A-297: the runner's step ask id takes the usual form, repeatable per placement
jschoubben2026-11-12 18:48:19 +01:00
ef76908e0d
Answer A-296: seat forms in the manifests, own buckets from the credential's module
jschoubben2026-11-12 18:41:27 +01:00