Commit Graph

Select branches

Hide Pull Requests

fix/1439-replay

main

proofs/372-a-tap-shows-its-outcome

research/053-signed-bus-logins

#1

#10

#100

#101

#102

#103

#104

#105

#106

#107

#108

#11

#12

#13

#14

#15

#16

#17

#18

#19

#2

#20

#21

#22

#23

#24

#25

#26

#27

#28

#29

#3

#30

#31

#32

#33

#34

#35

#36

#37

#38

#39

#4

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#54

#55

#56

#57

#58

#59

#6

#60

#61

#62

#63

#64

#65

#66

#67

#68

#69

#7

#70

#71

#72

#73

#74

#75

#76

#77

#78

#79

#8

#80

#81

#82

#83

#84

#85

#86

#87

#88

#89

#9

#90

#91

#92

#93

#94

#95

#96

#97

#98

#99

Mono Color

• 3a9deb8cdb Merge pull request 'R4g (mesh-lab): the checker judges the lab; its scripts become tests (design 47)' (#108) from feat/r4g into main main jschoubben 2026-10-23 17:54:01 +00:00
• 4653b17e18 Delete merge-check.sh; the type check runs before npm test, where the Node level runs it (issue 1295, S5 root; ADR 0529) jschoubben 2026-10-23 15:37:13 +02:00
• bdb927f83d Delete asks/merge-check.sh; the proof against the clones is an integration test, the shell syntax a unit test (issue 1295, S5 asks; ADR 0529) jschoubben 2026-10-23 15:37:08 +02:00
• 49ee611847 Delete replays/merge-check.sh; tests that raise containers or a bus move to the integration level (issue 1295, S5 replays; ADR 0529) jschoubben 2026-10-23 15:36:51 +02:00
• 6a30dcb372 Register R1439: the SDK took names with digits for secrets (issue 1439) fix/1439-replay jochen 2026-10-21 10:55:25 +02:00
• 72ea2988be Merge pull request 'Register issue 867's replays (issue 867, ADR 0382)' (#107) from fix/867-register-the-replay into main mesh-tools 2026-10-16 01:50:15 +00:00
• 9294defef8 Register issue 867's replays: a delivery group's members checked beside each other (issue 867, ADR 0382) mesh-toolsandClaude 2026-10-16 01:46:06 +00:00
• 002f203079 Wait for any route, not exactly one: 2.11 pools routes between two servers research/053-signed-bus-logins jschoubben 2026-10-16 01:31:41 +02:00
• d77e4062dd Add a bed for the signed-login bus over a real network (research 053 question 8) jschoubben 2026-10-16 01:10:38 +02:00
• f024be6e04 Merge pull request 'Give the base build several mirrors and retry a failed pacman step (issue 700)' (#106) from fix/700-the-base-build-has-mirrors into main mesh-admin 2026-10-14 05:45:50 +00:00
• b053dc66bf Give the base build several mirrors and retry a failed pacman step (issue 700) jochen 2026-10-14 07:39:30 +02:00
• c0b1225f6d Merge pull request 'A suite run in which no test passed exits non-zero and names its skips (issue 693)' (#105) from fix/693-a-run-that-proved-nothing-is-not-passed into main mesh-admin 2026-10-14 05:05:36 +00:00
• 5ba88c69fa Read the runner's last summary and NOT REACHED in any case (issue 693, review 253) jochen 2026-10-14 03:28:14 +02:00
• 8635560993 A suite run in which no test passed exits non-zero and names its skips (issue 693) jochen 2026-10-14 03:14:05 +02:00
• f9be71b9ad Merge pull request 'A bed's forge takes the lab's shallow checkouts (issue 689)' (#103) from fix/689-a-shallow-checkout-reaches-the-forge into main mesh-admin 2026-10-14 00:52:06 +00:00
• 307dd23d6d Merge pull request 'The lab's phone shows an HTML message as Telegram does, so a tap carries back the words shown (issue 692)' (#104) from fix/692-the-fake-phone-reads-html into main mesh-admin 2026-10-14 00:45:34 +00:00
• dcaf843b8a The lab's phone shows an HTML message as Telegram does, so a tap carries back the words shown (issue 692) jochen 2026-10-14 02:37:06 +02:00
• 7ed7da1398 Let a bed's forge take the lab's shallow checkouts (issue 689) jochen 2026-10-14 02:21:21 +02:00
• 1316a405a6 Merge pull request 'Register R164: a credential only a person can give was made anyway (hq issue 164)' (#102) from fix/164-replay into main mesh-admin 2026-10-13 11:21:00 +00:00
• a0754ab06d Point R164 at the merge of its fix (mesh-controller #298) now it is merged jochen 2026-10-13 13:11:01 +02:00
• adaf525a88 Register R164: a credential only a person can give was made anyway (hq issue 164) jochen 2026-10-13 11:14:53 +02:00
• a8d86bb10b Merge pull request 'Register R614: a new SDK planned alone, rebuilding neither its toolchain nor its bundles (hq issue 614)' (#100) from fix/614-replay into main mesh-admin 2026-10-13 09:40:22 +00:00
• 9deefc6370 R614's fix is the merge of mesh-controller #296 (hq issue 614) jochen 2026-10-13 11:36:37 +02:00
• d7098c4b27 Merge pull request 'Serve the Go toolchain's repository to the genesis bed's installer (issue 616)' (#101) from fix/616-the-forge-serves-the-go-toolchain into main mesh-admin 2026-10-13 09:23:08 +00:00
• d21949c041 Serve the Go toolchain's repository to the genesis bed's installer (hq issue 616) jochen 2026-10-13 11:13:58 +02:00
• 7806a42c45 Register R614: a new SDK planned alone, rebuilding neither its toolchain nor the bundles in it (hq issue 614) jochen 2026-10-13 11:10:16 +02:00
• f71250c3dd Merge pull request 'Measure that the postgres module's image initialises where genesis raises the store (issue 609, hq ADR 0338 §5)' (#99) from fix/609-the-store-genesis-raises-initialises into main mesh-admin 2026-10-13 08:55:43 +00:00
• ba2806b985 Measure that the postgres module's image initialises where genesis now raises the store (hq issue 609, ADR 0338 §5) jochen 2026-10-13 10:47:34 +02:00
• 9497dda929 Merge pull request 'Register the replay of issue 239: a module's name is not taken over by another repository (hq issue 239)' (#98) from fix/239-replay into main mesh-admin 2026-10-13 05:37:14 +00:00
• 3b4ba29bec Register the replay of issue 239: a module's name is not taken over by another repository jochen 2026-10-13 07:02:55 +02:00
• 3eb48c949f Merge pull request 'Register R363: a README-only merge made a new digest of an unchanged Go program (hq issue 363)' (#97) from fix/363-replay into main mesh-admin 2026-10-13 05:08:19 +00:00
• 5f13bf0aff Register R363: a README-only merge made a new digest of an unchanged Go program (hq issue 363) jochen 2026-10-13 07:01:47 +02:00
• 73800225c3 Merge pull request 'Register R348: a fault from before a send failed the builds sent after it (hq issue 348)' (#96) from fix/348-replay into main mesh-admin 2026-10-13 04:39:44 +00:00
• becff66e0a Register R348: a fault from before a send failed the builds sent after it (hq issue 348) jochen 2026-10-13 06:09:50 +02:00
• 2aebf8f40e Merge pull request 'Register R349: a merge acted on late superseded the merge after it (hq issue 349)' (#95) from fix/349-replay into main mesh-admin 2026-10-13 03:54:15 +00:00
• 0ca7a83e0b Merge pull request 'Register R92 as a bed: genesis on a runtime that trusts no registry (hq issue 92) — NOT PROVED, blocked by issue 146' (#85) from fix/92-replay into main mesh-admin 2026-10-13 03:49:20 +00:00
• d16c3db9d2 Point R349 at the replay that reaches main's batch cut (review of mesh-controller #290) jochen 2026-10-13 05:49:05 +02:00
• 39ec294853 Register R349: a merge acted on late superseded the merge after it (hq issue 349) jochen 2026-10-13 05:22:56 +02:00
• 6ba65a12f2 Merge pull request 'Register R340: a verb set what every agent session obeys (hq issue 340)' (#94) from fix/340-replay into main mesh-admin 2026-10-13 01:07:06 +00:00
• ea24e7890f Register R340: a verb set what every agent session obeys (hq issue 340) jochen 2026-10-13 02:41:26 +02:00
• 0714f7a509 Pin R92 to today's genesis: main with every genesis fix, and the same without #91 (hq issue 92) jochen 2026-10-13 02:59:45 +02:00
• d03f87b00d Register R92 as a bed: genesis on a runtime that trusts no registry (hq issue 92) jochen 2026-10-12 17:12:03 +02:00
• 51fa3a73ab Merge pull request 'Name the build agent where genesis needs the module that builds (issue 596)' (#93) from fix/596-genesis-names-the-build-agent into main mesh-admin 2026-10-13 00:57:03 +00:00
• 383176a7ea Merge pull request 'Register R279 and R412: a folder could not follow its module's account; a seat named no paths (hq issues 279, 412)' (#90) from fix/279-412-replays into main mesh-admin 2026-10-13 00:45:30 +00:00
• 671d56a08a Register R279 and R412: a folder could not follow its module's account; a seat named no paths (hq issues 279, 412) jochen 2026-10-13 02:03:09 +02:00
• b7f46559f0 Merge pull request 'Register R166: a requirement could not be optional (hq issue 166)' (#92) from fix/166-replay into main mesh-admin 2026-10-13 00:38:10 +00:00
• abc022eece Name the build agent where genesis needs the module that builds (hq issue 596) jochen 2026-10-13 02:29:19 +02:00
• 87eca0c9a9 Register R166: a requirement could not be optional (hq issue 166) jochen 2026-10-13 02:28:18 +02:00
• e5ccf48468 Merge pull request 'Raise genesis past its broker step and hold that the bus is kept (issue 590, hq ADR 0333 §5)' (#91) from fix/590-genesis-keeps-its-bus into main mesh-admin 2026-10-13 00:22:07 +00:00
• c7c7268db0 Raise genesis past its broker step and hold that the bus is kept (hq issue 590, ADR 0333 §5) jochen 2026-10-13 02:13:35 +02:00
• d3ef6fa44c Merge pull request 'Name the one genesis bundle in every bed and the README (issue 146, ADR 0331)' (#89) from fix/146-one-genesis-bundle into main mesh-admin 2026-10-12 21:12:13 +00:00
• 1af6efb356 Name the one genesis bundle in every bed and the README (hq issue 146, ADR 0331) jochen 2026-10-12 22:50:50 +02:00
• 782aa9f737 Merge pull request 'Register R201: a plan sent the control node a controller older than the one running there (hq issue 201)' (#88) from fix/201-replay into main mesh-admin 2026-10-12 20:22:43 +00:00
• a96226f228 Register R201: a plan sent the control node a controller older than the one running there (hq issue 201) jochen 2026-10-12 21:18:59 +02:00
• 5c1c6f56c9 Merge pull request 'Register R401 and R561: an outside secret nobody gave was made; a plan's id was pasted into SQL (hq issues 401, 561)' (#87) from fix/401-replay into main mesh-admin 2026-10-12 18:22:12 +00:00
• 3c655d83e1 Register R561: a plan's id was pasted into the SQL that reads it (hq issue 561) jochen 2026-10-12 19:01:18 +02:00
• e63459dd70 Register R401: the send made a value for an own secret issued outside the mesh that nobody gave (hq issue 401) jochen 2026-10-12 18:37:30 +02:00
• 24b833d19d Merge pull request 'Register R341: a check judged the head alone and let a merge that does not compile through (hq issue 341)' (#86) from feat/341-a-merge-check-judges-the-merge into main mesh-admin 2026-10-12 16:11:30 +00:00
• 79108a72a0 Register R341: a check judged the head alone and let a merge that does not compile through jschoubben 2026-10-12 17:29:59 +02:00
• 930b13ff47 Merge pull request 'Register R233: a declaration that restores the package manager applies while it does not answer (hq issue 233)' (#84) from fix/233-replay-2 into main mesh-admin 2026-10-12 14:53:24 +00:00
• 39531a9972 Register R233: a declaration that restores the package manager applies while it does not answer (hq issue 233) mesh-admin 2026-10-12 14:41:40 +00:00
• a97ba661d9 Merge pull request 'Register R237: assign's answer agrees with plan right after the act (hq issue 237)' (#83) from replay/r237-rebased into main mesh-admin 2026-10-12 14:37:45 +00:00
• bd33abf3dd Register R237: assign's answer agrees with plan right after the act (hq issue 237) mesh-admin 2026-10-12 14:24:32 +00:00
• 1f008aeb18 Merge pull request 'Register R358: a parent swapped for a link leaves its target untouched' (#80) from replay/r358 into main mesh-admin 2026-10-12 13:46:20 +00:00
• 26a0f45269 Register R358: a parent swapped for a link leaves its target untouched (hq issue 358) jochen 2026-10-12 15:23:17 +02:00
• 9bd51f3c6c Merge pull request 'Register R294: a quote in a command line's value is said, and an open quote refused naming where (hq issue 294)' (#79) from replay/294-quote-in-a-quoted-value into main mesh-admin 2026-10-10 17:40:57 +00:00
• 8c78bcf9ce Register R294: a quote in a command line's value is said, and an open quote refused naming where (hq issue 294) jochen 2026-10-10 19:31:32 +02:00
• 858b15a1a3 Merge pull request 'Register R368: a moved path is no shrink, and a shrink at the new path still is (hq issue 368)' (#77) from replay/368-a-moved-path-is-no-shrink into main mesh-admin 2026-10-10 16:32:48 +00:00
• b3d6d65db1 Merge main into replay/368: the asks check fixed for issue 393 (#78) jochen 2026-10-10 18:27:49 +02:00
• c48d68ac92 Merge pull request 'asks: a replayed tap is said as the answer already recorded (issue 393)' (#78) from fix/393-asks-replayed-tap into main mesh-admin 2026-10-10 16:27:21 +00:00
• af0a32a780 asks: a replayed tap is said as the answer already recorded, on its acknowledgement (issue 393) jochen 2026-10-10 18:22:22 +02:00
• 95736b0eab Register R368: a moved path is no shrink, and a shrink at the new path still is (hq issue 368) jochen 2026-10-10 18:09:19 +02:00
• 037bc32a6f Merge pull request 'Prove the operator's answers end to end before anybody uses them (hq ADR 0259)' (#74) from proofs/asks-answered-on-the-phone into main mesh-admin 2026-10-10 12:15:05 +00:00
• 7289edb276 asks: the proof sees what the phone shows at a tap, and the question's outcome as its title (hq issue 372) proofs/372-a-tap-shows-its-outcome jochen 2026-10-10 14:12:45 +02:00
• 22043a3c86 Merge pull request 'Register R362: two merges seconds apart are delivered by one walk without a person (hq issue 362)' (#75) from replays/362-two-merges-seconds-apart into main mesh-admin 2026-10-10 11:14:08 +00:00
• 719ca7ae0b R362: the fix's commit after its branch was rebuilt without a binary (13ffae7) jochen 2026-10-10 13:06:01 +02:00
• bdb6efa8c6 Register R362: two merges seconds apart are delivered by one walk without a person jochen 2026-10-10 12:55:51 +02:00
• a10aeb9843 asks: move to mesh-sdk go/v0.1.10 jschoubben 2026-10-09 16:25:00 +02:00
• 5ebb3520ec asks: the live acceptance says when a new link can approve, and asks through mesh-cli jschoubben 2026-10-09 15:37:57 +02:00
• 70bc7ad3db asks: the live acceptance reads root-not-free, and gives the bot token at the controller's terminal jschoubben 2026-10-09 14:26:19 +02:00
• 086a5eb7a0 asks: move to mesh-sdk 16984aa; the proof passes on the confirmation review's fixes (9 of 9 parts, 192 s) jschoubben 2026-10-09 14:12:57 +02:00
• 01a541cadf asks: prove the reviewed flow — the controller's root-free word asked before an approval, the desk on its own account, a tap only on the words shown, the question saying who asks and what each answer does, and a rehearsal at the terminal for the live acceptance jschoubben 2026-10-09 12:44:21 +02:00
• 569a9e7ae8 asks: move to mesh-sdk 76902998, where an act is named fields digested canonically jschoubben 2026-10-09 12:02:39 +02:00
• a076ccfe51 Run the proof of the operator's answers in the Go toolchain on every pull request, and say NOT RUN loudly where it cannot jschoubben 2026-10-09 12:02:28 +02:00
• 8d24e7bbb5 asks: a granted publish is the control for every refusal the proof reads as the bus's jschoubben 2026-10-09 11:24:17 +02:00
• 3a486014fc Prove the operator's answers end to end before anybody uses them (hq ADR 0259) jschoubben 2026-10-09 11:08:42 +02:00
• d9173d49b8 Merge pull request 'Register R336: a send held for the bus's planned step is told to the operator' (#73) from replays/336-a-send-held-for-the-bus-step into main mesh-admin 2026-10-09 07:29:35 +00:00
• fb5bb1e3de Register R336: a send held for the bus's planned step is told to the operator jochen 2026-10-09 09:25:29 +02:00
• aaca73afb2 Merge pull request 'Register R335: a passed gate is not failed by the first machine's later reports (hq issue 335)' (#72) from replays/335-a-passed-gate-is-kept into main mesh-admin 2026-10-08 19:54:35 +00:00
• 06fa70d081 Register R335, so a passed gate failed by later reports fails before a core merge jochen 2026-10-08 21:52:19 +02:00
• 5981f0ae85 Merge pull request 'Register R327: a verb that only reads opens no bus connection of its own (hq issue 327)' (#71) from fix/327-a-verb-reads-on-the-serving-connection into main mesh-admin 2026-10-08 19:38:52 +00:00
• c9582ce041 Prove R327 against the merge of its fix jochen 2026-10-08 21:33:28 +02:00
• e99c2b22cb Prove R327 against the fix rebased on the dead-letter merge jochen 2026-10-08 21:16:09 +02:00
• 617f95f2bf Prove R327 against the fix as reviewed jochen 2026-10-08 20:04:07 +02:00
• 06e86ccd05 Register R327: a verb that only reads opens no bus connection of its own (hq issue 327) jochen 2026-10-08 17:55:52 +02:00
• 386e306642 Merge pull request 'Register R330: a message a consumer gave up on is kept (hq issue 330)' (#70) from fix/330-a-message-given-up-on-is-kept into main mesh-admin 2026-10-08 19:27:04 +00:00
• f91164863b Prove R330 against the merge of its fix jochen 2026-10-08 21:15:36 +02:00
• 54db7c3458 Register R330: a message a consumer gave up on is kept (hq issue 330) jochen 2026-10-08 17:36:57 +02:00
• 96b05fbd85 Merge pull request 'Register R331: a tool check is asked on the link the node-engine holds (hq issue 331)' (#69) from replays/331-a-tool-check-on-the-live-link into main mesh-admin 2026-10-08 15:17:24 +00:00
• 3a3317b487 Register R331, so a tool check refused as no link fails before a core merge jochen 2026-10-08 17:11:04 +02:00