AI Infrastructure Foundations

    return Err(SessionExpired);

.dweve/plans/auth-session.md · 64 linhas

v1.0.0 · Agente de Desenvolvimento Autónomo

Aritmética de ponto fixo determinística, com bits idênticos em todas as máquinas suportadas.

Analisa o material de origem em árvores endereçadas por conteúdo, cuja origem pode ser verificada por hash.

Obtém correspondências exatas de índices hiperdimensionais binários em CPUs comuns.

Compila políticas uma vez e depois avalia-as no caminho crítico, sem uma ida e volta ao serviço.

Dobra um registo de eventos em qualquer estado passado, para que simulações e decisões possam ser reproduzidas.

Executa modelos FMI 3.0 de forma determinística em todos os backends de simulação suportados.

Empacota uma decisão de IA com um certificado de raciocínio que pode ser verificado offline.

Mantém proveniência de eventos apenas de adição, encadeada por hash, sem edições silenciosas do histórico.

Assina eventos de agentes e dobra-os num registo de execução reproduzível.

Regista o que aconteceu dentro de uma sandbox, não apenas que o processo foi contido.

Serializa dados de modelo de forma densa, sem transportar sintaxe JSON por cada token.

Lê e escreve dezassete formatos de documentos de escritório através de uma interface Rust.

Transforma uma pergunta recorrente da fonte em registos tipados, com a rota de recolha anexada.

Comprime prompts por regras publicadas fixas, dentro do processo que já contém o texto.

Dá a agentes e designers uma interface tipada para um mundo de jogo nativo da web.

Procura otimizações de programas a partir de uma especificação e converte o resultado em código executável.

Estuda sistemas de vida artificial em que sinais locais produzem comportamento coletivo adaptativo.

Abra o projeto para ver o seu mecanismo, interfaces e lugar na stack.

Catorze fundações com código-fonte disponível e três programas de investigação adjacentes. O HEDL é público sob Apache-2.0. Os restantes repositórios publicam em rondas quinzenais a partir de 1 de setembro de 2026, dois de cada vez para começar, para que cada um seja lido em vez de enterrado. Os termos permanecem específicos de cada projeto.

Reúna o material de origem relevante sob uma rota registada.

Analise o material numa estrutura estável e endereçada por conteúdo.

Obtenha a evidência exata necessária para a pergunta atual.

Avalie a política que governa o que o sistema pode fazer a seguir.

Ligue a decisão a um certificado de raciocínio verificável.

Assine os eventos do agente e preserve a execução para reprodução.

O utilizador vê a resposta; a rota, evidência, política, prova e registo de eventos permanecem anexados por baixo.

Os projetos não são um saco de utilitários. Cada um é dono de um limite no trabalho: entrada de fonte, estrutura, recuperação, política, prova ou histórico de eventos. As operações podem inspecionar a entrega onde um resultado mudou, em vez de reconstruir uma aplicação opaca. Cada entrega nomeia o projeto responsável por ela, pelo que uma revisão começa nesse passo em vez de na rota inteira, e o registo de execução no final aponta para cada um deles.

Um caminho de composição útil começa com a entrada de fonte e termina com um registo de eventos assinado. Cada projeto estreita uma preocupação e passa um artefacto explícito para a frente, para que recuperação, política, prova e reprodução possam evoluir sem colapsar num único runtime. O censo regista o âmbito verificado em vez de uma cadeia automática, pelo que uma aresta existe aqui apenas onde um projeto a declara, e qualquer outro par permanece uma seleção que faz.

As fontes e as estruturas analisadas permanecem associadas à execução.

A recuperação, a política e o raciocínio deixam cada um o seu próprio resultado.

O registo final da execução aponta para cada transição.

Cadeia de projeto / transições explícitas

Fabric é o espaço de trabalho que utiliza. Por baixo, partes focadas recolhem o material certo, organizam-no, encontram o que importa, verificam as regras, explicam a decisão e lembram o que aconteceu. Não opera nenhuma delas separadamente. O resultado volta num só lugar, e o rasto fica disponível sempre que quiser consultá-lo. Não há nada extra para instalar, atualizar ou gerir.

Fabric recebe a pergunta no espaço de trabalho que já utiliza.

Recolhem, organizam, encontram, verificam, explicam e registam.

A resposta é clara, enquanto o rasto de apoio permanece disponível.

Jacquard, Forge e Mycelia, mantidos ao lado

HEDL é público, os restantes publicam em rondas

Os termos são definidos por projeto, nunca herdados do conjunto.

