De l'alpha vérifié à la version candidate dans une seule gamme de produits

Reinventy Solutions Corp. a terminé TMOS-7 et promu Tin Man OS v0.7.0-rc.1 à la Version candidate qualifiée pour le logiciel Citadel.

Ce jalon change la posture publique du produit. Tin Man OS n’est plus représenté uniquement par un artefact d’image AGX Thor reproductible. Il intègre désormais une pile de composition, de cycle de vie, de conformité et d'approvisionnement qualifiée par logiciel, conçue pour transformer l'intelligence synthétique souveraine en une gamme de produits commerciaux reproductibles sur des machines réelles.

Huit des neuf filières du programme, de l'architecture à la production, sont terminées. TMOS-8 est actif: la phase finale pour la qualification physique autorisée par le principal, la signature de la production et le chemin vers Tin Man OS 1.0.

Ce que Citadel ferme

Le dossier de preuve publique v0.7.0-rc.1 comprend :

  • un SDK de composition limitée couvrant huit éditions de produits commerciaux ;
  • un composant créé SBOM et l'inventaire du package Yocto SPDX généré ;
  • un ML-BOM avec deux contrats de déploiement et aucune charge utile de modèle intégrée dans l'image ;
  • une politique de licence fermée en cas d'échec ;
  • un ensemble de conformité dérivé d'images vérifié sous AArch64 QEMU ;
  • un centre de qualification et de conformité des versions bilingue ;
  • un studio de provisioning SSD bilingue pour la version, l'édition, le client, l'entreprise, la licence et l'identité au premier démarrage ;
  • un candidat au provisionnement adressé au contenu dont le contrôle physique du flash reste visiblement verrouillé derrière TMOS-8.

Les enregistrements sous-jacents de la chaîne de preuves 59/59 tests unitaires, 11 659/11 659 tâches Yocto, Cas contrat-SIL déterministes 24h/24, Portes de premier démarrage 9/9 et de cycle de vie A/B, et zéro bloc écrit au cours du parcours logiciel qualifié.

Une gamme de produits, pas une image unique

Citadel valide le contrat de composition de huit éditions commerciales : Flight, Drive, Marine, Materials, Motor, Industrial, Robotics et Energy.

Flight, Drive et Marine disposent de preuves contractuelles déterministes SIL de TMOS-5. La robotique les rejoint via TMOS-6. Materials contient le profil de référence Scholar en lecture seule de TMOS-4. Avancement moteur, industriel et énergétique au sein du secteur actif Atlas / TMOS-8 piste.

L’espace et les technologies médicales restent des opportunités de découverte nécessitant des garanties et des dossiers réglementaires distincts. Agriculture suit une stratégie de composition d'abord dans Drive, Robotics, Flight et Materials avant la création d'une édition autonome distincte.

La frontière qui rend la revendication crédible

Citadel est un version candidate qualifiée pour le logiciel, pas encore une version de production qualifiée sur le plan matériel.

Le flashage physique du SSD, le démarrage mesuré par le matériel, la relecture complète de l'appareil, la récupération physique A/B et la signature de production à l'aide de la clé hors ligne du principal restent des portes TMOS-8 explicites. La version candidate ne contient aucun chemin pour muter le runtime Tin Man en direct, Guardian, la politique, le kill switch ou le support de production.

Cette séparation ne constitue pas une limitation cachée dans les notes de bas de page. C'est l'architecture : l'intelligence peut avancer tandis que l'autorité nécessaire pour la rendre physique reste externe, explicite et qualifiée de manière indépendante.

Le moment du partenariat

TMOS-8 est le point de convergence entre la porte matérielle finale et la prochaine vague d'édition commerciale. Reinventy ouvre des conversations sélectives avec les leaders de l'écosystème NVIDIA, les sociétés de silicium et de systèmes, les équipementiers, les intégrateurs industriels et le capital stratégique capables d'accélérer le déploiement de qualification et de référence.

Le dossier public établit la divulgation, ses preuves et ses limites. L’économie de l’édition, les cartes d’intégration, les détails de l’approvisionnement et les feuilles de route spécifiques au programme restent réservés à des conversations qualifiées.

Sources: Tin Man OS canonical Forgejo record · config/project.json · docs/ROADMAP.md · docs/TMOS7_RELEASE_EVIDENCE.md · release v0.7.0-rc.1 · commit 60cbb5ed2c4969afdff7987387ada70b7038dfcb · verified 2026-08-26