Status atual – pré-lançamento 0.10.0 (produto como serviço)

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 evidência de fechamento nomeada.

O produto 0.10.0 está em pré-lançamento com lista de espera 100, playground WASM e chatbot de suporte ativado seed-lang. com. grove → catálogo, pod → src|bin semelhante a uma caixa com central ~/.seed cache versionado. 1.0 estável ainda não tem horizonte e nem usuários reais; serviço, bibliotecas, publicação (privado), code/binary repo e documentos por pod são o foco do lançamento.

Gate 47 está completo sob LLVM roteiro. Suas 58 tarefas com escopo de dependência estabeleceram compilação fria previsível, custos explícitos, segurança de visualização utilizável, inicialização de tarefa recuperável e reutilização incremental verificada. O restante Linux-somente as linhas do perfil são explicitamente relatadas como indisponíveis em macOS; diagnósticos existentes, ferramentas e evidências de reutilização de prefixo-HIR permanecem em GATE47_BASELINE.md.

Compilador - 0.10.0

seed/compiler/llvm é 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: _ descarte curinga, materialização temporária, ref padrões de empréstimo), Gate 27 (qualificado pelo módulo module.symbol 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 let digite anotações, size_of/align_of consultas em tempo de compilação e reais link_name 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 impl blocos, impl<t> trait for name<t> com satisfação vinculada recursiva) estão concluídos, encerrados em 20/08/2026. Gate 38 (constatações residuais da revisão: irrefutáveis let 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. Gate 39 (ergonomia e facilitação do compilador: reconhecimento de forma M007 desduplicação de importações reexportadas transitivamente, W900 unário de índice verificado e C023 desugaring de índice duplo, padrão de campo bool omitido, coerção de elemento literal de array e check=build paridade do verificador) foi concluído, fechado em 23/08/2026. O roteiro de reinicialização (Gates 0-39) está totalmente fechado para seus escopos gravados; o trabalho futuro de habilitação de hardware está planejado como Gates 40-46. 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 .sdi 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 seed/compiler/llvm/tests/GATE*_BASELINE.md.

Compilador auto-hospedado

LLVM A auto-hospedagem do compilador apoiado é a ativa Linux x86-64 trilha regida por roadmap-self-hosted.md. O operacional C23/LLVM compilador permanece o padrão até SH21-05 e uma semântica e ABI oráculo depois.

O 2 de outubro LLVM-o primeiro roteiro preserva evidências históricas de SH0–SH3, ao mesmo tempo que exige a revalidação completa do cartão atual. Atual reader/writer use o esquema 22 e o teste de interoperabilidade focado será aprovado. Fluxo de origem finita, try_spawn existem componentes de front-end e de empréstimo retido; a segurança de produção em toda a invocação, a preservação de provas importadas e o MIR verificado obrigatoriamente permanecem abertos. SH4 é aberto e SH5 experimental. As atuais diferenças de auditoria nomearam proprietários.

LLVM emissão, S2/S3, completo obrigatório Linux safety/ABI/workflows, orçamentos medidos e recuperação off-line são necessários antes do SH21-05. LLVM/link/archive ferramentas, tempo de execução C reconstruível de origem e adaptadores revisados podem permanecer dependências declaradas do produto. Nativo backend/runtime/linker/tool a substituição e o SH20 estão condicionados a uma decisão medida do SH21-06 e à ativação explícita.

Todos os 101 cartões de roteiro agora têm dependências de manifesto correspondentes; rótulos históricos completos permanecem como evidências datadas, e não como encerramento atual. C0 fresco Linux build, suíte normal e passe de suíte de desinfetante. M0019–M0021 são reparados: a verificação a frio de 100k permanece abaixo do teto inalterado de 256 MiB, as verificações de extensão de propriedade retida estão presentes e o spawn MIR concorda em sete casos. SH4 permanece aberto; consulte seu executor de paridade e linha de base para obter o resultado atual, em vez de confiar em uma contagem de casos copiada. A aceitação atual do SH0-01–04 foi renovada; SH0-04 foi recapturado no host de gravação em 15/10/2026 às 767e2f1b. O oráculo SH0 renovado registra a rejeição S001 de C0 de falha na inicialização move/linear capturar reutilização e a diferença entre quatro status de início simulado e produção reserve_failed (M0010/M0011), transporte escalar simples de resultado de tarefa (M0022) e inválido LLVM para ligações locais com valor unitário (M0023); esses requisitos permanecem abertos. SH21-01 congela uma matriz de produtos de 42 linhas, três consumidores fixados e explícito product/native políticas de dependência. Seu fechamento de dependência passa com seis correntes verificadas C0/S1 grupos de custos, todos os perfis seguros, autenticação isolada e observações offline de reconstrução de origem C0. A emissão binária S1 permanece indisponível; essas medidas de entrada não estabelecem S2/S3 ou recuperação de produtos. A evidência de entrada foi recapturada e congelada novamente em 12/10/2026 em 0960f7d3 no host de gravação após o desvio da ferramenta do sistema invalidar os pinos de 3 de outubro; o roteiro possui o status atual final do cartão. Corredores SH21 posteriores e não-Linux portas auto-hospedadas permanecem planejadas.

Entrada SH21-01 e SH1-01 substrate/bootstrap passe de fechamento de cartão completo; o instantâneo da entrada foi congelado novamente em 12/10/2026 às 0960f7d3, e o congelamento de 3 de outubro em 6bf41ca9 permanece na história do git. A evidência de entrada é preservada como entradas medidas: a base Git registrada mais uma sobreposição vinculada a hash e o produtor C0 identificado reproduzem a fonte original, a receita, as identidades do consumidor e do artefato. Nove controles de rejeição de instantâneos passam além do matrix/stage/cost controles. Alterações posteriores na origem do recurso não renomeiam os custos iniciais. Os testes atuais do SH0 e do cartão de implementação ainda são executados nas fontes atuais; este instantâneo valida apenas observações de entrada. SH1-02 passagens completas de fechamento de tarefas: contadores de custos opcionais, desduplicação de 100.001 IDs, vinte descobertas dinâmicas com decodificação de span verificada, diagnóstico idêntico JSON, três famílias com falha de crescimento, orçamentos inalterados e novo bootstrap de 58 objetos. O vazamento de hash de dependência de cache rejeitado C0 é reparado e testado com vazamentos ativados. A renovação da evidência do host atual segue o processo sincronizado source/docs impressão digital. O fechamento SH2-01 passa: o try_spawn palavra-chave, código de token estável e acessórios diferenciais C0 já existiam e o cartão agora possui um runner registrado. A aceitação do tipo de inicialização SH2 compara entradas vazias, corpo de resultado, aninhadas e chaves ausentes com C0 e verifica os marcadores por meio de cópia e formatação AST, com um controle de geração comum. O corpus rastreado passa por um novo produtor; executáveis ​​obsoletos e interfaces em cache não devem ser interpretados como divergências de origem. O executor SH2-04 agora reconstrói o produtor e executa o fechamento completo do frontend, incluindo sanitizadores, verificações de arquitetura e BF0. O status atual do cartão completo pertence ao roteiro e ao manifesto da tarefa. SH3-01 agora define o escopo da identidade de definição possuindo módulo para que nominais com a mesma grafia em módulos distintos permaneçam distintos e atribui a cada declaração seu DefinitionId uma vez por invocação, com chaves nominais, destruidoras e de assinatura lendo essa tabela em vez de índice aritmético. Propriedade compartilhada de vários módulos, repeated-path/diamond origens e retidos HIR/checked os metadados de definição agora possuem evidências de componentes. O caminho de verificação preserva aliases com escopo de módulo, IDs de destino canônicos, extensões e visibilidade de exportação e coleta assinaturas em um registro de ID atribuído sobre ASTs retidos. A resolução apenas com assinatura não aloca informações corporais; assinaturas não suportadas permanecem pendentes e retornam o AST/type proprietários. A proveniência recursiva usa IDs atribuídos e as atribuições de produção incompletas são rejeitadas. Importado call/body despacho, total segurança de invocação e SH3/SH4 fechamento permanecem abertos. A varredura de importação transitiva do SH3-02 é conectada ao caminho de verificação: um ciclo relata um M001 localizado, uma importação desconhecida relata M002 e uma ligação de módulo conflitante relata M008, cada um na linha e coluna da importação com o texto de C0, e use "seed.core" permanece autônomo como em C0. A autoverificação também foi abortada em qualquer byte não-ASCII dentro de um intervalo de origem digitalizado: três varreduras de substring de bytes cortaram o texto em deslocamentos internos, o que str.slice rejeita como limites de ponto de código. Corrigido comparando bytes em vez de fatiar; os abortos nas 2.643 fontes rastreadas vão de 55 a 0, sem regressão do veredicto. O CLI leaf agora verifica um fixture não-ASCII diretamente, porque o diferencial do corpus aciona ast-print e nunca alcancei esse código. As próprias varreduras permanecem como os nomes SH4-11 da heurística textual residual para exclusão, uma vez que removê-las antes que o pipeline HIR digitado cubra suas formas eliminaria o diagnóstico real. Compartilhado importado call/body o envio é o próximo. S2/S3, produto próprio completo safety/workflows/budgets, a recuperação offline e a transferência SH21-05 permanecem abertas.

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. box<t> é um proprietário de ponteiro único, enquanto ?box<t> usa seu nicho nulo auditado e, portanto, também ocupa um ponteiro. Esquema-11 .sdi preserva a representação nominal de nicho nulo na 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 também preservam constantes públicas imutáveis escalares, de texto, de tupla, de estrutura e 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; io.input_stream 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 compiler/llvm/COMPATIBILITY.md e regressões migradas; eles não definem a semântica atual do compilador.

Gate status

<!-- generated-gate-ledger:begin -->

<!-- generated-gate-ledger:end -->

Codificação de origem e texto

• .sd arquivos de origem são UTF-8 por contrato.
• string é de propriedade válida UTF-8.
• str é uma visualização UTF-8 de ponteiro mais byte emprestada somente leitura.
• Literais de string têm armazenamento estático e tipo str.
• Comentários e conteúdos de string podem conter Unicode.
• len informa o comprimento em bytes. O pacote text 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 ASCII: os nomes dos valores usam letras minúsculas, os tipos nominais e variantes usam UpperCamelCase e as 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 str, emprestado string, boole números inteiros integrados. A construção produz efêmero format_args sem alocação de heap; usos de saída direta file.write_*_format, enquanto .to_string()? 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 f32/f64 conversão sem libc; e formatação personalizada estática direta por meio de empréstimo sem alocação display.display() -> str e debug.debug() -> str implementações.

Superfície de linguagem implementada

• immutable/mutable/linear ligações e constantes de cobra superior, cujo tipo a anotação é opcional: o tipo é inferido do inicializador e um inicializador que não pode ser inferido é rejeitado com R037 na declaração;
• funções, métodos de receptor implícito, destruidores, genéricos, características, impls;
• Estruturas UpperCamelCase, enum ADTs, uniões brutas, matrizes, fatias, tuplas, Option/Result;
• blocos orientados a expressão e if/else if/else, if let/while let (ambos desaçucarados para um braço de dois match), mais while, livre de alocação for, exaustivo match, break, continue, e cedo return;
• repetir literais de matriz ([value; count]) que expandem um valor literal em um matriz fixa sob o tipo de elemento esperado;
• indexação verificada para todas as larguras inteiras integradas; leituras de índice variável são suportado nos parâmetros da função []u8 e na fatia original de bytes.view(). Escopo visualizações mutáveis ​​dentro de um bloco e use parâmetros de função []u8 somente leitura ou a fatia original para acesso ao índice variável;
• memória bruta unsafe explícita, atômicos, acesso volátil, espaços de endereço, FFI, syscalls, acesso bruto à união e intrínsecos da arquitetura;
• estruturado spawn, 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 typegrafias ADT baseadas em letras minúsculas, identificadores nominais em minúsculas, ret/elif e # comentários, integrados chan<t>/send/recv, 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 .sdi. As movimentações de índice dinâmico de elementos de recurso permanecem rejeitadas.

linear t possui semântica exatamente uma vez nas mesmas formas implementadas. As visualizações @borrow 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. box |...| aloca explicitamente uma chamada de escape e retorna Result<box fn(...) -> T, alloc_error>; 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 string movimentos; .clone() cria um proprietário independente explícito;
• bytes é propriedade binária mutável única;
• shared_bytes é 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 Result<..., alloc_error>;
• region(capacity) { body } 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.
• str.slice impõe UTF-8 limites, enquanto str.equal e delimitador ASCII a pesquisa permanece livre de alocação;
• o comum text, box, vece sort pacotes fornecem token seguro intervalos, propriedade recursiva, mutação verificada e ordenação estática.

Simultaneidade

spawn é 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 send/sync conforme apropriado.

compiler/llvm/libs/task é 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 void, então pós-fixado ? não pode cruzar o limite da tarefa diretamente. Gate 15 adiciona a superfície da biblioteca digitada task_result_new, task_result_complete_ok/errore task_result_wait 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 @no_runtime_effects fn(...) 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 spawn porque eles não fornecem send.

Bibliotecas e ligação

.sdi 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; o esquema 19 adiciona identidades de proprietários nominais e genéricos com qualificação de origem para importações transitivas e de diamantes independentes de ordem. 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; --static 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 @mut 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 seed install além de reconhecimento de referência seed uninstall. Explícito --static e --static=all permanecem escolhas de ligação independentes.

Crie perfis e desempenho

--release usa seed-safe-o2-v1; --release-small usa seed-safe-oz-v1. 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 coleção, 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 GATE12_BASELINE.md e GATE13_BASELINE.md 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 é compiler/llvm/tests/GATE14_TARGET_MATRIX.tsv.

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 NSAlert, uma janela modal X11 própria e MessageBoxW 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. ui-plugin-trust 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 pacote e repositório 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.

ui-plugin-trust-store 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. ui-plugin-trust-bundle 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. ui-plugin-trust-distribution 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, Retry-After/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. O commit 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 ui-plugin-update fatia 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. ui-plugin-catalog 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 pedido, 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. ui-plugin-remote-cache 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, Retry-After/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, Retry-After/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 new, check, format, incremental build, run, test, resolução do pacote, install/uninstall, doc, lint, LSP e publish --check, além de encaminhamento direto do sinalizador do compilador e file.sd -o output. 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 .sdi, 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.

Integração AST emprestada (15/10/2026): o modelo HIR lê um AstModuleView do módulo de propriedade do resolvedor, e a verificação do corpo retorna o mesmo proprietário do AST ao driver. A transferência de estágio, o verificador real e o loop corporal não copiam mais o AST por declaração. Os caminhos de erro retornam o AST original para seleção de extensão de diagnóstico, removendo a cópia em nível de módulo. O CLI fornece sua raiz analisada para importar digitalização com byte/SourceId guardas; contadores de análise executados e controles de transferência passam normalmente e com desinfetantes. A aceitação semântica de todos os módulos permanece aberta. A incompatibilidade de C0 M0029 foi reparada: a descoberta de empréstimos inclui agregados contendo visualizações e as verificações de sobreposição de mutações protegem as projeções de cópia, bem como os valores de propriedade. Novos controles agregados e de visualização AST rejeitam proprietário ativo movement/mutation e fuga com visão local; escopos separados e proprietários não relacionados permanecem utilizáveis. Isso não fecha a verificação do corpo de todos os módulos, resumos importados retidos ou SH3/SH4 aceitação.

Integração autosemântica (15/10/2026): o contexto de invocação é instalado antes da inicialização da assinatura. Nominais importados concretos e assinaturas corporais reutilizam TypeIds registrados; chamadas públicas qualificadas e não qualificadas usam assinaturas compartilhadas. As anotações locais retêm AstTypeIds. Anotações de tipo importadas privadas conhecidas são rejeitadas com intervalos R002 retidos em parâmetros, retornos e declarações locais; os controles primários CLI JSON correspondem a C0. Os casos generic/layout não suportados, a verificação do corpo de todos os módulos e a aceitação total do SH3/SH4 permanecem abertos.

Integração retida do módulo de origem (15/10/2026): o CLI verifica todos os módulos de origem analisados com suas assinaturas compartilhadas e proprietário do tipo canônico. Os corpos verificados são retidos separadamente da contagem de corpos de origem; organismos não apoiados não concedem CheckedProgram/lowering autoridade. As falhas de corpo importadas retêm seu SourceMap e são renderizadas em seus próprios intervalos de origem. Concreto call/diamond controles e uma passagem de controle de fatia de cobertura parcial; source/import propagação resumida, generic/method cobertura e BF1/BF3 permanecer aberto.

Integração de identidade genérica atribuída (15/10/2026): parâmetros de função de origem internos por possuir DefinitionId e ordinal, reter origens de origem estáveis e reutilizar a assinatura registrada durante a verificação do corpo genérico. Controles Growth/failure e pedidos de importação com passagem de IDs locais realmente renumerados. O componente de novo ID API permanece inalterado. A integração do conjunto de características, a especialização genérica do nominal/imported e a aceitação total do SH3-03/SH4 permanecem abertas.

Integração de metadados vinculados à origem (15/10/2026): o analisador retém todos + extensão vinculada a características através owned/borrowed/copied AST. As características de origem possuem identidades canônicas; os parâmetros de função retêm a primeira definição de característica e cada TypeId de característica adicional. Unknown/non-trait/private limites adicionais rejeitados com R013 localizado correspondente ao primário C0 JSON. Característica satisfaction/witness verificações em chamadas genéricas, envio de método e completo SH3-03/SH4 a aceitação permanece aberta.

Integração de testemunha de origem (15/10/2026): a invocação retém contratos de características indexados e requer uma varredura impl de origem concluída. Chamadas genéricas inferidas locais verificam cada limite de marcador; impls de traço vazio completo fornecem testemunhas e testemunhas desaparecidas produzem localizado H072. Method/generic os casos impl permanecem sem comprovação. C0 M0030 alinha a nomenclatura do parâmetro de tipo de destino impl com as declarações, preservando P042 identity/order rejeição; passagem de controles oracle focados, com renovação de suíte completa de propriedade de SH0_BASELINE.md. SH3-03/SH4 permanecer aberto.

Preparação de assinatura do método de característica (15/10/2026): o AST preserva extensões de assinatura e receiver/effect/unsafe/static-view metadados. Um contexto verificado pelo proprietário resolve tipos de métodos na tabela canônica compartilhada, armazena em cache assinaturas repetidas e recupera AST/type proprietários em formas não suportadas. Intervalos de métodos de características cruzadas e atribuições erradas são rejeitadas. A publicação da produção e a validação completa da implementação do método permanecem abertas; isso API não sela traços nem concede testemunhas.

Publicação de assinatura de método de característica (15/10/2026): a coleção de produção agora publica descritores de métodos suportados nos contratos compartilhados da invocação. Coletas repetidas e novos contextos de resolução reutilizam seus IDs de assinatura e unsafe/static-view bandeiras. As contagens declaradas e publicadas permanecem separadas; um conjunto de métodos de origem incompleto não pode ser selado. Tipos de métodos privados conhecidos e nomes duplicados retêm o primeiro localizado R002/R014 encontrando, combinando C0 primário CLI JSON. As assinaturas não suportadas permanecem pendentes. As características do método permanecem abertas; validação de implementação, dicionários, correspondência impl genérica e completo SH3-03/SH4 a aceitação permanece aberta.

Validação de assinatura impl de fonte concreta (15/10/2026): após a publicação de todas as assinaturas do módulo, concreto borrowed/mutable Os métodos comparam o receptor, os parâmetros e os tipos de retorno com conjuntos completos de métodos de características de origem, incluindo características importadas. Undeclared/mismatching métodos retêm R016/R017 com C0 primário JSON paridade. A comparação não concede testemunho. O estado de impl diferido sobrevive à nova vedação; receptores próprios, impls genéricos, missing/duplicate métodos, body/effect resumos e dicionários permanecem abertos. SH3-03/SH4 não estão fechados.

Diagnóstico de integridade de implementação de origem (15/10/2026): contratos completos de características de origem concretas agora rejeitam métodos necessários ausentes com R020 em toda a extensão de impl, incluindo características importadas. A presença do nome é verificada separadamente do suporte à assinatura. C0/self CLI primário JSON corresponde a controles de método ausente vazios, parciais e importados. As características permanecem abertas; métodos duplicados, receptores próprios, genéricos e implementação de validação body/dictionary permanecem abertos. A aceitação total de SH3-03/SH4 permanece inalterada.

Diagnóstico de método de origem duplicado (2026-10-15): o registro no escopo do módulo retém R001 na segunda declaração do método em vez de falhar silenciosamente. CLI primário JSON corresponde a C0 para impl/inherent/imported duplicatas. Slots duplicados permanecem sem atribuição e a coleta de assinaturas é interrompida; stage/single-module adaptadores rejeitam registros parciais. Organismos de método, receptores próprios, impls genéricos e dictionary/witness a integração permanece aberta; SH3-03/SH4 não estão fechados.

Integração do receptor de origem de propriedade (15/10/2026): métodos de estrutura não genéricos comuns agora publicam um TypeId de receptor explícito e constroem um parâmetro HIR não emprestado. Suas assinaturas impl suportadas participam das verificações R017. Corpos com campos escalares integrados têm cobertura verificada focada. Resource/view/nested e corpos de campo inseguro permanecem pendentes até que os metadados nominais canônicos cleanup/capability sejam concluídos; destruidores permanecem fora deste caminho. As assinaturas não conferem autoridade ao corpo ou à testemunha. A aceitação total do SH3-03/SH4 permanece aberta.

Integração de limpeza do receptor de recursos simples (2026-10-15): os campos de estrutura canônica podem ser concluídos uma vez com recursos derivados, preservando TypeIds e origens estáveis. Os receptores de propriedade comum suportados completam os campos scalar/resource integrados durante a coleta de assinaturas. Antes da propriedade, o HIR materializa todos os campos receptores, incluindo campos não referenciados; os controles de limpeza retidos cobrem o descarte de todo o proprietário, movimentação parcial do campo e transferência completa. Nested/view/campos inseguros, destruidores, capturas, ligações agregadas adicionais e persistência geral de metadados nominal/imported permanecem pendentes. Esses componentes não fecham SH3/SH4 nem autorizam um CheckedProgram completo.