🤖 bug: a resume refused by the mutation gate can still accept a pending compaction replacement (#5400 follow-up)
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
- 48/100
- Tipo di issue
- Bug
- Chiarezza
- Abbastanza chiara
- Stato di attività
- Attiva
- Stack tecnologico
- typescript
- Ambito
- distributed-systems
Direzione di ricerca
Start at AgentSession.streamWithHistory and trace acceptCompactionReplacement, the turn use lease confirmation, and the current refusal point. Check the formal/compaction model plus the retirement and witness handling that follows acceptance; done means a refused lease causes no replacement acceptance while preserving retry correlation and valid history.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Problem
Follow-up from #5400 / #5419. In AgentSession.streamWithHistory, a resume that carries a pending compaction replacement (preparation.resumeReplacement) accepts that replacement (acceptCompactionReplacement, a history rewrite) before the turn use lease is confirmed. If another backend's structural mutation gate refuses the lease, the resume fails afterwards, but the compaction replacement has already been committed to history.
The impact is history-only: no checkout work runs and no turn starts. The accepted replacement is the compaction protocol's own outcome, so the history stays valid. It is still a history write made by a resume that was then refused, which is the class #5400 closed for the [CONTINUE] sentinel.
Possible fix
Confirm the turn lease before the replacement acceptance, and keep the refusal at its current failure point so retry correlation does not change. Check this against the compaction model (formal/compaction) and the retirement/witness handling that follows acceptance.
Refs #5400, #5381
Generated with xum • Model: anthropic:claude-opus-5-5 • Thinking: high • Cost: $10.87
- Lingua principale
- TypeScript
- Stelle
- 2.1k
- Fork
- 140
- Merge medio
- 4h 55m
- PR unite (30g)
- 900
Preparare l'ambiente
- Include un Dockerfile o un file Docker Compose
- Nessun modello di pull request
- Nessuna 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 coder/xum
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
I maintainer di solito rispondono entro 1 giorno
-
🤖 fix: stream-error card header actions reach 2.6px into the card padding in a 170px VS Code sidebarAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 77/100
I maintainer di solito rispondono entro 1 giorno
-
tech-debt
Difficoltà 2/5 Mezza giornata Idoneità per principianti 68/100
I maintainer di solito rispondono entro 1 giorno
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
I maintainer di solito rispondono entro 1 giorno
Issue simili
-
agent/scanner help wanted hive/claimed-by-scanner kind/bug stage/020-claimed
Difficoltà 2/5 1-3 ore Idoneità per principianti 90/100
hivecommons/rationguard#315 ·
I maintainer di solito rispondono entro 1 giorno
-
agent-ready area: ui-sdk priority: p3 type: chore
Difficoltà 2/5 1-3 ore Idoneità per principianti 76/100
schlessera/brain-kit#2534 ·
I maintainer di solito rispondono entro 1 giorno
-
bug lane:gh-5
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
LLM-4-People/bridlewise-testing#122 ·
I maintainer di solito rispondono entro 1 giorno
-
bug priority: P2
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 78/100
I maintainer di solito rispondono entro 1 giorno
-
enhancement priority:low ready-for-dev
Difficoltà 2/5 1-3 ore Idoneità per principianti 67/100
I maintainer di solito rispondono entro 1 giorno