Benchmarks e Performance
O projeto PAEBIRU utiliza o criterion.rs para medição contínua de performance e latência. Os resultados aqui apresentados atestam a eficiência do Kernel e das camadas de cognição.
Métricas Principais
1. Kernel e Transporte
- Delta-T No-Handshake: Latência de envio < 100μs em loopback.
- Ordered-Gate Pipeline:
- Gate 1 (Load Shedding): < 50ns/pkt.
- Gate 2 (PoW BLAKE3): ~2μs (dificuldade standard).
- Gate 3 (ML-DSA Signature): ~15μs verificação.
- Gate 4 (ZK-PoL Groth16): < 2ms verificação.
2. Cognição e Biologia
- BDI Actor (Abaporu): Ciclo metabólico completo (Ingerir → Metabolizar → Excretar) em < 5ms para tarefas leves.
- Algedonic Sensor (Neuromorphic): Processamento de spike em < 1μs.
- Federated Learning: Compressão de gradientes (pruning + quantização) reduz tráfego em até 85% com perda de acurácia < 2%.
3. Economia
- x402 Micropayments: Overhead de verificação de prova de pagamento < 500μs.
- Mutual Credit Ledger: Invariante zero-sum verificado em < 10μs por transação.
Relatórios Detalhados
Os relatórios completos com gráficos de regressão, distribuição de probabilidade e comparação de amostras são gerados automaticamente e podem ser visualizados localmente:
cargo bench
# Relatório gerado em: target/criterion/report/index.html
Nota: Para visualização integrada no mdBook em ambientes de CI, os artefatos de benchmark são publicados em docs.paebiru.org/benches/.