Feuilles de route des produits

Cette page suit le travail du produit seed sans traiter la présence de la source comme la préparation du produit.

seed est antérieur à la version 1.0. Aucune de ces étiquettes ne constitue une allégation générale de préparation à la production.

Portefeuille

Dans la ligne du bureau, « mise en cache conditionnelle » fait référence à la revalidation du validateur HTTP ainsi qu'à l'expiration du cache, à l'expulsion, au quota et à la politique de chiffrement. Le cache de plug-in hors ligne limité exact-URL documenté ci-dessous est complet.

Langage et compilateur

Le compilateur propre sous seed/compiler/llvm est le lanceur du référentiel et l'autorité sémantique. Les Gates 0-23 sont fermés pour leurs portées enregistrées. Linux x86-64 est la cible exécutée principale ; Windows x86-64 passe sous Wine requis et macOS x86-64 passe nativement sur Intel. macOS arm64 est implementation/link/ABI complet mais n'a aucune revendication d'exécution native.

Preuve : seed/compiler/llvm/ROADMAP.md, seed/compiler/llvm/tests/GATE*_BASELINE.md, et État actuel.

CLI et TUI

Grove G08 a fermé une fondation de création portable sécurisée. Il n'a intentionnellement pas revendiqué l'exécution d'un terminal interactif ou d'un processus enfant : ceux-ci nécessitent des propriétaires exacts qui restaurent l'état du terminal, attendent les enfants et gèrent l'annulation à chaque sortie.

Preuve : seed/compiler/llvm/tests/GROVE_G08_BASELINE.md.

Web

Le travail Web actuel est un ensemble de couches inférieures opérationnelles, et non un cadre de production. Request/response la validation, les règles de routage, la politique de middleware, la mise en réseau et les tampons existent. G12 possède désormais OpenSSL 3 server/client contextes avec certificat client obligatoire et hostname/IP vérification. G14 possède limité HTTP/1.1 et corps HTTPS GET avec partie I/O, content-length/chunked/close cadrage, délais tapés et nettoyage précis du transport. std-url fournitures complètes empruntées absolues-URL composants et std-http-fetch compose des redirections absolues ou relatives limitées via le résolveur IPv4 du système hôte dans HTTP ou HTTPS vérifié, rejetant TLS rétrograder. Un chemin authentifié accepte une valeur d'autorisation limitée fournie par l'application uniquement via HTTPS et la conserve uniquement dans les redirections de même origine. 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, ainsi que la mise en commun restent des travaux de niveau supérieur. L'intégré web, web_core l'exécution et web_runtime La façade reste archivée jusqu'à ce que la boucle de connexion à la réponse du serveur, l'annulation et la fuite d'arrêt soient fermées de bout en bout.

Preuve : Grove référence G12, Grove référence G14, les références G13 et G16 et Web Stack.

Internationalisation des sites publics

Le site public propose actuellement des pages de destination, d'abonnement et de documentation en anglais uniquement à partir du site personnalisé. seed-site serveur. L'arborescence des sources se trouve sous /opt/seed-lang/seed-site, l'artefact de production est sous /opt/prod/seed-site, et /opt/dev/seed-site n'existe pas encore. L'anglais conserve les URL existantes sans préfixe ; Utilisation de l'espagnol, du portugais brésilien, du français et de l'italien /es, /pt-br, /fr, et /it. Les balises de paramètres régionaux restent BCP 47 valeurs (en, es, pt-BR, fr, et it) même quand URL les segments sont en minuscules.

Les portes se ferment dans l'ordre. La stratégie par défaut nécessite un examen technique humain, mais une stratégie machine autorisée par le propriétaire peut fermer G3-G5 grâce à des traductions complètes et à jour de la source ainsi qu'à la matrice automatisée de contenu, d'itinéraire, d'accessibilité, de réactivité et d'interaction. Une telle diffusion doit enregistrer translation_policy=machine et human_reviewed=0; la validation du langage humain s'effectue après le déploiement et ne modifie pas rétroactivement cette provenance.

Bureau, interface utilisateur adaptative et jeu

