Platform / Control Plane
Bun · Next.js 16 · TS 5 · Prisma/SQLite
Orquestração, campanhas, ledger auditável, observabilidade — o plano que agora conversa com a plataforma multi-usuário.
A CSI transforma KIP + CWM + entidades em uma máquina persistente de investigação: quest → evidência real → hipóteses competidoras → previsões falsificáveis → experimento computacional → verificação determinística → atualização bayesiana → próximo melhor passo.
Métricas reais agregadas do substrato: cada número vem de eventos persistidos e auditáveis.
O que a plataforma organiza, o motor investiga: hipóteses competidas, verificação epistêmica determinística, falsificação simbólica, benchmarks SCI e a matriz viva contra os sistemas AI-cientist de ponta — tudo CPU-native, sem GPU.
Bun · Next.js 16 · TS 5 · Prisma/SQLite
Orquestração, campanhas, ledger auditável, observabilidade — o plano que agora conversa com a plataforma multi-usuário.
Python 3.12 · NumPy · SciPy · SymPy
Estatística científica real: decomposição de Brier (Murphy), Welch t + Cohen’s d, cobertura Wilson, falsificação simbólica.
C11 · AVX2/AVX-512 · -O3 -march=native
Kernels CPU-NATIVE (GPU = 0): dot, RMSNorm, quantização int8, CRPS — verificação de correção antes do benchmark.
12 características em que os AI-cientists de ponta convergem · re-benchmark cadenciado
12 abas operacionais · estado vivo
Campanhas do motor seguem a mesma lei de visibilidade da plataforma: open para o público, closed apenas para a dona e operadores.
Entidades de primeira classe que sobrevivem à troca de sessão, de entidade e de modelo — com estado, história e evidência próprios.
Campanhas marcadas como abertas: qualquer pessoa lê o bundle científico completo — quest, evidências, hipóteses, experimentos e traço — sem credencial e somente leitura. Pesquisa fechada não aparece aqui.
Acesso público = somente leitura. Mutações (ciclos, experimentos, evidências) exigem filiação ao tenant — o servidor recusa com 403.
Visão cross-campaign das campanhas executando ciclos em background — o investigador submete, acompanha e interrompe sem bloquear o browser.
Os últimos eventos do event backbone auditável — cada conclusão rastreável à evidência que a produziu.
Nenhum evento registrado ainda — execute uma fase para o backbone ganhar vida.
Brier com decomposição de Murphy, skill contra climatologia e produção de novidade — computados sobre previsões persistidas e verificadas deterministicamente, nunca auto-avaliadas pelo modelo.
A CSI consome as camadas existentes pelos contratos — não recria Knowledge, não recria World Model, não recria Agent Runtime.
Dificuldade + orçamento + latência decidem a camada — não a marca. Provedores são plugins: adicionar um fornecedor é uma variável de ambiente, zero código. A Camile nunca é refém de um fornecedor.
Porta fiel do roteador de inferência da Camila — mesmos invariantes: filtros duros antes de qualquer pontuação; custo nunca pontua (só desempata); relaxamento progressivo com requisitos funcionais invioláveis; nenhuma escolha degradada é silenciosa. Cada decisão é auditável em ledger — camada, nível, score, cadeia de eliminação, latência, tokens, custo — a decisão pode ser reconstruída, não apenas observada.
Roteamento multi-modelo REAL entre as camadas ativas · multi-fornecedor PRONTO: as camadas dormentes ativam-se com uma variável de ambiente (OPENAI_API_KEY, DEEPSEEK_API_KEY, OPENROUTER_API_KEY, OLLAMA_BASE_URL) — zero código novo, zero mudança de contrato. Nenhuma camada dormente é escondida: o estado é reportado.
Cada tenant é uma célula com orçamento de memória, teto de heap, concorrência e cadeia de auditoria próprias. A admissão determinística reserva 100% do heap antes de qualquer execução — o OOM morre no processo filho, nunca no servidor. Sem teatro: cada número abaixo é medido.
O tenant ativo (cookie de escopo) determina qual célula de governança recebe todas as execuções de pesquisa da plataforma — orçamento, heap, concorrência, circuito e auditoria passam a ser os dele.
o código roda com rng() semeado e as ferramentas T.* do fabric de estatística — nada de require, fetch ou process: guardas estáticas rejeitam na admissão.
mesma semente → mesma sequência → mesmo hash de entrada
o watchdog mata o filho no prazo — sem zumbis
100% deste valor é reservado contra o orçamento do tenant antes de rodar (admissão determinística). Com heap 512 MB no preset de OOM (~400 MB alocados): o teto vence o for — é exatamente isso que o teste prova.
Cada execução nasce em um node dedicado com --max-old-space-size: o OOM morre no filho, nunca no servidor.
A execução reserva 100% do heap contra o orçamento do tenant antes de rodar — sem exceções.
Deficit Round Robin com peso por plano: nenhum tenant morre de fome.
MB·segundos, eventos OOM e cadeia de hash SHA-256 por tenant — cada ação é verificável.
escopos mínimos por chave; revogação é imediata e entra na cadeia de auditoria. O prefixo é o único fragmento exibível — o segredo existe uma única vez, na emissão.
adição e remoção de membros pelo diálogo no card do tenant — cada mudança é um elo na cadeia de auditoria.
cada entrada carrega o hash da anterior — adulterar um elo quebra a verificação de todos os seguintes. A revalidação percorre a cadeia inteira no servidor e reporta o primeiro elo rompido, se houver.
Nenhum número nesta seção é simulado: o governador, os orçamentos, os recibos de execução, o ledger e a cadeia de hash vêm da mesma infraestrutura que roda os experimentos — governança observável é governança real.
KIP = o que é conhecido. CWM = o que o mundo modelado está fazendo. ENTITY = o que deve ser feito a seguir. A CSI orquestra as três sem misturar responsabilidades.
O que já foi registrado, extraído, relacionado e consolidado. Consumido via API — nunca duplicado.
Estado, dinâmica, causalidade, incerteza e possíveis evoluções do sistema estudado. Referenciado por world_id.
Quem decide o que investigar, quais ferramentas chamar, qual o próximo passo — com escopos explícitos.
Campaign · ResearchState · Question · EpistemicState
Evidence · Assessment · Conflict · Evidence Graph
Hypothesis · Competition · FalsificationCriterion
Prediction · Ledger · Deterministic Verification
Design · Sandbox Execution · Result
Registry · Trace · Capsule · Manifests
Director · Entity Factory · Scopes · Lifecycle
Sandbox · Statistics · Simulation · LLM Provider
Retrieval real — origin auditável
Adapter pronto · aguardando integração
NBA engine · stop conditions · modo autônomo async