queue: revs 2207-2208: row 188 add and briefed (Sage), #1686, P19 409/410, gates Part B (mos-0956)
This commit is contained in:
+2
-1
@@ -33,7 +33,7 @@ Gaps found while working go to `docs/plans/DEFERRED.md`, not here.
|
||||
|
||||
<!-- mosaic-queue:begin -->
|
||||
|
||||
Generated from `docs/plans/queue.json` revision 2206 by `queue render`. Do not edit between the markers; change the queue with `scripts/mosaic queue`.
|
||||
Generated from `docs/plans/queue.json` revision 2208 by `queue render`. Do not edit between the markers; change the queue with `scripts/mosaic queue`.
|
||||
|
||||
| # | Piece | Owner | Issues | State | After | Gate | Brief | Note |
|
||||
|---|---|---|---|---|---|---|---|---|
|
||||
@@ -224,6 +224,7 @@ Generated from `docs/plans/queue.json` revision 2206 by `queue render`. Do not e
|
||||
| 185 | stack-release.sh: every activate backs up the stopped store (mos-0928 Part A) | darkwing; reviewers filbert | #1683 | done | — | Filbert approves the manifest; cli suite and every scripts/test-*.sh green on Sage's gate; the three brief mutants killed (sage) | `docs/plans/2026-10-20_activate-always-backs-up.md` § Brief: every activate backs up the stopped store | Landed 490e2771d (author Darkwing) on 6c88bc666. Patch-id 774cd23186d5 matches the r1 candidate (manifest bf87dbba, Filbert approve 29404). Sage gate on b5d662cab+patch 06:54:56Z-07:03:40Z: node 2518/0, scripts 422/0, queue 156, network removed; 6c88bc666 adds only a SESSIONS line. Not live: the stack runs copy 89af38a83afa. |
|
||||
| 186 | stack-release --plan: the backup line says what the run will do (P19 404, row 185 N1/N2) | darkwing; reviewers filbert | #1684 | done | — | Filbert approves the manifest; cli suite and every scripts/test-*.sh green on Sage's gate; the three brief mutants killed (sage) | `docs/plans/2026-10-20_plan-backup-line.md` § Brief: the activate plan's backup line says what the run will do | Landed 269134d8d (author Darkwing) on 3c5da3a91. Patch-id c97b9f6e25cd matches the r1 candidate (manifest 449e9121, Filbert approve 29419). Sage gate on b367f5730+patch 09:00:20Z-09:08:59Z: node 2681/0, scripts 422/0, queue 156, network removed; 3c5da3a91 adds only a SESSIONS line. Not live: the stack runs copy 490e2771d3d0. Follow-ups on P19 404: Filbert M6 gap, store-unclean reading. |
|
||||
| 187 | stack-release activate carries the row 178 proof pair (mos-0928 Part B A0) | darkwing; reviewers filbert | #1685 | done | 186 done | Filbert approves the manifest; cli suite and every scripts/test-*.sh green on Sage's gate; the brief mutants killed (sage) | `docs/plans/2026-10-20_activate-proof-pair.md` § Brief: activate carries the row 178 proof pair | Landed 9a71e4e80 (author Darkwing) on d17328a55; patch-id 6b57c47bc661 matches candidate 52a5ecc1d143 and Filbert's r1 reading. Sage gate passed 10:21:55Z: cli 446/446 and every package and scripts/test-*.sh green. Filbert approve 29424, rev 2204; follow-ups N1-N4 filed on P19. |
|
||||
| 188 | stack-release tests: a carried proof pair and a proof file inside the repository (P19 409, 410; gates Part B) | darkwing; reviewers filbert | #1686 | briefed | 187 settled | Filbert approves the manifest; cli suite and every scripts/test-*.sh green on Sage's gate; the brief mutants killed (sage) | `docs/plans/2026-10-20_proof-test-gaps.md` § Brief: tests for the two proof-file paths row 187 left open | — |
|
||||
|
||||
<!-- mosaic-queue:end -->
|
||||
|
||||
|
||||
+106
-1
@@ -1,7 +1,7 @@
|
||||
{
|
||||
"version": 1,
|
||||
"canonicalRoot": "/mnt/storage/src/mosaic-stack",
|
||||
"revision": 2206,
|
||||
"revision": 2208,
|
||||
"rows": [
|
||||
{
|
||||
"id": 1,
|
||||
@@ -19554,6 +19554,44 @@
|
||||
"createdAt": "2026-10-20T08:42:34.708Z",
|
||||
"updatedAt": "2026-10-20T10:22:41.295Z",
|
||||
"updatedBy": "sage"
|
||||
},
|
||||
{
|
||||
"id": 188,
|
||||
"piece": "stack-release tests: a carried proof pair and a proof file inside the repository (P19 409, 410; gates Part B)",
|
||||
"owner": "darkwing",
|
||||
"issues": [
|
||||
1686
|
||||
],
|
||||
"closes": [
|
||||
1686
|
||||
],
|
||||
"state": "briefed",
|
||||
"previousState": null,
|
||||
"required": false,
|
||||
"requiredSince": null,
|
||||
"gate": "Filbert approves the manifest; cli suite and every scripts/test-*.sh green on Sage's gate; the brief mutants killed",
|
||||
"gateOwner": "sage",
|
||||
"brief": {
|
||||
"path": "docs/plans/2026-10-20_proof-test-gaps.md",
|
||||
"anchor": "Brief: tests for the two proof-file paths row 187 left open",
|
||||
"blob": "a25d245593c72c6e510446055e8db0301f53b248"
|
||||
},
|
||||
"after": [
|
||||
{
|
||||
"id": 187,
|
||||
"when": "settled"
|
||||
}
|
||||
],
|
||||
"reviewers": [
|
||||
"filbert"
|
||||
],
|
||||
"review": null,
|
||||
"claim": null,
|
||||
"note": null,
|
||||
"blockedReason": null,
|
||||
"createdAt": "2026-10-20T10:31:30.403Z",
|
||||
"updatedAt": "2026-10-20T10:34:33.913Z",
|
||||
"updatedBy": "sage"
|
||||
}
|
||||
],
|
||||
"log": [
|
||||
@@ -77732,6 +77770,73 @@
|
||||
"receipt": "ok sage-r187-done rev 2206 row 187 in-review→done round 1"
|
||||
},
|
||||
"viewSha": "ba0839dec43f7a55d178dbfdaefb31d8a57e70bb04507dba29fe4fc8c593763d"
|
||||
},
|
||||
{
|
||||
"rev": 2207,
|
||||
"op": "sage-188-add",
|
||||
"verb": "add",
|
||||
"args": {
|
||||
"piece": "stack-release tests: a carried proof pair and a proof file inside the repository (P19 409, 410; gates Part B)",
|
||||
"gate": "Filbert approves the manifest; cli suite and every scripts/test-*.sh green on Sage's gate; the brief mutants killed",
|
||||
"brief": "docs/plans/2026-10-20_proof-test-gaps.md#Brief: tests for the two proof-file paths row 187 left open",
|
||||
"issues": [
|
||||
1686
|
||||
],
|
||||
"note": null,
|
||||
"owner": "darkwing",
|
||||
"gateOwner": "sage",
|
||||
"after": [
|
||||
{
|
||||
"id": 187,
|
||||
"when": "settled"
|
||||
}
|
||||
],
|
||||
"reviewers": [
|
||||
"filbert"
|
||||
],
|
||||
"required": null
|
||||
},
|
||||
"by": "sage",
|
||||
"at": "2026-10-20T10:31:30.403Z",
|
||||
"semantics": 2,
|
||||
"result": {
|
||||
"row": 188,
|
||||
"from": null,
|
||||
"to": "queued",
|
||||
"brief": {
|
||||
"path": "docs/plans/2026-10-20_proof-test-gaps.md",
|
||||
"anchor": "Brief: tests for the two proof-file paths row 187 left open",
|
||||
"blob": "a25d245593c72c6e510446055e8db0301f53b248"
|
||||
},
|
||||
"receipt": "ok sage-188-add rev 2207 row 188 none→queued"
|
||||
},
|
||||
"viewSha": "a4909b51b588388ee060855483087bc1f5049c03d21410261ea426b0ca26c504"
|
||||
},
|
||||
{
|
||||
"rev": 2208,
|
||||
"op": "sage-188-briefed",
|
||||
"verb": "move",
|
||||
"args": {
|
||||
"id": 188,
|
||||
"to": "briefed",
|
||||
"reason": null,
|
||||
"candidate": null,
|
||||
"evidence": null,
|
||||
"issue": null
|
||||
},
|
||||
"by": "sage",
|
||||
"at": "2026-10-20T10:34:33.913Z",
|
||||
"semantics": 2,
|
||||
"result": {
|
||||
"row": 188,
|
||||
"from": "queued",
|
||||
"to": "briefed",
|
||||
"round": null,
|
||||
"issue": null,
|
||||
"candidate": null,
|
||||
"receipt": "ok sage-188-briefed rev 2208 row 188 queued→briefed"
|
||||
},
|
||||
"viewSha": "fbd7c9e29b4abbb99c65799bdca03a7595fe58c5e293190d39d8a6baf8fd647a"
|
||||
}
|
||||
]
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user