Extend the Effect skipInitial oracle lane: ordered windows, includes, failures, and ordinary Effects
I maintainer di solito rispondono entro 1 giorno
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 4/5
- Tempo stimato
- 3-5 giorni
- Idoneità per principianti
- 42/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Specificata chiaramente
- Stato di attività
- Attiva
- Stack tecnologico
- react, typescript
- Ambito
- backend-api-design, testing-qa
Direzione di ricerca
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.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
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.
- Lingua principale
- TypeScript
- Stelle
- 3.9k
- Fork
- 272
- Merge medio
- 1g 1h
- PR unite (30g)
- 235
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Ha un modello di pull request
- Leggi la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di TanStack/db
-
Difficoltà 3/5 Mezza giornata Idoneità per principianti 62/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 8/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 3/5 Mezza giornata Idoneità per principianti 58/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 5/100
TanStack/db#2139 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
I maintainer di solito rispondono entro 1 giorno
Issue simili
-
Create/import wallet form shows raw "password must be at least 1 characters" instead of the translated messageForse già presa @CapThunder19 l’ha presa oggi. Apertabug
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
joinmarket-webui/jam#1538 ·
I maintainer di solito rispondono entro 1 giorno
-
t0ggles
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
nolimits4web/swiper#8240 · 1 commento ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 82/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
modelcontextprotocol/inspector#2723 ·
I maintainer di solito rispondono entro 1 giorno
-
status:approved type:bug
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 70/100
egdev6/quorb#109 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno