Triage issues 279-298: resolve the fixed, with replays R292 and R298 #188

2026-10-07T23:31:32Z

mesh-admin commented

2026-10-07 23:31:32 +00:00

Triage of the unresolved issues 279 to 298, done on 2026-10-08.

Resolved (12):

292 with replay: R292.
298 with replay: R298. Both replays are new: novox/mesh-controller #129 adds the tests and novox/mesh-lab #60 registers them. The prover says PROVED for both, failing before the fix and passing on it. Merge those two first.
293 with replay-none: the fix is in the forge module's TypeScript, and the prover runs only Go.
295 with replay-none: the fix lives inside a whole send over the bus, and the fix's own test uses the marker the fix added.
280, 281, 285, 286, 287, 289, 290, 291. For 285, 287, 289 and 291 the prover was run on 2026-10-08: each fix's tests do not build at the commit before the fix, so replay-none says so.

Re-checked, still holds:
279, 282 (partly fixed), 288 (partly fixed), 294.

records.py, cycle.py, index.py, words.py and merge-check.sh pass. cycle.py checks that replay: R292 and replay: R298 are well-formed, but not that the register holds them, so merging this before mesh-lab #60 is safe for the check. In meaning, though, it should follow #60.

Triage of the unresolved issues 279 to 298, done on 2026-10-08. **Resolved (12):** - **292** with `replay: R292`. - **298** with `replay: R298`. Both replays are new: novox/mesh-controller #129 adds the tests and novox/mesh-lab #60 registers them. The prover says PROVED for both, failing before the fix and passing on it. Merge those two first. - **293** with `replay-none`: the fix is in the forge module's TypeScript, and the prover runs only Go. - **295** with `replay-none`: the fix lives inside a whole send over the bus, and the fix's own test uses the marker the fix added. - **280, 281, 285, 286, 287, 289, 290, 291.** For 285, 287, 289 and 291 the prover was run on 2026-10-08: each fix's tests do not build at the commit before the fix, so `replay-none` says so. **Re-checked, still holds:** 279, 282 (partly fixed), 288 (partly fixed), 294. records.py, cycle.py, index.py, words.py and merge-check.sh pass. cycle.py checks that `replay: R292` and `replay: R298` are well-formed, but not that the register holds them, so merging this before mesh-lab #60 is safe for the check. In meaning, though, it should follow #60.

mesh-admin added 1 commit 2026-10-07 23:31:32 +00:00

Triage issues 279-298: resolve the fixed with replays R292 and R298

mesh/merge-gate pass: the change touches no module of the mesh's graph

Details

mesh/repo-check pass: its merge-check.sh passed

Details

mesh/delivery delivered

Details

64e97d0de1

292 and 298 resolve with replays now registered in mesh-lab. The other fixed
core issues say why no replay can be laid over the commit before their fix. The
rest are re-checked against main.

mesh-admin commented

2026-10-07 23:32:01 +00:00

Delivery novox/hq@64e97d0de18c — delivered since 2026-10-07T23:42:10Z

Delivery plan — builds nothing: the change touches no module of the mesh's graph

Transitions

2026-10-07 23:31 (new) → proposed (announced): novox/hq#188's head announced
2026-10-07 23:32 proposed → checked (checked): the verdict names this commit
2026-10-07 23:32 checked → ready (accepted): the gate passed or warned, and the repository's own check did not fail
2026-10-07 23:42 ready → published (merged): on the trunk its modules follow: merged there, and its walk opened — or nothing for a walk to move
2026-10-07 23:42 published → delivered (done): nothing for a walk to move

The commit's note under refs/notes/mesh-plan keeps every transition: git log --notes=mesh-plan.

**Delivery** `novox/hq@64e97d0de18c` — **delivered** since 2026-10-07T23:42:10Z **Delivery plan** — builds nothing: the change touches no module of the mesh's graph **Transitions** - 2026-10-07 23:31 (new) → proposed (announced): novox/hq#188's head announced - 2026-10-07 23:32 proposed → checked (checked): the verdict names this commit - 2026-10-07 23:32 checked → ready (accepted): the gate passed or warned, and the repository's own check did not fail - 2026-10-07 23:42 ready → published (merged): on the trunk its modules follow: merged there, and its walk opened — or nothing for a walk to move - 2026-10-07 23:42 published → delivered (done): nothing for a walk to move The commit's note under `refs/notes/mesh-plan` keeps every transition: `git log --notes=mesh-plan`.

mesh-admin merged commit 08a874b55f into main

2026-10-07 23:41:52 +00:00

mesh-admin deleted branch issues/triage-279-298

2026-10-07 23:41:52 +00:00

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: novox/hq#188