La piste Adaptive UI a un live Linux X11/AT-SPI backend et le partage Android Galerie. C'est réutilisable grove-ui-platform Le contrat exécute désormais également une source de galerie native via le mode sans tête Linux/macOS, X11 plus un registre AT-SPI interrogé indépendamment en direct sur Linux x86-64, AppKit/NSAccessibility sur macOS ARM64, et Win32/GDI/UI Automatisation activée Windows x86-64 sous Vin requis. Les portes de bureau natives couvrent une vue de plate-forme, des actions de pointeur et sémantiques, des styles adaptatifs, un redimensionnement et une propagation précise des échecs ; Wayland, physique Windows, et indépendant Windows les preuves des clients assistants restent ouvertes. L'interface utilisateur initiale9 grove-ui-native-bridge slice fournit désormais la version 2 du contrat avec un identifiant valide de 4096 octets UTF-8 presse-papiers et dactylographié information/warning/error dialogues et plate-forme neutre OK/Cancel/Yes/No réponses. Les processus indépendants X11, AppKit et Win32 échangent le texte du presse-papiers avec Seed dans les deux sens ; fenêtres modales natives X11, NSAlert, et MessageBoxW exécuter les quatre classes de réponses ; sans tête et les trois ordinateurs de bureau debug/release les portes passent. Des formats riches, Wayland/mobile adaptateurs, boîtes de dialogue de fichiers, vues de plate-forme, inspector/profiler l'outillage et le rechargement à chaud restent ouverts. Le compagnon grove-ui-plugin slice charge un fichier explicite créé par Seed ABI-v1 bibliothèque dynamique sur natif macOS/Linux et Windows/Wine par contrat d'accueil 4. Il valide la table d'entrée complète et l'identifiant borné, conserve jusqu'à seize propriétaires distincts vérifiés par génération, rejette les doublons, les débordements, les poignées obsolètes et ABI v2, accepte les catalogues de capacités sémantiques limités avec version de secours héritée, classe les valeurs numériques et limitées UTF-8 capacités via un groupe de signatures facultatif complet, rejette les catalog/signature des groupes, et unloads/reopens indépendamment dans le débogage et la version. Le chargeur brut reste sans politique ; Les subventions et la confiance au niveau du package ne mettent pas en sandbox le code natif. Les fonctionnalités de sandboxing, d’isolation des crashs et d’affichage de la plateforme restent ouvertes. Le compagnon grove-ui-plugin-package fournit un schema-1/2/3/4/5/6/7 regroupement d'annuaires et résolution déterministe par identifiant dans une racine sélectionnée par l'appelant. Le schéma 2 ajoute au plus huit identifiants de dépendance ordonnés tandis que le schéma 1 reste sans dépendance. Le schéma 3 ajoute des versions sémantiques strictes et des exigences exactes, caret ou tilde. Le schéma 4 ajoute des arêtes booléennes facultatives explicites. Le schéma 5 ajoute une limite exact/caret/tilde Ensemble d'exigences de capacité vérifié par rapport au catalogue binaire chargé. Le schéma 6 nécessite des valeurs numériques ou UTF-8 signatures et les vérifie par rapport au binaire exact. Le schéma 7 ajoute des déclarations d'autorisations uniques limitées, une introspection, un refus par défaut et une ouverture explicite prenant en compte l'octroi avant le chargement natif. Canonique JSON, dependency/version/optional/capability-policy validation, et manifest/request/binary la cohérence transmet un corpus positif et négatif identique macOS/Linux et Windows/Wine debug/release. Le contrat hôte du package 3 diffuse 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 fournit une vérification opt-in Ed25519 et des API ouvertes vérifiées ; les appareils indépendants rejettent la falsification des manifestes et des binaires, tentent de remplacer la source après vérification et prouvent une exécution stable sur chaque bureau debug/release rangée. grove-ui-plugin-trust fournitures délimitées appartenant à l'application publisher/key/signature enregistrements, une clé active et une clé de chevauchement par éditeur, explicite rotation/revocation, et package/repository API ouvertes et fiables. Les enregistrements manquants, révoqués ou incompatibles échouent avant l'ouverture native. grove-ui-plugin-trust-store conserve durablement la politique de confiance limitée complète et jusqu'à huit séquences de catalogue minimales dans un document canonique de 64 Ko. C'est natif macOS/Linux et Windows/Wine debug/release les portes couvrent le remplacement atomique privé, la récupération des pièces périmées, la clé rotation/revocation allers-retours, rejet de la corruption et état anti-rollback monotone. grove-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. grove-ui-plugin-trust-distribution récupère l'enveloppe uniquement via HTTPS vérifié. Le composé macOS/Linux/Windows debug/release les portes appliquent la séquence 7 puis la séquence 8 de manière atomique, conservent la séquence 8 en cas de signature invalide, d'autorité erronée, d'expiration, de relecture, HTTP, l'état et les pannes surdimensionnées, et ne laisse aucun débris de fichier partiel. La livraison authentifiée suit la politique d’informations d’identification partagées HTTPS uniquement et de même origine. Son exact délimité-URL Le repli du cache d'enveloppe brute ne s'exécute qu'après des échecs de récupération transitoires, se répète épinglé à la racine signature/freshness/validity/sequence vérification et stocke uniquement les enveloppes vérifiées par l’application. 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, et le sandboxing restent ouverts. Les GET d'enveloppe utilisent trois tentatives au total avec un plafond 100/200 ms d'intervalle exponentiel pour les échecs de transport et l'ensemble d'états transitoires partagés. Le compagnon grove-ui-plugin-store fournit une nouvelle installation et une suppression transactionnelles à l'intérieur de ce modèle à racine explicite. Il copie dans une mise en scène privée, demande à Seed de valider et d'exécuter la copie mise en scène exacte, publie sans remplacement et cache la suppression derrière une pierre tombale atomique. Les trois ordinateurs de bureau debug/release les portes couvrent les collisions, l'abandon du manifeste invalide, l'exécution, la suppression et la réinstallation. Le compagnon grove-ui-plugin-repository recherche jusqu'à huit racines ordonnées par l'appelant, échoue uniquement en cas d'absence et échoue en cas de fermeture sur des packages non valides de priorité supérieure. Deux binaires partageant un ID prouvent l'observation, la priorité inversée, le repli, les limites, l'invocation et la fermeture sur les trois bureaux debug/release portes. grove-ui-plugin-roots fournit des chemins utilisateur et système validés standard de plate-forme ainsi que des remplacements locaux de processus absolus limités. Les mêmes portes couvrent les valeurs par défaut réelles, les remplacements exacts, l'observation des utilisateurs, le repli du système, le rejet de chemin non valide, l'invocation et la fermeture. grove-ui-plugin-archive Le contrat hôte 3 fournit des transports ZIP schéma-1 stockés stricts à deux entrées et schéma-2 brut-DEFLATE, ainsi qu'une enveloppe canonique schéma-3 brut-LZ4, CRC et compressed/uncompressed validation de la taille, extraction sans chemin fixe dans une racine privée, exécution exacte du package Seed et transactionnel installation/upgrade transfert. Ses décodeurs limités sans dépendance couvrent stored/fixed/dynamic DEFLATE et correspondances LZ4 qui se chevauchent. Natif macOS/Linux et Windows/Wine debug/release les portes rejettent la corruption, la traversée, invalid/trailing/excess-block Flux DEFLATE, méthodes non prises en charge ou mixtes, entrées supplémentaires, manifestes surdimensionnés et packages extraits invalides tout en prouvant la compatibilité du schéma-1, upgrade/rollback, et le nettoyage. Transparency/timestamp la stratégie, le sandboxing et le rechargement à chaud restent ouverts. grove-ui-plugin-generations Le contrat hôte 3 conserve un à huit paquets préalablement validés sélectionnés par l'appelant derrière le chemin actif inchangé. Les candidats à la mise à niveau et à l'annulation provisoire sélectionnés sont exécutés via Seed avant la validation ; fixe pending/swap les noms, la progression durable de la rotation par emplacement et un verrou appartenant au système d'exploitation récupèrent les états interrompus déterministes. La désinstallation prenant en compte la génération supprime le bundle actif et chaque entrée conservée et termine la suppression interrompue enregistrée. Natif macOS/Linux et Windows/Wine debug/release les portes prouvent la limite à huit entrées, la restauration sélectionnée, l'élagage, l'abandon de l'étape invalide et de la restauration corrompue, la rotation interrompue, normal/interrupted désinstallation et nettoyage obsolète. grove-ui-plugin-update compose délimité HTTP/HTTPS téléchargement, extraction d'archive canonique, informations d'identification Ed25519 sélectionnées par l'appelant, autorisations explicites et publication de génération conservée. Le contrôle en amont de l’approbation et de l’octroi précède le premier chargement natif, et un verrou de fichier du système d’exploitation par package protège un fichier de pièce privé synchronisé. Natif macOS/Linux et Windows/Wine debug/release les portes prouvent une signature invalide, une autorisation erronée et un abandon surdimensionné sans mutation active ou historique, puis publient une mise à jour autorisée valide, conservent la génération précédente et exécutent une restauration bidirectionnelle prenant en compte les autorisations. grove-ui-plugin-catalog analyse jusqu'à 32 limites schema-1/2 release enregistre et sélectionne la version compatible la plus élevée strictement plus récente que le package installé. Le schéma 2 vérifie une signature Ed25519 détachée séparée par domaine et sélectionnée par l'application publisher/key, issue/expiry, tolérance d'horloge, validité maximale et politique de séquence monotone. Le chemin de mise à jour composé possède le transport et lie la version sélectionnée au package signé avant le chargement natif. Natif macOS/Linux et Windows/Wine couverture already-current/no-match comportement plus doublon, éditeur, incompatibilité de version, signature invalide, rejet prématuré, expiré et restauration. Les variantes authentifiées couvrent à la fois les demandes de catalogue et d’archives dans le cadre de la politique d’informations d’identification partagées uniquement HTTPS et de même origine. 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. grove-ui-plugin-remote-cache conserve une précision bornée-URL Entrées brutes du catalogue et des archives dans une racine explicite ; catalogue de répétitions de secours transitoires 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, accorder la sélection et la racine d'autorité épinglée provisioning/rotation restent des couches supérieures. grove-ui-plugin-dependencies résout schema-2/3/4/5/6/7 graphiques via le référentiel fermé en cas d’échec. Il renvoie un post-ordre déterministe de dépendance en premier, émet des nœuds partagés une fois et rejette les graphiques manquants, cycliques, trop profonds ou surdimensionnés. Natif macOS/Linux et Windows/Wine debug/release les portes valident quatre binaires Seed distincts répartis sur deux racines plus le corpus négatif, puis conservent les quatre propriétaires simultanément et invoquent chaque capacité de transformation indexée avant la fermeture inversée. Le graphique impose exact/caret/tilde exigences, ignore et compte les packages facultatifs absents et rejette les packages facultatifs présents invalides ou incompatibles. Sa ligne de schéma 7 négocie et invoque des valeurs numériques et délimitées UTF-8 capacités secondaires, expose une union d'autorisations unique, refuse l'activation ordinaire et contrôle en amont les autorisations explicites avant le chargement natif. Ses variantes fiables contrôlent en amont les quatre signatures de package, acceptent une clé à chevauchement de rotation, rejettent les clés révoquées et les incompatibilités cryptographiques et ne s'activent qu'après le passage de l'ensemble du graphique. En direct forced-process/power-loss les preuves de mise à jour restent ouvertes. La piste de jeu a désormais une limite versionnée neutre pour le backend, une boucle de fenêtre possédée avec idempotent fullscreen/VSync contrôle, keyboard/mouse/text/touch/pen/controller instantanés, formes, délimités IME pre-edit/candidate état, télémétrie de puissance du contrôleur typé, retour de LED RVB, pavés tactiles et capteurs de contrôleur mis en cache, et grondement de contrôleur à double moteur avec arrêt explicite, textures RGBA possédées avec nearest/bilinear l'échantillonnage, pivot-rotated/flipped sprites, cibles de rendu hors écran possédées avec rejet de feedback, transparents consecutive-sprite/glyph batching et explicite délimité ordinary/transformed-sprite lots triés par layer/material avec une commande stable du même matériau et une soumission sans allocation. Les tampons conservés dans l'ordre exact rejouent en clair, primitif, fenêtre d'affichage, cible de rendu et ordinary/transformed-sprite commandes plus chemins, remplissages composés, style solid/dashed les traits, les maillages anticrénelés et les glyphes bitmap atomiques s'exécutent sur les images sans nouvelle allocation après une validation portable de l'ensemble du flux. Leurs arènes de maillage et de glyphes délimitées par l'appelant sont effacées et réutilisées avec le propriétaire de la commande. La piste comprend également un contour unique délimité linear/quadratic/cubic chemins avec remplissage déterministe simple-concave et portables width/cap/join styles de trait plus solid/dashed franges d'antialias via des couleurs par sommet, un hôte sans tête strict, des fenêtres d'affichage de caméra découpées, des manifestes d'actifs versionnés, des lectures d'actifs délimitées sécurisées, un cache d'octets LRU limité à la capacité avec des observables hit/miss/eviction/reload comportement et actualisation synchrone du développement de contenu exact, ainsi que des interrogations limitées à l'échelle racine et des observateurs d'événements natifs pour creation/change/replacement/removal des indices. L'observateur natif utilise kqueue sur les plateformes Apple et inotify sur Linux/Android, effectue une classification exacte par chemin après un réveil et conserve de manière transparente les interrogations sur les cibles non prises en charge ou en cas de panne du backend. Les tâches en arrière-plan structurées copient les entrées empruntées avant leur apparition, préservent les mêmes limites de racine sûre et d'octets et renvoient la propriété. raw/image/WAV/SBF résultats via une interrogation non bloquante, une attente bloquante ou une suppression sécurisée. L'application des résultats terminés aux caches dynamiques reste explicite. Une arène LRU typée indépendante pour l'image décodée RGBA, le son PCM et la police bitmap RGBA, épinglée et délimitée PNG/JPEG plus décodage de polices bitmap PPM vers RGBA et SBF sans dépendance, texte ASCII mesuré, plus HarfBuzz et FreeType limités TTF/OTF Unicode shaping/rasterization. SDL3 l'exécution se poursuit macOS ARM64 et Linux x86-64; un concentré Windows x86-64 back-end ABI le portail passe sous les conditions requises MinGW/Wine/Xvfb au contrat v27. Le complet délocalisé Linux, macOS, et Windows les packages reconstruisent et exécutent l’application contract-v27. Contrat v20, qui ajoute la propriété IME instantanés de candidats en instantanés de stylet sur huit appareils, contact tactile à 16 contacts, stimulation adaptative au rafraîchissement, IME pre-edit/clipboard l'état, la puissance du contrôleur et le grondement du contrôleur sans exposer SDL. Contract v21 ajoute des triangles RGBA alignés par sommet utilisés par le tesselateur à traits anticrénelés délimités. Le contrat v22 ajoute le décompte terminé-présent et last/average/maximum Durée de l’appel présent natif côté CPU. Le contrat v23 ajoute une VSync adaptative négociée avec un repli standard explicite. Contract v24 ajoute trois fenêtres natives auxiliaires limitées et vérifiées par génération avec un cycle de vie indépendant, size/timing/refresh, plein écran, VSync négocié et clear/present cadres. Contract v25 ajoute une surface opaque complète sélectionnée gfx2d routage, isolé renderer/resource contextes et multi-fenêtres texture/target rejet. Le contrat v26 achemine les instantanés d'entrée contenant des fenêtres ; le contrat v27 ajoute un indépendant precise/adaptive stimulation et télémétrie de présentation côté CPU. Contract v28 ajoute un retour de LED RVB limité, deux pavés tactiles à quatre doigts et six explicitement activés accelerometer/gyroscope variantes; un virtuel SDL3 la manette de jeu prouve des instantanés et des rappels exacts à virgule fixe. Moteur de rendu d'itinéraires Contract v29 reset/loss événements par fenêtre, publie une génération graphique monotone plus target/device compteurs et état perdu pour chaque surface, et la génération invalide les textures et les cibles après l'appareil reset/loss. Un montage SDL synthétique prouve le rejet des handles obsolètes, la génération de remplacement et l'arrêt des appareils perdus. Les contrôleurs et le presse-papiers restent à l’échelle du processus. Déterministe sans tête et macOS ARM64 SDL3 passer la v29 ; Les preuves v27 précédentes couvrent complètement Linux, concentré Windows/Wine, et toutes les matrices de packages déplacées. Les flux PCM partagés incluent désormais un instantané de périphérique de sortie détenu, une route par défaut abstraite sur chaque backend, SDL3 noms de sortie physique et formats préférés, ouverture explicite par index d'instantanés éphémères et moniteur détenu avec SDL3 événements de périphérique de lecture, comparaison exacte des instantanés post-événement et solution de secours d'interrogation portable pour list/name/format/default changements. Sans tête, Android OpenSL ES, et Apple AudioQueue n'expose actuellement que la route par défaut. Le contrat v5 ajoute un PCM16 non bloquant détenu mono/stereo capturer à partir de SDL3 l'itinéraire d'enregistrement par défaut de ; sans tête, Android, et Apple le signale explicitement indisponible. Il ajoute également un moniteur de session cohérent sans allocation : SDL3 événements de lecture, Android audio focus/device rappels et Apple AVAudioSession les notifications signalent les interruptions et les transitions d'itinéraires classifiés via un seul portable API. Seed Garden arbitre cet état indépendamment du cycle de vie et de la pause sélectionnée par le joueur. Rééchantillonnage WAV PCM16 de 8 à 192 kHz en nombre entier uniquement plus décodage IMA ADPCM de 48 kHz, neutre en termes de codec memory/file/seekable-or-live-callback Décodage Ogg Vorbis, Ogg Opus, FLAC natif et MP3 et normalisation incrémentielle partagée du flux compressé de 8 à 192 kHz à 48 kHz, y compris les flux directs de 48 kHz de durée inconnue, un réservoir PCM adaptatif limité et un décodage de bloc d'arrière-plan structuré en propriété exclusive avec un espace de travail PCM réutilisable, plus un mixeur de jeu limité piloté par image couvrant les effets sonores, la musique compressée en boucle, les canaux, les groupes de volume, le panoramique stéréo linéaire limité, relatif Atténuation de distance 3D avec orientation typée de l'auditeur, lecture Doppler et mises à jour des canaux en direct pour les voix sonores, filtrage d'élévation HRTF persistant à deux pressions limité, limite exacte à l'image master/sound/music s'estompe, pause/resume, et un nettoyage exact. Synchronisation Portable à pas fixe, timers/statistics, une synchronisation d'image précise neutre en termes de back-end, des requêtes de rafraîchissement en millihertz et des majuscules adaptatives à diviseur stable, ainsi que des vecteurs, des collisions, des transformations, un aléatoire déterministe et un contrat de couleur partagé sont également acceptés. Un déménageable Linux annuaire et signé ad hoc macOS ensemble d'applications plus un Windows le répertoire portable contient SDL3, le code Seed, les manifestes et les actifs requis. L'indépendant seed-game-assets CLI valide en profondeur les manifestes packagés et PNG/JPEG/PPM/SBF/TTF/OTF/WAV/Ogg Vorbis/Opus/native FLAC/MP3 charges utiles sans fenêtre ni SDL, et convertit de manière déterministe l'entrée WAV acceptée en compact mono/stereo IMA ADPCM, PNG/JPEG/PPM images en RGBA8 PNG, atlas de glyphes SBF pour PNG, et shaped/wrapped TTF/OTF envoyer un SMS à PNG. Il regroupe les images décodées limitées dans un atlas déterministe à conservation alpha avec un tri stable composable, un découpage transparent et une rotation des sprites hauts dans le sens des aiguilles d'une montre. Il importe également exactement 16x6 PNG/JPEG/PPM feuilles bitmap dans des documents SBF canoniques validés à l'exécution. Versionné seed-atlas 2/3/4 les cartes ont un analyseur d'exécution public limité, et le CLI auteurs délimités ordonnés clairsemés seed-tilemap 1, binaire compact et dense seed-tilemap 2, binaire clairsemé en morceaux seed-tilemap 3, et fragmenté prenant en compte l'origine seed-tilemap 4 les documents consommés par les analyseurs d'exécution correspondants ; un carrelage monocouche délimité CSV importateur et un ensemble de tuiles orthogonales finies de 1 à 16 couches et 1 à 16 tuiles. JSON l'importateur produit le même format dense. Infini délimité JSON et les importateurs TMX préservent les coordonnées négatives et canonisent les morceaux de taille fixe dans la v4. Les chemins TMX acceptent des couches finies ou des morceaux infinis avec des éléments non compressés. CSV. JSON et les jeux de tuiles TMX sont strictement ordonnés et alignent l'atlas sur l'espace GID global de Tiled. Les deux chemins d'importation peuvent résoudre les fichiers TSX externes nommés par rapport à la carte et dériver la taille de l'atlas à partir du nombre de tuiles délimitées. L'encodeur portable RGBA8 utilise un sélecteur de bits exacts à deux passes entre Huffman DEFLATE dynamique à alphabet actif fixe et complet, avec une fenêtre de dernière correspondance déterministe de 32 Ko et correspond jusqu'à 258 octets. Explicite fixed/dynamic les contrôles de bloc et les allers-retours du décodeur maintiennent la sortie portable sans encodeur d'image de plate-forme. grove-game-test La v9 ajoute des goldens déterministes, un corpus de propriétés, une réduction du tampon d'octets entier et structuré, une relecture à quatre contrôleurs, une version sans allocation SGTR trace capture/playback et la trace de trame complète sémantique atomique se rétrécit dans le stockage appartenant à l'appelant. grove-game-debug agrégats v1 délimités frame/update/draw/ compteurs audio et produit un texte de superposition déterministe imprimable-ASCII. Un indépendant délimité seed-objectmap 1/2/3/4 le runtime valide désormais les couches d'objets canoniques, signées au millième rectangle/point/ellipse/polygon/polyline/tile géométrie, sommets, UTF-8 métadonnées et saisi map/layer/object propriétés ; La v2 ajoute une hiérarchie de groupes acycliques, des ID de couche, cell/millipixel décalages, opacité et visibilité des calques, la v3 ajoute la visibilité des objets et la v4 ajoute du texte en mosaïque délimité content/font/color, taille des pixels, wrap/style/kerning drapeaux et alignement ; les anciennes versions restent compatibles. Le JSON et les importateurs TMX créent désormais des équivalents imbriqués group/object-layer hiérarchies dans un pré-ordre parent-avant-enfant limité avec des liens parents, des types, des ID de couche, cell/millipixel décalages, opacité, visibilité, couches vides, propriétés scalaires, décimales exactes, tri déterministe des ID, échec avant sortie et octet identique seed-objectmap 4 résultats, y compris les objets masqués et texte. Délimité sans carrelage JSON/TMX les modèles héritent désormais de la géométrie, des métadonnées et des propriétés scalaires avec des remplacements d'instances déterministes et de propriétés de même nom. Utilisation des propriétés imbriquées à valeur de classe class:<propertytype> et canonique borné JSON, produisant des octets identiques JSON/TMX cartes d'objets. Les modèles de tuiles externes TSX normalisent les chemins relatifs, valident les index de tuiles locales et remappent dans l'espace GID global de la carte. La sérialisation croisée et les modèles imbriqués restent actifs. Optimisation dynamique-Huffman, Tiled object/group/property/ L'importation d'objets de collision, les éditeurs graphiques et les rétrécisseurs plus riches sensibles à la structure restent du travail d'outillage. Seed Garden consomme désormais cette fondation à travers un système déterministe sans tête rules/progression modèle et un adaptateur de bureau natif. C'est déplaçable macOS, Linux, et Windows les packages exécutent le même modèle que celui utilisé par Android. L'adaptateur de bureau conserve une charge utile de progression avec somme de contrôle versionnée via la synchronisation + le renommage atomique, restaure les tentatives chronométrées lors du redémarrage et met en quarantaine. corrupt/incompatible fichiers avant une récupération propre. Les appareils mobiles et les ordinateurs de bureau bloquent les tentatives lorsqu'il ne reste plus aucune tentative ; la superposition des résultats sur le bureau présente les 15 niveaux avec les meilleurs scores débloqués, les étoiles et le prochain niveau limité au score minimum. Il mélange également un effet de mouvement WAV IMA ADPCM mono de 96 octets, une boucle musicale Opus de 4 464 octets diffusée en continu et un effet de victoire FLAC natif de 24 808 octets décodé une fois dans un clip PCM16 conservé, et met le mixeur en pause avec le jeu. Le Linux Le répertoire est également publié sous forme de Flatpak reproductible à téléchargement direct ciblant Freedesktop Platform 25.08. L'application installée n'a que IPC, Wayland/fallback-X11, PulseAudio et DRI, sans accès au réseau ou au système de fichiers hôte. Le bundle terminé s'installe et s'exécute sous le bac à sable, conserve le GLIBC_2.34 plafond et laisse son environnement d'exécution en tant que dépendance résolue séparément. La porte générique du référentiel Flatpak signé transmet la découverte AppStream et une mise à jour statique-delta ; Catalogue spécifique au jardin licensing/content, la conservation des clés et l'hébergement, ainsi qu'un certificat MSIX de confiance, une clé, une politique d'horodatage, une installation physique et la signature de la version, restent le travail de distribution. Windows x86-64 MSIX réussit désormais la publication non signée reproductible et la signature intégrée reproductible fournie par l'appelant, la validation de décompression officielle du SDK, la signature indépendante et la validation du sujet, le rejet de falsification et l'exécution exacte de Wine. Les portails signés utilisent délibérément des certificats jetables plutôt que de définir un éditeur de production. L'éditeur AppImage dispose également d'un mode de mise à jour signée reproductible avec une empreinte OpenPGP complète explicite, un accueil GPG, un horodatage de publication, un emplacement HTTPS zsync et une validation de signature externe. Sa porte générique rejette une image falsifiée, vérifie HTTP plages d'octets et utilise le programme de mise à jour officiel pour un delta signé exact de 1.0.0 à 2.0.0. Le portail produit Jardin préserve GLIBC_2.34, reproduit les octets AppImage et zsync, valide la signature et exécute l'image signée. Ces portes utilisent délibérément des clés jetables et un emplacement de non-déverrouillage ; La garde des clés de libération contrôlée par le propriétaire et un véritable point de terminaison de la plage HTTPS restent des entrées de distribution. Production écrite content/audio, physique Android/iOS preuve audio et dispositif physique performance/thermal le stress reste un travail de produit explicite. Le Android L'adaptateur conserve désormais ce mélangeur dans un contexte de génération d'activité, conserve les sources compactes Opus et FLAC compressées en mémoire et met en file d'attente le PCM décodé via un espace limité. OpenSL ES back-end. Un API-35 ARM64 AVD prouve une piste stéréo active de 48 kHz, une lecture de mouvement de notation et pause/resume à la fois sur la superposition de jeu et sur l'activité background/foreground; la qualité physique et la latence du haut-parleur ne sont pas revendiquées. Un propre API-37 portes ARM64 en ajoutent huit en alternance portrait/landscape recréations avec la sémantique des 64 tuiles, la notation à mouvement réduit, le démontage audio et le délimité startup/frame/PSS métriques. Sa ligne d'allocation dédiée exécute deux charges de travail symétriques de cycle de vie à huit rotations sous bionique protégé malloc_debug; tous deux mesurés libmemunreachable les analyses rapportent zéro octet et zéro allocation. Le iOS 26.5 Le simulateur ARM64 construit la même source et les mêmes actifs Garden mobiles. Son contexte d'application réutilisable et sa persistance atomique de fichiers privés survivent aux images continues ; XCUITest couvre 67 nœuds sémantiques stables, pause/resume, rotations, background/foreground, résiliation et relance. Le iOS le backend audio utilise des limites fixes Apple AudioQueue tampons ; la porte nécessite un flux actif avec des rappels avancés et émet également un objet Garden identifié par iPhoneOS ainsi qu'un ensemble d'applications complet non signé avec des actifs plats validés. Il s’agit de preuves de traitement audio et d’emballage de l’appareil sur simulateur, et non de preuves d’exécution physique, de parcours du locuteur, de latence ou de signature. Il s'agit d'une fondation native réutilisable, et non d'un environnement d'exécution de jeu livré : HTTP retry/authentication/cache/playlist/live-chunk politique au-dessus de la limite terminée range/callback/background-decode/reservoir couches, capture et dénombrement physique au-delà SDL3, physique interruption/route validation au-delà des moniteurs cohérents terminés et des gestionnaires de tâches propriétaires retenus, physiques Windows/iOS preuve, distribution signing/notarization/installers, et les adaptateurs mobiles plus larges restent ouverts.

