· ENPT-BR
Grok Build para Alembic · Operação honesta

Trilhos de honestidade: usage, errors, sessions, auth

Falhe de forma fechada onde o protocolo está incompleto ou a Factory não consegue preservar o estado atomicamente.

Fonte primária
Guia fixado de gerenciamento de sessões

Commit upstream fixado: b189869b7755d2b482969acf6c92da3ecfeffd36

A camada Simples se sustenta sozinha; abra Técnico para contratos exatos e edge cases.
Ao final, você consegue
  • Mapear campos completos de tokens sem contar cache reads duas vezes.
  • Explicar por que sessionId pode ser mantido enquanto usage incompleto é omitido.
  • Defender resume/fork fail-closed e propriedade externa de credenciais.
1

A grande ideia


Um provider útil precisa ser honesto sobre o que não consegue saber. Reporta usage de tokens apenas quando o Grok diz que o snapshot está completo. Expõe erros documentados. Recusa resume e fork porque uma sessão Grok é um diretório coordenado, não um arquivo. Aceita credenciais apenas pela fronteira normal de ambiente/login do CLI externo.

Pense como… Pense num saco lacrado de evidências: se um item obrigatório falta ou o lacre rompeu, marque como incompleto em vez de adivinhar o conteúdo. A analogia quebra porque alguns campos do protocolo ainda podem ser usados com segurança enquanto outros são omitidos.

O usage headless trata `input_tokens` como input não cacheado e reporta cache reads separadamente. O adapter mapeia cache creation para zero porque esse campo não faz parte da forma do evento terminal consumido. Se `usage_is_incomplete` for true, emite sessionId mas nenhum evento de usage.

O Grok armazena `summary.json`, `updates.jsonl`, `chat_history.jsonl`, plan, rewind points, signals, feedback, checkpoints de compaction e metadata de subagentes num diretório de sessão. A abstração atual de captura da Factory tem forma de arquivo, então fingir resume perderia estado coordenado. `captureSessions:false` e erro lançado em resume/fork são features de correção.

Evidência: Guia fixado de gerenciamento de sessões

input_tokenscache_readoutput_tokensincompletosessionId Seguro: preservar metadata conhecida e omitir a afirmação incompleta.
Falhe de forma fechada onde o protocolo está incompleto ou a Factory não consegue preservar o estado atomicamente.
2

Compare as fronteiras


Seguro
Seguro: preservar metadata conhecida e omitir a afirmação incompleta.
Arriscado
Arriscado: reportar zeros, copiar um JSONL ou embutir credencial literal.
SuperfícieUpstreamAlembicVeredito
Complete usageTodos os campos de token presentesEmitir usage mapeadoREPORT
Incomplete usage`usage_is_incomplete:true`Manter sessão; omitir usageOMIT
Resume/forkDiretório upstream pode resumirSem costura atômica de diretórioFAIL CLOSED

O Grok armazena `summary.json`, `updates.jsonl`, `chat_history.jsonl`, plan, rewind points, signals, feedback, checkpoints de compaction e metadata de subagentes num diretório de sessão. A abstração atual de captura da Factory tem forma de arquivo, então fingir resume perderia estado coordenado. `captureSessions:false` e erro lançado em resume/fork são features de correção.

3

Código e comandos reais


packages/factory/src/GrokAgentProvider.ts
if (event.usage_is_incomplete !== true) {
  const usage = parseGrokUsage(event.usage);
  if (usage) parsed.push({ type: "usage", usage });
}

if (resumeSession || forkSession) {
  throw new Error("Grok session resume/fork is not supported …");
}
Como chegar lá
sed -n '20,150p' packages/factory/src/GrokAgentProvider.ts
rg -n "Storage Layout|usage_is_incomplete" /tmp/alembic-grok-build-20260716/crates/codegen/xai-grok-pager/docs/user-guide/{14-headless-mode,17-sessions}.md

Evidência: RESOURCES.md

4

Atlas visual


entradaprovainput_tokens
Trace a fronteira: input_tokens.
superfíciecosturadonocache_read
Localize o dono: cache_read.
afirmaçãosem gateevidênciana fronteiravsoutput_tokens
Compare afirmação e evidência: output_tokens.
aprenderexecutarverificarincompleto
Leia a sequência: incompleto.
completo?sim / nãosessionId
Encontre o gate de decisão: sessionId.
entradaprovasummary.json
Trace a fronteira: summary.json.
superfíciecosturadonoupdates.jsonl
Localize o dono: updates.jsonl.
afirmaçãosem gateevidênciana fronteiravshistórico
Compare afirmação e evidência: histórico.
aprenderexecutarverificarrewind
Leia a sequência: rewind.
completo?sim / nãosinais
Encontre o gate de decisão: sinais.
entradaprovaauth.json
Trace a fronteira: auth.json.
superfíciecosturadonoXAI_API_KEY
Localize o dono: XAI_API_KEY.
afirmaçãosem gateevidênciana fronteiravserro
Compare afirmação e evidência: erro.
aprenderexecutarverificarfail-closed
Leia a sequência: fail-closed.
5

Prática e feedback


Preveja antes de revelar

Usage está incompleto, mas sessionId está presente. O que o provider pode emitir?

Apenas sessionId. A incompletude se aplica a usage, não ao identificador.

Cartões de recuperação

Cartões de recuperaçãoUncached inputClique ou pressione Enter para virar
Uncached input`input_tokens` na projeção de spend headless.
Cartões de recuperaçãoIncomplete usageClique ou pressione Enter para virar
Incomplete usageUm sinal para omitir a afirmação de usage.
Cartões de recuperaçãoMulti-file sessionClique ou pressione Enter para virar
Multi-file sessionEstado coordenado que exige tratamento atômico.
Cartões de recuperaçãoCredential boundaryClique ou pressione Enter para virar
Credential boundaryLogin ou ambiente de propriedade do CLI externo.
Um provider útil precisa ser honesto sobre o que não consegue saber. Reporta usage de tokens apenas quando o Grok diz que o snapshot está completo. Expõe erros documentados. Recusa resume e fork porque uma sessão Grok é um diretório coordenado, não um arquivo. Aceita credenciais apenas pela fronteira normal de ambiente/login do CLI externo.
O usage headless trata `input_tokens` como input não cacheado e reporta cache reads separadamente. O adapter mapeia cache creation para zero porque esse campo não faz parte da forma do evento terminal consumido. Se `usage_is_incomplete` for true, emite sessionId mas nenhum evento de usage.

Injete uma falha de fronteira

Escolha uma falha e veja a resposta honesta do provider.

Veredito

Resumo em quatro slides

Uncached input

`input_tokens` na projeção de spend headless.

Incomplete usage

Um sinal para omitir a afirmação de usage.

Multi-file session

Estado coordenado que exige tratamento atômico.

Credential boundary

Login ou ambiente de propriedade do CLI externo.

Teste seu modelo

Revisão espaçada

Por que `captureSessions` é false na fase um?

A sessão é valiosa, mas captura honesta exige suporte atômico ao diretório coordenado.
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.