Statut actuel – 0.10.0 pré-lancement (produit en tant que service)

Il s'agit de la page canonique publique sur l'état de la mise en œuvre pour seed. La spécification linguistique actuelle est seed/docs/lang-spec.md; ses chapitres de grammaire et de sémantique vivent sous seed/compiler/llvm. Un élément de la feuille de route n’est pas mis en œuvre simplement parce qu’il est proposé ; les portes terminées nécessitent leur preuve de fermeture nommée.

Le produit 0.10.0 est en pré-lancement avec la liste d'attente 100, le terrain de jeu WASM et le chatbot de support sur seed-lang.com. grove → catalogue, pod → src|bin en forme de caisse avec central ~/.seed cache versionné. 1.0 stable n'a pas encore d'horizon et pas encore de vrais utilisateurs ; service, bibliothèques, publication (privé), code/binary le repo et les documents par pod sont au centre du lancement.

Gate 47 est complet sous le LLVM feuille de route. Ses 58 tâches axées sur les dépendances établissaient une compilation à froid prévisible, des coûts explicites, une sécurité des vues utilisables, un démarrage de tâches récupérables et une réutilisation incrémentielle vérifiée. Le reste Linux-seules les lignes de profil sont explicitement signalées comme indisponibles sur macOS; Les preuves existantes des diagnostics, des outils et de la réutilisation des préfixes-HIR restent dans GATE47_BASELINE.md.

Compilateur — 0.10.0