Preuve : Référence UI4, base de référence UI6, ligne de base du pont natif UI9, base de référence du plugin UI9, base de référence du package de plug-in UI9, Base de référence du magasin de plugins UI9, Base de référence du référentiel du plugin UI9, ligne de base des racines du plugin UI9, base de référence de l'archive du plugin UI9, Base de référence des générations de plugins UI9, ligne de base de mise à jour du plugin UI9, base de référence du catalogue de plugins UI9, base de référence du magasin de confiance du plugin UI9, ligne de base de distribution de confiance du plugin UI9, base de référence des dépendances du plugin UI9, Référence de base du jeu P1, Référence de base du jeu P2, Base de référence du jeu P3, Référence de base du jeu P4, Référence de base du jeu P5, Base de référence du flux audio du jeu, Base de référence du jeu Opus, Base de référence FLAC du jeu, Base de référence MP3 du jeu, Base de référence du jeu P6, Base de référence du jeu P7, Jeu P8 Linux ligne de base, Jeu P8 macOS ligne de base, Jeu P8 Windows ligne de base, Base de référence du jeu P8 AppImage, Base de mise à jour du jeu P8 AppImage, Base de référence du jeu P8 Flatpak, Base de référence du jeu P8 MSIX, Jeu P8 signé MSIX baseline, Base de référence du jeu P9, Référence de test du jeu, Base de référence du texte du jeu, Seed Garden référence en matière de portabilité, et la Feuille de route du jeu.

