Ordered-replay oracle: terminal error after a failed settle following truncate markers
Mantenedores costumam responder em até 1 dia
Avaliação
- Dificuldade
- 4/5
- Tempo estimado
- 3-5 dias
- Facilidade para iniciantes
- 35/100
- Tipo de issue
- Bug
- Clareza
- Razoavelmente clara
- Status de atividade
- Estagnada
- Stack de tecnologia
- typescript
Direção de pesquisa
Start by replaying the supplied seed and path with the given Vitest command, then read packages/db/tests/query/load-subset-replay-refinement-oracle.test.ts around checkOrderedReplay and fatalLoadFailed(). Compare the oracle model with the shown counterexample after truncateMarkers and a failed settle. Done means the production behavior and model agree on whether this history should produce a terminal error, and the deterministic replay passes.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
Summary
The random campaign of packages/db/tests/query/load-subset-replay-refinement-oracle.test.ts › "Ordered windows across truncate replays › keeps the ordered window under load and release faults" found a counterexample on main at 30175be48 (#2194). The failure is deterministic when the seed is replayed.
Replay
cd packages/db
TANSTACK_DB_ORACLE_SEED=1817832416 \
TANSTACK_DB_ORACLE_PATH=115:1:2:2:2 \
TANSTACK_DB_ORACLE_PROPERTY=replay.ordered-window-faults \
pnpm vitest run tests/query/load-subset-replay-refinement-oracle.test.ts -t "release faults"
Counterexample (shrunk)
[
[{ "type": "hold" }, { "type": "truncateMarkers" }, { "type": "settle", "ok": false }],
{ "direction": "asc", "offset": 0, "limit": 1, "ties": false, "peer": false,
"joined": "none", "markerMode": "on-demand", "includes": true }
]
AssertionError: convergence: terminal error: expected false to be true
at checkOrderedReplay (tests/query/load-subset-replay-refinement-oracle.test.ts:1875)
The shown window is in an error state, but the oracle's model has no failed load that explains it (fatalLoadFailed() is false). Either production shows a terminal error that the history does not justify, or the model is missing a case where a failed settle after truncate markers is fatal.
Where it was seen
CI for #2219 (job Test (db-1), run 39726325795). #2219 does not change @tanstack/db; CI tests that PR merged with main. The replay above fails with main's packages/db.
This issue was written by Isaac.
- Linguagem predominante
- TypeScript
- Estrelas
- 3.9k
- Forks
- 277
- Merge médio
- 18h 7min
- PRs com merge (30d)
- 228
Preparar o ambiente
- Sem Dockerfile nem arquivo Docker Compose
- Tem um modelo de pull request
- Ler o guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de TanStack/db
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 82/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 1-2 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 1-2 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
Todas as issues de TanStack/db
Issues semelhantes
-
clawsweeper:fix-shape-clear clawsweeper:queueable-fix clawsweeper:source-repro impact:ux-friction issue-rating: 🦞 diamond lobster no-stale P3
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 73/100
openclaw/openclaw#182077 · 1 comentário · 1 reação ·
Mantenedores costumam responder em até 1 dia
-
aikido high security
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 75/100
dequelabs/axe-linter-action#161 ·
-
[Feature Request] Update the DimCode agent icon to the 45:32 brand markTalvez já em andamento @eric8810 assumiu hoje. Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
Mantenedores costumam responder em até 1 dia
-
[Feature]: 建议导入源后,自动切换到新导入的源Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 66/100
lyswhut/lx-music-desktop#3026 ·
-
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 76/100
abhigyanpatwari/GitNexus#3704 ·
Mantenedores costumam responder em até 1 dia