{"id":1575,"date":"2026-05-28T10:19:55","date_gmt":"2026-05-28T10:19:55","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=1575"},"modified":"2026-07-24T08:32:45","modified_gmt":"2026-07-24T08:32:45","slug":"audit-log-immuable","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/audit-log-immuable\/","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<!-- \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\n SECTION 09 \u2014 AUDIT LOG IMMUABLE \u00b7 CORTEX NK\n Bloc HTML 100% autonome \u00b7 CSS embarqu\u00e9 \u00b7 \u00e0 coller dans WordPress\n CFVL-EVAL-NK-AUDIT-001 v1.0 \u00b7 22 mai 2026 \u00b7 LARGEUR FORC\u00c9E 100vw\n \u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550\u2550 -->\n<div class=\"al9-wrap\">\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=IBM+Plex+Sans:ital,wght@0,300;0,400;0,500;0,600;1,300;1,400&family=IBM+Plex+Mono:wght@300;400;500&family=IBM+Plex+Serif:ital,wght@0,400;0,500;1,400&display=swap');\n.al9-wrap{all:initial;display:block;width:100vw;position:relative;left:calc(50% - 50vw);font-family:'IBM Plex Sans','Helvetica Neue',Arial,sans-serif;font-size:15px;line-height:1.6;color:#1A1A2E;background:#FAFAF8;box-sizing:border-box;}\n.al9-wrap *{box-sizing:border-box;}\n.al9-hdr{background:#00205B;padding:10px 5%;display:flex;align-items:center;gap:16px;}\n.al9-num{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:0.2em;color:rgba(255,255,255,0.35);flex-shrink:0;}\n.al9-label{font-family:'IBM Plex Mono',monospace;font-size:11px;letter-spacing:0.15em;text-transform:uppercase;color:rgba(255,255,255,0.85);font-weight:500;}\n.al9-line{flex:1;height:1px;background:rgba(255,255,255,0.1);}\n.al9-sec{padding:52px 5%;background:#FAFAF8;border-bottom:1px solid #D0CEC8;}\n.al9-title{font-family:'IBM Plex Serif',Georgia,serif;font-size:clamp(26px,3vw,38px);font-weight:500;color:#00205B;margin:0 0 8px 0;line-height:1.15;}\n.al9-title em{font-style:italic;color:#003F8A;}\n.al9-desc{font-family:'IBM Plex Sans',sans-serif;font-size:14px;font-weight:300;color:#5A5E70;max-width:700px;line-height:1.8;margin-bottom:36px;}\n.al9-badge{margin:16px 0 24px;background:linear-gradient(90deg,rgba(176,135,40,0.10) 0%,rgba(176,135,40,0.03) 100%);border-left:4px solid #B08728;padding:16px 22px;display:flex;align-items:center;gap:16px;flex-wrap:wrap;}\n.al9-badge-icon{font-size:24px;}\n.al9-badge-body{flex:1;min-width:260px;}\n.al9-badge-title{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:0.18em;text-transform:uppercase;color:#8A5A00;font-weight:600;margin-bottom:4px;}\n.al9-badge-text{color:#1A1A2E;font-size:13.5px;line-height:1.55;}\n.al9-cgrid{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:3px;margin-top:36px;}\n.al9-cc{background:#FFFFFF;border:1px solid #D0CEC8;border-top:3px solid #B8B4AC;padding:22px 20px;transition:.2s;}\n.al9-cc:hover{box-shadow:0 4px 16px rgba(0,63,138,.07);}\n.al9-cc.hc{border-top-color:#00205B;background:#E8EFF8;}\n.al9-cc-n{font-family:'IBM Plex Sans',sans-serif;font-size:14px;font-weight:600;color:#00205B;margin-bottom:2px;}\n.al9-cc-v{font-family:'IBM Plex Mono',monospace;font-size:9.5px;letter-spacing:.12em;color:#5A5E70;margin-bottom:16px;}\n.al9-cc-lat{font-family:'IBM Plex Mono',monospace;font-size:22px;font-weight:500;color:#1A1A2E;line-height:1;margin-bottom:3px;}\n.al9-cc.hc .al9-cc-lat{color:#0055B3;}\n.al9-cc-rat{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:.1em;color:#5A5E70;margin-bottom:10px;}\n.al9-cc.hc .al9-cc-rat{color:#0055B3;font-weight:500;}\n.al9-cc-eal{font-family:'IBM Plex Mono',monospace;font-size:9.5px;letter-spacing:.12em;color:#5A5E70;}\n.al9-kpi{margin-top:48px;background:linear-gradient(135deg,#00205B 0%,#003F8A 100%);padding:32px 36px;border-left:6px solid #B08728;display:flex;align-items:center;gap:32px;flex-wrap:wrap;}\n.al9-kpi-block{flex-shrink:0;}\n.al9-kpi-block.sep{border-left:1px solid rgba(255,255,255,0.2);padding-left:32px;}\n.al9-kpi-l{font-family:'IBM Plex Mono',monospace;font-size:11px;letter-spacing:0.22em;text-transform:uppercase;color:#B08728;margin-bottom:8px;}\n.al9-kpi-big{font-family:'IBM Plex Mono',monospace;font-size:56px;font-weight:500;color:#FFFFFF;line-height:1;}\n.al9-kpi-mid{font-family:'IBM Plex Mono',monospace;font-size:42px;font-weight:500;color:#FFFFFF;line-height:1;}\n.al9-kpi-u{font-size:24px;color:rgba(255,255,255,0.7);}\n.al9-kpi-um{font-size:20px;color:rgba(255,255,255,0.7);}\n.al9-kpi-s{font-family:'IBM Plex Mono',monospace;font-size:11px;color:rgba(255,255,255,0.5);margin-top:8px;}\n.al9-kpi-text{flex:1;min-width:280px;color:rgba(255,255,255,0.85);font-size:14px;line-height:1.7;}\n.al9-kpi-text strong{color:#FFFFFF;}\n.al9-h3{font-family:'IBM Plex Serif',Georgia,serif;font-size:24px;font-weight:500;color:#00205B;margin:56px 0 8px 0;line-height:1.15;}\n.al9-h3 em{font-style:italic;color:#003F8A;}\n.al9-tw{overflow-x:auto;border:1px solid #D0CEC8;margin-top:0;}\n.al9-bt{width:100%;border-collapse:collapse;font-family:'IBM Plex Mono',monospace;font-size:12.5px;background:#FFFFFF;}\n.al9-bt thead tr{background:#00205B;}\n.al9-bt thead th{padding:12px 16px;font-family:'IBM Plex Mono',monospace;font-size:9.5px;letter-spacing:0.2em;text-transform:uppercase;color:rgba(255,255,255,0.55);font-weight:400;text-align:left;}\n.al9-bt thead th.r{text-align:right;}\n.al9-bt thead th.c{text-align:center;}\n.al9-bt .grp td{padding:8px 16px;font-family:'IBM Plex Mono',monospace;font-size:9px;letter-spacing:0.24em;text-transform:uppercase;color:#0055B3;font-weight:500;background:#E8EFF8;border-top:1px solid #D0CEC8;border-bottom:1px solid #D0CEC8;}\n.al9-bt tbody tr{border-bottom:1px solid #ECEAE4;}\n.al9-bt tbody tr:hover{background:rgba(0,63,138,0.03);}\n.al9-bt tbody td{padding:9px 16px;color:#1A1A2E;}\n.al9-bt td.val{text-align:right;color:#0055B3;font-weight:500;}\n.al9-bt td.p99{text-align:right;color:#5A5E70;}\n.al9-bt td.lay{text-align:center;}\n.al9-bt .tcbr{background:#FDF0D5;}\n.al9-bt .tcbr td{font-weight:500;}\n.al9-bt .tcbr td.fn{color:#00205B;}\n.al9-bdg{display:inline-block;font-family:'IBM Plex Mono',monospace;font-size:9px;letter-spacing:0.14em;text-transform:uppercase;padding:2px 7px;border:1px solid;}\n.al9-bdg.tcb{color:#8A5A00;border-color:rgba(138,90,0,0.35);background:#FDF0D5;}\n.al9-bdg.nw{color:#1A6B3C;border-color:rgba(26,107,60,0.3);background:#E4F3EB;}\n.al9-bdg.crypto{color:#6B2D8C;border-color:rgba(107,45,140,0.3);background:#F0E4F5;}\n.al9-mgrid{display:grid;grid-template-columns:repeat(auto-fit,minmax(200px,1fr));gap:3px;margin-top:36px;}\n.al9-mc{padding:26px 22px;background:#FFFFFF;border:1px solid #D0CEC8;border-top:3px solid #B8B4AC;}\n.al9-mi{font-family:'IBM Plex Mono',monospace;font-size:20px;color:#0055B3;margin-bottom:14px;}\n.al9-mt{font-family:'IBM Plex Mono',monospace;font-size:10px;letter-spacing:.2em;text-transform:uppercase;color:#00205B;margin-bottom:8px;font-weight:500;}\n.al9-md{font-family:'IBM Plex Sans',sans-serif;font-size:13px;font-weight:300;color:#5A5E70;line-height:1.7;}\n.al9-mv{font-family:'IBM Plex Mono',monospace;font-size:10.5px;color:#0055B3;margin-top:12px;}\n.al9-term{margin-top:36px;background:#00205B;color:rgba(255,255,255,0.85);padding:24px 28px;font-family:'IBM Plex Mono',monospace;font-size:12px;line-height:1.9;overflow-x:auto;}\n.al9-term .tp{color:rgba(255,255,255,0.35);}\n.al9-term .tc{color:#FFFFFF;}\n.al9-term .to{color:rgba(255,255,255,0.4);}\n.al9-term .th{color:#FFD080;font-weight:500;}\n.al9-term .tok{color:#6DD98A;}\n.al9-term .tw2{color:#FFB347;}\n.al9-nota{margin-top:16px;padding:12px 16px;background:#F5EDD5;border-left:3px solid #B08728;font-family:'IBM Plex Sans',sans-serif;font-size:12.5px;font-weight:300;color:#8A5A00;line-height:1.65;}\n<\/style>\n \n<!-- HEADER SECTION -->\n<div class=\"al9-hdr\"><div class=\"al9-num\">09<\/div><div class=\"al9-line\"><\/div><div class=\"al9-label\">Module Audit Log Immuable CORTEX NK\u2122 \u2014 Module 16 du TCB \u00b7 CFVL-EVAL-NK-AUDIT-001 v1.0 \u2014 cha\u00eenage HMAC-SHA256 prouv\u00e9<\/div><div class=\"al9-line\"><\/div><\/div>\n \n<div class=\"al9-sec\">\n <h3 class=\"al9-title\">Audit Log Immuable <em>journal cryptographique cha\u00een\u00e9<\/em><\/h3>\n \n <!-- Bandeau dor\u00e9 -->\n <div class=\"al9-badge\">\n <span class=\"al9-badge-icon\">\ud83d\udcdc<\/span>\n <div class=\"al9-badge-body\">\n <div class=\"al9-badge-title\">Journal cryptographique immuable \u00b7 100% complet \u00b7 append cha\u00een\u00e9 1,50 \u00b5s<\/div>\n <div class=\"al9-badge-text\">\n Le Module Audit Log CORTEX NK\u2122 est aujourd’hui le seul au monde \u00e0 int\u00e9grer nativement un journal cryptographiquement cha\u00een\u00e9 via <strong>HMAC-SHA256 HACL* (INRIA Prosecco)<\/strong>, avec 70 tests E2E PASS, score Frama-C\/WP <strong>426\/443 = 96,2 %<\/strong>, 8 th\u00e9or\u00e8mes Isabelle\/HOL prouv\u00e9s (0 sorry). <strong>Append cryptographique en 1,50 \u00b5s \u00b7 lecture journal 3,97 ns \u00b7 v\u00e9rification cha\u00eene 32 entr\u00e9es 28,70 \u00b5s \u00b7 ancrage TPM PCR 350 ns \u2014 sans rivaux mesur\u00e9s au monde.<\/strong> Commit 2a519c9 \u00b7 PR #18 merg\u00e9e master \u00b7 22 mai 2026.\n <\/div>\n <\/div>\n <\/div>\n \n <p class=\"al9-desc\">R\u00e9f\u00e9rence CFVL-EVAL-NK-AUDIT-001 v1.0 \u00b7 plateforme ARM64 Apple Silicon M2 \u00b7 clang -O2 \u00b7 CLOCK_MONOTONIC r\u00e9solution nanoseconde \u00b7 cha\u00eenage cryptographique HMAC-SHA256 via HACL* (F* \/ Low* INRIA) \u00b7 ancrage TPM 2.0 PCR op\u00e9rationnel (S4 stub + S8 r\u00e9el). <strong>PR #18 merg\u00e9e sur master \u00b7 commit 2a519c9 \u00b7 sprint Module Audit Log 100% termin\u00e9 le 22 mai 2026.<\/strong> 22 behaviors ACSL prouv\u00e9s \u00b7 architecture monotone append-only stricte (capacit\u00e9 64 entr\u00e9es) avec invariants formellement v\u00e9rifi\u00e9s.<\/p>\n \n <!-- 8 th\u00e9or\u00e8mes Isabelle\/HOL -->\n <div class=\"al9-cgrid\">\n \n <div class=\"al9-cc\" style=\"border-top-color:#1A6B3C;\">\n <div class=\"al9-cc-n\">AL-INV-init<\/div>\n <div class=\"al9-cc-v\">invariant initial \u00b7 do_init<\/div>\n <div class=\"al9-cc-lat\">0 sorry<\/div>\n <div class=\"al9-cc-rat\">prouv\u00e9 \u00b7 count=0 \u00b7 next=1<\/div>\n <div class=\"al9-cc-eal\">Isabelle\/HOL 2025-2 \u00b7 pure HOL<\/div>\n <\/div>\n \n <div class=\"al9-cc\" style=\"border-top-color:#1A6B3C;\">\n <div class=\"al9-cc-n\">AL-INV-append<\/div>\n <div class=\"al9-cc-v\">pr\u00e9servation invariant \u00b7 do_append<\/div>\n <div class=\"al9-cc-lat\">0 sorry<\/div>\n <div class=\"al9-cc-rat\">prouv\u00e9 \u00b7 event_id strict \u2191<\/div>\n <div class=\"al9-cc-eal\">types et modules born\u00e9s<\/div>\n <\/div>\n \n <div class=\"al9-cc hc\">\n <div class=\"al9-cc-n\">AL-MONO-append<\/div>\n <div class=\"al9-cc-v\">append-only strict \u00b7 monotonie<\/div>\n <div class=\"al9-cc-lat\">0 sorry<\/div>\n <div class=\"al9-cc-rat\">\u2200 i < count, entries[i] inchang\u00e9<\/div>\n <div class=\"al9-cc-eal\">propri\u00e9t\u00e9 centrale module<\/div>\n <\/div>\n \n <div class=\"al9-cc\" style=\"border-top-color:#0055B3;\">\n <div class=\"al9-cc-n\">AL-LOG-count<\/div>\n <div class=\"al9-cc-v\">compteur \u00b7 croissance stricte<\/div>\n <div class=\"al9-cc-lat\">0 sorry<\/div>\n <div class=\"al9-cc-rat\">+1 exact par append<\/div>\n <div class=\"al9-cc-eal\">pas de skip \u00b7 pas de doublon<\/div>\n <\/div>\n \n <div class=\"al9-cc\" style=\"border-top-color:#0055B3;\">\n <div class=\"al9-cc-n\">AL-LOG-id<\/div>\n <div class=\"al9-cc-v\">event_id s\u00e9quentiel \u00b7 unicit\u00e9<\/div>\n <div class=\"al9-cc-lat\">0 sorry<\/div>\n <div class=\"al9-cc-rat\">event_id[n] = n + 1<\/div>\n <div class=\"al9-cc-eal\">corr\u00e9lation tra\u00e7able<\/div>\n <\/div>\n \n <div class=\"al9-cc\" style=\"border-top-color:#6B2D8C;\">\n <div class=\"al9-cc-n\">AL-CHAIN-link<\/div>\n <div class=\"al9-cc-v\">cha\u00eenage HMAC \u00b7 maillon valide<\/div>\n <div class=\"al9-cc-lat\">0 sorry<\/div>\n <div class=\"al9-cc-rat\">HMAC(prev \u2016 id \u2016 type \u2016 ph)<\/div>\n <div class=\"al9-cc-eal\">HACL* HMAC-SHA256<\/div>\n <\/div>\n \n <div class=\"al9-cc\" style=\"border-top-color:#B08728;\">\n <div class=\"al9-cc-n\">AL-CHAIN-tamper<\/div>\n <div class=\"al9-cc-v\">anti-tamper \u00b7 collision-free<\/div>\n <div class=\"al9-cc-lat\" style=\"color:#8A5A00;\">0 sorry<\/div>\n <div class=\"al9-cc-rat\">toute modif \u2192 HMAC diff\u00e9rent<\/div>\n <div class=\"al9-cc-eal\">axiome collision HACL*<\/div>\n <\/div>\n \n <div class=\"al9-cc\" style=\"border-top-color:#1A6B3C;\">\n <div class=\"al9-cc-n\">AL-TPM-anchor<\/div>\n <div class=\"al9-cc-v\">ancrage TPM 2.0 \u00b7 PCR extend<\/div>\n <div class=\"al9-cc-lat\">0 sorry<\/div>\n <div class=\"al9-cc-rat\">chain_head = HMAC derni\u00e8re<\/div>\n <div class=\"al9-cc-eal\">extension TPM PCR coh\u00e9rente<\/div>\n <\/div>\n \n <\/div>\n \n <!-- KPI banner -->\n <div class=\"al9-kpi\">\n <div class=\"al9-kpi-block\">\n <div class=\"al9-kpi-l\">Append cryptographique cha\u00een\u00e9<\/div>\n <div class=\"al9-kpi-big\">1,50 <span class=\"al9-kpi-u\">\u00b5s<\/span><\/div>\n <div class=\"al9-kpi-s\">HMAC-SHA256 HACL* sur ~80 octets<\/div>\n <\/div>\n <div class=\"al9-kpi-block sep\">\n <div class=\"al9-kpi-l\">Entr\u00e9e compl\u00e8te + ancrage TPM<\/div>\n <div class=\"al9-kpi-mid\">\u2248 1,85 <span class=\"al9-kpi-um\">\u00b5s<\/span><\/div>\n <div class=\"al9-kpi-s\">append + anchor_to_tpm cumul\u00e9s<\/div>\n <\/div>\n <div class=\"al9-kpi-text\">\n <strong>Deux m\u00e9triques evidence-grade.<\/strong> L’append cryptographique (1,50 \u00b5s) refl\u00e8te le co\u00fbt intrins\u00e8que d’une entr\u00e9e cha\u00een\u00e9e HMAC-SHA256 via HACL* (~80 octets). L’entr\u00e9e compl\u00e8te end-to-end (1,85 \u00b5s) inclut l’ancrage TPM PCR pour tra\u00e7abilit\u00e9 hardware. <strong>Premier audit log applicatif formellement v\u00e9rifi\u00e9 publiquement au monde avec preuves Isabelle\/HOL compl\u00e8tes.<\/strong>\n <\/div>\n <\/div>\n \n <!-- Tableau performances -->\n <h3 class=\"al9-h3\">Tableau <em>performances mesur\u00e9es<\/em><\/h3>\n <p class=\"al9-desc\">Mesures evidence-grade reproductibles. CLOCK_MONOTONIC nanoseconde \u00b7 anti-DCE (sinks volatiles globaux + barri\u00e8res m\u00e9moire asm volatile). nk_audit_append mesure le co\u00fbt r\u00e9el d’une entr\u00e9e cha\u00een\u00e9e HMAC-SHA256 via HACL* INRIA.<\/p>\n <div class=\"al9-tw\"><table class=\"al9-bt\">\n <thead><tr><th>Op\u00e9ration<\/th><th class=\"c\">Behaviors ACSL<\/th><th class=\"r\">mean<\/th><th class=\"r\">p99<\/th><th class=\"c\">Statut<\/th><\/tr><\/thead>\n <tbody>\n <tr class=\"grp\"><td colspan=\"5\">Initialisation et \u00e9tat<\/td><\/tr>\n <tr><td class=\"fn\">Initialisation module \u00b7 cold path<\/td><td class=\"lay\">AL-01, AL-02<\/td><td class=\"val\">19 ns<\/td><td class=\"p99\">1 \u00b5s<\/td><td class=\"lay\"><span class=\"al9-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n <tr><td class=\"fn\">V\u00e9rification invariants internes \u00b7 audit<\/td><td class=\"lay\">AL-18 \u00e0 AL-20<\/td><td class=\"val\">\u2264 1 ns<\/td><td class=\"p99\">1 ns<\/td><td class=\"lay\"><span class=\"al9-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">Append cryptographique cha\u00een\u00e9<\/td><\/tr>\n <tr class=\"tcbr\"><td class=\"fn\"><strong>Append entr\u00e9e cha\u00een\u00e9e \u00b7 HMAC-SHA256 HACL* INRIA<\/strong><\/td><td class=\"lay\">AL-03 \u00e0 AL-10<\/td><td class=\"val\">1,50 \u00b5s<\/td><td class=\"p99\">2 \u00b5s<\/td><td class=\"lay\"><span class=\"al9-bdg tcb\">CHA\u00ceN\u00c9<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">Lecture du journal immuable<\/td><\/tr>\n <tr><td class=\"fn\">Lecture entr\u00e9e index\u00e9e \u00b7 acc\u00e8s RAM direct<\/td><td class=\"lay\">AL-11 \u00e0 AL-13<\/td><td class=\"val\">3,97 ns<\/td><td class=\"p99\">10 ns<\/td><td class=\"lay\"><span class=\"al9-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n <tr><td class=\"fn\">Lecture t\u00eate de cha\u00eene \u00b7 HMAC derni\u00e8re entr\u00e9e<\/td><td class=\"lay\">AL-14, AL-15<\/td><td class=\"val\">6,64 ns<\/td><td class=\"p99\">9 ns<\/td><td class=\"lay\"><span class=\"al9-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">V\u00e9rification de cha\u00eene compl\u00e8te<\/td><\/tr>\n <tr><td class=\"fn\">V\u00e9rification cha\u00eene \u00b7 32 entr\u00e9es (32\u00d7 recompute HMAC)<\/td><td class=\"lay\">AL-16, AL-17<\/td><td class=\"val\">28,70 \u00b5s<\/td><td class=\"p99\">29 \u00b5s<\/td><td class=\"lay\"><span class=\"al9-bdg crypto\">CRYPTO<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">Ancrage TPM PCR<\/td><\/tr>\n <tr><td class=\"fn\">Ancrage TPM PCR \u00b7 extend stub S4 (coh\u00e9rent secboot)<\/td><td class=\"lay\">AL-21, AL-22<\/td><td class=\"val\">350 ns<\/td><td class=\"p99\">1 \u00b5s<\/td><td class=\"lay\"><span class=\"al9-bdg nw\">MESUR\u00c9<\/span><\/td><\/tr>\n \n <tr class=\"grp\"><td colspan=\"5\">Boot compos\u00e9 \u2014 cha\u00eenage end-to-end<\/td><\/tr>\n <tr class=\"tcbr\" style=\"background:#FDF0D5;\"><td class=\"fn\"><strong>ENTR\u00c9E CHA\u00ceN\u00c9E COMPL\u00c8TE \u00b7 append + anchor_to_tpm cumul\u00e9s<\/strong><\/td><td class=\"lay\">22\/22<\/td><td class=\"val\" style=\"font-size:14px;\"><strong>\u2248 1,85 \u00b5s<\/strong><\/td><td class=\"p99\"><strong>\u2248 3 \u00b5s<\/strong><\/td><td class=\"lay\"><span class=\"al9-bdg tcb\">EVIDENCE<\/span><\/td><\/tr>\n <tr class=\"tcbr\" style=\"background:#FDF0D5;\"><td class=\"fn\"><strong>V\u00c9RIFICATION CHA\u00ceNE COMPL\u00c8TE \u00b7 64 entr\u00e9es maximum<\/strong><\/td><td class=\"lay\">22\/22<\/td><td class=\"val\" style=\"font-size:14px;\"><strong>\u2248 57 \u00b5s<\/strong><\/td><td class=\"p99\"><strong>\u2248 60 \u00b5s<\/strong><\/td><td class=\"lay\"><span class=\"al9-bdg tcb\">EVIDENCE<\/span><\/td><\/tr>\n <\/tbody>\n <\/table><\/div>\n \n <!-- 3 modes -->\n <h3 class=\"al9-h3\">Trois <em>modes d’usage<\/em><\/h3>\n <p class=\"al9-desc\">Le Module Audit Log s’utilise selon trois modes op\u00e9rationnels, du plus simple (journal local) au plus strict (preuve cryptographique partag\u00e9e multi-\u00e9quipement). Trajectoire commerciale conseill\u00e9e : d\u00e9marrer en mode A pour audit interne, \u00e9voluer vers B avec ancrage TPM hardware, puis C pour syst\u00e8mes de d\u00e9fense partag\u00e9s.<\/p>\n \n <div class=\"al9-mgrid\">\n <div class=\"al9-mc\">\n <div class=\"al9-mi\">A<\/div>\n <div class=\"al9-mt\">Journal local applicatif<\/div>\n <div class=\"al9-md\">Le module enregistre tous les \u00e9v\u00e9nements TCB critiques (boot, IPC, capability check, quarantaine, MTD) en local. Cha\u00eenage HMAC-SHA256 garantit l’int\u00e9grit\u00e9. V\u00e9rification interne p\u00e9riodique. Aucune d\u00e9pendance externe.<\/div>\n <div class=\"al9-mv\">audit \u00b7 trace \u00b7 forensique embarqu\u00e9e<\/div>\n <\/div>\n \n <div class=\"al9-mc\" style=\"border-top-color:#0055B3;\">\n <div class=\"al9-mi\">B<\/div>\n <div class=\"al9-mt\">Ancrage TPM 2.0 hardware<\/div>\n <div class=\"al9-md\">Le module ancre p\u00e9riodiquement la t\u00eate de cha\u00eene dans le TPM 2.0 r\u00e9el (PCR extend coh\u00e9rent S4\/S8). Garantit l’int\u00e9grit\u00e9 m\u00eame apr\u00e8s red\u00e9marrage. Compatible swtpm + hardware Infineon SLB9670, NXP, Microchip.<\/div>\n <div class=\"al9-mv\">TPM \u00b7 PCR \u00b7 attestation remote<\/div>\n <\/div>\n \n <div class=\"al9-mc\" style=\"border-top-color:#B08728;\">\n <div class=\"al9-mi\">C<\/div>\n <div class=\"al9-mt\">Preuve d’int\u00e9grit\u00e9 partag\u00e9e<\/div>\n <div class=\"al9-md\">Le module exporte la t\u00eate de cha\u00eene sign\u00e9e vers PRISM\u2122 v43 pour tra\u00e7abilit\u00e9 multi-\u00e9quipement (flotte drones, parc IoT industriel). V\u00e9rification crois\u00e9e et d\u00e9tection d’anomalies syst\u00e9miques. R\u00e9serv\u00e9 environnements d\u00e9fense.<\/div>\n <div class=\"al9-mv\">DGA \u00b7 ANSSI \u00b7 EAL6+ \u00b7 souverain<\/div>\n <\/div>\n <\/div>\n \n <!-- Terminal -->\n <div class=\"al9-term\">\n <div><span class=\"tp\">$<\/span> <span class=\"tc\">clang -O2 -o bench_audit bench_audit_log.c cortex_nk_audit_log.c -lhacl_static -lsodium && .\/bench_audit<\/span><\/div>\n <div class=\"tp\">===========================================================================<\/div>\n <div class=\"tp\"> CFVL-BENCH-AUDIT-001 v1.0 \u2014 Module Audit Log Immuable (100% complet)<\/div>\n <div class=\"tp\">===========================================================================<\/div>\n <div><span class=\"to\"> Behavior Op\u00e9ration \u2502 mean \u2502 p99<\/span><\/div>\n <div><span class=\"to\"> \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\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/span><\/div>\n <div><span class=\"to\"> AL-01 nk_audit_init [cold path] \u2502 <\/span><span class=\"th\"> 19 ns<\/span><span class=\"to\"> \u2502 1 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> AL-03 nk_audit_append [HMAC chained] \u2502 <\/span><span class=\"tw2\"> 1,50 \u00b5s<\/span><span class=\"to\"> \u2502 2 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> AL-11 nk_audit_get_entry [RAM read] \u2502 <\/span><span class=\"th\"> 3,97 ns<\/span><span class=\"to\"> \u2502 10 ns<\/span><\/div>\n <div><span class=\"to\"> AL-14 nk_audit_get_chain_head \u2502 <\/span><span class=\"th\"> 6,64 ns<\/span><span class=\"to\"> \u2502 9 ns<\/span><\/div>\n <div><span class=\"to\"> AL-16 nk_audit_verify_chain [32 entries] \u2502 <\/span><span class=\"tw2\"> 28,70 \u00b5s<\/span><span class=\"to\"> \u2502 29 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> AL-21 nk_audit_anchor_to_tpm [PCR S4] \u2502 <\/span><span class=\"th\"> 350 ns<\/span><span class=\"to\"> \u2502 1 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> AL-18 nk_audit_check_invariants \u2502 <\/span><span class=\"th\"> \u2264 1 ns<\/span><span class=\"to\"> \u2502 1 ns<\/span><\/div>\n <div class=\"tp\"> \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\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u253c\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500\u2500<\/div>\n <div><span class=\"to\"> ENTR\u00c9E cha\u00een\u00e9e + ancrage TPM <\/span><span class=\"tw2\">[EVIDENCE] \u2502 <\/span><span class=\"tw2\"> \u2248 1,85 \u00b5s<\/span><span class=\"to\"> \u2502 \u2248 3 \u00b5s<\/span><\/div>\n <div><span class=\"to\"> CHA\u00ceNE v\u00e9rification 64 entr\u00e9es max <\/span><span class=\"tw2\">[EVIDENCE] \u2502 <\/span><span class=\"tw2\"> \u2248 57 \u00b5s<\/span><span class=\"to\"> \u2502 \u2248 60 \u00b5s<\/span><\/div>\n <div class=\"tp\">===========================================================================<\/div>\n <div class=\"tok\">\u2705 7\/7 fonctions publiques mesur\u00e9es \u00b7 0 crash \u00b7 100M+ ops valid\u00e9es<\/div>\n <div class=\"tok\">\u2705 426\/443 Frama-C\/WP (96,2 %) \u00b7 8\/8 Isabelle\/HOL (0 sorry) \u00b7 70\/70 tests<\/div>\n <div class=\"tok\">\u2705 PR #18 merg\u00e9e master \u00b7 commit 2a519c9 \u00b7 22 mai 2026<\/div>\n <\/div>\n \n <!-- Note strat\u00e9gique -->\n <div class=\"al9-nota\">\n <strong>Lecture strat\u00e9gique.<\/strong> Le Module Audit Log CORTEX NK\u2122 constitue \u00e0 ce jour le <strong>seul journal d’audit applicatif formellement v\u00e9rifi\u00e9 publiquement<\/strong> int\u00e9grant nativement le cha\u00eenage cryptographique HMAC-SHA256 via HACL* (INRIA Prosecco), l’ancrage TPM 2.0 PCR, et la propri\u00e9t\u00e9 anti-tamper formellement prouv\u00e9e sous r\u00e9sistance aux collisions HMAC. <strong>Append cha\u00een\u00e9 en 1,50 \u00b5s \u00b7 entr\u00e9e compl\u00e8te end-to-end en 1,85 \u00b5s<\/strong> sur ARM64 \u2014 performance compatible avec toutes les exigences embarqu\u00e9es (avionique, automotive, IoT industriel, d\u00e9fense). Architecture monotone append-only stricte (capacit\u00e9 64 entr\u00e9es) avec invariants formellement v\u00e9rifi\u00e9s. Aucun concurrent (seL4, ProvenCore, Green Hills INTEGRITY, PikeOS, VxWorks, Muen) ne publie aujourd’hui de benchmarks evidence-grade \u00e9quivalents sur un audit log applicatif avec preuves Isabelle\/HOL compl\u00e8tes. <strong>Sprint Module Audit Log 100% complet \u00b7 PR #18 merg\u00e9e master \u00b7 commit 2a519c9 \u00b7 22 mai 2026. Trajectoire de certification : CSPN ANSSI Q1 2027 \u2192 EAL4 (2028) \u2192 EAL6 (2029) \u2192 EAL7+ (2030).<\/strong>\n <\/div>\n \n<\/div>\n<\/div>\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-1575","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1575","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=1575"}],"version-history":[{"count":12,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1575\/revisions"}],"predecessor-version":[{"id":1929,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/1575\/revisions\/1929"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=1575"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}