· ENPT-BR
Grok Build para Alembic · Evidência e seleção

A matriz de sobreposição: adopt, already, defer, reject

Transforme admiração pelo repositório em uma decisão de propriedade que o Alembic consiga manter.

Fonte primária
README fixado do Grok Build

Commit upstream fixado: b189869b7755d2b482969acf6c92da3ecfeffd36

A camada Simples se sustenta sozinha; abra Técnico para contratos exatos e edge cases.
Ao final, você consegue
  • Aplicar os quatro vereditos a uma superfície concreta.
  • Separar aprendizado útil de adoção de código.
  • Nomear o blocker que transforma ADOPT em DEFER.
1

A grande ideia


Uma boa ideia upstream não vira automaticamente uma feature que o Alembic deve copiar. Cada superfície precisa responder a duas perguntas: o Alembic já é dono desse trabalho e conseguimos provar o novo valor numa fronteira real? Os quatro vereditos evitam duplicação atraente e preservam um roadmap para lacunas genuínas.

Pense como… Use a matriz como uma junta de transplante: combine o órgão com uma necessidade real, rejeite duplicatas incompatíveis e adie a cirurgia até os pré-requisitos estarem prontos. Ela quebra porque features podem ser reavaliadas com baixo custo; decisões médicas não.

ADOPT exige dono ausente, interface estreita, implementação limitada e Proof Gate real. ALREADY direciona o aprendizado para donos existentes no Alembic. DEFER registra uma unidade atraente com blocker explícito. REJECT protege a arquitetura de um segundo plano de controle.

O antipadrão central é pensar por contagem de features. Sessões, rewind, worktrees, hooks, plugins, TUI e sandbox do Grok são impressionantes, mas importá-los duplicaria camadas maduras do Alembic. O design pode informar testes e costuras futuras sem virar código copiado.

Evidência: README fixado do Grok Build

aderênciasobreposiçãoprovabloqueiodono Seguro: registrar decisão, blocker, prova e próximo dono.
Transforme admiração pelo repositório em uma decisão de propriedade que o Alembic consiga manter.
2

Compare as fronteiras


Seguro
Seguro: registrar decisão, blocker, prova e próximo dono.
Arriscado
Arriscado: igualar estrelas ou volume de código a fit arquitetural.
SuperfícieUpstreamAlembicVeredito
Streaming JSONLContrato de subprocesso documentadoCostura de provider disponívelADOPT
Sessions / rewindDiretório coordenado + snapshotsCostura atual de storage de arquivo únicoDEFER
TUI / tools / sandboxImplementações upstream completasDonos existentes no AlembicREJECT

O antipadrão central é pensar por contagem de features. Sessões, rewind, worktrees, hooks, plugins, TUI e sandbox do Grok são impressionantes, mas importá-los duplicaria camadas maduras do Alembic. O design pode informar testes e costuras futuras sem virar código copiado.

3

Código e comandos reais


docs/grok-build-internalization/research.md (decision method)
type Verdict = "ADOPT" | "ALREADY" | "DEFER" | "REJECT";

const headlessProvider = {
  fit: "high",
  overlap: "low",
  proof: "real grok CLI",
  verdict: "ADOPT" satisfies Verdict,
};
Como chegar lá
rg -n "ADOPT|ALREADY|DEFER|REJECT" docs/grok-build-internalization docs/courses/grok-build-for-alembic

Evidência: RESOURCES.md

4

Atlas visual


entradaprovaaderência
Trace a fronteira: aderência.
superfíciecosturadonosobreposição
Localize o dono: sobreposição.
afirmaçãosem gateevidênciana fronteiravsprova
Compare afirmação e evidência: prova.
aprenderexecutarverificarbloqueio
Leia a sequência: bloqueio.
completo?sim / nãodono
Encontre o gate de decisão: dono.
entradaprovaADOPT
Trace a fronteira: ADOPT.
superfíciecosturadonoALREADY
Localize o dono: ALREADY.
afirmaçãosem gateevidênciana fronteiravsDEFER
Compare afirmação e evidência: DEFER.
aprenderexecutarverificarREJECT
Leia a sequência: REJECT.
completo?sim / nãoTUI
Encontre o gate de decisão: TUI.
entradaprovasessões
Trace a fronteira: sessões.
superfíciecosturadonoJSONL
Localize o dono: JSONL.
afirmaçãosem gateevidênciana fronteiravsACP
Compare afirmação e evidência: ACP.
aprenderexecutarverificarruntime
Leia a sequência: runtime.
5

Prática e feedback


Preveja antes de revelar

Uma feature é valiosa, mas falta o pré-requisito de storage. Qual veredito é honesto?

DEFER, com o pré-requisito ausente nomeado. Valor não apaga blocker.

Cartões de recuperação

Cartões de recuperaçãoADOPTClique ou pressione Enter para virar
ADOPTDono ausente + costura estreita e comprovável.
Cartões de recuperaçãoALREADYClique ou pressione Enter para virar
ALREADYCapacidade equivalente já tem dono no Alembic.
Cartões de recuperaçãoDEFERClique ou pressione Enter para virar
DEFERÚtil, mas um pré-requisito nomeado bloqueia entrega honesta.
Cartões de recuperaçãoREJECTClique ou pressione Enter para virar
REJECTDuplicação ou dono incorreto supera o valor.
Uma boa ideia upstream não vira automaticamente uma feature que o Alembic deve copiar. Cada superfície precisa responder a duas perguntas: o Alembic já é dono desse trabalho e conseguimos provar o novo valor numa fronteira real? Os quatro vereditos evitam duplicação atraente e preservam um roadmap para lacunas genuínas.
ADOPT exige dono ausente, interface estreita, implementação limitada e Proof Gate real. ALREADY direciona o aprendizado para donos existentes no Alembic. DEFER registra uma unidade atraente com blocker explícito. REJECT protege a arquitetura de um segundo plano de controle.

Filtre o quadro de decisão

Selecione um veredito para ver sua regra operacional.

Veredito

Resumo em quatro slides

ADOPT

Dono ausente + costura estreita e comprovável.

ALREADY

Capacidade equivalente já tem dono no Alembic.

DEFER

Útil, mas um pré-requisito nomeado bloqueia entrega honesta.

REJECT

Duplicação ou dono incorreto supera o valor.

Teste seu modelo

Revisão espaçada

Onde entram as sessões multi-file do Grok na fase um?

O valor é real, mas a costura atual de captura da Factory não é uma transferência atômica de diretório.
6

Fontes e próximo movimento


Peça ao seu professor para desafiar um veredito, repetir um evento ou revisar uma unidade futura com a mesma disciplina de prova.