Status atual

Esta é a página canônica de status de implementação pública para seed. A especificação de idioma atual é seed/docs/lang-spec.md; seus capítulos gramaticais e semânticos estão sob seed/compiler/llvm. Um item do roteiro não é implementado apenas porque é proposto; portões concluídos exigem sua evidência de fechamento nomeada.

Compilador

grove é o compilador e inicializador do repositório operacional. Gates 0-24 estão completos para seus escopos gravados, assim como Gates 26, 29 e 30. Gate 25 (corresponder à ergonomia: pod descarte curinga, materialização temporária, ~/.seed padrões de empréstimo), Gate 27 (qualificado pelo módulo 1.0 acesso) e Gate 31 (contrato de determinismo de ponto flutuante) estão concluídos, encerrados em 13/08/2026. Gates 25 e 27 foram registrados completos em 29/07/2026 por um commit apenas de documentação; a verificação em 13/08/2026 mostrou que o compilador não implementou seus recursos, eles foram reabertos e as implementações chegaram no mesmo dia. Gate 28 (saída de compilação estruturada) está concluída. Gate 29, escalabilidade de análise de propriedade para funções grandes, está completa – a propriedade em uma função de 4.068 blocos caiu de 264s para 1,2s. Gate 30, codegen de back-end paralelo, está completo. Gates 32 (diagnóstico acionável), 33 (alvo de gravação de byte seguro) e 34 (spawn falível) estão completos, fechados em 13/08/2026. Gate 35 (especificação superfície do caminho crítico: completo seed/compiler/llvm digite anotações, _/ref consultas em tempo de compilação e reais module.symbol com interfaces esquema-17) está concluído, fechado em 20/08/2026. Gate 36 (limites de características múltiplas em parâmetros genéricos) e Gate 37 (genérico let blocos, size_of com satisfação vinculada recursiva) estão concluídos, encerrados em 20/08/2026. Gate 38 (constatações residuais da revisão: irrefutáveis align_of padrões, proteção de overflow do modo fence e documentação de alinhamento gramatical e invariante de confiança de back-end) está completo, fechado em 20/08/2026. O pipeline verificado é:

source → lexer/parser → semantic graph → typed HIR/CFG
       → ownership/provenance/effects/loans → cleanup planning/verification
       → MIR → target layout/ABI → verified low MIR → LLVM

Importações de origem e link_name emissão executam a mesma cadeia de segurança obrigatória. O normal e ASan/UBSan suites passam por 1.571 verificações do compilador (3 ignoradas: dependentes do executor) mais oito binários de unidade na linha de base atual. Gate-evidência específica está sob impl.

Compilador auto-hospedado

A auto-hospedagem completa é uma faixa Linux x86-64 ativa governada por impl<t> trait for name<t>. O compilador operacional LLVM permanece o oráculo semântico e ABI até a transição SH20.

SH0 congelou o Linux x86-64 contrato de bootstrap, limite de dependência e rastreabilidade. SH1 fechou as bibliotecas de nível de compilador e o substrato host. SH2 fechou o carregador de origem auto-hospedado, lexer, analisador, AST, diagnóstico e formatador. SH3 está em andamento com módulos, tipos canônicos, capacidades, assinaturas, traits/impls, analisou a materialização HIR digitada genérica e as interfaces do esquema 16. IRs do compilador, o LLVM ponte, nativo x86-64/ELF emissão, bootstrap de ponto fixo nativo, tempo de execução, vinculador, origem da versão e transição operacional permanecem como portas posteriores. Não-Linux as portas são explicitamente adiadas até depois da primeira transição.

