Galidima
Princípio
Galidima é um sistema privado e local-first que estou a construir para estudar como a inferência pode entrar em software operacional sem se tornar a fonte de registo.
O problema central não é expor um chat. É decidir o que pode entrar no contexto, quais os registos que permanecem autoritativos, o que sobrevive a uma falha e que afirmações podem ser verificadas depois de uma resposta.
Fronteira de inferência
O serviço do modelo permanece atrás de uma interface de fornecedor. Os motores locais podem mudar sem espalhar detalhes de execução pelo resto do sistema; saúde, recuperação, modos de pedido, latência e uso são medidos nessa mesma fronteira.
O raciocínio interno não atravessa a interface do utilizador. Apenas o conteúdo final entra na conversa e no percurso de verificação.
Contexto e evidência
O histórico recente tem limites explícitos. A recuperação e a memória permanecem circunscritas ao perfil, enquanto mensagens anteriores do modelo mantêm continuidade sem se tornarem evidência por repetição.
Cálculos, datas e totais financeiros seguem percursos determinísticos. As respostas factuais conservam proveniência e estado de verificação; uma resposta contestada é excluída do futuro contexto factual.
Contratos de domínio
Au Jour Le Jour fornece a Galidima um contrato financeiro só de leitura, reconciliado em cêntimos inteiros. A cobertura e a atualidade permanecem visíveis quando o sistema precisa de usar um snapshot local.
MyCasaPro ainda não tem um conector Galidima operacional. A fronteira prevista é uma projeção separada, revogável e só de leitura. Esta separação mantém a aplicação de origem como referência e impede o assistente de alterar registos operacionais.
Durabilidade operacional
O estado ativo permanece local em SQLite. Snapshots, exportações e cópias de segurança usam escritas atómicas; a integridade é verificada antes da conservação secundária.
O sistema também é verificado em condições degradadas: fornecedor indisponível, integração offline, cobertura financeira incompleta, repetições duplicadas e respostas contestadas.
Método
O método consiste em definir invariantes antes da interface, separar execução determinística de geração, preservar proveniência e tratar recuperação como comportamento normal do sistema.