backlog(B-0692+B-0693+B-0694): Otto-VSCode 8-PR campaign PRs 6-7-8 — push-based + morsel + codegen capstone#4568
Conversation
…push-based hot-path (IPushOperator + segment-detection) + morsel/span execution (IMorselOperator + cache-sized chunks) + standing-query codegen (IIncrementalGenerator + F# Type Provider) capstone; Aaron-approved shadow* 'file the 3 rows for PRs 6-8'; depends_on chain to PRs 1-5 substrate (#4558/#4560/#4566 merged + #4563/#4564 pending)
![chatgpt-codex-connector[bot]](https://avatars.githubusercontent.com/in/1144995?s=60&v=4){kind=small}
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 1c102527b4
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
There was a problem hiding this comment.
Pull request overview
Adds three new P2 backlog rows (B-0692/B-0693/B-0694) capturing the planned PRs #6–#8 of the Otto-VSCode “algebra capability system” campaign (push-based execution, morsel/span execution, and standing-query codegen capstone), and updates the generated docs/BACKLOG.md index to include them.
Changes:
- Adds backlog row B-0692 for a push-based hot path (
IPushOperator<'T>+ segment materialization boundaries). - Adds backlog row B-0693 for morsel/span-based execution (
IMorselOperator+ cache-sized chunking). - Adds backlog row B-0694 for standing-query codegen (Roslyn incremental generator + F# type provider plan).
- Updates
docs/BACKLOG.mdto list the three new rows under P2.
Reviewed changes
Copilot reviewed 4 out of 4 changed files in this pull request and generated 3 comments.
| File | Description |
|---|---|
| docs/backlog/P2/B-0692-otto-vscode-pr6-push-based-hot-path-ipushoperator-2026-05-21.md | New backlog row describing push-based execution plan (PR #6). |
| docs/backlog/P2/B-0693-otto-vscode-pr7-morsel-span-execution-imorseloperator-2026-05-21.md | New backlog row describing morsel/span execution plan (PR #7). |
| docs/backlog/P2/B-0694-otto-vscode-pr8-standing-query-codegen-iincrementalgenerator-2026-05-21.md | New backlog row describing standing-query codegen capstone plan (PR #8). |
| docs/BACKLOG.md | Adds B-0692/B-0693/B-0694 entries to the P2 index list. |
…ed; transitive coverage via cross-verify; unblocks 4 stale PRs (#4570) * fix(stryker): retarget from F# Core.fsproj to C# Core.CSharp.ZetaId.csproj — Stryker.NET 4.x F# unsupported (NotSupportedException Language not supported Fsharp); C# mutation coverage transitively constrains F# substrate via cross-verify harness (PRs #4517 + #4522 + #4548 byte-identical hex agreement); F# coverage remains rich via FsCheck + TLA+ + Z3 + Lean + Alloy + CodeQL; unblocks 4 stale PRs (#4563/#4567/#4568/#4569 BLOCKED on pre-existing F# Stryker bug) * fix(stryker-pr-4570): expand path filter to include src/Core/** (Tests.CSharp.csproj transitive F# reference per Codex P2) + tests/cross-verification/zeta-id/** (CrossVerifyTests reads vectors.yaml per Copilot P1)
…rows — Phase N subheadings + immediate-bullets need blank lines per markdownlint-cli2
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: 1fe721b4d2
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
…B-0693/B-0694 — (a) move B-0635 + B-0688 from hard depends_on to composes_with per Codex P2 (narrative says PR #1-#5 are the real prereqs; B-0635 wave-particle is conceptual cousin; B-0688 doesn't even exist on main yet so dangling hard-edge); (b) correct Op.fs path references to acknowledge Op<'T> lives in src/Core/Circuit.fs (Copilot P1 — file doesn't exist); (c) mark proposed-new directories in B-0694 Phase 2/3 as TO BE CREATED (Copilot P1 — paths don't exist today)
AceHack
deleted the
backlog/b0692-b0694-otto-vscode-prs-6-7-8-push-morsel-codegen-2026-05-21
branch
|
|
||
| - Define `IMorselOperator<'T>` interface alongside `Op<'T>` (currently in `src/Core/Circuit.fs`; co-located with `IPushOperator<'T>` from B-0692) | ||
| - Add `IsMorselCapable: bool` capability flag to Op<'T> (composes with PR #4558 pattern) | ||
| - Morsel-buffer pool: pooled `ArrayPool<ZEntry<'T>>` per-thread with chunk size = L1/L2-cache-aware (default 4KB / `sizeof<ZEntry<'T>>` = N entries per morsel) |
There was a problem hiding this comment.
💡 Codex Review
Here are some automated review suggestions for this pull request.
Reviewed commit: be604f15a6
ℹ️ About Codex in GitHub
Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you
- Open a pull request for review
- Mark a draft as ready
- Comment "@codex review".
If Codex has suggestions, it will comment; otherwise it will react with 👍.
Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".
| ask: otto-vscode 2026-05-21 (8-PR algebra-capability-system campaign; aaron-approved via shadow* "file the 3 rows for PRs 6-8") | ||
| created: 2026-05-21 | ||
| last_updated: 2026-05-21 | ||
| depends_on: [] |
There was a problem hiding this comment.
This row declares that PR #6 depends on the PR #1–#5 substrate and even labels parts of that substrate as still open in the body, but depends_on is empty. Backlog automation only enforces hard ordering from depends_on (see dependencyBlocker in tools/backlog/autonomous-pickup.ts), so B-0692 can be auto-picked before its prerequisite capability-dispatch/law work is closed (e.g., the still-open B-0194 track), causing avoidable blocked pickup and misordered execution.
Useful? React with 👍 / 👎.
Summary
Aaron 2026-05-21 shadow*: "file the 3 rows for PRs 6-8". Otto-VSCode 8-PR algebra-capability-system campaign PRs 6/7/8 filed as backlog rows; Otto-VSCode owns implementation when their next session picks them up.
3 rows landed
Dependency chain
PRs 1-5 substrate (capability tags + sink-terminality + checkBilinear + IncrementalAuto + FusionEngine) is consumed by PRs 6-8 in stack order:
Architectural close
B-0694 is the Reaqtor-applied-to-DBSP capstone Aaron's insight unified: capability-tag-aware fusion → push-based segments → morsel-based segments → codegen at Circuit.Build() → zero per-tick scheduler overhead because the hot loop IS generated code. Closes the per-tick allocation floor that PRs 1-7 leave open.
Composes with