[P0][Regression/Audit] Eliminar bypasses restantes do Runtime após o fechamento da #5

[wesleysimplicio]

Contexto

Follow-up verificável da issue fechada #5. Relaciona-se a #42 e #43, ao simplicio-agent#222 e ao simplicio-runtime#3030.

A documentação arquitetural atual do repositório ainda registra explicitamente que:

• os contratos tipados Runtime para list, stat, edit e exec existem no cliente, mas ainda não possuem consumidores reais no agente;
• grep, hashline_grep e list_dir ainda possuem caminhos diretos por ripgrep, tokio::fs ou ignore::WalkBuilder;
• o executor de bash ainda precisa ser ligado ao contrato Runtime de exec;
• a presença de um contrato ou client method não prova que todas as superfícies o exercitam.

Logo, o aceite original de #5 — “100% dos caminhos de leitura, busca, mutação e execução usam Runtime MCP” — não está demonstrado pelo estado documentado atual. Esta issue não repete o desenho de #5: ela audita o fechamento, conclui o wiring restante e instala um gate que impeça a regressão.

Objetivo

Garantir, com inventário machine-readable, testes arquiteturais e E2E com Runtime real, que toda operação do workspace iniciada por TUI, headless, ACP, workspace ou tools do agente atravesse o boundary governado do Simplicio Runtime, sem fallback local silencioso.

Invariantes

1. Runtime ausente, incompatível ou sem capability obrigatória bloqueia o efeito com erro tipado.
2. Nenhum tool pode alternar silenciosamente para filesystem, processo ou busca local após falha do Runtime.
3. Leitura, busca, listagem, metadata, edição, escrita, exclusão e execução usam os mesmos contratos semânticos nas quatro superfícies.
4. Operações de bootstrap estritamente necessárias devem estar em allowlist curta, justificada e não alcançar conteúdo do workspace.
5. Retry/fallback nunca repete efeito com outcome desconhecido.
6. Receipts registram coordinator, session, turn, tool call, workspace, capability, policy revision e outcome sem conteúdo sensível.

Plano passo a passo

