Alembic Complete Visual Course

Coda: os quatro gates

Proof, validator, course e publish gates fecham toda execução Alembic.

Read the plain version, or open the technical layer on any section.

Finalização fail-closed

@alembic/coda implementa os quatro gates que devem passar antes de uma execução ser considerada terminada:

Proof Gate verifica se cada comando proof[] saiu com 0.
Validator Gate executa um council independente sobre as evidências de cada unit.
Course Gate gera um curso visual-teach bilíngue dos artefatos de execução.
Publish Gate estaciona ou publica o curso com base na aprovação.

Se algum gate falhar, a execução falha fechada e evidências são escritas no diretório de run.

Pense assim… segurança de aeroporto: cada checkpoint deve passar antes do embarque, e qualquer falha o manda de volta para inspeção.

Under the hood

runProofGate lê eventos TaskState da store e escreve units/<unitId>/proof-results.jsonl. runValidatorGateForSpec converte resultados de proof em evidências BusinessSignal e executa um painel verifier council. generateCourse emite HTML EN + PT-BR autocontido. runPublishGate requer approved: true e um publisher gist; artefatos não aprovados são estacionados.

In one picture

Os quatro gates executam em ordem; falha em qualquer gate para a execução.

In the code

# uma execução Forge-scope com --yes limpa o publish gate
alembic run --goal GOAL.md --plan alembic.plan.ts --yes --offline

Implementation notes

A CLI passa publishers injetados em testes para que o publish gate possa limpar mesmo offline. Em produção, os scripts de publicação do loop-engineering criam um gist privado e opcionalmente um site Cloudflare Pages. O diretório do curso se torna o artefato publicado pelo gate.

Try it

Execute um comando Forge-scope com --yes e procure por publish gate: published na saída. Encontre a URL do gist no diretório de run.

Ética: Por que o validator gate é independente do builder?

Quick check

Qual gate gera o curso visual-teach?

Proof Gate Validator Gate Course Gate Publish Gate