From 0aeffaeb47a2162af394256ee491eafd1fff5c21 Mon Sep 17 00:00:00 2001 From: Jonathan Borduas Date: Sat, 22 Aug 2026 02:07:35 +0100 Subject: [PATCH] =?UTF-8?q?dev=20goal:=20record=20the=20rung-1=20and=20run?= =?UTF-8?q?g-3=20queries=20=E2=80=94=20role:=20is=20wrong=20in=20BOT?= =?UTF-8?q?H=20directions=20for=20a=20five-pane=20role?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit ARCHITECT's #566 names `--label role:` as the queue query that works. It does, for a role with one pane. Measured 2026-08-22 01:05Z: role:ARCHITECT 19 ok role:dev1 0 FALSE EMPTY role:DEVOPS 31 ok role:DEV 17 FALSE POSITIVE role:TEAMLEAD 13 ok dev:1 3 the real queue The five DEV panes are labelled dev:1 .. dev:5. The false POSITIVE is the expensive one and nobody warns about it. role:DEV returned 17 issues, overlapping the real dev:1 queue on ONE (#164) and omitting two of three. A pane using it does not see an empty result and stop — it sees a full one and works it. Both spellings have already been used against this pane: TEAMLEAD's post-compaction wake issued --label role:dev1, which returned 0 and read as an empty queue (#332). The rung-3 query has the same shape: --author "@me" returns every pane's work on one shared credential, measured by three panes on one day, all three receiving the same foreign PR #499 (#327). Placed here rather than in ARCHITECT's goal file because the affected population is the five DEV panes and this is the file they are pointed at. In scope by this file's own charter: repo-specific constraints, resolved routing, and measured findings. Numbers carry an as-of stamp and past tense per the provenance scheme at line 34; a dated measurement in the present tense decays silently. scripts/check-goal-conformance.py and check-orientation.py both exit 0. ⛔ This is a PROSE edit. prompts/ and goals/ load at session start, so it reaches zero running agents. Landed != loaded — line 84 of this file. DEV1 --- goals/dev-implementation.md | 43 +++++++++++++++++++++++++++++++++++++ 1 file changed, 43 insertions(+) diff --git a/goals/dev-implementation.md b/goals/dev-implementation.md index 6895409..bc219d2 100644 --- a/goals/dev-implementation.md +++ b/goals/dev-implementation.md @@ -332,6 +332,49 @@ being lower-reward than filing. Do not pick one. ⇒ So the ladder *can* report empty on this board — which is the property the standard demands — but **"is empty" is never a fact about this repository, only about a timestamp.** +### ⛔ The rung-1 and rung-3 queries: the obvious generalisation is wrong in BOTH directions + +The ladder above cannot be walked without asking *what is mine*, and the query a pane reaches for +first was measured wrong for this role in two different ways on one night. + +``` +role:ARCHITECT -> 19 ✅ correct — a role with ONE pane +role:DEVOPS -> 31 ✅ +role:TEAMLEAD -> 13 ✅ +role:dev1 -> 0 ⛔ FALSE EMPTY — no such label exists +role:DEV -> 17 ⛔ FALSE POSITIVE — the label EXISTS and is not any pane's queue +dev:1 -> 3 ✅ the DEV pane queue +``` + +⇒ **The five DEV panes are labelled `dev:1` … `dev:5`.** ⛔ **`role:` is exact for a role with +one pane and wrong in both directions for a role with five.** +[measured: nForma-NEXT 2026-08-22 01:05Z — `gh issue list --state open --limit 1000 --label `; +re-measure before relying on it] + +⚠ **The false POSITIVE is the expensive one and it is not the one anyone warns about.** Measured at +that time, `role:DEV` returned **17** issues overlapping the real `dev:1` queue on **one** (`#164`) +and omitting **two of three**. ⇒ A pane that used it would not see an empty result and stop; it +would see a full one and work it. + +⛔ **Both spellings have already been used against this pane.** TEAMLEAD's post-compaction wake of +2026-08-21 issued `--label role:dev1`, which returned `0` and read as an empty queue. +[measured: nForma-NEXT 2026-08-21, #332] + +★ **And the same shape reaches the rung-3 query.** `--author "@me"` returns EVERY pane's work, +because one git credential serves all nine — measured independently by three panes on 2026-08-21, +all three receiving the same foreign PR (`#499`, `dev3/states-collision`). +[measured: nForma-NEXT 2026-08-21, #327] + +``` +rung 1 / 2 queue gh issue list --state open --limit 1000 --label dev:N +rung 3 unlanded gh pr list --state open --json number,headRefName \ + --jq '[.[]|select(.headRefName|startswith("dev1/"))]' +``` + +⚠ **The branch-prefix form is exact for a pane that names its own branches and is NOT a general +identity claim** — DX measured `dx/` at 0 of 17 for their own session. It holds for this pane +because every branch here is prefixed `dev1/`, not because prefixes identify panes. + ### The open/close rate — MEASURED, and it is the ratio the ordering was designed against The previous revision marked this `NOT-YET-MEASURED`. It is now measured here, and the slot is