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.

Scène Signification
opérationnel source seed propre et actuelle checks/builds et possède des preuves de porte exécutables
fondation un substrat délimité et testé existe, mais la boucle complète du produit ne existe pas
actif une porte de feuille de route explicitement nommée est en cours d'implémentation
liaison croisée compilation/link des preuves existent, mais l'exécution n'est pas revendiquée
prévu la conception ou la source historique existe sans produit opérationnel actuel

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

Suivre Stade actuel Preuve fournie Feuille de route / prochaine limite
Langage et compilateur opérationnel, pré-1.0 LLVM compilateur Gates 0-23 ; profils de libération en toute sécurité ; propriété, ressources linéaires, régions, tâches structurées, packages, LSP, interfaces inter-modules Continuer à renforcer les preuves et à cibler des données spécifiques ; macOS arm64 reste uniquement à liaison croisée
CLI création fondation G08 fermé : argument/flag classification, métadonnées détenues, aide faillible et rendu d'achèvement Exécution de processus interactifs et cycle de vie raffiné du framework pour l'utilisateur final
TUI fondation G08 fermé : classification des entrées, surfaces des cellules, disposition, widgets, instantanés déterministes Propriétaire exact du terminal, restauration en mode brut, redimensionnement des signaux, exécution PTY et accessibilité au niveau de l'application
Web fondation G12-G16 fournissent des validateurs de réseau, de protocole, des métadonnées de politique et d'application routing/middleware ; les runtime/facade intégrés restent archivés Boucle de connexion à réponse détenue, annulation, fuite d'arrêt, TLS et preuve de serveur de bout en bout
Internationalisation des sites publics candidat à la production Un artefact immuable à cinq locales est actif dans /opt/dev/seed-site; la matrice principale de 210 pages plus cinq diagrammes localisés, catalogues, structure de documentation, métadonnées, liens internes, ancres, contrat d'abonnement, matrice Playwright réactive et pass d'automatisation de restauration Promouvez l'artefact exact de la stratégie machine via G8 avec human_reviewed=0, puis collectez la validation du langage humain après le déploiement sans réétiqueter l'artefact promu.
Interface utilisateur de bureau/adaptative fondation UI0-UI4 ferme le noyau sans tête ainsi que la même galerie sur Linux AArch64 X11/AT-SPI et Android API 37 ARM64 UI6 Windows/macOS backends, bureau plus large text/IME/clipboard intégration, packaging et accélération
Mobile Android tranche opérationnelle ; iOS simulator/device tranches Android API 21/29/37 AVD et périphérique physique initial API-35 ; Simulateur iOS 26,5 et iPhone XR initial signé ; contrats partagés lifecycle/services, cadre, saisie, sémantique et accessibilité Des matrices d'appareils plus larges, IME/accessibility l'exhaustivité, archive/export, validation du magasin, signature des versions et renforcement de la production
Ridge DB fondation locale délimitée v0.3 terminée v0.2 P0-P12 gelé, P13 explicitement supprimé ; v0.3 V3-G0-G25 terminé Le travail de la version 0.4 replication/failover n'a pas démarré ; le travail de cluster distribué et élastique reste plus tard
Ridge Admin aperçu professionnel opérationnel local intégré Ridge, sécurité Web en boucle, local/native-SSH pools pgwire, explorateur de catalogue, SQL espaces de travail, filtres typés, édition de données par étapes atomiques, vérification backup/offline restauration, maintenance, emballage signé et portes Chromium UX Linux exécution arm64, Windows service/package mise en œuvre, privilégié macOS cycle de vie, audit de lecteur d'écran et preuves de version de longue durée
Jeu fondation active Déclaré P0-P7/P9 et portable fullscreen/VSync, rythme adaptatif au rafraîchissement, délimité IME pre-edit/candidate et état du presse-papiers, instantanés tactiles à 16 contacts et stylet à huit appareils, grondement du contrôleur, nearest/bilinear l'échantillonnage, pivot-rotated/flipped sprites, cibles de rendu possédées, limites explicites layer/material-sorted ordinary/transformed-sprite lots, ordre exact conservé primitive/sprite/bitmap-glyph/viewport/target plus pré-tessellé path/compound-fill/styled-stroke relecture de commandes, chemins déterministes avec explicit/adaptive courbes, rondes fixes ou adaptatives aux tolérances width/cap/join styles, styles de tirets délimités, anticrénelage solid/dashed franges, composé délimité even-odd/non-zero se remplit de trous, LF-multiline/width-wrapped Texte Unicode avec police de secours ordonnée et glyphes de couleur préservés, ainsi qu'un adaptateur de propriété de texte en forme dactylographié vers gfx2d, PCM16/IMA ADPCM WAV et Ogg incrémentiel Vorbis/Opus ainsi que les extensions FLAC et MP3 natives fournissent un back-end neutre ABI et des packages de bureau délocalisables ; le contrat v21 passe headless/macOS/Linux, le concentré Windows MinGW/Wine ABI, et les trois colis déplacés ; Seed Garden partage un modèle déterministe à travers Android, iOS, et natif macOS/Linux/Windows, avec une contrainte de 10 044 mouvements, OpenSL ES, instrumenté par un allocateur Android preuves du cycle de vie, Apple AudioQueue rappels du simulateur, un ensemble iPhoneOS complet non signé et des métriques mobiles limitées Ajouter un jardin créé content/audio, au niveau du paragraphe bidi/retained atlas de glyphes, obtenir des documents physiques Windows fullscreen/VSync/audio/input preuves, physiques touch/pen/controller/rumble preuves, physiques Android/iOS preuves audio et d'interaction, appareil physique performance/thermal stress, audio interruptions/routes, sources audio réseau, adoption de produits codecs, outils avancés et distribution signée
ML / tenseur fondation Stockage tensoriel limité G18-G22, ensembles de données, métadonnées, tokenizer/config et contrats d'orchestration Noyaux de processeur numériques, exécution automatique, modèle inference/training et mesuré correctness/performance
LLM fondation de métadonnées configuration limitée, tokenizer/model compatibilité, jeux de données, contrats d’expérimentation et d’évaluation Exécution du décodeur, points de contrôle, boucle inference/training et preuves reproductibles de la qualité du modèle
SSH fondement du protocole délimité crypto/protocol/config/auth vérification des colis en cours seed Matrice de transport détenu de bout en bout, de vérification de la clé hôte, d'annulation et d'interopérabilité
Automatisation Web parser/client fondation URL, HTTP, politiques de robot d'exploration et packages d'analyse limitée Opérationnel HTTP/TLS propriété du client, boucle d'exploration, robots/rate automatisation des politiques et du navigateur
Savana Système d'exploitation feuille de route migratoire seed fournit des bases de démarrage de compilateur x86-64/AArch64/RISC-V64 autonomes D'abord LLVM-construit Savana x86-64 boot/console porte; la version historique 0.1 est uniquement une preuve de migration
WebAssembly au niveau de l'objet/exécution planifiée wasm32-WASI/object des lignes cibles existent Services hébergés, liaisons de navigateur et preuves d'exécution

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. L'intégré web, web_core l'exécution et web_runtime façade ont été archivées au G16 jusqu'à la propriété du raccordement, partielle I/O, l'annulation et la vidange d'arrêt sont fermées bout à bout.

