Extend the Effect skipInitial oracle lane: ordered windows, includes, failures, and ordinary Effects
メンテナーはふだん 1 日以内に返信
まだ誰も着手していません。
評価
- 難易度
- 4/5
- 見積もり時間
- 3〜5日
- 初心者へのやさしさ
- 42/100
- issue の種類
- 機能追加
- 明瞭さ
- 明確に書かれている
- 活発さ
- 活発
- 技術スタック
- react, typescript
調査の方向性
Start with Model D in packages/db/tests/query/includes-temporal-oracle.test.ts and the progressive source readiness review record. Check whether createEffect supports Collection-valued or inline includes, then extend the lane grammar and cells for the listed shapes, histories, and consumers. Update the open cells in docs/contributing/oracle-reviews/progressive-source-readiness.md and the Includes and publication row in docs/contributing/oracle-coverage.md; done means each new cell rejects a plausible wrong design at its intended checkpoint.
索引モデルが issue の本文から書いたものです。
説明
Summary
#2115 added Model D to packages/db/tests/query/includes-temporal-oracle.test.ts. Its Effect lane checks this law: an Effect with skipInitial ends suppression at initial-query readiness. For an on-demand source, readiness means the Effect's own initial loads settled. For an eager source, it means the source Collection is ready. An obsolete or aborted load can neither hold nor close suppression.
The Effect lane covers only part of that law. This issue lists the missing shapes, histories, and consumers so that they can be added.
What the lane covers now
- Shapes: a direct on-demand root, the lazy side of a left join, and eager roots with and without an explicit
syncMode. - Histories: every legal order of delivery, settlement, source readiness, and one later change. On-demand shapes also get one
truncateor (join only)rekeybefore settlement. - Observations: entered post ids, other events, and acquisitions at each step checkpoint.
- Consumer:
createEffect({ skipInitial: true })only.
Missing coverage
Shapes
- Ordered window (
orderBy+limit) over a lagging on-demand source. Ordered Effects already use publication participants for their ordered chain (trackOrderedPublication), so they also interact with the new initial-load hold. The live-query lane has anorderedshape that can serve as a starting point. Itssettlestep resolves the whole continuation chain, and it records only that an acquisition happened. - Includes (a correlated child query). First, check whether
createEffectaccepts Collection-valued or inline includes. If it does, add an include shape. If it does not, record that limit in the lane prose. - Single result (
findOne()), which is the shape from #2113. The live-query lane has it. The Effect lane does not. - Two on-demand sources in one Effect, for example a join where both sides are on-demand. One source can settle before the other. Suppression must stay on until every current initial load settles.
Histories
- A real load failure during the initial load. The expected result is that
onSourceErrorfires, the Effect is disposed, and no deltas are delivered. Model D excludes rejected acquisitions now. Today only source inspection backs the claim that a real failure disposes the Effect. Also add a hostile control: a rejection classified as success must not change any observation. - Source error or cleanup while the source lags behind its settled subset.
- Disturbance after readiness. A
truncateorrekeyaftersettlemust not reopen suppression, and its later rows must arrive as deltas. - Truncate of an eager source before
markReady(). - More than one disturbance in one history, for example
rekeythentruncate, or tworekeysteps.
Consumers
-
skipInitial: false. ARCHITECTURE.md says that ordinary initial requests keep their existing callback timing. No lane checks this over a lagging source. A mutant that tracks initial loads withoutskipInitialsurvived Model D. It is equivalent only becauseinitialLoadCompletestarts astruewithoutskipInitial. A lane forskipInitial: falsewould make that argument executable. -
useLiveQueryEffect(React). There is no framework witness for an Effect over a lagging source.
Calibration to keep
For each new cell, show that it rejects a plausible wrong design at the intended checkpoint, as in the #2115 review record (docs/contributing/oracle-reviews/progressive-source-readiness.md). The present lane rejects these designs:
- the shared ordered-repair failure flag (10 rekey cells),
- releasing a hold without the truncate takeover (80 truncate cells),
- a design that ignores source readiness (8 eager cells).
New shapes should keep these kills and add one for their own distinction.
Where to update
- Model D's prose and grammar in
includes-temporal-oracle.test.ts. - The open cells in
docs/contributing/oracle-reviews/progressive-source-readiness.md. - The "Includes and publication" row in
docs/contributing/oracle-coverage.md.
- 主要言語
- TypeScript
- スター
- 3.9k
- フォーク
- 272
- 平均マージ
- 1日 1時間
- マージ済み PR(30日)
- 222
環境構築
- Dockerfile・Docker Compose ファイルなし
- プルリクエストのテンプレートあり
- コントリビューションガイドを読む
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
TanStack/db のほかの issue
-
Electric progressive: apply and confirm changes to visible rows during the background full syncオープン
難易度 5/5 1週間以上 初心者へのやさしさ 30/100
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 38/100
メンテナーはふだん 1 日以内に返信
-
Progressive collection live queries remain suspended after their requested subset finishes loading対応中かも @KyleAMathews が今日担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 25/100
メンテナーはふだん 1 日以内に返信
-
難易度 5/5 1週間以上 初心者へのやさしさ 5/100
メンテナーはふだん 1 日以内に返信
-
browser-db-sqlite-persistence: option to load the wa-sqlite WASM by URL instead of inlined base64対応中かも @KyleAMathews が 1 日前に担当しました。 オープン
難易度 4/5 3〜5日 初心者へのやさしさ 35/100
メンテナーはふだん 1 日以内に返信
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
better-auth/better-auth#11723 · リアクション 1 件 ·
メンテナーはふだん 1 日以内に返信
-
area: docs difficulty: easy documentation good first issue
難易度 2/5 1〜3時間 初心者へのやさしさ 82/100
メンテナーはふだん 1 日以内に返信
-
Worker-Erstellung bricht langsame Git-Worktree-Checkouts nach 20 Sekunden ab対応中かも @KajoVanBuyten が今日担当しました。 オープン
難易度 2/5 1〜3時間 初心者へのやさしさ 69/100
AgentSystemLabs/agent-office#367 ·
メンテナーはふだん 1 日以内に返信
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
pierrecomputer/pierre#1187 ·
メンテナーはふだん 1 日以内に返信
-
area: frontend bug
難易度 1/5 1〜3時間 初心者へのやさしさ 85/100
snapotter-hq/SnapOtter#2425 ·
メンテナーはふだん 1 日以内に返信