Ken Thompson: respostas exatas exigem finais bem delimitados

O museu situa em 1977 o trabalho de Thompson e Joe Condon no hardware do Belle.^[3] Ritchie distingue a busca assistida por hardware do projeto posterior de bases de finais.^[2] O método detalhado aqui vem do artigo de 1986; isso não prova que todos os resultados já existiam em 1977.^[1]

Thompson gera posições predecessoras legais e propaga resultados conhecidos. Basta existir um lance vencedor; uma derrota forçada exige verificar todas as respostas legais. Capturas e casos especiais precisam de tratamento explícito.^[1] Chamar o xadrez apenas de reversível esconde o trabalho que torna o modelo confiável. As regras de término importam: não ter lance legal não significa automaticamente xeque-mate.

O artigo aborda finais pequenos específicos e distingue distância até o mate de distância até um final ganho mais simples.^[1] As métricas não são intercambiáveis. Também não estabelece lances para forçar todo empate, nem resolve todo o xadrez nem prova que uma demonstração de 1977, sozinha, mudou regras de competição.

Análise e aplicação

Num fluxo de produto, começar com condições finais verificáveis, não com uma promessa ampla de sucesso. Mapear transições permitidas e separar escolhas do sistema de respostas controladas por outros. Raciocinar para trás pode revelar pré-requisitos ausentes, mas não elimina incertezas de preferências de clientes ou mercados futuros fora do modelo.

Análise e aplicação

1. Definir estados, transições permitidas e quem escolhe cada ação.
2. Nomear resultados finais verificáveis.
3. Separar uma rota suficiente de condições necessárias para toda resposta.
4. Registrar ciclos, estados ilegais, exceções e objetivo medido.
5. Testar exemplos pequenos e publicar os limites. É nossa adaptação proposta, não um resultado empresarial demonstrado por Thompson.