Referência da Biblioteca Operacional

<!-- verified-against: seed-llvm; examples: docs-examples-test -->

Esta página cataloga os pacotes seed comuns preparados pelo compilador operacional LLVM de seed/compiler/llvm/libs. Ele não trata todos os diretórios da árvore de compatibilidade Grove de nível superior como um pacote atual.

Importar e construir modelo

Os pacotes principais do repositório usam importações simples:

use "io"
use "parse"
use "vec"

Os caminhos incrementais build e run do inicializador resolvem esses nomes, criam artefatos nativos profile/target-compatible e .sdi e reutilizam gerações instaladas exatas. O subcomando check mais restrito atualmente invoca a verificação direta da fonte e não prepara primeiro um pacote vazio ausente. Uma construção --static explícita seleciona dependências seed estáticas correspondentes; a vinculação hospedada comum usa os artefatos dinâmicos compatíveis com o perfil por padrão.

A disponibilidade permanece limitada pelo manifesto de cada pacote e pela matriz de capacidade de destino canônica. Um pacote presente na árvore de origem não adiciona serviços de tempo de execução a um destino que não os possui.

Catálogo de pacotes

A tabela acima cobre os pacotes preparados a partir de seed/compiler/llvm/libs/. hkdf (hkdf_extract, hkdf_expand; RFC 5869 HKDF-SHA256) e tls13 (puro-seed TLS 1.3 ChaCha20-Poly1305 AEAD e o cronograma principal RFC 8446 §7) são Grove pacotes de dependência de caminho, não pacotes preparados pelo compilador.

Pacotes de aplicativos de nível superior Grove árvore inclui uuid 0,2. Ele fornece livre de alocação UUID validação de texto, validação estrita RFC 9562 UUIDv7, determinística uuid_v7_from_partse falível uuid_v7 geração apoiada por milissegundos de relógio hospedado mais 74 bits do sistema operacional auditado entropy pacote. Os UUIDs permanecem identificadores em vez de credenciais.

Convenções de propriedade e erro

Os pacotes operacionais seguem o modelo de propriedade do idioma:

• construtores que alocam o retorno Result<T, alloc_error> ou AllocResult<T>;
• os valores possuídos movem-se e executam seu destruidor exatamente uma vez nas saídas estruturadas;
• emprestado str e os resultados da fatia preservam receiver/input proveniência;
• @mut métodos receptores mantêm empréstimos exclusivos com escopo de chamada e persistem alterações no chamador;
• ajudantes consumidores explícitos transferem propriedade em vez de esconder clones;
• a construção bruta do ponteiro permanece unsafe, mesmo quando métodos posteriores são seguros porque o wrapper preserva a invariante auditada;
• recuperável I/O e falhas de análise usam ADTs de pacote em vez de sentinela valores ou encerramento implícito do processo.

I/O

O novo código deve preferir io aos wrappers de compatibilidade file mais restritos. A distinção importante é a entrada parcial:

• input_stream.read(mut []u8) retorna uma contagem data/EOF digitada;
• stdin_read_all() está disponível quando se deseja reter a entrada completa;
• as operações de saída distinguem uma gravação de write_all;
• A string f format_args pode ser escrita diretamente sem alocar uma propriedade corda.

byte_buffer e io compartilham o contrato de prefixo inicializado. Chamadores seguros nunca observam capacidade não inicializada sobressalente.

Grove execução de comando

O Grove command O pacote fornece execução infantil limitada baseada em argv para aplicativos hospedados. command_run_configured_with_stdin_file tem o mesmo diretório de trabalho, ambiente, tempo limite e contrato de limite de captura que command_run_configurede, adicionalmente, conecta um arquivo de entrada regular existente à entrada padrão do filho. O arquivo é aberto sem seguir um link simbólico final e todos parent/child os descritores mantêm a limpeza exata. Isso é útil para protocolos stdio limitados, como servidores de linguagem, sem invocar um shell ou reter uma segunda cópia na memória da solicitação emoldurada.

Coleções e fatias

vec<t> é a sequência genérica canônica que pode ser cultivada. Ele fornece capacidade falível e operações push, verificadas update/pop, visualizações somente leitura e mutáveis e limpeza exata para elementos somente movimentação. Os tipos de fila, conjunto e mapa usam o mesmo modelo de propriedade.

Nativo []t e mut []t permanecem os tipos de sequência emprestados padrão. O slice pacote adiciona algoritmos; indexação verificada, fatiamento, fill, copy_frome split_at_mut são operações principais, em vez de um invólucro herdado de fatias de gordura brutas.

Tarefas

task é um pacote comum, não um conjunto de linguagens integradas. Ele fornece:

• canais limitados de divisão de propriedade;
• digitou uniões únicas e Result<T, E> resultados da tarefa;
• eventos e cancelamento;
• grupos de espera, semáforos, barreiras e bloqueios.

Endpoints e tickets mantêm seus linear/exact-cleanup contratos. Direto spawn permanece lexicalmente estruturado e postfix ? não pode cruzar o limite do corpo gerado enquanto esse corpo ABI retorna void.

Pacote de sistemas

system alvos declarados perfis independentes. Endereços brutos, ponteiros MMIO, armazenamento atômico, buffers fixados, buffers DMA e armazenamento de apoio do alocador são criados por meio de unsafe construtores. Os métodos seguros dependem do alinhamento, vida útil, espaço de endereço, sincronização e obrigações de propriedade desses construtores.

A presença deste pacote não implica que todos os destinos hospedados ou independentes forneçam todos os serviços do sistema. Consulte System Primitives e a matriz de destino Gate 14.

Grove inventário de pacotes

O nível superior grove/libs/ corpus concluído Classificação G01–G22: a linha de base do inventário de 12/07/2026 cobriu 218 pacotes manifestados, cada um coberto exatamente uma vez pelo Grove arnês de portão; a árvore agora contém 334 diretórios de pacotes, todos com manifestos. Pacotes portados expõem interfaces atuais excluídas da origem; pacotes arquivados expõem apenas seus documentos documentados validation/unavailability limite. Veja Grove Árvore de compatibilidade e Roteiro da Biblioteca.

Pacotes de clientes de rede operacional

Os limites completos e as evidências da meta estão registrados no G12 e G14 linhas de base.

Pacotes de atualização remota de UI adaptável operacional

O cache não implementa condicional HTTP validadores, expiração, despejo, cota compartilhada, criptografia ou manutenção em segundo plano. Nativo macOS ARM64, Linux x86-64 e Windows x86-64/Wine debug/release a evidência é congelada pelo atualização e distribuição de confiança linhas de base.

Ridge pacotes v0.3

A pilha de banco de dados local Ridge v0.3 completa é dividida em pacotes Grove comuns:

Esses são contratos de banco de dados local limitados, não paridade PostgreSQL ou serviços de cluster. Consulte Ridge Database e o documento de capacidade Ridge para obter as formas e exclusões exatas suportadas.

Fontes da verdade

• fonte e manifestos do pacote: seed/compiler/llvm/libs/*/;
• operações conhecidas do compilador: Core Built-ins and Standard Libraries;
• contratos de propriedade: Propriedade;
• implementação e limites de meta: Status Atual.