Dall'alfa verificata alla release candidate in un'unica linea di prodotti

Reinventy Solutions Corp. è stato completato TMOS-7 e promosso Tin Man OS v0.7.0-rc.1 al Candidato al rilascio qualificato per il software Citadel.

La pietra miliare cambia la postura pubblica del prodotto. Tin Man OS non è più rappresentato solo da un artefatto riproducibile dell'immagine AGX Thor. Ora dispone di uno stack di composizione, ciclo di vita, conformità e provisioning qualificato per il software, progettato per trasformare l'intelligenza sintetica sovrana in una linea di prodotti commerciali ripetibile su macchine reali.

Otto dei nove percorsi del programma, dall'architettura alla produzione, sono completi. TMOS-8 è attivo: la fase finale per la qualificazione fisica autorizzata dal Committente, la firma della produzione e il percorso verso Tin Man OS 1.0.

Ciò che Citadel chiude

Il record delle prove pubbliche v0.7.0-rc.1 include:

  • un SDK di composizione limitata che copre otto edizioni di prodotti commerciali;
  • un componente creato SBOM e l'inventario del pacchetto Yocto SPDX generato;
  • un ML-BOM con due contratti di distribuzione e zero payload del modello incorporati nell'immagine;
  • una politica di licenza con chiusura in caso di errore;
  • un pacchetto di conformità derivato da immagini verificato con AArch64 QEMU;
  • un centro bilingue di qualificazione e conformità delle versioni;
  • uno SSD Provisioning Studio bilingue per release, edizione, cliente, azienda, licenza e identità al primo avvio;
  • un candidato al provisioning indirizzato al contenuto il cui controllo del flash fisico rimane visibilmente bloccato dietro TMOS-8.

I documenti della catena di prove sottostanti 59/59 test unitari, 11.659/11.659 compiti Yocto, Casi di contratto-SIL deterministico 24 ore su 24, 24 ore su 24, 9/9 porte al primo avvio e al ciclo di vita A/B, e scritture a blocchi zero durante il percorso software qualificato.

Una linea di prodotti, non un'immagine unica

Citadel convalida il contratto compositivo per otto edizioni commerciali: Flight, Drive, Marine, Materials, Motor, Industrial, Robotics ed Energy.

Volo, guida e navigazione hanno prove deterministiche del contratto SIL da TMOS-5. La robotica si unisce a loro attraverso TMOS-6. I materiali contengono il profilo di riferimento Scholar di sola lettura da TMOS-4. Il progresso motorio, industriale ed energetico all'interno dell'attivo Atlas / TMOS-8 traccia.

Lo spazio e la tecnologia medica rimangono opportunità di scoperta che richiedono garanzie e casi normativi distinti. L'agricoltura segue una strategia di composizione per Drive, Robotica, Volo e Materiali prima che venga creata qualsiasi edizione autonoma separata.

Il confine che rende credibile l’affermazione

Citadel è un Candidato al rilascio qualificato per il software, non ancora una versione di produzione qualificata per l'hardware.

Il flashing dell'SSD fisico, l'avvio misurato dall'hardware, la rilettura dell'intero dispositivo, il ripristino A/B fisico e la firma di produzione utilizzando la chiave offline del Principal rimangono gate TMOS-8 espliciti. La release candidate non contiene alcun percorso per modificare il runtime live Tin Man, Guardian, policy, kill switch o supporto di produzione.

Tale separazione non è un limite nascosto nelle note a piè di pagina. È l'architettura: l'intelligenza può avanzare mentre l'autorità necessaria a renderla fisica resta esterna, esplicita e autonomamente qualificata.

Il momento della partnership

TMOS-8 è il punto in cui convergono il gate hardware finale e la prossima ondata di edizioni commerciali. Reinventy sta aprendo conversazioni selettive con leader dell'ecosistema NVIDIA, aziende di silicio e sistemi, OEM, integratori industriali e capitale strategico in grado di accelerare la qualificazione e l'implementazione delle referenze.

Il registro pubblico stabilisce il rilascio, le sue prove e i suoi confini. Gli aspetti economici dell’edizione, le mappe di integrazione, i dettagli sulla fornitura e le roadmap specifiche del programma rimangono riservati a conversazioni qualificate.

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