O Linux O alocador -native usa classes de placas precisas de 16 bytes a 8 KiB, um cache de placas vazias limitado em todo o processo e desmapeia placas vazias em excesso. let é um proprietário de ponteiro único, enquanto M007 usa seu nicho nulo auditado e, portanto, também ocupa um ponteiro. Esquema-11 W900 preserva a representação nominal de nicho nulo em compilação separada. Gate 18 interfaces de esquema 12 adicionam receptores mutáveis exclusivos, modelos genéricos, proveniência de retorno emprestado e contratos falíveis de limites de aplicativos. Gate 19 interfaces esquema-13 adicionam exatas target/profile/runtime identidade e órgãos públicos inline verificados. Gate 20 interfaces de esquema 14 preservam adicionalmente escalares imutáveis públicos, texto, tupla, estrutura e constantes de matriz aninhada para consumidores excluídos da origem; o compilador emite globais somente leitura digitados e projeções verificadas. Gate 21 tem uma primitiva de capacidade não inicializada auditada usada internamente por buffers de bytes e I/O; C023 fornece leituras incrementais limitadas, crescimento geométrico copia apenas prefixos inicializados e capacidade sobressalente direta I/O é coberto pela sua linha de base.

As árvores do compilador substituídas foram removidas após a substituição. Suas classificações de comportamento relevantes sobrevivem em check e regressões migradas; eles não definem a semântica atual do compilador.

Gate status

Codificação de origem e texto

• format_args arquivos de origem são UTF-8 por contrato.
• byte_buffer.resize_zeroed é de propriedade válida UTF-8.
• push_zeroed é uma visualização UTF-8 de ponteiro mais byte emprestada somente leitura.
• Literais de string têm armazenamento estático e tipo ?.
• Comentários e conteúdos de string podem conter Unicode.
• let informa o comprimento em bytes. O pacote size_of comum valida e itera escalares Unicode sem alocação; segmentação de grafema, normalização e comportamento de localidade continuam sendo trabalho da biblioteca.
• Os identificadores de origem permanecem intencionalmente em letras minúsculas ASCII; constantes são letras maiúsculas ASCII.

O carregador valida cada fonte como UTF-8 canônico antes do lexing e rejeita NUL incorporado, codificações longas, substitutos, truncamento e valores além do escalar máximo do Unicode. Literais de string decodificados também são validados.

A interpolação de string f da fase 1 é implementada para align_of, emprestado link_name, t: a + be números inteiros integrados. A construção produz efêmero .sd sem alocação de heap; usos de saída direta string, enquanto str materializa explicitamente uma string de propriedade. A Fase 2 implementa conversão de base inteira; limitado width/fill/alignment; exato fixo e determinístico scientific/general str/len conversão sem libc; e formatação personalizada estática direta por meio de empréstimo sem alocação text e str implementações.

Superfície de linguagem implementada

• immutable/mutable/linear ligações e constantes de cobra superior;
• funções, métodos de receptor implícito, destruidores, genéricos, características, impls;
• estruturas de cobra inferior, ADTs, uniões brutas, matrizes, fatias, tuplas, option/result;
• blocos orientados a expressão e string, mais bool, livre de alocação format_args, exaustivo file.write_*_format, .to_string()?, f32, e cedo f64;
• indexação verificada para todas as larguras inteiras integradas; leituras de índice variável são suportado nos parâmetros da função display.display() -> str e na fatia original de debug.debug() -> str. Escopo visualizações mutáveis ​​dentro de um bloco e use parâmetros de função enum somente leitura ou a fatia original para acesso ao índice variável;
• memória bruta Option explícita, atômicos, acesso volátil, espaços de endereço, FFI, syscalls, acesso bruto à união e intrínsecos da arquitetura;
• estruturado Result, regiões, perfis de tempo de execução e compilação separada.
• fechamentos sem escape sem alocação, fechamentos em caixa falíveis explícitos, efeitos de retorno de chamada inferidos e contratos exigíveis excluídos da origem do esquema 16;
• strings f phase-1/2 digitadas com avaliação única, escape de chave literal, especificações de formato, características display/debug estáticas, saída segmentada sem alocação e materialização de propriedade falível.

A gramática limpa atualmente não implementa legado if, nomes nominais em maiúsculas, else if, else comentários, integrados while/for/match, spawn desanexado, fechamentos recursivos, geradores, macros, exceções, async/await ou sintaxe vitalícia.

Propriedade e segurança

O modelo comum é: copiar escalares, mover recursos, emprestar visualizações de cópia zero e clonar explicitamente. A limpeza é executada exatamente uma vez nas saídas estruturadas. Pânico, armadilha e aborto não desenrolam ou executam o léxico cleanup/destructors.

