M35 · Licensing & Compiler

L'outil de l'émetteur qui crée et signe les licences, ainsi qu'une technologie de liaison matérielle.

Avantages: Des licences impossibles à falsifier sans la clé privée de l'émetteur.

Exemple d'utilisation: L'émetteur génère une licence de 12 mois pour les modules M07 et M12 et l'envoie au client.

Capacités clés

• Génération de licences signées (émetteur uniquement)
• Catalogue de 42 identifiants de licence
• Empreinte matérielle et preuve de possession TPM liées aux licences (version 2)
• Moteur de décision du propriétaire (bibliothèque)

Licensing & Compiler, module de base. Le générateur universel côté émetteur genera_licenza.exe et generate_license.py (signature des licences Ed25519, durées en mois calendaires, 42 identifiants de licence), jamais livrés aux clients. dcos/m35 v1.x additif (bibliothèque testée) : Host Vector V_H à partir d'attributs matériels réels (SHA-256 via le noyau M01 plus Keccak-256), un moteur de décision du propriétaire avec 11 états fail-secure explicites (Receive != Authorize), gestion des changements matériels sans liaison automatique, et preuve de possession avec une clé TPM 2.0 NON EXPORTABLE (Windows Platform Crypto Provider) ou une solution de repli logicielle scellée. Depuis le 2026-11-12, la vérification des licences de M01 (license_manager) applique cette liaison pour les licences de version 2 (dcos/m35/license_binding.py) : un matériel différent ou une preuve TPM en échec rend la licence non valide, une identité matérielle illisible ou un TPM absent la rend invérifiable ; le client produit la demande de liaison avec dcos licenza impronta et l'émetteur la signe avec generate_license.py emetti --vincolo.

Prérequis

Émetteur uniquement ; la clé privée est conservée hors ligne.

Limites déclarées

Le générateur n'est jamais distribué ; le générateur graphique ne propose pas encore la liaison matérielle (ligne de commande uniquement). La liaison s'applique aux licences de version 2 ; le dcos.exe signé du 2026-11-12 lui est antérieur et doit être reconstruit et signé à nouveau.

Planifié (feuille de route)

• Option de liaison matérielle dans le générateur graphique (genera_licenza.exe)

Interconnexions

Les interconnexions représentées sont des relations fonctionnelles documentées (réutilisation de code et flux de données) ou découlent du rôle architectural ; il s'agit d'une reconstruction éditoriale.