mirim

1.1.1 · Preparação da versão

Manutenção com segurança e documentação claras.

As correções preservam os layouts binários existentes. Esta página apresenta a atualização do código-fonte; a versão estável anterior é a 1.1.0 até a conclusão da publicação.

Changelog · Guia completo

Downloads

Escolha uma versão publicada.

A 1.1.1 está em preparação. Para a versão estável anterior, procure a 1.1.0 nos espelhos abaixo. Confira os anexos e as notas de cada versão; não há garantia de binários para todas as plataformas.

O que ele faz

Dados pequenos, mantidos privados e duráveis.

O mirim guarda dados que devem ficar em memória, cifrados em disco, e recuperáveis depois de uma queda: chaves, credenciais, registros de permissão, trilhas de auditoria, configuração.

Dialeto

Toda a superfície SQL, em uma tela.

Dois tipos, nenhuma coerção, nenhuma surpresa. O que segue não é um resumo da linguagem. É a linguagem.

-- Comentarios de linha, e /* de bloco */.

CREATE TABLE users (
  id    INTEGER PRIMARY KEY,  -- unico, indexado
  email TEXT UNIQUE,          -- aceita varios NULL
  age   INTEGER
);

-- Uma linha por INSERT. Colunas omitidas viram NULL.
INSERT INTO users VALUES (1, 'ana@x.io', 30);
INSERT INTO users (id, email) VALUES (2, 'bia@x.io');

SELECT email, age FROM users
  WHERE age >= 18 AND email IS NOT NULL;
SELECT * FROM users ORDER BY age DESC;
SELECT id FROM users ORDER BY id LIMIT 10 OFFSET 20;
SELECT COUNT(*) FROM users WHERE age IS NULL;

-- Atomico por instrucao: uma violacao nao muda nada.
UPDATE users SET age = 31 WHERE id = 1;
DELETE FROM users WHERE id = 2;

Entrada não confiável entra como parâmetro ? vinculado, nunca como texto SQL. Passo a passo completo no guia. Cinco esquemas prontos em samples/.

Adequação

Veja se os limites atendem à sua aplicação.

Configurações, segredos locais e pequenos conjuntos de estado podem se beneficiar de armazenamento criptografado. Avalie tamanho, consultas, concorrência e recuperação antes de escolher.

Criptografia

Primitivas com nome, e com o padrão delas.

O mirim combina primitivas das dependências RustCrypto em formatos próprios. A suíte inclui vetores criptográficos fixados; isso não equivale a uma certificação independente.

Falhas de autenticação retornam Error::Crypto. Erros públicos de estrutura, versão e tipo de segredo podem ser diferentes. Consulte SECURITY.md para o modelo completo.

Em disco

Formatos versionados e documentados.

Os layouts binários permanecem compatíveis nesta atualização de manutenção. O guia reúne a referência de tamanhos, campos e derivação de chaves.

Cabeçalhos de criptografia são autenticados, mas o estado local de confiança não é um ciphertext. Recuperação pode descartar uma cauda de WAL danificada ou um WAL de outro snapshot; isso não impede regressão maliciosa. Referência binária.

Modelo de segurança

Conheça as proteções e seus limites.

Escolha sua implantação considerando memória, armazenamento, recuperação e confiança nas chaves.

Tempo constante depende principalmente das implementações criptográficas. Não há certificação independente de tempo constante do binário completo. SECURITY.md · Guia operacional

Licença

Licença dupla. Escolha a que serve.

Aberto por padrão sob AGPL-3.0-only. Existe uma licença comercial para os casos em que os termos da AGPL não servem.

Termos completos em LICENSE e LICENSING.pt-BR.md. Copyright (c) 2026 Cristian Cezar Moisés.