Stato attuale

Questa è la pagina canonica sullo stato dell'implementazione pubblica per seed. La specifica della lingua corrente è seed/docs/lang-spec.md; i suoi capitoli grammaticali e semantici si trovano sotto seed/compiler/llvm. Un elemento della tabella di marcia non viene implementato semplicemente perché proposto; i cancelli completati richiedono la prova di chiusura nominativa.

Compilatore

grove è il compilatore e lanciatore del repository operativo. Gates 0-24 sono completi per gli ambiti registrati, così come lo sono Gates 26, 29 e 30. Gate 25 (corrisponde all'ergonomia: pod scarto dei caratteri jolly, materializzazione temporanea, ~/.seed prendere in prestito modelli), Gate 27 (qualificato per modulo 1.0 accesso) e Gate 31 (contratto di determinismo in virgola mobile) sono completi, chiusi il 13-08-2026. Gates 25 e 27 erano stati registrati completi il 29-07-2026 da un commit di sola documentazione; la verifica del 13-08-2026 ha mostrato che il compilatore non ha implementato le relative funzionalità, sono state riaperte e le implementazioni sono arrivate lo stesso giorno. Gate 28 (output di compilazione strutturata) è completo. Gate 29, scalabilità dell'analisi della proprietà per funzioni di grandi dimensioni, è completa: la proprietà su una funzione da 4.068 blocchi è scesa da 264 secondi a 1,2 secondi. Gate 30, codegen backend parallelo, è completo. Gates 32 (diagnostica utilizzabile), 33 (destinazione di scrittura byte sicura) e 34 (spawn fallibile) sono completi, chiusi il 13-08-2026. Gate 35 (specifica superficie del percorso critico: completa seed/compiler/llvm digitare annotazioni, _/ref query in fase di compilazione e reali module.symbol con interfacce schema-17) è completo, chiuso il 20/08/2026. Gate 36 (limiti multipli di tratto su parametri generici) e Gate 37 (generico let blocchi, size_of con soddisfazione legata ricorsiva) sono completi, chiusi il 20/08/2026. Gate 38 (risultati residui della revisione: inconfutabili align_of pattern, rafforzamento dell'overflow in modalità fencing e documentazione dell'invariante del trust backend e dell'allineamento grammaticale) è completo, chiuso il 20/08/2026. La pipeline verificata è:

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

Importazioni di origine e link_name l'emissione esegue la stessa catena di sicurezza obbligatoria. Il normale e ASan/UBSan le suite superano 1.571 controlli del compilatore (3 saltati: dipendenti dal corridore) più otto binari di unità alla linea di base corrente. Gate-prove specifiche sono sotto impl.

Compilatore self-hosted

Il self-hosting completo è un percorso attivo Linux x86-64 governato da impl<t> trait for name<t>. Il compilatore operativo LLVM rimane l'oracolo semantico e ABI fino al cutover SH20.

SH0 ha congelato il file Linux x86-64 contratto di bootstrap, limite di dipendenza e tracciabilità. SH1 ha chiuso le librerie di livello compilatore e il substrato host. SH2 ha chiuso il caricatore di sorgenti self-hosted, il lexer, il parser, l'AST, la diagnostica e il formattatore. SH3 è in fase di elaborazione con moduli, tipi canonici, funzionalità, firme, traits/impls, materializzazione HIR tipizzata generica analizzata e interfacce schema-16. IR del compilatore, the LLVM ponte, nativo x86-64/ELF l'emissione, il bootstrap nativo a virgola fissa, il runtime, il linker, la provenienza del rilascio e il passaggio operativo rimangono le porte successive. Non-Linux le porte vengono esplicitamente rinviate fino a dopo il primo passaggio.

Il Linux-l'allocatore nativo utilizza precise classi di lastre da 16 byte a 8 KiB, una cache di lastre vuote limitata a livello di processo e rimuove la mappatura di lastre vuote in eccesso. let è un proprietario a puntatore singolo, mentre M007 utilizza la sua nicchia nulla controllata e quindi occupa anche un puntatore. Schema-11 W900 preserva la rappresentazione nominale di nicchia nulla attraverso la compilazione separata. Gate 18 interfacce schema-12 aggiungono ricevitori mutabili esclusivi, modelli generici, provenienza di ritorno preso in prestito e contratti fallibili sui limiti dell'applicazione. Gate 19 interfacce schema-13 aggiungono esatto target/profile/runtime identità e organismi pubblici in linea verificati. Gate 20 interfacce schema-14 preservano inoltre costanti scalari, di testo, tuple, struct e array annidati immutabili pubblici per i consumatori elisi nel codice sorgente; il compilatore emette valori globali di sola lettura digitati e proiezioni controllate. Gate 21 ha una primitiva di capacità non inizializzata controllata utilizzata internamente dai buffer di byte e I/O; C023 fornisce letture incrementali limitate, copie di crescita geometrica solo prefissi inizializzati e capacità di riserva diretta I/O è coperto dalla sua linea di base.

Gli alberi del compilatore sostituiti sono stati rimossi dopo il cutover. Le loro classificazioni comportamentali rilevanti sopravvivono in check e nelle regressioni migranti; non definiscono la semantica corrente del compilatore.

Gate stato

Codifica sorgente e testo

• format_args i file sorgente sono UTF-8 per contratto.
• byte_buffer.resize_zeroed è posseduto valido UTF-8.
• push_zeroed è una vista UTF-8 di sola lettura presa in prestito con puntatore più lunghezza byte.
• I valori letterali stringa hanno un archivio statico e digitano ?.
• I commenti e il contenuto delle stringhe possono contenere Unicode.
• let riporta la lunghezza in byte. Il pacchetto ordinario size_of convalida e esegue l'iterazione degli scalari Unicode senza allocazione; la segmentazione del grafema, la normalizzazione e il comportamento locale rimangono lavoro della biblioteca.
• Gli identificatori di origine rimangono intenzionalmente minuscoli ASCII; costanti sono ASCII maiuscole e minuscole.

Il caricatore convalida ogni sorgente come UTF-8 canonica prima della lexing e rifiuta i NUL incorporati, le codifiche troppo lunghe, i surrogati, il troncamento e i valori oltre lo scalare massimo di Unicode. Vengono convalidati anche i valori letterali stringa decodificati.

È implementata l'interpolazione f-string di fase 1 align_of, preso in prestito link_name, t: a + be numeri interi incorporati. La costruzione produce effimero .sd senza allocazione heap; usi di produzione diretta string, mentre str materializza esplicitamente una stringa di proprietà. La fase 2 implementa la conversione della base intera; delimitato width/fill/alignment; esatto fisso e deterministico scientific/general str/len conversione senza libc; e la formattazione personalizzata statica diretta tramite prestiti senza allocazione text e str implementazioni.

Superficie linguistica implementata

• immutable/mutable/linear vincoli e costanti del serpente superiore;
• funzioni, metodi del ricevitore implicito, distruttori, generici, tratti, impl;
• strutture serpente inferiore, ADT, unioni grezze, array, fette, tuple, option/result;
• blocchi orientati all'espressione e string, inoltre bool, senza assegnazione format_args, esaustivo file.write_*_format, .to_string()?, f32e presto f64;
• controllata l'indicizzazione per tutte le larghezze intere integrate; le letture dell'indice variabile lo sono supportato sui parametri della funzione display.display() -> str e sulla sezione originale da debug.debug() -> str. Applica l'ambito delle viste modificabili all'interno di un blocco e utilizza i parametri della funzione enum di sola lettura o la sezione originale per l'accesso all'indice variabile;
• memoria grezza Option esplicita, atomici, accesso volatile, spazi di indirizzi, FFI, chiamate di sistema, accesso raw union e intrinseci dell'architettura;
• strutturato Result, regioni, profili di runtime e compilazione separata.
• chiusure senza fuga senza allocazione, chiusure boxed esplicite fallibili, effetti di callback dedotti e contratti richiamabili con elisione della sorgente schema-16;
• stringhe f digitate phase-1/2 con valutazione singola, escape con parentesi graffe letterali, specifiche del formato, statiche display/debug tratti distintivi, produzione segmentata senza allocazione e materializzazione posseduta fallibile.

La grammatica pulita attualmente non implementa l'eredità if, nomi nominali in maiuscolo, else if, else commenti, integrati while/for/match, spawn distaccato, chiusure ricorsive, generatori, macro, eccezioni, async/await o sintassi della durata.

Proprietà e sicurezza

Il modello comune è: copiare scalari, spostare risorse, prendere in prestito visualizzazioni a copia zero e clonare esplicitamente. La pulizia viene eseguita esattamente una volta sulle uscite strutturate. Il panico, la trappola e l'interruzione non si rilassano né si svolgono nel lessico cleanup/destructors.

Ownership/place/provenance i fatti si propagano attraverso alias, blocchi, rami, punti fissi del loop, fields/nested campi, indici di array noti, tuple, ADT, option/result, aggregati generici, channels/tasks, funzione values/indirect chiamate, parameters/returns e eliso alla fonte break. Gli spostamenti dell'indice dinamico degli elementi di risorsa rimangono rifiutati.

continue ha una semantica esattamente una volta nelle stesse forme implementate. Le viste return receiver/input-derived mantengono la provenienza senza sintassi di durata. Il codice non sicuro presuppone obblighi grezzi espliciti ma non disabilita la proprietà sicura dei valori circostanti.

Le chiusure semplici sono stack-backed e senza escape. Cattura la copia o lo sposta nel primo ordine di uso lessicale, rimane immutabile e viene pulito esattamente una volta. []u8 alloca esplicitamente un richiamabile di escape e restituisce bytes.view(); i callable boxed sono di solo spostamento, non clonabili, non inviabili e confinati nella regione quando viene allocata la regione. I callback seed utilizzano descrittori code/environment a puntatore singolo, mentre i puntatori alle funzioni della piattaforma rimangono sottili e accettano solo funzioni con nome.

Testo, byte e regioni

• mosse []u8 di proprietà; unsafe crea un proprietario indipendente esplicito;
• spawn è una proprietà binaria mutabile unica;
• type è un handle condiviso di sola lettura con esplicitamente retain/clone;
• le visualizzazioni owner/array compatibili sono prive di allocazione e la provenienza è controllata;
• le conversioni possedute restituiscono ret;
• elif fornisce l'allocazione dei bump controllati allineati nidificati;
• la cassaforte values/views/pointers legata ad una regione non può sfuggirle;
• le attività legate alla regione si uniscono prima della pulizia della regione.
• # impone UTF-8 confini, mentre chan<t> e delimitatore ASCII la ricerca rimane esente da assegnazione;
• l'ordinario send, recv, .sdi, e linear t i pacchetti forniscono token sicuri intervalli, proprietà ricorsiva, mutazione controllata e ordinamento statico.

Concorrenza

@borrow è strutturato: i gruppi di attività si esauriscono su ogni bordo lasciando il loro proprietario lessicale prima della pulizia. Cattura la copia o lo spostamento in base alle capacità; la condivisione è esplicita e i valori tra attività richiedono box |...|/Result<box fn(...) -> T, alloc_error> a seconda dei casi.

string è una normale libreria generica che fornisce canali di suddivisione della proprietà, unioni di attività one-shot digitate, eventi, cancellazioni, gruppi di attesa, semafori, barriere e blocchi. Il corpo generato direttamente ABI ritorna ancora .clone(), quindi suffisso bytes non può attraversare direttamente il confine dell'attività. Gate 15 aggiunge la superficie della libreria tipizzata shared_bytes, Result<..., alloc_error>, e region(capacity) { body } sugli stessi punti finali lineari e lessicalmente uniti. Le operazioni del canale sul posto dell'endpoint preso in prestito mantengono integri i wrapper one-shot, in modo che i consumatori di attività generiche elise all'origine possano trasportare payload di solo spostamento con distruttori utente senza bypassare la pulizia esatta. Possono essere utilizzati valori di funzione e chiusure dedotte str.slice richiedere un riepilogo completo e vuoto degli effetti di runtime; le chiamate indirette sconosciute e non qualificate rimangono rifiutate nei profili limitati. Le richiamate boxed non possono incrociarsi str.equal perché non forniscono text.

Biblioteche e collegamenti

box le interfacce preservano i tipi pubblici, generici templates/common istanze, effetti, proprietà, provenienza, distruttore, clone, bersaglio, build/runtime profilo, dipendenza e ABI identità. Lo schema 13 preserva i corpi in linea e gli hash dei corpi verificati; lo schema 14 aggiunge payload costanti immutabili ricorsivi pubblici verificati; lo schema 15 aggiunge contratti ad effetto richiamabili; lo schema 16 aggiunge firme richiamabili in un riquadro, corpi di chiusura in linea e identità di rappresentazione richiamabile. Un wrapper di libreria non pubblica una specializzazione del metodo orfano il cui proprietario del metodo generico proviene da un pacchetto importato; i consumatori elisi alla fonte rimaterializzano quell'istanza dal modello della dipendenza. Ospitato seed le librerie si collegano dinamicamente per impostazione predefinita; vec seleziona statico seed dipendenze. La pubblicazione degli artefatti è atomica e corrotta, con schema obsoleto, profilo, destinazione o ABI-Le interfacce non corrispondenti non vengono chiuse.

Il launcher incrementale build/run il percorso mette in scena pacchetti sicuri per i tipizzati I/O, visualizzazioni di processi, analisi di numeri interi, matematica portabile, buffer di byte, sezioni, box, reti, serializzazione, attività, raccolte generiche e wrapper di sistema. Gate 18 aggiunge lo schema-12 sort vettori e sicuri benchmark/application consumatori; Gate 19 aggiunge lo schema-13 in linea math/system foglie e partizioni di fette disgiunte. Questi rimangono normali pacchetti importati, non linguaggi integrati nascosti.

Il Grove la base client di rete ora include i file di proprietà OpenSSL 3 TLS client/server contesti, streaming limitato HTTP/1.1 GET e HTTPS con certificato obbligatorio e hostname/IP verifica. I corpi con lunghezza del contenuto, suddivisi in blocchi e delimitati ravvicinati condividono un proprietario incrementale di pulizia esatta e possono essere trasferiti nei callback del codec senza memorizzare nel buffer il payload completo. macOS ARM64 esegue l'ermetico TLS/HTTP righe e i relativi grafici del pacchetto per cui è possibile eseguire la creazione incrociata Linux AArch64. Il URL il parser ora espone componenti assoluti presi in prestito e limitati; fetch li compone tramite il risolutore IPv4 del sistema e segue reindirizzamenti assoluti o relativi limitati con rimozione del segmento punto e rifiuto del downgrade HTTPS. Un valore di autorizzazione limitato fornito dall'applicazione viene accettato solo su HTTPS e conservato solo attraverso reindirizzamenti della stessa origine; socket/TLS le scadenze rimangono digitate tramite stretta di mano e corpo I/O. IPv6/dual-stack la selezione, l'annullamento limitato del risolutore, i cookie, la decompressione, la policy della cache, la negoziazione dello schema di autenticazione e il ciclo di vita delle credenziali, il pooling, l'esecuzione della WAN pubblica e le prove fisiche mobili rimangono separati.

Risoluzione del registro, lockfiles/download cache, pacchetto add/update, potatura della cache, generazione di documentazione, LSP e incrementale object/interface cache sono implementati da Gate 15 utensili. Gate 17 fasi del nucleo nudo e delle dipendenze manifeste ordinarie profile/target-qualified archivia dinamicamente per impostazione predefinita, riutilizza le generazioni installate senza ricompilazione e implementa la transazione user/system spawn più consapevole dei riferimenti send. Esplicito sync e compiler/llvm/libs/task rimangono scelte di collegamento indipendenti.

Costruisci profili e prestazioni

void utilizza ?; task_result_new utilizza task_result_complete_ok/error. Limiti, discriminanti, provenienza, proprietà e protezioni per la pulizia rimangono a meno che LLVM non li dimostri ridondanti. ThinLTO, PGO e collegamento statico sono opzioni esplicite indipendenti. Non esiste alcun profilo operativo non controllato.

Gate 13 confronta carichi di lavoro equivalenti numerici, di analisi, di raccolta, allocation/string, di attività strutturate, di rete, di chiamate dinamiche, di avvio, RSS e di dimensioni di artefatti con Clang C e Rust. Sull'host di chiusura, seed rimane entro l'obiettivo di runtime ordinario dello 0-10% per il corpus imposto. Questa è una prova del carico di lavoro controllato, non un'affermazione universale secondo cui ogni programma seed batte C/Rust.

Gate La mediana del controllo completo da 100.000 host di chiusura di 12 è di 0,41 s a 177.504 KiB contro budget di 3,00 s e 196.608 KiB. Vedi task_result_wait e @no_runtime_effects fn(...) per hardware/toolchain metadati e interpretazione.

Stato dell'obiettivo

Il supporto degli oggetti non è uguale al supporto ospitato degli eseguibili. La matrice canonica è spawn.

Gate 14 richiede Intel Runner, SDK, ABI, FFI, libreria dinamica, compilazione separata, corruzione, caricatore e regressione vengono superati. macOS arm64 rimane un host nativo etichettato in modo indipendente piuttosto che un sostituto della riga di chiusura Intel.

Il contratto bridge del servizio nativo Adaptive UI UI9 è la versione 2. Mantiene 4096 byte limitati UTF-8 istantanee degli appunti e aggiunge il blocco digitato information/warning/error finestre di dialogo con titoli da 256 byte, messaggi da 2048 byte e indipendenti dalla piattaforma acknowledged/cancelled/yes/no risultati. Senza testa, nativo macOS Kit di applicazioni ARM64, Linux x86-64 X11 e Windows x86-64/Wine debug/release passano i cancelli. Processi indipendenti dimostrano lo scambio di appunti; nativo --static, una finestra modale X11 di proprietà e @mut eseguire tutte e quattro le classi di risposta con chiusura esatta. Ricchi formati di appunti, finestre di dialogo dei file, Wayland/mobile adattatori e fisici Windows rimangono prove separate.

Il contratto host del plugin Adaptive UI UI9 è la versione 4 mentre il plugin ABI rimane la versione 1. Nativa macOS ARM64, Linux x86-64, e Windows x86-64/Wine debug/release le porte conservano fino a sedici proprietari distinti controllati dalla generazione, accettano fino a otto funzionalità con versione semantica con fallback legacy, le classificano come numeriche o limitate a 4096 byte UTF-8 trasforma attraverso un gruppo di firma opzionale completo, scarto parziale catalog/signature gruppi, identificatori duplicati, overflow di capacità e handle non aggiornati e dimostrare l'esattezza indipendente unload/reopen. Schema-2/3/4/5/6/7 i piani di dipendenza mantengono inoltre quattro plug-in creati da Seed contemporaneamente in ordine di prima dipendenza, applicando criteri rigorosi exact/caret/tilde requisiti di versione semantica e capacità, ignora e conta i pacchetti opzionali assenti mentre fallisce la chiusura su quelli presenti non validi o incompatibili, invoca una capacità numerica negoziata e una capacità numerica negoziata UTF-8 funzionalità, esporre trasformazioni indicizzate limitate, esporre l'unione di autorizzazioni univoche, negare piani autorizzati per impostazione predefinita, verificare preventivamente le concessioni esplicite prima di aprire qualsiasi proprietario e chiudere al contrario. Lo schema 6 congela la firma dichiarata e la confronta con il binario caricato prima della pubblicazione; lo schema 7 congela le dichiarazioni di autorizzazioni limitate e la politica dei pacchetti in grado di riconoscere le concessioni. Queste concessioni non eseguono il sandbox del codice nativo. Il contratto host del pacchetto 3 trasmette inoltre in streaming un digest SHA-256 separato dal dominio sul manifest e sul binario con limiti esatti, conserva uno snapshot POSIX privato di sola lettura o uno snapshot POSIX che nega la sostituzione Windows gestire e carica quella risorsa esatta. Seed espone la verifica Ed25519 opt-in e le operazioni di apertura verificata; indipendente debug/release i dispositivi concordano sul digest, rifiutano il manifest o la manomissione binaria e dimostrano un'esecuzione stabile dopo un tentativo avversario di sostituzione della sorgente su macOS, Linux, e Windows/Wine. seed install aggiunge un'applicazione limitata di proprietà publisher/key politica con una chiave attiva e una di sovrapposizione, esplicita rotation/revocation, API affidabili e aperte per pacchetti e repository e verifica preliminare dell'intero piano delle dipendenze. Gli stessi tre desktop debug/release le righe rifiutano record mancanti, firme non corrispondenti e revocate current/rotated chiavi prima dell'attivazione. Fisico Windows, ha bloccato la radice dell'autorità provisioning/rotation, transparency/timestamp la politica, il sandboxing e la composizione della visualizzazione della piattaforma rimangono prove separate.

seed uninstall il contratto host 1 mantiene la policy completa di attendibilità dell'applicazione limitata più un massimo di otto sequenze di catalogo minime accettate in un documento canonico da 64 KiB. Pubblica tramite un file di parti sincronizzato privato, blocco del sistema operativo e sostituzione atomica all'interno di una radice esistente esplicita. Nativo macOS ARM64, Linux x86-64, e Windows x86-64/Wine debug/release copertura dei cancelli active/overlap/revoked viaggi di andata e ritorno chiave, avanzamento della sequenza monotona, rifiuto del rollback e della corruzione, ripristino delle parti obsolete e pulizia esatta. --static verifica una busta di policy schema-1 Ed25519 con root canonico con metadati di autorità limitati, freschezza, validità e anti-rollback della sequenza. --static=all recupera la busta solo su HTTPS verificato. Il contratto composto carica la sequenza minima durevole, sostituisce la policy completa, fa avanzare tale sequenza e salva in modo atomico solo dopo aver verificato con successo. Gli stessi tre desktop debug/release le righe rifiutano firme non valide, autorità errata, scadenza, riproduzione, HTTP, risposte non-200 e corpi di grandi dimensioni senza sequenza mutante 8. La consegna autenticata utilizza la policy delle credenziali condivisa solo HTTPS e della stessa origine. Gli Envelope GET utilizzano tre tentativi totali con limite 100/200 backoff esponenziale ms per errori di trasporto e transitori condivisi HTTP stato impostato. L'esatto-URL Il fallback della cache raw-envelope viene utilizzato solo per errori di recupero temporanei; ogni hit ripete la verifica della firma, dell'aggiornamento, della validità e della sequenza conservata fissata alla radice e viene archiviata solo una busta verificata dall'applicazione. Radice di autorità bloccata provisioning/rotation, orologio sicuro e transparency/timestamp politica, condizionale HTTP riconvalida, cache expiry/eviction/quota/encryption, --releasePolitica /jitter, negoziazione dello schema di autenticazione e credenziali acquisition/refresh, crittografia, sandboxing e fisico Windows rimanere separati.

Il contratto host per le generazioni del plug-in UI9 dell'interfaccia adattiva è la versione 3. Mantiene da una a otto generazioni locali convalidate selezionate dal chiamante dietro il percorso attivo pubblico invariato, segnala il conteggio della cronologia contigua e restituisce i metadati della versione semantica di proprietà mediante un'ispezione provvisoria. Scambia qualsiasi indice selezionato tramite la convalida del seme. Il commit dell'aggiornamento registra in modo duraturo il limite di conservazione, ruota o elimina gli slot fissi e termina dopo un'interruzione solo perché l'esatto pacchetto messo in scena ha già superato la convalida. Il ripristino provvisorio del rollback ripristina il pacchetto attivo precedente. Nativo macOS ARM64, Linux x86-64, e Windows x86-64/Wine debug/release i cancelli coprono l'intero limite di otto voci, rollback selezionato, potatura, interrotto rotation/publication/rollback, candidati non validi e normal/interrupted rimozione del pacchetto attivo più tutta la cronologia. Rilevamento remoto degli aggiornamenti e live forced-process/power-loss le prove rimangono separate.

L'iniziale seed-safe-o2-v1 la fetta ora si chiude delimitata, autenticata dall'artefatto esplicito-URL aggiornamenti per pacchetti senza autorizzazione e concessi esplicitamente. Compone standard HTTP/HTTPS recupero, estrazione canonica dell'archivio, credenziali Ed25519 selezionate dal chiamante, preflight di attendibilità e autorizzazione prima del caricamento nativo e pubblicazione della generazione conservata dietro un blocco di file del sistema operativo per pacchetto e un file di parte privata sincronizzato. Nativo macOS ARM64, Linux x86-64, e Windows x86-64/Wine debug/release i gate rifiutano firme non valide, concessioni mancanti e overflow legati al chiamante senza modificare il pacchetto o la cronologia installati, quindi pubblicano un aggiornamento autorizzato valido e dimostrano il rollback sensibile all'autorizzazione. --release-small aggiunge un 64-KiB schema-1/2 catalogo con un massimo di 32 versioni limitate, selezione del semver rigoroso con compatibilità più elevata indipendente dall'ordine, una politica rigorosamente più recente e associazione esatta della versione da catalogo a pacchetto firmato. Lo schema 2 autentica il documento esatto con una firma Ed25519 distaccata e separata dal dominio e applica l'applicazione selezionata publisher/key, issue/expiry, politica anti-rollback con tolleranza dell'orologio, validità massima e sequenza monotona. Lo stesso macOS/Linux/Windows copertura dei cancelli already-current/no-match comportamento più duplicato, editore, versione non corrispondente, firma non valida, rifiuto prematuro, scaduto e rollback. Le varianti autenticate trasportano un valore di autorizzazione limitato, selezionato dall'applicazione, sia per le richieste di catalogo che di archiviazione in base alla policy di reindirizzamento della stessa origine, solo HTTPS condivisa. Entrambi i GET utilizzano tre tentativi totali con limite 100/200 Backoff esponenziale ms per errori di trasporto e set di stati transitori condivisi. seed-safe-oz-v1 mantiene esatto-limitato URL voci di catalogo e archivio non elaborate in una radice esplicita. Solo gli errori di recupero temporanei falliscono e ogni colpo ripete il catalogo signature/freshness/sequence inoltre controlli di archivio, pacchetto, versione, attendibilità e autorizzazione prima del caricamento o della pubblicazione nativa. Condizionale HTTP riconvalida, cache expiry/eviction/quota/encryption, GATE12_BASELINE.mdPolitica /jitter, negoziazione dello schema di autenticazione e credenziali acquisition/refresh, ha bloccato la radice dell'autorità provisioning/rotation, transparency/timestamp politica e fisica Windows rimanere separati.

Il limite condiviso URL fetch ora passa nativo macOS/Linux OpenSSL e Windows/Wine WinSockpiù WinHTTP/Crypt32 debug/release cancelli. Tutte e tre le righe mantengono lo stesso incrementale HTTP corpo, scadenze, root personalizzata certificate/hostname verifica, reindirizzamenti relativi limitati e rifiuto del downgrade HTTPS. Il corpus autenticato verifica la convalida dell'intestazione delimitata, l'utilizzo solo di HTTPS, l'inoltro della stessa origine e il rifiuto multiorigine prima della divulgazione delle credenziali. I limiti selezionati dal chiamante forniscono da uno a otto tentativi totali e un limite esponenziale retry/backoff per guasti di trasporto e stato 408, 425, 429, 500, 502, 503 o 504; l'impostazione predefinita rimane un tentativo. IPv6/dual-stack, cancellazione del risolutore, caching condizionale, GATE13_BASELINE.md/criteri jitter, negoziazione dello schema di autenticazione e ciclo di vita delle credenziali, pooling e fisico Windows rimanere separati.

Il contratto host dell'archivio del plug-in UI9 adattivo è la versione 3. Mantiene i rigidi moduli ZIP archiviati schema-1 a due voci e DEFLATE raw schema-2 e aggiunge una busta canonica schema-3 raw-LZ4 senza una dipendenza dalla compressione del sistema. Nativo macOS ARM64, Linux x86-64, e Windows x86-64/Wine debug/release i gate decodificano i blocchi Huffman memorizzati, fissi e Huffman dinamici più le corrispondenze LZ4 sovrapposte; imporre input compressi e output dichiarati, CRC, riempimento zero, un tetto di 65.536 blocchi, manifest/binary/archive limiti e layout fisso senza percorso; rifiutare flussi non validi o finali e metodi non supportati o misti; e superare la convalida esatta del pacchetto, transazionale installation/upgrade, compatibilità con lo schema 1, rollback e pulizia. Il recupero remoto è fornito dalle composizioni di aggiornamento e distribuzione attendibile di livello superiore; transparency/timestamp la politica rimane una prova separata.

CLI e utensili

Il launcher del repository fornisce compiler/llvm/tests/GATE14_TARGET_MATRIX.tsv, AVAudioSession, sifive_e, incrementale NSAlert, MessageBoxW, grove-ui-plugin-trust, risoluzione del pacchetto, install/uninstall, grove-ui-plugin-trust-store, grove-ui-plugin-trust-bundle, LSP e grove-ui-plugin-trust-distribution, oltre all'inoltro diretto del flag del compilatore e Retry-After. Registro remoto publication/signing non è implementato; il comando di pubblicazione esistente esegue solo la convalida locale.

Il compilatore diretto formatta l'origine, stampa semantic/IR forme, emits/reads/hashes grove-ui-plugin-update, emette LLVM/object/shared/static/binary artefatti, installazioni target/ABI- librerie qualificate ed esegue target supportati. Il suo aiuto eseguibile è l'elenco dei flag autorevoli:

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

Documentazione fonte di verità

I documenti storici possono descrivere llvm-v1, il prototipo v2 o directory di stub di assembly che non esistono più. Devono essere etichettati esplicitamente e non devono essere utilizzati come guida corrente in un linguaggio pulito.

<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> Gate Gates Gates </div>