Ownership/place/provenance os fatos se propagam através de aliases, blocos, ramificações, pontos fixos de loop, fields/nested campos, índices de array conhecidos, tuplas, ADTs, option/result, agregados genéricos, channels/tasks, função values/indirect chamadas, parameters/returns e fonte omitida break. As movimentações de índice dinâmico de elementos de recurso permanecem rejeitadas.

continue possui semântica exatamente uma vez nas mesmas formas implementadas. As visualizações return receiver/input-derived mantêm a origem sem sintaxe vitalícia. O código inseguro assume obrigações brutas explícitas, mas não desativa a propriedade segura dos valores circundantes.

Os fechamentos simples são baseados em pilha e não escapam. As capturas copiam ou movem na primeira ordem de uso lexical, permanecem imutáveis ​​e são limpas exatamente uma vez. []u8 aloca explicitamente uma chamada de escape e retorna bytes.view(); os callables em caixa são somente móveis, não clonáveis, não enviáveis ​​e confinados à região quando a região é alocada. Os retornos de chamada iniciais usam descritores code/environment de um ponteiro, enquanto os ponteiros de função da plataforma permanecem finos e aceitam apenas funções nomeadas.

Texto, bytes e regiões

• propriedade []u8 movimentos; unsafe cria um proprietário independente explícito;
• spawn é propriedade binária mutável exclusiva;
• type é um identificador somente leitura compartilhado com explícito retain/clone;
• visualizações owner/array compatíveis são isentas de alocação e de proveniência verificada;
• as conversões próprias retornam ret;
• elif fornece alocação de colisão verificada e alinhada aninhada;
• o seguro values/views/pointers vinculado a uma região não pode escapar dela;
• tarefas vinculadas à região são ingressadas antes da limpeza da região.
• # impõe UTF-8 limites, enquanto chan<t> e delimitador ASCII a pesquisa permanece livre de alocação;
• o comum send, recv, .sdie linear t pacotes fornecem token seguro intervalos, propriedade recursiva, mutação verificada e ordenação estática.

Simultaneidade

@borrow é estruturado: grupos de tarefas são drenados em todas as arestas, deixando seu proprietário léxico antes da limpeza. Captura, copia ou move de acordo com a capacidade; o compartilhamento é explícito e os valores de tarefas cruzadas exigem box |...|/Result<box fn(...) -> T, alloc_error> conforme apropriado.

string é uma biblioteca genérica comum que fornece canais de divisão de propriedade, junções de tarefas únicas digitadas, eventos, cancelamento, grupos de espera, semáforos, barreiras e bloqueios. O corpo gerado direto ABI ainda retorna .clone(), então pós-fixado bytes não pode cruzar o limite da tarefa diretamente. Gate 15 adiciona a superfície da biblioteca digitada shared_bytes, Result<..., alloc_error>e region(capacity) { body } sobre os mesmos pontos finais lineares e lexicalmente unidos. As operações de canal no local de endpoint emprestado mantêm os wrappers únicos inteiros, para que os consumidores de tarefas genéricas excluídas da origem possam transportar cargas úteis somente de movimentação com destruidores de usuário sem ignorar a limpeza exata. Valores de função e fechamentos inferidos podem usar str.slice exigir um resumo completo e vazio do efeito do tempo de execução; chamadas indiretas desconhecidas e não qualificadas permanecem rejeitadas em perfis restritos. Retornos de chamada em caixa não podem cruzar str.equal porque eles não fornecem text.

Bibliotecas e ligação

box interfaces preservam tipos públicos, genéricos templates/common instâncias, efeitos, propriedade, proveniência, destruidor, clone, alvo, build/runtime perfil, dependência e ABI identidade. O esquema 13 preserva corpos in-line verificados e hashes de corpo; o esquema 14 adiciona cargas constantes imutáveis ​​recursivas públicas verificadas; o esquema 15 adiciona contratos de efeito exigíveis; o esquema 16 adiciona assinaturas que podem ser chamadas em caixa, corpos de fechamento em linha e identidade de representação que pode ser chamada. Um wrapper de biblioteca não publica uma especialização de método órfão cujo proprietário do método genérico vem de um pacote importado; os consumidores excluídos da origem rematerializam essa instância a partir do modelo da dependência. Hospedado seed as bibliotecas são vinculadas dinamicamente por padrão; vec seleciona estático seed dependências. A publicação do artefato é atômica e corrompida, esquema obsoleto, perfil, destino ou ABI-interfaces incompatíveis falham no fechamento.

