Curso · A metodologia, conectada
Alembic × Hermes · índice conectivo · uma só máquina

A metodologia Alembic, conectada

As trinta lições ensinam o sistema peça por peça. Esta página as junta numa coisa só: um mapa clicável do motor inteiro. Toque uma peça — contracts (L-1/L0), adapters (L1), council (L2), swarm (L3), harness (L4), os gates, o loop de aprendizado — e o mapa acende as arestas a montante e a jusante daquela peça e preenche o painel ao lado: o que ela é, o que a alimenta, o que ela alimenta, a lição que a ensina e o comando alembic real que a exercita. No fim, cada uma das 30 lições é um nó deste mapa.

O que esta página conecta
  • A pipeline vertical: contracts → adapters → council → swarm → harness, com os gates ao redor e o loop de aprendizado realimentando a próxima run.
  • O funil T0→T3 que alimenta tudo: corpus bruto → resíduo → sinal → shortlist → verified-GO.
  • As 4 invariantes e os 5 gates como elementos clicáveis — cada um aponta para a lição que o prova.
  • Um stepper para percorrer o ciclo um estágio de cada vez, e um token de dados que flui pela pilha.

O mapa do sistema — clique uma peça

Este é o motor como um diagrama vivo. As caixas são as camadas e subsistemas reais; as setas sólidas verdes descem (dependências e dados de execução), as tracejadas âmbar sobem (o loop de aprendizado sedimentando), as azuis são o funil alimentando o engine. Clique uma caixa (ou use os botões) para isolar suas conexões e ler a ficha. A linha pontilhada que corre pela pilha é um token de dados em trânsito.

O MOTOR · pipeline (desce) · funil (alimenta) · loop de aprendizado (sobe) — clique um nó
L4 · harness / clients cli · http+SSE · mcp (ro) · cockpit · tui L3 · swarm orchestrator → lead → worker · MAX_DEPTH 2 L2 · council (engine) DebateEngine · score 0–10 · Verifier maker-checker L1 · adapters — a cintura estreita run(input) → ModelRunResult · NUNCA lança L0 · contracts / etl (substrato $0) vocabulário Zod · SHA-256 · stores append-only · FsPort L-1 · ingestion (source) Collector + agent-browser (somente-leitura) funil T0 $0 T1 T2 T3 → GO 5 gates ① Scope ② Council ③ Proof ④ Validator ⑤ Publish loop aprendizado memory (snapshot) learning (propõe→gate) curator (nunca deleta)
desce · execução + dependência funil alimenta o engine loop de aprendizado sobe / gate

Leia o mapa de baixo para cima como dependências (cada camada só conhece as de baixo — o grafo é acíclico, Lição 01); leia-o de cima para baixo como o caminho de uma chamada de modelo (toda chamada afunila pela cintura L1, Lição 14). As duas leituras são a mesma figura.

Percorra o ciclo — um estágio de cada vez

A run não acontece de uma vez: ela atravessa estágios. Use os botões para acender um estágio por vez e ver o token avançar. Há duas vistas do mesmo ciclo — a pipeline de uma run (do escopo ao ship) e a destilação do funil (do corpus ao learning). Alterne nas abas.

estágio 0 / 5
SCOPE → COUNCIL → PROOF → VALIDATOR → PUBLISH · cada estágio acende um nó
① Scopematerializa run-dir ② CouncilGO/NO_GO pré-voo ③ Proofproof[] · fail-closed ④ Validatorquem constrói não valida ⑤ Publishhumano assina
Clique próximo → para acender o primeiro estágio.
estágio 0 / 5
distill → T0 → T1 → T2 → T3 → learn · do corpus ao learning sedimentado
distillcorpus bruto T0 · $0walk→dedupe→score T1 · local1 sinal por item T2 · frontiershortlist medida T3 · councilverified-GO learnsedimenta
Clique próximo → para acender o primeiro estágio.

Os 5 gates — clique um para ver o que ele checa

Cada gate é a mesma silhueta fail-closed (na dúvida, não passa) com uma evidência e uma pergunta diferentes. Clique um cartão: a ficha abaixo diz o que ele barra e leva à lição que o prova (Lição 17).

Clique um gate acima. Os cinco compartilham a regra de ouro: o padrão é "não prosseguir / estacionar para humano", nunca "assumir OK".

As 4 invariantes — exatamente quatro

A arquitetura se apoia em quatro propriedades afirmadas na fonte (não cinco, não seis — Lição 16). Clique uma para ver como é mantida e qual lição a ancora.

Clique uma invariante acima. Cada uma é estrutural — imposta pelo código, não por convenção — e a maioria é governada por uma ADR.

As 30 lições, conectadas

Cada lição é um nó deste mapa. A etiqueta sob o título diz a qual peça ela pertence — clique o nome da peça no mapa acima para ver a lição acender em contexto. Esta grade é o índice conectivo: a prova de que as 30 lições são uma máquina só.

Esta página é o índice conectivo do curso. Toda lição vive em uma peça do motor; toda peça aponta para a lição que a ensina e o comando que a exercita. Comece por qualquer nó — e siga as arestas.