Mobile

Android et iOS sont des pistes mobiles actives à des niveaux de preuve explicitement définis. Android paquets arm64-v8a et x86-64 à travers Gradle/Kotlin/CMake/JNI et passe API 21/29/37 AVD plus une initiale API-35 tranches de périphérique physique. iOS passe le simulateur ARM64 26,5 et une tranche initiale d'iPhone XR signée à travers le Swift/UIKit hôte. Partagé lifecycle/services, les contrats d'entrée limitée, de cadre, de sémantique, de rotation et d'accessibilité sont couverts ; matériel plus large, complet IME/accessibility matrices, archive/export, la validation en magasin et la version de production restent ouvertes.

Voir Android Applications.

Ridge DB

Ridge est la piste d'application la plus avancée. La ligne v0.2 a gelé P0-P12 et a abandonné P13 plutôt que de signaler une matrice défaillante comme étant réussie. La fondation locale délimitée v0.3 a complété V3-G0-G44-A, avec V3-G47-G57 également complète (V3-G52 partielle). La v0.4 est conçue comme une synchronisation appareil-cloud pour les applications hors ligne (applications mobiles, terminaux de point de vente) par rapport à un cloud faisant autorité, en réutilisant le moteur embedded/server des deux côtés. La réplication multi-maître, le basculement, le partitionnement et le SQL distribué restent reportés à la version 0.5 ou ultérieure.

