Alembic Completo · currículo fonte-de-verdade · Visual Course
Alembic Completo
currículo fonte-de-verdade · a arquitetura do Alembic linha-a-linha, camada por camada (L0→L4)
Este não é um tour de marketing — é o mapa fonte-de-verdade do motor. Lemos o Alembic como ele realmente é no código: começamos na base de contratos (o tipo Result, os schemas Zod, o FsPort) e subimos camada por camada — L0 Contracts+ETL → L1 Adapters → L2 Council → L3 Swarm → L4 Harness — até o ponto em que uma unidade de trabalho atravessa o sistema inteiro. Cada lição é fiel às páginas-fonte (deep-dives por camada), mas reescrita em PT-BR no padrão visual-teach: diagramas, flashcards, predições e quizzes. No fim, juntamos tudo nos hot paths ponta-a-ponta, no playbook do operador e num glossário visual do vocabulário canônico.
Fio condutor: uma unidade de trabalho sobe a torre — nasce sobre os
Result/schemas de L0, é roteada por L1 (Adapters + tier), julgada por L2 (Council, gate GO/NO_GO), distribuída por L3 (Swarm, DAG de workers) e orquestrada por L4 (Harness: runPlan, proof gate, T4 park) — e então você a vê inteira nos hot paths, sabe operá-la pelo playbook, e nomeia cada peça pelo glossário.Parte 1 · A espinha · L0 → L4
Lição 1
Camada L0 · Contracts + ETL
A base de tudo: o tipo
Lição 2Result que nunca lança, os schemas Zod do @alembic/contracts e o FsPort do ETL para IO testável.Camada L1 · Adapters
A cintura estreita do modelo: o
Lição 3ModelAdapter, o tier routing por custo, o registry e o accounting de cada chamada.Camada L2 · Council
O debate multi-perspectiva e o gate GO/NO_GO: como o council agrega vereditos e o verifier observa antes de deixar passar.
Lição 4Camada L3 · Swarm
A distribuição do trabalho: orchestrator, workers e o DAG de tarefas — paralelismo com dependências explícitas.
Lição 5Camada L4 · Harness
O topo que orquestra:
runPlan, o pipeline de gates, o proof gate determinístico e o park de tarefas T4.