Condição de Corrida na Competição: Deriva de Estado

Use esta habilidade apenas como uma especialização downstream, após $ctf-sandbox-orchestrator já estar ativa e ter estabelecido premissas de sandbox, propriedade de nós e prioridades de evidências. Se isso ainda não aconteceu, retorne primeiro para $ctf-sandbox-orchestrator.

Use esta habilidade quando o comportamento decisivo depender do tempo de requisição, ordenação assíncrona, lacunas de bloqueio ou estado desatualizado.

Responda em Português do Brasil, a menos que o usuário solicite explicitamente o inglês.

Início Rápido

1. Identifique primeiro o estado mutável: linhas, chaves de cache, cargas úteis de fila, campos de sessão, contadores ou arquivos.
2. Reproduza com a menor sequência concorrente e premissas de tempo fixas.
3. Capture uma execução de linha de base e uma execução de corrida com apenas uma variável alterada.
4. Rastreie os limites de leitura, verificação, escrita, enfileiramento e commit separadamente.
5. Prove a deriva do estado final a partir de uma reinicialização limpa.

Fluxo de Trabalho

1. Mapear Limites Mutáveis

• Registre o escopo da transação, comportamento de bloqueio, lógica de retentativa, chaves de idempotência, invalidação de cache e passagem de fila.
• Observe onde a leitura-verificação-escrita é dividida entre requisições, workers ou serviços.
• Mantenha cada limite atrelado a carimbos de data/hora exatos ou números de sequência.

2. Reproduzir Janela de Tempo

• Construa entradas concorrentes determinísticas com atraso controlado, requisições duplicadas ou execução de worker reordenada.
• Compare os caminhos aceitos e rejeitados sob cargas úteis idênticas.
• Registre qual condição muda quando a ordenação é alterada.

3. Reduzir para Cadeia de Corrida Decisiva

• Comprima para: ordenação das requisições A e B -> verificação desatualizada ou lacuna de bloqueio -> escritas conflitantes -> capacidade ou artefato resultante.
• Indique se a causa raiz é falta de bloqueio, idempotência fraca, leitura de cache desatualizada, commit assíncrono atrasado ou efeito colateral de retentativa.
• Se o caminho se tornar dominante pela fila, transfira para a habilidade de deriva de worker de fila.

Leia esta Referência

• Carregue references/race-condition-state-drift.md para ideias de harness de corrida, blocos de evidências e verificações de paridade.

O Que Preservar

• Chaves mutáveis, limites de transação, comportamento de bloqueio e marcadores de idempotência
• Rastros com carimbo de data/hora ou sequenciados para execuções de linha de base e de corrida
• Uma sequência concorrente mínima e reproduzível provando a deriva