Preuve : Ridge Base de données, grove/apps/ridge/CAPABILITIES.md, grove/apps/ridge/ROADMAP.md, et grove/apps/ridge/V3_CONTRACT.md.

Ridge Admin

grove/apps/ridge-admin est un Ridge-application d'administration de navigateur native, pas un PostgreSQL réclamation de compatibilité. Le 0.2.0+contract.3 l'aperçu professionnel possède un bouclage uniquement HTTP frontière, launch/session/CSRF/CSP politique, le Local intégré Ridge profil, profils enregistrés sans secret, quatre locaux ou natifs SSH direct-tcpip Connexions pgwire, versionnées Ridge introspection, SQL espaces de travail, pagination de données déterministe, jusqu'à quatre filtres paramétrés typés, brouillons sensibles aux conflits, atomique save/import jusqu'à 10 000 modifications par étapes, limitées par le serveur CSV exporter, integrity/vacuum opérations, sauvegarde vérifiée par l'opérateur et restauration hors ligne sans écrasement.

Les preuves et les bloqueurs de versions actuels sont disponibles grove/apps/ridge-admin/SPEC.md, README.md, RELEASE.md, et les coureurs lisibles par machine sous grove/apps/ridge-admin/tests/.

ML et LLM

Le propre Grove conversion conservée stockage tensoriel limité et sécurisé pour la propriété, shape/dataset/model métadonnées, tokenizer/configuration et des contrats d'expérimentation. Il a explicitement archivé les chiffres CPU/CUDA noyaux, pleins graph/model l'exécution et LLM comportement de coureur qui manquait de propriétaires actuels sûrs. L'étape suivante est l'exactitude numérique de l'exécutable avant les réclamations en matière de performances ou de qualité du modèle.

Preuve : lignes de base Grove G18-G22.

Savana Système d'exploitation

Savana L'arborescence historique v0.1 de n'est pas un noyau opérationnel actuel. La feuille de route active commence par le portage d'un minimum x86-64 boot/console chemin vers le propre LLVM compilateur, puis construit explicite KAL/HAL/backend contrats. AArch64 et RISC-V64 Savana les bottes restent des portes futures même si le compilateur lui-même dispose de dispositifs de démarrage autonomes pour ces architectures.

Preuve : savana/ROADMAP.md.

Discipline de statut

• Un répertoire vérifié n'est pas automatiquement un produit complet.
• Un artefact compilé de manière croisée n’est pas une demande d’exécution.
• Un benchmark constitue uniquement la preuve de sa charge de travail et de son hôte nommés.
• « Production » est réservé à une politique de versions futures avec compatibilité, critères de sécurité, de déploiement et de support.
• Chaque piste avance uniquement lorsque sa feuille de route enregistre la fermeture exécutable des preuves.