Convergência de representações latentes, engenharia determinística e computação espacial.
Projetamos e construímos sistemas onde os dados e os modelos não são caixas-pretas, mas geometrias semânticas estruturadas: representações que podem ser medidas, auditadas e explicadas.
Nasceu de uma intuição, não de um plano de negócios
Rancagua, Región de O'Higgins.A Semantic Geometry não começou em um laboratório financiado nem dentro de uma corporação de tecnologia. Começou com uma intuição que seu autor sustentou por décadas de desenvolvimento autodidata: que uma ideia, um sentimento ou uma lei física podem ser localizados exatamente no espaço.
O significado humano não seria então uma definição estática em um dicionário alfabético, mas uma posição matemática em um espaço contínuo de coordenadas. Se a Terra tem latitude, longitude e altitude para situar qualquer objeto em sua superfície, o pensamento deveria ter seus próprios eixos cartesianos: um GPS do conhecimento.
Anos depois, ao revisar a literatura formal, essa intuição acabou convergindo com a linhagem da psicometria clássica: a medição de atitudes de Louis Thurstone e o diferencial semântico de Charles Osgood. Não era uma ideia órfã; era uma ideia que chegava tarde à sua própria tradição científica.
Daí vem a postura técnica que define a empresa. Diante de modelos que acertam na maioria das vezes sem conseguir explicar por quê, que não distinguem o que sabem do que inventam e que dependem de servidores gigantescos, a Semantic Geometry foi construída sobre o princípio oposto: o modelo propõe, mas o grafo e o cubo verificam.
Recalculável a partir da especificação IEEE 754. Os 1022 expoentes que dão |x| < 1, mais o que dá exatamente ±1 com mantissa zero, pelos dois sinais.
Duas formas de responder quando não se sabe
Modelo generativo
Responde sempre. Se o dado não está lá, ele o constrói plausível: a fluência e a veracidade saem do mesmo mecanismo, então de fora não há como distinguir uma da outra.
→
Verificador determinístico
Tem permissão para calar. A geometria orienta a inferência, mas só a evidência do grafo a certifica. Quando não há, o sistema diz: a negativa é uma resposta, não uma falha.
A diferença não é quem acerta mais. É que um pode errar sem saber, e o outro não pode afirmar sem evidência.
02 — Verticais
O motor é a base; as verticais, o produto
Sobre o núcleo de verificação determinística construímos verticais reguladas: domínios onde uma alucinação custa dinheiro, um julgamento ou uma multa. Cada uma declara sua fase com honestidade, sem fumaça.
01
Operação de frotas
SG-Fleet
Geocercas, telemetria e controle de frotas em C++23
Motor header-only C++23 com REST + tracker TCP, isolamento multi-tenant e telemetria de hardware. Projetado para operar 100% offline, na borda.
REST API com isolamento multi-tenant e RBAC
Tracker TCP (Wialon IPS / CSV) com batch de alta densidade
Geocercas, alertas e dashboard de operação
Sem dependências: roda onde não há nuvem
Slices autocontidos (~7 MB) para radioenlaces e micro-dispositivos
C++23SQLiteRESTTCP
Motor operacional
02
Contabilidade e tributária · Chile
SG-Tax
Folha, RLI e balanço tributário determinístico
Cálculo normativo chileno sem heurística: liquidações Previred, RLI ProPyme e balanço financeiro vs. tributário. Cada resultado é auditável contra a lei.
Liquidações Previred (arquivo de 105 campos)
RLI ProPyme 14-D3 / 14-D8 e Semi-Integrado 14-A
Balanço IFRS vs. tributário SII com conciliação
Cálculo determinístico: zero caixas-pretas
C++23SQLiteSIIPrevired
Em desenvolvimento
03
Crédito e bancos · Chile
SG-Fintech
Simulação de crédito com amortização rastreável
Simulações de crédito e tabelas de amortização com auditoria completa: cada decisão de pagamento é respaldada pelo motor, pronta para fiscalização.
Simulação de crédito com cronograma de amortização
Cálculo de indicadores de mercado (UF, taxa, IPC)
Trilha de auditoria por operação
Determinismo para decisões reguladas
NestJSSQLiteCálculo financeiro
Em desenvolvimento
04
Direito trabalhista · Chile
SG-Legal
Grounding ontológico da normativa trabalhista
Aplicação do motor de verificação ao direito: afirmações trabalhistas validadas contra o grafo e a norma, com linhagem formal e rastreável até a lei.
Verificação determinística de afirmações trabalhistas
Rastreabilidade da norma que fundamenta a resposta
Candidatas naturais: Lei Karin, verbas rescisórias, Código do Trabalho
SG CoreGrafo ontológicoLei 21.643
Em pesquisa
Nenhuma vertical compete com um LLM em geração de texto: compete no que um LLM não pode prometer: uma resposta que sabe quando calar e que pode mostrar a norma que a fundamenta. E onde o LLM não chega —sem conectividade, em silício padrão, na borda—, o motor chega.
03 — Pilares
Três capacidades, uma mesma disciplina de representação
Não vendemos horas de desenvolvimento genérico. Cada pilar resolve um tipo diferente de problema, com o mesmo critério: estrutura explícita, desempenho mensurável e resultados que se sustentam no tempo.
01
Data Engineering & High-Performance Backends
Construímos o encanamento onde o dado chega íntegro e no prazo. Pipelines ETL tolerantes a falhas, otimização de fluxos e microsserviços robustos, dimensionados para volume real de produção.
Pipelines ETL/ELT e orquestração de ingestão massiva
Otimização de consultas, índices e pegada de memória
Microsserviços e backends de alto desempenho
Observabilidade, idempotência e recuperação de falhas
C++23SQLite / SQL embarcadoPythonAPIs REST
02
Deterministic AI & Latent Spaces
Modelamos o conhecimento como geometria, não como uma caixa-preta. Espaços vetoriais interpretáveis e um verificador que pode se recusar a afirmar quando o grafo não o respalda.
Modelagem geométrica do conhecimento em espaços latentes
Representações vetoriais interpretáveis e rastreáveis
Verificação determinística do que um modelo generativo propõe
Grounding por evidência: sem respaldo no grafo não há afirmação
EmbeddingsGrafos direcionadosVerificaçãoIA ética
03
Spatial Computing & Optimization
Algoritmos analíticos para problemas que não admitem aproximações. Otimização combinatória, geoespacial e financeira aplicada a operação industrial e tomada de decisões reguladas.
Otimização combinatória e metaheurísticas
Análise geoespacial e topologia de redes
Modelos de risco e cálculo normativo auditável
Simulação e apoio à decisão operacional
Borda offline: ~15W em silício padrão, sem GPU, sem nuvem
OtimizaçãoGeoespacialModelos financeirosSimulação
Estado atual
A Semantic Geometry não está terminada. Está construída para não mentir enquanto não estiver.
Arquitetura e método
ConsolidadosC++23 estrito, arquitetura hexagonal, suítes de verificação no verde.
Base de conhecimento
Em calibraçãoCresce por ingestão auditada. O que não pode ser medido é purgado.
Cobertura por domínio
DesigualE o motor declara: onde o grafo não tem evidência, responde com silêncio.
Um modelo com cobertura incompleta que preenche as lacunas é mais arriscado do que um com a mesma cobertura que cala. Para operação industrial e decisões reguladas, essa diferença não é um detalhe: é o produto.
04 — Identidade & Contato
Vamos falar do problema, não do pitch
Conte-nos qual sistema você precisa construir, qual pipeline está caindo ou qual decisão você não consegue sustentar hoje. Respondemos com um diagnóstico técnico, não com um folheto.