{"id":1447,"date":"2026-05-14T15:43:47","date_gmt":"2026-05-14T15:43:47","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=1447"},"modified":"2026-07-24T08:27:20","modified_gmt":"2026-07-24T08:27:20","slug":"cortex-nk","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/cortex-nk\/","title":{"rendered":""},"content":{"rendered":"\n\n\nMenu ORIGIN\u2122<\/title>\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=DM+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap');\n \nbody { margin: 0; padding: 0; background: #F4F0EB; font-family: 'DM Sans', sans-serif; min-height: 600px; }\n \n\/* Wrapper full-width \u2014 isolation stricte (all:initial) + 100vw, identique \u00e0 .cidor-page\n pour \u00e9chapper aux contraintes de largeur du th\u00e8me WordPress et garantir le bandeau jusqu'aux bords. *\/\n.menu-bar-wrapper {\n all: initial;\n display: block;\n box-sizing: border-box;\n width: 100vw;\n position: relative;\n left: calc(50% - 50vw);\n background: #0C1829;\n z-index: 9999;\n font-family: 'DM Sans', sans-serif;\n}\n \n.menu-bar {\n width: 100%;\n background: #0C1829;\n padding: 0 2rem;\n display: flex;\n align-items: center;\n justify-content: space-between;\n position: relative;\n z-index: 100;\n box-sizing: border-box;\n}\n.menu-logo {\n font-family: 'DM Sans', sans-serif; font-weight: 700; font-size: 0.95rem;\n color: #fff; padding: 1rem 0; letter-spacing: 0.03em; white-space: nowrap;\n}\n.menu-logo span { color: #C9A96E; }\n.menu-items { display: flex; align-items: center; gap: 0; }\n \n\/* \u2500\u2500 EAS \u00b7 EXPOSITION BUTTON (avec dropdown) \u2500\u2500 *\/\n.menu-eas-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-eas {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-eas::before {\n content: '\u25ce';\n font-size: 0.75rem;\n opacity: 0.7;\n}\n.menu-eas::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-eas:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n.menu-eas-wrap:hover .menu-dropdown-eas { display: block; }\n.menu-dropdown-eas {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 AETZU ARROW AI BUTTON \u2500\u2500 *\/\n.menu-aetzu {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-aetzu::before {\n content: '\u2b21';\n font-size: 0.75rem;\n opacity: 0.7;\n}\n.menu-aetzu::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-aetzu-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-aetzu-wrap:hover .menu-dropdown-aetzu { display: block; }\n.menu-dropdown-aetzu {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-aetzu:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n \n\/* \u2500\u2500 CORTEX WEB & API BUTTON \u2500\u2500 *\/\n.menu-webapi {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-webapi::before {\n content: '\u25a3';\n font-size: 0.75rem;\n opacity: 0.7;\n}\n.menu-webapi::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-webapi-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-webapi-wrap:hover .menu-dropdown-webapi { display: block; }\n.menu-dropdown-webapi {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-webapi:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n \n\/* \u2500\u2500 CORTEX APP\u00c2T & LEURRE BUTTON (avec dropdown \u2014 BAITS) \u2500\u2500 *\/\n.menu-appat-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-appat {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-appat::before {\n content: '\u2b22';\n font-size: 0.7rem;\n opacity: 0.7;\n}\n.menu-appat::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-appat:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n.menu-appat-wrap:hover .menu-dropdown-appat { display: block; }\n.menu-dropdown-appat {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 CORTEX NK BUTTON (avec dropdown) \u2500\u2500 *\/\n.menu-cortexnk-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-cortexnk {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(201,169,110,0.12);\n border: 1px solid rgba(201,169,110,0.35);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: #C9A96E;\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-cortexnk::before {\n content: '\u25c6';\n font-size: 0.7rem;\n opacity: 0.7;\n}\n.menu-cortexnk::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-cortexnk:hover {\n background: rgba(201,169,110,0.25);\n border-color: rgba(201,169,110,0.6);\n color: #fff;\n}\n.menu-cortexnk-wrap:hover .menu-dropdown-cortexnk { display: block; }\n.menu-dropdown-cortexnk {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 360px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n \n\/* \u2500\u2500 BENCHMARK & V\u00c9RIFICATION BUTTON (m\u00e9ga-d\u00e9roulant fusionn\u00e9) \u2500\u2500 *\/\n.menu-benchmark-wrap {\n position: relative;\n display: flex;\n align-items: center;\n padding: 1rem 0;\n margin-right: 0.5rem;\n}\n.menu-benchmark {\n display: flex; align-items: center;\n padding: 0.45rem 1rem;\n background: rgba(74,144,217,0.10);\n border: 1px solid rgba(74,144,217,0.30);\n border-radius: 3px;\n font-family: 'JetBrains Mono', monospace;\n font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n color: rgba(184,212,240,0.85);\n text-decoration: none;\n transition: all 0.25s;\n white-space: nowrap;\n gap: 0.5rem;\n}\n.menu-benchmark::before {\n content: '\u25c8';\n font-size: 0.7rem;\n opacity: 0.65;\n}\n.menu-benchmark::after {\n content: '\u25be';\n margin-left: 0.4rem;\n font-size: 0.6rem;\n opacity: 0.55;\n}\n.menu-benchmark:hover {\n background: rgba(74,144,217,0.22);\n border-color: rgba(74,144,217,0.55);\n color: #fff;\n}\n.menu-benchmark-wrap:hover .mega-dropdown { display: block; }\n \n.menu-item {\n position: relative; padding: 1rem 1rem;\n font-size: 0.78rem; font-weight: 500; color: rgba(184,212,240,0.75);\n cursor: pointer; letter-spacing: 0.02em; transition: color 0.2s;\n white-space: nowrap;\n}\n.menu-item:hover { color: #fff; }\n.menu-item::after {\n content: '\u25be'; margin-left: 0.3rem; font-size: 0.6rem; opacity: 0.5;\n}\n.menu-item.no-drop::after { content: ''; }\n.menu-cta {\n font-family: 'JetBrains Mono', monospace; font-size: 0.65rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n padding: 0.5rem 1.2rem; border-radius: 2px;\n background: rgba(201,169,110,0.15); color: #C9A96E; border: 1px solid rgba(201,169,110,0.3);\n cursor: pointer; transition: all 0.3s; white-space: nowrap;\n}\n.menu-cta:hover { background: rgba(201,169,110,0.25); color: #fff; }\n \n.menu-dropdown {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n min-width: 320px; padding: 0.8rem 0; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .menu-dropdown { display: block; }\n.menu-dropdown a {\n display: block; padding: 0.5rem 1.5rem; font-size: 0.8rem; color: rgba(184,212,240,0.6);\n text-decoration: none; transition: all 0.2s; line-height: 1.5;\n}\n.menu-dropdown a:hover { color: #fff; background: rgba(74,144,217,0.08); }\n.menu-dropdown .drop-label {\n font-family: 'JetBrains Mono', monospace; font-size: 0.58rem; font-weight: 600;\n letter-spacing: 0.15em; color: #C9A96E; text-transform: uppercase;\n padding: 0.6rem 1.5rem 0.3rem; display: block;\n}\n.menu-dropdown .drop-sep {\n border: none; border-top: 1px solid rgba(74,144,217,0.08);\n margin: 0.5rem 1.5rem;\n}\n \n.menu-dropdown a.drop-highlight {\n display: flex; align-items: center; justify-content: space-between;\n margin: 0.4rem 0.8rem 0.2rem;\n padding: 0.55rem 1rem;\n background: rgba(201,169,110,0.08);\n border: 1px solid rgba(201,169,110,0.2);\n border-radius: 3px;\n color: #C9A96E;\n font-weight: 600; font-size: 0.78rem;\n transition: all 0.2s;\n}\n.menu-dropdown a.drop-highlight:hover {\n background: rgba(201,169,110,0.18); color: #fff; border-color: rgba(201,169,110,0.45);\n}\n.drop-highlight-arrow { font-size: 0.65rem; opacity: 0.6; margin-left: 8px; }\n \n.menu-dropdown a.drop-sim {\n display: flex; align-items: center; justify-content: space-between;\n margin: 0.25rem 0.8rem;\n padding: 0.5rem 1rem;\n background: rgba(74,144,217,0.06);\n border: 1px solid rgba(74,144,217,0.18);\n border-radius: 3px;\n color: rgba(184,212,240,0.85);\n font-size: 0.78rem;\n transition: all 0.2s;\n}\n.menu-dropdown a.drop-sim:hover {\n background: rgba(74,144,217,0.14); color: #fff; border-color: rgba(74,144,217,0.4);\n}\n.drop-sim-icon { font-size: 0.7rem; opacity: 0.55; margin-left: 8px; }\n.mega-dropdown {\n display: none; position: absolute; top: 100%; left: auto; right: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.15);\n border-top: 2px solid #C9A96E; border-radius: 0 0 4px 4px;\n width: 680px; padding: 1.5rem; z-index: 99999;\n box-shadow: 0 12px 40px rgba(0,0,0,0.4);\n}\n.menu-item:hover .mega-dropdown { display: block; }\n.mega-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 0 2rem; }\n.mega-col .drop-label { padding: 0 0 0.3rem; }\n.mega-col .drop-label {\n font-family: 'JetBrains Mono', monospace; font-size: 0.58rem; font-weight: 600;\n letter-spacing: 0.15em; color: #C9A96E; text-transform: uppercase;\n display: block;\n}\n.mega-col a {\n display: block; padding: 0.35rem 0; font-size: 0.78rem; color: rgba(184,212,240,0.6);\n text-decoration: none; transition: color 0.2s;\n}\n.mega-col a:hover { color: #fff; }\n.mega-col .drop-sep {\n border: none; border-top: 1px solid rgba(74,144,217,0.08);\n}\n.mega-col a.drop-highlight {\n margin: 0.5rem 0 0.2rem; padding: 0.5rem 0.8rem;\n background: rgba(201,169,110,0.08); border: 1px solid rgba(201,169,110,0.2);\n border-radius: 3px; color: #C9A96E; font-weight: 600;\n display: flex; align-items: center; justify-content: space-between;\n}\n.mega-col a.drop-highlight:hover {\n background: rgba(201,169,110,0.18); color: #fff; border-color: rgba(201,169,110,0.45);\n}\n.mega-col a.drop-sim {\n margin: 0.35rem 0; padding: 0.45rem 0.8rem;\n background: rgba(74,144,217,0.06); border: 1px solid rgba(74,144,217,0.18);\n border-radius: 3px; color: rgba(184,212,240,0.85);\n display: flex; align-items: center; justify-content: space-between;\n font-size: 0.78rem;\n}\n.mega-col a.drop-sim:hover {\n background: rgba(74,144,217,0.14); color: #fff; border-color: rgba(74,144,217,0.4);\n}\n\/* \u2500\u2500 BOUTON INVESTISSEURS (CTA primaire, dor\u00e9 plein) \u2500\u2500 *\/\n.menu-investor {\n font-family: 'JetBrains Mono', monospace; font-size: 0.65rem; font-weight: 600;\n letter-spacing: 0.08em; text-transform: uppercase;\n padding: 0.5rem 1.2rem; border-radius: 2px;\n background: #C9A96E; color: #0C1829; border: 1px solid #C9A96E;\n cursor: pointer; transition: all 0.3s; white-space: nowrap; margin-right: 0.6rem;\n text-decoration: none; display: inline-block;\n}\n.menu-investor:hover { background: #d9bd87; border-color: #d9bd87; }\n.preview-hint {\n text-align: center; color: #6b7280; font-family: 'JetBrains Mono', monospace;\n font-size: 0.7rem; padding: 3rem 1rem 1rem; letter-spacing: 0.05em;\n}\n.preview-hint strong { color: #C9A96E; }\n<\/style>\n \n \n \n<div class=\"menu-bar-wrapper\">\n<div class=\"menu-bar\">\n <div class=\"menu-logo\"><span>ORIGIN\u2122<\/span><\/div>\n <div class=\"menu-items\">\n \n <!-- EAS \u00b7 EXPOSITION (entr\u00e9e de premier niveau) -->\n <div class=\"menu-eas-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/\" class=\"menu-eas\">\n EAS \u00b7 EXPOSITION\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-eas\">\n <span class=\"drop-label\">Plateforme CTEM<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/\" class=\"drop-highlight\">\n EAS \u00b7 Exposition externe et interne\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Ce que la plateforme mesure<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#interne\" class=\"drop-sim\">\n P\u00e9rim\u00e8tre interne \u00b7 annuaire LDAP \/ AD\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#gouvernance\" class=\"drop-sim\">\n Gouvernance & trace de d\u00e9cision\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#concurrence\" class=\"drop-sim\">\n Paysage concurrentiel\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/easevolution\/#contact\" class=\"drop-highlight\">\n Demander une cartographie\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- AETZU ARROW AI (avec dropdown) -->\n <div class=\"menu-aetzu-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/aetzu-arrow-ai\/\" class=\"menu-aetzu\">\n AETZU ARROW AI\u2122\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-aetzu\">\n <span class=\"drop-label\">AETZU ARROW AI<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/aetzu-arrow-ai\/\" class=\"drop-sim\">\n AETZU ARROW AI\u2122 \u00b7 D\u00e9fense active\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-et-positionnement-2\/\" class=\"drop-highlight\">\n March\u00e9 et positionnement\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- WEB & API (avec dropdown) -->\n <div class=\"menu-webapi-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-idor\/\" class=\"menu-webapi\">\n WEB & API\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-webapi\">\n <span class=\"drop-label\">Web & API<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-idor\/\" class=\"drop-sim\">\n IDOR \u00b7 Passerelle d’autorisation\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/1689-2\/\" class=\"drop-highlight\">\n March\u00e9 et positionnement\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- APP\u00c2T & LEURRE (avec dropdown \u2014 BAITS) -->\n <div class=\"menu-appat-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/appat-leurre-lanterne\/\" class=\"menu-appat\">\n APP\u00c2T & LEURRE\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-appat\">\n <span class=\"drop-label\">Famille App\u00e2t & Leurre<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/appat-leurre-lanterne\/\" class=\"drop-sim\">\n App\u00e2t & Leurre \u00b7 Vue d’ensemble\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/baist\/\" class=\"drop-highlight\">\n BAITS \u00b7 D\u00e9ception active\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-positionnement\/\" class=\"drop-sim\">\n March\u00e9 & positionnement\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- NK (avec dropdown) -->\n <div class=\"menu-cortexnk-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk\/\" class=\"menu-cortexnk\">\n NOYAU NK\n <\/a>\n <div class=\"menu-dropdown menu-dropdown-cortexnk\">\n <span class=\"drop-label\">Famille NK<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk\/\" class=\"drop-sim\">\n NK \u00b7 Micronoyau souverain\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk-3d\/\" class=\"drop-highlight\">\n NK 3D \u00b7 Cybers\u00e9curit\u00e9 active\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Secure Boot<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-nk-secure-boot\/\" class=\"drop-sim\">\n Secure Boot S1-S10 \u00b7 Module natif\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/secure-boot-tf-a-post-quantique\/\" class=\"drop-highlight\">\n Secure Boot TF-A \u00b7 Post-Quantique\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Analyse strat\u00e9gique<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/marche-et-positionnement\/\" class=\"drop-sim\">\n March\u00e9 & positionnement\n <span class=\"drop-sim-icon\">\u2197<\/span>\n <\/a>\n <\/div>\n <\/div>\n \n <!-- BENCHMARK & V\u00c9RIFICATION (m\u00e9ga-d\u00e9roulant fusionn\u00e9) -->\n <div class=\"menu-benchmark-wrap\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/mttd-benchmark-v2-0-aetzu-arrow-ai\/\" class=\"menu-benchmark\">\n Benchmark\n <\/a>\n <div class=\"mega-dropdown\">\n <div class=\"mega-cols\">\n \n <div class=\"mega-col\">\n <span class=\"drop-label\">D\u00e9monstration<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/demonstration-cortex-nk-2\/\" class=\"drop-highlight\">\n D\u00c9MONSTRATION NK\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n <span class=\"drop-label\">Capacit\u00e9s mesur\u00e9es<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cryptographie\/\">Cryptographie<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/secure-boot\/\">Secure Boot<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/auto-containment-2\/\">Auto-Containment<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/audit-log-immuable\/\">Audit Log Immuable<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/attestation-et-orchestration-post-quantique\/\">Mesh v1<\/a>\n <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n <span class=\"drop-label\">Tableaux de bord<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/mttd-benchmark-v2-0-aetzu-arrow-ai\/\" class=\"drop-highlight\">\n MTTD Benchmark v2.0\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/1043-2\/\" class=\"drop-highlight\">\n Evaluation Dashboard\n <span class=\"drop-highlight-arrow\">\u2197<\/span>\n <\/a>\n <\/div>\n \n <div class=\"mega-col\">\n <span class=\"drop-label\">CFVL \u2014 Laboratoire formel<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&D<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications & \u00e9valuations<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/827-2\/\">M\u00e9thodologie<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/\">Rapport MTTD \/ MTTB<\/a>\n <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n <span class=\"drop-label\">Simulations interactives<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/test\/\" class=\"drop-sim\">\n Simulations Attaque\n <span class=\"drop-sim-icon\">\u26a1<\/span>\n <\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/simulation\/\" class=\"drop-sim\">\n Sch\u00e9ma & Simulations\n <span class=\"drop-sim-icon\">\u25ce<\/span>\n <\/a>\n <hr class=\"drop-sep\" style=\"margin:0.8rem 0 0.5rem\">\n <span class=\"drop-label\">Recherche<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/604-2\/\">AGI Exp\u00e9rimental<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-2\/\">MVP<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\">IA expliqu\u00e9e simplement<\/a>\n <\/div>\n \n <\/div>\n <\/div>\n <\/div>\n \n <!-- INVESTISSEURS -->\n <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires-strategiques\/\" class=\"menu-investor\">Investisseurs<\/a>\n \n <!-- CTA -->\n <a href=\"mailto:press@cortexorigin.com\" style=\"text-decoration:none\">\n <div class=\"menu-cta\">Contact<\/div>\n <\/a>\n \n <\/div>\n<\/div>\n<\/div>\n \n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<!-- ============================================================\n CORTEX NK\u2122 \u2014 Page produit v2.3 (claims recalibr\u00e9s, v\u00e9rifiables)\n \u00c9diteur : CORTEX AI\u2122 SAS \u2014 SIREN 991 880 428\n Auteur : David Salomon \u2014 Fondateur & CEO, CORTEX AI\u2122 SAS\n ============================================================ -->\n<style>\n\/* ========== CORTEX NK \u2014 Styles d\u00e9di\u00e9s v2.2 (campagne gcc-PROD 12\/12) ========== *\/\n\/* TECHNIQUE FULL-WIDTH \u00c9PROUV\u00c9E *\/\n.cnk-fullwidth-wrapper { all: initial; display: block; }\n.cnk-fullwidth-wrapper * { box-sizing: border-box; }\n.entry-title, .page-title, h1.wp-block-heading:first-child { display: none !important; }\n.cortex-nk-wrapper {\n width: 100vw; position: relative; left: 50%; transform: translateX(-50%);\n overflow-x: hidden; font-family: -apple-system, BlinkMacSystemFont, \"Segoe UI\", Helvetica, Arial, sans-serif;\n color: #E8EEF7; line-height: 1.6; -webkit-font-smoothing: antialiased; background: #F2EBDD;\n}\n.cortex-nk-wrapper * { box-sizing: border-box; }\n.cnk-fullwidth-wrapper, .cortex-nk-wrapper {\n width: 100% !important; max-width: none !important;\n margin-left: 0 !important; margin-right: 0 !important;\n padding-left: 0 !important; padding-right: 0 !important;\n}\n.entry-content, .post-content, .wp-block-group, .wp-block-group__inner-container,\n.is-layout-constrained > *, .is-layout-flow > * {\n max-width: none !important; width: 100% !important;\n padding-left: 0 !important; padding-right: 0 !important;\n}\n.cnk-section-dark { background: #0A1A33; color: #E8EEF7; padding: 96px 24px; }\n.cnk-section-light { background: #F2EBDD; color: #1A2842; padding: 96px 24px; }\n.cnk-container { width: 100%; max-width: 1400px; margin: 0 auto; padding: 0 5%; box-sizing: border-box; }\n.cnk-eyebrow {\n font-size: 13px; font-weight: 500; letter-spacing: 0.18em; text-transform: uppercase;\n color: #6B9BD1; margin-bottom: 24px;\n}\n.cnk-section-light .cnk-eyebrow { color: #4A78B0; }\n.cnk-title {\n font-family: \"Cormorant Garamond\", \"Playfair Display\", Georgia, serif;\n font-size: 64px; font-weight: 400; line-height: 1.05; letter-spacing: -0.01em; margin: 0 0 32px;\n}\n.cnk-title em { font-style: italic; font-weight: 400; }\n.cnk-section-dark .cnk-title { color: #FFFFFF; }\n.cnk-section-light .cnk-title { color: #1A2842; }\n.cnk-subtitle { font-size: 19px; line-height: 1.55; max-width: 850px; margin: 0 0 56px; opacity: 0.85; }\n.cnk-signature {\n font-family: \"Cormorant Garamond\", Georgia, serif; font-style: italic;\n font-size: 22px; color: #D4A551; margin: 0 0 56px; letter-spacing: 0.01em;\n}\n.cnk-section-light .cnk-signature { color: #B8862F; }\n.cnk-hero-metrics {\n display: grid; grid-template-columns: repeat(auto-fit, minmax(180px, 1fr));\n gap: 24px; margin-top: 64px; padding-top: 48px;\n border-top: 1px solid rgba(212, 165, 81, 0.25);\n}\n.cnk-metric { padding: 4px 0; }\n.cnk-metric-value {\n font-family: \"Cormorant Garamond\", Georgia, serif; font-size: 42px; font-weight: 500;\n color: #FFFFFF; line-height: 1.1; margin: 0 0 6px;\n}\n.cnk-metric-value span { color: #D4A551; font-size: 28px; }\n.cnk-metric-label {\n font-size: 12px; font-weight: 600; letter-spacing: 0.14em; text-transform: uppercase; color: #D4A551;\n}\n.cnk-card-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); gap: 20px; }\n.cnk-card {\n background: rgba(255, 255, 255, 0.03); border: 1px solid rgba(232, 238, 247, 0.10);\n padding: 32px 28px; border-radius: 2px;\n transition: border-color 0.2s ease, transform 0.2s ease;\n}\n.cnk-card:hover { border-color: rgba(212, 165, 81, 0.45); transform: translateY(-2px); }\n.cnk-card-light { background: rgba(26, 40, 66, 0.04); border-color: rgba(26, 40, 66, 0.10); }\n.cnk-card-icon { font-size: 28px; margin-bottom: 20px; display: block; }\n.cnk-card-num {\n display: inline-block; font-family: \"Cormorant Garamond\", Georgia, serif;\n font-size: 32px; color: #D4A551; margin-bottom: 12px; line-height: 1;\n}\n.cnk-section-light .cnk-card-num { color: #B8862F; }\n.cnk-card-title { font-size: 18px; font-weight: 600; color: #FFFFFF; margin: 0 0 12px; }\n.cnk-card-light .cnk-card-title { color: #1A2842; }\n.cnk-card-text { font-size: 14.5px; line-height: 1.55; color: #B8C5D9; margin: 0 0 18px; }\n.cnk-card-light .cnk-card-text { color: #4A5868; }\n.cnk-card-tags {\n font-size: 11.5px; font-weight: 500; letter-spacing: 0.14em; text-transform: uppercase; color: #D4A551;\n}\n.cnk-section-light .cnk-card-tags { color: #B8862F; }\n.cnk-benchmark-table { width: 100%; border-collapse: collapse; margin: 32px 0; font-size: 14.5px; }\n.cnk-section-dark .cnk-benchmark-table th, .cnk-section-dark .cnk-benchmark-table td {\n padding: 14px 18px; text-align: left; border-bottom: 1px solid rgba(232, 238, 247, 0.08);\n}\n.cnk-section-light .cnk-benchmark-table th, .cnk-section-light .cnk-benchmark-table td {\n padding: 14px 18px; text-align: left; border-bottom: 1px solid rgba(26, 40, 66, 0.12);\n}\n.cnk-benchmark-table th {\n font-size: 11.5px; font-weight: 600; letter-spacing: 0.14em; text-transform: uppercase;\n color: #6B9BD1; border-bottom-width: 2px !important;\n}\n.cnk-section-light .cnk-benchmark-table th { color: #4A78B0; }\n.cnk-benchmark-table tbody tr:hover { background: rgba(212, 165, 81, 0.04); }\n.cnk-benchmark-table .cnk-mono { font-family: \"SF Mono\", Menlo, Consolas, monospace; font-size: 13.5px; }\n.cnk-benchmark-table .cnk-num {\n text-align: right; font-family: \"SF Mono\", Menlo, Consolas, monospace; font-weight: 500;\n}\n.cnk-benchmark-table .cnk-num-hi { color: #D4A551; }\n.cnk-benchmark-table .cnk-cell-center { text-align: center; font-weight: 600; }\n.cnk-cell-ok { color: #7BC489; }\n.cnk-cell-ko { color: #D67676; }\n.cnk-cell-mid { color: #D4A551; }\n.cnk-section-light .cnk-cell-ok { color: #2E8B57; }\n.cnk-section-light .cnk-cell-ko { color: #C0392B; }\n.cnk-section-light .cnk-cell-mid { color: #B8862F; }\n.cnk-comp-table .cnk-col-cortex {\n background: rgba(212, 165, 81, 0.08); font-weight: 600;\n}\n.cnk-section-light .cnk-comp-table .cnk-col-cortex { background: rgba(184, 134, 47, 0.10); }\n.cnk-triple { display: grid; grid-template-columns: repeat(3, 1fr); gap: 24px; margin: 48px 0; }\n.cnk-triple-col { padding: 36px 30px; border-radius: 2px; border-top: 4px solid; }\n.cnk-triple-col.cnk-tp-green { border-color: #2E8B57; background: rgba(46, 139, 87, 0.06); }\n.cnk-triple-col.cnk-tp-blue { border-color: #1E5C8F; background: rgba(30, 92, 143, 0.06); }\n.cnk-triple-col.cnk-tp-amber { border-color: #C97A3A; background: rgba(201, 122, 58, 0.06); }\n.cnk-section-light .cnk-tp-green { background: rgba(46, 139, 87, 0.08); }\n.cnk-section-light .cnk-tp-blue { background: rgba(30, 92, 143, 0.08); }\n.cnk-section-light .cnk-tp-amber { background: rgba(201, 122, 58, 0.08); }\n.cnk-triple-level { font-size: 12px; font-weight: 700; letter-spacing: 0.18em; text-transform: uppercase; margin-bottom: 8px; }\n.cnk-tp-green .cnk-triple-level { color: #2E8B57; }\n.cnk-tp-blue .cnk-triple-level { color: #4A8FBF; }\n.cnk-tp-amber .cnk-triple-level { color: #C97A3A; }\n.cnk-triple-when { font-size: 13px; opacity: 0.7; margin-bottom: 24px; font-style: italic; }\n.cnk-triple-cat {\n font-size: 11.5px; font-weight: 700; letter-spacing: 0.14em; text-transform: uppercase;\n color: #6B9BD1; margin: 18px 0 6px;\n}\n.cnk-section-light .cnk-triple-cat { color: #4A78B0; }\n.cnk-triple-text { font-size: 14.5px; line-height: 1.55; margin: 0; }\n.cnk-triple-arg {\n font-weight: 600; margin-top: 16px; padding-top: 16px;\n border-top: 1px solid rgba(232, 238, 247, 0.10);\n}\n.cnk-section-light .cnk-triple-arg { border-top-color: rgba(26, 40, 66, 0.10); }\n.cnk-layers { margin: 48px 0; display: flex; flex-direction: column; gap: 4px; }\n.cnk-layer {\n display: grid; grid-template-columns: 80px 220px 1fr; gap: 32px; align-items: center;\n padding: 28px 32px; background: rgba(26, 40, 66, 0.05);\n border-left: 4px solid #D4A551; border-radius: 2px;\n}\n.cnk-layer-num { font-family: \"Cormorant Garamond\", Georgia, serif; font-size: 56px; font-weight: 500; color: #D4A551; line-height: 1; }\n.cnk-layer-title { font-size: 17px; font-weight: 700; color: #1A2842; margin: 0 0 6px; }\n.cnk-layer-sub { font-size: 12.5px; font-weight: 600; letter-spacing: 0.12em; text-transform: uppercase; color: #4A78B0; }\n.cnk-layer-desc { font-size: 15px; line-height: 1.6; color: #4A5868; margin: 0; }\n.cnk-section-dark .cnk-layer { background: rgba(255, 255, 255, 0.03); }\n.cnk-section-dark .cnk-layer-title { color: #FFFFFF; }\n.cnk-section-dark .cnk-layer-sub { color: #6B9BD1; }\n.cnk-section-dark .cnk-layer-desc { color: #B8C5D9; }\n.cnk-install-grid { display: grid; grid-template-columns: repeat(auto-fit, minmax(300px, 1fr)); gap: 24px; margin: 48px 0; }\n.cnk-install {\n padding: 36px 32px; background: rgba(26, 40, 66, 0.04);\n border-top: 3px solid #D4A551; border-radius: 2px;\n}\n.cnk-section-dark .cnk-install { background: rgba(255, 255, 255, 0.03); }\n.cnk-install-level { font-size: 11.5px; font-weight: 700; letter-spacing: 0.14em; text-transform: uppercase; color: #D4A551; margin-bottom: 8px; }\n.cnk-install-title { font-size: 19px; font-weight: 700; margin: 0 0 12px; color: #1A2842; }\n.cnk-section-dark .cnk-install-title { color: #FFFFFF; }\n.cnk-install-arch {\n font-family: \"SF Mono\", Menlo, Consolas, monospace; font-size: 12.5px;\n background: rgba(26, 40, 66, 0.06); padding: 12px 16px; border-radius: 2px;\n margin: 12px 0 20px; color: #4A78B0; letter-spacing: 0.02em;\n}\n.cnk-section-dark .cnk-install-arch { background: rgba(255, 255, 255, 0.04); color: #6B9BD1; }\n.cnk-install-text { font-size: 14.5px; line-height: 1.6; color: #4A5868; margin: 0; }\n.cnk-section-dark .cnk-install-text { color: #B8C5D9; }\n.cnk-timeline { display: grid; grid-template-columns: repeat(auto-fit, minmax(180px, 1fr)); gap: 16px; margin-top: 40px; }\n.cnk-timeline-step {\n padding: 24px 20px; background: rgba(255, 255, 255, 0.025);\n border-top: 2px solid #D4A551; border-radius: 2px;\n}\n.cnk-timeline-date { font-size: 12px; font-weight: 600; letter-spacing: 0.14em; text-transform: uppercase; color: #D4A551; margin-bottom: 8px; }\n.cnk-timeline-step-title { font-size: 16px; font-weight: 600; color: #FFFFFF; margin: 0 0 6px; }\n.cnk-timeline-step-desc { font-size: 13.5px; color: #B8C5D9; line-height: 1.5; margin: 0; }\n.cnk-cta-band { background: #0A1A33; padding: 80px 24px; text-align: center; border-top: 1px solid rgba(212, 165, 81, 0.20); }\n.cnk-cta-band .cnk-eyebrow { color: #D4A551; }\n.cnk-cta-title { font-family: \"Cormorant Garamond\", Georgia, serif; font-size: 44px; font-weight: 400; color: #FFFFFF; margin: 0 0 32px; }\n.cnk-cta-buttons { display: flex; gap: 16px; justify-content: center; flex-wrap: wrap; }\n.cnk-btn {\n display: inline-block; padding: 14px 32px; font-size: 13px; font-weight: 600;\n letter-spacing: 0.14em; text-transform: uppercase; text-decoration: none; border-radius: 2px;\n transition: background 0.2s ease, color 0.2s ease;\n}\n.cnk-btn-primary { background: #D4A551; color: #0A1A33; border: 1px solid #D4A551; }\n.cnk-btn-primary:hover { background: #E0B569; color: #0A1A33; }\n.cnk-btn-secondary { background: transparent; color: #E8EEF7; border: 1px solid rgba(232, 238, 247, 0.3); }\n.cnk-btn-secondary:hover { border-color: #D4A551; color: #D4A551; }\n.cnk-records { display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); gap: 20px; margin: 48px 0; }\n.cnk-record {\n background: linear-gradient(135deg, rgba(212,165,81,0.10) 0%, rgba(212,165,81,0.03) 100%);\n border: 1px solid rgba(212,165,81,0.35); border-radius: 4px; padding: 28px 24px;\n transition: transform 0.2s ease;\n}\n.cnk-record:hover { transform: translateY(-3px); border-color: rgba(212,165,81,0.6); }\n.cnk-record-medal { font-size: 32px; margin-bottom: 14px; display: block; }\n.cnk-record-badge {\n display: inline-block; font-family: \"JetBrains Mono\", \"SF Mono\", monospace;\n font-size: 10.5px; font-weight: 700; letter-spacing: 0.18em; text-transform: uppercase;\n color: #D4A551; background: rgba(212,165,81,0.10); padding: 4px 10px; border-radius: 2px; margin-bottom: 12px;\n}\n.cnk-record-title { font-size: 18px; font-weight: 700; color: #FFFFFF; margin: 0 0 10px; }\n.cnk-record-text { font-size: 14px; line-height: 1.55; color: #B8C5D9; margin: 0; }\n.cnk-record-ref {\n font-family: \"JetBrains Mono\", monospace; font-size: 11.5px;\n color: #6B9BD1; margin-top: 12px; letter-spacing: 0.04em;\n}\n.cnk-disclaimer {\n margin-top: 48px; padding: 24px 28px; background: rgba(212, 165, 81, 0.06);\n border-left: 2px solid rgba(212, 165, 81, 0.5);\n font-size: 13.5px; line-height: 1.6; color: #B8C5D9;\n}\n.cnk-section-light .cnk-disclaimer {\n background: rgba(74, 120, 176, 0.06); border-left-color: #4A78B0; color: #4A5868;\n}\n.cnk-disclaimer strong { color: #D4A551; font-weight: 600; }\n.cnk-section-light .cnk-disclaimer strong { color: #1A2842; }\n@media (max-width: 900px) {\n .cnk-layer { grid-template-columns: 60px 1fr; }\n}\n@media (max-width: 768px) {\n .cnk-title { font-size: 42px; }\n .cnk-cta-title { font-size: 32px; }\n .cnk-section-dark, .cnk-section-light { padding: 64px 20px; }\n .cnk-triple { grid-template-columns: 1fr; }\n .cnk-metric-value { font-size: 34px; }\n .cnk-benchmark-table { font-size: 13px; }\n .cnk-benchmark-table th, .cnk-benchmark-table td { padding: 10px 8px; }\n .cnk-layer { grid-template-columns: 1fr; gap: 16px; padding: 24px; }\n .cnk-layer-num { font-size: 42px; }\n}\n\/* PATCH v2.1 \u2014 Lisibilit\u00e9 tableaux fond sombre *\/\n.cnk-section-dark .cnk-benchmark-table { color: #E8EEF7 !important; }\n.cnk-section-dark .cnk-benchmark-table tbody td { color: #E8EEF7 !important; }\n.cnk-section-dark .cnk-benchmark-table tbody td strong { color: #FFFFFF !important; }\n.cnk-section-dark .cnk-benchmark-table tbody td span { color: #B8C5D9 !important; }\n.cnk-section-dark .cnk-benchmark-table .cnk-mono { color: #B8C5D9 !important; }\n.cnk-section-dark .cnk-benchmark-table .cnk-num { color: #E8EEF7 !important; }\n.cnk-section-dark .cnk-benchmark-table .cnk-num-hi { color: #D4A551 !important; }\n.cnk-section-dark .cnk-cell-ok { color: #7BC489 !important; }\n.cnk-section-dark .cnk-cell-ko { color: #D67676 !important; }\n.cnk-section-dark .cnk-cell-mid { color: #D4A551 !important; }\n.cnk-section-dark .cnk-benchmark-table th { color: #6B9BD1 !important; border-bottom-color: rgba(212, 165, 81, 0.3) !important; }\n.cnk-section-dark .cnk-benchmark-table th, .cnk-section-dark .cnk-benchmark-table td { border-bottom-color: rgba(232, 238, 247, 0.10) !important; }\n.cnk-section-dark .cnk-benchmark-table tbody tr:hover { background: rgba(212, 165, 81, 0.06) !important; }\n.cnk-section-dark .cnk-comp-table .cnk-col-cortex { background: rgba(212, 165, 81, 0.12) !important; color: #FFFFFF !important; }\n.cnk-section-dark .cnk-comp-table .cnk-col-cortex strong { color: #D4A551 !important; }\n.cnk-section-dark .cnk-benchmark-table .cnk-cell-center { color: #E8EEF7 !important; }\n.cnk-section-dark .cnk-disclaimer {\n background: rgba(212, 165, 81, 0.08) !important;\n border-left-color: rgba(212, 165, 81, 0.5) !important; color: #B8C5D9 !important;\n}\n.cnk-section-dark .cnk-disclaimer strong { color: #D4A551 !important; }\n<\/style>\n \n<div class=\"cnk-fullwidth-wrapper\">\n<div class=\"cortex-nk-wrapper\">\n \n<!-- ===== SECTION 1 \u2014 HERO v2.3 (campagne gcc-PROD 12\/12 \u00b7 claims recalibr\u00e9s) ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Micronoyau souverain \u00b7 Programme Cortex Origin\u2122 \u00b7 Juin 2026<\/div>\n <h1 class=\"cnk-title\">CORTEX NK\u2122 \u2014 <em>le socle de confiance born\u00e9<\/em><\/h1>\n <p class=\"cnk-signature\">L’<em>Intel Inside<\/em> de la confiance cyber et IA souveraine.<\/p>\n <p style=\"font-family: 'JetBrains Mono', monospace; font-size: 17px; line-height: 1.5; letter-spacing: 0.08em; text-transform: uppercase; color: #D4A551; text-align: center; margin: 8px 0 32px; font-weight: 600;\">\n COUVERTURE CRYPTO 9,5\/10 \u00b7 auto-\u00e9valuation CFVL \u00b7 16 primitives BINAIRE prouv\u00e9es CT ET benchmark\u00e9es \u00b7 HQC \ud83c\uddeb\ud83c\uddf7 inclus\n <\/p>\n <p class=\"cnk-subtitle\">\n Cortex NK\u2122 est un composant logiciel de confiance \u00e0 p\u00e9rim\u00e8tre born\u00e9 \u2014 un noyau minimaliste,\n cloisonn\u00e9 et cryptographiquement agile, destin\u00e9 \u00e0 s\u00e9curiser l’ex\u00e9cution des fonctions critiques\n d’un syst\u00e8me IA ou cyber et \u00e0 porter une trajectoire de certification haute assurance EAL7.\n Stack crypto \u00e0 <strong>16 primitives formellement prouv\u00e9es CT au niveau binaire<\/strong>\n (SHA-256\/512 \u00b7 HMAC \u00b7 ChaCha20-Poly1305 \u00b7 HKDF \u00b7 SHA-3 \u00b7 BLAKE2b \u00b7 X25519 \u00b7 Ed25519 \u00b7 FrodoKEM-64 PQC),\n dont les <strong>12 primitives du TCB cryptographique re-prouv\u00e9es CT sur la toolchain de production exacte<\/strong>\n (gcc-O2 bare-metal). Ces <strong>16 primitives sont aussi toutes benchmark\u00e9es en performance<\/strong> (impl\u00e9mentation HACL*),\n compl\u00e9t\u00e9es par <strong>8 primitives PQC\/r\u00e9f\u00e9rence mesur\u00e9es<\/strong> via liboqs (ML-KEM \u00b7 ML-DSA \u00b7 SLH-DSA \u00b7 BIKE\n \u00b7 HQC \ud83c\uddeb\ud83c\uddf7). Il ne s’installe pas <em>\u00e0 la place<\/em> de votre syst\u00e8me \u2014 il s’installe\n <em>en-dessous<\/em>, comme racine de confiance.\n <\/p>\n \n <div class=\"cnk-hero-metrics\">\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">2 287 <span>LOC<\/span><\/p><p class=\"cnk-metric-label\">TCB minimal \u00b7 audit cloc reproductible<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">0,90 <span>ns<\/span><\/p><p class=\"cnk-metric-label\">R\u00e9action TCB \u00b7 best-case<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">10 538<\/p><p class=\"cnk-metric-label\">Th\u00e9or\u00e8mes Isabelle\/HOL \u00b7 0 sorry<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">16 <span>BINAIRE<\/span><\/p><p class=\"cnk-metric-label\">Primitives crypto prouv\u00e9es CT<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">12\/12<\/p><p class=\"cnk-metric-label\">TCB cryptographique \u00b7 CT sur toolchain de prod<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">72 <span>+<\/span><\/p><p class=\"cnk-metric-label\">Preuves Binsec\/Rel cross-arch<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">1 804\/1 804<\/p><p class=\"cnk-metric-label\">Frama-C\/WP Module 14 \u00b7 100 %<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">2 305<\/p><p class=\"cnk-metric-label\">CBMC \u00b7 0 failure<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">442<\/p><p class=\"cnk-metric-label\">Tests E2E PASS cumul\u00e9s<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">16,7 <span>Mds+<\/span><\/p><p class=\"cnk-metric-label\">Fuzzing NK \u00b7 48 h \u00b7 0 crash<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">9,5<span>\/10<\/span><\/p><p class=\"cnk-metric-label\">Couverture crypto \u00b7 auto-\u00e9valuation CFVL<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">99,90 <span>%<\/span><\/p><p class=\"cnk-metric-label\">Palier formel ferme<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">5 <span>modules<\/span><\/p><p class=\"cnk-metric-label\">TCB livr\u00e9s \u00b7 4 PRs merg\u00e9es + 1 en cours<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">20 700 <span>lignes<\/span><\/p><p class=\"cnk-metric-label\">\u00c9vidence formelle CT\/NI \u00b7 20 661 art\u00e9facts v\u00e9rifi\u00e9s<\/p><\/div>\n <div class=\"cnk-metric\"><p class=\"cnk-metric-value\">98,1 <span>%<\/span><\/p><p class=\"cnk-metric-label\">TCB strict \u00b7 4 modules Frama-C\/WP \u2265 96 %<\/p><\/div>\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 2 \u2014 PREMI\u00c8RES DOCUMENT\u00c9ES ===== -->\n<section class=\"cnk-section-light\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Premi\u00e8res document\u00e9es \u00b7 v\u00e9rifiables<\/div>\n <h2 class=\"cnk-title\">Ce que personne d’autre <em>ne documente publiquement<\/em><\/h2>\n <p class=\"cnk-subtitle\" style=\"color: #4A5868;\">\n Une s\u00e9rie de r\u00e9sultats de pointe document\u00e9s et v\u00e9rifiables en data room. \u00c0 notre connaissance,\n CORTEX NK\u2122 est le seul micronoyau crypto \u00e0 combiner preuves CT au binaire, modules TCB\n applicatifs prouv\u00e9s, orchestrations multi-modules et v\u00e9rification PQC ind\u00e9pendante\n (ML-KEM-768, FrodoKEM-640) \u2014 parmi les projets publiquement document\u00e9s.\n <\/p>\n \n <div class=\"cnk-records\" style=\"background: transparent;\">\n \n <div class=\"cnk-record\" style=\"background: linear-gradient(135deg, rgba(184,134,47,0.08) 0%, rgba(184,134,47,0.02) 100%); border-color: rgba(184,134,47,0.35);\">\n <span class=\"cnk-record-medal\">\ud83d\udd2c<\/span>\n <span class=\"cnk-record-badge\" style=\"color: #B8862F;\">PARMI LES PREMI\u00c8RES PUBLI\u00c9ES<\/span>\n <h3 class=\"cnk-record-title\" style=\"color: #1A2842;\">FrodoKEM CT au binaire \u2014 n=64 \u2192 prod 640<\/h3>\n <p class=\"cnk-record-text\" style=\"color: #4A5868;\">\n Preuve formelle de Constant-Time au niveau binaire de FrodoKEM : d’abord sur la variante\n de test n=64 (BINSEC-036, mai 2026), puis au param\u00e8tre de production FrodoKEM-640 NIST L1\n (BINSEC-045). La comparaison FO cibl\u00e9e par l’attaque Guo-Johansson-Nilsson 2020 est confirm\u00e9e\n CT sur le binaire de prod. V\u00e9rification ind\u00e9pendante, compl\u00e9mentaire des travaux Formosa\/libcrux\n c\u00f4t\u00e9 ML-KEM. Hors TCB cryptographique BL2.\n <\/p>\n <p class=\"cnk-record-ref\" style=\"color: #4A78B0;\">CFVL-BINSEC-036 \/ 045 \u00b7 hors TCB BL2<\/p>\n <\/div>\n \n <div class=\"cnk-record\" style=\"background: linear-gradient(135deg, rgba(184,134,47,0.08) 0%, rgba(184,134,47,0.02) 100%); border-color: rgba(184,134,47,0.35);\">\n <span class=\"cnk-record-medal\">\u2b50<\/span>\n <span class=\"cnk-record-badge\" style=\"color: #B8862F;\">\u2713 TOOLCHAIN PROD<\/span>\n <h3 class=\"cnk-record-title\" style=\"color: #1A2842;\">X25519 ECDH binaire CT<\/h3>\n <p class=\"cnk-record-text\" style=\"color: #4A5868;\">\n Preuve formelle de Constant-Time au niveau binaire de X25519 (Elliptic Curve Diffie-Hellman),\n standard de facto pour TLS 1.3, WireGuard, Signal, SSH. Cross-architecture (Sprint 85.2),\n re-prouv\u00e9 sur la toolchain de production exacte \u2014 BINSEC-041 COMPLETE, gcc-O2 bare-metal.\n <\/p>\n <p class=\"cnk-record-ref\" style=\"color: #4A78B0;\">CFVL-BINSEC-030 \/ 041 \u00b7 toolchain prod<\/p>\n <\/div>\n \n <div class=\"cnk-record\" style=\"background: linear-gradient(135deg, rgba(184,134,47,0.08) 0%, rgba(184,134,47,0.02) 100%); border-color: rgba(184,134,47,0.35);\">\n <span class=\"cnk-record-medal\">\u2b50<\/span>\n <span class=\"cnk-record-badge\" style=\"color: #B8862F;\">SANS \u00c9QUIVALENT PUBLI\u00c9 CONNU<\/span>\n <h3 class=\"cnk-record-title\" style=\"color: #1A2842;\">Orchestration QUINTET NIVEAU 7-D<\/h3>\n <p class=\"cnk-record-text\" style=\"color: #4A5868;\">\n Premi\u00e8re orchestration formellement prouv\u00e9e CT de 5 modules TCB simultan\u00e9s publiquement\n document\u00e9e, \u00e0 notre connaissance (mesh + ipc_stub + audit_log + chacha_sodium + pqc_stack)\n avec 6 SECRETs distincts, convergence ARM64\/x86-64 \u0394=0 parfaite. Aucun concurrent connu\n ne documente plus de 2 modules.\n <\/p>\n <p class=\"cnk-record-ref\" style=\"color: #4A78B0;\">CFVL-BINSEC-035 \u00b7 Sprint 87 \u00b7 24 mai 2026<\/p>\n <\/div>\n \n <div class=\"cnk-record\" style=\"background: linear-gradient(135deg, rgba(184,134,47,0.08) 0%, rgba(184,134,47,0.02) 100%); border-color: rgba(184,134,47,0.35);\">\n <span class=\"cnk-record-medal\">\u2b50<\/span>\n <span class=\"cnk-record-badge\" style=\"color: #B8862F;\">SANS \u00c9QUIVALENT PUBLI\u00c9 CONNU<\/span>\n <h3 class=\"cnk-record-title\" style=\"color: #1A2842;\">-O2 production-grade \u00d7 4 primitives<\/h3>\n <p class=\"cnk-record-text\" style=\"color: #4A5868;\">\n Preuve CT au binaire sous optimisation -O2 agressive sur 4 primitives critiques \u2014\n SHA-256, HMAC-SHA-256, Poly1305, ChaCha20 \u2014 sans \u00e9quivalent publi\u00e9 connu. CT pr\u00e9serv\u00e9e\n sous vectorisation NEON\/AVX2. Argument production-grade direct.\n <\/p>\n <p class=\"cnk-record-ref\" style=\"color: #4A78B0;\">CFVL-BINSEC-031\/034 \u00b7 Sprint 86 \u00b7 26 mai 2026<\/p>\n <\/div>\n \n <div class=\"cnk-record\" style=\"background: linear-gradient(135deg, rgba(184,134,47,0.08) 0%, rgba(184,134,47,0.02) 100%); border-color: rgba(184,134,47,0.35);\">\n <span class=\"cnk-record-medal\">\ud83e\udd47<\/span>\n <span class=\"cnk-record-badge\" style=\"color: #B8862F;\">PREMI\u00c8RE DOCUMENT\u00c9E PUBLIQUEMENT<\/span>\n <h3 class=\"cnk-record-title\" style=\"color: #1A2842;\">Secure Boot post-quantique S1-S10<\/h3>\n <p class=\"cnk-record-text\" style=\"color: #4A5868;\">\n \u00c0 notre connaissance, premi\u00e8re cha\u00eene Secure Boot post-quantique formellement v\u00e9rifi\u00e9e\n publiquement document\u00e9e. Signature hybride Ed25519 + ML-DSA-87 (FIPS 204). Boot compos\u00e9\n 0,55 ms \u00b7 orchestr\u00e9 1,51 ms. 211\/211 tests E2E PASS \u00b7 6 th\u00e9or\u00e8mes Isabelle\/HOL.\n <\/p>\n <p class=\"cnk-record-ref\" style=\"color: #4A78B0;\">CFVL-BENCH-SECBOOT-001 v2.0 \u00b7 PR #16 \u00b7 21 mai 2026<\/p>\n <\/div>\n \n <div class=\"cnk-record\" style=\"background: linear-gradient(135deg, rgba(184,134,47,0.08) 0%, rgba(184,134,47,0.02) 100%); border-color: rgba(184,134,47,0.35);\">\n <span class=\"cnk-record-medal\">\ud83e\udd47<\/span>\n <span class=\"cnk-record-badge\" style=\"color: #B8862F;\">PREMI\u00c8RE DOCUMENT\u00c9E PUBLIQUEMENT<\/span>\n <h3 class=\"cnk-record-title\" style=\"color: #1A2842;\">Audit Log applicatif HMAC cha\u00een\u00e9<\/h3>\n <p class=\"cnk-record-text\" style=\"color: #4A5868;\">\n \u00c0 notre connaissance, premier journal d’audit applicatif formellement v\u00e9rifi\u00e9 publiquement\n document\u00e9, int\u00e9grant le cha\u00eenage cryptographique HMAC-SHA256 (HACL*), l’ancrage TPM 2.0 PCR,\n et la propri\u00e9t\u00e9 anti-tamper formellement prouv\u00e9e. Append 1,50 \u00b5s.\n <\/p>\n <p class=\"cnk-record-ref\" style=\"color: #4A78B0;\">CFVL-EVAL-NK-AUDIT-001 v1.0 \u00b7 PR #18 \u00b7 22 mai 2026<\/p>\n <\/div>\n \n <div class=\"cnk-record\" style=\"background: linear-gradient(135deg, rgba(184,134,47,0.08) 0%, rgba(184,134,47,0.02) 100%); border-color: rgba(184,134,47,0.35);\">\n <span class=\"cnk-record-medal\">\ud83e\udd47<\/span>\n <span class=\"cnk-record-badge\" style=\"color: #B8862F;\">PREMI\u00c8RE DOCUMENT\u00c9E PUBLIQUEMENT<\/span>\n <h3 class=\"cnk-record-title\" style=\"color: #1A2842;\">Auto-Containment M\u00e9moire monotone<\/h3>\n <p class=\"cnk-record-text\" style=\"color: #4A5868;\">\n \u00c0 notre connaissance, premi\u00e8re couche d’auto-confinement au-dessus du MMU formellement\n prouv\u00e9e publiquement document\u00e9e. Quarantaine m\u00e9moire monotone, journal cryptographique\n immuable, invariants structurels. MTTD moyen 18,76 ns \u00b7 339\/339 Frama-C\/WP (100%).\n <\/p>\n <p class=\"cnk-record-ref\" style=\"color: #4A78B0;\">CFVL-BENCH-CONTAINMENT-001 v1.0 \u00b7 PR #17 \u00b7 22 mai 2026<\/p>\n <\/div>\n \n <div class=\"cnk-record\" style=\"background: linear-gradient(135deg, rgba(184,134,47,0.08) 0%, rgba(184,134,47,0.02) 100%); border-color: rgba(184,134,47,0.35);\">\n <span class=\"cnk-record-medal\">\ud83e\udd47<\/span>\n <span class=\"cnk-record-badge\" style=\"color: #B8862F;\">PREMI\u00c8RE DOCUMENT\u00c9E PUBLIQUEMENT<\/span>\n <h3 class=\"cnk-record-title\" style=\"color: #1A2842;\">Mesh attestation PQC AND-strict<\/h3>\n <p class=\"cnk-record-text\" style=\"color: #4A5868;\">\n \u00c0 notre connaissance, premier module d’attestation distante applicatif publiquement\n document\u00e9 combinant signature hybride AND-strict Ed25519 + ML-DSA-87 et preuve formelle\n compl\u00e8te de la propri\u00e9t\u00e9 quantum-safe (2 th\u00e9or\u00e8mes HOL d\u00e9di\u00e9s). V\u00e9rification 137 ns.\n <\/p>\n <p class=\"cnk-record-ref\" style=\"color: #4A78B0;\">CFVL-EVAL-NK-MESH-001 v1.0 \u00b7 PR #19 \u00b7 24 mai 2026<\/p>\n <\/div>\n \n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 3 \u2014 COMPARATIF COUVERTURE CRYPTO ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Comparatif couverture crypto \u00b7 auto-\u00e9valuation CFVL \u00b7 score sur 10<\/div>\n <h2 class=\"cnk-title\">La couverture crypto la plus large <em>document\u00e9e publiquement<\/em><\/h2>\n <p class=\"cnk-subtitle\">\n Comparaison par couverture crypto effective au niveau binaire \u2014 la m\u00e9trique discriminante pour\n les syst\u00e8mes critiques applicatifs \u2014 en auto-\u00e9valuation CFVL sur sources publiques. Sur cette\n grille, CORTEX NK\u2122 devance le N\u00b02 (EverCrypt) de 2,5 points en combinant primitives binaire CT,\n modules TCB application, orchestrations multi-modules et PQC.\n <\/p>\n \n <table class=\"cnk-benchmark-table cnk-comp-table\">\n <thead>\n <tr>\n <th style=\"width:60px;\">Rang<\/th>\n <th>Projet<\/th>\n <th style=\"text-align:right;\">Score<\/th>\n <th>Primitives BINAIRE<\/th>\n <th>Modules TCB<\/th>\n <th>Orchestration<\/th>\n <th>PQC binaire<\/th>\n <th>ECDH binaire<\/th>\n <\/tr>\n <\/thead>\n <tbody>\n <tr style=\"background: rgba(212,165,81,0.10);\">\n <td class=\"cnk-cell-center\"><strong style=\"color:#D4A551; font-size: 18px;\">1<\/strong> \ud83c\udfc6<\/td>\n <td><strong style=\"color:#D4A551;\">CORTEX NK<\/strong> <span style=\"font-size:11px; opacity:0.7;\">\ud83c\uddeb\ud83c\uddf7 France<\/span><\/td>\n <td class=\"cnk-num cnk-num-hi\"><strong>9,5<\/strong>\/10<\/td>\n <td><strong style=\"color:#D4A551;\">16<\/strong><\/td>\n <td><strong style=\"color:#D4A551;\">5 (NIV 7-D)<\/strong><\/td>\n <td><strong style=\"color:#D4A551;\">5<\/strong><\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713 FrodoKEM-64<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713 X25519<\/td>\n <\/tr>\n <tr><td class=\"cnk-cell-center\">2<\/td><td>EverCrypt <span style=\"font-size:11px; opacity:0.5;\">\ud83c\uddfa\ud83c\uddf8 MSR<\/span><\/td><td class=\"cnk-num\">7\/10<\/td><td>15+ (F* logique)<\/td><td>0<\/td><td>0<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><\/tr>\n <tr><td class=\"cnk-cell-center\">2<\/td><td>Galois SAW <span style=\"font-size:11px; opacity:0.5;\">\ud83c\uddfa\ud83c\uddf8 USA<\/span><\/td><td class=\"cnk-num\">7\/10<\/td><td>8-12 binaire<\/td><td>quelques<\/td><td>partielle<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><\/tr>\n <tr><td class=\"cnk-cell-center\">4<\/td><td>HACL* (F*) <span style=\"font-size:11px; opacity:0.5;\">\ud83c\uddfa\ud83c\uddf8\/\ud83c\uddeb\ud83c\uddf7 MSR\/INRIA<\/span><\/td><td class=\"cnk-num\">6\/10<\/td><td>15+ (F* logique)<\/td><td>0<\/td><td>0<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><\/tr>\n <tr><td class=\"cnk-cell-center\">5<\/td><td>WolfSSL Cryptol <span style=\"font-size:11px; opacity:0.5;\">\ud83c\uddfa\ud83c\uddf8<\/span><\/td><td class=\"cnk-num\">4\/10<\/td><td>3-5 binaire<\/td><td>minimal<\/td><td>0<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><\/tr>\n <tr><td class=\"cnk-cell-center\">6<\/td><td>BoringSSL <span style=\"font-size:11px; opacity:0.5;\">\ud83c\uddfa\ud83c\uddf8 Google<\/span><\/td><td class=\"cnk-num\">2\/10<\/td><td>0 (tests seulement)<\/td><td>0<\/td><td>0<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><\/tr>\n <tr><td class=\"cnk-cell-center\">7<\/td><td>seL4 <span style=\"font-size:11px; opacity:0.5;\">\ud83c\udde6\ud83c\uddfa Linux Found.<\/span><\/td><td class=\"cnk-num\">1\/10<\/td><td>0 (hors crypto)<\/td><td>microkernel only<\/td><td>N\/A<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><\/tr>\n <tr><td class=\"cnk-cell-center\">8<\/td><td>OpenSSL FIPS <span style=\"font-size:11px; opacity:0.5;\">\ud83c\uddfa\ud83c\uddf8<\/span><\/td><td class=\"cnk-num\">1\/10<\/td><td>0 (tests seulement)<\/td><td>0<\/td><td>0<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><\/tr>\n <tr><td class=\"cnk-cell-center\">9<\/td><td>CompCert <span style=\"font-size:11px; opacity:0.5;\">\ud83c\uddeb\ud83c\uddf7 INRIA<\/span><\/td><td class=\"cnk-num\">0\/10<\/td><td>0 (hors crypto)<\/td><td>compilateur only<\/td><td>N\/A<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td><\/tr>\n <\/tbody>\n <\/table>\n \n <div class=\"cnk-disclaimer\">\n <strong>Lecture du comparatif.<\/strong> Le score COUVERTURE crypto est une\n <strong>auto-\u00e9valuation CFVL construite sur sources publiques<\/strong> (juin 2026) \u2014 pas un\n classement d\u00e9livr\u00e9 par un organisme tiers. Il \u00e9value 6 crit\u00e8res : primitives binaire prouv\u00e9es\n (3 pts), modules TCB application (2 pts), orchestrations multi-modules (2 pts), -O2\n production-grade (1 pt), PQC binaire CT (1 pt), ECDH binaire CT (1 pt). seL4 et CompCert\n atteignent 99,95% sur leur scope (microkernel et compilateur) mais ne couvrent\n <strong>pas<\/strong> la cryptographie applicative \u2014 c’est compl\u00e9mentaire \u00e0 CORTEX NK, pas\n concurrent. HACL*\/EverCrypt excellent sur preuves F* logique mais sans preuves binaire ni\n orchestration. \u00c0 notre connaissance, CORTEX NK est seul \u00e0 combiner les 6 axes parmi les\n projets publiquement document\u00e9s.\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 4 \u2014 5 PROBL\u00c8MES ===== -->\n<section class=\"cnk-section-light\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Pourquoi Cortex NK\u2122<\/div>\n <h2 class=\"cnk-title\">Cinq probl\u00e8mes qu’aucun <em>syst\u00e8me classique<\/em> ne r\u00e9sout<\/h2>\n <p class=\"cnk-subtitle\" style=\"color: #4A5868;\">\n Les syst\u00e8mes d’exploitation traditionnels pr\u00e9sentent une surface d’attaque trop large,\n des d\u00e9pendances complexes et des privil\u00e8ges trop \u00e9lev\u00e9s. Cortex NK\u2122 ram\u00e8ne la s\u00e9curit\u00e9\n \u00e0 sa base \u2014 emp\u00eacher qu’une compromission locale devienne <em>syst\u00e9mique<\/em>.\n <\/p>\n \n <div class=\"cnk-card-grid\">\n <div class=\"cnk-card cnk-card-light\">\n <span class=\"cnk-card-num\">01<\/span>\n <h3 class=\"cnk-card-title\">Surface d’attaque excessive<\/h3>\n <p class=\"cnk-card-text\">\n Trop de code, trop de privil\u00e8ges. Une faille devient escalade de privil\u00e8ges, puis ransomware,\n puis persistance furtive. Cortex NK\u2122 ram\u00e8ne le TCB \u00e0 <strong>2 287 lignes de code C audit\u00e9es<\/strong>\n \u2014 soit pr\u00e8s de <strong>quatre fois moins que seL4<\/strong>, le micronoyau de r\u00e9f\u00e9rence mondial. Audit\n reproductible via <code style=\"background:rgba(10,26,51,0.08); padding:1px 5px; border-radius:2px; font-size:0.9em;\">cloc<\/code>.\n Isolation forte, s\u00e9paration stricte.\n <\/p>\n <p class=\"cnk-card-tags\">TCB minimal \u00b7 Isolation<\/p>\n <\/div>\n \n <div class=\"cnk-card cnk-card-light\">\n <span class=\"cnk-card-num\">02<\/span>\n <h3 class=\"cnk-card-title\">Zero Trust th\u00e9orique<\/h3>\n <p class=\"cnk-card-text\">\n La plupart des architectures Zero Trust reposent encore sur des composants permissifs.\n Cortex NK\u2122 apporte un Zero Trust <em>by Architecture<\/em> \u2014 chaque composant isol\u00e9,\n authentifi\u00e9, et limit\u00e9 \u00e0 son strict p\u00e9rim\u00e8tre.\n <\/p>\n <p class=\"cnk-card-tags\">Zero Trust natif<\/p>\n <\/div>\n \n <div class=\"cnk-card cnk-card-light\">\n <span class=\"cnk-card-num\">03<\/span>\n <h3 class=\"cnk-card-title\">Propagation des compromissions<\/h3>\n <p class=\"cnk-card-text\">\n Une machine compromise propage le risque \u00e0 tout le SI. Cortex NK\u2122 isole les couches critiques :\n une intrusion locale reste locale. Pas d’\u00e9l\u00e9vation, pas de mouvement lat\u00e9ral, pas d’exfiltration\n en masse. Module Auto-Containment monotone formellement prouv\u00e9 (PR #17).\n <\/p>\n <p class=\"cnk-card-tags\">Containment natif \u00b7 Prouv\u00e9<\/p>\n <\/div>\n \n <div class=\"cnk-card cnk-card-light\">\n <span class=\"cnk-card-num\">04<\/span>\n <h3 class=\"cnk-card-title\">Confiance des syst\u00e8mes critiques<\/h3>\n <p class=\"cnk-card-text\">\n Comment prouver qu’un composant critique est fiable ? Cortex NK\u2122 sert de socle de confiance\n logiciel auditable et formellement v\u00e9rifi\u00e9 \u2014 d\u00e9fense, sant\u00e9, industrie, spatial, \u00e9nergie,\n souverainet\u00e9 num\u00e9rique. <strong>10 538 th\u00e9or\u00e8mes Isabelle\/HOL \u00b7 0 sorry.<\/strong>\n <\/p>\n <p class=\"cnk-card-tags\">Auditabilit\u00e9 \u00b7 0 sorry<\/p>\n <\/div>\n \n <div class=\"cnk-card cnk-card-light\">\n <span class=\"cnk-card-num\">05<\/span>\n <h3 class=\"cnk-card-title\">Menace post-quantique<\/h3>\n <p class=\"cnk-card-text\">\n Les ordinateurs quantiques rendront caduques RSA et ECC dans la d\u00e9cennie. Avec ML-KEM,\n ML-DSA, SLH-DSA, BIKE et <strong>HQC-256 (INRIA France) mesur\u00e9 \u00e0 4,72 ms<\/strong> int\u00e9gr\u00e9s\n via liboqs, <strong>+ FrodoKEM-640 et ML-KEM-768 v\u00e9rifi\u00e9s CT au binaire (v\u00e9rification\n ind\u00e9pendante, hors TCB)<\/strong>,\n Cortex NK\u2122 est r\u00e9silient face \u00e0 l’\u00e8re quantique \u2014 d\u00e8s aujourd’hui.\n <\/p>\n <p class=\"cnk-card-tags\">PQC NIST \u00b7 HQC \u00b7 ML-KEM\/Frodo CT au binaire<\/p>\n <\/div>\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 5 \u2014 ARCHITECTURE 4 COUCHES ===== -->\n<section class=\"cnk-section-light\" style=\"padding-top: 0;\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Architecture \u00b7 4 couches fonctionnelles<\/div>\n <h2 class=\"cnk-title\">Anatomie d’un <em>Trusted Assurance Core<\/em><\/h2>\n <p class=\"cnk-subtitle\" style=\"color: #4A5868;\">\n Cortex NK\u2122 s’articule en quatre couches fonctionnelles, con\u00e7ues pour \u00eatre ind\u00e9pendamment\n v\u00e9rifiables et certifiables. Chaque couche r\u00e9duit drastiquement la surface d’attaque de la\n pr\u00e9c\u00e9dente, et l’ensemble constitue le socle de confiance de Cortex ORIGIN\u2122.\n <\/p>\n \n <div class=\"cnk-layers\">\n <div class=\"cnk-layer\">\n <div class=\"cnk-layer-num\">01<\/div>\n <div><p class=\"cnk-layer-title\">Core Trust Layer<\/p><p class=\"cnk-layer-sub\">Noyau de confiance<\/p><\/div>\n <p class=\"cnk-layer-desc\">\n Micro-noyau \/ separation kernel \u2014 isolation stricte des processus critiques, segmentation\n forte des privil\u00e8ges, ex\u00e9cution d\u00e9terministe, surface d’attaque minimis\u00e9e. Trusted Computing\n Base ultra-r\u00e9duit. Mod\u00e8le de capabilities prouv\u00e9 formellement (10 500 th\u00e9or\u00e8mes\n Isabelle\/HOL fondamentaux).\n <\/p>\n <\/div>\n <div class=\"cnk-layer\">\n <div class=\"cnk-layer-num\">02<\/div>\n <div><p class=\"cnk-layer-title\">Crypto Assurance Layer<\/p><p class=\"cnk-layer-sub\">Cryptographie souveraine<\/p><\/div>\n <p class=\"cnk-layer-desc\">\n 16 primitives crypto BINAIRE prouv\u00e9es CT (HACL* via CTPass + Binsec\/Rel), dont les 12 du\n TCB cryptographique re-prouv\u00e9es sur la toolchain de production exacte ; ces 16 sont aussi\n toutes benchmark\u00e9es en performance (HACL*), + 8 primitives mesur\u00e9es via liboqs\/libsodium (incluant HQC \ud83c\uddeb\ud83c\uddf7).\n Agilit\u00e9 cryptographique : bascule d’algorithme sans red\u00e9marrage. PQC de production\n v\u00e9rifi\u00e9 CT au binaire (FrodoKEM-640, ML-KEM-768 par noyaux), en v\u00e9rification ind\u00e9pendante hors TCB.\n <\/p>\n <\/div>\n <div class=\"cnk-layer\">\n <div class=\"cnk-layer-num\">03<\/div>\n <div><p class=\"cnk-layer-title\">Secure AI Runtime<\/p><p class=\"cnk-layer-sub\">Ex\u00e9cution s\u00e9curis\u00e9e IA<\/p><\/div>\n <p class=\"cnk-layer-desc\">\n La couche diff\u00e9renciante du programme Cortex. Confinement des agents IA, segmentation\n m\u00e9moire (Auto-Containment monotone prouv\u00e9, PR #17), contr\u00f4le d’int\u00e9grit\u00e9, ex\u00e9cution\n sous politiques de confiance, auditabilit\u00e9 native (Audit Log HMAC cha\u00een\u00e9, PR #18) \u2014\n une IA qui tourne dans un environnement <em>s\u00e9curis\u00e9 par design<\/em>.\n <\/p>\n <\/div>\n <div class=\"cnk-layer\">\n <div class=\"cnk-layer-num\">04<\/div>\n <div><p class=\"cnk-layer-title\">Assurance Layer<\/p><p class=\"cnk-layer-sub\">Gouvernance & preuve<\/p><\/div>\n <p class=\"cnk-layer-desc\">\n Journalisation immuable (Audit Log HMAC-SHA256 cha\u00een\u00e9), preuve d’int\u00e9grit\u00e9 cryptographique,\n application des politiques de s\u00e9curit\u00e9 (Mesh attestation PQC hybride AND-strict, PR #19),\n observabilit\u00e9, conformit\u00e9 r\u00e9glementaire. C’est cette couche qui rend Cortex NK\u2122\n auditable et certifiable \u2014 NIS2, LPM, EAL.\n <\/p>\n <\/div>\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 6 \u2014 INSTALLATION ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Trois niveaux d’installation<\/div>\n <h2 class=\"cnk-title\">Cortex NK\u2122 s’installe <em>en-dessous<\/em><\/h2>\n <p class=\"cnk-subtitle\">\n Cortex NK\u2122 n’est pas un logiciel utilisateur final. C’est une couche de confiance que l’on\n pose <em>sous<\/em> ou <em>autour<\/em> de composants critiques. Trois mod\u00e8les d’installation,\n selon le niveau d’assurance recherch\u00e9 et la contrainte du parc existant.\n <\/p>\n \n <div class=\"cnk-install-grid\">\n <div class=\"cnk-install\">\n <p class=\"cnk-install-level\">Niveau 1 \u00b7 Haute assurance<\/p>\n <h3 class=\"cnk-install-title\">Sous l’OS \/ Micro-noyau<\/h3>\n <div class=\"cnk-install-arch\">Hardware \u2192 Cortex NK \u2192 OS \/ IA \/ Applications<\/div>\n <p class=\"cnk-install-text\">\n Cortex NK\u2122 agit comme <em>Root of Trust<\/em> logiciel, en-dessous du syst\u00e8me d’exploitation\n h\u00f4te. Mod\u00e8le r\u00e9serv\u00e9 aux environnements \u00e0 plus haute exigence : d\u00e9fense, gouvernement,\n sant\u00e9 critique, finance sensible, infrastructures vitales.\n <\/p>\n <\/div>\n <div class=\"cnk-install\">\n <p class=\"cnk-install-level\">Niveau 2 \u00b7 Go-to-market<\/p>\n <h3 class=\"cnk-install-title\">Runtime s\u00e9curis\u00e9 au-dessus de l’OS<\/h3>\n <div class=\"cnk-install-arch\">OS \u2192 Cortex NK Runtime \u2192 IA \/ Cyber \/ Apps<\/div>\n <p class=\"cnk-install-text\">\n D\u00e9ploiement plus simple sur serveurs, cloud priv\u00e9, machines virtuelles, edge ou appliances\n cyber. Permet cloisonnement, contr\u00f4le d’int\u00e9grit\u00e9 et ex\u00e9cution s\u00e9curis\u00e9e sans bouleverser\n l’infrastructure existante. Mod\u00e8le privil\u00e9gi\u00e9 pour d\u00e9marrer.\n <\/p>\n <\/div>\n <div class=\"cnk-install\">\n <p class=\"cnk-install-level\">Niveau 3 \u00b7 Embarqu\u00e9<\/p>\n <h3 class=\"cnk-install-title\">Firmware \/ Edge<\/h3>\n <div class=\"cnk-install-arch\">Firmware \u2192 Cortex NK \u2192 Logique m\u00e9tier<\/div>\n <p class=\"cnk-install-text\">\n Approche adapt\u00e9e aux environnements industriels, robotique, drones, IoT critique ou\n m\u00e9dical. Faible empreinte, faible surface d’attaque, forte isolation \u2014 exactement ce\n qu’un noyau minimaliste sait offrir.\n <\/p>\n <\/div>\n <\/div>\n \n <div class=\"cnk-disclaimer\">\n <strong>Positionnement.<\/strong> Cortex NK\u2122 = Trust Core \/ Cyber Assurance Layer.\n Cortex ORIGIN\u2122 = plateforme m\u00e9tier et d’intelligence au-dessus. La trajectoire commerciale\n conseill\u00e9e part du runtime s\u00e9curis\u00e9 (Niveau 2) pour \u00e9voluer progressivement vers les\n architectures plus basses et certifiables (Niveau 1).\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 7 \u2014 TRIPLE PROTECTION CRYPTO ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Triple Protection \u00b7 Stack cryptographique<\/div>\n <h2 class=\"cnk-title\">Trois niveaux. <em>Une assurance.<\/em><\/h2>\n <p class=\"cnk-subtitle\">\n Ceinture <em>et<\/em> bretelles. Prouver le pr\u00e9sent (Niveau 1), garantir le futur (Niveau 2),\n assurer la souverainet\u00e9 (Niveau 3). La seule stack \u00e0 triple niveau combinant preuves CT\n binaires (HACL*) et benchmarks PQC NIST (liboqs), \u00e0 notre connaissance.\n <\/p>\n \n <div class=\"cnk-triple\">\n <div class=\"cnk-triple-col cnk-tp-green\">\n <p class=\"cnk-triple-level\">Niv. 1 \u2014 R\u00e9sistance classique<\/p>\n <p class=\"cnk-triple-when\">Aujourd’hui \u00b7 binaire CT prouv\u00e9<\/p>\n <p class=\"cnk-triple-cat\">Primitives BINAIRE prouv\u00e9es CT (HACL*)<\/p>\n <p class=\"cnk-triple-text\">SHA-256\/512 \u00b7 HMAC \u00b7 ChaCha20-Poly1305 \u00b7 HKDF \u00b7 SHA-3 \u00b7 BLAKE2b \u00b7 X25519 \u00b7 Ed25519<\/p>\n <p class=\"cnk-triple-cat\">S\u00e9curit\u00e9<\/p>\n <p class=\"cnk-triple-text\">F*\/Vale + Binsec\/Rel \u00b7 0 violation CT \u00b7 0 fuite \u00b7 0 crash \u00b7 72+ preuves cross-arch<\/p>\n <p class=\"cnk-triple-arg\">\n Immunis\u00e9 contre les erreurs de programmation et attaques par canaux temporels.\n Preuve formelle au niveau BINAIRE (pas seulement F* logique).\n <\/p>\n <\/div>\n \n <div class=\"cnk-triple-col cnk-tp-blue\">\n <p class=\"cnk-triple-level\">Niv. 2 \u2014 Post-quantique NIST<\/p>\n <p class=\"cnk-triple-when\">2030+ \u00b7 benchmark perf<\/p>\n <p class=\"cnk-triple-cat\">Primitives benchmark\u00e9es (liboqs 0.10.1)<\/p>\n <p class=\"cnk-triple-text\">ML-KEM-1024 (FIPS 203) \u00b7 ML-DSA-87 (FIPS 204) \u00b7 SLH-DSA-256s (FIPS 205)<\/p>\n <p class=\"cnk-triple-cat\">S\u00e9curit\u00e9<\/p>\n <p class=\"cnk-triple-text\">Standards mondiaux NIST \u00b7 Niveau s\u00e9curit\u00e9 L5 \u00b7 benchmarks mesur\u00e9s r\u00e9ellement<\/p>\n <p class=\"cnk-triple-arg\">\n Secrets d’\u00c9tat prot\u00e9g\u00e9s contre les futurs ordinateurs quantiques. Donn\u00e9es collect\u00e9es\n aujourd’hui, illisibles demain. <strong>+ FrodoKEM-640 prouv\u00e9 CT au binaire (n=64 \u2192 640 de\n production) et ML-KEM-768 v\u00e9rifi\u00e9 par noyaux \u2014 v\u00e9rification ind\u00e9pendante, hors TCB.<\/strong>\n <\/p>\n <\/div>\n \n <div class=\"cnk-triple-col cnk-tp-amber\">\n <p class=\"cnk-triple-level\">Niv. 3 \u2014 Souverainet\u00e9 France \ud83c\uddeb\ud83c\uddf7<\/p>\n <p class=\"cnk-triple-when\">Assurance-vie souveraine<\/p>\n <p class=\"cnk-triple-cat\">Primitives Round 4 NIST (liboqs)<\/p>\n <p class=\"cnk-triple-text\">HQC-256 (INRIA France \ud83c\uddeb\ud83c\uddf7) \u2014 mesur\u00e9 4 720,30 \u00b5s \u00b7 BIKE-L3 \u2014 mesur\u00e9 1 326,91 \u00b5s<\/p>\n <p class=\"cnk-triple-cat\">S\u00e9curit\u00e9<\/p>\n <p class=\"cnk-triple-text\">Math\u00e9matiques distinctes (code-based). Si Kyber est cass\u00e9, la France reste prot\u00e9g\u00e9e.<\/p>\n <p class=\"cnk-triple-arg\">\n Ceinture <em>ET<\/em> bretelles. 100 % souverain. P\u00e9pite fran\u00e7aise INRIA\/UVSQ.\n Aucun concurrent connu ne mesure HQC dans son TCB.\n <\/p>\n <\/div>\n <\/div>\n \n <p style=\"text-align: center; font-size: 14.5px; color: #B8C5D9; margin-top: 32px; font-style: italic;\">\n Niv. 1 : prouver le pr\u00e9sent (CT binaire) \u00b7 Niv. 2 : garantir le futur (PQC NIST) \u00b7 \n Niv. 3 : assurer la souverainet\u00e9 (HQC \ud83c\uddeb\ud83c\uddf7)\n <\/p>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 8 \u2014 STACK CRYPTO 16 BINAIRE + 8 BENCHMARK ===== -->\n<section class=\"cnk-section-light\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Stack crypto compl\u00e8te \u00b7 16 BINAIRE prouv\u00e9es CT et benchmark\u00e9es<\/div>\n <h2 class=\"cnk-title\">Du classique au post-quantique, <em>preuves et performance<\/em><\/h2>\n \n <div style=\"margin: 24px 0 32px; background: linear-gradient(90deg, rgba(212,165,81,0.12) 0%, rgba(212,165,81,0.04) 100%); border-left: 4px solid #D4A551; padding: 18px 24px; border-radius: 0 4px 4px 0; display: flex; align-items: center; gap: 18px; flex-wrap: wrap;\">\n <span style=\"font-size: 28px;\">\ud83c\udfc6<\/span>\n <div style=\"flex: 1; min-width: 280px;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 10.5px; letter-spacing: 0.18em; text-transform: uppercase; color: #B8862F; font-weight: 600; margin-bottom: 6px;\">Combinaison unique \u00b7 v\u00e9rifi\u00e9e en data room<\/div>\n <div style=\"color: #2A3540; font-size: 15px; line-height: 1.6;\">\n <strong>\u00c0 notre connaissance, aucun autre micronoyau formellement v\u00e9rifi\u00e9 publiquement document\u00e9<\/strong> (seL4, Muen, ProvenCore, PikeOS, Green Hills INTEGRITY, CertiKOS) ne combine <strong>16 primitives BINAIRE prouv\u00e9es CT, toutes benchmark\u00e9es, + 8 r\u00e9f\u00e9rences (dont 5 PQC)<\/strong> dans son TCB \u2014 dont les <strong>12 primitives du TCB cryptographique prouv\u00e9es CT sur la toolchain de production exacte<\/strong> (gcc-O2 bare-metal). CORTEX NK\u2122 l’int\u00e8gre tout en restant <strong>\u00d74 plus petit que seL4<\/strong>.\n <\/div>\n <\/div>\n <\/div>\n \n <h3 style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 30px; font-weight: 400; color: #1A2842; margin: 48px 0 16px; line-height: 1.2;\">\n 16 primitives <em style=\"color: #B8862F; font-style: italic;\">BINAIRE prouv\u00e9es CT<\/em> (HACL* via CTPass + Binsec\/Rel)\n <\/h3>\n <p style=\"font-size: 14.5px; color: #4A5868; margin-bottom: 24px; max-width: 900px;\">\n Preuves formelles de Constant-Time au niveau binaire ARM64 + x86-64 via Binsec\/Rel.\n M\u00e9thodologie CT-slice + composition stricte HACL*. Reproductibilit\u00e9 en data room \/ sur demande.\n <\/p>\n \n <table class=\"cnk-benchmark-table\">\n <thead><tr><th>Primitive<\/th><th>Sprint \/ CFVL<\/th><th>Usage prod r\u00e9el<\/th><th style=\"text-align: center;\">Statut<\/th><\/tr><\/thead>\n <tbody>\n <tr><td class=\"cnk-mono\"><strong>SHA-256<\/strong> (1 bloc)<\/td><td>65 \/ BINSEC-009<\/td><td>TLS, JWT, signatures<\/td><td class=\"cnk-cell-center cnk-cell-ok\">UTILIS\u00c9E<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>SHA-256 multi-bloc<\/strong> (4 bl.)<\/td><td>83 \/ BINSEC-025<\/td><td>Hachage volumes<\/td><td class=\"cnk-cell-center cnk-cell-ok\">UTILIS\u00c9E<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HMAC-SHA-256<\/strong><\/td><td>66 \/ BINSEC-010<\/td><td>TLS, JWT, capability MAC<\/td><td class=\"cnk-cell-center cnk-cell-ok\">UTILIS\u00c9E<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>Poly1305-32<\/strong><\/td><td>67 \/ BINSEC-011<\/td><td>AEAD authentication<\/td><td class=\"cnk-cell-center cnk-cell-ok\">UTILIS\u00c9E<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>ChaCha20<\/strong><\/td><td>68 \/ BINSEC-012<\/td><td>Chiffrement flux (TLS, WireGuard)<\/td><td class=\"cnk-cell-center cnk-cell-ok\">UTILIS\u00c9E<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>ChaCha20-Poly1305 AEAD<\/strong><\/td><td>79 \/ BINSEC-022<\/td><td>TLS 1.3, WireGuard, Signal<\/td><td class=\"cnk-cell-center cnk-cell-ok\">UTILIS\u00c9E<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HKDF-extract \/ SHA-256<\/strong><\/td><td>70 \/ BINSEC-014<\/td><td>D\u00e9rivation cl\u00e9s TLS 1.3<\/td><td class=\"cnk-cell-center cnk-cell-ok\">UTILIS\u00c9E<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HKDF-expand \/ SHA-256<\/strong><\/td><td>77-B \/ BINSEC-021<\/td><td>D\u00e9rivation cl\u00e9s TLS 1.3<\/td><td class=\"cnk-cell-center cnk-cell-ok\">UTILIS\u00c9E<\/td><\/tr>\n <tr><td class=\"cnk-mono\">SHA-3 \/ Keccak-256<\/td><td>69 \/ BINSEC-013<\/td><td>Ethereum, NIST SP 800-185<\/td><td class=\"cnk-cell-center cnk-cell-mid\">CATALOGUE<\/td><\/tr>\n <tr><td class=\"cnk-mono\">SHA-512 (2 blocs)<\/td><td>84 \/ BINSEC-027<\/td><td>RFC 6234, certificats<\/td><td class=\"cnk-cell-center cnk-cell-mid\">CATALOGUE<\/td><\/tr>\n <tr><td class=\"cnk-mono\">HMAC-SHA-512<\/td><td>84 \/ BINSEC-028<\/td><td>IPsec, signatures longues<\/td><td class=\"cnk-cell-center cnk-cell-mid\">CATALOGUE<\/td><\/tr>\n <tr><td class=\"cnk-mono\">HMAC-BLAKE2b-32<\/td><td>83 \/ BINSEC-026<\/td><td>Argon2, WireGuard<\/td><td class=\"cnk-cell-center cnk-cell-mid\">CATALOGUE<\/td><\/tr>\n <tr><td class=\"cnk-mono\">HKDF-expand \/ SHA-512<\/td><td>85.1 \/ BINSEC-029<\/td><td>KDF haute s\u00e9curit\u00e9<\/td><td class=\"cnk-cell-center cnk-cell-mid\">CATALOGUE<\/td><\/tr>\n <tr style=\"background: rgba(212,165,81,0.06); border-left: 3px solid #B8862F;\">\n <td class=\"cnk-mono\"><strong style=\"color:#B8862F;\">Ed25519 SIGN<\/strong> \ud83d\udd12<\/td>\n <td>89 \/ BINSEC-039<\/td>\n <td>Secure Boot, signatures TLS \/ JWT<\/td>\n <td class=\"cnk-cell-center\" style=\"color:#B8862F; font-weight:700;\">\u2713 TOOLCHAIN PROD<\/td>\n <\/tr>\n <tr style=\"background: rgba(212,165,81,0.06); border-left: 3px solid #B8862F;\">\n <td class=\"cnk-mono\"><strong style=\"color:#B8862F;\">X25519 ECDH<\/strong> \u2b50<\/td>\n <td>85.2 \/ BINSEC-030 \/ 041<\/td>\n <td>TLS 1.3, WireGuard, Signal, SSH<\/td>\n <td class=\"cnk-cell-center\" style=\"color:#B8862F; font-weight:700;\">\u2713 TOOLCHAIN PROD<\/td>\n <\/tr>\n <tr style=\"background: rgba(212,165,81,0.06); border-left: 3px solid #B8862F;\">\n <td class=\"cnk-mono\"><strong style=\"color:#B8862F;\">FrodoKEM-64 KEM<\/strong> \ud83d\udd2c<\/td>\n <td>88 \/ BINSEC-036<\/td>\n <td>Recherche \u00b7 variante test PQC<\/td>\n <td class=\"cnk-cell-center\" style=\"color:#B8862F; font-weight:700;\">CT BINAIRE (n=64)<\/td>\n <\/tr>\n <\/tbody>\n <\/table>\n \n <h3 style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 30px; font-weight: 400; color: #1A2842; margin: 64px 0 16px; line-height: 1.2;\">\n 16 primitives prouv\u00e9es CT \u2014 <em style=\"color: #B8862F; font-style: italic;\">toutes benchmark\u00e9es<\/em> (impl HACL*)\n <\/h3>\n <p style=\"font-size: 14.5px; color: #4A5868; margin-bottom: 24px; max-width: 900px;\">\n Performance de l’impl\u00e9mentation HACL* \u2014 celle prouv\u00e9e CT ci-dessus \u2014 sur Apple Silicon M2 \u00b7 clang -O2 \u00b7\n CLOCK_MONOTONIC_RAW \u00b7 warmup 1 000 + 10 000 mesures \u00b7 mean \/ p99. FrodoKEM au param\u00e8tre de production 640.\n R\u00e9f. <span class=\"cnk-mono\">CFVL-BENCH-CT16-001<\/span> v0.1, v\u00e9rifiable en data room.\n <\/p>\n <table class=\"cnk-benchmark-table\">\n <thead><tr><th>Primitive (impl HACL*)<\/th><th>Entr\u00e9e<\/th><th style=\"text-align:right;\">mean<\/th><th style=\"text-align:right;\">p99<\/th><\/tr><\/thead>\n <tbody>\n <tr><td class=\"cnk-mono\"><strong>SHA-256<\/strong><\/td><td>64 B<\/td><td class=\"cnk-num\">485 ns<\/td><td class=\"cnk-num\">625 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>SHA-256<\/strong> (4 blocs)<\/td><td>256 B<\/td><td class=\"cnk-num\">1 196 ns<\/td><td class=\"cnk-num\">1 459 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>SHA-512<\/strong> (2 blocs)<\/td><td>128 B<\/td><td class=\"cnk-num\">588 ns<\/td><td class=\"cnk-num\">666 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>SHA3-256<\/strong><\/td><td>64 B<\/td><td class=\"cnk-num\">764 ns<\/td><td class=\"cnk-num\">834 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HMAC-SHA-256<\/strong><\/td><td>64 B<\/td><td class=\"cnk-num\">1 022 ns<\/td><td class=\"cnk-num\">1 084 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HMAC-SHA-512<\/strong><\/td><td>64 B<\/td><td class=\"cnk-num\">968 ns<\/td><td class=\"cnk-num\">1 041 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HMAC-BLAKE2b<\/strong><\/td><td>64 B<\/td><td class=\"cnk-num\">593 ns<\/td><td class=\"cnk-num\">667 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>Poly1305<\/strong><\/td><td>64 B<\/td><td class=\"cnk-num\">72 ns<\/td><td class=\"cnk-num\">125 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>ChaCha20<\/strong><\/td><td>1 KiB<\/td><td class=\"cnk-num\">1 437 ns<\/td><td class=\"cnk-num\">1 542 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>ChaCha20-Poly1305<\/strong> enc<\/td><td>1 KiB<\/td><td class=\"cnk-num\">2 228 ns<\/td><td class=\"cnk-num\">2 292 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HKDF-extract<\/strong> \/ SHA-256<\/td><td>32 B<\/td><td class=\"cnk-num\">709 ns<\/td><td class=\"cnk-num\">750 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HKDF-expand<\/strong> \/ SHA-256<\/td><td>32\u219232 B<\/td><td class=\"cnk-num\">717 ns<\/td><td class=\"cnk-num\">791 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HKDF-expand<\/strong> \/ SHA-512<\/td><td>32\u219232 B<\/td><td class=\"cnk-num\">933 ns<\/td><td class=\"cnk-num\">1 000 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>Ed25519<\/strong> sign<\/td><td>msg 32 B<\/td><td class=\"cnk-num\">38,33 \u00b5s<\/td><td class=\"cnk-num\">56,46 \u00b5s<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>X25519<\/strong> scalarmult<\/td><td>1 op<\/td><td class=\"cnk-num\">26,82 \u00b5s<\/td><td class=\"cnk-num\">36,25 \u00b5s<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>FrodoKEM-640<\/strong> keygen <span style=\"font-size:0.85em;color:#6A7588;\">\u00b7 hors TCB<\/span><\/td><td>n=640<\/td><td class=\"cnk-num\">1 233 \u00b5s<\/td><td class=\"cnk-num\">1 414 \u00b5s<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>FrodoKEM-640<\/strong> encaps <span style=\"font-size:0.85em;color:#6A7588;\">\u00b7 hors TCB<\/span><\/td><td>n=640<\/td><td class=\"cnk-num\">1 367 \u00b5s<\/td><td class=\"cnk-num\">1 458 \u00b5s<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>FrodoKEM-640<\/strong> decaps <span style=\"font-size:0.85em;color:#6A7588;\">\u00b7 hors TCB<\/span><\/td><td>n=640<\/td><td class=\"cnk-num\">1 360 \u00b5s<\/td><td class=\"cnk-num\">1 466 \u00b5s<\/td><\/tr>\n <\/tbody>\n <\/table>\n \n <h3 style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 30px; font-weight: 400; color: #1A2842; margin: 64px 0 16px; line-height: 1.2;\">\n + 8 r\u00e9f\u00e9rences mesur\u00e9es <em style=\"color: #B8862F; font-style: italic;\">(liboqs \/ libsodium \u00b7 dont 5 PQC)<\/em>\n <\/h3>\n <p style=\"font-size: 14.5px; color: #4A5868; margin-bottom: 24px; max-width: 900px;\">\n Mesures performance temporelle r\u00e9elles sur Apple Silicon \u00b7 clang -O2 \u00b7 N=1000 \u00b7\n CLOCK_MONOTONIC_RAW \u00b7 mean\/p50\/p95\/p99. liboqs 0.10.1 + libsodium. Standards FIPS 203\/204\/205\n + Round 4 NIST (BIKE, HQC).\n <\/p>\n \n <table class=\"cnk-benchmark-table\">\n <thead><tr><th>Primitive<\/th><th>Standard<\/th><th style=\"text-align: right;\">Mesure<\/th><\/tr><\/thead>\n <tbody>\n <tr><td class=\"cnk-mono\"><strong>ChaCha20-Poly1305<\/strong> encrypt 64B<\/td><td>RFC 8439 \u00b7 libsodium<\/td><td class=\"cnk-num\">310,90 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HMAC-SHA256<\/strong> 64B input<\/td><td>RFC 2104 \u00b7 libsodium<\/td><td class=\"cnk-num\">2 787,50 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>HKDF-SHA256<\/strong> Extract+Expand 32B<\/td><td>RFC 5869<\/td><td class=\"cnk-num\">3 805,84 ns<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>ML-KEM-1024<\/strong> encaps<\/td><td>FIPS 203 \u00b7 NIST PQC<\/td><td class=\"cnk-num\">29,45 \u00b5s<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>ML-DSA-87<\/strong> sign<\/td><td>FIPS 204 \u00b7 NIST PQC<\/td><td class=\"cnk-num\">494,96 \u00b5s<\/td><\/tr>\n <tr><td class=\"cnk-mono\"><strong>BIKE-L3<\/strong> encaps<\/td><td>Round 4 \u00b7 diversification<\/td><td class=\"cnk-num\">1 326,91 \u00b5s<\/td><\/tr>\n <tr style=\"background: rgba(212,165,81,0.06); border-left: 3px solid #B8862F;\">\n <td class=\"cnk-mono\"><strong style=\"color:#B8862F;\">HQC-256 \ud83c\uddeb\ud83c\uddf7<\/strong> encaps<\/td>\n <td>Round 4 \u00b7 INRIA France<\/td>\n <td class=\"cnk-num\" style=\"color:#B8862F; font-weight: 700;\">4 720,30 \u00b5s<\/td>\n <\/tr>\n <tr><td class=\"cnk-mono\"><strong>SLH-DSA-256s<\/strong> sign<\/td><td>FIPS 205 \u00b7 r\u00e9serve ultime<\/td><td class=\"cnk-num\">481,94 ms<\/td><\/tr>\n <\/tbody>\n <\/table>\n \n <div class=\"cnk-disclaimer\">\n <strong>Distinction technique essentielle.<\/strong> Le BENCHMARK PERFORMANCE (tableau 2)\n mesure le temps d’ex\u00e9cution r\u00e9el via liboqs\/libsodium. La PREUVE CT BINAIRE (tableau 1)\n garantit math\u00e9matiquement l’absence de fuite par canal temporel au niveau binaire via HACL*\n + Binsec\/Rel. Ces deux propri\u00e9t\u00e9s sont compl\u00e9mentaires. \u00c0 notre connaissance, CORTEX NK est\n le seul \u00e0 publier les DEUX \u00e0 cette \u00e9chelle (16 + 8 primitives). Les <strong>12 primitives du TCB cryptographique<\/strong>\n sont en outre prouv\u00e9es CT sur la <strong>toolchain de production exacte<\/strong> (gcc-O2 bare-metal) ;\n cette propri\u00e9t\u00e9 concerne le Constant-Time du TCB cryptographique et ne pr\u00e9juge pas des autres\n propri\u00e9t\u00e9s du noyau (isolation, non-interf\u00e9rence, WCET).\n <\/div>\n \n <h3 style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 30px; font-weight: 400; color: #1A2842; margin: 64px 0 16px; line-height: 1.2;\">\n PQC de production \u2014 <em style=\"color: #B8862F; font-style: italic;\">v\u00e9rification CT au binaire<\/em> (hors TCB)\n <\/h3>\n <p style=\"font-size: 14.5px; color: #4A5868; margin-bottom: 24px; max-width: 900px;\">\n Au-del\u00e0 du TCB cryptographique, CORTEX a v\u00e9rifi\u00e9 au binaire ARM64 (toolchain de production exacte)\n les noyaux sensibles au secret des KEM post-quantiques de sa stack (ML-KEM-768, ML-KEM-1024, FrodoKEM-640), par analyse Binsec\/Rel\n ind\u00e9pendante. \u00c9tude compl\u00e9mentaire \u2014 hors TCB BL2, qui reste \u00e0 12\/12.\n <\/p>\n \n <table class=\"cnk-benchmark-table\">\n <thead><tr><th>KEM post-quantique<\/th><th>P\u00e9rim\u00e8tre v\u00e9rifi\u00e9<\/th><th>R\u00e9sultat (binaire ARM64 prod)<\/th><th style=\"text-align:center;\">R\u00e9f. CFVL<\/th><\/tr><\/thead>\n <tbody>\n <tr>\n <td class=\"cnk-mono\"><strong>ML-KEM-768<\/strong> <span style=\"font-size:12px; color:#6A7588;\">(FIPS 203)<\/span><\/td>\n <td style=\"font-size:13.5px;\">Noyaux secret-sensibles \u2014 NTT\/inv-NTT, r\u00e9ductions Montgomery\/Barrett, CBD, compress\/decompress, basemul, couture FO (verify + cmov)<\/td>\n <td style=\"font-size:13.5px;\">9 noyaux <span class=\"cnk-cell-ok\">SECURE<\/span> + couture FO <span class=\"cnk-cell-ok\">SECURE<\/span> au binaire + <code style=\"font-size:0.9em; background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px;\">basemul<\/code> clos par d\u00e9composition \u00b7 SHAKE\/SHA3 admis \u00b7 0 alerte<\/td>\n <td class=\"cnk-cell-center cnk-mono\" style=\"font-size:12px;\">043\/044 \u00b7 COMPO-001\/002<\/td>\n <\/tr>\n <tr>\n <td class=\"cnk-mono\"><strong>ML-KEM-1024<\/strong> <span style=\"font-size:12px; color:#6A7588;\">(FIPS 203 \u00b7 L5)<\/span><\/td>\n <td style=\"font-size:13.5px;\">M\u00eames noyaux que 768 \u2014 invariance param\u00e9trique prouv\u00e9e (sources byte-identiques, K = borne publique)<\/td>\n <td style=\"font-size:13.5px;\">Couture FO (1568 o) re-mesur\u00e9e <span class=\"cnk-cell-ok\">SECURE<\/span> + basemul <span class=\"cnk-cell-ok\">SECURE<\/span> \u00b7 9 noyaux h\u00e9rit\u00e9s \u00b7 0 alerte<\/td>\n <td class=\"cnk-cell-center cnk-mono\" style=\"font-size:12px;\">MLKEM1024-001<\/td>\n <\/tr>\n <tr>\n <td class=\"cnk-mono\"><strong>FrodoKEM-640<\/strong> <span style=\"font-size:12px; color:#6A7588;\">(niveau L1 \u00b7 alternate)<\/span><\/td>\n <td style=\"font-size:13.5px;\">6 noyaux secret-sensibles \u2014 comparaison FO (ct_verify\/ct_select), \u00e9chantillonnage gaussien CDF, pack\/unpack, add\/sub, matmul<\/td>\n <td style=\"font-size:13.5px;\">6 noyaux CT \u2014 5 <span class=\"cnk-cell-ok\">SECURE<\/span> au binaire + <code style=\"font-size:0.9em; background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px;\">matmul<\/code> clos par d\u00e9composition \u00b7 correctif GJN-2020 \u00b7 0 alerte<\/td>\n <td class=\"cnk-cell-center cnk-mono\" style=\"font-size:12px;\">045 \u00b7 FRODO-002<\/td>\n <\/tr>\n <\/tbody>\n <\/table>\n \n <div class=\"cnk-disclaimer\">\n <strong>P\u00e9rim\u00e8tre et honn\u00eatet\u00e9.<\/strong> Il s’agit d’une v\u00e9rification Constant-Time au binaire\n <strong>par d\u00e9composition<\/strong> : noyau interne prouv\u00e9 <span class=\"cnk-cell-ok\">SECURE<\/span> au binaire\n (couture FO, basemul, matmul) + argument de composition structurel (bornes fixes, adressage ind\u00e9pendant\n des donn\u00e9es), <em>pas<\/em> une preuve machine bout-en-bout monolithique. La r\u00e8gle de composition\n (<code style=\"font-size:0.9em; background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px;\">fixed_bound_loop_ct<\/code> \/\n <code style=\"font-size:0.9em; background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px;\">seq_compose_ct<\/code>)\n est d\u00e9sormais <strong>machine-prouv\u00e9e en Isabelle\/HOL 2025-2 (0 sorry, build-certifi\u00e9)<\/strong> ; la liaison au binaire (corps CT, bornes publiques, adressage data-ind\u00e9pendant) reste \u00e9tablie par BINSEC par-noyaux + inspection. Seul r\u00e9siduel sur ML-KEM : <strong>SHAKE\/SHA3 admis CT par construction Keccak<\/strong>\n (non v\u00e9rifi\u00e9 au binaire). Ces travaux sont <strong>compl\u00e9mentaires<\/strong> des preuves publi\u00e9es par\n Formosa-Crypto (ML-KEM CT jusqu’\u00e0 l’assembleur via le compilateur certifi\u00e9 Jasmin) et libcrux\n (ML-KEM en Rust v\u00e9rifi\u00e9) \u2014 sans revendication d’ant\u00e9riorit\u00e9 absolue. ML-KEM est le standard FIPS 203 ;\n FrodoKEM-640 est un alternate conservateur de d\u00e9fense-en-profondeur (non standardis\u00e9 NIST). Rapports\n <strong>CFVL-BINSEC-MLKEM-COMPO-001\/002<\/strong>, <strong>CFVL-BINSEC-MLKEM1024-001<\/strong>,\n <strong>CFVL-BINSEC-FRODO-002<\/strong> et synth\u00e8ses disponibles en data room.\n <\/div>\n \n <div style=\"display: grid; grid-template-columns: repeat(auto-fit, minmax(200px, 1fr)); gap: 32px; margin-top: 48px; padding: 32px 0; border-top: 1px solid rgba(26,40,66,0.15);\">\n <div>\n <p style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 38px; color: #1A2842; line-height: 1.1; margin: 0 0 6px;\">16<\/p>\n <p style=\"font-size: 12px; font-weight: 600; letter-spacing: 0.14em; text-transform: uppercase; color: #4A78B0;\">Primitives BINAIRE prouv\u00e9es CT<\/p>\n <p style=\"font-size: 13px; color: #5A6A82; margin-top: 4px;\">HACL* + CTPass + Binsec\/Rel<\/p>\n <\/div>\n <div>\n <p style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 38px; color: #1A2842; line-height: 1.1; margin: 0 0 6px;\">12\/12<\/p>\n <p style=\"font-size: 12px; font-weight: 600; letter-spacing: 0.14em; text-transform: uppercase; color: #4A78B0;\">TCB crypto \u00b7 toolchain de prod<\/p>\n <p style=\"font-size: 13px; color: #5A6A82; margin-top: 4px;\">gcc-O2 bare-metal \u00b7 BINSEC-039\/040\/041<\/p>\n <\/div>\n <div>\n <p style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 38px; color: #1A2842; line-height: 1.1; margin: 0 0 6px;\">16<\/p>\n <p style=\"font-size: 12px; font-weight: 600; letter-spacing: 0.14em; text-transform: uppercase; color: #4A78B0;\">Primitives prouv\u00e9es CT benchmark\u00e9es<\/p>\n <p style=\"font-size: 13px; color: #5A6A82; margin-top: 4px;\">perf HACL* \u00b7 + 8 r\u00e9f liboqs\/sodium<\/p>\n <\/div>\n <div>\n <p style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 38px; color: #1A2842; line-height: 1.1; margin: 0 0 6px;\">3<\/p>\n <p style=\"font-size: 12px; font-weight: 600; letter-spacing: 0.14em; text-transform: uppercase; color: #4A78B0;\">Standards NIST FIPS<\/p>\n <p style=\"font-size: 13px; color: #5A6A82; margin-top: 4px;\">203 \u00b7 204 \u00b7 205<\/p>\n <\/div>\n <div>\n <p style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 38px; color: #1A2842; line-height: 1.1; margin: 0 0 6px;\">\ud83c\uddeb\ud83c\uddf7<\/p>\n <p style=\"font-size: 12px; font-weight: 600; letter-spacing: 0.14em; text-transform: uppercase; color: #4A78B0;\">Souverainet\u00e9 France<\/p>\n <p style=\"font-size: 13px; color: #5A6A82; margin-top: 4px;\">HQC INRIA \u00b7 CEA Frama-C<\/p>\n <\/div>\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION \u2014 COUVERTURE PQC : SYNTH\u00c8SE + TRAJECTOIRE ===== -->\n<section class=\"cnk-section-light\" style=\"padding-top: 0;\">\n <div class=\"cnk-container\">\n <h2 class=\"cnk-title\">Couverture PQC \u2014 <em>\u00e9tat mesur\u00e9 et trajectoire<\/em><\/h2>\n <p style=\"font-size: 14.5px; color: #4A5868; margin: 16px 0 28px; max-width: 920px;\">\n Lecture synth\u00e9tique de la couverture Constant-Time au binaire des primitives post-quantiques.\n Ce qui est <strong>mesur\u00e9<\/strong> ne se confond jamais avec ce qui est <strong>vis\u00e9<\/strong>.\n Toutes ces primitives sont <strong>hors TCB BL2<\/strong> \u2014 le TCB cryptographique reste <strong>12\/12<\/strong>,\n prouv\u00e9 CT bout-en-bout sur la toolchain de production exacte.\n <\/p>\n \n <table class=\"cnk-benchmark-table\">\n <thead><tr><th>Algorithme<\/th><th>Standard \/ niveau<\/th><th style=\"text-align:center;\">Bench<\/th><th>CT au binaire (BINSEC\/Rel)<\/th><th style=\"text-align:center;\">Statut<\/th><\/tr><\/thead>\n <tbody>\n <tr style=\"background: rgba(74,120,176,0.08);\">\n <td class=\"cnk-mono\"><strong>TCB crypto BL2<\/strong> \u00b7 12 prim.<\/td>\n <td style=\"font-size:13px;\">sym\u00e9trique + ECC (HACL*)<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713<\/td>\n <td style=\"font-size:13px;\"><strong style=\"color:#1E7A34;\">\u2713 12\/12 bout-en-bout<\/strong> \u00b7 toolchain prod exacte<\/td>\n <td class=\"cnk-cell-center\" style=\"color:#1A2842; font-weight:700; font-size:12px;\">DANS le TCB<\/td>\n <\/tr>\n <tr>\n <td class=\"cnk-mono\"><strong>ML-KEM-768<\/strong><\/td>\n <td style=\"font-size:13px;\">FIPS 203 \u00b7 L3<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713<\/td>\n <td style=\"font-size:13px;\"><strong style=\"color:#B8862F;\">\u2713 par d\u00e9composition<\/strong> \u00b7 couture FO + 9 noyaux + basemul au binaire<\/td>\n <td class=\"cnk-cell-center\" style=\"font-size:12px; color:#6A7588;\">hors TCB \u00b7 prod<\/td>\n <\/tr>\n <tr>\n <td class=\"cnk-mono\"><strong>ML-KEM-1024<\/strong><\/td>\n <td style=\"font-size:13px;\">FIPS 203 \u00b7 L5<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713<\/td>\n <td style=\"font-size:13px;\"><strong style=\"color:#B8862F;\">\u2713 par d\u00e9composition<\/strong> \u00b7 h\u00e9ritage param\u00e9trique prouv\u00e9 + FO 1568 re-mesur\u00e9e<\/td>\n <td class=\"cnk-cell-center\" style=\"font-size:12px; color:#6A7588;\">hors TCB \u00b7 prod<\/td>\n <\/tr>\n <tr>\n <td class=\"cnk-mono\"><strong>FrodoKEM-640<\/strong><\/td>\n <td style=\"font-size:13px;\">niveau L1 \u00b7 alternate<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713<\/td>\n <td style=\"font-size:13px;\"><strong style=\"color:#B8862F;\">\u2713 6\/6 par d\u00e9composition<\/strong> \u00b7 matmul clos \u00b7 correctif GJN-2020<\/td>\n <td class=\"cnk-cell-center\" style=\"font-size:12px; color:#6A7588;\">hors TCB \u00b7 prod<\/td>\n <\/tr>\n <tr>\n <td class=\"cnk-mono\">ML-DSA-87<\/td>\n <td style=\"font-size:13px;\">FIPS 204 \u00b7 L5<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713<\/td>\n <td style=\"font-size:13px;\"><strong style=\"color:#B8862F;\">\u25d0 CT vis-\u00e0-vis de la cl\u00e9 secr\u00e8te<\/strong> \u00b7 noyaux arith. (NTT, c\u00b7s) SECURE au binaire \u00b7 rejet = mod\u00e8le de fuite document\u00e9 \u00b7 SHAKE admis<\/td>\n <td class=\"cnk-cell-center\" style=\"font-size:12px; color:#6A7588;\">hors TCB \u00b7 mesur\u00e9<\/td>\n <\/tr>\n <tr>\n <td class=\"cnk-mono\">HQC-256 \ud83c\uddeb\ud83c\uddf7<\/td>\n <td style=\"font-size:13px;\">s\u00e9lectionn\u00e9 NIST 2025<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713<\/td>\n <td style=\"font-size:13px;\"><span style=\"color:#9A6B00;\">\u25cb non mesur\u00e9<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\" style=\"font-size:12px;\">preuve\/stub<\/td>\n <\/tr>\n <\/tbody>\n <\/table>\n <p style=\"font-size:12.5px; color:#6A7588; margin-top:10px; font-style:italic; max-width:920px;\">\n \u2713 complet \u00b7 \u00ab par d\u00e9composition \u00bb = noyau interne prouv\u00e9 SECURE au binaire + composition structurelle (r\u00e8gle de composition machine-prouv\u00e9e en Isabelle\/HOL 2025-2, 0 sorry build-certifi\u00e9 ; liaison au binaire via BINSEC + inspection) \u00b7 \u25d0 partiel (CT vis-\u00e0-vis du secret de long terme, sans temps constant) \u00b7 \u25cb pas encore mesur\u00e9.\n R\u00e9siduel commun ML-KEM : SHAKE\/SHA3 admis CT par construction Keccak. Travaux compl\u00e9mentaires de Formosa-Crypto (Jasmin \u2192 assembleur) et libcrux (Rust v\u00e9rifi\u00e9) \u2014 sans revendication d’ant\u00e9riorit\u00e9 absolue.\n <\/p>\n \n <h3 style=\"font-family: 'Cormorant Garamond', Georgia, serif; font-size: 30px; font-weight: 400; color: #1A2842; margin: 56px 0 8px; line-height: 1.2;\">\n Trajectoire crypto \u2014 <em style=\"color: #B8862F; font-style: italic;\">cinq chantiers<\/em>\n <\/h3>\n <p style=\"font-size: 14.5px; color: #4A5868; margin-bottom: 24px; max-width: 920px;\">\n Chaque case verte de la matrice est adoss\u00e9e \u00e0 un rapport <span class=\"cnk-mono\" style=\"font-size:0.95em;\">CFVL-BINSEC-*<\/span> nomm\u00e9 et reproductible. Quatre chantiers clos, un parqu\u00e9 (HQC).\n <\/p>\n <div style=\"display: grid; grid-template-columns: repeat(auto-fit, minmax(240px, 1fr)); gap: 16px;\">\n <div style=\"border-left: 3px solid #1E7A34; background: rgba(30,122,52,0.05); padding: 16px 18px; border-radius: 0 4px 4px 0;\">\n <div style=\"font-size: 11px; letter-spacing: 0.12em; text-transform: uppercase; color: #1E7A34; font-weight: 700;\">\u2713 Fait \u2014 C4<\/div>\n <div style=\"color: #1A2842; font-size: 14.5px; font-weight: 600; margin: 4px 0;\">FrodoKEM-640 \u00b7 matmul<\/div>\n <div style=\"color: #5A6A82; font-size: 12.5px;\">Clos par d\u00e9composition \u00b7 <span class=\"cnk-mono\">045 \u00b7 FRODO-002<\/span><\/div>\n <\/div>\n <div style=\"border-left: 3px solid #1E7A34; background: rgba(30,122,52,0.05); padding: 16px 18px; border-radius: 0 4px 4px 0;\">\n <div style=\"font-size: 11px; letter-spacing: 0.12em; text-transform: uppercase; color: #1E7A34; font-weight: 700;\">\u2713 Fait \u2014 C1<\/div>\n <div style=\"color: #1A2842; font-size: 14.5px; font-weight: 600; margin: 4px 0;\">ML-KEM-768 \u00b7 composition<\/div>\n <div style=\"color: #5A6A82; font-size: 12.5px;\">Couture FO + basemul au binaire \u00b7 <span class=\"cnk-mono\">COMPO-001\/002<\/span><\/div>\n <\/div>\n <div style=\"border-left: 3px solid #1E7A34; background: rgba(30,122,52,0.05); padding: 16px 18px; border-radius: 0 4px 4px 0;\">\n <div style=\"font-size: 11px; letter-spacing: 0.12em; text-transform: uppercase; color: #1E7A34; font-weight: 700;\">\u2713 Fait \u2014 C2<\/div>\n <div style=\"color: #1A2842; font-size: 14.5px; font-weight: 600; margin: 4px 0;\">ML-KEM-1024<\/div>\n <div style=\"color: #5A6A82; font-size: 12.5px;\">H\u00e9ritage param\u00e9trique prouv\u00e9 \u00b7 <span class=\"cnk-mono\">MLKEM1024-001<\/span><\/div>\n <\/div>\n <div style=\"border-left: 3px solid #1E7A34; background: rgba(30,122,52,0.05); padding: 16px 18px; border-radius: 0 4px 4px 0;\">\n <div style=\"font-size: 11px; letter-spacing: 0.12em; text-transform: uppercase; color: #1E7A34; font-weight: 700;\">\u2713 Fait \u2014 C3<\/div>\n <div style=\"color: #1A2842; font-size: 14.5px; font-weight: 600; margin: 4px 0;\">ML-DSA-87 \u00b7 CT vs cl\u00e9 secr\u00e8te<\/div>\n <div style=\"color: #5A6A82; font-size: 12.5px;\">Noyaux arith. SECURE au binaire + rejet = mod\u00e8le de fuite document\u00e9 \u00b7 <span class=\"cnk-mono\">MLDSA-001<\/span><\/div>\n <\/div>\n <div style=\"border-left: 3px solid #9AA3B0; background: rgba(154,163,176,0.07); padding: 16px 18px; border-radius: 0 4px 4px 0;\">\n <div style=\"font-size: 11px; letter-spacing: 0.12em; text-transform: uppercase; color: #707A88; font-weight: 700;\">\u25cb Parqu\u00e9 \u2014 C5<\/div>\n <div style=\"color: #1A2842; font-size: 14.5px; font-weight: 600; margin: 4px 0;\">HQC-256 \ud83c\uddeb\ud83c\uddf7 \u00b7 stub \u2192 prod + CT<\/div>\n <div style=\"color: #5A6A82; font-size: 12.5px;\">Conditionn\u00e9 \u00e0 la stabilisation du brouillon FIPS HQC<\/div>\n <\/div>\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 8.5 \u2014 \u00c9VIDENCE FORMELLE NI ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">\u00c9vidence formelle Non-Interf\u00e9rence \u00b7 20 700 lignes<\/div>\n <h2 class=\"cnk-title\">20 661 lignes <em>d’\u00e9vidence CT\/NI<\/em><\/h2>\n \n <div style=\"margin: 24px 0 32px; background: linear-gradient(90deg, rgba(212,165,81,0.12) 0%, rgba(212,165,81,0.04) 100%); border-left: 4px solid #D4A551; padding: 18px 24px; border-radius: 0 4px 4px 0; display: flex; align-items: center; gap: 18px; flex-wrap: wrap;\">\n <span style=\"font-size: 28px;\">\ud83d\udcd0<\/span>\n <div style=\"flex: 1; min-width: 280px;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 10.5px; letter-spacing: 0.18em; text-transform: uppercase; color: #D4A551; font-weight: 600; margin-bottom: 6px;\">\u00c9vidence audit-grade reproductible \u00b7 disponible en data room<\/div>\n <div style=\"color: #E8EEF7; font-size: 15px; line-height: 1.6;\">\n <strong>20 661 lignes d’\u00e9vidence formelle Constant-Time \/ Non-Interf\u00e9rence<\/strong>\n g\u00e9n\u00e9r\u00e9es sur la campagne Sprints 65-88. Toutes tra\u00e7ables et v\u00e9rifiables en data room\n ou sur demande. \u00c0 notre connaissance, aucun autre projet de micronoyau formellement\n v\u00e9rifi\u00e9 ne publie un tel volume d’\u00e9vidence CT\/NI reproductible.\n <\/div>\n <\/div>\n <\/div>\n \n <p class=\"cnk-subtitle\">\n L’\u00e9vidence formelle Non-Interf\u00e9rence (Constant-Time) regroupe l’ensemble des art\u00e9facts\n produits par la campagne Binsec\/Rel cross-architecture ARM64 + x86-64 sur les primitives\n crypto HACL*. Chaque preuve est reproductible : code C harness, script Binsec, sortie\n v\u00e9rifi\u00e9e, rapport CFVL associ\u00e9.\n <\/p>\n \n <div style=\"margin-top: 48px; background: rgba(255,255,255,0.04); border: 1px solid rgba(212,165,81,0.25); border-radius: 4px; overflow: hidden;\">\n <table style=\"width: 100%; border-collapse: collapse; font-family: 'JetBrains Mono', monospace; font-size: 13px; color: #E8EEF7;\">\n <thead>\n <tr style=\"background: rgba(212,165,81,0.15); border-bottom: 2px solid rgba(212,165,81,0.5);\">\n <th style=\"padding: 14px 20px; text-align: left; font-weight: 600; color: #D4A551; letter-spacing: 0.05em;\">Cat\u00e9gorie d’art\u00e9fact<\/th>\n <th style=\"padding: 14px 20px; text-align: right; font-weight: 600; color: #D4A551;\">Lignes<\/th>\n <th style=\"padding: 14px 20px; text-align: left; font-weight: 600; color: #D4A551;\">Description<\/th>\n <\/tr>\n <\/thead>\n <tbody>\n <tr style=\"border-bottom: 1px solid rgba(255,255,255,0.06);\">\n <td style=\"padding: 12px 20px;\">Rapports CFVL-BINSEC (36 preuves)<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600;\">10 385<\/td>\n <td style=\"padding: 12px 20px; color: rgba(184,212,240,0.85);\">Rapports audit-grade des 36 preuves CT binaire<\/td>\n <\/tr>\n <tr style=\"border-bottom: 1px solid rgba(255,255,255,0.06);\">\n <td style=\"padding: 12px 20px;\">CFVL-SYNTHESE-001 + CFVL-BILAN-PHASE-B<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600;\">1 241<\/td>\n <td style=\"padding: 12px 20px; color: rgba(184,212,240,0.85);\">Synth\u00e8se globale + bilan Phase B<\/td>\n <\/tr>\n <tr style=\"border-bottom: 1px solid rgba(255,255,255,0.06);\">\n <td style=\"padding: 12px 20px;\">Harnesses C (test_*.c)<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600;\">6 917<\/td>\n <td style=\"padding: 12px 20px; color: rgba(184,212,240,0.85);\">Code C de slicing CT (15 primitives \u00d7 2 arch)<\/td>\n <\/tr>\n <tr style=\"border-bottom: 1px solid rgba(255,255,255,0.06);\">\n <td style=\"padding: 12px 20px;\">Scripts Binsec (.binsec)<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600;\">554<\/td>\n <td style=\"padding: 12px 20px; color: rgba(184,212,240,0.85);\">Annotations SECRET\/PUBLIC pour v\u00e9rification<\/td>\n <\/tr>\n <tr style=\"border-bottom: 1px solid rgba(255,255,255,0.06);\">\n <td style=\"padding: 12px 20px;\">Sorties Binsec (_output.txt)<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600;\">2 561<\/td>\n <td style=\"padding: 12px 20px; color: rgba(184,212,240,0.85);\">Verdicts SECURE + m\u00e9triques (CF, mem, depth)<\/td>\n <\/tr>\n <tr style=\"background: rgba(212,165,81,0.10); border-top: 2px solid rgba(212,165,81,0.5); border-bottom: 1px solid rgba(212,165,81,0.2);\">\n <td style=\"padding: 16px 20px; font-weight: 700; color: #D4A551; font-size: 14px;\">TOTAL art\u00e9facts ct-pass\/binsec<\/td>\n <td style=\"padding: 16px 20px; text-align: right; font-weight: 700; color: #D4A551; font-size: 16px;\">20 661<\/td>\n <td style=\"padding: 16px 20px; color: #D4A551; font-weight: 600;\">\u2248 20 700 lignes d’\u00e9vidence formelle CT\/NI<\/td>\n <\/tr>\n <tr style=\"opacity: 0.7;\">\n <td style=\"padding: 12px 20px; font-style: italic;\">+ HANDOFF.md (r\u00e9f\u00e9rences Sprint\/BINSEC)<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-style: italic;\">358 r\u00e9fs<\/td>\n <td style=\"padding: 12px 20px; color: rgba(184,212,240,0.7); font-style: italic;\">Documentation tra\u00e7able commit par commit<\/td>\n <\/tr>\n <\/tbody>\n <\/table>\n <\/div>\n \n <div style=\"margin-top: 36px; display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr)); gap: 24px;\">\n <div style=\"background: rgba(255,255,255,0.04); padding: 24px; border-left: 3px solid #D4A551; border-radius: 0 4px 4px 0;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 10.5px; letter-spacing: 0.15em; color: #D4A551; text-transform: uppercase; margin-bottom: 10px;\">Reproductibilit\u00e9 totale<\/div>\n <p style=\"color: #E8EEF7; line-height: 1.6; font-size: 14px; margin: 0;\">\n Chaque ligne est versionn\u00e9e Git, chaque preuve est rejouable. M\u00e9thode CT-slice +\n composition formelle HACL* via Binsec\/Rel. Toolchain document\u00e9e.\n <\/p>\n <\/div>\n <div style=\"background: rgba(255,255,255,0.04); padding: 24px; border-left: 3px solid #D4A551; border-radius: 0 4px 4px 0;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 10.5px; letter-spacing: 0.15em; color: #D4A551; text-transform: uppercase; margin-bottom: 10px;\">Cross-architecture<\/div>\n <p style=\"color: #E8EEF7; line-height: 1.6; font-size: 14px; margin: 0;\">\n ARM64 (aarch64-linux-musl) + x86-64 (x86_64-linux-musl) \u2014 chaque primitive\n prouv\u00e9e sur les deux architectures avec convergence \u0394 document\u00e9e.\n <\/p>\n <\/div>\n <div style=\"background: rgba(255,255,255,0.04); padding: 24px; border-left: 3px solid #D4A551; border-radius: 0 4px 4px 0;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 10.5px; letter-spacing: 0.15em; color: #D4A551; text-transform: uppercase; margin-bottom: 10px;\">Innovation m\u00e9thodologique<\/div>\n <p style=\"color: #E8EEF7; line-height: 1.6; font-size: 14px; margin: 0;\">\n Sprint 88 a introduit la m\u00e9thode \u00ab\u00a0calibrage progressif depth\u00a0\u00bb (50K \u2192 4M)\n appliqu\u00e9e \u00e0 la v\u00e9rification CT au binaire de FrodoKEM (n=64, puis param\u00e8tre de production 640).\n <\/p>\n <\/div>\n <\/div>\n \n <p style=\"margin-top: 32px; color: rgba(184,212,240,0.7); font-size: 13px; font-style: italic; line-height: 1.7; text-align: center;\">\n \u00c9vidence disponible en data room \/ sur demande \u00b7 calcul lignes <code style=\"background:rgba(255,255,255,0.08); padding:1px 5px; border-radius:2px;\">wc -l<\/code> reproductible \u00b7 snapshot campagne Sprints 65-88. \u00c9vidence \u00e9tendue depuis (non incluse dans ce total) : BINSEC-039\/040\/041 (TCB cryptographique re-prouv\u00e9 sur toolchain de prod), 042 (Ed25519 verify), 043\/044\/045 (PQC de production ML-KEM-768 + FrodoKEM-640), document\u00e9e s\u00e9par\u00e9ment.\n <\/p>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 9 \u2014 5 MODULES TCB ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">5 modules TCB livr\u00e9s \u00b7 4 PRs merg\u00e9es + 1 en cours<\/div>\n <h2 class=\"cnk-title\">Cinq modules <em>formellement v\u00e9rifi\u00e9s<\/em><\/h2>\n <p class=\"cnk-subtitle\">\n Chaque module CORTEX NK\u2122 a \u00e9t\u00e9 livr\u00e9 complet avec preuves Frama-C\/WP, th\u00e9or\u00e8mes Isabelle\/HOL,\n tests E2E et benchmarks evidence-grade.\n <\/p>\n \n <div class=\"cnk-card-grid\" style=\"margin-top: 24px;\">\n <div class=\"cnk-card\">\n <span class=\"cnk-card-icon\">\ud83d\udd10<\/span>\n <h3 class=\"cnk-card-title\">Module Secure Boot S1-S10<\/h3>\n <p class=\"cnk-card-text\">\n Cha\u00eene de boot post-quantique avec signature hybride Ed25519 + ML-DSA-87 (FIPS 204),\n manifest sign\u00e9, extension PCR TPM 2.0 r\u00e9el (TSS2), anti-rollback et recovery avec\n ancrage NV. <strong>Boot compos\u00e9 0,55 ms \u00b7 orchestr\u00e9 1,51 ms.<\/strong>\n <\/p>\n <p class=\"cnk-card-tags\">211 tests \u00b7 6 thm HOL \u00b7 WP 92% \u00b7 PR #16 \u2713<\/p>\n <\/div>\n \n <div class=\"cnk-card\">\n <span class=\"cnk-card-icon\">\ud83d\udee1\ufe0f<\/span>\n <h3 class=\"cnk-card-title\">Module Auto-Containment M\u00e9moire<\/h3>\n <p class=\"cnk-card-text\">\n Quarantaine m\u00e9moire monotone formellement prouv\u00e9e. Journal cryptographique immuable,\n invariants structurels permanents. <strong>MTTD moyen 18,76 ns \u00b7 339\/339 Frama-C\/WP\n (100%) \u00b7 6\/6 Isabelle\/HOL (0 sorry).<\/strong>\n <\/p>\n <p class=\"cnk-card-tags\">42 tests \u00b7 CT-MONO \u00b7 CT-LOG \u00b7 PR #17 \u2713<\/p>\n <\/div>\n \n <div class=\"cnk-card\">\n <span class=\"cnk-card-icon\">\ud83d\udcdc<\/span>\n <h3 class=\"cnk-card-title\">Module Audit Log Immuable<\/h3>\n <p class=\"cnk-card-text\">\n Journal cryptographique cha\u00een\u00e9 via HMAC-SHA256 HACL* (INRIA Prosecco). Ancrage TPM 2.0 PCR.\n Propri\u00e9t\u00e9 anti-tamper formellement prouv\u00e9e. <strong>Append 1,50 \u00b5s \u00b7 426\/443 Frama-C\/WP\n (96,2%) \u00b7 8 th\u00e9or\u00e8mes HOL.<\/strong>\n <\/p>\n <p class=\"cnk-card-tags\">70 tests \u00b7 AL-CHAIN \u00b7 AL-TPM \u00b7 PR #18 \u2713<\/p>\n <\/div>\n \n <div class=\"cnk-card\">\n <span class=\"cnk-card-icon\">\ud83c\udf10<\/span>\n <h3 class=\"cnk-card-title\">Module Mesh v1 PQC hybride<\/h3>\n <p class=\"cnk-card-text\">\n Attestation distante hybride AND-strict Ed25519 + ML-DSA-87. Propri\u00e9t\u00e9 PQC quantum-safe\n formellement prouv\u00e9e par 2 th\u00e9or\u00e8mes HOL d\u00e9di\u00e9s. <strong>V\u00e9rification 137 ns \u00b7 4 partitions\n formellement v\u00e9rifi\u00e9es \u00b7 18 thm HOL \u00b7 76,5% WP.<\/strong>\n <\/p>\n <p class=\"cnk-card-tags\">119 tests \u00b7 ME-HYBRID \u00b7 ME-REVOKE \u00b7 PR #19 \u2713<\/p>\n <\/div>\n \n <div class=\"cnk-card\">\n <span class=\"cnk-card-icon\">\ud83e\uddec<\/span>\n <h3 class=\"cnk-card-title\">Module 17 TCB \u00b7 Crypto Layer<\/h3>\n <p class=\"cnk-card-text\">\n 16 primitives crypto BINAIRE prouv\u00e9es CT (Sprints 65-94) avec composition stricte HACL*,\n dont les 12 du TCB cryptographique re-prouv\u00e9es sur la toolchain de production exacte.\n 5 orchestrations NIVEAU 7-B\/7-C\/7-D (jusqu’\u00e0 QUINTET 5 modules). PQC de production\n v\u00e9rifi\u00e9 CT au binaire hors TCB (ML-KEM-768, FrodoKEM-640).\n <\/p>\n <p class=\"cnk-card-tags\">72+ preuves Binsec \u00b7 36 rapports CFVL \u00b7 PR #19 \u2713<\/p>\n <\/div>\n \n <div class=\"cnk-card\">\n <span class=\"cnk-card-icon\">\ud83d\udcca<\/span>\n <h3 class=\"cnk-card-title\">R\u00e9cap formel cumul\u00e9<\/h3>\n <p class=\"cnk-card-text\">\n <strong>10 538 th\u00e9or\u00e8mes Isabelle\/HOL \u00b7 0 sorry<\/strong> (10 500 fondamentaux + 39 modules).\n <strong>3 450+ goals Frama-C\/WP<\/strong> (76-100% selon module). <strong>2 305 v\u00e9rifications\n CBMC \u00b7 0 failure<\/strong>. <strong>442 tests E2E PASS cumul\u00e9s<\/strong>. \u00c9vidence disponible\n en data room.\n <\/p>\n <p class=\"cnk-card-tags\">Multi-outils \u00b7 0 sorry \u00b7 0 failure<\/p>\n <\/div>\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 9bis \u2014 SPRINT S82 \u00b7 TCB STRICT ===== -->\n<section class=\"cnk-section-light\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Sprint S82 \u00b7 2 juin 2026 \u00b7 Couverture WP audit-grade<\/div>\n <h2 class=\"cnk-title\">Quatre modules <em>du TCB strict<\/em> \u2265 96 % WP<\/h2>\n <p class=\"cnk-subtitle\" style=\"color: #4A5868;\">\n Au-del\u00e0 des 5 modules d’\u00e9valuation publi\u00e9s en mai (PR #16-#19), le Sprint S82 du 2 juin 2026\n \u00e9tend la couverture Frama-C\/WP au <strong>TCB strict du micronoyau<\/strong> \u2014 les fonctions\n qui partagent les privil\u00e8ges du noyau. <strong>Quatre modules cons\u00e9cutifs \u2265 96 %<\/strong>,\n m\u00e9thode reproductible, infrastructure ACSL crypto cumulative (14 sections d’axiomes\n r\u00e9utilisables).\n <\/p>\n \n <div style=\"margin-top: 48px; background: rgba(26,40,66,0.04); border: 1px solid rgba(184,134,47,0.30); border-radius: 4px; overflow: hidden;\">\n <table style=\"width: 100%; border-collapse: collapse; font-family: 'JetBrains Mono', monospace; font-size: 13px; color: #1A2842;\">\n <thead>\n <tr style=\"background: rgba(184,134,47,0.12); border-bottom: 2px solid rgba(184,134,47,0.4);\">\n <th style=\"padding: 14px 20px; text-align: left; font-weight: 600; color: #B8862F; letter-spacing: 0.05em;\">Module TCB strict<\/th>\n <th style=\"padding: 14px 20px; text-align: right; font-weight: 600; color: #B8862F;\">Goals WP<\/th>\n <th style=\"padding: 14px 20px; text-align: right; font-weight: 600; color: #B8862F;\">Ratio<\/th>\n <th style=\"padding: 14px 20px; text-align: left; font-weight: 600; color: #B8862F;\">M\u00e9thode<\/th>\n <th style=\"padding: 14px 20px; text-align: right; font-weight: 600; color: #B8862F;\">Commit<\/th>\n <\/tr>\n <\/thead>\n <tbody>\n <tr style=\"border-bottom: 1px solid rgba(26,40,66,0.08);\">\n <td style=\"padding: 12px 20px;\"><strong>cortex_nk_audit_log.c<\/strong> <span style=\"font-size:11px; opacity:0.6;\">(r\u00e9f\u00e9rence pr\u00e9-S82)<\/span><\/td>\n <td style=\"padding: 12px 20px; text-align: right;\">426\/443<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600; color: #2E8B57;\">96,2 %<\/td>\n <td style=\"padding: 12px 20px;\">Asserts ACSL + helpers<\/td>\n <td style=\"padding: 12px 20px; text-align: right; opacity: 0.6;\">PR #18<\/td>\n <\/tr>\n <tr style=\"border-bottom: 1px solid rgba(26,40,66,0.08);\">\n <td style=\"padding: 12px 20px;\"><strong>src\/nk_mailbox.c<\/strong><\/td>\n <td style=\"padding: 12px 20px; text-align: right;\">400\/408<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600; color: #2E8B57;\">98,0 %<\/td>\n <td style=\"padding: 12px 20px;\">4 helpers axiomatic + cleanup #define<\/td>\n <td style=\"padding: 12px 20px; text-align: right; opacity: 0.6;\">4a8113f<\/td>\n <\/tr>\n <tr style=\"background: rgba(184,134,47,0.06); border-bottom: 1px solid rgba(26,40,66,0.08);\">\n <td style=\"padding: 12px 20px;\"><strong style=\"color:#B8862F;\">src\/nk_measure.c<\/strong><\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600;\">232\/234<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 700; color: #B8862F; font-size: 14px;\">99,1 %<\/td>\n <td style=\"padding: 12px 20px;\">7 helpers axiomatic (record interne)<\/td>\n <td style=\"padding: 12px 20px; text-align: right; opacity: 0.6;\">b815825<\/td>\n <\/tr>\n <tr style=\"border-bottom: 1px solid rgba(26,40,66,0.08);\">\n <td style=\"padding: 12px 20px;\"><strong>cortex_nk_ipc_stub.c<\/strong><\/td>\n <td style=\"padding: 12px 20px; text-align: right;\">117\/119<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600; color: #2E8B57;\">98,3 %<\/td>\n <td style=\"padding: 12px 20px;\">3 helpers axiomatic (cap_entry_verify)<\/td>\n <td style=\"padding: 12px 20px; text-align: right; opacity: 0.6;\">6e35cb9<\/td>\n <\/tr>\n <tr style=\"border-bottom: 1px solid rgba(26,40,66,0.08);\">\n <td style=\"padding: 12px 20px;\"><strong>src\/nk_measure_quote.c<\/strong> <span style=\"font-size:11px; opacity:0.6;\">(hors scope WP)<\/span><\/td>\n <td style=\"padding: 12px 20px; text-align: right; opacity: 0.6;\">\u2014<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600; color: #B8862F;\">Multi-modal<\/td>\n <td style=\"padding: 12px 20px;\">Isabelle 10 thms + CBMC 533 props + HACL*<\/td>\n <td style=\"padding: 12px 20px; text-align: right; opacity: 0.6;\">4ab6553<\/td>\n <\/tr>\n <tr style=\"background: rgba(184,134,47,0.12); border-top: 2px solid rgba(184,134,47,0.5);\">\n <td style=\"padding: 16px 20px; font-weight: 700; color: #B8862F; font-size: 14px;\">TOTAL TCB strict (4 modules WP)<\/td>\n <td style=\"padding: 16px 20px; text-align: right; font-weight: 700; color: #B8862F; font-size: 14px;\">1 175 \/ 1 204<\/td>\n <td style=\"padding: 16px 20px; text-align: right; font-weight: 700; color: #B8862F; font-size: 16px;\">98,1 %<\/td>\n <td style=\"padding: 16px 20px; color: #B8862F; font-weight: 600;\">Pattern micro-helper axiomatic<\/td>\n <td style=\"padding: 16px 20px; text-align: right; color: #B8862F; font-weight: 600;\">feat\/mesh-v1<\/td>\n <\/tr>\n <\/tbody>\n <\/table>\n <\/div>\n \n <div style=\"margin-top: 36px; display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr)); gap: 24px;\">\n \n <div style=\"background: rgba(26,40,66,0.04); padding: 28px; border-left: 3px solid #B8862F; border-radius: 0 4px 4px 0;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 10.5px; letter-spacing: 0.15em; color: #B8862F; text-transform: uppercase; margin-bottom: 12px;\">Pattern micro-helper axiomatic<\/div>\n <p style=\"color: #1A2842; line-height: 1.65; font-size: 14px; margin: 0;\">\n <strong>M\u00e9thode S82 valid\u00e9e sur 3 sprints cons\u00e9cutifs.<\/strong> Extraction des blocs\n combinatoires (memcpy, state updates, HMAC compute\/verify) dans des helpers static\n axiomatis\u00e9s sous <code style=\"background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px; font-size:0.9em;\">#ifdef __FRAMAC__<\/code>\n via <code style=\"background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px; font-size:0.9em;\">extern<\/code>\n + <code style=\"background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px; font-size:0.9em;\">#define<\/code>.\n Frame ACSL cibl\u00e9 \u2192 \u00e9limination de la combinatoire SMT.\n <\/p>\n <\/div>\n \n <div style=\"background: rgba(26,40,66,0.04); padding: 28px; border-left: 3px solid #B8862F; border-radius: 0 4px 4px 0;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 10.5px; letter-spacing: 0.15em; color: #B8862F; text-transform: uppercase; margin-bottom: 12px;\">Le\u00e7on audit-grade document\u00e9e<\/div>\n <p style=\"color: #1A2842; line-height: 1.65; font-size: 14px; margin: 0;\">\n <strong>Correction silent-skip mailbox.<\/strong> La couverture initiale du module (86,5 %)\n masquait un <em>silent-skip<\/em> de Frama-C 32 sur les <code style=\"background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px; font-size:0.9em;\">#define<\/code>\n dans annotations ACSL. R\u00e9\u00e9criture des contrats avec litt\u00e9raux \u2192 la couverture vraie\n passe de 115\/133 \u00e0 400\/408 (98,0 %). Document\u00e9e pour r\u00e8gle CORTEX NK syst\u00e9matique.\n <\/p>\n <\/div>\n \n <div style=\"background: rgba(26,40,66,0.04); padding: 28px; border-left: 3px solid #B8862F; border-radius: 0 4px 4px 0;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 10.5px; letter-spacing: 0.15em; color: #B8862F; text-transform: uppercase; margin-bottom: 12px;\">Couverture multi-modale quote<\/div>\n <p style=\"color: #1A2842; line-height: 1.65; font-size: 14px; margin: 0;\">\n Le module <code style=\"background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px; font-size:0.9em;\">nk_measure_quote.c<\/code>\n est hors scope Frama-C\/WP par limite SMT structurelle sur arrays crypto >1 Ko\n (<code style=\"background:rgba(10,26,51,0.06); padding:1px 4px; border-radius:2px; font-size:0.9em;\">mldsa_sig[4627]<\/code>).\n Couvert via combinaison <strong>Isabelle\/HOL (10 th\u00e9or\u00e8mes) + CBMC (533 propri\u00e9t\u00e9s v\u00e9rifi\u00e9es)\n + HACL* (axiomatis\u00e9)<\/strong> \u2014 compl\u00e9mentarit\u00e9 audit-grade document\u00e9e.\n <\/p>\n <\/div>\n \n <\/div>\n \n <div class=\"cnk-disclaimer\">\n <strong>Distinction TCB strict vs modules d’\u00e9valuation.<\/strong> Les 5 modules d’\u00e9valuation\n (PR #16-#19) sont des composants applicatifs livr\u00e9s en mai 2026 avec preuves Frama-C\/WP +\n Isabelle\/HOL + benchmarks evidence-grade. Le TCB strict S82 (juin 2026) couvre les\n <strong>fonctions noyau core<\/strong> qui partagent les privil\u00e8ges TCB et participent \u00e0 la\n surface de confiance audit\u00e9e par un CESTI. La couverture WP de ces 4 modules au pattern\n micro-helper axiomatic est coh\u00e9rente avec l’exigence ADV_IMP.1 attendue en EAL5+\/EAL6.\n Refs commits disponibles en data room : b815825 (measure) \u00b7 4a8113f (mailbox) \u00b7\n 6e35cb9 (ipc_stub) \u00b7 4ab6553 (CBMC quote) \u00b7 05e293a (Isabelle quote).\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 10 \u2014 AUDIT TCB CLOC ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">M\u00e9thodologie \u00b7 audit reproductible<\/div>\n <h2 class=\"cnk-title\">2 287 LOC <em>v\u00e9rifiables au cloc<\/em><\/h2>\n <p class=\"cnk-subtitle\" style=\"max-width: 820px;\">\n Le chiffre de 2 287 lignes de code C ne sort pas d’un slide. Il est obtenu par ex\u00e9cution de\n l’outil standard <code style=\"background:rgba(255,255,255,0.1); padding:2px 6px; border-radius:2px;\">cloc<\/code>\n (Count Lines Of Code) sur le code source r\u00e9el. P\u00e9rim\u00e8tre : noyau + raffinement capabilities +\n binding crypto natif. M\u00e9thode comparable \u00e0 celle utilis\u00e9e pour seL4.\n <\/p>\n \n <div style=\"margin-top: 48px; background: rgba(255,255,255,0.04); border: 1px solid rgba(212,165,81,0.25); border-radius: 4px; overflow: hidden;\">\n <table style=\"width: 100%; border-collapse: collapse; font-family: 'JetBrains Mono', monospace; font-size: 13px; color: #E8EEF7;\">\n <thead>\n <tr style=\"background: rgba(212,165,81,0.15); border-bottom: 2px solid rgba(212,165,81,0.5);\">\n <th style=\"padding: 14px 20px; text-align: left; font-weight: 600; color: #D4A551; letter-spacing: 0.05em;\">P\u00e9rim\u00e8tre<\/th>\n <th style=\"padding: 14px 20px; text-align: right; font-weight: 600; color: #D4A551;\">Code C<\/th>\n <th style=\"padding: 14px 20px; text-align: right; font-weight: 600; color: #D4A551;\">Headers<\/th>\n <th style=\"padding: 14px 20px; text-align: right; font-weight: 600; color: #D4A551;\">Total SLOC<\/th>\n <th style=\"padding: 14px 20px; text-align: right; font-weight: 600; color: #D4A551;\">vs seL4<\/th>\n <\/tr>\n <\/thead>\n <tbody>\n <tr style=\"border-bottom: 1px solid rgba(255,255,255,0.06);\">\n <td style=\"padding: 12px 20px;\">cortex_nk_tcb \u2014 TCB pur (boot, types, FSM)<\/td>\n <td style=\"padding: 12px 20px; text-align: right;\">262<\/td>\n <td style=\"padding: 12px 20px; text-align: right; opacity: 0.5;\">\u2014<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600;\">262<\/td>\n <td style=\"padding: 12px 20px; text-align: right; color: rgba(184,212,240,0.7);\">\u00d733<\/td>\n <\/tr>\n <tr style=\"border-bottom: 1px solid rgba(255,255,255,0.06);\">\n <td style=\"padding: 12px 20px;\">+ cortex_nk_refine \u2014 raffinement capabilities<\/td>\n <td style=\"padding: 12px 20px; text-align: right;\">1 506<\/td>\n <td style=\"padding: 12px 20px; text-align: right;\">641<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-weight: 600;\">2 147<\/td>\n <td style=\"padding: 12px 20px; text-align: right; color: rgba(184,212,240,0.7);\">\u00d74<\/td>\n <\/tr>\n <tr style=\"background: rgba(212,165,81,0.08); border-bottom: 1px solid rgba(212,165,81,0.2); border-top: 1px solid rgba(212,165,81,0.2);\">\n <td style=\"padding: 14px 20px; font-weight: 600; color: #D4A551;\">+ cortex_nk_crypto \u2014 binding crypto natif <span style=\"font-size: 11px; opacity: 0.8; font-weight: 400; font-style: italic;\">(chiffre publi\u00e9)<\/span><\/td>\n <td style=\"padding: 14px 20px; text-align: right; font-weight: 600;\">1 646<\/td>\n <td style=\"padding: 14px 20px; text-align: right; font-weight: 600;\">641<\/td>\n <td style=\"padding: 14px 20px; text-align: right; font-weight: 700; color: #D4A551; font-size: 15px;\">2 287<\/td>\n <td style=\"padding: 14px 20px; text-align: right; font-weight: 700; color: #D4A551;\">\u00d73,8<\/td>\n <\/tr>\n <tr style=\"opacity: 0.55;\">\n <td style=\"padding: 12px 20px; font-style: italic;\">(+ liboqs PQC complet \u2014 non inclus, comme pour seL4 vs OpenSSL)<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-style: italic;\">+6 785<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-style: italic;\">+54<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-style: italic;\">9 126<\/td>\n <td style=\"padding: 12px 20px; text-align: right; font-style: italic;\">~1\u00d7<\/td>\n <\/tr>\n <\/tbody>\n <\/table>\n <\/div>\n \n <div style=\"margin-top: 36px; display: grid; grid-template-columns: 1fr 1fr; gap: 28px;\">\n <div style=\"background: rgba(255,255,255,0.04); padding: 28px; border-left: 3px solid #D4A551; border-radius: 0 4px 4px 0;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 11px; letter-spacing: 0.15em; color: #D4A551; text-transform: uppercase; margin-bottom: 12px;\">Pourquoi 2 287 et pas 9 126<\/div>\n <p style=\"color: #E8EEF7; line-height: 1.7; font-size: 14.5px;\">\n La r\u00e8gle de comparaison \u00e9quitable des micronoyaux : on compte le <strong>c\u0153ur du noyau et ses\n d\u00e9pendances directes<\/strong>, pas les biblioth\u00e8ques crypto de r\u00e9f\u00e9rence externes. seL4 publie\n 8 700 LOC sans inclure OpenSSL. CORTEX NK publie 2 287 LOC sans inclure liboqs. P\u00e9rim\u00e8tres\n strictement comparables.\n <\/p>\n <\/div>\n <div style=\"background: rgba(255,255,255,0.04); padding: 28px; border-left: 3px solid #D4A551; border-radius: 0 4px 4px 0;\">\n <div style=\"font-family: 'JetBrains Mono', monospace; font-size: 11px; letter-spacing: 0.15em; color: #D4A551; text-transform: uppercase; margin-bottom: 12px;\">Pourquoi 2 287 et pas 262<\/div>\n <p style=\"color: #E8EEF7; line-height: 1.7; font-size: 14.5px;\">\n Le TCB pur (262 LOC) seul ne refl\u00e8te pas l’op\u00e9rationnalit\u00e9. Un \u00e9valuateur CESTI demande\n syst\u00e9matiquement d’inclure le <strong>raffinement capabilities<\/strong> et le\n <strong>binding crypto natif<\/strong>, car ces composants partagent les privil\u00e8ges du TCB\n et participent \u00e0 la surface de confiance. Le p\u00e9rim\u00e8tre 2 287 LOC est celui pr\u00e9par\u00e9 pour\n l’\u00e9valuation CSPN.\n <\/p>\n <\/div>\n <\/div>\n \n <div style=\"margin-top: 36px; background: #050E1F; padding: 24px 28px; border-radius: 4px; border: 1px solid rgba(212,165,81,0.2); font-family: 'JetBrains Mono', monospace; font-size: 12.5px; line-height: 1.8; color: rgba(184,212,240,0.85); overflow-x: auto;\">\n <div style=\"font-family: inherit; font-size: 10px; letter-spacing: 0.2em; color: #D4A551; text-transform: uppercase; margin-bottom: 14px;\">Commande de reproduction de l’audit<\/div>\n <div style=\"color: rgba(255,255,255,0.4);\">$ <span style=\"color: #fff;\">cloc cortex_nk_tcb cortex_nk_refine cortex_nk_crypto –include-lang=C,’C\/C++ Header’<\/span><\/div>\n <div style=\"margin-top: 14px; color: rgba(255,255,255,0.4);\">\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/div>\n <div style=\"color: rgba(255,255,255,0.6);\">Language files blank comment code<\/div>\n <div style=\"color: rgba(255,255,255,0.4);\">\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/div>\n <div style=\"color: rgba(184,212,240,0.85);\">C 6 351 407 <span style=\"color: #D4A551; font-weight: 600;\">1 646<\/span><\/div>\n <div style=\"color: rgba(184,212,240,0.85);\">C\/C++ Header 6 177 613 <span style=\"color: #D4A551; font-weight: 600;\">641<\/span><\/div>\n <div style=\"color: rgba(255,255,255,0.4);\">\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/div>\n <div style=\"color: rgba(184,212,240,0.85);\">SUM: 12 528 1 020 <span style=\"color: #D4A551; font-weight: 700; font-size: 14px;\">2 287<\/span><\/div>\n <div style=\"margin-top: 14px; color: #6DD98A;\">\u2705 Audit reproductible \u00b7 cloc v2.08 \u00b7 juin 2026 \u00b7 macOS Apple Silicon<\/div>\n <\/div>\n \n <p style=\"margin-top: 28px; color: rgba(184,212,240,0.7); font-size: 13px; font-style: italic; line-height: 1.7;\">\n Note m\u00e9thodologique. Le code source CORTEX NK sera mis \u00e0 disposition des CESTI agr\u00e9\u00e9s et des\n partenaires institutionnels dans le cadre des \u00e9valuations CSPN ANSSI (2027) et Common Criteria\n EAL4 (2028). Toute mesure publique repose sur l’outil <code style=\"background: rgba(255,255,255,0.08); padding: 1px 4px; border-radius: 2px;\">cloc<\/code>\n (AlDanial\/cloc, MIT licence) appliqu\u00e9 au p\u00e9rim\u00e8tre d\u00e9clar\u00e9 ci-dessus, m\u00e9thode identique \u00e0 celle\n employ\u00e9e pour seL4 par la Foundation seL4.\n <\/p>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 11 \u2014 FRONTI\u00c8RES DOCUMENT\u00c9ES ===== -->\n<section class=\"cnk-section-light\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Discipline audit-grade \u00b7 Fronti\u00e8res document\u00e9es<\/div>\n <h2 class=\"cnk-title\">Ce que nous <em>ne prouvons pas<\/em><\/h2>\n <p class=\"cnk-subtitle\" style=\"color: #4A5868;\">\n La transparence sur les limites est ce qui distingue un dossier audit-grade d’un slide de\n vente. CORTEX NK documente explicitement ses fronti\u00e8res \u2014 communes \u00e0 l’\u00e9tat de l’art mondial\n 2026. C’est cette honn\u00eatet\u00e9 qui fait la cr\u00e9dibilit\u00e9 devant ANSSI\/CESTI.\n <\/p>\n \n <div class=\"cnk-card-grid\">\n <div class=\"cnk-card cnk-card-light\" style=\"border-left: 4px solid #2E8B57;\">\n <span class=\"cnk-card-num\" style=\"color: #2E8B57;\">\u2713<\/span>\n <h3 class=\"cnk-card-title\">Ed25519 sign \u00b7 r\u00e9solu sur la toolchain de production<\/h3>\n <p class=\"cnk-card-text\">\n Un motif de r\u00e9\u00e9criture introduit par le compilateur sous la configuration d’<em>analyse<\/em>\n clang-musl -O1 pouvait rompre la propri\u00e9t\u00e9 Constant-Time \u2014 ph\u00e9nom\u00e8ne connu et publi\u00e9,\n sensible \u00e0 la cha\u00eene d’outils. La source HACL* est CT par construction. Sur la\n <strong>toolchain de production exacte<\/strong> (gcc-O2 bare-metal), le binaire livr\u00e9 est\n CT-clean : <strong>BINSEC-039 SECURE \u2014 64 494\/64 494 CF, 230 940\/230 940 MEM, 0 alerte<\/strong>.\n <\/p>\n <p class=\"cnk-card-tags\">Sprint 89 \u00b7 BINSEC-039 \u00b7 r\u00e9solu (toolchain prod)<\/p>\n <\/div>\n \n <div class=\"cnk-card cnk-card-light\" style=\"border-left: 4px solid #C97A3A;\">\n <span class=\"cnk-card-num\" style=\"color: #C97A3A;\">\u26a0\ufe0f<\/span>\n <h3 class=\"cnk-card-title\">Ed25519 verify \u00b7 fronti\u00e8re outil (entr\u00e9es publiques)<\/h3>\n <p class=\"cnk-card-text\">\n La fonction <code style=\"background:rgba(10,26,51,0.08); padding:1px 5px; border-radius:2px; font-size:0.9em;\">Curve25519_finv<\/code>\n (inversion modulaire, 255 squarings symboliques) provoque une explosion de chemins qui d\u00e9passe\n Binsec\/Rel sur les deux toolchains test\u00e9es (BINSEC-017 et 042) \u2014 0 alerte sur les chemins explor\u00e9s.\n Point cl\u00e9 : en EdDSA, <strong>verify n’op\u00e8re que sur des entr\u00e9es publiques<\/strong> (le secret n’y\n entre jamais), donc le CT de verify n’est <em>pas<\/em> une propri\u00e9t\u00e9 de s\u00e9curit\u00e9. Fermeture\n compositionnelle de <code style=\"font-size:0.9em;\">finv<\/code> en feuille de route (candidat CIFRE).\n <\/p>\n <p class=\"cnk-card-tags\">BINSEC-017 \/ 042 \u00b7 entr\u00e9es publiques \u00b7 non-s\u00e9curit\u00e9<\/p>\n <\/div>\n \n <div class=\"cnk-card cnk-card-light\" style=\"border-left: 4px solid #2E8B57;\">\n <span class=\"cnk-card-num\" style=\"color: #2E8B57;\">\u2713<\/span>\n <h3 class=\"cnk-card-title\">ML-KEM-768 (FIPS 203) \u00b7 v\u00e9rifi\u00e9 par noyaux au binaire<\/h3>\n <p class=\"cnk-card-text\">\n ML-KEM n’est pas dans la release stable HACL* 0.7.2 ; il est utilis\u00e9 via liboqs (FIPS 203) en\n production. CORTEX a v\u00e9rifi\u00e9 au binaire ARM64 de prod ses <strong>10 noyaux sensibles au secret<\/strong>\n (BINSEC-043\/044) \u2014 9 SECURE + 1 par composition, <code style=\"font-size:0.9em;\">compress<\/code>\n DIV-clean, 0 alerte. Travail <strong>compl\u00e9mentaire<\/strong> de Formosa-Crypto (ML-KEM CT jusqu’\u00e0\n l’assembleur via Jasmin) et libcrux (Rust v\u00e9rifi\u00e9). Fronti\u00e8re r\u00e9siduelle : la preuve machine\n bout-en-bout. Hors TCB BL2.\n <\/p>\n <p class=\"cnk-card-tags\">BINSEC-043 \/ 044 \u00b7 hors TCB \u00b7 composition<\/p>\n <\/div>\n \n <div class=\"cnk-card cnk-card-light\" style=\"border-left: 4px solid #C97A3A;\">\n <span class=\"cnk-card-num\" style=\"color: #C97A3A;\">\u26a0\ufe0f<\/span>\n <h3 class=\"cnk-card-title\">ML-DSA-87 (Dilithium) \u00b7 Fronti\u00e8re upstream HACL*<\/h3>\n <p class=\"cnk-card-text\">\n ML-DSA n’est pas non plus int\u00e9gr\u00e9 dans HACL* 0.7.2. Utilis\u00e9 via liboqs (NIST FIPS 204\n standard) en production. Composition prouv\u00e9e formellement dans le module Mesh v1\n via th\u00e9or\u00e8me ME-HYBRID-pq_safe (r\u00e9sistance quantum-safe en cas de fall-back).\n <\/p>\n <p class=\"cnk-card-tags\">Sprint 73-B recon \u00b7 Module Mesh proof<\/p>\n <\/div>\n <\/div>\n \n <div class=\"cnk-disclaimer\">\n <strong>Pourquoi c’est un argument FORT, pas une faiblesse.<\/strong> Un \u00e9valuateur ANSSI\/CESTI\n sait que 100% n’existe pas. Un dossier qui pr\u00e9tend tout prouver est suspect. CORTEX NK\n documente ses fronti\u00e8res comme \u00e9tat de l’art mondial \u2014 exactement ce que la discipline\n audit-grade exige. Notre roadmap institutionnelle vise \u00e0 r\u00e9soudre ces fronti\u00e8res via\n partenariat acad\u00e9mique (palier 99,95-99,99% \u00e0 12-18 mois).\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 12 \u2014 BENCHMARK MMU ===== -->\n<section class=\"cnk-section-light\" style=\"padding-top: 0;\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Benchmark MMU \u00b7 Mesures r\u00e9elles<\/div>\n <h2 class=\"cnk-title\">9 fonctions au c\u0153ur <em>du noyau<\/em><\/h2>\n <p class=\"cnk-subtitle\" style=\"color: #4A5868;\">\n Mesures terminal r\u00e9elles, macOS Apple Silicon, clang -O1, hardening PAC\/BTI + shadow stack\n actif. 7 fonctions sur 9 sous la barre des 10 nanosecondes \u2014 les deux op\u00e9rations de\n modification de mapping sont volontairement plus co\u00fbteuses, car elles modifient les structures\n prot\u00e9g\u00e9es.\n <\/p>\n \n <table class=\"cnk-benchmark-table\">\n <thead><tr><th>Fonction<\/th><th style=\"text-align: right;\">Mean (ns)<\/th><th style=\"text-align: right;\">p99 (ns)<\/th><\/tr><\/thead>\n <tbody>\n <tr><td><span class=\"cnk-mono\">nk_mmu_check_access [READ ok]<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">V\u00e9rifier qu’une lecture m\u00e9moire est autoris\u00e9e<\/span><\/td><td class=\"cnk-num cnk-num-hi\" style=\"color:#B8862F;\">4,81<\/td><td class=\"cnk-num\">16<\/td><\/tr>\n <tr><td><span class=\"cnk-mono\">nk_mmu_check_access [no mapping]<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">D\u00e9tecter une zone m\u00e9moire non cartographi\u00e9e<\/span><\/td><td class=\"cnk-num cnk-num-hi\" style=\"color:#B8862F;\">4,42<\/td><td class=\"cnk-num\">11<\/td><\/tr>\n <tr><td><span class=\"cnk-mono\">nk_mmu_check_access [NULL ptr]<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">Bloquer un acc\u00e8s \u00e0 un pointeur nul<\/span><\/td><td class=\"cnk-num cnk-num-hi\" style=\"color:#B8862F;\">4,21<\/td><td class=\"cnk-num\">8<\/td><\/tr>\n <tr><td><span class=\"cnk-mono\">nk_mmu_check_wx [invariant W^X]<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">Emp\u00eacher qu’une zone soit \u00e0 la fois modifiable et ex\u00e9cutable<\/span><\/td><td class=\"cnk-num cnk-num-hi\" style=\"color:#B8862F;\">4,71<\/td><td class=\"cnk-num\">15<\/td><\/tr>\n <tr><td><span class=\"cnk-mono\">nk_mmu_switch_domain<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">Basculer entre deux domaines de s\u00e9curit\u00e9 isol\u00e9s<\/span><\/td><td class=\"cnk-num cnk-num-hi\" style=\"color:#B8862F;\">4,03<\/td><td class=\"cnk-num\">5<\/td><\/tr>\n <tr><td><span class=\"cnk-mono\">nk_mmu_init<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">Initialiser la table m\u00e9moire prot\u00e9g\u00e9e<\/span><\/td><td class=\"cnk-num cnk-num-hi\" style=\"color:#B8862F;\">4,02<\/td><td class=\"cnk-num\">5<\/td><\/tr>\n <tr><td><span class=\"cnk-mono\">nk_mmu_enable<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">Activer la protection m\u00e9moire mat\u00e9rielle<\/span><\/td><td class=\"cnk-num cnk-num-hi\" style=\"color:#B8862F;\">8,06<\/td><td class=\"cnk-num\">9<\/td><\/tr>\n <tr><td><span class=\"cnk-mono\">nk_mmu_map [add mapping]<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">Autoriser un nouvel acc\u00e8s m\u00e9moire \u2014 op\u00e9ration prot\u00e9g\u00e9e<\/span><\/td><td class=\"cnk-num\">83,41<\/td><td class=\"cnk-num\">111<\/td><\/tr>\n <tr><td><span class=\"cnk-mono\">nk_mmu_set_readonly<\/span><br><span style=\"font-size:12px; color:#6A7588; font-style:italic; letter-spacing:0.01em;\">Verrouiller une zone en lecture seule \u2014 op\u00e9ration prot\u00e9g\u00e9e<\/span><\/td><td class=\"cnk-num\">86,63<\/td><td class=\"cnk-num\">172<\/td><\/tr>\n <\/tbody>\n <\/table>\n \n <div class=\"cnk-disclaimer\">\n <strong>M\u00e9thodologie.<\/strong> 10\u2077 appels par mesure \u00b7 noinline + barrier \u00b7 ARM64 clang -O1 \u00b7\n sources <span class=\"cnk-mono\">cortex_nk_mmu.c<\/span> + <span class=\"cnk-mono\">cortex_nk_hardening.c<\/span>.\n Rapport interne CFVL-EVAL-NK-MTTD-001 v1.0. Validation ind\u00e9pendante pr\u00e9vue Q3 2026 dans le\n cadre <strong>ATE_IND.2 CESTI<\/strong> sur plateforme cible.\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 13 \u2014 VS SEL4 ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Positionnement performance \u00b7 Sources publiques<\/div>\n <h2 class=\"cnk-title\">CORTEX NK <em>vs seL4<\/em><\/h2>\n <p class=\"cnk-subtitle\">\n Comparaison fonction-\u00e0-fonction sur l’op\u00e9ration de r\u00e9f\u00e9rence des micronoyaux \u00e0 capabilities.\n Sur la fonction de r\u00e9f\u00e9rence (capability check), CORTEX NK ex\u00e9cute 140 \u00e0 376 it\u00e9rations dans\n le temps o\u00f9 seL4 en ex\u00e9cute 1.\n <\/p>\n \n <table class=\"cnk-benchmark-table\">\n <thead><tr><th>Fonction compar\u00e9e<\/th><th style=\"text-align: right;\">CORTEX NK<\/th><th style=\"text-align: right;\">seL4 (sel4bench off.)<\/th><\/tr><\/thead>\n <tbody>\n <tr><td><strong>Capability check \/ fast path<\/strong><br><span class=\"cnk-mono\" style=\"font-size: 12px; opacity: 0.65;\">M02 PRISM blp_can_read<\/span><\/td><td class=\"cnk-num\" style=\"color:#D4A551;\">0,90 ns<\/td><td class=\"cnk-num\">\u2248 338 ns<\/td><\/tr>\n <tr><td><strong>Domain transition<\/strong><br><span class=\"cnk-mono\" style=\"font-size: 12px; opacity: 0.65;\">PRISM tcb_transition<\/span><\/td><td class=\"cnk-num\" style=\"color:#D4A551;\">1,16 ns<\/td><td class=\"cnk-num\">\u2248 219-338 ns<\/td><\/tr>\n <tr><td><strong>MMU access check<\/strong><br><span class=\"cnk-mono\" style=\"font-size: 12px; opacity: 0.65;\">nk_mmu_check_access<\/span><\/td><td class=\"cnk-num\" style=\"color:#D4A551;\">4,21 ns<\/td><td class=\"cnk-num\">non publi\u00e9<\/td><\/tr>\n <tr><td><strong>Boot step \/ Root of Trust<\/strong><br><span class=\"cnk-mono\" style=\"font-size: 12px; opacity: 0.65;\">M00 boot_step<\/span><\/td><td class=\"cnk-num\" style=\"color:#D4A551;\">1,30 ns<\/td><td class=\"cnk-num\">non publi\u00e9<\/td><\/tr>\n <tr><td><strong>Policy evaluation<\/strong><br><span class=\"cnk-mono\" style=\"font-size: 12px; opacity: 0.65;\">OMEGA policy_eval<\/span><\/td><td class=\"cnk-num\" style=\"color:#D4A551;\">2,30 ns<\/td><td class=\"cnk-num\">non publi\u00e9<\/td><\/tr>\n <\/tbody>\n <\/table>\n \n <p style=\"text-align: center; font-size: 17px; color: #E8EEF7; margin: 32px 0; font-weight: 600;\">\n Ratio sur op\u00e9ration de r\u00e9f\u00e9rence : <span style=\"color: #D4A551;\">\u00d7140 \u00e0 \u00d7376<\/span> \u00b7\n \u00e0 confirmer ATE_IND.2 CESTI Q3 2026.\n <\/p>\n \n <div class=\"cnk-disclaimer\">\n <strong>R\u00e9serve m\u00e9thodologique assum\u00e9e.<\/strong> Plateformes h\u00e9t\u00e9rog\u00e8nes (Apple Silicon vs\n ARM Cortex-A9\/A57), compilateurs diff\u00e9rents (clang -O1 vs GCC), hardening diff\u00e9rents. Le ratio\n brut reste indicatif tant que la mesure n’est pas reproduite sur plateforme cible CESTI.\n Sources : <span class=\"cnk-mono\">sel4.systems\/performance.html<\/span> \u00b7 sel4bench-manifest\n a2f1d8b9 \u00b7 page officielle 2026-04-28. ProvenCore : aucun benchmark public publi\u00e9 par Prove&Run.\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 14 \u2014 TABLEAU CONCURRENTIEL ===== -->\n<section class=\"cnk-section-light\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Benchmark concurrentiel \u00b7 6 acteurs mondiaux<\/div>\n <h2 class=\"cnk-title\">Pourquoi pas <em>les autres<\/em><\/h2>\n <p class=\"cnk-subtitle\" style=\"color: #4A5868;\">\n Six micronoyaux compar\u00e9s sur onze crit\u00e8res, sources publiques v\u00e9rifi\u00e9es. \u00c0 notre connaissance,\n CORTEX NK est le seul acteur combinant <strong>TCB minimal de 2 287 lignes<\/strong>, preuves\n formelles dont l’ampleur d\u00e9passe les exigences EAL7, trajectoire de certification officielle\n (CSPN puis EAL7 vis\u00e9), souverainet\u00e9 fran\u00e7aise,\n <strong>16 primitives BINAIRE prouv\u00e9es CT, toutes benchmark\u00e9es, + 8 r\u00e9f\u00e9rences (dont 5 PQC)<\/strong> incluant HQC \ud83c\uddeb\ud83c\uddf7.\n <\/p>\n \n <table class=\"cnk-benchmark-table cnk-comp-table\">\n <thead>\n <tr>\n <th><\/th>\n <th class=\"cnk-cell-center cnk-col-cortex\">CORTEX NK<br><span style=\"opacity:0.6; font-weight:400;\">\ud83c\uddeb\ud83c\uddf7 France<\/span><\/th>\n <th class=\"cnk-cell-center\">ProvenRun<br><span style=\"opacity:0.6; font-weight:400;\">\ud83c\uddeb\ud83c\uddf7 France<\/span><\/th>\n <th class=\"cnk-cell-center\">seL4 \/ NICTA<br><span style=\"opacity:0.6; font-weight:400;\">\ud83c\udde6\ud83c\uddfa Australie<\/span><\/th>\n <th class=\"cnk-cell-center\">Green Hills<br><span style=\"opacity:0.6; font-weight:400;\">\ud83c\uddfa\ud83c\uddf8 USA \u26a0<\/span><\/th>\n <th class=\"cnk-cell-center\">Wind River<br><span style=\"opacity:0.6; font-weight:400;\">\ud83c\uddfa\ud83c\uddf8 USA \u26a0<\/span><\/th>\n <th class=\"cnk-cell-center\">SYSGO PikeOS<br><span style=\"opacity:0.6; font-weight:400;\">\ud83c\udde9\ud83c\uddea Allemagne<\/span><\/th>\n <\/tr>\n <\/thead>\n <tbody>\n <tr>\n <td><strong>Certification Common Criteria<\/strong><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-mid\">Preuves au-del\u00e0 des exigences EAL7<br><span style=\"font-size:11px; opacity:0.85;\">cible EAL7 2030<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">EAL7 \u2713<br><span style=\"font-size:11px; opacity:0.85;\">certifi\u00e9 2019<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">Preuves au-del\u00e0 des exigences EAL7<br><span style=\"font-size:11px; opacity:0.85;\">non pass\u00e9 en certif.<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">EAL6+<\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">EAL4+<\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">EAL3+<\/td>\n <\/tr>\n <tr>\n <td><strong>Certification CSPN ANSSI<\/strong><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-mid\">Pr\u00e9par\u00e9e<br><span style=\"font-size:11px; opacity:0.85;\">cible Q1 2027<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">~<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <\/tr>\n <tr>\n <td><strong>Th\u00e9or\u00e8mes Isabelle\/HOL \u00b7 0 sorry<\/strong><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-ok\">10 538<br><span style=\"font-size:11px; opacity:0.85;\">0 sorry \u00b7 multi-outils<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">~200k lignes<br><span style=\"font-size:11px; opacity:0.85;\">jusqu’au binaire<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">~<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <\/tr>\n <tr>\n <td><strong>Taille du TCB<\/strong><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-ok\">2 287 LOC<br><span style=\"font-size:11px; opacity:0.85;\">\u00d7 3,8 plus petit<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">non publi\u00e9<\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">~8 700 LOC<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">propri\u00e9taire<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">propri\u00e9taire<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">propri\u00e9taire<\/td>\n <\/tr>\n <tr style=\"background: rgba(212,165,81,0.06);\">\n <td style=\"border-left: 3px solid #D4A551;\"><strong>16 primitives BINAIRE prouv\u00e9es CT<\/strong><br><span style=\"font-size:11.5px; color:#6A7588; font-style:italic;\">SHA-256\/512 \u00b7 HMAC \u00b7 ChaCha20-Poly1305 \u00b7 HKDF \u00b7 SHA-3 \u00b7 BLAKE2b \u00b7 X25519 \u00b7 Ed25519 \u00b7 FrodoKEM-64 \ud83c\udfc6<\/span><br><span style=\"font-size:11px; color:#B8862F; font-weight:600; letter-spacing:0.08em; text-transform:uppercase;\">\u2014 couverture la plus large document\u00e9e \u2014<\/span><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-ok\" style=\"font-size:16px;\">\u2713 16<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">0<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">0<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">0<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">0<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">0<\/td>\n <\/tr>\n <tr>\n <td><strong>PQC NIST 2024<\/strong><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-ok\">\u2713 HQC \ud83c\uddeb\ud83c\uddf7<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <\/tr>\n <tr style=\"background: rgba(212,165,81,0.06);\">\n <td style=\"border-left: 3px solid #D4A551;\"><strong>16 primitives prouv\u00e9es CT + mesur\u00e9es<\/strong><br><span style=\"font-size:11.5px; color:#6A7588; font-style:italic;\">SHA-256\/512 \u00b7 SHA-3 \u00b7 HMAC \u00b7 BLAKE2b \u00b7 Poly1305 \u00b7 ChaCha20-Poly1305 \u00b7 HKDF \u00b7 Ed25519 \u00b7 X25519 (perf HACL*) \u00b7 + 8 r\u00e9f liboqs dont ML-KEM\/ML-DSA\/SLH-DSA\/BIKE\/HQC \ud83c\uddeb\ud83c\uddf7<\/span><br><span style=\"font-size:11px; color:#B8862F; font-weight:600; letter-spacing:0.08em; text-transform:uppercase;\">\u2014 sans \u00e9quivalent publi\u00e9 connu \u2014<\/span><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-ok\" style=\"font-size:16px;\">\u2713<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <\/tr>\n <tr>\n <td><strong>Souverainet\u00e9 France \/ UE<\/strong><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-ok\">\u2713<\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">\u2713<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-ko\">\u2717<\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">~<\/td>\n <\/tr>\n <tr>\n <td><strong>Palier formel ferme (%)<\/strong><br><span style=\"font-size:11.5px; color:#6A7588; font-style:italic;\">Niveau de confiance math\u00e9matique d\u00e9fendable \u00b7 scope crypto applicatif + TCB strict<\/span><\/td>\n <td class=\"cnk-cell-center cnk-col-cortex cnk-cell-ok\"><strong>99,90 %<\/strong><br><span style=\"font-size:11px; opacity:0.85;\">+ TCB strict 98,1 % S82<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">~99,7 %<br><span style=\"font-size:11px; opacity:0.7;\">scope TEE<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-ok\">99,95 %<br><span style=\"font-size:11px; opacity:0.7;\">scope microkernel \u00b7 0 crypto<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">~99,5 %<br><span style=\"font-size:11px; opacity:0.7;\">EAL6+ certifi\u00e9<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">~99,2 %<br><span style=\"font-size:11px; opacity:0.7;\">EAL4+ certifi\u00e9<\/span><\/td>\n <td class=\"cnk-cell-center cnk-cell-mid\">~99,0 %<br><span style=\"font-size:11px; opacity:0.7;\">EAL3+ certifi\u00e9<\/span><\/td>\n <\/tr>\n <\/tbody>\n <\/table>\n \n <div class=\"cnk-disclaimer\">\n <strong>Lecture du tableau \u00b7 preuves formelles vs certification.<\/strong> Common Criteria EAL7\n exige des preuves formelles uniquement jusqu’\u00e0 la sp\u00e9cification de conception. CORTEX NK et seL4\n vont au-del\u00e0 \u2014 preuves formelles jusqu’\u00e0 l’impl\u00e9mentation. Diff\u00e9rence strat\u00e9gique :\n <strong>CORTEX NK vise la certification officielle<\/strong> (CSPN 2027 \u2192 EAL4 2028 \u2192 EAL7 2030),\n la <em>Foundation seL4<\/em> a fait le choix inverse (preuves math\u00e9matiques publiques sans\n certification administrative). ProvenRun est certifi\u00e9 EAL7 (2019) sur TEE automobile\/IoT mais\n sans stack crypto native compl\u00e8te. Green Hills \/ Wind River = soumis au <strong>Cloud Act\n am\u00e9ricain<\/strong>, incompatibles souverainet\u00e9 \u00c9tat fran\u00e7ais. Sources : sel4.systems\/Verification \u00b7\n ProvenRun.com (EAL7 cert 2019) \u00b7 Green Hills Software \u00b7 Wind River \u00b7 SYSGO \u00b7 Juin 2026.\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 15 \u2014 TRAJECTOIRE EAL7 (avec jalon S82) ===== -->\n<section class=\"cnk-section-dark\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">\u00c9tat Juin 2026 \u00b7 Trajectoire certifiable<\/div>\n <h2 class=\"cnk-title\">De <em>la preuve<\/em> \u00e0 <em>l’EAL7<\/em><\/h2>\n <p class=\"cnk-subtitle\">\n Cinq modules TCB livr\u00e9s (4 PRs merg\u00e9es + 1 ouverte), 39 th\u00e9or\u00e8mes Isabelle\/HOL modules,\n 72+ preuves Binsec\/Rel, palier 99,90% ferme. <strong>Sprint S82 (juin 2026) : TCB strict\n 4 modules \u2265 96 % WP.<\/strong> Planification CSPN Q1 2027, projection EAL6 2029 et EAL7\n \u00e0 horizon 2030. Aucun raccourci \u2014 chaque jalon est document\u00e9, dat\u00e9, prouv\u00e9.\n <\/p>\n \n <div class=\"cnk-timeline\">\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">\u2713 Termin\u00e9<\/p><h4 class=\"cnk-timeline-step-title\">Module Secure Boot<\/h4><p class=\"cnk-timeline-step-desc\">PR #16 \u00b7 S1-S10 \u00b7 211\/211 tests \u00b7 21 mai 2026<\/p><\/div>\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">\u2713 Termin\u00e9<\/p><h4 class=\"cnk-timeline-step-title\">Auto-Containment<\/h4><p class=\"cnk-timeline-step-desc\">PR #17 \u00b7 339\/339 WP \u00b7 6 thm HOL \u00b7 22 mai 2026<\/p><\/div>\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">\u2713 Termin\u00e9<\/p><h4 class=\"cnk-timeline-step-title\">Audit Log Immuable<\/h4><p class=\"cnk-timeline-step-desc\">PR #18 \u00b7 426\/443 WP \u00b7 8 thm HOL \u00b7 22 mai 2026<\/p><\/div>\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">\u2713 Termin\u00e9<\/p><h4 class=\"cnk-timeline-step-title\">Mesh v1 PQC<\/h4><p class=\"cnk-timeline-step-desc\">PR #19 \u00b7 18 thm HOL \u00b7 119 tests \u00b7 24 mai 2026<\/p><\/div>\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">\u2713 Termin\u00e9<\/p><h4 class=\"cnk-timeline-step-title\">Module 17 TCB Crypto<\/h4><p class=\"cnk-timeline-step-desc\">PR #19 \u00b7 16 primitives BINAIRE \u00b7 12\/12 TCB crypto sur prod<\/p><\/div>\n <div class=\"cnk-timeline-step\" style=\"background: rgba(184,134,47,0.10); border-top-color: #B8862F;\"><p class=\"cnk-timeline-date\" style=\"color:#D4A551;\">\u2713 Termin\u00e9 \u00b7 NEW<\/p><h4 class=\"cnk-timeline-step-title\">Sprint S82 \u00b7 TCB strict<\/h4><p class=\"cnk-timeline-step-desc\">4 modules \u2265 96 % WP \u00b7 98,1 % moyenne \u00b7 2 juin 2026<\/p><\/div>\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">Q3 2026<\/p><h4 class=\"cnk-timeline-step-title\">ATE_IND.2 CESTI<\/h4><p class=\"cnk-timeline-step-desc\">Validation ind\u00e9pendante plateforme cible<\/p><\/div>\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">Q1 2027<\/p><h4 class=\"cnk-timeline-step-title\">CSPN ANSSI<\/h4><p class=\"cnk-timeline-step-desc\">Premier palier de certification<\/p><\/div>\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">2028<\/p><h4 class=\"cnk-timeline-step-title\">EAL4<\/h4><p class=\"cnk-timeline-step-desc\">M\u00e9thodiquement con\u00e7u et test\u00e9<\/p><\/div>\n <div class=\"cnk-timeline-step\"><p class=\"cnk-timeline-date\">2029-2030<\/p><h4 class=\"cnk-timeline-step-title\">EAL6 \u2192 EAL7<\/h4><p class=\"cnk-timeline-step-desc\">Conception semi-formelle puis prouv\u00e9e<\/p><\/div>\n <\/div>\n <\/div>\n<\/section>\n \n<!-- ===== SECTION 16 \u2014 CTA ===== -->\n<section class=\"cnk-cta-band\">\n <div class=\"cnk-container\">\n <div class=\"cnk-eyebrow\">Programme CORTEX ORIGIN\u2122 \u00b7 CFVL<\/div>\n <h2 class=\"cnk-cta-title\">Parlons souverainet\u00e9.<\/h2>\n <p class=\"cnk-subtitle\" style=\"margin: 0 auto 40px; text-align: center;\">\n Rapports complets sur demande : CFVL-SYNTHESE-001 v1.0 \u00b7 CFVL-CT-PROD-001 v1.0 (campagne TCB crypto toolchain prod) \u00b7\n CFVL-SYNTHESE-MLKEM-001 \u00b7 CFVL-SYNTHESE-FRODO-001 (PQC de production, CT binaire hors TCB) \u00b7\n CFVL-BENCH-CT16-001 (perf des 16 primitives prouv\u00e9es CT, HACL*) \u00b7\n CFVL-BENCH-SECBOOT-001 v2.0 \u00b7 CFVL-BENCH-CONTAINMENT-001 v1.0 \u00b7 CFVL-EVAL-NK-AUDIT-001 v1.0 \u00b7 CFVL-EVAL-NK-MESH-001 v1.0 \u00b7\n Security Target CESTI \u00b7 Bilan S82 TCB strict. D\u00e9monstrations sur sc\u00e9narios CNES \/ DGA \/ OIV disponibles.\n <\/p>\n <div class=\"cnk-cta-buttons\">\n <a href=\"mailto:demo@cortexorigin.com\" class=\"cnk-btn cnk-btn-primary\">Demander une d\u00e9mo<\/a>\n <a href=\"mailto:press@cortexorigin.com\" class=\"cnk-btn cnk-btn-secondary\">Contact presse<\/a>\n <\/div>\n <p style=\"margin-top: 48px; font-size: 12px; color: #6B7A95; letter-spacing: 0.06em;\">\n Confidentiel \u00b7 CORTEX AI\u2122 SAS \u00b7 SIREN 991 880 428 \u00b7 58 rue de Monceau, 75008 Paris\n <\/p>\n <\/div>\n<\/section>\n \n<\/div>\n<\/div>\n\n\n\n<link href=\"https:\/\/fonts.googleapis.com\/css2?family=Cormorant+Garamond:ital,wght@0,300;0,400;0,600;1,300;1,400&family=JetBrains+Mono:wght@400;500&display=swap\" rel=\"stylesheet\">\n \n<section class=\"cnk-rings-v4\" style=\"background:#0A1A33;padding:80px 0;position:relative;overflow:hidden;font-family:'Cormorant Garamond',Georgia,serif;\">\n \n <style>\n .cnk-rings-v4 .cnk-radiant-bg{\n position:absolute;inset:0;\n background-image:\n radial-gradient(circle at 50% 45%,rgba(212,165,81,0.06) 0%,transparent 55%),\n linear-gradient(rgba(212,165,81,0.022) 1px,transparent 1px),\n linear-gradient(90deg,rgba(212,165,81,0.022) 1px,transparent 1px);\n background-size:auto,80px 80px,80px 80px;\n pointer-events:none;\n }\n .cnk-rings-v4 .cnk-pulse{animation:cnkPulseV4 4s ease-in-out infinite;transform-origin:center;transform-box:fill-box;}\n .cnk-rings-v4 .cnk-pulse-slow{animation:cnkPulseV4 7s ease-in-out infinite;transform-origin:center;transform-box:fill-box;}\n .cnk-rings-v4 .cnk-orbit-records{animation:cnkOrbitV4 60s linear infinite;transform-origin:600px 460px;}\n .cnk-rings-v4 .cnk-crypto-flow{stroke-dasharray:3 4;animation:cnkDashV4 3s linear infinite reverse;}\n .cnk-rings-v4 .cnk-containment-flow{stroke-dasharray:2 4;animation:cnkDashV4 4s linear infinite;}\n .cnk-rings-v4 .cnk-fadeup{opacity:0;transform:translateY(20px);animation:cnkFadeupV4 0.9s ease-out forwards;}\n .cnk-rings-v4 .cnk-d1{animation-delay:0.1s;}\n .cnk-rings-v4 .cnk-d2{animation-delay:0.25s;}\n .cnk-rings-v4 .cnk-d3{animation-delay:0.4s;}\n .cnk-rings-v4 .cnk-d4{animation-delay:0.55s;}\n .cnk-rings-v4 .cnk-d5{animation-delay:0.7s;}\n .cnk-rings-v4 .cnk-d6{animation-delay:0.85s;}\n .cnk-rings-v4 .cnk-d7{animation-delay:1s;}\n .cnk-rings-v4 .cnk-d8{animation-delay:1.15s;}\n .cnk-rings-v4 .cnk-d9{animation-delay:1.3s;}\n .cnk-rings-v4 .cnk-d10{animation-delay:1.45s;}\n .cnk-rings-v4 .cnk-d11{animation-delay:1.6s;}\n .cnk-rings-v4 .cnk-d12{animation-delay:1.75s;}\n @keyframes cnkPulseV4{0%,100%{transform:scale(1);opacity:0.9;}50%{transform:scale(1.08);opacity:1;}}\n @keyframes cnkOrbitV4{from{transform:rotate(0deg);}to{transform:rotate(360deg);}}\n @keyframes cnkDashV4{to{stroke-dashoffset:-50;}}\n @keyframes cnkFadeupV4{to{opacity:1;transform:translateY(0);}}\n @media (prefers-reduced-motion:reduce){\n .cnk-rings-v4 .cnk-pulse,\n .cnk-rings-v4 .cnk-pulse-slow,\n .cnk-rings-v4 .cnk-orbit-records,\n .cnk-rings-v4 .cnk-crypto-flow,\n .cnk-rings-v4 .cnk-containment-flow,\n .cnk-rings-v4 .cnk-fadeup{animation:none;}\n .cnk-rings-v4 .cnk-fadeup{opacity:1;transform:none;}\n }\n .cnk-rings-v4 .cnk-svg-wrap{position:relative;max-width:1200px;margin:0 auto;padding:0 16px;}\n <\/style>\n \n <div class=\"cnk-radiant-bg\"><\/div>\n \n <div style=\"position:relative;text-align:center;margin-bottom:40px;padding:0 32px;\">\n <div class=\"cnk-fadeup cnk-d1\" style=\"font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:0.25em;color:#D4A551;text-transform:uppercase;margin-bottom:14px;\">\u2014 Architecture \u00b7 anneaux de confiance \u00b7 v4.0 mai 2026<\/div>\n <h2 class=\"cnk-fadeup cnk-d2\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:clamp(32px,5vw,52px);font-weight:300;color:#F2EBDD;margin:0;line-height:1.05;\">CORTEX NK\u2122 \u2014 <em style=\"color:#D4A551;font-style:italic;\">5 modules TCB \u00b7 1 zone applicative<\/em><\/h2>\n <p class=\"cnk-fadeup cnk-d3\" style=\"font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:0.12em;color:rgba(242,235,221,0.55);margin:18px auto 0;max-width:860px;line-height:1.7;\">Architecture concentrique avec 5 satellites modules livr\u00e9s + zone applicative hors TCB \u00b7 Chaque module est reli\u00e9 \u00e0 son anneau d’appartenance \u00b7 TCB = 2 287 LOC C auditables \u00b7 \u00d7 3,8 plus petit que seL4 \u00b7 442 tests E2E \u00b7 38 th\u00e9or\u00e8mes HOL \u00b7 0 sorry<\/p>\n <\/div>\n \n <div class=\"cnk-svg-wrap\">\n <svg width=\"100%\" viewBox=\"0 0 1200 1080\" role=\"img\" xmlns=\"http:\/\/www.w3.org\/2000\/svg\">\n <title>Architecture CORTEX NK v4.0 \u2014 anneaux + 5 satellites modules<\/title>\n <desc>Architecture en anneaux concentriques avec 5 satellites modules d\u00e9taill\u00e9s autour : Secure Boot S1-S10 PR #16 (haut-gauche), Auto-Containment PR #17 (haut-droite), Audit Log Immuable PR #18 (milieu-droite), Mesh v1 PQC PR #19 (bas-droite), Module 17 TCB Crypto PR #19 (bas-gauche). Chaque satellite contient ses m\u00e9triques cl\u00e9s et est reli\u00e9 visuellement \u00e0 son anneau d’appartenance dans le sch\u00e9ma central.<\/desc>\n \n <defs>\n <radialGradient id=\"cnkCoreGradV4\" cx=\"50%\" cy=\"50%\" r=\"50%\">\n <stop offset=\"0%\" stop-color=\"#F5D88F\" stop-opacity=\"1\"><\/stop>\n <stop offset=\"50%\" stop-color=\"#D4A551\" stop-opacity=\"0.9\"><\/stop>\n <stop offset=\"100%\" stop-color=\"#A07D2C\" stop-opacity=\"0.7\"><\/stop>\n <\/radialGradient>\n <radialGradient id=\"cnkAuraV4\" cx=\"50%\" cy=\"50%\" r=\"50%\">\n <stop offset=\"0%\" stop-color=\"#D4A551\" stop-opacity=\"0.18\"><\/stop>\n <stop offset=\"60%\" stop-color=\"#D4A551\" stop-opacity=\"0.05\"><\/stop>\n <stop offset=\"100%\" stop-color=\"#D4A551\" stop-opacity=\"0\"><\/stop>\n <\/radialGradient>\n <\/defs>\n \n <!-- ============================================================ -->\n <!-- SCH\u00c9MA CENTRAL \u2014 Centr\u00e9 \u00e0 x=600, y=460 -->\n <!-- ============================================================ -->\n \n <!-- Aura externe -->\n <circle class=\"cnk-pulse-slow\" cx=\"600\" cy=\"460\" r=\"220\" fill=\"url(#cnkAuraV4)\"><\/circle>\n \n <!-- Anneau 6 : Applications -->\n <circle cx=\"600\" cy=\"460\" r=\"195\" fill=\"none\" stroke=\"rgba(242,235,221,0.15)\" stroke-width=\"0.5\" stroke-dasharray=\"2 6\"><\/circle>\n \n <!-- Anneau 5 : Liboqs PQC (non-TCB) -->\n <circle cx=\"600\" cy=\"460\" r=\"160\" fill=\"rgba(212,165,81,0.025)\" stroke=\"#B08728\" stroke-width=\"0.8\" stroke-dasharray=\"6 3\" opacity=\"0.85\"><\/circle>\n \n <!-- Anneau 4 : Auto-Containment -->\n <circle cx=\"600\" cy=\"460\" r=\"133\" fill=\"rgba(125,206,160,0.04)\" stroke=\"#6FCF97\" stroke-width=\"1.2\" stroke-dasharray=\"4 4\" opacity=\"0.9\"><\/circle>\n \n <!-- Anneau 3 : TCB BOUNDARY -->\n <circle cx=\"600\" cy=\"460\" r=\"110\" fill=\"rgba(212,165,81,0.05)\" stroke=\"#D4A551\" stroke-width=\"2\"><\/circle>\n <text x=\"600\" y=\"345\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.22em;fill:#D4A551;font-weight:500;\">TCB BOUNDARY \u00b7 2 287 LOC<\/text>\n \n <!-- Anneau 2 : Capabilities -->\n <circle cx=\"600\" cy=\"460\" r=\"72\" fill=\"rgba(184,212,240,0.03)\" stroke=\"#7AA3D4\" stroke-width=\"0.8\" opacity=\"0.9\"><\/circle>\n \n <!-- C\u0153ur radiant -->\n <circle cx=\"600\" cy=\"460\" r=\"42\" fill=\"url(#cnkCoreGradV4)\" stroke=\"#F5D88F\" stroke-width=\"0.5\" class=\"cnk-pulse\"><\/circle>\n <circle cx=\"600\" cy=\"460\" r=\"42\" fill=\"none\" stroke=\"#F5D88F\" stroke-width=\"0.3\" opacity=\"0.4\"><\/circle>\n <text x=\"600\" y=\"456\" text-anchor=\"middle\" dominant-baseline=\"central\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:22px;font-weight:600;fill:#0A1A33;\">262<\/text>\n <text x=\"600\" y=\"476\" text-anchor=\"middle\" dominant-baseline=\"central\" style=\"font-family:'JetBrains Mono',monospace;font-size:8px;letter-spacing:0.15em;fill:#0A1A33;font-weight:500;\">LOC \u00b7 TCB<\/text>\n \n <!-- Flux crypto internes (dor\u00e9s, anim\u00e9s) -->\n <g class=\"cnk-crypto-flow\" stroke=\"#D4A551\" stroke-width=\"0.8\" fill=\"none\" opacity=\"0.5\">\n <path d=\"M 600 360 Q 640 390 640 425\"><\/path>\n <path d=\"M 670 430 Q 655 480 605 495\"><\/path>\n <path d=\"M 600 560 Q 560 530 560 490\"><\/path>\n <path d=\"M 530 490 Q 540 420 595 390\"><\/path>\n <\/g>\n \n <!-- Flux containment (vert, anim\u00e9) -->\n <g class=\"cnk-containment-flow\" stroke=\"#6FCF97\" stroke-width=\"0.6\" fill=\"none\" opacity=\"0.45\">\n <path d=\"M 600 345 Q 645 370 680 410\"><\/path>\n <path d=\"M 715 460 Q 700 520 655 555\"><\/path>\n <path d=\"M 600 575 Q 555 550 520 510\"><\/path>\n <path d=\"M 485 460 Q 500 400 545 365\"><\/path>\n <\/g>\n \n <!-- ============================================================ -->\n <!-- LABELS COURTS INTERNES (anneaux centraux) -->\n <!-- ============================================================ -->\n \n <!-- L\u00e9gende ECDH \/ FrodoKEM dans le TCB -->\n <text x=\"600\" y=\"370\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:8.5px;letter-spacing:0.12em;fill:#D4A551;font-weight:600;\">\u2b50 X25519 \u00b7 \ud83c\udfc6 FrodoKEM-64<\/text>\n \n <!-- ============================================================ -->\n <!-- 5 SATELLITES MODULES \u2014 Disposition autour du sch\u00e9ma -->\n <!-- ============================================================ -->\n \n <!-- SATELLITE 1 : Secure Boot (haut-gauche, x=40..340) -->\n <g class=\"cnk-fadeup cnk-d4\">\n <!-- Card -->\n <rect x=\"40\" y=\"50\" width=\"300\" height=\"200\" rx=\"8\" fill=\"rgba(212,165,81,0.08)\" stroke=\"#D4A551\" stroke-width=\"1\"><\/rect>\n <!-- Header avec ic\u00f4ne -->\n <text x=\"60\" y=\"80\" style=\"font-family:'JetBrains Mono',monospace;font-size:18px;fill:#D4A551;\">\ud83d\udd10<\/text>\n <text x=\"90\" y=\"78\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:20px;font-style:italic;fill:#F2EBDD;font-weight:400;\">Secure Boot S1-S10<\/text>\n <!-- Badge PR -->\n <rect x=\"60\" y=\"92\" width=\"125\" height=\"16\" rx=\"2\" fill=\"rgba(212,165,81,0.2)\" stroke=\"#D4A551\" stroke-width=\"0.5\"><\/rect>\n <text x=\"122\" y=\"104\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:8.5px;letter-spacing:0.15em;fill:#D4A551;font-weight:600;\">PR #16 \u00b7 21 MAI 2026 \u2713<\/text>\n <!-- M\u00e9trique principale -->\n <text x=\"60\" y=\"138\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:28px;font-weight:500;fill:#D4A551;\">0,55 ms<\/text>\n <text x=\"60\" y=\"155\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.7);\">Boot compos\u00e9 \u00b7 1,51 ms orchestr\u00e9<\/text>\n <!-- D\u00e9tails -->\n <text x=\"60\" y=\"180\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.04em;fill:rgba(242,235,221,0.85);font-weight:500;\">Ed25519 + ML-DSA-87 (FIPS 204)<\/text>\n <text x=\"60\" y=\"198\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">211 tests E2E \u00b7 6 thm HOL \u00b7 0 sorry<\/text>\n <text x=\"60\" y=\"214\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">Frama-C\/WP 92% \u00b7 TPM 2.0 r\u00e9el TSS2<\/text>\n <text x=\"60\" y=\"234\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">Premi\u00e8re cha\u00eene Secure Boot post-quantique<\/text>\n <text x=\"60\" y=\"247\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">formellement v\u00e9rifi\u00e9e publiquement au monde<\/text>\n <\/g>\n <!-- Ligne de connexion Secboot \u2192 TCB Boundary -->\n <line class=\"cnk-fadeup cnk-d4\" x1=\"340\" y1=\"150\" x2=\"500\" y2=\"380\" stroke=\"#D4A551\" stroke-width=\"0.5\" stroke-dasharray=\"2 3\" opacity=\"0.4\"><\/line>\n <circle class=\"cnk-fadeup cnk-d4\" cx=\"500\" cy=\"380\" r=\"3\" fill=\"#D4A551\" opacity=\"0.8\"><\/circle>\n \n <!-- SATELLITE 2 : Auto-Containment (haut-droite, x=860..1160) -->\n <g class=\"cnk-fadeup cnk-d5\">\n <rect x=\"860\" y=\"50\" width=\"300\" height=\"200\" rx=\"8\" fill=\"rgba(125,206,160,0.08)\" stroke=\"#6FCF97\" stroke-width=\"1\"><\/rect>\n <text x=\"880\" y=\"80\" style=\"font-family:'JetBrains Mono',monospace;font-size:18px;fill:#6FCF97;\">\ud83d\udee1\ufe0f<\/text>\n <text x=\"910\" y=\"78\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:20px;font-style:italic;fill:#F2EBDD;font-weight:400;\">Auto-Containment<\/text>\n <rect x=\"880\" y=\"92\" width=\"125\" height=\"16\" rx=\"2\" fill=\"rgba(125,206,160,0.2)\" stroke=\"#6FCF97\" stroke-width=\"0.5\"><\/rect>\n <text x=\"942\" y=\"104\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:8.5px;letter-spacing:0.15em;fill:#6FCF97;font-weight:600;\">PR #17 \u00b7 22 MAI 2026 \u2713<\/text>\n <text x=\"880\" y=\"138\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:28px;font-weight:500;fill:#6FCF97;\">18,76 ns<\/text>\n <text x=\"880\" y=\"155\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.7);\">MTTD moyen \u00b7 5 fonctions publiques<\/text>\n <text x=\"880\" y=\"180\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.04em;fill:rgba(242,235,221,0.85);font-weight:500;\">Quarantaine monotone irr\u00e9versible<\/text>\n <text x=\"880\" y=\"198\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">42 tests \u00b7 6 thm HOL \u00b7 0 sorry<\/text>\n <text x=\"880\" y=\"214\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">Frama-C\/WP 339\/339 \u00b7 100% goals<\/text>\n <text x=\"880\" y=\"234\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">CT-MONO-quar \u00b7 CT-LOG-frozen<\/text>\n <text x=\"880\" y=\"247\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">Premi\u00e8re au monde \u00b7 pattern BL-06<\/text>\n <\/g>\n <line class=\"cnk-fadeup cnk-d5\" x1=\"860\" y1=\"150\" x2=\"710\" y2=\"385\" stroke=\"#6FCF97\" stroke-width=\"0.5\" stroke-dasharray=\"2 3\" opacity=\"0.4\"><\/line>\n <circle class=\"cnk-fadeup cnk-d5\" cx=\"710\" cy=\"385\" r=\"3\" fill=\"#6FCF97\" opacity=\"0.8\"><\/circle>\n \n <!-- SATELLITE 3 : Audit Log (milieu-droite, x=860..1160) -->\n <g class=\"cnk-fadeup cnk-d6\">\n <rect x=\"860\" y=\"280\" width=\"300\" height=\"200\" rx=\"8\" fill=\"rgba(184,212,240,0.08)\" stroke=\"#7AA3D4\" stroke-width=\"1\"><\/rect>\n <text x=\"880\" y=\"310\" style=\"font-family:'JetBrains Mono',monospace;font-size:18px;fill:#7AA3D4;\">\ud83d\udcdc<\/text>\n <text x=\"910\" y=\"308\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:20px;font-style:italic;fill:#F2EBDD;font-weight:400;\">Audit Log Immuable<\/text>\n <rect x=\"880\" y=\"322\" width=\"125\" height=\"16\" rx=\"2\" fill=\"rgba(184,212,240,0.2)\" stroke=\"#7AA3D4\" stroke-width=\"0.5\"><\/rect>\n <text x=\"942\" y=\"334\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:8.5px;letter-spacing:0.15em;fill:#7AA3D4;font-weight:600;\">PR #18 \u00b7 22 MAI 2026 \u2713<\/text>\n <text x=\"880\" y=\"368\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:28px;font-weight:500;fill:#7AA3D4;\">1,50 \u00b5s<\/text>\n <text x=\"880\" y=\"385\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.7);\">Append HMAC-SHA256 cha\u00een\u00e9<\/text>\n <text x=\"880\" y=\"410\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.04em;fill:rgba(242,235,221,0.85);font-weight:500;\">HACL* INRIA Prosecco + TPM 2.0<\/text>\n <text x=\"880\" y=\"428\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">70 tests \u00b7 8 thm HOL \u00b7 0 sorry<\/text>\n <text x=\"880\" y=\"444\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">Frama-C\/WP 96,2% \u00b7 426\/443 goals<\/text>\n <text x=\"880\" y=\"464\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">AL-CHAIN-link \u00b7 AL-CHAIN-tamper<\/text>\n <text x=\"880\" y=\"477\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">Premier journal applicatif HMAC cha\u00een\u00e9<\/text>\n <\/g>\n <line class=\"cnk-fadeup cnk-d6\" x1=\"860\" y1=\"380\" x2=\"720\" y2=\"460\" stroke=\"#7AA3D4\" stroke-width=\"0.5\" stroke-dasharray=\"2 3\" opacity=\"0.4\"><\/line>\n <circle class=\"cnk-fadeup cnk-d6\" cx=\"720\" cy=\"460\" r=\"3\" fill=\"#7AA3D4\" opacity=\"0.8\"><\/circle>\n \n <!-- SATELLITE 4 : Mesh v1 PQC (bas-droite, x=860..1160) -->\n <g class=\"cnk-fadeup cnk-d7\">\n <rect x=\"860\" y=\"510\" width=\"300\" height=\"200\" rx=\"8\" fill=\"rgba(167,139,250,0.08)\" stroke=\"#A78BFA\" stroke-width=\"1\"><\/rect>\n <text x=\"880\" y=\"540\" style=\"font-family:'JetBrains Mono',monospace;font-size:18px;fill:#A78BFA;\">\ud83c\udf10<\/text>\n <text x=\"910\" y=\"538\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:20px;font-style:italic;fill:#F2EBDD;font-weight:400;\">Mesh v1 PQC hybride<\/text>\n <rect x=\"880\" y=\"552\" width=\"125\" height=\"16\" rx=\"2\" fill=\"rgba(167,139,250,0.2)\" stroke=\"#A78BFA\" stroke-width=\"0.5\"><\/rect>\n <text x=\"942\" y=\"564\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:8.5px;letter-spacing:0.15em;fill:#A78BFA;font-weight:600;\">PR #19 \u00b7 24 MAI 2026 \u2713<\/text>\n <text x=\"880\" y=\"598\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:28px;font-weight:500;fill:#A78BFA;\">137 ns<\/text>\n <text x=\"880\" y=\"615\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.7);\">Verify attestation hybride<\/text>\n <text x=\"880\" y=\"640\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.04em;fill:rgba(242,235,221,0.85);font-weight:500;\">AND-strict Ed25519 + ML-DSA-87<\/text>\n <text x=\"880\" y=\"658\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">119 tests \u00b7 18 thm HOL \u00b7 0 sorry<\/text>\n <text x=\"880\" y=\"674\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">Frama-C\/WP 76,5% \u00b7 881\/1151 goals<\/text>\n <text x=\"880\" y=\"694\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">ME-HYBRID-pq_safe \u00b7 forward-security<\/text>\n <text x=\"880\" y=\"707\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">Premier mesh attestation PQC prouv\u00e9<\/text>\n <\/g>\n <line class=\"cnk-fadeup cnk-d7\" x1=\"860\" y1=\"605\" x2=\"700\" y2=\"540\" stroke=\"#A78BFA\" stroke-width=\"0.5\" stroke-dasharray=\"2 3\" opacity=\"0.4\"><\/line>\n <circle class=\"cnk-fadeup cnk-d7\" cx=\"700\" cy=\"540\" r=\"3\" fill=\"#A78BFA\" opacity=\"0.8\"><\/circle>\n \n <!-- SATELLITE 5 : Module 17 TCB Crypto (bas-gauche, x=40..340) -->\n <g class=\"cnk-fadeup cnk-d8\">\n <rect x=\"40\" y=\"510\" width=\"300\" height=\"200\" rx=\"8\" fill=\"rgba(232,89,60,0.08)\" stroke=\"#E8593C\" stroke-width=\"1\"><\/rect>\n <text x=\"60\" y=\"540\" style=\"font-family:'JetBrains Mono',monospace;font-size:18px;fill:#E8593C;\">\ud83e\uddec<\/text>\n <text x=\"90\" y=\"538\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:20px;font-style:italic;fill:#F2EBDD;font-weight:400;\">Module 17 TCB Crypto<\/text>\n <rect x=\"60\" y=\"552\" width=\"125\" height=\"16\" rx=\"2\" fill=\"rgba(232,89,60,0.2)\" stroke=\"#E8593C\" stroke-width=\"0.5\"><\/rect>\n <text x=\"122\" y=\"564\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:8.5px;letter-spacing:0.15em;fill:#E8593C;font-weight:600;\">PR #19 \u00b7 26 MAI 2026 \u2713<\/text>\n <text x=\"60\" y=\"598\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:28px;font-weight:500;fill:#E8593C;\">16 + 8<\/text>\n <text x=\"60\" y=\"615\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.7);\">16 BINAIRE CT (toutes benchmark\u00e9es) + 8 r\u00e9f.<\/text>\n <text x=\"60\" y=\"640\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.04em;fill:rgba(242,235,221,0.85);font-weight:500;\">\u2b50 X25519 ECDH \u00b7 \ud83c\udfc6 FrodoKEM-64<\/text>\n <text x=\"60\" y=\"658\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">72+ preuves Binsec\/Rel cross-arch<\/text>\n <text x=\"60\" y=\"674\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">5 orchestrations NIV 7-D \u00b7 QUINTET<\/text>\n <text x=\"60\" y=\"694\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">36 rapports CFVL-BINSEC \u00b7 20 700 lignes NI<\/text>\n <text x=\"60\" y=\"707\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">N\u00b01 mondial COUVERTURE crypto \u00b7 9,5\/10<\/text>\n <\/g>\n <line class=\"cnk-fadeup cnk-d8\" x1=\"340\" y1=\"605\" x2=\"500\" y2=\"540\" stroke=\"#E8593C\" stroke-width=\"0.5\" stroke-dasharray=\"2 3\" opacity=\"0.4\"><\/line>\n <circle class=\"cnk-fadeup cnk-d8\" cx=\"500\" cy=\"540\" r=\"3\" fill=\"#E8593C\" opacity=\"0.8\"><\/circle>\n \n <!-- ============================================================ -->\n <!-- SATELLITE 6 : Applications utilisateur (centre-gauche, x=40..340, y=280..480) -->\n <!-- Pointe vers l'anneau le plus externe (zone hors TCB) -->\n <!-- ============================================================ -->\n <g class=\"cnk-fadeup cnk-d8b\" style=\"animation-delay:1.25s;\">\n <rect x=\"40\" y=\"280\" width=\"300\" height=\"200\" rx=\"8\" fill=\"rgba(242,235,221,0.04)\" stroke=\"rgba(242,235,221,0.35)\" stroke-width=\"1\" stroke-dasharray=\"3 3\"><\/rect>\n <text x=\"60\" y=\"310\" style=\"font-family:'JetBrains Mono',monospace;font-size:18px;fill:rgba(242,235,221,0.7);\">\ud83d\udc64<\/text>\n <text x=\"90\" y=\"308\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:20px;font-style:italic;fill:#F2EBDD;font-weight:400;\">Applications utilisateur<\/text>\n <rect x=\"60\" y=\"322\" width=\"135\" height=\"16\" rx=\"2\" fill=\"rgba(242,235,221,0.10)\" stroke=\"rgba(242,235,221,0.35)\" stroke-width=\"0.5\" stroke-dasharray=\"2 2\"><\/rect>\n <text x=\"127\" y=\"334\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:8.5px;letter-spacing:0.15em;fill:rgba(242,235,221,0.75);font-weight:600;\">ZONE HORS TCB<\/text>\n \n <text x=\"60\" y=\"370\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:24px;font-weight:500;fill:rgba(242,235,221,0.85);font-style:italic;\">AETZU<\/text>\n <text x=\"60\" y=\"388\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.65);\">Services m\u00e9tier \u00b7 IA \u00b7 agents<\/text>\n \n <text x=\"60\" y=\"414\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.04em;fill:rgba(242,235,221,0.75);font-weight:500;\">Code utilisateur \u00b7 non-TCB<\/text>\n <text x=\"60\" y=\"432\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">Isol\u00e9 par capabilities CORTEX NK<\/text>\n <text x=\"60\" y=\"448\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.04em;fill:rgba(242,235,221,0.55);\">Monitor\u00e9 par modules TCB livr\u00e9s<\/text>\n \n <text x=\"60\" y=\"468\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">Audit Log PR #18 \u00b7 Mesh PR #19 attestent<\/text>\n <text x=\"60\" y=\"481\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.04em;fill:rgba(242,235,221,0.45);font-style:italic;\">l’identit\u00e9 et tracent l’ex\u00e9cution applicative<\/text>\n <\/g>\n <!-- Ligne pointill\u00e9e vers l'anneau externe (Applications - r=195) -->\n <line class=\"cnk-fadeup cnk-d8b\" style=\"animation-delay:1.25s;\" x1=\"340\" y1=\"380\" x2=\"405\" y2=\"460\" stroke=\"rgba(242,235,221,0.4)\" stroke-width=\"0.5\" stroke-dasharray=\"2 3\" opacity=\"0.5\"><\/line>\n <circle class=\"cnk-fadeup cnk-d8b\" style=\"animation-delay:1.25s;\" cx=\"405\" cy=\"460\" r=\"3\" fill=\"rgba(242,235,221,0.6)\" opacity=\"0.8\"><\/circle>\n \n <!-- ============================================================ -->\n <!-- BANDEAU \"RECORDS MONDIAUX\" \u2014 Sous le sch\u00e9ma, pleine largeur -->\n <!-- ============================================================ -->\n <g class=\"cnk-fadeup cnk-d9\">\n <rect x=\"40\" y=\"760\" width=\"1120\" height=\"80\" rx=\"8\" fill=\"rgba(212,165,81,0.06)\" stroke=\"rgba(212,165,81,0.35)\" stroke-width=\"0.5\"><\/rect>\n <text x=\"60\" y=\"788\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.18em;fill:#D4A551;font-weight:600;\">RECORDS MONDIAUX \u00b7 PREMI\u00c8RES MONDIALES V\u00c9RIFI\u00c9ES<\/text>\n \n <!-- Records en grille horizontale -->\n <text x=\"60\" y=\"815\" style=\"font-family:'JetBrains Mono',monospace;font-size:12px;fill:#D4A551;font-weight:600;\">\ud83c\udfc6 FrodoKEM-64<\/text>\n <text x=\"60\" y=\"830\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">PQC binaire CT<\/text>\n \n <text x=\"240\" y=\"815\" style=\"font-family:'JetBrains Mono',monospace;font-size:12px;fill:#D4A551;font-weight:600;\">\u2b50 X25519 ECDH<\/text>\n <text x=\"240\" y=\"830\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">Unique mondial binaire<\/text>\n \n <text x=\"430\" y=\"815\" style=\"font-family:'JetBrains Mono',monospace;font-size:12px;fill:#D4A551;font-weight:600;\">\u2b50 QUINTET 7-D<\/text>\n <text x=\"430\" y=\"830\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">5 modules orchestr\u00e9s<\/text>\n \n <text x=\"620\" y=\"815\" style=\"font-family:'JetBrains Mono',monospace;font-size:12px;fill:#D4A551;font-weight:600;\">\u2b50 -O2 \u00d7 4 prim.<\/text>\n <text x=\"620\" y=\"830\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">Production-grade CT<\/text>\n \n <text x=\"810\" y=\"815\" style=\"font-family:'JetBrains Mono',monospace;font-size:12px;fill:#D4A551;font-weight:600;\">\ud83e\udd47 Secure Boot PQ<\/text>\n <text x=\"810\" y=\"830\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">Ed25519 + ML-DSA-87<\/text>\n \n <text x=\"990\" y=\"815\" style=\"font-family:'JetBrains Mono',monospace;font-size:12px;fill:#D4A551;font-weight:600;\">\ud83e\udd47 Audit HMAC<\/text>\n <text x=\"990\" y=\"830\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">Cha\u00een\u00e9 formellement prouv\u00e9<\/text>\n <\/g>\n \n <!-- ============================================================ -->\n <!-- L\u00c9GENDE \u2014 Sous le bandeau records -->\n <!-- ============================================================ -->\n <g class=\"cnk-fadeup cnk-d10\">\n <rect x=\"40\" y=\"870\" width=\"11\" height=\"11\" rx=\"2\" fill=\"url(#cnkCoreGradV4)\" stroke=\"#F5D88F\" stroke-width=\"0.3\"><\/rect>\n <text x=\"58\" y=\"880\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.06em;fill:rgba(242,235,221,0.7);\">C\u0153ur (262 LOC)<\/text>\n \n <rect x=\"180\" y=\"870\" width=\"11\" height=\"11\" rx=\"2\" fill=\"rgba(184,212,240,0.15)\" stroke=\"#7AA3D4\" stroke-width=\"0.5\"><\/rect>\n <text x=\"198\" y=\"880\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.06em;fill:rgba(242,235,221,0.7);\">Capabilities<\/text>\n \n <rect x=\"298\" y=\"870\" width=\"11\" height=\"11\" rx=\"2\" fill=\"rgba(212,165,81,0.25)\" stroke=\"#D4A551\" stroke-width=\"1\"><\/rect>\n <text x=\"316\" y=\"880\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.06em;fill:#D4A551;font-weight:500;\">TCB = 2 287 LOC<\/text>\n \n <rect x=\"460\" y=\"870\" width=\"11\" height=\"11\" rx=\"2\" fill=\"rgba(125,206,160,0.15)\" stroke=\"#6FCF97\" stroke-width=\"0.8\" stroke-dasharray=\"2 2\"><\/rect>\n <text x=\"478\" y=\"880\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.06em;fill:#6FCF97;font-weight:500;\">Containment<\/text>\n \n <rect x=\"585\" y=\"870\" width=\"11\" height=\"11\" rx=\"2\" fill=\"rgba(176,135,40,0.15)\" stroke=\"#B08728\" stroke-width=\"0.5\" stroke-dasharray=\"2 1\"><\/rect>\n <text x=\"603\" y=\"880\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.06em;fill:rgba(242,235,221,0.7);\">PQC liboqs (NON-TCB)<\/text>\n \n <rect x=\"780\" y=\"870\" width=\"11\" height=\"11\" rx=\"2\" fill=\"none\" stroke=\"rgba(242,235,221,0.4)\" stroke-width=\"0.5\" stroke-dasharray=\"2 2\"><\/rect>\n <text x=\"798\" y=\"880\" style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.06em;fill:rgba(242,235,221,0.7);\">Applications utilisateur<\/text>\n <\/g>\n \n <!-- ============================================================ -->\n <!-- BLOC TCB D\u00c9TAILS (centre-bas, sous le sch\u00e9ma) -->\n <!-- ============================================================ -->\n <g class=\"cnk-fadeup cnk-d11\">\n <rect x=\"380\" y=\"910\" width=\"440\" height=\"150\" rx=\"8\" fill=\"rgba(212,165,81,0.04)\" stroke=\"rgba(212,165,81,0.3)\" stroke-width=\"0.5\"><\/rect>\n <text x=\"600\" y=\"935\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.18em;fill:#D4A551;font-weight:600;\">D\u00c9COMPOSITION TCB \u00b7 2 287 LOC<\/text>\n \n <text x=\"410\" y=\"965\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:16px;font-style:italic;fill:#F2EBDD;font-weight:400;\">C\u0153ur TCB<\/text>\n <text x=\"410\" y=\"982\" style=\"font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:0.05em;fill:#D4A551;font-weight:500;\">262 LOC<\/text>\n <text x=\"410\" y=\"997\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">boot \u00b7 FSM \u00b7 types<\/text>\n \n <text x=\"600\" y=\"965\" text-anchor=\"middle\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:16px;font-style:italic;fill:#F2EBDD;font-weight:400;\">Raffinement<\/text>\n <text x=\"600\" y=\"982\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:0.05em;fill:#7AA3D4;font-weight:500;\">1 885 LOC<\/text>\n <text x=\"600\" y=\"997\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">capabilities \u00b7 isolation<\/text>\n \n <text x=\"790\" y=\"965\" text-anchor=\"end\" style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:16px;font-style:italic;fill:#F2EBDD;font-weight:400;\">Crypto binding<\/text>\n <text x=\"790\" y=\"982\" text-anchor=\"end\" style=\"font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:0.05em;fill:#D4A551;font-weight:500;\">1 646 LOC<\/text>\n <text x=\"790\" y=\"997\" text-anchor=\"end\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;fill:rgba(242,235,221,0.55);\">HACL* \u00b7 15 primitives CT<\/text>\n \n <line x1=\"410\" y1=\"1015\" x2=\"790\" y2=\"1015\" stroke=\"rgba(212,165,81,0.25)\" stroke-width=\"0.3\"><\/line>\n \n <text x=\"600\" y=\"1035\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:10px;letter-spacing:0.06em;fill:rgba(242,235,221,0.65);\">Audit reproductible <tspan style=\"fill:#D4A551;\">cloc<\/tspan> \u00b7 \u00d7 3,8 plus petit que seL4 (8 700 LOC)<\/text>\n <text x=\"600\" y=\"1050\" text-anchor=\"middle\" style=\"font-family:'JetBrains Mono',monospace;font-size:9px;letter-spacing:0.06em;fill:rgba(242,235,221,0.5);\">Liboqs PQC : 6 785 LOC NON-TCB (comparable seL4\/OpenSSL)<\/text>\n <\/g>\n <\/svg>\n <\/div>\n \n <!-- Texte d'accompagnement -->\n <div class=\"cnk-fadeup cnk-d11\" style=\"position:relative;text-align:center;margin-top:32px;padding:0 60px;max-width:920px;margin-left:auto;margin-right:auto;\">\n <p style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:17px;font-style:italic;font-weight:300;color:rgba(242,235,221,0.7);line-height:1.75;margin:0;\">Cinq modules TCB livr\u00e9s, une zone applicative isol\u00e9e. Chaque module est <span style=\"color:#D4A551;\">reli\u00e9 \u00e0 son anneau d’appartenance<\/span> dans le TCB. <strong style=\"color:#D4A551;\">Secure Boot<\/strong> garantit l’int\u00e9grit\u00e9 au d\u00e9marrage \u00b7 <strong style=\"color:#6FCF97;\">Auto-Containment<\/strong> quarantaine les zones suspectes \u00b7 <strong style=\"color:#7AA3D4;\">Audit Log<\/strong> trace chaque \u00e9v\u00e9nement de mani\u00e8re cha\u00een\u00e9e \u00b7 <strong style=\"color:#A78BFA;\">Mesh v1 PQC<\/strong> attest l’identit\u00e9 des \u00e9quipements \u00b7 <strong style=\"color:#E8593C;\">Module 17 TCB<\/strong> prouve 16 primitives crypto au binaire, toutes benchmark\u00e9es. Les <strong style=\"color:rgba(242,235,221,0.85);\">Applications utilisateur (AETZU)<\/strong> tournent <em>hors TCB<\/em>, isol\u00e9es par capabilities et monitor\u00e9es par les 5 modules livr\u00e9s.<\/p>\n <\/div>\n \n <!-- Bloc m\u00e9triques cumul\u00e9es sous le SVG -->\n <div class=\"cnk-fadeup cnk-d12\" style=\"position:relative;max-width:1200px;margin:48px auto 0;padding:32px;background:rgba(255,255,255,0.03);border:1px solid rgba(212,165,81,0.25);border-radius:4px;\">\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:0.18em;color:#D4A551;text-transform:uppercase;text-align:center;margin-bottom:24px;font-weight:600;\">Bilan cumul\u00e9 \u00b7 5 modules livr\u00e9s \u00b7 evidence-grade<\/div>\n <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(160px,1fr));gap:24px;text-align:center;\">\n <div>\n <div style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:32px;font-weight:500;color:#D4A551;line-height:1;\">10 538<\/div>\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.14em;color:rgba(242,235,221,0.6);text-transform:uppercase;margin-top:8px;\">th\u00e9or\u00e8mes HOL \u00b7 0 sorry<\/div>\n <\/div>\n <div>\n <div style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:32px;font-weight:500;color:#D4A551;line-height:1;\">3 450+<\/div>\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.14em;color:rgba(242,235,221,0.6);text-transform:uppercase;margin-top:8px;\">goals Frama-C\/WP<\/div>\n <\/div>\n <div>\n <div style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:32px;font-weight:500;color:#D4A551;line-height:1;\">2 305<\/div>\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.14em;color:rgba(242,235,221,0.6);text-transform:uppercase;margin-top:8px;\">CBMC \u00b7 0 failure<\/div>\n <\/div>\n <div>\n <div style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:32px;font-weight:500;color:#D4A551;line-height:1;\">442<\/div>\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.14em;color:rgba(242,235,221,0.6);text-transform:uppercase;margin-top:8px;\">tests E2E PASS<\/div>\n <\/div>\n <div>\n <div style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:32px;font-weight:500;color:#D4A551;line-height:1;\">72+<\/div>\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.14em;color:rgba(242,235,221,0.6);text-transform:uppercase;margin-top:8px;\">Preuves Binsec\/Rel<\/div>\n <\/div>\n <div>\n <div style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:32px;font-weight:500;color:#D4A551;line-height:1;\">16,7 Mds+<\/div>\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.14em;color:rgba(242,235,221,0.6);text-transform:uppercase;margin-top:8px;\">Fuzzing \u00b7 48h \u00b7 0 crash<\/div>\n <\/div>\n <div>\n <div style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:32px;font-weight:500;color:#D4A551;line-height:1;\">20 700<\/div>\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.14em;color:rgba(242,235,221,0.6);text-transform:uppercase;margin-top:8px;\">lignes \u00e9vidence CT\/NI<\/div>\n <\/div>\n <div>\n <div style=\"font-family:'Cormorant Garamond',Georgia,serif;font-size:32px;font-weight:500;color:#D4A551;line-height:1;\">9,5<span style=\"font-size:20px;\">\/10<\/span><\/div>\n <div style=\"font-family:'JetBrains Mono',monospace;font-size:9.5px;letter-spacing:0.14em;color:rgba(242,235,221,0.6);text-transform:uppercase;margin-top:8px;\">Couverture \u00b7 N\u00b01 mondial<\/div>\n <\/div>\n <\/div>\n <\/div>\n \n<\/section>\n","protected":false},"excerpt":{"rendered":"<p>Menu ORIGIN\u2122 ORIGIN\u2122 EAS \u00b7 EXPOSITION Plateforme CTEM EAS \u00b7 Exposition externe et interne \u2197 Ce que la plateforme mesure P\u00e9rim\u00e8tre interne \u00b7 annuaire LDAP \/ AD \u2197 Gouvernance & trace de d\u00e9cision \u2197 Paysage concurrentiel \u2197 Demander une cartographie \u2197 AETZU ARROW AI\u2122 AETZU ARROW AI AETZU ARROW AI\u2122 \u00b7 D\u00e9fense active \u2197 Analyse […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-1447","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1447","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/comments?post=1447"}],"version-history":[{"count":58,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1447\/revisions"}],"predecessor-version":[{"id":1920,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1447\/revisions\/1920"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=1447"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}