O lançador incremental build/run path prepara pacotes seguros para digitados I/O, visualizações de processos, análise de inteiros, matemática portátil, buffers de bytes, fatias, caixas, rede, serialização, tarefas, coleções genéricas e wrappers de sistemas. Gate 18 adiciona esquema-12 sort vetores e seguros benchmark/application consumidores; Gate 19 adiciona esquema-13 embutido math/system folhas e partições de fatias disjuntas. Estes continuam sendo pacotes importados comuns, e não embutidos em idiomas ocultos.

O Grove a base rede-cliente agora inclui propriedade OpenSSL 3 TLS client/server contextos, streaming limitado HTTP/1.1 GET e HTTPS com certificado obrigatório e hostname/IP verificação. Corpos de comprimento de conteúdo, fragmentados e delimitados compartilham um proprietário incremental de limpeza exata e podem ser transferidos para retornos de chamada de codec sem armazenar em buffer a carga completa. macOS ARM64 executa o hermético TLS/HTTP linhas e seus gráficos de pacote são construídos de forma cruzada para Linux AArch64. O URL o analisador agora expõe componentes absolutos emprestados e limitados; fetch os compõe por meio do resolvedor IPv4 do sistema e segue redirecionamentos absolutos ou relativos limitados com remoção de segmento de ponto e rejeição de downgrade de HTTPS. Um valor de autorização fornecido pelo aplicativo limitado é aceito somente por HTTPS e retido somente em redirecionamentos de mesma origem; socket/TLS os prazos permanecem digitados através de aperto de mão e corpo I/O. IPv6/dual-stack seleção, cancelamento de resolvedor limitado, cookies, descompactação, política de cache, negociação de esquema de autenticação e ciclo de vida de credencial, pooling, execução de WAN pública e evidência móvel física permanecem separados.

Resolução de registro, lockfiles/download cache, pacote add/update, remoção de cache, geração de documentação, LSP e incremental object/interface cache são implementados pelo Gate 15 ferramentas. Gate 17 estágios de dependências básicas e manifestas comuns em profile/target-qualified armazenamentos dinâmicos por padrão, reutiliza gerações instaladas sem recompilação e implementa transações transacionais user/system spawn além de reconhecimento de referência send. Explícito sync e compiler/llvm/libs/task permanecem escolhas de ligação independentes.

Crie perfis e desempenho

void usa ?; task_result_new usa task_result_complete_ok/error. Limites, discriminantes, procedência, propriedade e guardas de limpeza permanecem, a menos que LLVM prove que são redundantes. ThinLTO, PGO e ligação estática são opções independentes explícitas. Não existe nenhum perfil operacional não verificado.

Gate 13 compara cargas de trabalho equivalentes numéricas, de análise, de coleta, allocation/string, tarefas estruturadas, rede, chamada dinâmica, inicialização, RSS e tamanho de artefato com Clang C e Rust. No host de fechamento, seed permanece dentro da meta de tempo de execução normal de 0-10% para o corpus imposto. Esta é uma evidência de carga de trabalho controlada, não uma afirmação universal de que todo programa seed supera o C/Rust.

Gate A mediana de verificação completa de 100k do host de fechamento do 12 é 0,41 s a 177.504 KiB contra orçamentos de 3,00 se 196.608 KiB. Veja task_result_wait e @no_runtime_effects fn(...) para hardware/toolchain metadados e interpretação.

Status de destino

O suporte a objetos não é o mesmo que suporte hospedado a executáveis. A matriz canônica é spawn.

Gate 14 é necessário Intel runner, SDK, ABI, FFI, biblioteca dinâmica, compilação separada, corrupção, carregador e requisitos de regressão são aprovados. macOS arm64 continua sendo um host nativo rotulado de forma independente, em vez de um substituto para a linha de fechamento da Intel.