seed/compiler/llvm est le compilateur et lanceur de référentiel opérationnel. Gates 0-24 sont complets pour leurs portées enregistrées, tout comme le sont Gates 26, 29 et 30. Gate 25 (correspond à l'ergonomie : _ suppression des caractères génériques, matérialisation temporaire, ref modèles d'emprunt), Gate 27 (module qualifié module.symbol accès), et Gate 31 (contrat de déterminisme à virgule flottante) sont terminés, clôturés le 13/08/2026. Gates 25 et 27 ont été enregistrés complets le 2026-07-29 par un commit de documentation uniquement ; la vérification du 13/08/2026 a montré que le compilateur n'avait pas implémenté ses fonctionnalités, elles ont été rouvertes et les implémentations ont atterri le même jour. Gate 28 (sortie de construction structurée) est terminée. Gate 29, l'évolutivité de l'analyse de propriété pour les grandes fonctions, est terminée : la propriété sur une fonction de 4 068 blocs est passée de 264 s à 1,2 s. Gate 30, codegen backend parallèle, est terminé. Gates 32 (diagnostics exploitables), 33 (cible d'écriture d'octet sécurisée) et 34 (apparition faillible) sont terminés, fermés le 13/08/2026. Gate 35 (spécification surface du chemin critique : complète let tapez des annotations, size_of/align_of requêtes au moment de la compilation et réelles link_name avec les interfaces schéma-17) est terminé, fermé le 20/08/2026. Gate 36 (limites de traits multiples sur les paramètres génériques) et Gate 37 (générique impl des blocs, impl<t> trait for name<t> avec satisfaction liée récursive) sont terminés, clôturés le 20/08/2026. Gate 38 (résultats résiduels de l’examen : irréfutables let modèles, renforcement du débordement en mode clôture et documentation sur les invariants de confiance et l'alignement grammatical du backend) est terminé et fermé le 20/08/2026. Gate 39 (ergonomie et facilitation du compilateur : sensible à la forme M007 déduplication des importations réexportées transitivement, W900 unaire à index vérifié et C023 désucrage à double index, champ bool omis par défaut, coercition d'élément littéral de tableau et check=build parité des vérificateurs) est terminé, clôturé le 23/08/2026. La feuille de route du redémarrage (Gates 0-39) est entièrement fermé pour ses oscilloscopes enregistrés ; de futurs travaux d'activation matérielle sont prévus Gates 40-46. Le pipeline vérifié est :

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

Importations d'origine et .sdi émission exécuter la même chaîne de sécurité obligatoire. La normale et ASan/UBSan les suites réussissent 1 571 vérifications du compilateur (3 ignorées : dépendant du coureur) plus huit binaires unitaires à la ligne de base actuelle. Gate-des preuves spécifiques sont sous seed/compiler/llvm/tests/GATE*_BASELINE.md.

Compilateur auto-hébergé

LLVM- L'auto-hébergement du compilateur sauvegardé est l'actif Linux x86-64 piste régie par roadmap-self-hosted.md. L'opérationnel C23/LLVM le compilateur reste la valeur par défaut jusqu'à SH21-05 et une sémantique et ABI oracle ensuite.

Le 2 octobre LLVM-la première feuille de route préserve les preuves historiques SH0 – SH3 tout en exigeant une revalidation complète de la carte actuelle. Actuel reader/writer utilisez le schéma 22 et le test d'interopérabilité ciblé réussit. Flux d'origine finie, try_spawn Des composants frontaux et de prêt conservés existent ; la sécurité de la production à l’échelle de l’invocation, la préservation des preuves importées et la vérification obligatoire du MIR restent ouvertes. SH4 est ouvert et SH5 expérimental. Les différences d'audit actuelles ont nommé des propriétaires.

LLVM émission, S2/S3, complet requis Linux safety/ABI/workflows, des budgets mesurés et une récupération hors ligne sont requis avant SH21-05. LLVM/link/archive les outils, le runtime C reconstructible à la source et les adaptateurs révisés peuvent rester des dépendances de produit déclarées. Natif backend/runtime/linker/tool le remplacement et SH20 sont conditionnés à une décision SH21-06 mesurée et à une activation explicite.

Les 101 cartes de feuille de route ont désormais des dépendances manifestes correspondantes ; les étiquettes historiques complètes restent des preuves datées et non une fermeture actuelle. C0 frais Linux build, suite normale et pass suite assainisseur. M0019 à M0021 sont réparés : le contrôle à froid de 100 000 reste en dessous du plafond inchangé de 256 Mio, les contrôles de durée de propriété conservée sont présents et le spawn MIR est d'accord dans sept cas. SH4 reste ouvert ; consultez son coureur de parité et sa ligne de base pour le résultat actuel plutôt que de vous fier à un nombre de cas copié. L'acceptation actuelle SH0-01-04 a été renouvelée ; SH0-04 a été recapturé sur l'hôte d'enregistrement le 15/10/2026 à 767e2f1b. L'oracle SH0 renouvelé enregistre le rejet S001 de C0 en cas d'échec de démarrage move/linear capturer la réutilisation et la différence entre quatre statuts de démarrage simulé et la production reserve_failed (M0010/M0011), transport de résultat de tâche scalaire simple (M0022) et invalide LLVM pour les liaisons locales à valeur unitaire (M0023) ; ces exigences restent ouvertes. SH21-01 fige une matrice de produits de 42 lignes, trois consommateurs épinglés et explicites product/native politiques de dépendance. Sa fermeture de dépendance passe avec six courants vérifiés C0/S1 groupes de coûts, tous les profils sécurisés, authentification isolée et observations de reconstruction de source C0 hors ligne. L'émission binaire S1 reste indisponible ; ces mesures d'entrée n'établissent pas S2/S3 ou la récupération du produit. Les preuves d'entrée ont été recapturées et recongelées le 2026-10-12 à 0960f7d3 sur l'hôte d'enregistrement après qu'une dérive de l'outil système ait invalidé les broches du 3 octobre ; la feuille de route possède le statut final actuel de la carte. Les coureurs SH21 ultérieurs et les non-Linux les ports auto-hébergés restent prévus.

Entrée SH21-01 et SH1-01 substrate/bootstrap laissez-passer de fermeture complet ; l'instantané d'entrée a été recongelé le 12/10/2026 à 0960f7d3, et le gel du 3 octobre à 6bf41ca9 reste dans l’historique de git. Les preuves d'entrée sont conservées sous forme d'entrées mesurées : la base Git enregistrée plus une superposition liée au hachage et le producteur de C0 identifié reproduisent les identités originales de la source, de la recette, du consommateur et de l'artefact. Neuf contrôles de rejet d'instantané passent en plus du matrix/stage/cost contrôles. Les modifications ultérieures des sources de fonctionnalités ne réétiquetent pas les coûts initiaux. Les tests SH0 et de mise en œuvre actuels des cartes s'exécutent toujours sur les sources actuelles ; cet instantané valide uniquement les observations d'entrée. Réussites de fermeture complète des tâches SH1-02 : compteurs de coûts opt-in, déduplication de 100 001 ID, vingt résultats dynamiques avec décodage d'étendue vérifié, diagnostic identique JSON, trois familles d’échec de croissance, des budgets inchangés et un nouveau bootstrap de 58 objets. La fuite de hachage de dépendance du cache rejeté C0 est réparée et testée avec les fuites activées. Le renouvellement des preuves de l'hôte actuel suit le processus synchronisé source/docs empreinte digitale. La fermeture SH2-01 passe : le try_spawn le mot-clé, le code de jeton stable et les appareils différentiels C0 existaient déjà et la carte a désormais un coureur enregistré. L'acceptation de type démarrage SH2 compare les entrées vides, corps de résultat, imbriquées et manquantes avec C0 et vérifie les marqueurs via la copie et le formatage AST, avec un contrôle de génération ordinaire. Le corpus suivi passe chez un nouveau producteur ; les exécutables obsolètes et les interfaces mises en cache ne doivent pas être interprétés comme des divergences de source. Le programme d'exécution SH2-04 reconstruit désormais le producteur et exécute la fermeture complète du frontend, y compris les désinfectants, les vérifications d'architecture et BF0. Le statut actuel de carte complète appartient à la feuille de route et au manifeste de tâches. SH3-01 étend désormais l'identité de définition en possédant le module afin que les noms nominaux de même orthographe dans des modules distincts restent distincts et attribue à chaque déclaration son DefinitionId une fois par appel, avec des clés nominales, destructrices et de signature lisant cette table au lieu de l'arithmétique d'index. Propriété multi-modules partagée, repeated-path/diamond origines et conservés HIR/checked les métadonnées de définition comportent désormais des preuves de composants. Le chemin de vérification préserve les alias au niveau du module, les ID cibles canoniques, les étendues et la visibilité des exportations, et collecte les signatures dans un registre d'ID attribués sur les AST conservés. La résolution par signature uniquement n’attribue aucun fait corporel ; les signatures non prises en charge restent en attente et renvoient le AST/type propriétaires. La provenance récursive utilise les identifiants attribués et les affectations de production incomplètes sont rejetées. Importé call/body expédition, sécurité d'invocation totale et SH3/SH4 la fermeture reste ouverte. L'analyse d'importation transitive de SH3-02 est connectée au chemin de vérification : un cycle signale un M001 localisé, une importation inconnue signale M002 et un module en conflit liant rapporte M008, chacun au niveau de la ligne et de la colonne de l'importation avec le libellé de C0, et use "seed.core" reste un no-op comme dans C0. L'auto-vérification a également été interrompue sur tout octet non-ASCII à l'intérieur d'une étendue source analysée : trois analyses de sous-chaîne par octet ont découpé le texte selon des décalages intérieurs, ce qui str.slice rejette comme limites de points de code. Corrigé en comparant les octets au lieu du découpage ; les abandons sur les 2 643 sources suivies vont de 55 à 0 sans régression de verdict. Le CLI leaf vérifie désormais directement un appareil non-ASCII, car le différentiel de corpus pilote ast-print et je n'ai jamais atteint ce code. Les analyses elles-mêmes restent les noms heuristiques textuels résiduels SH4-11 à supprimer, car les supprimer avant que le pipeline HIR typé ne couvre leurs formes entraînerait l'abandon de véritables diagnostics. Partagé importé call/body l'expédition est la prochaine. S2/S3, produit entièrement autonome safety/workflows/budgets, la récupération hors ligne et le basculement SH21-05 restent ouverts.

Le Linux-l'allocateur natif utilise des classes de dalles précises de 16 octets à 8 Ko, un cache de dalles vides limité à l'échelle du processus et démappe les dalles vides en excès. box<t> est propriétaire d'un seul pointeur, tandis que ?box<t> utilise sa niche nulle auditée et occupe donc également un pointeur. Schéma-11 .sdi préserve la représentation nominale de niche nulle lors d’une compilation séparée. Gate 18 interfaces schéma-12 ajoutent des récepteurs mutables exclusifs, des modèles génériques, une provenance de retour emprunté et des contrats faillibles de limite d'application. Gate 19 interfaces schéma-13 ajoutent exactement target/profile/runtime identité et organismes publics en ligne vérifiés. Gate 20 interfaces schéma-14 préservent en outre les constantes publiques immuables scalaires, texte, tuple, structure et tableau imbriqué pour les consommateurs à source élidée ; le compilateur émet des globales typées en lecture seule et des projections vérifiées. Gate 21 a une primitive de capacité non initialisée auditée utilisée en interne par les tampons d'octets et I/O; io.input_stream fournit des lectures incrémentielles limitées, des copies de croissance géométrique uniquement les préfixes initialisés et une capacité de réserve directe I/O est couvert par sa ligne de base.

Les arborescences du compilateur remplacées ont été supprimées après le basculement. Leurs classifications comportementales pertinentes survivent dans les régressions compiler/llvm/COMPATIBILITY.md et migrées ; ils ne définissent pas la sémantique actuelle du compilateur.

Gate statut

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

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

Encodage source et texte

• .sd les fichiers sources sont UTF-8 par contrat.
• string est détenu valide UTF-8.
• str est une vue UTF-8 empruntée en lecture seule avec pointeur et longueur d'octet.
• Les littéraux de chaîne ont un stockage statique et tapent str.
• Les commentaires et le contenu des chaînes peuvent contenir du Unicode.
• len indique la longueur en octets. Le package text ordinaire valide et itère les scalaires Unicode sans allocation ; la segmentation des graphèmes, la normalisation et le comportement des paramètres régionaux restent un travail de bibliothèque.
• Les identifiants de source restent intentionnellement ASCII : les noms de valeurs utilisent la casse serpent inférieure, les types nominaux et les variantes utilisent UpperCamelCase et les constantes sont en casse serpent supérieure ASCII.

Le chargeur valide chaque source comme étant canonique UTF-8 avant le lexing et rejette les NUL intégrés, les codages trop longs, les substituts, la troncature et les valeurs au-delà du scalaire maximum d'Unicode. Les littéraux de chaîne décodés sont également validés.

L'interpolation de chaîne f de phase 1 est implémentée pour str, emprunté string, bool, et des entiers intégrés. La construction produit de l’éphémère format_args sans allocation de tas ; utilisations de sortie directe file.write_*_format, tandis que .to_string()? matérialise explicitement une chaîne possédée. La phase 2 implémente la conversion de base entière ; délimité width/fill/alignment; exact fixe et déterministe scientific/general f32/f64 conversion sans libc ; et un formatage personnalisé statique direct grâce à des emprunts sans allocation display.display() -> str et debug.debug() -> str mises en œuvre.

Surface de langage implémentée

• immutable/mutable/linear liaisons et constantes du serpent supérieur, dont le type l'annotation est facultative : le type est déduit de l'initialiseur, et un initialiseur qui ne peut pas être déduit est rejeté avec R037 lors de la déclaration ;
• fonctions, méthodes de réception implicite, destructeurs, génériques, traits, impls ;
• Structures UpperCamelCase, enum ADT, unions brutes, tableaux, tranches, tuples, Option/Result;
• blocs orientés expression et if/else if/else, if let/while let (tous deux désucrés à deux bras match), plus while, sans allocation for, exhaustif match, break, continue, et tôt return;
• répéter les littéraux de tableau ([value; count]) qui développent une valeur littérale en un fixed array under the expected element type;
• checked indexing for all builtin integer widths; les lectures à index variable sont pris en charge sur les paramètres de fonction []u8 et la tranche originale de bytes.view(). Étendez les vues mutables dans un bloc et utilisez les paramètres de fonction []u8 en lecture seule ou la tranche d'origine pour l'accès à l'index variable ;
• explicite unsafe mémoire brute, atomique, accès volatile, espaces d'adressage, FFI, appels système, accès brut aux unions et éléments intrinsèques de l'architecture ;
• structuré spawn, régions, profils d'exécution et compilation séparée.
• fermetures sans évasion sans allocation, fermetures en boîte faillibles explicites, effets de rappel déduits et contrats appelables exclus du schéma 16 ;
• chaînes f typées phase-1/2 avec évaluation unique, échappement par accolade littérale, spécifications de format, statiques display/debug traits, sortie segmentée sans allocation et matérialisation faillible.

La grammaire propre n'implémente pas actuellement l'héritage type-orthographe ADT basée sur les identifiants nominaux de la casse du serpent inférieur, ret/elif et # commentaires, intégrés chan<t>/send/recv, apparition détachée, fermetures récursives, générateurs, macros, exceptions, async/await, ou syntaxe à vie.

Propriété et sécurité

Le modèle courant est le suivant : copier des scalaires, déplacer des ressources, emprunter des vues sans copie et cloner explicitement. Cleanup runs exactly once on structured exits. Les opérations de panique, d'interruption et d'abandon ne déroulent pas et n'exécutent pas le lexical cleanup/destructors.

Ownership/place/provenance les faits se propagent à travers des alias, des blocs, des branches, des points fixes de boucle, fields/nested champs, index de tableau connus, tuples, ADT, option/result, granulats génériques, channels/tasks, fonction values/indirect appels, parameters/returns, et élidé à la source .sdi. Les déplacements à index dynamique des éléments de ressource restent rejetés.

linear t a une sémantique exactement une fois dans ces mêmes formes implémentées. Les vues @borrow receiver/input-derived conservent la provenance sans syntaxe à vie. Le code non sécurisé suppose des obligations brutes explicites mais ne désactive pas la propriété sécurisée des valeurs environnantes.

Les fermetures simples sont empilées et ne s'échappent pas. Capture la copie ou le déplacement dans le premier ordre d'utilisation lexicale, reste immuable et nettoie exactement une fois. box |...| alloue explicitement un appelable d'échappement et renvoie Result<box fn(...) -> T, alloc_error>; Les callables en boîte sont à déplacement uniquement, non clonables, non envoyables et limités à une région lorsqu'une région est allouée. Les rappels de départ utilisent un pointeur unique code/environment descripteurs, tandis que les pointeurs de fonctions de plate-forme restent minces et n'acceptent que les fonctions nommées.

Texte, octets et régions

• déménagements appartenant à string ; .clone() crée un propriétaire indépendant explicite ;
• bytes est une propriété binaire mutable unique ;
• shared_bytes est un handle partagé en lecture seule avec explicite retain/clone;
• Les vues owner/array compatibles sont sans allocation et leur provenance est vérifiée ;
• retour des conversions détenues Result<..., alloc_error>;
• region(capacity) { body } fournit une allocation de bosses vérifiées alignées et imbriquées ;
• le coffre-fort values/views/pointers lié à une région ne peut y échapper ;
• les tâches liées à la région se joignent avant le nettoyage de la région.
• str.slice applique UTF-8 frontières, tandis que str.equal et délimiteur ASCII la recherche reste sans allocation ;
• l'ordinaire text, box, vec, et sort les packages fournissent un jeton sécurisé plages, propriété récursive, mutation vérifiée et ordre statique.

Concurrence

spawn est structuré : les groupes de tâches s'écoulent sur chaque bord, laissant leur propriétaire lexical avant le nettoyage. Capture une copie ou un déplacement selon ses capacités ; le partage est explicite et les valeurs transversales nécessitent send/sync le cas échéant.

compiler/llvm/libs/task est une bibliothèque générique ordinaire fournissant des canaux de partage de propriété, des jointures de tâches typées en une seule fois, des événements, des annulations, des groupes d'attente, des sémaphores, des barrières et des verrous. Le corps engendré directement ABI revient toujours void, donc postfix ? ne peut pas franchir directement la limite de la tâche. Gate 15 ajoute la surface de la bibliothèque typée task_result_new, task_result_complete_ok/error, et task_result_wait sur les mêmes points finaux linéaires et lexicalement joints. Les opérations de canal sur place des points de terminaison empruntés conservent les wrappers uniques, de sorte que les consommateurs de tâches génériques dont la source a été supprimée peuvent transporter des charges utiles de déplacement uniquement avec les destructeurs utilisateur sans contourner le nettoyage exact. Les valeurs de fonction et les fermetures déduites peuvent utiliser @no_runtime_effects fn(...) pour exiger un résumé complet et vide des effets d'exécution ; les appels indirects inconnus et non qualifiés restent rejetés dans les profils restreints. Les rappels encadrés ne peuvent pas se croiser spawn parce qu'ils ne fournissent pas send.

Bibliothèques et liens

.sdi les interfaces préservent les types publics, génériques templates/common instances, effets, propriété, provenance, destructeur, clone, cible, build/runtime profil, dépendance et ABI identité. Le schéma 13 préserve les corps en ligne et les hachages de corps vérifiés ; le schéma 14 ajoute des charges utiles constantes immuables récursives publiques vérifiées ; le schéma 15 ajoute des contrats à effet callable ; le schéma 16 ajoute des signatures appelables encadrées, des corps de fermeture en ligne et une identité de représentation appelable ; le schéma 19 ajoute des identités de propriétaire nominales et génériques qualifiées d'origine pour les importations transitives et de diamants indépendantes de la commande. Un wrapper de bibliothèque ne publie pas de spécialisation de méthode orpheline dont le propriétaire de méthode générique provient d'un package importé ; les consommateurs dont la source a été supprimée rematérialisent cette instance à partir du modèle de dépendance. Hébergé seed les bibliothèques sont liées dynamiquement par défaut ; --static sélectionne statique seed dépendances. La publication d'artefacts est atomique et corrompue, avec un schéma obsolète, un profil, une cible ou ABI-Les interfaces incompatibles échouent à la fermeture.

Le lanceur incrémental build/run chemin étapes paquets sûrs pour tapé I/O, vues de processus, analyse d'entiers, mathématiques portables, tampons d'octets, tranches, boîtes, mise en réseau, sérialisation, tâches, collections génériques et wrappers de systèmes. Gate 18 ajoute le schéma-12 @mut vecteurs et coffre-fort benchmark/application les consommateurs ; Gate 19 ajoute le schéma-13 en ligne math/system feuilles et cloisons de tranches disjointes. Il s’agit de packages importés ordinaires, et non de langages intégrés cachés.

Le Grove la fondation réseau-client inclut désormais la propriété OpenSSL 3 TLS client/server contextes, streaming limité HTTP/1.1 GET, et HTTPS avec certificat obligatoire et hostname/IP vérification. Les corps de longueur de contenu, fragmentés et délimités étroitement partagent un propriétaire incrémentiel de nettoyage exact et peuvent être transférés dans des rappels de codec sans mettre en mémoire tampon la charge utile complète. macOS ARM64 exécute l'hermétique TLS/HTTP lignes et leurs graphiques de package sont construits de manière croisée pour Linux AArch64. Le URL l'analyseur expose désormais les composants absolus empruntés limités ; fetch les compose via le résolveur IPv4 du système et suit les redirections absolues ou relatives limitées avec suppression du segment de points et rejet de la rétrogradation HTTPS. Une valeur d'autorisation limitée fournie par l'application est acceptée uniquement via HTTPS et conservée uniquement dans les redirections de même origine ; socket/TLS les délais restent tapés via la poignée de main et le corps I/O. IPv6/dual-stack la sélection, l'annulation limitée du résolveur, les cookies, la décompression, la politique de cache, la négociation du schéma d'authentification et le cycle de vie des informations d'identification, le pooling, l'exécution sur le WAN public et les preuves physiques mobiles restent séparés.

Résolution du registre, lockfiles/download cache, paquet add/update, élagage du cache, génération de documentation, LSP et incrémentiel object/interface le cache sont implémentés par le Gate 15 outillages. Gate 17 étapes pour les dépendances manifestes de base et ordinaires profile/target-qualified les magasins dynamiques par défaut, réutilisent les générations installées sans recompilation et implémentent les transactions transactionnelles user/system seed install plus conscient des références seed uninstall. Explicite --static et --static=all restent des choix de liaison indépendants.

Créer des profils et des performances

--release utilise seed-safe-o2-v1; --release-small utilise seed-safe-oz-v1. Les limites, les discriminants, la provenance, la propriété et les gardes de nettoyage demeurent à moins que LLVM les prouve redondants. ThinLTO, PGO et la liaison statique sont des options indépendantes explicites. Il n’existe aucun profil opérationnel non contrôlé.

Gate 13 compare les charges de travail équivalentes numériques, d'analyse, de collecte, allocation/string, de tâches structurées, de mise en réseau, d'appel dynamique, de démarrage, RSS et de taille d'artefact à Clang C et Rust. Sur l'hôte de fermeture, seed reste dans la plage cible d'exécution ordinaire de 0 à 10 % pour le corpus appliqué. Il s'agit d'une preuve de charge de travail contrôlée, et non d'une affirmation universelle selon laquelle chaque programme seed bat C/Rust.

Gate La médiane de vérification complète de 100 000 s de l'hôte de fermeture 12 est de 0,41 s à 177 504 Kio, contre des budgets de 3,00 s et 196 608 Kio. Voir GATE12_BASELINE.md et GATE13_BASELINE.md pour hardware/toolchain métadonnées et interprétation.

Statut cible

La prise en charge des objets n'est pas la même chose que la prise en charge des exécutables hébergés. La matrice canonique est compiler/llvm/tests/GATE14_TARGET_MATRIX.tsv.

Gate 14 requis Intel Runner, SDK, ABI, FFI, bibliothèque dynamique, compilation séparée, corruption, chargeur et régression sont satisfaits. macOS arm64 reste un hôte natif étiqueté indépendamment plutôt qu'un substitut à la ligne de fermeture Intel.

Le contrat de pont de service natif Adaptive UI UI9 est la version 2. Il conserve une limite de 4 096 octets UTF-8 instantanés du presse-papiers et ajoute un blocage tapé information/warning/error boîtes de dialogue avec des titres de 256 octets, des messages de 2 048 octets et neutres en termes de plate-forme acknowledged/cancelled/yes/no résultats. Sans tête, natif macOS Kit d'application ARM64, Linux x86-64 X11, et Windows x86-64/Wine debug/release les portes passent. Des processus indépendants prouvent l'échange de presse-papiers ; natif NSAlert, une fenêtre modale X11 détenue, et MessageBoxW exécutez les quatre classes de réponses avec une fermeture exacte. Formats de presse-papiers riches, boîtes de dialogue de fichiers, Wayland/mobile adaptateurs et physiques Windows restent des preuves distinctes.

Le contrat d'hôte du plugin Adaptive UI UI9 est la version 4 tandis que le plugin ABI reste la version 1. Natif macOS ARM64, Linux x86-64, et Windows x86-64/Wine debug/release les portes conservent jusqu'à seize propriétaires distincts vérifiés par génération, acceptent jusqu'à huit fonctionnalités de version sémantique avec une solution de repli héritée, les classent comme numériques ou délimitées à 4 096 octets UTF-8 se transforme via un groupe de signatures facultatif complet, rejette partiellement catalog/signature groupes, identifiants en double, dépassement de capacité et descripteurs obsolètes, et prouvez l'exactitude et l'indépendance unload/reopen. Schema-2/3/4/5/6/7 les plans de dépendance conservent en outre quatre plugins créés par Seed simultanément dans l'ordre des dépendances d'abord, appliquent des règles strictes exact/caret/tilde exigences de version sémantique et de capacité, ignorer et compter les paquets facultatifs absents en cas d'échec de la fermeture des paquets actuels non valides ou incompatibles, invoquer une capacité numérique négociée et une capacité numérique négociée. UTF-8 capacité, exposer les transformations indexées limitées, exposer l'union d'autorisations unique, refuser les plans autorisés par défaut, contrôler en amont les autorisations explicites avant d'ouvrir un propriétaire et fermer à l'envers. Le schéma 6 gèle la signature déclarée et la vérifie par rapport au binaire chargé avant la publication ; le schéma 7 gèle les déclarations d'autorisations limitées et la politique de package prenant en compte l'octroi. Ces subventions ne mettent pas en sandbox le code natif. Le contrat hôte du package 3 diffuse en outre un résumé SHA-256 séparé par domaine sur le manifeste et le binaire délimités exacts, conserve un instantané POSIX privé en lecture seule ou un refus de remplacement. Windows gérer et charge cette ressource exacte. Seed expose la vérification opt-in Ed25519 et les opérations d'ouverture vérifiée ; indépendant debug/release les appareils se mettent d'accord sur le résumé, rejettent la falsification du manifeste ou du binaire et prouvent une exécution stable après une tentative contradictoire de remplacement de source sur macOS, Linux, et Windows/Wine. ui-plugin-trust ajoute une propriété d'application limitée publisher/key stratégie avec une clé active et une clé de chevauchement, explicite rotation/revocation, les API ouvertes de confiance des packages et des référentiels et le contrôle en amont de l'ensemble du plan de dépendances. Les trois mêmes ordinateurs de bureau debug/release les lignes rejettent les enregistrements manquants, les signatures incompatibles et sont révoquées current/rotated clés avant l’activation. Physique Windows, racine d'autorité épinglée provisioning/rotation, transparency/timestamp la politique, le sandboxing et la composition de la vue plate-forme restent des preuves distinctes.

ui-plugin-trust-store Le contrat hôte 1 conserve la politique de confiance d'application limitée complète ainsi que jusqu'à huit séquences de catalogue minimales acceptées dans un document canonique de 64 Ko. Il publie via un fichier de pièce privé synchronisé, un verrouillage du système d'exploitation et un remplacement atomique au sein d'une racine existante explicite. Natif macOS ARM64, Linux x86-64, et Windows x86-64/Wine debug/release couverture de portes active/overlap/revoked allers-retours clés, avancement de séquence monotone, restauration et rejet de corruption, récupération de pièces obsolètes et nettoyage exact. ui-plugin-trust-bundle vérifie une enveloppe de politique de schéma Ed25519 canonique épinglée à la racine avec des métadonnées d'autorité limitées, la fraîcheur, la validité et l'anti-rollback de séquence. ui-plugin-trust-distribution récupère l'enveloppe uniquement via HTTPS vérifié. Le contrat composé charge la séquence minimale durable, remplace la politique complète, fait avancer cette séquence et enregistre atomiquement seulement après une vérification réussie. Les trois mêmes ordinateurs de bureau debug/release les lignes rejettent les signatures invalides, l'autorité erronée, l'expiration, la relecture, HTTP, réponses non 200 et corps surdimensionnés sans séquence de mutation 8. La livraison authentifiée utilise la politique d'informations d'identification partagée de même origine, HTTPS uniquement. Les GET d'enveloppe utilisent trois tentatives au total avec un plafond 100/200 ms d'intervalle exponentiel pour les échecs de transport et le transitoire partagé HTTP statut défini. L'exact-URL Le repli du cache d'enveloppe brute est utilisé uniquement pour les échecs de récupération transitoires ; chaque hit répète la signature épinglée à la racine, la fraîcheur, la validité et la vérification de la séquence conservée, et seule une enveloppe vérifiée par l'application est stockée. Racine d'autorité épinglée provisioning/rotation, horloge sécurisée et transparency/timestamp politique, conditionnel HTTP revalidation, cache expiry/eviction/quota/encryption, Retry-After/politique de gigue, négociation du schéma d'authentification et informations d'identification acquisition/refresh, chiffrement, sandboxing et physique Windows restent séparés.

Le contrat d'hôte des générations de plug-in Adaptive UI UI9 est la version 3. Il conserve une à huit générations locales validées sélectionnées par l'appelant derrière le chemin actif public inchangé, rapporte le nombre d'historiques contigus et renvoie les métadonnées de version sémantique détenues par une inspection provisoire. Il échange tout index sélectionné via la validation Seed. La validation de mise à niveau enregistre de manière durable sa limite de rétention, effectue une rotation ou élague les emplacements fixes et se termine après une interruption uniquement parce que le package intermédiaire exact a déjà réussi la validation. La récupération provisoire par restauration restaure le bundle actif précédent. Natif macOS ARM64, Linux x86-64, et Windows x86-64/Wine debug/release les portes couvrent la totalité de la limite de huit entrées, la restauration sélectionnée, l'élagage, l'interruption rotation/publication/rollback, candidats invalides, et normal/interrupted suppression du bundle actif ainsi que de tout l'historique. Découverte des mises à jour à distance et en direct forced-process/power-loss les preuves restent distinctes.

L'initiale ui-plugin-update la tranche se ferme désormais de manière explicite et authentifiée par un artefact.URL mises à jour pour les packages sans autorisation et explicitement accordés. Il compose la norme HTTP/HTTPS récupération, extraction d'archive canonique, informations d'identification Ed25519 sélectionnées par l'appelant, contrôle en amont de la confiance et des autorisations avant le chargement natif et publication de génération conservée derrière un verrou de fichier du système d'exploitation par package et un fichier de partie privé synchronisé. Natif macOS ARM64, Linux x86-64, et Windows x86-64/Wine debug/release les portes rejettent les signatures invalides, les autorisations manquantes et les débordements liés aux appelants sans modifier le package installé ou l'historique, puis publient une mise à jour autorisée valide et prouvent la restauration prenant en compte les autorisations. ui-plugin-catalog ajoute 64 Ko schema-1/2 catalogue avec jusqu'à 32 versions limitées, sélection de semver strict la plus compatible indépendante de la commande, une politique strictement plus récente et une liaison exacte de la version du catalogue à la version signée du package. Le schéma 2 authentifie le document exact avec une signature Ed25519 détachée séparée par domaine et applique la sélection sélectionnée par l'application. publisher/key, issue/expiry, politique anti-rollback de tolérance d'horloge, de validité maximale et de séquence monotone. Le même macOS/Linux/Windows couverture de portes already-current/no-match comportement plus doublon, éditeur, incompatibilité de version, signature invalide, rejet prématuré, expiré et restauration. Les variantes authentifiées portent une valeur d'autorisation limitée sélectionnée par l'application pour les demandes de catalogue et d'archives dans le cadre de la politique de redirection partagée de même origine, HTTPS uniquement. Les deux GET utilisent trois tentatives au total avec plafonné 100/200 ms d'intervalle exponentiel pour les échecs de transport et l'ensemble d'états transitoires partagés. ui-plugin-remote-cache conserve une précision bornée-URL Catalogue brut et entrées d'archives dans une racine explicite. Seuls les échecs de récupération temporaires reviennent et chaque accès répète le catalogue signature/freshness/sequence ainsi que des vérifications d'archives, de packages, de versions, de confiance et d'autorisations avant le chargement ou la publication native. Conditionnel HTTP revalidation, cache expiry/eviction/quota/encryption, Retry-After/politique de gigue, négociation du schéma d'authentification et informations d'identification acquisition/refresh, racine d'autorité épinglée provisioning/rotation, transparency/timestamp politique et physique Windows restent séparés.

Le partage délimité URL le récupérateur passe désormais le natif macOS/Linux OpenSSL et Windows/Wine WinSock plus WinHTTP/Crypt32 debug/release portes. Les trois lignes conservent le même incrément HTTP corps, délais, racine personnalisée certificate/hostname vérification, redirections relatives limitées et rejet de rétrogradation HTTPS. Le corpus authentifié vérifie la validation d'en-tête limitée, l'utilisation HTTPS uniquement, le transfert de même origine et le rejet d'origine croisée avant la divulgation des informations d'identification. Les limites sélectionnées par l'appelant fournissent une à huit tentatives totales et une limite exponentielle plafonnée retry/backoff pour les échecs de transport et le statut 408, 425, 429, 500, 502, 503 ou 504 ; la valeur par défaut reste une tentative. IPv6/dual-stack, annulation du résolveur, mise en cache conditionnelle, Retry-After/politique de gigue, négociation du schéma d'authentification et cycle de vie des informations d'identification, mise en commun et gestion physique Windows restent séparés.

Le contrat d'hôte d'archive du plug-in Adaptive UI UI9 est la version 3. Il conserve les formulaires ZIP stockés stricts du schéma 1 à deux entrées et les formulaires DEFLATE bruts du schéma 2 et ajoute une enveloppe canonique schéma 3 brut-LZ4 sans dépendance de compression du système. Natif macOS ARM64, Linux x86-64, et Windows x86-64/Wine debug/release les portes décodent les blocs de Huffman stockés, fixes et dynamiques ainsi que les correspondances LZ4 qui se chevauchent ; appliquer une entrée compressée exacte et une sortie déclarée, CRC, remplissage nul, un plafond de 65 536 blocs, manifest/binary/archive limites et disposition fixe sans chemin ; rejeter les flux invalides ou de fin et les méthodes non prises en charge ou mixtes ; et réussir la validation exacte du package, transactionnel installation/upgrade, compatibilité schéma-1, restauration et nettoyage. La récupération à distance est assurée par les compositions de mise à jour et de distribution de confiance de niveau supérieur ; transparency/timestamp la politique reste une preuve distincte.

CLI et outillage

Le lanceur de référentiel fournit new, check, format, incrémentiel build, run, test, résolution du paquet, install/uninstall, doc, lint, LSP et publish --check, plus le transfert direct des indicateurs du compilateur et file.sd -o output. Registre à distance publication/signing n'est pas mis en œuvre ; la commande de publication existante effectue uniquement une validation locale.

Le compilateur direct formate la source, imprime semantic/IR des formulaires, emits/reads/hashes .sdi, émet LLVM/object/shared/static/binary artefacts, installations target/ABI- des bibliothèques qualifiées et exécute les cibles prises en charge. Son aide exécutable est la liste des drapeaux faisant autorité :

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

Documentation source de vérité

Les documents historiques peuvent décrire llvm-v1, le prototype v2 ou des répertoires de stub d'assembly qui n'existent plus. Ils doivent être explicitement étiquetés et ne doivent pas être utilisés comme directives actuelles en langage clair.

Intégration AST empruntée (2026-10-15) : le modèle HIR lit un AstModuleView du module appartenant au résolveur, et la vérification du corps renvoie ce même propriétaire AST au pilote. Le transfert d'étape, le véritable vérificateur et la boucle corporelle ne copient plus en profondeur l'AST par déclaration. Les chemins d'erreur renvoient l'AST d'origine pour la sélection de l'étendue de diagnostic, supprimant ainsi la copie au niveau du module. Le CLI fournit sa racine analysée pour importer la numérisation avec byte/SourceId gardes; les compteurs d'analyse exécutés et les contrôles de transfert passent normalement et avec des désinfectants. L’acceptation sémantique de tous les modules reste ouverte. L'inadéquation C0 M0029 a été réparée : la découverte de prêts inclut les agrégats contenant des vues et les contrôles de chevauchement de mutation protègent les projections de copie ainsi que les valeurs possédées. Les nouveaux contrôles d'agrégation et de vue AST rejettent le propriétaire réel movement/mutation et évasion avec vue locale ; les étendues séparées et les propriétaires non liés restent utilisables. Cela ne ferme pas la vérification du corps de tous les modules, les résumés importés conservés ou SH3/SH4 acceptation.

Intégration auto-sémantique (15/10/2026) : le contexte d'invocation est installé avant l'initialisation de la signature. Les noms nominaux et les signatures corporelles importés concrets réutilisent les TypeIds enregistrés ; les appels publics qualifiés et non qualifiés utilisent des signatures partagées. Les annotations locales conservent les AstTypeIds. Les annotations de type importé privé connu sont rejetées avec les étendues R002 conservées dans les paramètres, les retours et les déclarations locales ; Les commandes principales CLI JSON correspondent à C0. Les cas generic/layout non pris en charge, la vérification du corps de tous les modules et l'acceptation complète du SH3/SH4 restent ouverts.

Intégration du module source conservé (2026-10-15) : le CLI vérifie tous les modules sources analysés avec leurs signatures partagées et leur propriétaire de type canonique. Les corps contrôlés sont conservés séparément du décompte des corps sources ; les organismes non pris en charge n'accordent pas CheckedProgram/lowering autorité. Les défaillances de corps importées conservent leur SourceMap et s'affichent dans leurs propres étendues sources. Béton call/diamond des contrôles et une passe de contrôle de tranche à couverture partielle ; source/import propagation sommaire, generic/method couverture et BF1/BF3 restent ouverts.

Intégration de l'identité générique attribuée (2026-10-15) : les paramètres de la fonction source sont internes en possédant le DefinitionId et l'ordinal, conservent les origines sources stables et réutilisent la signature enregistrée lors de la vérification du corps générique. Les contrôles Growth/failure et les commandes d'importation avec des identifiants locaux réellement renumérotés sont transmis. Le composant Fresh-ID API reste inchangé. L'intégration d'un ensemble de traits, la spécialisation générique nominal/imported et l'acceptation complète de SH3-03/SH4 restent ouvertes.

Intégration des métadonnées liées à la source (2026-10-15) : l'analyseur conserve chaque + durée liée aux traits owned/borrowed/copied AST. Les traits sources ont des identités canoniques ; Les paramètres de fonction conservent la première définition de trait et chaque TypeId de trait supplémentaire. Unknown/non-trait/private limites supplémentaires rejetées avec R013 localisé correspondant au primaire C0 JSON. Caractère satisfaction/witness contrôles lors des appels génériques, de l'envoi de méthodes et de l'intégralité SH3-03/SH4 l'acceptation reste ouverte.

Intégration du témoin source (2026-10-15) : l'invocation conserve les contrats de traits indexés et nécessite une analyse d'implémentation source terminée. Les appels génériques déduits locaux vérifient chaque marqueur lié ; les impls complets à trait vide fournissent des témoins et les témoins manquants produisent la localisation H072. Les cas implicites Method/generic restent non prouvés. C0 M0030 aligne la dénomination des paramètres de type cible impl avec les déclarations, en préservant le rejet de P042 identity/order ; les contrôles Oracle ciblés sont réussis, avec le renouvellement de la suite complète appartenant à SH0_BASELINE.md. SH3-03/SH4 reste ouvert.

Préparation de la signature de la méthode des traits (2026-10-15) : l'AST préserve les étendues de signature et receiver/effect/unsafe/static-view métadonnées. Un contexte vérifié par le propriétaire résout les types de méthodes dans la table canonique partagée, met en cache les signatures répétées et récupère AST/type propriétaires sur des formes non prises en charge. Les plages de méthodes à traits croisés et les mauvaises affectations sont rejetées. La publication de la production et la validation complète de la méthode impl restent ouvertes ; ceci API ne scelle pas de traits et n’accorde pas de témoins.

Publication de signature de méthode de trait (15/10/2026) : la collection de production publie désormais les descripteurs de méthode pris en charge dans les contrats partagés de l'invocation. Les collectes répétées et les nouveaux contextes de résolution réutilisent leurs identifiants de signature et unsafe/static-view drapeaux. Les décomptes déclarés et publiés restent distincts ; un ensemble de méthodes source incomplet ne peut pas être scellé. Les types de méthodes privées connues et les noms en double conservent le premier localisé R002/R014 découverte, correspondance C0 primaire CLI JSON. Les signatures non prises en charge restent en attente. Les traits de la méthode restent descellés ; validation de l'implémentation, dictionnaires, correspondance générique et complète SH3-03/SH4 l'acceptation reste ouverte.

Validation de la signature impl de la source concrète (2026-10-15) : après la publication de toutes les signatures des modules, concrètement borrowed/mutable Les méthodes comparent le récepteur, les paramètres et les types de retour à des ensembles complets de méthodes de traits source, y compris les traits importés. Undeclared/mismatching les méthodes conservent R016/R017 avec primaire C0 JSON parité. La comparaison ne donne aucun témoignage. L’état implicite différé survit au rescellement ; récepteurs possédés, impls génériques, missing/duplicate méthodes, body/effect les résumés et les dictionnaires restent ouverts. SH3-03/SH4 ne sont pas fermés.

Diagnostic d'exhaustivité de l'implémentation source (2026-10-15) : les contrats complets de traits sources concrets rejettent désormais les méthodes requises manquantes avec R020 pour la durée d'implémentation complète, y compris les traits importés. La présence du nom est vérifiée séparément de la prise en charge des signatures. C0/self CLI correspondances principales JSON pour les contrôles de méthode manquante vides, partiels et importés. Les traits restent descellés ; les méthodes en double, les récepteurs détenus, les génériques et la validation de l'implémentation body/dictionary restent ouverts. L’acceptation complète du SH3-03/SH4 reste inchangée.

Diagnostics de méthode source en double (15/10/2026) : l'enregistrement à l'échelle du module conserve R001 lors de la deuxième déclaration de méthode au lieu d'échouer silencieusement. CLI primaire JSON correspond à C0 pour impl/inherent/imported des doublons. Les emplacements en double ne sont pas attribués et la collecte des signatures s'arrête ; stage/single-module les adaptateurs rejettent les enregistrements partiels. Corps de méthode, récepteurs détenus, impléments génériques et dictionary/witness l'intégration reste ouverte; SH3-03/SH4 ne sont pas fermés.

Intégration du récepteur source propriétaire (15/10/2026) : les méthodes de structure non génériques ordinaires publient désormais un TypeId de récepteur explicite et créent un paramètre HIR non emprunté. Leurs signatures impl prises en charge participent aux contrôles R017. Les corps dotés de champs scalaires intégrés ont une couverture vérifiée ciblée. Resource/view/nested et les corps de champ non sécurisé restent en attente jusqu'à ce que les métadonnées nominales canoniques cleanup/capability soient complètes ; les destructeurs restent en dehors de ce chemin. Les signatures n’accordent pas l’autorité du corps ou du témoin. L’acceptation complète du SH3-03/SH4 reste ouverte.

Intégration du nettoyage du récepteur de ressources plates (2026-10-15) : les champs de structure canonique peuvent être complétés une seule fois avec des capacités dérivées tout en préservant les TypeIds et les origines stables. Les récepteurs ordinaires pris en charge complètent les champs scalar/resource intégrés lors de la collecte des signatures. Avant la propriété, HIR matérialise chaque champ récepteur, y compris les champs non référencés ; Les contrôles de nettoyage retenus couvrent les rejets par le propriétaire entier, les déplacements partiels sur le terrain et le transfert complet. Nested/view/les champs non sécurisés, les destructeurs, les captures, les liaisons d'agrégation supplémentaires et la persistance générale des métadonnées nominal/imported restent en attente. Ces composants ne ferment pas SH3/SH4 et n'autorisent pas un CheckedProgram complet.