1. Criar um inventário workspace-access-manifest/v1 com todos os call sites que acessam arquivos, diretórios, Git, pesquisa textual ou processos.
2. Classificar cada call site como runtime-governed, bootstrap-allowlisted, test-fixture, generated ou violation.
3. Congelar um baseline revisado; novas ocorrências sem classificação falham CI.
4. Ligar list_dir e equivalentes ao contrato Runtime list.
5. Ligar metadata, tamanho, tipo, existência e permissões ao contrato stat.
6. Ligar grep, hashline_grep e demais buscas ao SearchBackend, removendo chamadas diretas concorrentes.
7. Ligar apply/patch/edit ao contrato atômico edit, preservando checkpoint, approval, rollback e receipt.
8. Ligar terminal/bash/process tools ao contrato exec, usando argv/cwd/env allow-listed, budgets, streaming, cancelamento e kill-tree.
9. Remover ou encapsular imports/call sites diretos de std::fs, tokio::fs, Command, WalkBuilder e execução de ripgrep nos crates de agente/workspace.
10. Unificar capability negotiation e taxonomia de erros.
11. Implementar idempotency keys e estados not_started|denied|completed|effect_unknown para mutações/processos.
12. Executar shadow comparison durante rollout: caminho antigo somente read-only versus Runtime, sem duplicar efeitos.
13. Remover o caminho antigo depois da paridade.
14. Atualizar docs/ARCHITECTURE.md, troubleshooting e capability matrix a partir do manifest gerado.
15. Fazer [P0][#16][Product E2E] Certificar jornada completa do usuário até delivery confirmado #43 consumir este gate, em vez de confiar apenas no fechamento histórico de feat: mover busca, edição e execução para o Runtime #5.

Testes obrigatórios

Unitários e property-based

• normalização de paths, globs e cwd;
• traversal, caminhos absolutos, Unicode e separadores cross-OS;
• symlink escape e troca concorrente do symlink;
• capability ausente/incompatível;
• idempotency e effect_unknown;
• tradução estável dos erros Runtime.

Integração

• Runtime real e fixture de protocolo para list/stat/search/read/edit/write/delete/exec;
• streaming/cancelamento/timeout de processos;
• arquivo grande, binário, diretório profundo e monorepo;
• rollback após falha entre write e receipt;
• conexão quebrada antes/durante/depois de um efeito.

Sistema/E2E

Executar a mesma tarefa em TUI, headless, ACP e workspace:

1. listar;
2. localizar símbolo/texto;
3. ler;
4. editar atomicamente;
5. executar teste;
6. cancelar comando longo;
7. reiniciar Code/Runtime;
8. confirmar estado e receipt.

Segurança e regressão

• command injection, env injection, path traversal e symlink race;
• Runtime falso ou downgrade de protocolo;
• teste arquitetural proibindo novos bypasses;
• secret/content canaries em logs e receipts;
• cobertura mínima de 90% nos adapters críticos e 85% no código tocado.

Performance

Medir cold/warm p50/p95/p99 e throughput de list/stat/search/edit/exec. O canal governado não pode introduzir regressão superior ao budget aprovado sem ADR e evidência.

Critérios de aceite

• O manifest cobre 100% dos call sites relevantes e não contém violation.
• list/stat/edit/exec possuem consumidores produtivos reais.
• grep/hashline_grep/list_dir/bash não bypassam o Runtime.
• As quatro superfícies passam pela mesma implementação central.
• Runtime ausente/incompatível falha fechado sem fallback local.
• Efeitos desconhecidos nunca são repetidos automaticamente.
• Testes com Runtime real passam em Linux, macOS e Windows.
• CI impede a introdução de novos acessos diretos não allow-listed.
• O E2E de [P0][#16][Product E2E] Certificar jornada completa do usuário até delivery confirmado #43 consome este gate e aponta para receipts reproduzíveis.
• Documentação deixa de declarar wiring pendente somente após prova executável.

Não objetivos

• mover UX ou raciocínio para o Runtime;
• proibir arquivos internos do próprio aplicativo;
• substituir o protocolo canônico sem ADR;
• aceitar mocks como prova terminal.

Revisão complementar do projeto: simplicio-code

Responsabilidade avaliada: IDE/orquestração. Esta issue deve ser entendida no contexto da auditoria-mãe do repositório.

Objetivo específico

validar usuário → plano → Agent/Runtime → alteração → testes → PR

Fluxo de testes obrigatório

comando → plano → execução → diff → testes → cancelamento → retomada

1. Registrar SHA/branch, ambiente, dependências e configuração.
2. Executar o caminho feliz completo e capturar logs/receipts.
3. Injetar entrada inválida, timeout, falha externa ou permissão ausente aplicável.
4. Verificar retry, cancelamento, idempotência e rollback quando o fluxo suportar.
5. Executar testes unitários, integração, sistema/E2E, regressão, segurança e desempenho aplicáveis.
6. Reexecutar com os mesmos dados e comparar resultado/hashes.
7. Confirmar que falha nunca vira sucesso e que recursos são liberados.

Critérios de aceite adicionais

• O comportamento principal está demonstrado por teste executável.
• Pelo menos um caminho de falha está coberto e documentado.
• Contratos entre projetos são validados nas versões/SHAs declarados.
• Logs e receipts permitem reconstruir a decisão.
• Métricas não observáveis são null com motivo, nunca estimadas.
• Segredos, PII e dados privados não aparecem nos artefatos.
• O procedimento é reproduzível localmente ou em container sem GitHub Actions pago.
• PR/commit, logs, hashes e riscos residuais estão anexados antes de fechar.

Evidências obrigatórias

• PR/commit vinculado;
• comandos e versões;
• logs do caminho feliz e da falha;
• testes/coverage/benchmark aplicáveis;
• receipts, hashes e relatório de rollback;
• limitações e próximos passos.

Regra de encerramento

Não fechar sem todos os critérios desta issue e da auditoria-mãe atendidos. Se faltar implementação, marcar como NEEDS-IMPLEMENTATION ou BLOCKED, nunca como concluída.

[wesleysimplicio]

Atualização de execução local (2026-07-17)

Implementado/verificado nesta rodada

• git pull --ff-only: Already up to date antes das execuções locais.
• simplicio-runtime-client: cargo test -p simplicio-runtime-client --locked --no-fail-fast passou: 2 passed, 1 ignored.
• xai-grok-tools: cargo test -p xai-grok-tools --locked --no-fail-fast passou.
• Runtime limpo em worktree isolado compilou e o contrato MCP real passou para simplicio_workspace: write/stat/read/list/search/exec/delete.
• SimplicioRuntimeFs não usa fallback local para write/delete e o AgentBuilder passou a injetar SimplicioRuntimeFs.
• Manifesto simplicio.workspace-access-manifest/v1 e teste Python foram adicionados; o manifesto atual passou e o gate CI foi conectado.

Ainda não fechado

• O manifesto é a primeira fronteira e ainda precisa cobrir integralmente os consumidores produtivos de list/search/edit/exec.
• Os usos LocalFs restantes precisam ser classificados como fixture, estado interno ou migrados antes de fechar esta issue.
• O E2E da [P0][#16][Product E2E] Certificar jornada completa do usuário até delivery confirmado #43 e a ausência do Runtime ainda não foram executados.
• O pacote xai-grok-agent falhou em teste preexistente de template criptografado; isso está rastreado em [P1][CI] Atualizar prompt.md criptografado stale detectado pelo teste do xai-grok-agent #51.
• A validação do Loop foi interrompida por No space left on device; isso está rastreado em [P1][Infra] Liberar espaço em disco antes de novas execuções do Simplicio Loop #52.

Decisão

Issue permanece aberta. Não há base para declarar todos os bypasses eliminados nem para fechar a #49.

[wesleysimplicio]

Evidência adicional de integração:

• Após corrigir a normalização de caminhos, o teste do backend novo passou: 1 passed.
• O teste produtivo de checkpoint falhou porque o cliente iniciou o binário Runtime disponível no PATH, que respondeu "unknown tool: simplicio_workspace".
• O handler simplicio_workspace existe no worktree Runtime de integração usado nesta auditoria, mas ainda não está publicado/instalado no binário padrão.
• Reprodução: cargo test -p xai-grok-workspace session::checkpoint::tests::rewind_lifecycle_is_clean_noop_with_disabled_hunk_tracker --offline --no-fail-fast.
• Próxima verificação: repetir com SIMPLICIO_RUNTIME_BIN apontando para o binário Runtime que contém o contrato; só então considerar a integração validada.

Isso mantém a issue aberta até o Runtime possuir uma versão publicada/selecionada de forma determinística e os testes E2E passarem sem depender de PATH implícito.

[wesleysimplicio]

Correção e evidência:

• A causa do rewind permanecer em v1 era a leitura por uma API Runtime diferente da escrita; o backend agora usa simplicio_workspace para read/write/delete/stat, sem fallback local.
• O binário Runtime do worktree de integração foi recompilado; o contrato MCP write(v0)->read(v0)->write(v1)->read(v1) passou.
• Após git pull --ff-only, fmt check e teste focado com SIMPLICIO_RUNTIME_BIN explícito:
  • session::checkpoint::tests::rewind_lifecycle_is_clean_noop_with_disabled_hunk_tracker: 1 passed, 0 failed.
  • teste do backend simplicio_runtime_fs: 1 passed, 0 failed.
• A suíte completa ainda será executada; a issue permanece aberta até cobertura de shell/E2E, manifest estrito e Runtime publicado/verificável.

[wesleysimplicio]

Suíte completa após a correção de leitura pelo contrato workspace e com SIMPLICIO_RUNTIME_BIN apontando para o binário Runtime recompilado:

• 1423 testes passaram.
• 1 falhou: permission::resolution::tests::discovery_with_no_settings_files.
• Nenhuma falha em simplicio_runtime_fs ou nos testes de checkpoint/rewind; o teste de rewind focado passou.
• A falha residual foi aberta separadamente como issue [P1][Test] discovery de settings depende do ambiente real do desenvolvedor #56, pois depende de settings reais do ambiente e não do backend Runtime.

#49 permanece aberta para os bypasses de terminal, manifest estrito, E2E do shell e publicação determinística do contrato Runtime.

[wesleysimplicio]

Evidência atual:

• Manifest estrito ampliado para workspace, terminal Runtime, spawn ACP, AgentOps e subagent coordinator: status pass, errors 0, forbidden_productive_fallbacks vazio.
• cargo check -p xai-grok-shell: exit 0.
• cargo test -p xai-grok-tools --offline --no-fail-fast: exit 0.
• O terminal produtivo agora usa SimplicioRuntimeTerminal para foreground; o Runtime exec round-trip printf hello passou.
• Bypass de background permanece fail-closed com erro explícito, pois o contrato Runtime de tarefas ainda não está exposto; não há fallback local.
• Suíte xai-grok-workspace: 1423 passados, 1 falha ambiental aberta como [P1][Test] discovery de settings depende do ambiente real do desenvolvedor #56.

A issue continua aberta até haver lifecycle Runtime para background/cancel/list/poll, testes E2E de shell e publicação/seleção determinística do binário Runtime.

[wesleysimplicio]

Evidência local após pull

Sequência executada antes da verificação:

git pull --ff-only
cargo fmt --all -- --check
cargo check -p xai-grok-shell --offline

Resultado: Already up to date, formatação válida e Finished dev profile com CHECK_EXIT:0.

#49

O caminho produtivo de filesystem e terminal agora usa o cliente Runtime, com rejeição explícita de fallback local. O manifest estrito também passa. O fechamento continua bloqueado porque background terminal, list/poll/log/kill, cancelamento e receipts ainda precisam de contrato Runtime ponta a ponta e testes de integração/E2E.

#50

O contrato first-class local foi implementado e o pacote xai-grok-agent passou 556 testes, incluindo validação de AgentHostConfig, capacidade concorrente e reconnect epoch. O shell também compila. O fechamento continua bloqueado porque ainda faltam transporte MCP/gateway real, persistência de sessão, streaming, cancel remoto e E2E Code ↔ Simplicio Agent.

Nenhuma issue foi fechada: estes resultados são evidência parcial local, não promoção remota nem prova de todos os critérios de aceite.

[wesleysimplicio]

Nova evidência — lifecycle de terminal agora é Runtime-owned

Implementação

O Runtime MCP simplicio_workspace agora publica ações explícitas:

• terminal_execute com background, timeout, pty e notify_on_complete;
• terminal_poll;
• terminal_log;
• terminal_kill;
• terminal_list.

O Code usa essas ações em SimplicioRuntimeTerminal; não há fallback para LocalTerminalBackend ou Command local.

Reprodução executada após git pull --ff-only

1. Recompilei o binário Runtime em .../code-runtime/target/debug/simplicio.
2. Executei um cliente MCP real em um workspace temporário.
3. Rodei printf runtime-start; sleep 30 via terminal_execute(background=true).
4. Confirmei bg-* via terminal_poll.
5. Recuperei runtime-start via terminal_log.
6. Encerrei via terminal_kill e confirmei remoção no terminal_list.

Resultado: PASS.

Gates

• cargo check --bin simplicio --offline: exit 0 no Runtime;
• cargo check -p xai-grok-tools --offline: exit 0;
• cargo test -p xai-grok-tools --offline --no-fail-fast: exit 0, 18 passed, 0 failed;
• scripts/workspace_access_manifest.py --json: errors=[], forbidden_productive_fallbacks=[].

A issue ainda não está pronta para fechamento: falta executar a matriz completa de integração/E2E do Code (sessões ACP/TUI, cancelamento por owner, receipts e regressão de todos os backends), além da verificação remota do branch/PR.