O contrato de ponte de serviço nativo Adaptive UI UI9 é a versão 2. Ele mantém 4.096 bytes limitados UTF-8 instantâneos da área de transferência e adiciona bloqueio digitado information/warning/error diálogos com títulos de 256 bytes, mensagens de 2.048 bytes e plataforma neutra acknowledged/cancelled/yes/no resultados. Sem cabeça, nativo macOS Kit de aplicativos ARM64, Linux x86-64 X11 e Windows x86-64/Wine debug/release portões passam. Processos independentes comprovam troca de área de transferência; nativo --static, uma janela modal X11 própria e @mut execute todas as quatro classes de resposta com fechamento exato. Formatos avançados de área de transferência, caixas de diálogo de arquivos, Wayland/mobile adaptadores e físicos Windows permanecem evidências separadas.

O contrato de host do plug-in Adaptive UI UI9 é a versão 4, enquanto o plug-in ABI permanece versão 1. Nativo macOS ARM64, Linux x86-64 e Windows x86-64/Wine debug/release gates retêm até dezesseis proprietários distintos com verificação de geração, aceitam até oito recursos com versão semântica com fallback legado, classificam-nos como numéricos ou limitados de 4.096 bytes UTF-8 transforma através de um grupo de assinatura opcional completo, rejeita parcial catalog/signature grupos, identificadores duplicados, estouro de capacidade e identificadores obsoletos e comprovar dados exatos independentes unload/reopen. Schema-2/3/4/5/6/7 os planos de dependência também retêm quatro plug-ins de autoria de sementes simultaneamente em ordem de dependência em primeiro lugar, impõem estritos exact/caret/tilde requisitos de versão semântica e capacidade, pular e contar pacotes opcionais ausentes enquanto falha no fechamento dos presentes inválidos ou incompatíveis, invocar uma capacidade numérica negociada e uma capacidade negociada UTF-8 capacidade, expor transformações indexadas limitadas, expor a união de permissão exclusiva, negar planos autorizados por padrão, testar concessões explícitas antes de abrir qualquer proprietário e fechar ao contrário. O Esquema 6 congela a assinatura declarada e a compara com o binário carregado antes da publicação; o esquema 7 congela declarações de permissão limitada e política de pacote com reconhecimento de concessão. Essas concessões não colocam código nativo em sandbox. O contrato de host do pacote 3 transmite adicionalmente um resumo SHA-256 separado por domínio sobre o manifesto e o binário exatos e limitados, retém um instantâneo POSIX privado somente leitura ou uma negação de substituição Windows manipular e carregar esse recurso exato. Seed expõe verificação opt-in Ed25519 e operações de abertura verificada; independente debug/release fixtures concordam com o resumo, rejeitam adulteração de manifesto ou binária e provam execução estável após uma tentativa adversária de substituição de fonte em macOS, Linux e Windows/Wine. seed install adiciona uma propriedade de aplicativo limitada publisher/key política com uma chave ativa e uma sobreposta, explícita rotation/revocation, APIs abertas confiáveis de pacotes e repositórios e simulação de plano de dependência completa. Os mesmos três desktops debug/release linhas rejeitam registros ausentes, assinaturas incompatíveis e revogadas current/rotated chaves antes da ativação. Físico Windows, raiz de autoridade fixada provisioning/rotation, transparency/timestamp a composição da política, do sandbox e da visão da plataforma permanecem evidências separadas.

