Decisão quântica com recibo.
Somos uma startup brasileira que construiu um stack completo de decisão computacional trivalente: a linguagem ZEPHIRUM, o núcleo ZYQL (vereditos 1, 0 ou REFUSED por interferência de Deutsch-Jozsa) e o agente triplanar Ravi Quantuno. Tudo validado em silício IBM Quantum real — três processadores Heron, cada afirmação com job ID e recibo selado em três camadas de criptografia pós-quântica. Nada silencioso, tudo com recibo.
O que existe, no mundo real
Cada produto abaixo está publicado, versionado e com CI verde no GitHub da Serena Solutions.
ZEPHIRUM
A linguagem de programação quântica com recibos: sintaxe Lisp (s-expressions), decisões trivalentes lidas de interferência quântica, margens estatísticas declaradas (Hoeffding adaptativo) e runtime de produção a ~3.4 mil decisões/s.
ALGORITMO · ZYQLZYQL — núcleo de decisão trivalente
Um oráculo quântico decide entre 1, 0 e REFUSED em uma chamada — contra 2^(n-1)+1 chamadas clássicas no pior caso determinístico. Porta GHZ interroga o próprio QPU antes de cada veredito; cadeia de proveniência amarra cada recibo ao anterior.
AGENTE · TRIPLANARRavi Quantuno
O agente que opera nos três planos num só kernel: clássico (SHA3), quântico (poliglota em 6 linguagens + silício IBM) e pós-quântico (ML-DSA-44). Planeja → executa → verifica, com o pensamento selado no recibo. Autonomia auditável.
MARKETPLACE · 6 ACTIONSApps de laboratório
ZQ-GATE (portão de decisão), Z-Anyon Lab (trançados não-abelianos), ZY-AI-RAG (portão de IA com hardware real), Z-QEA Sealer e Verifier (recibos em 3 camadas) e Ravi Quantuno — todos no GitHub Marketplace com job ID de hardware em cada resultado.
PROVA · POLIGLOTAquantum-poc
O núcleo trivalente confrontado com 6 linguagens quânticas — Qiskit, OpenQASM 3, Cirq, PennyLane, Braket e Q# — e todas concordam exatamente. Depois, o mesmo veredito medido em hardware real.
PUBLICAÇÃO · DOI 10.5281/zenodo.23302046Tese + depósito de software (Zenodo)
A tese "Necessity-First Computational Quantum Chemistry" (v0.1) e o registro do software ZYQL, com DOI citável, selo ML-DSA e vereditos testemunhados em QPU. Cite a casa nos seus trabalhos: o código é MIT, a prova tem DOI.
HONESTIDADE · MATURITY.mdMaturidade declarada por componente
Publicamos o que é produção, o que é beta e o que é experimental — componente a componente, com limites explícitos (n ≤ 8 simulado, sem correção de erro, hardware sempre com job ID). O site não promete o que o código não entrega.
Os três planos
CLÁSSICO
Runtime de produção determinístico por seed, recibos SHA3-256 verificáveis offline, ~3.4k decisões/s.
QUÂNTICO
Validado em 3 QPUs IBM Heron: GHZ 0.977 de fidelidade, DJ exato em n=4/5/6, segredo Bernstein-Vazirani recuperado, Grover dominante.
PÓS-QUÂNTICO
ML-DSA-44 para autenticidade, ML-KEM-768 + AES-256-GCM para sigilo (Z-KEM), entropia medida em QPU para a identidade de cada recibo.
Evidências de hardware
Todo número abaixo foi medido em processadores IBM Quantum reais e está selado em recibos Z-QEA encadeados, com job ID citável: fidelidade GHZ 0.977 (ibm_kingston, job dbdlb7424mrc739iievg); bateria trivalente exata já em 64 shots (Rodada B, kingston); matriz de reprodutibilidade cruzando 3 QPUs (Rodada D); carga máxima suportada com 9/9 exatos em n=4/5/6, segredo BV recuperado com p=0.91 e Grover n=3 dominante com p=0.77 (Rodada E); fronteira ao vivo em teste — porta CHSH de não-localidade, código de repetição para correção de erro e Grover n=4 (Rodada F).