Na prática

minha-api/
    forge.toml
    src/
        main.df              sobe o servidor
        esquema.df           monta o esquema e devolve
        tipos/
            usuario.df       record + tipo + campos + resolvedores
            pedido.df
        dominio/
            preco.df         a REGRA, sem saber que existe Lavra
            estoque.df
        infra/
            banco.df         as consultas SQL
    consultas/
        painel.lavra         as consultas guardadas
    tests/
        esquema_test.df
        usuario_test.df

// dominio/preco.df — sem uma linha de Lavra
action preco_final(produto, cupom):
    base := produto.preco
    given cupom isnt void and cupom.valido:
        base := base * (1.0 - cupom.desconto)
    yield round(base, 2)

relay preco_final

// tipos/produto.df — a casca fina que liga os dois
adopt ../dominio/preco as Preco

action preco_de(produto, args, ctx):
    yield Preco.preco_final(produto, buscar_cupom(args["cupom"]))

Lavra.campo(esq, "Produto", "preco_final", "Float!",
    args := {"cupom": "String"}, resolve := preco_de)

// ── ler ──
Lavra.busca(esq, "produto", "Produto", args := {"id": "Integer!"},
    resolve := lambda r, a, ctx => Banco.achar(ctx["banco"], "produtos", a["id"]))

Lavra.busca(esq, "produtos", "PaginaProduto!",
    args := {"primeiros": {"tipo": "Integer", "padrao": 20},
             "depois": "String",
             "busca": "String"},
    resolve := listar_produtos)

// ── criar ──
Lavra.mudanca(esq, "criarProduto", "Produto!",
    args := {"dados": "NovoProduto!"}, resolve := criar_produto)

// ── alterar ──
Lavra.mudanca(esq, "alterarProduto", "Produto!",
    args := {"id": "Integer!", "dados": "AlteraProduto!"},
    resolve := alterar_produto)

// ── apagar ──
Lavra.mudanca(esq, "apagarProduto", "Boolean!",
    args := {"id": "Integer!"}, resolve := apagar_produto)

adopt Arcane.Database as Banco

action listar_produtos(raiz, args, ctx):
    consulta := Banco.select(ctx["banco"], "produtos")
    given args["busca"] isnt void:
        consulta := Banco.search(consulta, args["busca"])
    yield Lavra.pagina(Banco.todos(consulta),
                       primeiros := args["primeiros"],
                       depois := args["depois"])

action criar_produto(raiz, args, ctx):
    yield Banco.transacao(ctx["banco"], lambda => gravar(ctx, args["dados"]))

adopt Arcane.Crucible as Crucible
adopt ../src/esquema as E

crucible "o esquema":
    trial "fecha":
        Lavra.conferir(E.montar())

    trial "toda busca tem resolvedor":
        esq := E.montar()
        descricao := Lavra.descrever(esq)
        cycle campo in descricao["busca"]["campos"]:
            assert campo["tipo"] isnt "", $"{campo['nome']} sem tipo"

crucible "usuario":
    trial "traz só o que foi pedido":
        c := Lavra.local(E.montar())
        dados := c.dados("busca:
    usuario(id: 1):
        nome")
        assert dados["usuario"] is {"nome": "Ana"}

    trial "o campo que não existe é recusado":
        problemas := Lavra.validar(E.montar(), "busca:
    usuario(id: 1):
        nomee")
        assert len(problemas) is 1
        assert "nome" in problemas[0]["dica"]

crucible "as consultas guardadas ainda valem":
    cycle arquivo in IO.list_dir("consultas"):
        trial arquivo:
            problemas := Lavra.validar(E.montar(), IO.read($"consultas/{arquivo}"))
            assert len(problemas) is 0, $"{arquivo}: {problemas}"

Lavra.campo(esq, "Produto", "preco_final", "Float!",
    args := {"cupom": "String"},
    resolve := preco_de,
    descricao := "O preço com o cupom aplicado. Sem cupom, é o preço de tabela.")

Lavra.campo(esq, "Produto", "preco_antigo", "Float",
    obsoleto := "use 'preco_final'; este some na 2.0")

server api on 8080:
    route GET "/saude":
        respond json {"ok": yes}

    route POST "/webhooks/pagamento":
        respond 200 json processar(body)

Lavra.montar(api, esq, "/lavra")

dataforge devops dockerfile
dataforge devops compose
dataforge devops ci

# .github/workflows/ci.yml
- name: o esquema nao mudou sem aviso
  run: |
    dataforge run scripts/exportar_esquema.df > /tmp/atual.lavra
    diff -u esquema.lavra /tmp/atual.lavra