M35 · Licensing & Compiler

Lo strumento dell'emittente che crea e firma le licenze, più la tecnologia di vincolo all'hardware.

Vantaggi: Licenze che non possono essere falsificate senza la chiave privata dell'emittente.

Esempio d'uso: L'emittente genera una licenza di 12 mesi per i moduli M07 e M12 e la invia al cliente.

Capacità principali

• Generazione di licenze firmate (solo emittente)
• Catalogo delle licenze con 42 id
• Impronta hardware e prova di possesso TPM vincolate alle licenze (versione 2)
• Motore delle decisioni del titolare (libreria)

Licensing & Compiler, modulo base. Il generatore universale lato emittente genera_licenza.exe e generate_license.py (firma delle licenze Ed25519, durate in mesi di calendario, 42 id di licenza), mai consegnati ai clienti. dcos/m35 v1.x additivo (libreria testata): Host Vector V_H da attributi hardware reali (SHA-256 tramite il kernel di M01 più Keccak-256), un motore delle decisioni del titolare con 11 stati fail-secure espliciti (Receive != Authorize), gestione dei cambi hardware senza vincolo automatico, e prova di possesso con una chiave TPM 2.0 NON ESPORTABILE (Windows Platform Crypto Provider) o un fallback software sigillato. Dal 2026-11-12 la verifica delle licenze di M01 (license_manager) applica questo vincolo per le licenze di versione 2 (dcos/m35/license_binding.py): un hardware diverso o una prova TPM fallita rende la licenza non valida, un'identità hardware illeggibile o l'assenza del TPM la rende non verificabile; il cliente produce la richiesta di vincolo con dcos licenza impronta e l'emittente la firma con generate_license.py emetti --vincolo.

Prerequisiti

Solo emittente; la chiave privata è conservata offline.

Limiti dichiarati

Il generatore non viene mai distribuito; il generatore grafico non offre ancora il vincolo hardware (solo riga di comando). Il vincolo si applica alle licenze di versione 2; il dcos.exe firmato del 2026-11-12 è precedente e deve essere ricompilato e firmato di nuovo.

Pianificato (roadmap)

• Opzione di vincolo hardware nel generatore grafico (genera_licenza.exe)

Interconnessioni

Le interconnessioni mostrate sono relazioni funzionali documentate (riuso di codice e flussi di dati) o derivate dal ruolo architetturale; sono una ricostruzione editoriale.