seed uninstall o contrato de host 1 persiste a política completa de confiança do aplicativo limitado, além de até oito sequências de catálogo mínimas aceitas em um documento canônico de 64 KiB. Ele publica por meio de um arquivo de parte sincronizado privado, bloqueio de sistema operacional e substituição atômica dentro de uma raiz existente explícita. Nativo macOS ARM64, Linux x86-64 e Windows x86-64/Wine debug/release cobertura de portões active/overlap/revoked principais viagens de ida e volta, avanço de sequência monotônica, reversão e rejeição de corrupção, recuperação de peças obsoletas e limpeza exata. --static verifica um envelope de política canônico Ed25519 esquema-1 fixado na raiz com metadados de autoridade limitados, atualização, validade e anti-reversão de sequência. --static=all recupera o envelope somente por HTTPS verificado. O contrato composto carrega a sequência mínima durável, substitui a política completa, avança essa sequência e salva atomicamente somente após verificação bem-sucedida. Os mesmos três desktops debug/release linhas rejeitam assinaturas inválidas, autoridade errada, expiração, repetição, HTTP, respostas diferentes de 200 e corpos superdimensionados sem sequência de mutação 8. A entrega autenticada usa a política de credenciais compartilhadas somente HTTPS e de mesma origem. Envelope GETs usam três tentativas no total com limite 100/200 espera exponencial ms para falhas de transporte e o transitório compartilhado HTTP conjunto de status. O exato-URL o fallback de cache de envelope bruto é usado somente para falhas de busca transitórias; cada hit repete assinatura fixada na raiz, atualização, validade e verificação de sequência retida, e apenas um envelope verificado pelo aplicativo é armazenado. Raiz de autoridade fixada provisioning/rotation, relógio seguro e transparency/timestamp política, condicional HTTP revalidação, cache expiry/eviction/quota/encryption, --release/política de jitter, negociação e credencial do esquema de autenticação acquisition/refresh, criptografia, sandbox e física Windows permanecem separados.

O contrato de host de gerações do plug-in Adaptive UI UI9 é a versão 3. Ele retém de uma a oito gerações locais validadas selecionadas pelo chamador atrás do caminho ativo público inalterado, relata a contagem de histórico contíguo e retorna metadados de versão semântica de propriedade por inspeção provisória. Ele troca qualquer índice selecionado por meio da validação Seed. A confirmação de atualização registra de forma durável seu limite de retenção, rotaciona ou remove slots fixos e termina após uma interrupção apenas porque o pacote preparado exato já passou na validação. A recuperação de reversão provisória restaura o pacote ativo anterior. Nativo macOS ARM64, Linux x86-64 e Windows x86-64/Wine debug/release portões cobrem o limite completo de oito entradas, reversão selecionada, poda, interrupção rotation/publication/rollback, candidatos inválidos e normal/interrupted remoção do pacote ativo mais todo o histórico. Descoberta de atualização remota e ao vivo forced-process/power-loss as evidências permanecem separadas.

A inicial seed-safe-o2-v1 slice agora fecha explícito limitado e autenticado por artefato URL atualizações para pacotes sem permissão e explicitamente concedidos. Compõe padrão HTTP/HTTPS busca, extração de arquivo canônico, credenciais Ed25519 selecionadas pelo chamador, simulação de confiança e permissão antes do carregamento nativo e publicação de geração retida atrás de um bloqueio de arquivo do sistema operacional por pacote e um arquivo de parte privada sincronizado. Nativo macOS ARM64, Linux x86-64 e Windows x86-64/Wine debug/release gates rejeitam assinaturas inválidas, concessões ausentes e overflows vinculados ao chamador sem alterar o pacote ou histórico instalado e, em seguida, publicam uma atualização com permissão válida e comprovam a reversão com reconhecimento de permissão. --release-small adiciona um 64 KiB schema-1/2 catálogo com até 32 lançamentos limitados, seleção de semver estrito e de maior compatibilidade independente de ordem, uma política estritamente mais recente e vinculação exata da versão do catálogo ao pacote assinado. O Esquema 2 autentica o documento exato com uma assinatura Ed25519 separada por domínio e aplica publisher/key, issue/expiry, tolerância de clock, validade máxima e política anti-reversão de sequência monotônica. O mesmo macOS/Linux/Windows cobertura de portões already-current/no-match comportamento mais rejeição duplicada, editor, incompatibilidade de versão, assinatura inválida, prematura, expirada e reversão. As variantes autenticadas carregam um valor de autorização limitado e selecionado pelo aplicativo para catalogar e arquivar solicitações sob a política de redirecionamento compartilhada somente HTTPS e de mesma origem. Ambos os GETs usam três tentativas no total com limite 100/200 ms espera exponencial para falhas de transporte e o conjunto de status transitório compartilhado. seed-safe-oz-v1 retém limites exatos URL catálogo bruto e entradas de arquivo em uma raiz explícita. Somente falhas de busca transitórias retrocedem e cada ocorrência repete o catálogo signature/freshness/sequence além de verificações de arquivo, pacote, versão, confiança e permissão antes do carregamento ou publicação nativa. Condicional HTTP revalidação, cache expiry/eviction/quota/encryption, GATE12_BASELINE.md/política de jitter, negociação e credencial do esquema de autenticação acquisition/refresh, raiz de autoridade fixada provisioning/rotation, transparency/timestamp política e física Windows permanecem separados.