As partes passam os resultados adiante; nunca as opera separadamente.

Abra uma página de projeto para compreender um mecanismo em profundidade, ou use Fabric para experimentar o percurso completo como um espaço de trabalho.

A Fabric apresenta o resultado enquanto as partes focadas trabalham por baixo.

Os projetos passam resultados explícitos para a frente em vez de esconder o trabalho num único runtime.

Cada projeto tem uma responsabilidade técnica estreita e própria.

A Fabric é o espaço de trabalho que usa. Por baixo, catorze fundações de código aberto têm cada uma uma tarefa estreita. A HEDL é um projeto público de código aberto sob Apache-2.0; as restantes publicam em rondas quinzenais a partir de 1 de setembro de 2026, com termos indicados por projeto. Jacquard, Forge e Mycelia ficam ao lado dessa rota como três faixas de investigação com âmbitos separados, não como partes do espaço de trabalho que abre.

14 fundações de código aberto + 3 faixas de investigação

A Fabric é o espaço de trabalho que usa. Por baixo, catorze fundações de código aberto têm cada uma uma parte específica da rota: reúnem, organizam, recuperam, verificam, explicam e registam, sem que tenha de as gerir separadamente.

Catorze fundações e três faixas de investigação adjacentes, agrupadas por função arquitetónica. Abra qualquer nome para ver o mecanismo.

Cada página de projeto explica o mecanismo, as interfaces e as evidências. Comece pela capacidade de que precisa e siga como se compõe com o resto da stack.

Mapeie uma responsabilidade e as suas entregas, ou veja como a stack completa é implementada e operada no seu ambiente.

Medido num desktop i9, AVX2, sem GPU. Recall exato mantido em 10K documentos. As suítes acompanham os repositórios.

teste replay::bit_identical_across_isa ... ok

teste rounding::correctly_rounded_all_kernels ... ok

lookup/hot_path time: [1.36 ns 1.36 ns 1.37 ns]

Hybrid-MultiQ 10K 1.0000 34873.6 116.8

Índice N Recall QPS P50(us)

cargo run --release --example comprehensive_benchmark

O determinismo é verificado pela suíte, não apenas prometido em prosa.

Leia-o ao lado do ponto de evidência no censo.

Use o comando do projeto em hardware que controla.

Comece com BitWeave, Lattice ou Numerus, onde uma rota medida já está nomeada.

Um benchmark só importa quando o comando por trás dele é claro. Escolha uma rota medida, execute o mesmo mecanismo em hardware que controla, compare o resultado com o censo e volte a executar os testes que protegem a determinismo. BitWeave, Lattice e Numerus já nomeiam uma rota medida, por isso comece numa dessas em vez de construir uma estrutura própria.

Catorze caminhos de fundação + três rotas de investigação

O que a página do projeto afirma, ou um ponteiro para o repositório onde ainda está a assentar.

crates.io onde está ativo hoje, e com a sua ronda onde não está. Dito claramente.

Um resultado reproduzível onde uma medição de destaque é útil.

A responsabilidade que este projeto assume na pilha composta.

Cada projeto assume uma função arquitetónica estreita. Leia a sua função, inspecione o ponto de evidência onde um é útil e abra o projeto para seguir o mecanismo e as interfaces em profundidade.

O censo mapeia a entrada de fontes, matemática, política, prova, histórico de eventos e tratamento de dados para um projeto responsável cada. Quando um resultado muda, as equipas podem localizar a transferência responsável em vez de auditar uma aplicação opaca.

Interfaces, evidência, caminhos de projeto

A entrada de fontes, matemática, política, prova, histórico de eventos e tratamento de documentos não desaparecem dentro de uma plataforma. Cada um tem um projeto focado e uma transferência explícita, para que as operações possam localizar o dono de um resultado, inspecionar a evidência e mudar uma camada sem substituir toda a rota.

Catorze fundações assumem cada uma uma função arquitetónica, interface e trilho de evidência. Três faixas de investigação adjacentes permanecem separadamente delimitadas. Use o censo para encontrar uma responsabilidade, siga a rota de composição para ver as transferências de fundação e depois reproduza um comportamento medido onde um resultado de destaque é útil.

Catorze fundações, uma função cada; três faixas de investigação adjacentes são listadas separadamente. Medições aparecem apenas onde um resultado de destaque reproduzível ajuda a explicar o mecanismo. Abra qualquer linha para seguir as suas interfaces, comportamento e lugar na pilha de fundações composta.