-
Notifications
You must be signed in to change notification settings - Fork 826
docs(devlog): record the Wave 5C Cursor outcome #1954
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Changes from all commits
123bfd2
1d4e342
274fd2a
b8e8136
File filter
Filter by extension
Conversations
Jump to
Diff view
Diff view
There are no files selected for viewing
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -68,3 +68,29 @@ its CI could be judged. For #1900 the fork run was approved, waited to `complete | |
|
|
||
| `#1866` needs no decision here: it is an issue with no PR, and the structured Computer Use | ||
| payload it describes is a design task rather than a merge. | ||
| ## WP7 outcome | ||
|
|
||
| | PR | Outcome | Evidence | | ||
| |----|---------|----------| | ||
| | #1900 | merged | `2b12521ee` — CI success 01:12:10Z, merged 01:15:18Z | | ||
| | #1895 | merged via #1951 | its blocking review finding fixed on top of its commits | | ||
| | #1951 | merged | `93e521c80` — CI success 01:33:45Z, merged 01:37:50Z | | ||
| | #1953 | merged | `9eb3a101a` — CI success 01:57:51Z, merged 01:59:12Z | | ||
| | #1887 | **held** | must migrate five items into #1896 first; closing it as superseded would delete the catalog-derived guard | | ||
| | #1896 | **held** | needs #1887's `cursorNativeExecUsesCodeModeBridge` before it can be canonical | | ||
| | #1903 | **held** | conflicts alone on `dev`; needs an author rebase, and is a ~32-file review surface | | ||
| | #1866 | **not started** | no PR exists; explicitly scoped out of #1900 | | ||
|
Comment on lines
+71
to
+82
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🎯 Functional Correctness | 🟠 Major | ⚡ Quick win Keep one canonical WP7 outcome section. The file already contains a 🧰 Tools🪛 markdownlint-cli2 (0.23.2)[warning] 71-71: Headings should be surrounded by blank lines (MD022, blanks-around-headings) [warning] 71-71: Multiple headings with the same content (MD024, no-duplicate-heading) 🤖 Prompt for AI AgentsSource: Linters/SAST tools |
||
|
|
||
| **The defect I introduced and the audit caught.** #1951 fixed #1895's blocker — code mode is | ||
| decided from `freeform` metadata rather than the name `exec` — but my port of the shell-bridge | ||
| predicate dropped the Cursor original's `!tool.namespace` requirement. A namespaced MCP tool | ||
| (`mcp__docker__exec_command`) then cancelled code mode on a genuine code-mode turn, silently | ||
| stripping the guidance. It failed *safe* — generic rather than false guidance — which is exactly | ||
| why nothing caught it, and why an audit that runs the predicate against adversarial catalogs | ||
| beats one that reads it. Fixed in #1953, driven red first. | ||
|
|
||
| A second reviewer then probed ten catalog shapes — empty-string namespace, non-boolean truthy | ||
| `freeform`, mixed namespaced and bare bridges — and found no remaining misclassification. Worth | ||
| recording one behavior it judged correct: when `tool_choice` forces `exec`, a catalog holding | ||
| both a freeform `exec` and a bare `exec_command` still classifies as code mode, because the | ||
| bridge is filtered out of visibility first. Naming an unreachable tool would be the worse answer. | ||
| Original file line number | Diff line number | Diff line change | ||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| @@ -1,5 +1,11 @@ | ||||||||||||||||||||||||
| # WP8 — Wave 5D: Antigravity fingerprint and discovery | ||||||||||||||||||||||||
|
|
||||||||||||||||||||||||
| > **Read the two correction sections below before the original text.** The order and the | ||||||||||||||||||||||||
| > #1836 disposition in this header were both overturned during execution: the real order is | ||||||||||||||||||||||||
| > `#1891 → #1897 → #1889` for merge-cleanliness but **`#1889` must land first** for | ||||||||||||||||||||||||
| > correctness, and #1836 was already closed. The original text is left standing as the record | ||||||||||||||||||||||||
| > of what changed. | ||||||||||||||||||||||||
|
|
||||||||||||||||||||||||
|
Comment on lines
+3
to
+8
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🗄️ Data Integrity & Integration | 🟠 Major | ⚡ Quick win Separate the simulated merge order from the safe landing order. The header presents Label Proposed wording fix-`#1891 → `#1897` → `#1889`` for merge-cleanliness but **`#1889` must land first** for
-correctness, and `#1836` was already closed.
+The dry-run merge-cleanliness order was `#1891 → `#1897` → `#1889``; this is not the
+landing order. For correctness, **`#1889` must land before `#1891` and `#1897`**.
+#1836 was already closed.📝 Committable suggestion
Suggested change
🤖 Prompt for AI Agents |
||||||||||||||||||||||||
| ``` | ||||||||||||||||||||||||
| #1889 → #1891 → #1897 (then close #1836 as superseded) | ||||||||||||||||||||||||
| ``` | ||||||||||||||||||||||||
|
|
||||||||||||||||||||||||
| Original file line number | Diff line number | Diff line change |
|---|---|---|
|
|
@@ -76,3 +76,31 @@ of them: | |
|
|
||
| Neither is affected by the close-on-dev-merge decision: both are blocked *before* merge, so the | ||
| policy that governs when a merged fix closes its issue never reaches them. | ||
| ## WP9 gate result | ||
|
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 📐 Maintainability & Code Quality | 🔵 Trivial | ⚡ Quick win Add a blank line before the heading.
🧰 Tools🪛 markdownlint-cli2 (0.23.2)[warning] 79-79: Headings should be surrounded by blank lines (MD022, blanks-around-headings) 🤖 Prompt for AI AgentsSource: Linters/SAST tools |
||
|
|
||
| Run on the promotion candidate (local `dev`, 6 commits ahead of `origin/dev` at the time): | ||
|
|
||
| | Gate | Result | | ||
| |------|--------| | ||
| | `bun test --isolate tests` | **12805 pass, 10 skip, 0 fail**, 159382 expect() calls across 826 files (452s) | | ||
| | `bun run typecheck` | clean | | ||
| | `bun run privacy:scan` | passed | | ||
|
|
||
| ### What actually closed, under the close-on-dev-merge decision | ||
|
|
||
| | Closed | Landed via | | ||
| |--------|-----------| | ||
| | #1894 | #1739 through PR #1921 | | ||
| | #1843 | #1860, already released in v2.24.0 | | ||
|
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more.
This row says #1860 was released in v2.24.0, while the closure rule at line 20 says the same fix was released in v2.24.2. Repository ancestry places commit Useful? React with 👍 / 👎.
Contributor
There was a problem hiding this comment. Choose a reason for hiding this commentThe reason will be displayed to describe this comment to others. Learn more. 🎯 Functional Correctness | 🟡 Minor | ⚡ Quick win 🧩 Analysis chain🏁 Script executed: #!/bin/bash
set -eu
file='devlog/_plan/260817_wave5_execution/090_wave6_closeout.md'
printf '%s\n' '--- relevant lines ---'
sed -n '15,25p;88,97p' "$file"
printf '%s\n' '--- all references to `#1843` ---'
rg -n -C 2 '`#1843`|v2\.24\.[0-9]+' "$file"
printf '%s\n' '--- file status ---'
git diff --stat -- "$file"Repository: lidge-jun/opencodex Length of output: 1618 Correct the release version for Line 20 records 🤖 Prompt for AI Agents |
||
| | #1899 | superseded by the ordering assertion in PR #1923 | | ||
|
|
||
| Everything else stayed open, and none of it for release-timing reasons — which is the point | ||
| worth making about the policy change. It removed a gate that was never what held these back. | ||
|
|
||
| ### Promotion state | ||
|
|
||
| `dev` carries nine merged PRs from this campaign. `preview` and `main` are both behind it, and | ||
| `dev`'s own hosted CI has no completed green run on its current head — the runs at `2b12521ee` | ||
| and `aca3c0241` were both cancelled by supersession as later merges landed. The local full | ||
| suite above is the evidence that exists; a hosted run on the exact promotion head is the | ||
| evidence that does not, and promotion should carry that distinction rather than bury it. | ||
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
This appends a second
WP7 outcomewithout replacing or labeling the existing outcome immediately above it. The two tables now give contradictory current states—for example, the first says #1895 is held while the new table says it merged through #1951—so a reader cannot tell which status is authoritative. Replace the earlier outcome or explicitly identify it as an interim snapshot before adding the final result.Useful? React with 👍 / 👎.