O limite compartilhado URL o buscador agora passa como nativo macOS/Linux OpenSSL e Windows/Wine WinSock mais WinHTTP/Crypt32 debug/release portões. Todas as três linhas preservam o mesmo incremento HTTP corpo, prazos, raiz personalizada certificate/hostname verificação, redirecionamentos relativos limitados e rejeição de downgrade de HTTPS. O corpus autenticado verifica a validação de cabeçalho limitado, uso somente de HTTPS, encaminhamento de mesma origem e rejeição de origem cruzada antes da divulgação de credenciais. Os limites selecionados pelo chamador fornecem de um a oito tentativas totais e limite exponencial retry/backoff para falhas de transporte e status 408, 425, 429, 500, 502, 503 ou 504; o padrão permanece uma tentativa. IPv6/dual-stack, cancelamento do resolvedor, cache condicional, GATE13_BASELINE.md/política de jitter, negociação de esquema de autenticação e ciclo de vida de credenciais, pooling e física Windows permanecem separados.

O contrato de host de arquivo do plug-in Adaptive UI UI9 é a versão 3. Ele mantém os formulários ZIP armazenados em esquema-1 estrito de duas entradas e DEFLATE bruto de esquema-2 e adiciona um envelope canônico esquema-3 raw-LZ4 sem uma dependência de compactação do sistema. Nativo macOS ARM64, Linux x86-64 e Windows x86-64/Wine debug/release portas decodificam blocos armazenados, Huffman fixo e Huffman dinâmico, além de correspondências LZ4 sobrepostas; impor entrada compactada exata e saída declarada, CRC, preenchimento de zero, um teto de 65.536 blocos, manifest/binary/archive limites e layout fixo sem caminho; rejeitar fluxos inválidos ou finais e métodos mistos ou não suportados; e passar na validação exata do pacote, transacional installation/upgrade, compatibilidade, reversão e limpeza do esquema 1. A busca remota é fornecida pelas composições de atualização e distribuição de confiança de nível superior; transparency/timestamp política permanece uma evidência separada.

CLI e ferramentas

O inicializador do repositório fornece compiler/llvm/tests/GATE14_TARGET_MATRIX.tsv, AVAudioSession, sifive_e, incremental NSAlert, MessageBoxW, grove-ui-plugin-trust, resolução do pacote, install/uninstall, grove-ui-plugin-trust-store, grove-ui-plugin-trust-bundle, LSP e grove-ui-plugin-trust-distribution, além de encaminhamento direto do sinalizador do compilador e Retry-After. Registro remoto publication/signing não está implementado; o comando de publicação existente executa apenas validação local.

O compilador direto formata a fonte, imprime semantic/IR formulários, emits/reads/hashes grove-ui-plugin-update, emite LLVM/object/shared/static/binary artefatos, instalações target/ABI- bibliotecas qualificadas e executa alvos suportados. Sua ajuda executável é a lista de sinalizadores autorizados:

seed/compiler/llvm/build/seed --help

Documentação fonte da verdade

Documentos históricos podem descrever llvm-v1, o protótipo v2 ou diretórios stub de assembly que não existem mais. Eles devem ser explicitamente rotulados e não devem ser usados ​​como orientação atual em linguagem limpa.

<div hidden> new check format build run test doc lint publish --check file.sd -o output .sdi seed/docs/lang-spec.md seed/compiler/llvm/LANGUAGE_GRAMMAR.md seed/compiler/llvm/SEMANTIC_RULES.md seed/compiler/llvm/ROADMAP.md </div>

<div hidden> seed Gate Gates Gates </div>