Preuve : lignes de base Grove G12, 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.

Gate Preuve de fermeture
SITE-I18N-G0 — référence de développement reproductible /opt/dev/seed-site est créé à partir d’une révision source propre et enregistrée ; ses fichiers binaires et statiques, son arborescence de documentation, son schéma de configuration et son manifeste de contenu sont reproductibles ; la route anglaise et la matrice de fumée de forme y passe sans changer de production
SITE-I18N-G1 — Contrat de localisation et d'itinéraire Un résolveur de routes préserve les URL anglaises actuelles, sert les quatre arborescences de paramètres régionaux préfixés, redirige /en/... en permanence à l'équivalent sans préfixe URL, sépare les chaînes de requête avant la correspondance, émet l'exacte Content-Language, et transmet l'accueil, l'abonnement, la documentation, l'actif statique, API, cas de page manquante et de rejet de traversée pour chaque paramètre régional
SITE-I18N-G2 — modèles et catalogues de messages L'atterrissage, l'abonnement, le shell de documentation, la navigation, le pied de page, les états de formulaire, les unités de compte à rebours, les métadonnées et les erreurs visibles par le serveur ont des clés de catalogue stables ; l'abonnement API renvoie des codes d'erreur indépendants des paramètres régionaux ; la version rejette les messages manquants, supplémentaires, en double ou incompatibles avec un espace réservé ; L'anglais rendu conserve la parité du contenu, à l'exception des modifications intentionnelles de routage et de découverte.
SITE-I18N-G3 — pages publiques à cinq paramètres régionaux Les pages d'accueil et d'abonnement contiennent des traductions automatiques à jour pour es, pt-BR, fr, et it, une copie canonique en anglais, un glossaire technique partagé, une navigation préservant les paramètres régionaux et un sélecteur de langue accessible ; la réussite des formulaires localisés, les doublons, les entrées non valides, les états du serveur et du réseau réussissent les contrôles de mise en page sur ordinateur et mobile ; le manifeste de publication indique si une révision en langage humain a eu lieu
SITE-I18N-G4 — base de documentation localisée Racines Markdown spécifiques aux paramètres régionaux, navigation dans la documentation localisée, par page titles/descriptions, des identifiants de titre explicites stables et une passe de réécriture de liens internes tenant compte des paramètres régionaux pour l'introduction, la présentation, l'état actuel, les feuilles de route des produits, Ridge DB aperçu, et Ridge DB démarrage rapide dans les cinq paramètres régionaux ; le code, les commandes, les identifiants et les noms de produits restent canoniques
SITE-I18N-G5 — couverture documentaire complète Les 40 documents publics disposent de traductions automatiques à jour dans les quatre paramètres régionaux ajoutés ; chaque traduction enregistre sa révision source en anglais, son fournisseur, son schéma et son état de révision ; les traductions manquantes ou périmées ne peuvent pas être publiées en vertu de la stratégie machine ; une exploration complète des liens ne trouve aucune navigation accidentelle entre les paramètres régionaux, .md fuites d'itinéraire, ancres brisées ou prose anglaise présentée sous un canonique localisé URL
SITE-I18N-G6 — découverte et partage Chaque page publiée est auto-canonique URL, exact lang, paramètres régionaux disponibles complets hreflang plus x-default, localisé title/description/Open Métadonnées graphiques et URL propres et cohérentes ; robots.txt et le plan du site généré énumère uniquement les pages canoniques valides et passe duplicate/missing-alternate chèques
SITE-I18N-G7 — biens publics auxiliaires Le diagramme d'exécution Ridge extrait les contrôles traduisibles, les étiquettes d'accessibilité, les statuts et la copie narrative de son modèle de données et réussit les contrôles de fumée keyboard/screen-reader dans les cinq paramètres régionaux ; llms.txt, les archives téléchargeables et autres ressources linguistiques neutres ou en anglais canonique ont une politique de publication explicite au lieu d'une duplication localisée silencieuse
SITE-I18N-G8 — lancement par étapes et promotion de la production L'artefact candidat exact transmet la matrice de routage principale de 210 pages (accueil, abonnement et 40 documents dans cinq paramètres régionaux), l'intégration des abonnements localisés, l'exploration du plan du site, les assertions de métadonnées, missing/stale-translation politique, captures d'écran réactives et répétition de restauration en cours de développement ; ce même artefact immuable est ensuite promu atomiquement en production avec des hachages enregistrés et une cible de restauration vérifiée

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 ; Windows et macOS restent UI6. 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 le contrôleur d'état et à double moteur gronde avec un arrêt explicite, possède des textures RGBA 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 une actualisation synchrone du développement de contenu exact, ainsi qu'un observateur d'interrogation limité à l'échelle racine pour creation/change/replacement/removal des astuces et 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 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 v21. Le complet délocalisé Linux, macOS, et Windows les packages reconstruisent et exécutent l'application contract-v21. 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 et le contrôleur grondent 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. Déterministe sans tête, macOS ARM64 SDL3, complet Linux, concentré Windows/Wine, et toutes les matrices de packages déplacées passent par la surface actuelle. 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'interrogation détenu pour list/name/format/default changements. Sans tête et Apple AudioQueue n'expose actuellement que la route par défaut. Contract v3 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 et Apple le signale explicitement indisponible. Entier uniquement PCM16/IMA Décodage ADPCM WAV, mémoire incrémentielle neutre en termes de codec ou Ogg sauvegardé sur fichier Vorbis/Opus et décodage FLAC natif, et un mixeur de jeu limité basé sur les images couvrant les effets sonores, la musique compressée en boucle, les canaux, les groupes de volume, pause/resume, et un nettoyage exact. Synchronisation Portable à pas fixe, timers/statistics, une stimulation d'image précise neutre en termes de back-end, des requêtes de rafraîchissement en millihertz et des plafonds adaptatifs à 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 Charges utiles Vorbis sans fenêtre ni SDL et convertit de manière déterministe l'entrée WAV acceptée en format 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 v8 ajoute des goldens déterministes, un corpus de propriétés, une réduction du tampon d'octets entiers et structurés, une relecture à quatre contrôleurs et une version sans allocation. SGTR trace capture/playback. 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/ import collision-objet, éditeurs graphiques, natif event-driven/background decode/reload, et les rétrécisseurs plus riches et sensibles à la structure restent un 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 WAV IMA ADPCM mono de 96 octets avec une boucle musicale Ogg Vorbis de 7 244 octets en streaming et met le mixeur en pause avec le jeu. 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 la source Ogg compacte compressée 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, pas d'un environnement d'exécution de jeu livré : Codec product/mobile adoption du runtime, entrée réseau et capture au-delà SDL3, événementiel hot-plug/route notifications, physiques Windows/iOS preuve, distribution signing/notarization/installers, et les adaptateurs mobiles plus larges restent ouverts.

Preuve : Référence UI4, 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 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-G25. La réplication, le basculement, le partitionnement et le SQL distribué n'ont pas démarré.

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.1.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