Labels Milestones New Pull Request

0 Open 108 Closed

Label

Show archived labels Use alt + click/enter to exclude labels

All labels No label

mesh/ready

Milestone

All milestones No milestones

Project

All projects No project

Author

All users

Assignee

Assigned to nobody Assigned to anybody

agent-ace agent-g14 agent-novox agent-shanks jschoubben mesh-tools miel.truyen nox-agent

Sort

Newest Oldest Most recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

0 Open 108 Closed

Label

Clear labels

mesh/ready

Milestone

No milestone

Projects

Clear projects

Assignee

Clear assignees

agent-ace

agent-g14

agent-novox

agent-shanks

jschoubben

mesh-tools

miel.truyen

nox-agent

Register R201: a plan sent the control node a controller older than the one running there (hq issue 201)

#88

by mesh-admin was merged 2026-10-12 20:22:44 +00:00

main

fix/201-replay

2

Register R401 and R561: an outside secret nobody gave was made; a plan's id was pasted into SQL (hq issues 401, 561)

#87

by mesh-admin was merged 2026-10-12 18:22:12 +00:00

main

fix/401-replay

2

Register R341: a check judged the head alone and let a merge that does not compile through (hq issue 341)

#86

by mesh-admin was merged 2026-10-12 16:11:30 +00:00

main

feat/341-a-merge-check-judges-the-merge

1

Register R92 as a bed: genesis on a runtime that trusts no registry (hq issue 92) — NOT PROVED, blocked by issue 146

#85

by mesh-admin was merged 2026-10-13 03:49:20 +00:00

main

fix/92-replay

3

Register R233: a declaration that restores the package manager applies while it does not answer (hq issue 233)

#84

by mesh-admin was merged 2026-10-12 14:53:25 +00:00

main

fix/233-replay-2

2

Register R237: assign's answer agrees with plan right after the act (hq issue 237)

#83

by mesh-admin was merged 2026-10-12 14:37:46 +00:00

main

replay/r237-rebased

1

Register R233: a declaration that restores the package manager applies while it does not answer (hq issue 233)

#82

by mesh-admin was closed 2026-10-12 14:42:03 +00:00

main

fix/233-replay

1 conflicting file

2

Register R237: assign's answer agrees with plan right after the act (hq issue 237)

#81

by mesh-admin was closed 2026-10-12 14:25:12 +00:00

main

replay/r237

1 conflicting file

3

Register R358: a parent swapped for a link leaves its target untouched

#80

by mesh-admin was merged 2026-10-12 13:46:21 +00:00

main

replay/r358

2

Register R294: a quote in a command line's value is said, and an open quote refused naming where (hq issue 294)

#79

by mesh-admin was merged 2026-10-10 17:40:59 +00:00

main

replay/294-quote-in-a-quoted-value

2

asks: a replayed tap is said as the answer already recorded (issue 393)

#78

by mesh-admin was merged 2026-10-10 16:27:21 +00:00

main

fix/393-asks-replayed-tap

2

Register R368: a moved path is no shrink, and a shrink at the new path still is (hq issue 368)

#77

by mesh-admin was merged 2026-10-10 16:32:48 +00:00

main

replay/368-a-moved-path-is-no-shrink

4

asks: the proof sees what the phone shows at a tap, and the question's outcome as its title (issue 372)

#76

by mesh-admin was closed 2026-10-17 18:51:35 +00:00

main

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

2 conflicting files

3

Register R362: two merges seconds apart are delivered by one walk without a person (hq issue 362)

#75

by mesh-admin was merged 2026-10-10 11:14:08 +00:00

main

replays/362-two-merges-seconds-apart

1

Prove the operator's answers end to end before anybody uses them (hq ADR 0259)

#74

by mesh-admin was merged 2026-10-10 12:15:06 +00:00

main

proofs/asks-answered-on-the-phone

1

Register R336: a send held for the bus's planned step is told to the operator

#73

by mesh-admin was merged 2026-10-09 07:29:35 +00:00

main

replays/336-a-send-held-for-the-bus-step

1

Register R335: a passed gate is not failed by the first machine's later reports (hq issue 335)

#72

by mesh-admin was merged 2026-10-08 19:54:35 +00:00

main

replays/335-a-passed-gate-is-kept

1

Register R327: a verb that only reads opens no bus connection of its own (hq issue 327)

#71

by mesh-admin was merged 2026-10-08 19:38:52 +00:00

main

fix/327-a-verb-reads-on-the-serving-connection

1

Register R330: a message a consumer gave up on is kept (hq issue 330)

#70

by mesh-admin was merged 2026-10-08 19:27:04 +00:00

main

fix/330-a-message-given-up-on-is-kept

1

Register R331: a tool check is asked on the link the node-engine holds (hq issue 331)

#69

by mesh-admin was merged 2026-10-08 15:17:24 +00:00

main

replays/331-a-tool-check-on-the-live-link

1