Mapeamento do Workspace e Agenda v1
Esta seção ancora cada pilar arquitetônico no código atual do workspace Rust (Edition 2024, AGPL-3.0), separa o que é alvo de v1 do que permanece como pesquisa, e enumera as decisões de design ainda em aberto.
Mapeamento de Conceitos para Crates e Subsistemas
| Pilar / Contexto | Diretório Físico | Implementação Canônica | Status |
|---|---|---|---|
| ONTOLOGY | N/A | Axioma: Deus sive Natura (Entropia e Lógica). | Transversal |
| OBSERVER | N/A | Homo Conatus: Instanciação e colapso da abstração em binário. | Transversal |
| MATH | crates/math | Stack matemática, simulações termodinâmicas e Reed-Solomon. | Estrutural |
| KERNEL | crates/kernel | Espinha Dorsal: PoL, Consenso ZK e Transporte RINA Delta-T. | Estrutural |
| BIOLOGY | crates/biology | Organismo: AbaporuActor, SMoT e Roteamento Estigmergico. | Estrutural |
| ECONOMY | crates/economy | Tecido: BarterEngine, JouleLottery e Crédito Mútuo. | Estrutural |
| CAPIBA | crates/capiba | Arquitetura de Blocos: Memória causal, imutável e persistência. | Estrutural |
| PLASMIDS | crates/plasmids | Máquina de Estado: Execução de DSL TOML. | Estrutural |
| HAL | crates/hal | Adapters (Hardware): Camada no_std. | Estrutural |
| BOOTSTRAP | crates/kernel | Gênesis: Ciclo de inicialização cold-boot. | Estrutural |
| RECURSION | crates/kernel | Ouroboros: Colapso recursivo e Seed. | Estrutural |
| MESH | apps/node | Enxame P2P: PaebiruBehaviour e libp2p. | Estrutural |
| SDK | crates/sdk | Fronteira / Integração: Contexto e SovereignReceipt. | Estrutural |
| BINDINGS | crates/bindings | Interoperabilidade: Ponteiros opacos (FFI). | Estrutural |
| CLI | apps/cli | Interface: Utilitário Forge. | Estrutural |
| LEARN | crates/learn | In-Network Learning: FedAvg, Split-DNN. | FL baseline |
Estrutural = subsistema existe e é alvo de testes (≥97% coverage). Parcial = parte implementada, parte pesquisa. Pesquisa = visão documentada, sem módulo canônico.
Escopo v1 vs Visão de Longo Prazo
Inclui v1: PoL trilateração com PTP, ZeroTrustPipeline completo, compute-to-data sobre MacrophageVM, streaming x402, crédito mútuo zero-sum, FedAvg/Split-DNN, gossipsub libp2p, CRDT/DVV, C.A.P.I.B.A. (Nascente→Oceano), governança ZK básica, BDI/AbaporuActor, L8 FIPA-ACL.
Base v0.0.1 (em código, pendente de campo): Beamforming holográfico — modelos de Kuramoto, otimização vetorial no_std e trait HAL implementados; validação em malha real adiada para v2+.
Base v0.0.1 (em código): Sincronização CSAC — drivers MicrochipSa65 e TeledyneTmx220 sobre CsacBackend abstrato, SimulatedCsacBackend para CI, PtpSyncEngine com sincronização em cascata (Anchors → Macrophage → IoT) e weighted sync por ClockQuality; integração PTP over LoRa/BLE adiada para v2+.
Base v0.0.1 (em código): Socialismo Pós-Escassez — CommonsActor com NeedBasedAllocator, WelfareEngine, simbiose mycorrhizal, streaming allocation e identity gating obsoleto; EconomyShim para compatibilidade com EconomyMessage legado; transição gradual do BarterEngine para Commons planejada para v0.2+.
Adia para v2+: Hipocampo Externo em produção, REP como módulo de primeira classe, LSTP/CSTP/SSTP interoperáveis, PUF impressa em CNT/papel, FROST k-of-n com oráculos, Transgressão Gödeliana, Coerência Quântica de Enxame.
Base v0.0.1 (em código): In-Network Learning puro — feromônios de gradiente (crates/capiba), filtro imunológico cognitivo e roteador SGLD (crates/biology).
Invariantes Formalmente Verificados
- Soma-zero do crédito mútuo (Lean 4) — evita inflação silenciosa.
- Causal ordering CRDT/DVV (TLA+) — garante consistência eventual.
- Solidez do gate ZK-PoL (Lean 4) — impede spoof de localização.
- Liveness do GALS scheduler (TLA+) — evita deadlocks entre domínios.