Menu \u2014 Cortex ORIGIN\u2122<\/title>\n<link href=\"https:\/\/fonts.googleapis.com\/css2?family=DM+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap\" rel=\"stylesheet\">\n<style>\n\/* \u2550\u2550\u2550 RESET \u2550\u2550\u2550 *\/\n*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }\nbody { font-family: 'DM Sans', sans-serif; background: #F4F0EB; }\n\n\/* \u2550\u2550\u2550 NAV CONTAINER \u2550\u2550\u2550 *\/\n.nav {\n background: #0C1829;\n position: sticky; top: 0; z-index: 1000;\n box-shadow: 0 2px 20px rgba(0,0,0,0.3);\n}\n.nav-inner {\n max-width: 1260px; margin: 0 auto;\n display: flex; align-items: center; justify-content: space-between;\n padding: 0 1.5rem; height: 56px;\n}\n\n\/* \u2550\u2550\u2550 LOGO \u2550\u2550\u2550 *\/\n.nav-logo {\n font-family: 'DM Sans', sans-serif; font-weight: 700; font-size: 0.95rem;\n color: #fff; letter-spacing: 0.03em; text-decoration: none; white-space: nowrap;\n flex-shrink: 0;\n}\n.nav-logo span { color: #C9A96E; }\n\n\/* \u2550\u2550\u2550 HAMBURGER \u2550\u2550\u2550 *\/\n.nav-toggle {\n display: none; background: none; border: none; cursor: pointer;\n width: 32px; height: 32px; position: relative; z-index: 1100;\n}\n.nav-toggle span {\n display: block; width: 22px; height: 2px; background: #B8D4F0;\n position: absolute; left: 5px; transition: all 0.3s ease;\n}\n.nav-toggle span:nth-child(1) { top: 9px; }\n.nav-toggle span:nth-child(2) { top: 15px; }\n.nav-toggle span:nth-child(3) { top: 21px; }\n.nav-toggle.active span:nth-child(1) { top: 15px; transform: rotate(45deg); }\n.nav-toggle.active span:nth-child(2) { opacity: 0; }\n.nav-toggle.active span:nth-child(3) { top: 15px; transform: rotate(-45deg); }\n\n\/* \u2550\u2550\u2550 DESKTOP MENU \u2550\u2550\u2550 *\/\n.nav-menu {\n display: flex; align-items: center; gap: 0; list-style: none;\n}\n.nav-menu > li {\n position: relative;\n}\n.nav-menu > li > .nav-link {\n display: flex; align-items: center; gap: 0.3rem;\n padding: 0 0.9rem; height: 56px; line-height: 56px;\n font-size: 0.8rem; font-weight: 500; color: rgba(184,212,240,0.7);\n text-decoration: none; cursor: pointer; transition: color 0.2s;\n white-space: nowrap; border: none; background: none;\n font-family: inherit;\n}\n.nav-menu > li > .nav-link:hover,\n.nav-menu > li:hover > .nav-link { color: #fff; }\n.nav-link .arrow {\n font-size: 0.55rem; opacity: 0.5; transition: transform 0.2s;\n}\n.nav-menu > li:hover .arrow { transform: rotate(180deg); }\n\n\/* \u2550\u2550\u2550 CTA BUTTON \u2550\u2550\u2550 *\/\n.nav-cta {\n font-family: 'JetBrains Mono', monospace; font-size: 0.62rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n padding: 0.45rem 1.1rem; border-radius: 2px; margin-left: 0.5rem;\n background: rgba(201,169,110,0.15); color: #C9A96E;\n border: 1px solid rgba(201,169,110,0.3);\n text-decoration: none; transition: all 0.3s; white-space: nowrap;\n}\n.nav-cta:hover { background: rgba(201,169,110,0.25); color: #fff; }\n\n\/* \u2550\u2550\u2550 DROPDOWN (standard) \u2550\u2550\u2550 *\/\n.dropdown {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.12);\n border-top: 2px solid #C9A96E; border-radius: 0 0 6px 6px;\n min-width: 300px; padding: 0.6rem 0; z-index: 200;\n box-shadow: 0 16px 48px rgba(0,0,0,0.45);\n}\n.nav-menu > li:hover > .dropdown { display: block; }\n.dropdown a {\n display: block; padding: 0.45rem 1.4rem; font-size: 0.78rem;\n color: rgba(184,212,240,0.55); text-decoration: none;\n transition: all 0.15s; line-height: 1.5;\n}\n.dropdown a:hover { color: #fff; background: rgba(74,144,217,0.07); }\n.drop-label {\n font-family: 'JetBrains Mono', monospace; font-size: 0.56rem; font-weight: 600;\n letter-spacing: 0.14em; color: #C9A96E; text-transform: uppercase;\n padding: 0.5rem 1.4rem 0.2rem; display: block;\n}\n.drop-sep {\n border: none; border-top: 1px solid rgba(74,144,217,0.07);\n margin: 0.4rem 1.4rem;\n}\n\n\/* \u2550\u2550\u2550 MEGA DROPDOWN (Architecture) \u2550\u2550\u2550 *\/\n.mega-dropdown {\n display: none; position: absolute; top: 100%; left: -60px;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.12);\n border-top: 2px solid #C9A96E; border-radius: 0 0 6px 6px;\n width: 620px; padding: 1.2rem 1.4rem; z-index: 200;\n box-shadow: 0 16px 48px rgba(0,0,0,0.45);\n}\n.nav-menu > li:hover > .mega-dropdown { display: block; }\n.mega-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 0 1.8rem; }\n.mega-col .drop-label { padding: 0 0 0.2rem; }\n.mega-col a {\n display: block; padding: 0.3rem 0; font-size: 0.76rem;\n color: rgba(184,212,240,0.55); text-decoration: none; transition: color 0.15s;\n}\n.mega-col a:hover { color: #fff; }\n.mega-col .drop-sep { margin: 0.4rem 0; }\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\n RESPONSIVE \u2014 MOBILE (< 1024px)\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 *\/\n@media (max-width: 1023px) {\n .nav-toggle { display: block; }\n\n .nav-menu {\n display: none; flex-direction: column; align-items: stretch;\n position: fixed; top: 56px; left: 0; right: 0; bottom: 0;\n background: #0C1829; overflow-y: auto; padding: 0.5rem 0 2rem;\n -webkit-overflow-scrolling: touch;\n }\n .nav-menu.open { display: flex; }\n\n \/* Top-level items *\/\n .nav-menu > li { border-bottom: 1px solid rgba(74,144,217,0.08); }\n .nav-menu > li > .nav-link {\n height: auto; line-height: 1; padding: 1rem 1.5rem;\n font-size: 0.9rem; justify-content: space-between; width: 100%;\n }\n .nav-link .arrow { font-size: 0.7rem; transition: transform 0.3s; }\n .nav-menu > li.sub-open .arrow { transform: rotate(180deg); }\n\n \/* Disable hover on mobile \u2014 use click *\/\n .nav-menu > li:hover > .dropdown,\n .nav-menu > li:hover > .mega-dropdown { display: none; }\n .nav-menu > li.sub-open > .dropdown,\n .nav-menu > li.sub-open > .mega-dropdown { display: block; }\n\n \/* Dropdown resets for mobile *\/\n .dropdown, .mega-dropdown {\n position: static; width: 100% !important;\n border: none; border-top: none; border-radius: 0;\n box-shadow: none; padding: 0 0 0.5rem;\n background: rgba(12,24,41,0.6);\n }\n .mega-dropdown { padding: 0.5rem 0; }\n .dropdown a { padding: 0.6rem 2rem; font-size: 0.82rem; }\n .drop-label { padding: 0.6rem 2rem 0.2rem; font-size: 0.58rem; }\n .drop-sep { margin: 0.3rem 2rem; }\n\n \/* Mega cols \u2192 single column on mobile *\/\n .mega-cols { grid-template-columns: 1fr; gap: 0; }\n .mega-col a { padding: 0.5rem 2rem; font-size: 0.82rem; }\n .mega-col .drop-label { padding: 0.6rem 2rem 0.2rem; }\n .mega-col .drop-sep { margin: 0.3rem 2rem; }\n\n \/* CTA full width *\/\n .nav-cta {\n display: block; margin: 1rem 1.5rem 0; text-align: center;\n padding: 0.8rem; font-size: 0.72rem;\n }\n}\n\n\/* \u2550\u2550\u2550 Tablet tweaks (768\u20131023) \u2550\u2550\u2550 *\/\n@media (min-width: 768px) and (max-width: 1023px) {\n .mega-cols { grid-template-columns: 1fr 1fr; }\n .mega-col a { padding: 0.5rem 1.5rem; }\n}\n\n\/* \u2550\u2550\u2550 BODY LOCK when menu open \u2550\u2550\u2550 *\/\nbody.menu-locked { overflow: hidden; }\n<\/style>\n<\/head>\n<body>\n\n\n<nav class=\"nav\">\n <div class=\"nav-inner\">\n\n \n <a href=\"https:\/\/cortexorigin.com\/\" class=\"nav-logo\">CORTEX <span>ORIGIN\u2122<\/span><\/a>\n\n \n <button class=\"nav-toggle\" id=\"navToggle\" aria-label=\"Menu\">\n <span><\/span><span><\/span><span><\/span>\n <\/button>\n\n \n <ul class=\"nav-menu\" id=\"navMenu\">\n\n \n <li>\n <button class=\"nav-link\">Architecture <span class=\"arrow\">\u25be<\/span><\/button>\n <div class=\"mega-dropdown\">\n <div class=\"mega-cols\">\n <div class=\"mega-col\">\n <span class=\"drop-label\">Socle critique (TCB)<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/larchitecture-cortex-origin\/\">CORTEX ORIGIN\u2122 \u2014 Vue d’ensemble<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-core\/\">Cortex Core\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/omega-gouvernance-decisionnelle\/\">OMEGA\u2122 \u2014 Gouvernance<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/180-2\/\">PRISM\u2122 \u2014 Preuve<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-aegis\/\">AEGIS\u2122 \u2014 Ex\u00e9cution<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-fulcrum\/\">FULCRUM\u2122<\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">S\u00e9curit\u00e9 & Confinement<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/sentinel-securite-active-et-gouvernance-des-signaux\/\">SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/wall-dome-les-4-formules-de-confinement-et-gouvernance-runtime\/\">WALL-DOME\u2122 \u2014 Confinement<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cerbere\/\">CERB\u00c8RE\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cerbere-decision-guard\/\">Decision Guard\u2122<\/a>\n <\/div>\n <div class=\"mega-col\">\n <span class=\"drop-label\">Interface & Orchestration<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/ava-cpl\/\">AVA\u2122 & CPL\u2122 \u2014 Interface<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/multi-lcm-trm-engine-orchestration-gouvernee-multi-modeles-ia\/\">Multi LCM \/ TRM Engine\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/trm-contrain-nano\/\">TRM Contrain Nano\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-ecoflux\/\">EcoFlux\u2122 \u2014 Frugalit\u00e9<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/morph-gates\/\">MORPH GATES\u2122 \u2014 CI\/CD<\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Capacit\u00e9s avanc\u00e9es<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-quantum-ready\/\">Quantum-Ready\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cyber-orion-3\/\">CYBER-ORION\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-labcode\/\">LabCode\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-chameleon\/\">CHAMELEON\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-mirror-lab\/\">MIRROR LAB\u2122<\/a>\n <\/div>\n <\/div>\n <\/div>\n <\/li>\n\n \n <li>\n <button class=\"nav-link\">Applications <span class=\"arrow\">\u25be<\/span><\/button>\n <div class=\"dropdown\">\n <span class=\"drop-label\">Verticales technologiques<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/imcortex-2\/\">IMCORTEX\u2122 \u0394IMC \u2014 Architecture cognitive<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/space-ai-autonomie-gouvernee\/\">Space AI \u2014 Autonomie gouvern\u00e9e<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/quantum-assurance-architecture-quantum-ready\/\">Quantum Assurance<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/wall-dome-drones-systemes-autonomes\/\">Drones & Syst\u00e8mes autonomes<\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">IAG par secteur<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-banque-la-finance-les-oiv\/\">Banque, Finance & OIV<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense & Cybers\u00e9curit\u00e9<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat & R\u00e9galien<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/592-2\/\">Tous les secteurs<\/a>\n <\/div>\n <\/li>\n\n \n <li>\n <button class=\"nav-link\">V\u00e9rification <span class=\"arrow\">\u25be<\/span><\/button>\n <div class=\"dropdown\">\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 <hr class=\"drop-sep\">\n <span class=\"drop-label\">Recherche<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/604-2\/\">Cortex AGI Exp\u00e9rimental<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-2\/\">MVP CORTEX\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\">IA expliqu\u00e9e simplement<\/a>\n <\/div>\n <\/li>\n\n \n <li>\n <button class=\"nav-link\">Secteurs <span class=\"arrow\">\u25be<\/span><\/button>\n <div class=\"dropdown\">\n <span class=\"drop-label\">Audiences<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\">Investisseurs & partenaires<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\">Industriels & int\u00e9grateurs<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\">D\u00e9cideurs publics & autorit\u00e9s<\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Packs Applications (paC)<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-banque-la-finance-les-oiv\/\">Finance & Banque<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense & Cyber<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat & R\u00e9galien<\/a>\n <\/div>\n <\/li>\n\n \n <li>\n <a class=\"nav-link\" href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL<\/a>\n <\/li>\n\n \n <li>\n <a class=\"nav-cta\" href=\"mailto:press@cortexorigin.com\">Contact<\/a>\n <\/li>\n\n <\/ul>\n <\/div>\n<\/nav>\n\n\n<script>\n(function(){\n const toggle = document.getElementById('navToggle');\n const menu = document.getElementById('navMenu');\n const body = document.body;\n\n \/\/ Hamburger open\/close\n toggle.addEventListener('click', function(){\n this.classList.toggle('active');\n menu.classList.toggle('open');\n body.classList.toggle('menu-locked');\n });\n\n \/\/ Sub-menu accordion on mobile (click to open\/close)\n const items = menu.querySelectorAll(':scope > li');\n items.forEach(function(li){\n const btn = li.querySelector('button.nav-link');\n if (!btn) return; \/\/ skip CFVL & CTA (they are <a> not <button>)\n btn.addEventListener('click', function(e){\n if (window.innerWidth >= 1024) return; \/\/ desktop uses hover\n e.preventDefault();\n \/\/ Close other open items\n items.forEach(function(other){\n if (other !== li) other.classList.remove('sub-open');\n });\n li.classList.toggle('sub-open');\n });\n });\n\n \/\/ Close mobile menu when clicking a link\n menu.querySelectorAll('a').forEach(function(a){\n a.addEventListener('click', function(){\n if (window.innerWidth >= 1024) return;\n toggle.classList.remove('active');\n menu.classList.remove('open');\n body.classList.remove('menu-locked');\n });\n });\n\n \/\/ Reset on resize\n window.addEventListener('resize', function(){\n if (window.innerWidth >= 1024) {\n toggle.classList.remove('active');\n menu.classList.remove('open');\n body.classList.remove('menu-locked');\n items.forEach(function(li){ li.classList.remove('sub-open'); });\n }\n });\n})();\n<\/script>\n\n<\/body>\n<\/html>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n\n\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=EB+Garamond:ital,wght@0,400;0,500;0,600;0,700;1,400;1,500&family=JetBrains+Mono:wght@400;500;600&family=DM+Sans:wght@300;400;500;600;700&display=swap');\n\n.cf-page {\n --navy: #0C1829; --navy-mid: #162240; --navy-light: #1E3055;\n --slate: #2A3F5F; --blue: #4A90D9; --ice: #B8D4F0;\n --cream: #F4F0EB; --white: #FAFAF8; --gray: #8C9BAF;\n --gold: #C9A96E; --green: #27AE60; --orange: #D4872C;\n --serif: 'EB Garamond', 'Georgia', serif;\n --sans: 'DM Sans', 'Helvetica Neue', sans-serif;\n --mono: 'JetBrains Mono', 'Consolas', monospace;\n font-family: var(--sans); color: var(--navy);\n -webkit-font-smoothing: antialiased; line-height: 1.6;\n max-width: 100%; overflow-x: hidden; margin: 0; padding: 0;\n}\n.cf-page *, .cf-page *::before, .cf-page *::after { box-sizing: border-box; }\n.cf-page h1,.cf-page h2,.cf-page h3,.cf-page h4,.cf-page p,.cf-page ul,.cf-page li { margin:0;padding:0;font-weight:normal;list-style:none; }\n.cf-page a { text-decoration: none; }\n\n\/* HERO *\/\n.cf-hero {\n background: var(--navy); padding: 7rem 2rem 5rem;\n text-align: center; position: relative;\n}\n.cf-hero::after {\n content:''; position:absolute; bottom:0; left:0; right:0; height:1px;\n background: linear-gradient(90deg, transparent, var(--blue), var(--gold), var(--blue), transparent);\n opacity: 0.4;\n}\n.cf-hero-label {\n font-family: var(--mono); font-size: 0.72rem; letter-spacing: 0.35em;\n color: var(--gold); text-transform: uppercase; margin-bottom: 1.5rem;\n}\n.cf-hero h1 {\n font-family: var(--serif) !important;\n font-size: clamp(2.2rem, 5vw, 3.6rem) !important;\n font-weight: 400 !important; color: var(--white) !important;\n line-height: 1.12 !important; margin-bottom: 1rem !important;\n}\n.cf-hero h1 em { font-style: italic; color: var(--ice); }\n.cf-hero-sub {\n font-size: 1.05rem; font-weight: 300; color: var(--gray);\n line-height: 1.75; max-width: 640px; margin: 0 auto;\n}\n.cf-back {\n display: inline-flex; align-items: center; gap: 0.5rem;\n font-family: var(--mono); font-size: 0.72rem; color: var(--blue);\n letter-spacing: 0.1em; margin-bottom: 2rem;\n transition: color 0.3s;\n}\n.cf-back:hover { color: var(--ice); }\n\n\/* SECTIONS *\/\n.cf-section { padding: 5rem 2rem; max-width: 1000px; margin: 0 auto; }\n.cf-section-label {\n font-family: var(--mono); font-size: 0.68rem; letter-spacing: 0.3em;\n color: var(--blue); text-transform: uppercase; margin-bottom: 1rem;\n}\n.cf-page h2 {\n font-family: var(--serif) !important;\n font-size: clamp(1.7rem, 3.5vw, 2.4rem) !important;\n font-weight: 400 !important; color: var(--navy) !important;\n line-height: 1.2 !important; margin-bottom: 1.4rem !important;\n}\n.cf-page h2 em { font-style: italic; color: var(--slate); }\n.cf-page h3 {\n font-family: var(--sans) !important; font-size: 1rem !important;\n font-weight: 600 !important; color: var(--navy) !important;\n margin-bottom: 0.6rem !important;\n}\n.cf-lead { font-size: 1.02rem; line-height: 1.8; color: #4A5568; max-width: 720px; margin-bottom: 2.5rem; }\n.cf-prose { font-size: 0.95rem; line-height: 1.8; color: #4A5568; max-width: 760px; margin-bottom: 1.5rem; }\n\n\/* DARK BAND *\/\n.cf-band-dark {\n background: var(--navy); padding: 5rem 2rem; position: relative;\n}\n.cf-band-dark::before {\n content:''; position:absolute; top:0; left:0; right:0; height:1px;\n background: linear-gradient(90deg, transparent, var(--blue), transparent); opacity:0.3;\n}\n.cf-band-dark .cf-inner { max-width: 1000px; margin: 0 auto; }\n.cf-band-dark h2 { color: var(--white) !important; }\n.cf-band-dark .cf-lead { color: var(--gray); }\n.cf-band-dark .cf-section-label { color: var(--gold); }\n.cf-band-dark h3 { color: var(--ice) !important; }\n.cf-band-dark p { color: var(--gray); }\n\n\/* ARTICLE CARDS *\/\n.cf-article-grid {\n display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));\n gap: 1.5rem; margin-top: 2rem;\n}\n.cf-article-card {\n border: 1px solid rgba(74,144,217,0.15); border-radius: 2px;\n padding: 1.8rem; background: rgba(30,48,85,0.3);\n transition: border-color 0.3s;\n}\n.cf-article-card:hover { border-color: rgba(201,169,110,0.4); }\n.cf-article-card h3 { color: var(--ice) !important; font-size: 0.95rem !important; margin-bottom: 0.4rem !important; }\n.cf-article-card p { color: var(--gray); font-size: 0.87rem; line-height: 1.65; }\n\n\/* PRINCIPLE ROW *\/\n.cf-principle-row {\n display: grid; grid-template-columns: 3.5rem 1fr;\n gap: 1rem; align-items: start; margin-bottom: 2rem;\n}\n.cf-principle-num {\n font-family: var(--mono); font-size: 0.68rem;\n color: var(--gold); letter-spacing: 0.1em; padding-top: 0.3rem;\n}\n.cf-principle-row h3 { margin-bottom: 0.3rem !important; }\n.cf-principle-row p { font-size: 0.9rem; line-height: 1.7; color: #4A5568; }\n\n\/* QUOTE *\/\n.cf-quote {\n background: var(--cream); border-left: 3px solid var(--gold);\n padding: 2rem 2.5rem; margin: 2.5rem 0;\n font-family: var(--serif); font-size: 1.15rem; line-height: 1.7; color: var(--navy);\n}\n\n\/* BADGE *\/\n.cf-badge {\n display: inline-block; font-family: var(--mono); font-size: 0.62rem;\n padding: 0.15em 0.55em; border-radius: 1px; letter-spacing: 0.05em;\n}\n.cf-badge-active { background: rgba(39,174,96,0.1); color: var(--green); border: 1px solid rgba(39,174,96,0.2); }\n.cf-badge-doc { background: rgba(74,144,217,0.1); color: var(--blue); border: 1px solid rgba(74,144,217,0.2); }\n\n\/* FOOTER *\/\n.cf-footer {\n background: var(--navy); padding: 4rem 2rem 2rem; position: relative;\n}\n.cf-footer::before {\n content:''; position:absolute; top:0; left:0; right:0; height:1px;\n background: linear-gradient(90deg, transparent, var(--blue), var(--gold), var(--blue), transparent); opacity:0.3;\n}\n.cf-footer .cf-inner {\n max-width: 1000px; margin: 0 auto;\n display: grid; grid-template-columns: 1.5fr 1fr 1fr; gap: 3rem;\n}\n.cf-footer-brand {\n font-family: var(--mono); font-size: 1.3rem; font-weight: 600;\n color: var(--white); margin-bottom: 0.7rem;\n}\n.cf-footer-brand span { color: var(--gold); }\n.cf-footer p { font-size: 0.8rem; color: var(--gray); line-height: 1.65; }\n.cf-footer h4 {\n font-family: var(--mono) !important; font-size: 0.68rem !important;\n color: var(--gold) !important; letter-spacing: 0.2em !important;\n text-transform: uppercase; margin-bottom: 0.8rem !important;\n}\n.cf-footer a {\n display: block; font-size: 0.82rem; color: rgba(184,212,240,0.5);\n padding: 0.2rem 0; transition: color 0.3s;\n}\n.cf-footer a:hover { color: var(--ice); }\n.cf-footer-bottom {\n max-width: 1000px; margin: 2rem auto 0;\n padding-top: 1.5rem; border-top: 1px solid rgba(184,212,240,0.06);\n display: flex; justify-content: space-between; align-items: center;\n font-size: 0.72rem; color: rgba(140,155,175,0.4);\n}\n.cf-footer-legal { display: flex; gap: 1.2rem; }\n.cf-footer-legal a { display: inline; font-size: 0.72rem; color: rgba(140,155,175,0.4); padding: 0; }\n.cf-footer-legal a:hover { color: var(--gray); }\n\n@media (max-width: 768px) {\n .cf-footer .cf-inner { grid-template-columns: 1fr; gap: 1.5rem; }\n .cf-footer-bottom { flex-direction: column; text-align: center; gap: 0.5rem; }\n .cf-principle-row { grid-template-columns: 1fr; }\n}\n\n\n\/* FIX-HERO-CENTER *\/\n.cf-hero,\n.cf-hero * {\n text-align: center !important;\n margin-left: auto !important;\n margin-right: auto !important;\n}\n.cf-hero .cf-back {\n display: inline-flex !important;\n}\n<\/style>\n\n<div class=\"cf-page\">\n\n\n<div class=\"cf-hero\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\" class=\"cf-back\">\u2190 CFVL<\/a>\n <div class=\"cf-hero-label\">Document institutionnel<\/div>\n <h1>M\u00e9thodologie <em>formelle<\/em><\/h1>\n <p class=\"cf-hero-sub\">Outils, crit\u00e8res d’acceptation, seuils de rejet et processus d’\u00e9valuation du CFVL. Ce document d\u00e9finit comment une \u00e9valuation est conduite et ce qui constitue un r\u00e9sultat acceptable.<\/p>\n<\/div>\n\n\n\n<div class=\"cf-section\">\n <div class=\"cf-section-label\">01 \u2014 Approche<\/div>\n <h2>V\u00e9rification formelle <em>m\u00e9canis\u00e9e<\/em><\/h2>\n <p class=\"cf-lead\">\n Le CFVL s’appuie exclusivement sur des m\u00e9thodes de v\u00e9rification formelle m\u00e9canis\u00e9e \u2014\n c’est-\u00e0-dire des preuves v\u00e9rifi\u00e9es par un noyau de confiance logiciel (kernel LCF),\n et non par un humain seul.\n <\/p>\n <p class=\"cf-prose\">\n Cette approche se distingue de l’audit conventionnel, de la revue de code manuelle\n et des tests : elle ne cherche pas \u00e0 trouver des bugs, mais \u00e0 prouver leur absence\n pour un ensemble de propri\u00e9t\u00e9s formellement sp\u00e9cifi\u00e9es.\n <\/p>\n <div class=\"cf-quote\">\n Un test peut montrer la pr\u00e9sence d’un bug, jamais son absence.<br>\n Une preuve formelle peut d\u00e9montrer l’absence d’une classe enti\u00e8re de d\u00e9fauts.\n <div style=\"font-size:0.85rem;margin-top:0.5rem;color:var(--gray)\">\u2014 Edsger Dijkstra (reformul\u00e9)<\/div>\n <\/div>\n<\/div>\n\n\n<div class=\"cf-band-dark\">\n <div class=\"cf-inner\">\n <div class=\"cf-section-label\">02 \u2014 Outils de r\u00e9f\u00e9rence<\/div>\n <h2 style=\"color:#fff !important\">Stack <em style=\"color:var(--ice)\">de v\u00e9rification<\/em><\/h2>\n <p class=\"cf-lead\">\n Chaque outil est s\u00e9lectionn\u00e9 pour son noyau de confiance (LCF kernel),\n sa maturit\u00e9 industrielle et sa compatibilit\u00e9 avec les composants cibles.\n <\/p>\n <div class=\"cf-article-grid\">\n <div class=\"cf-article-card\">\n <h3>Isabelle\/HOL<\/h3>\n <p>Proof assistant principal. Noyau LCF v\u00e9rifi\u00e9. Utilis\u00e9 pour les preuves de raffinement,\n non-interf\u00e9rence et propri\u00e9t\u00e9s d’isolation (tradition seL4\/L4.verified).<\/p>\n <span class=\"cf-badge cf-badge-active\">PRIMAIRE<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>Coq<\/h3>\n <p>Proof assistant compl\u00e9mentaire. Calcul des constructions inductives.\n Extraction de code certifi\u00e9. Utilis\u00e9 pour les propri\u00e9t\u00e9s algorithmiques et cryptographiques.<\/p>\n <span class=\"cf-badge cf-badge-active\">PRIMAIRE<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>Frama-C \/ WP<\/h3>\n <p>V\u00e9rification de code C par preuve d\u00e9ductive (plugin WP + SMT solvers).\n Contrats ACSL. Cible : impl\u00e9mentations bas niveau des composants TCB.<\/p>\n <span class=\"cf-badge cf-badge-active\">PRIMAIRE<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>TLA+ \/ TLC<\/h3>\n <p>Model checker pour les propri\u00e9t\u00e9s de syst\u00e8mes concurrents.\n Sp\u00e9cification de protocoles de gouvernance et propri\u00e9t\u00e9s de vivacit\u00e9.<\/p>\n <span class=\"cf-badge cf-badge-doc\">COMPL\u00c9MENTAIRE<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>CompCert<\/h3>\n <p>Compilateur C formellement v\u00e9rifi\u00e9 (INRIA).\n Garantie que la compilation ne casse pas les propri\u00e9t\u00e9s prouv\u00e9es au niveau source.<\/p>\n <span class=\"cf-badge cf-badge-doc\">INT\u00c9GRATION<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>ProVerif \/ Tamarin<\/h3>\n <p>V\u00e9rification automatique de protocoles cryptographiques.\n Propri\u00e9t\u00e9s de confidentialit\u00e9, authenticit\u00e9, non-rejouabilit\u00e9.<\/p>\n <span class=\"cf-badge cf-badge-doc\">COMPL\u00c9MENTAIRE<\/span>\n <\/div>\n <\/div>\n <\/div>\n<\/div>\n\n\n<div class=\"cf-section\">\n <div class=\"cf-section-label\">03 \u2014 Crit\u00e8res d’acceptation<\/div>\n <h2>Seuils de <em>conformit\u00e9<\/em><\/h2>\n <p class=\"cf-lead\">\n Un livrable est \u00e9valu\u00e9 selon les crit\u00e8res suivants. Tout manquement entra\u00eene\n un avis \u00ab Non conforme \u00bb ou \u00ab Conforme avec r\u00e9serves \u00bb.\n <\/p>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.01<\/div>\n <div>\n <h3>Compl\u00e9tude des preuves<\/h3>\n <p>Toutes les sessions de preuve terminent sans erreur. Invariant strict :\n 0 sorry (Isabelle), 0 Admitted (Coq), 0 timeout, 0 FAIL.\n Aucune preuve partielle n’est accept\u00e9e.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.02<\/div>\n <div>\n <h3>Couverture SFR<\/h3>\n <p>Chaque exigence de s\u00e9curit\u00e9 fonctionnelle (Security Functional Requirement)\n doit \u00eatre trac\u00e9e vers au moins un th\u00e9or\u00e8me formellement prouv\u00e9.\n La cartographie SFR \u2192 th\u00e9or\u00e8mes est obligatoire.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.03<\/div>\n <div>\n <h3>Reproductibilit\u00e9<\/h3>\n <p>Le build de v\u00e9rification doit \u00eatre reproductible bit-\u00e0-bit avec les versions\n d’outils document\u00e9es. Le CFVL publie les commandes exactes, les hash SHA-256\n des artefacts et les temps de compilation de r\u00e9f\u00e9rence.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.04<\/div>\n <div>\n <h3>Documentation des lacunes<\/h3>\n <p>Ce qui n’est pas couvert est explicitement document\u00e9 : hypoth\u00e8ses non v\u00e9rifiables,\n simplifications du mod\u00e8le, propri\u00e9t\u00e9s hors p\u00e9rim\u00e8tre. Le rapport est transparent\n sur ce qu’il ne prouve pas.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.05<\/div>\n <div>\n <h3>Version tagg\u00e9e<\/h3>\n <p>Le livrable \u00e9valu\u00e9 doit \u00eatre identifi\u00e9 par un tag Git unique et un hash SHA-256.\n Le rapport d’\u00e9valuation est li\u00e9 \u00e0 cette version pr\u00e9cise \u2014 aucune r\u00e9troactivit\u00e9.<\/p>\n <\/div>\n <\/div>\n<\/div>\n\n\n<div class=\"cf-band-dark\">\n <div class=\"cf-inner\">\n <div class=\"cf-section-label\">04 \u2014 Processus d’\u00e9valuation<\/div>\n <h2 style=\"color:#fff !important\">Sept \u00e9tapes <em style=\"color:var(--ice)\">standardis\u00e9es<\/em><\/h2>\n <p class=\"cf-lead\">\n Ce processus s’applique ind\u00e9pendamment de la nature ou de l’origine du livrable.\n <\/p>\n <div class=\"cf-article-grid\" style=\"grid-template-columns:1fr\">\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">1<\/span>\n <div><h3>R\u00e9ception<\/h3><p>Le livrable est soumis avec sa sp\u00e9cification, ses preuves, et l’identification de version (tag + hash).<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">2<\/span>\n <div><h3>Recompilation<\/h3><p>Toutes les preuves sont recompil\u00e9es avec les versions d’outils document\u00e9es. V\u00e9rification que les sessions terminent sans erreur.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">3<\/span>\n <div><h3>V\u00e9rification des invariants<\/h3><p>Tous les invariants d\u00e9clar\u00e9s sont v\u00e9rifi\u00e9s m\u00e9caniquement : 0 sorry, 0 Admitted, 0 FAIL, 0 timeout.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">4<\/span>\n <div><h3>Couverture des exigences<\/h3><p>Chaque exigence de s\u00e9curit\u00e9 (SFR) est trac\u00e9e vers au moins un th\u00e9or\u00e8me prouv\u00e9. La cartographie est produite.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">5<\/span>\n <div><h3>Documentation des lacunes<\/h3><p>Ce qui n’est pas couvert est explicitement document\u00e9 : lacunes, hypoth\u00e8ses non v\u00e9rifiables, simplifications.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">6<\/span>\n <div><h3>Avis formel<\/h3><p>Le CFVL \u00e9met son avis : <strong style=\"color:var(--green)\">Conforme<\/strong>, <strong style=\"color:var(--orange)\">Conforme avec r\u00e9serves<\/strong>, ou <strong style=\"color:#C0392B\">Non conforme<\/strong>.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">7<\/span>\n <div><h3>Rapport sign\u00e9<\/h3><p>Rapport d’\u00e9valuation engageant le CFVL, version tagg\u00e9e, SHA-256 document\u00e9. Archivage PRISM\u2122.<\/p><\/div>\n <\/div>\n <\/div>\n <\/div>\n<\/div>\n\n\n<div class=\"cf-section\">\n <div class=\"cf-section-label\">05 \u2014 Types d’avis<\/div>\n <h2>Trois verdicts <em>possibles<\/em><\/h2>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\" style=\"color:var(--green)\">\u25cf<\/div>\n <div>\n <h3>Conforme<\/h3>\n <p>Toutes les propri\u00e9t\u00e9s de s\u00e9curit\u00e9 d\u00e9clar\u00e9es sont formellement prouv\u00e9es.\n Couverture SFR compl\u00e8te. Aucune lacune non document\u00e9e.\n Le livrable peut \u00eatre int\u00e9gr\u00e9 dans le cycle de release.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\" style=\"color:var(--orange)\">\u25cf<\/div>\n <div>\n <h3>Conforme avec r\u00e9serves<\/h3>\n <p>Les propri\u00e9t\u00e9s principales sont prouv\u00e9es, mais des lacunes identifi\u00e9es subsistent.\n Les r\u00e9serves sont explicitement list\u00e9es avec un plan de rem\u00e9diation.\n Int\u00e9gration possible sous conditions document\u00e9es.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\" style=\"color:#C0392B\">\u25cf<\/div>\n <div>\n <h3>Non conforme<\/h3>\n <p>Des preuves \u00e9chouent, sont incompl\u00e8tes ou absentes.\n Le livrable ne peut pas \u00eatre int\u00e9gr\u00e9. Aucune release sous avis n\u00e9gatif.\n Un nouveau cycle d’\u00e9valuation est requis apr\u00e8s correction.<\/p>\n <\/div>\n <\/div>\n<\/div>\n\n\n\n<div class=\"cf-section\" style=\"text-align:center; padding: 3rem 2rem;\">\n <p style=\"font-family:var(--mono);font-size:0.72rem;color:var(--gray);letter-spacing:0.1em\">\n CFVL-DOC-002 \u00b7 M\u00e9thodologie \u00b7 Version 1.0 \u00b7 F\u00e9vrier 2026\n <\/p>\n<\/div>\n\n\n<div class=\"cf-footer\">\n <div class=\"cf-inner\">\n <div>\n <div class=\"cf-footer-brand\">CFVL<span>.<\/span><\/div>\n <p>CORTEX Formal Verification Laboratory<br>\n Autorit\u00e9 interne de validation formelle<br>\n Rattachement : CORTEX AI TM<\/p>\n <\/div>\n <div>\n <h4>Cadre<\/h4>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-charte\/\">Charte du laboratoire<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-methodologie\/\">M\u00e9thodologie<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-journal-rd\/\">Journal R&D<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-template-rapport\/\">Template rapport<\/a>\n <\/div>\n <div>\n <h4>Recherche<\/h4>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-axes-scientifiques\/\">Axes scientifiques<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-publications\/\">Publications<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-collaborations\/\">Collaborations<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-contact-academique\/\">Contact acad\u00e9mique<\/a>\n <\/div>\n <\/div>\n \n <div style=\"border-top:1px solid rgba(184,212,240,0.08);padding:1.2rem 0;display:flex;justify-content:center;flex-wrap:wrap;gap:1.5rem 2.5rem;margin-top:1rem\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>IA expliqu\u00e9e simplement<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>Investisseurs & partenaires<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>Industriels & int\u00e9grateurs<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>D\u00e9cideurs publics & autorit\u00e9s<\/a>\n <\/div>\n <div class=\"cf-footer-bottom\">\n <span>\u00a9 2026 CORTEX AI TM \u2014 CFVL \u2014 Tous droits r\u00e9serv\u00e9s<\/span>\n <div class=\"cf-footer-legal\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/781-2\/\">Mentions l\u00e9gales<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/784-2\/\">Confidentialit\u00e9<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/791-2\/\">CGU<\/a>\n <\/div>\n <\/div>\n<\/div>\n\n\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Menu \u2014 Cortex ORIGIN\u2122 CORTEX ORIGIN\u2122 Architecture \u25be Socle critique (TCB) CORTEX ORIGIN\u2122 \u2014 Vue d’ensemble Cortex Core\u2122 OMEGA\u2122 \u2014 Gouvernance PRISM\u2122 \u2014 Preuve AEGIS\u2122 \u2014 Ex\u00e9cution FULCRUM\u2122 S\u00e9curit\u00e9 & Confinement SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active WALL-DOME\u2122 \u2014 Confinement CERB\u00c8RE\u2122 Decision Guard\u2122 Interface & Orchestration AVA\u2122 & CPL\u2122 \u2014 Interface Multi LCM \/ TRM Engine\u2122 TRM […]<\/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-827","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/827","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=827"}],"version-history":[{"count":6,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/827\/revisions"}],"predecessor-version":[{"id":1058,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/827\/revisions\/1058"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=827"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}

{"id":827,"date":"2026-02-25T08:10:48","date_gmt":"2026-02-25T08:10:48","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=827"},"modified":"2026-03-13T08:57:06","modified_gmt":"2026-03-13T08:57:06","slug":"827-2","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/827-2\/","title":{"rendered":""},"content":{"rendered":"\n\n\n\n\n\nMenu \u2014 Cortex ORIGIN\u2122<\/title>\n<link href=\"https:\/\/fonts.googleapis.com\/css2?family=DM+Sans:wght@400;500;600;700&family=JetBrains+Mono:wght@400;500&display=swap\" rel=\"stylesheet\">\n<style>\n\/* \u2550\u2550\u2550 RESET \u2550\u2550\u2550 *\/\n*, *::before, *::after { box-sizing: border-box; margin: 0; padding: 0; }\nbody { font-family: 'DM Sans', sans-serif; background: #F4F0EB; }\n\n\/* \u2550\u2550\u2550 NAV CONTAINER \u2550\u2550\u2550 *\/\n.nav {\n background: #0C1829;\n position: sticky; top: 0; z-index: 1000;\n box-shadow: 0 2px 20px rgba(0,0,0,0.3);\n}\n.nav-inner {\n max-width: 1260px; margin: 0 auto;\n display: flex; align-items: center; justify-content: space-between;\n padding: 0 1.5rem; height: 56px;\n}\n\n\/* \u2550\u2550\u2550 LOGO \u2550\u2550\u2550 *\/\n.nav-logo {\n font-family: 'DM Sans', sans-serif; font-weight: 700; font-size: 0.95rem;\n color: #fff; letter-spacing: 0.03em; text-decoration: none; white-space: nowrap;\n flex-shrink: 0;\n}\n.nav-logo span { color: #C9A96E; }\n\n\/* \u2550\u2550\u2550 HAMBURGER \u2550\u2550\u2550 *\/\n.nav-toggle {\n display: none; background: none; border: none; cursor: pointer;\n width: 32px; height: 32px; position: relative; z-index: 1100;\n}\n.nav-toggle span {\n display: block; width: 22px; height: 2px; background: #B8D4F0;\n position: absolute; left: 5px; transition: all 0.3s ease;\n}\n.nav-toggle span:nth-child(1) { top: 9px; }\n.nav-toggle span:nth-child(2) { top: 15px; }\n.nav-toggle span:nth-child(3) { top: 21px; }\n.nav-toggle.active span:nth-child(1) { top: 15px; transform: rotate(45deg); }\n.nav-toggle.active span:nth-child(2) { opacity: 0; }\n.nav-toggle.active span:nth-child(3) { top: 15px; transform: rotate(-45deg); }\n\n\/* \u2550\u2550\u2550 DESKTOP MENU \u2550\u2550\u2550 *\/\n.nav-menu {\n display: flex; align-items: center; gap: 0; list-style: none;\n}\n.nav-menu > li {\n position: relative;\n}\n.nav-menu > li > .nav-link {\n display: flex; align-items: center; gap: 0.3rem;\n padding: 0 0.9rem; height: 56px; line-height: 56px;\n font-size: 0.8rem; font-weight: 500; color: rgba(184,212,240,0.7);\n text-decoration: none; cursor: pointer; transition: color 0.2s;\n white-space: nowrap; border: none; background: none;\n font-family: inherit;\n}\n.nav-menu > li > .nav-link:hover,\n.nav-menu > li:hover > .nav-link { color: #fff; }\n.nav-link .arrow {\n font-size: 0.55rem; opacity: 0.5; transition: transform 0.2s;\n}\n.nav-menu > li:hover .arrow { transform: rotate(180deg); }\n\n\/* \u2550\u2550\u2550 CTA BUTTON \u2550\u2550\u2550 *\/\n.nav-cta {\n font-family: 'JetBrains Mono', monospace; font-size: 0.62rem; font-weight: 500;\n letter-spacing: 0.08em; text-transform: uppercase;\n padding: 0.45rem 1.1rem; border-radius: 2px; margin-left: 0.5rem;\n background: rgba(201,169,110,0.15); color: #C9A96E;\n border: 1px solid rgba(201,169,110,0.3);\n text-decoration: none; transition: all 0.3s; white-space: nowrap;\n}\n.nav-cta:hover { background: rgba(201,169,110,0.25); color: #fff; }\n\n\/* \u2550\u2550\u2550 DROPDOWN (standard) \u2550\u2550\u2550 *\/\n.dropdown {\n display: none; position: absolute; top: 100%; left: 0;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.12);\n border-top: 2px solid #C9A96E; border-radius: 0 0 6px 6px;\n min-width: 300px; padding: 0.6rem 0; z-index: 200;\n box-shadow: 0 16px 48px rgba(0,0,0,0.45);\n}\n.nav-menu > li:hover > .dropdown { display: block; }\n.dropdown a {\n display: block; padding: 0.45rem 1.4rem; font-size: 0.78rem;\n color: rgba(184,212,240,0.55); text-decoration: none;\n transition: all 0.15s; line-height: 1.5;\n}\n.dropdown a:hover { color: #fff; background: rgba(74,144,217,0.07); }\n.drop-label {\n font-family: 'JetBrains Mono', monospace; font-size: 0.56rem; font-weight: 600;\n letter-spacing: 0.14em; color: #C9A96E; text-transform: uppercase;\n padding: 0.5rem 1.4rem 0.2rem; display: block;\n}\n.drop-sep {\n border: none; border-top: 1px solid rgba(74,144,217,0.07);\n margin: 0.4rem 1.4rem;\n}\n\n\/* \u2550\u2550\u2550 MEGA DROPDOWN (Architecture) \u2550\u2550\u2550 *\/\n.mega-dropdown {\n display: none; position: absolute; top: 100%; left: -60px;\n background: #0C1829; border: 1px solid rgba(74,144,217,0.12);\n border-top: 2px solid #C9A96E; border-radius: 0 0 6px 6px;\n width: 620px; padding: 1.2rem 1.4rem; z-index: 200;\n box-shadow: 0 16px 48px rgba(0,0,0,0.45);\n}\n.nav-menu > li:hover > .mega-dropdown { display: block; }\n.mega-cols { display: grid; grid-template-columns: 1fr 1fr; gap: 0 1.8rem; }\n.mega-col .drop-label { padding: 0 0 0.2rem; }\n.mega-col a {\n display: block; padding: 0.3rem 0; font-size: 0.76rem;\n color: rgba(184,212,240,0.55); text-decoration: none; transition: color 0.15s;\n}\n.mega-col a:hover { color: #fff; }\n.mega-col .drop-sep { margin: 0.4rem 0; }\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\n RESPONSIVE \u2014 MOBILE (< 1024px)\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 *\/\n@media (max-width: 1023px) {\n .nav-toggle { display: block; }\n\n .nav-menu {\n display: none; flex-direction: column; align-items: stretch;\n position: fixed; top: 56px; left: 0; right: 0; bottom: 0;\n background: #0C1829; overflow-y: auto; padding: 0.5rem 0 2rem;\n -webkit-overflow-scrolling: touch;\n }\n .nav-menu.open { display: flex; }\n\n \/* Top-level items *\/\n .nav-menu > li { border-bottom: 1px solid rgba(74,144,217,0.08); }\n .nav-menu > li > .nav-link {\n height: auto; line-height: 1; padding: 1rem 1.5rem;\n font-size: 0.9rem; justify-content: space-between; width: 100%;\n }\n .nav-link .arrow { font-size: 0.7rem; transition: transform 0.3s; }\n .nav-menu > li.sub-open .arrow { transform: rotate(180deg); }\n\n \/* Disable hover on mobile \u2014 use click *\/\n .nav-menu > li:hover > .dropdown,\n .nav-menu > li:hover > .mega-dropdown { display: none; }\n .nav-menu > li.sub-open > .dropdown,\n .nav-menu > li.sub-open > .mega-dropdown { display: block; }\n\n \/* Dropdown resets for mobile *\/\n .dropdown, .mega-dropdown {\n position: static; width: 100% !important;\n border: none; border-top: none; border-radius: 0;\n box-shadow: none; padding: 0 0 0.5rem;\n background: rgba(12,24,41,0.6);\n }\n .mega-dropdown { padding: 0.5rem 0; }\n .dropdown a { padding: 0.6rem 2rem; font-size: 0.82rem; }\n .drop-label { padding: 0.6rem 2rem 0.2rem; font-size: 0.58rem; }\n .drop-sep { margin: 0.3rem 2rem; }\n\n \/* Mega cols \u2192 single column on mobile *\/\n .mega-cols { grid-template-columns: 1fr; gap: 0; }\n .mega-col a { padding: 0.5rem 2rem; font-size: 0.82rem; }\n .mega-col .drop-label { padding: 0.6rem 2rem 0.2rem; }\n .mega-col .drop-sep { margin: 0.3rem 2rem; }\n\n \/* CTA full width *\/\n .nav-cta {\n display: block; margin: 1rem 1.5rem 0; text-align: center;\n padding: 0.8rem; font-size: 0.72rem;\n }\n}\n\n\/* \u2550\u2550\u2550 Tablet tweaks (768\u20131023) \u2550\u2550\u2550 *\/\n@media (min-width: 768px) and (max-width: 1023px) {\n .mega-cols { grid-template-columns: 1fr 1fr; }\n .mega-col a { padding: 0.5rem 1.5rem; }\n}\n\n\/* \u2550\u2550\u2550 BODY LOCK when menu open \u2550\u2550\u2550 *\/\nbody.menu-locked { overflow: hidden; }\n<\/style>\n<\/head>\n<body>\n\n\n<nav class=\"nav\">\n <div class=\"nav-inner\">\n\n \n <a href=\"https:\/\/cortexorigin.com\/\" class=\"nav-logo\">CORTEX <span>ORIGIN\u2122<\/span><\/a>\n\n \n <button class=\"nav-toggle\" id=\"navToggle\" aria-label=\"Menu\">\n <span><\/span><span><\/span><span><\/span>\n <\/button>\n\n \n <ul class=\"nav-menu\" id=\"navMenu\">\n\n \n <li>\n <button class=\"nav-link\">Architecture <span class=\"arrow\">\u25be<\/span><\/button>\n <div class=\"mega-dropdown\">\n <div class=\"mega-cols\">\n <div class=\"mega-col\">\n <span class=\"drop-label\">Socle critique (TCB)<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/larchitecture-cortex-origin\/\">CORTEX ORIGIN\u2122 \u2014 Vue d’ensemble<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-core\/\">Cortex Core\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/omega-gouvernance-decisionnelle\/\">OMEGA\u2122 \u2014 Gouvernance<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/180-2\/\">PRISM\u2122 \u2014 Preuve<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-aegis\/\">AEGIS\u2122 \u2014 Ex\u00e9cution<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-fulcrum\/\">FULCRUM\u2122<\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">S\u00e9curit\u00e9 & Confinement<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/sentinel-securite-active-et-gouvernance-des-signaux\/\">SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/wall-dome-les-4-formules-de-confinement-et-gouvernance-runtime\/\">WALL-DOME\u2122 \u2014 Confinement<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cerbere\/\">CERB\u00c8RE\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cerbere-decision-guard\/\">Decision Guard\u2122<\/a>\n <\/div>\n <div class=\"mega-col\">\n <span class=\"drop-label\">Interface & Orchestration<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/ava-cpl\/\">AVA\u2122 & CPL\u2122 \u2014 Interface<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/multi-lcm-trm-engine-orchestration-gouvernee-multi-modeles-ia\/\">Multi LCM \/ TRM Engine\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/trm-contrain-nano\/\">TRM Contrain Nano\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-ecoflux\/\">EcoFlux\u2122 \u2014 Frugalit\u00e9<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/morph-gates\/\">MORPH GATES\u2122 \u2014 CI\/CD<\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Capacit\u00e9s avanc\u00e9es<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-quantum-ready\/\">Quantum-Ready\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-cyber-orion-3\/\">CYBER-ORION\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-labcode\/\">LabCode\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-chameleon\/\">CHAMELEON\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-mirror-lab\/\">MIRROR LAB\u2122<\/a>\n <\/div>\n <\/div>\n <\/div>\n <\/li>\n\n \n <li>\n <button class=\"nav-link\">Applications <span class=\"arrow\">\u25be<\/span><\/button>\n <div class=\"dropdown\">\n <span class=\"drop-label\">Verticales technologiques<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/imcortex-2\/\">IMCORTEX\u2122 \u0394IMC \u2014 Architecture cognitive<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/space-ai-autonomie-gouvernee\/\">Space AI \u2014 Autonomie gouvern\u00e9e<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/quantum-assurance-architecture-quantum-ready\/\">Quantum Assurance<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/wall-dome-drones-systemes-autonomes\/\">Drones & Syst\u00e8mes autonomes<\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">IAG par secteur<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-banque-la-finance-les-oiv\/\">Banque, Finance & OIV<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense & Cybers\u00e9curit\u00e9<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat & R\u00e9galien<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/592-2\/\">Tous les secteurs<\/a>\n <\/div>\n <\/li>\n\n \n <li>\n <button class=\"nav-link\">V\u00e9rification <span class=\"arrow\">\u25be<\/span><\/button>\n <div class=\"dropdown\">\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 <hr class=\"drop-sep\">\n <span class=\"drop-label\">Recherche<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/604-2\/\">Cortex AGI Exp\u00e9rimental<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-2\/\">MVP CORTEX\u2122<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\">IA expliqu\u00e9e simplement<\/a>\n <\/div>\n <\/li>\n\n \n <li>\n <button class=\"nav-link\">Secteurs <span class=\"arrow\">\u25be<\/span><\/button>\n <div class=\"dropdown\">\n <span class=\"drop-label\">Audiences<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\">Investisseurs & partenaires<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\">Industriels & int\u00e9grateurs<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\">D\u00e9cideurs publics & autorit\u00e9s<\/a>\n <hr class=\"drop-sep\">\n <span class=\"drop-label\">Packs Applications (paC)<\/span>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-banque-la-finance-les-oiv\/\">Finance & Banque<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense & Cyber<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat & R\u00e9galien<\/a>\n <\/div>\n <\/li>\n\n \n <li>\n <a class=\"nav-link\" href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL<\/a>\n <\/li>\n\n \n <li>\n <a class=\"nav-cta\" href=\"mailto:press@cortexorigin.com\">Contact<\/a>\n <\/li>\n\n <\/ul>\n <\/div>\n<\/nav>\n\n\n<script>\n(function(){\n const toggle = document.getElementById('navToggle');\n const menu = document.getElementById('navMenu');\n const body = document.body;\n\n \/\/ Hamburger open\/close\n toggle.addEventListener('click', function(){\n this.classList.toggle('active');\n menu.classList.toggle('open');\n body.classList.toggle('menu-locked');\n });\n\n \/\/ Sub-menu accordion on mobile (click to open\/close)\n const items = menu.querySelectorAll(':scope > li');\n items.forEach(function(li){\n const btn = li.querySelector('button.nav-link');\n if (!btn) return; \/\/ skip CFVL & CTA (they are <a> not <button>)\n btn.addEventListener('click', function(e){\n if (window.innerWidth >= 1024) return; \/\/ desktop uses hover\n e.preventDefault();\n \/\/ Close other open items\n items.forEach(function(other){\n if (other !== li) other.classList.remove('sub-open');\n });\n li.classList.toggle('sub-open');\n });\n });\n\n \/\/ Close mobile menu when clicking a link\n menu.querySelectorAll('a').forEach(function(a){\n a.addEventListener('click', function(){\n if (window.innerWidth >= 1024) return;\n toggle.classList.remove('active');\n menu.classList.remove('open');\n body.classList.remove('menu-locked');\n });\n });\n\n \/\/ Reset on resize\n window.addEventListener('resize', function(){\n if (window.innerWidth >= 1024) {\n toggle.classList.remove('active');\n menu.classList.remove('open');\n body.classList.remove('menu-locked');\n items.forEach(function(li){ li.classList.remove('sub-open'); });\n }\n });\n})();\n<\/script>\n\n<\/body>\n<\/html>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n\n\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=EB+Garamond:ital,wght@0,400;0,500;0,600;0,700;1,400;1,500&family=JetBrains+Mono:wght@400;500;600&family=DM+Sans:wght@300;400;500;600;700&display=swap');\n\n.cf-page {\n --navy: #0C1829; --navy-mid: #162240; --navy-light: #1E3055;\n --slate: #2A3F5F; --blue: #4A90D9; --ice: #B8D4F0;\n --cream: #F4F0EB; --white: #FAFAF8; --gray: #8C9BAF;\n --gold: #C9A96E; --green: #27AE60; --orange: #D4872C;\n --serif: 'EB Garamond', 'Georgia', serif;\n --sans: 'DM Sans', 'Helvetica Neue', sans-serif;\n --mono: 'JetBrains Mono', 'Consolas', monospace;\n font-family: var(--sans); color: var(--navy);\n -webkit-font-smoothing: antialiased; line-height: 1.6;\n max-width: 100%; overflow-x: hidden; margin: 0; padding: 0;\n}\n.cf-page *, .cf-page *::before, .cf-page *::after { box-sizing: border-box; }\n.cf-page h1,.cf-page h2,.cf-page h3,.cf-page h4,.cf-page p,.cf-page ul,.cf-page li { margin:0;padding:0;font-weight:normal;list-style:none; }\n.cf-page a { text-decoration: none; }\n\n\/* HERO *\/\n.cf-hero {\n background: var(--navy); padding: 7rem 2rem 5rem;\n text-align: center; position: relative;\n}\n.cf-hero::after {\n content:''; position:absolute; bottom:0; left:0; right:0; height:1px;\n background: linear-gradient(90deg, transparent, var(--blue), var(--gold), var(--blue), transparent);\n opacity: 0.4;\n}\n.cf-hero-label {\n font-family: var(--mono); font-size: 0.72rem; letter-spacing: 0.35em;\n color: var(--gold); text-transform: uppercase; margin-bottom: 1.5rem;\n}\n.cf-hero h1 {\n font-family: var(--serif) !important;\n font-size: clamp(2.2rem, 5vw, 3.6rem) !important;\n font-weight: 400 !important; color: var(--white) !important;\n line-height: 1.12 !important; margin-bottom: 1rem !important;\n}\n.cf-hero h1 em { font-style: italic; color: var(--ice); }\n.cf-hero-sub {\n font-size: 1.05rem; font-weight: 300; color: var(--gray);\n line-height: 1.75; max-width: 640px; margin: 0 auto;\n}\n.cf-back {\n display: inline-flex; align-items: center; gap: 0.5rem;\n font-family: var(--mono); font-size: 0.72rem; color: var(--blue);\n letter-spacing: 0.1em; margin-bottom: 2rem;\n transition: color 0.3s;\n}\n.cf-back:hover { color: var(--ice); }\n\n\/* SECTIONS *\/\n.cf-section { padding: 5rem 2rem; max-width: 1000px; margin: 0 auto; }\n.cf-section-label {\n font-family: var(--mono); font-size: 0.68rem; letter-spacing: 0.3em;\n color: var(--blue); text-transform: uppercase; margin-bottom: 1rem;\n}\n.cf-page h2 {\n font-family: var(--serif) !important;\n font-size: clamp(1.7rem, 3.5vw, 2.4rem) !important;\n font-weight: 400 !important; color: var(--navy) !important;\n line-height: 1.2 !important; margin-bottom: 1.4rem !important;\n}\n.cf-page h2 em { font-style: italic; color: var(--slate); }\n.cf-page h3 {\n font-family: var(--sans) !important; font-size: 1rem !important;\n font-weight: 600 !important; color: var(--navy) !important;\n margin-bottom: 0.6rem !important;\n}\n.cf-lead { font-size: 1.02rem; line-height: 1.8; color: #4A5568; max-width: 720px; margin-bottom: 2.5rem; }\n.cf-prose { font-size: 0.95rem; line-height: 1.8; color: #4A5568; max-width: 760px; margin-bottom: 1.5rem; }\n\n\/* DARK BAND *\/\n.cf-band-dark {\n background: var(--navy); padding: 5rem 2rem; position: relative;\n}\n.cf-band-dark::before {\n content:''; position:absolute; top:0; left:0; right:0; height:1px;\n background: linear-gradient(90deg, transparent, var(--blue), transparent); opacity:0.3;\n}\n.cf-band-dark .cf-inner { max-width: 1000px; margin: 0 auto; }\n.cf-band-dark h2 { color: var(--white) !important; }\n.cf-band-dark .cf-lead { color: var(--gray); }\n.cf-band-dark .cf-section-label { color: var(--gold); }\n.cf-band-dark h3 { color: var(--ice) !important; }\n.cf-band-dark p { color: var(--gray); }\n\n\/* ARTICLE CARDS *\/\n.cf-article-grid {\n display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));\n gap: 1.5rem; margin-top: 2rem;\n}\n.cf-article-card {\n border: 1px solid rgba(74,144,217,0.15); border-radius: 2px;\n padding: 1.8rem; background: rgba(30,48,85,0.3);\n transition: border-color 0.3s;\n}\n.cf-article-card:hover { border-color: rgba(201,169,110,0.4); }\n.cf-article-card h3 { color: var(--ice) !important; font-size: 0.95rem !important; margin-bottom: 0.4rem !important; }\n.cf-article-card p { color: var(--gray); font-size: 0.87rem; line-height: 1.65; }\n\n\/* PRINCIPLE ROW *\/\n.cf-principle-row {\n display: grid; grid-template-columns: 3.5rem 1fr;\n gap: 1rem; align-items: start; margin-bottom: 2rem;\n}\n.cf-principle-num {\n font-family: var(--mono); font-size: 0.68rem;\n color: var(--gold); letter-spacing: 0.1em; padding-top: 0.3rem;\n}\n.cf-principle-row h3 { margin-bottom: 0.3rem !important; }\n.cf-principle-row p { font-size: 0.9rem; line-height: 1.7; color: #4A5568; }\n\n\/* QUOTE *\/\n.cf-quote {\n background: var(--cream); border-left: 3px solid var(--gold);\n padding: 2rem 2.5rem; margin: 2.5rem 0;\n font-family: var(--serif); font-size: 1.15rem; line-height: 1.7; color: var(--navy);\n}\n\n\/* BADGE *\/\n.cf-badge {\n display: inline-block; font-family: var(--mono); font-size: 0.62rem;\n padding: 0.15em 0.55em; border-radius: 1px; letter-spacing: 0.05em;\n}\n.cf-badge-active { background: rgba(39,174,96,0.1); color: var(--green); border: 1px solid rgba(39,174,96,0.2); }\n.cf-badge-doc { background: rgba(74,144,217,0.1); color: var(--blue); border: 1px solid rgba(74,144,217,0.2); }\n\n\/* FOOTER *\/\n.cf-footer {\n background: var(--navy); padding: 4rem 2rem 2rem; position: relative;\n}\n.cf-footer::before {\n content:''; position:absolute; top:0; left:0; right:0; height:1px;\n background: linear-gradient(90deg, transparent, var(--blue), var(--gold), var(--blue), transparent); opacity:0.3;\n}\n.cf-footer .cf-inner {\n max-width: 1000px; margin: 0 auto;\n display: grid; grid-template-columns: 1.5fr 1fr 1fr; gap: 3rem;\n}\n.cf-footer-brand {\n font-family: var(--mono); font-size: 1.3rem; font-weight: 600;\n color: var(--white); margin-bottom: 0.7rem;\n}\n.cf-footer-brand span { color: var(--gold); }\n.cf-footer p { font-size: 0.8rem; color: var(--gray); line-height: 1.65; }\n.cf-footer h4 {\n font-family: var(--mono) !important; font-size: 0.68rem !important;\n color: var(--gold) !important; letter-spacing: 0.2em !important;\n text-transform: uppercase; margin-bottom: 0.8rem !important;\n}\n.cf-footer a {\n display: block; font-size: 0.82rem; color: rgba(184,212,240,0.5);\n padding: 0.2rem 0; transition: color 0.3s;\n}\n.cf-footer a:hover { color: var(--ice); }\n.cf-footer-bottom {\n max-width: 1000px; margin: 2rem auto 0;\n padding-top: 1.5rem; border-top: 1px solid rgba(184,212,240,0.06);\n display: flex; justify-content: space-between; align-items: center;\n font-size: 0.72rem; color: rgba(140,155,175,0.4);\n}\n.cf-footer-legal { display: flex; gap: 1.2rem; }\n.cf-footer-legal a { display: inline; font-size: 0.72rem; color: rgba(140,155,175,0.4); padding: 0; }\n.cf-footer-legal a:hover { color: var(--gray); }\n\n@media (max-width: 768px) {\n .cf-footer .cf-inner { grid-template-columns: 1fr; gap: 1.5rem; }\n .cf-footer-bottom { flex-direction: column; text-align: center; gap: 0.5rem; }\n .cf-principle-row { grid-template-columns: 1fr; }\n}\n\n\n\/* FIX-HERO-CENTER *\/\n.cf-hero,\n.cf-hero * {\n text-align: center !important;\n margin-left: auto !important;\n margin-right: auto !important;\n}\n.cf-hero .cf-back {\n display: inline-flex !important;\n}\n<\/style>\n\n<div class=\"cf-page\">\n\n\n<div class=\"cf-hero\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\" class=\"cf-back\">\u2190 CFVL<\/a>\n <div class=\"cf-hero-label\">Document institutionnel<\/div>\n <h1>M\u00e9thodologie <em>formelle<\/em><\/h1>\n <p class=\"cf-hero-sub\">Outils, crit\u00e8res d’acceptation, seuils de rejet et processus d’\u00e9valuation du CFVL. Ce document d\u00e9finit comment une \u00e9valuation est conduite et ce qui constitue un r\u00e9sultat acceptable.<\/p>\n<\/div>\n\n\n\n<div class=\"cf-section\">\n <div class=\"cf-section-label\">01 \u2014 Approche<\/div>\n <h2>V\u00e9rification formelle <em>m\u00e9canis\u00e9e<\/em><\/h2>\n <p class=\"cf-lead\">\n Le CFVL s’appuie exclusivement sur des m\u00e9thodes de v\u00e9rification formelle m\u00e9canis\u00e9e \u2014\n c’est-\u00e0-dire des preuves v\u00e9rifi\u00e9es par un noyau de confiance logiciel (kernel LCF),\n et non par un humain seul.\n <\/p>\n <p class=\"cf-prose\">\n Cette approche se distingue de l’audit conventionnel, de la revue de code manuelle\n et des tests : elle ne cherche pas \u00e0 trouver des bugs, mais \u00e0 prouver leur absence\n pour un ensemble de propri\u00e9t\u00e9s formellement sp\u00e9cifi\u00e9es.\n <\/p>\n <div class=\"cf-quote\">\n Un test peut montrer la pr\u00e9sence d’un bug, jamais son absence.<br>\n Une preuve formelle peut d\u00e9montrer l’absence d’une classe enti\u00e8re de d\u00e9fauts.\n <div style=\"font-size:0.85rem;margin-top:0.5rem;color:var(--gray)\">\u2014 Edsger Dijkstra (reformul\u00e9)<\/div>\n <\/div>\n<\/div>\n\n\n<div class=\"cf-band-dark\">\n <div class=\"cf-inner\">\n <div class=\"cf-section-label\">02 \u2014 Outils de r\u00e9f\u00e9rence<\/div>\n <h2 style=\"color:#fff !important\">Stack <em style=\"color:var(--ice)\">de v\u00e9rification<\/em><\/h2>\n <p class=\"cf-lead\">\n Chaque outil est s\u00e9lectionn\u00e9 pour son noyau de confiance (LCF kernel),\n sa maturit\u00e9 industrielle et sa compatibilit\u00e9 avec les composants cibles.\n <\/p>\n <div class=\"cf-article-grid\">\n <div class=\"cf-article-card\">\n <h3>Isabelle\/HOL<\/h3>\n <p>Proof assistant principal. Noyau LCF v\u00e9rifi\u00e9. Utilis\u00e9 pour les preuves de raffinement,\n non-interf\u00e9rence et propri\u00e9t\u00e9s d’isolation (tradition seL4\/L4.verified).<\/p>\n <span class=\"cf-badge cf-badge-active\">PRIMAIRE<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>Coq<\/h3>\n <p>Proof assistant compl\u00e9mentaire. Calcul des constructions inductives.\n Extraction de code certifi\u00e9. Utilis\u00e9 pour les propri\u00e9t\u00e9s algorithmiques et cryptographiques.<\/p>\n <span class=\"cf-badge cf-badge-active\">PRIMAIRE<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>Frama-C \/ WP<\/h3>\n <p>V\u00e9rification de code C par preuve d\u00e9ductive (plugin WP + SMT solvers).\n Contrats ACSL. Cible : impl\u00e9mentations bas niveau des composants TCB.<\/p>\n <span class=\"cf-badge cf-badge-active\">PRIMAIRE<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>TLA+ \/ TLC<\/h3>\n <p>Model checker pour les propri\u00e9t\u00e9s de syst\u00e8mes concurrents.\n Sp\u00e9cification de protocoles de gouvernance et propri\u00e9t\u00e9s de vivacit\u00e9.<\/p>\n <span class=\"cf-badge cf-badge-doc\">COMPL\u00c9MENTAIRE<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>CompCert<\/h3>\n <p>Compilateur C formellement v\u00e9rifi\u00e9 (INRIA).\n Garantie que la compilation ne casse pas les propri\u00e9t\u00e9s prouv\u00e9es au niveau source.<\/p>\n <span class=\"cf-badge cf-badge-doc\">INT\u00c9GRATION<\/span>\n <\/div>\n <div class=\"cf-article-card\">\n <h3>ProVerif \/ Tamarin<\/h3>\n <p>V\u00e9rification automatique de protocoles cryptographiques.\n Propri\u00e9t\u00e9s de confidentialit\u00e9, authenticit\u00e9, non-rejouabilit\u00e9.<\/p>\n <span class=\"cf-badge cf-badge-doc\">COMPL\u00c9MENTAIRE<\/span>\n <\/div>\n <\/div>\n <\/div>\n<\/div>\n\n\n<div class=\"cf-section\">\n <div class=\"cf-section-label\">03 \u2014 Crit\u00e8res d’acceptation<\/div>\n <h2>Seuils de <em>conformit\u00e9<\/em><\/h2>\n <p class=\"cf-lead\">\n Un livrable est \u00e9valu\u00e9 selon les crit\u00e8res suivants. Tout manquement entra\u00eene\n un avis \u00ab Non conforme \u00bb ou \u00ab Conforme avec r\u00e9serves \u00bb.\n <\/p>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.01<\/div>\n <div>\n <h3>Compl\u00e9tude des preuves<\/h3>\n <p>Toutes les sessions de preuve terminent sans erreur. Invariant strict :\n 0 sorry (Isabelle), 0 Admitted (Coq), 0 timeout, 0 FAIL.\n Aucune preuve partielle n’est accept\u00e9e.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.02<\/div>\n <div>\n <h3>Couverture SFR<\/h3>\n <p>Chaque exigence de s\u00e9curit\u00e9 fonctionnelle (Security Functional Requirement)\n doit \u00eatre trac\u00e9e vers au moins un th\u00e9or\u00e8me formellement prouv\u00e9.\n La cartographie SFR \u2192 th\u00e9or\u00e8mes est obligatoire.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.03<\/div>\n <div>\n <h3>Reproductibilit\u00e9<\/h3>\n <p>Le build de v\u00e9rification doit \u00eatre reproductible bit-\u00e0-bit avec les versions\n d’outils document\u00e9es. Le CFVL publie les commandes exactes, les hash SHA-256\n des artefacts et les temps de compilation de r\u00e9f\u00e9rence.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.04<\/div>\n <div>\n <h3>Documentation des lacunes<\/h3>\n <p>Ce qui n’est pas couvert est explicitement document\u00e9 : hypoth\u00e8ses non v\u00e9rifiables,\n simplifications du mod\u00e8le, propri\u00e9t\u00e9s hors p\u00e9rim\u00e8tre. Le rapport est transparent\n sur ce qu’il ne prouve pas.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\">C.05<\/div>\n <div>\n <h3>Version tagg\u00e9e<\/h3>\n <p>Le livrable \u00e9valu\u00e9 doit \u00eatre identifi\u00e9 par un tag Git unique et un hash SHA-256.\n Le rapport d’\u00e9valuation est li\u00e9 \u00e0 cette version pr\u00e9cise \u2014 aucune r\u00e9troactivit\u00e9.<\/p>\n <\/div>\n <\/div>\n<\/div>\n\n\n<div class=\"cf-band-dark\">\n <div class=\"cf-inner\">\n <div class=\"cf-section-label\">04 \u2014 Processus d’\u00e9valuation<\/div>\n <h2 style=\"color:#fff !important\">Sept \u00e9tapes <em style=\"color:var(--ice)\">standardis\u00e9es<\/em><\/h2>\n <p class=\"cf-lead\">\n Ce processus s’applique ind\u00e9pendamment de la nature ou de l’origine du livrable.\n <\/p>\n <div class=\"cf-article-grid\" style=\"grid-template-columns:1fr\">\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">1<\/span>\n <div><h3>R\u00e9ception<\/h3><p>Le livrable est soumis avec sa sp\u00e9cification, ses preuves, et l’identification de version (tag + hash).<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">2<\/span>\n <div><h3>Recompilation<\/h3><p>Toutes les preuves sont recompil\u00e9es avec les versions d’outils document\u00e9es. V\u00e9rification que les sessions terminent sans erreur.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">3<\/span>\n <div><h3>V\u00e9rification des invariants<\/h3><p>Tous les invariants d\u00e9clar\u00e9s sont v\u00e9rifi\u00e9s m\u00e9caniquement : 0 sorry, 0 Admitted, 0 FAIL, 0 timeout.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">4<\/span>\n <div><h3>Couverture des exigences<\/h3><p>Chaque exigence de s\u00e9curit\u00e9 (SFR) est trac\u00e9e vers au moins un th\u00e9or\u00e8me prouv\u00e9. La cartographie est produite.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">5<\/span>\n <div><h3>Documentation des lacunes<\/h3><p>Ce qui n’est pas couvert est explicitement document\u00e9 : lacunes, hypoth\u00e8ses non v\u00e9rifiables, simplifications.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">6<\/span>\n <div><h3>Avis formel<\/h3><p>Le CFVL \u00e9met son avis : <strong style=\"color:var(--green)\">Conforme<\/strong>, <strong style=\"color:var(--orange)\">Conforme avec r\u00e9serves<\/strong>, ou <strong style=\"color:#C0392B\">Non conforme<\/strong>.<\/p><\/div>\n <\/div>\n <div class=\"cf-article-card\" style=\"display:grid;grid-template-columns:2.5rem 1fr;gap:1rem\">\n <span style=\"font-family:var(--mono);color:var(--gold);font-size:0.85rem\">7<\/span>\n <div><h3>Rapport sign\u00e9<\/h3><p>Rapport d’\u00e9valuation engageant le CFVL, version tagg\u00e9e, SHA-256 document\u00e9. Archivage PRISM\u2122.<\/p><\/div>\n <\/div>\n <\/div>\n <\/div>\n<\/div>\n\n\n<div class=\"cf-section\">\n <div class=\"cf-section-label\">05 \u2014 Types d’avis<\/div>\n <h2>Trois verdicts <em>possibles<\/em><\/h2>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\" style=\"color:var(--green)\">\u25cf<\/div>\n <div>\n <h3>Conforme<\/h3>\n <p>Toutes les propri\u00e9t\u00e9s de s\u00e9curit\u00e9 d\u00e9clar\u00e9es sont formellement prouv\u00e9es.\n Couverture SFR compl\u00e8te. Aucune lacune non document\u00e9e.\n Le livrable peut \u00eatre int\u00e9gr\u00e9 dans le cycle de release.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\" style=\"color:var(--orange)\">\u25cf<\/div>\n <div>\n <h3>Conforme avec r\u00e9serves<\/h3>\n <p>Les propri\u00e9t\u00e9s principales sont prouv\u00e9es, mais des lacunes identifi\u00e9es subsistent.\n Les r\u00e9serves sont explicitement list\u00e9es avec un plan de rem\u00e9diation.\n Int\u00e9gration possible sous conditions document\u00e9es.<\/p>\n <\/div>\n <\/div>\n <div class=\"cf-principle-row\">\n <div class=\"cf-principle-num\" style=\"color:#C0392B\">\u25cf<\/div>\n <div>\n <h3>Non conforme<\/h3>\n <p>Des preuves \u00e9chouent, sont incompl\u00e8tes ou absentes.\n Le livrable ne peut pas \u00eatre int\u00e9gr\u00e9. Aucune release sous avis n\u00e9gatif.\n Un nouveau cycle d’\u00e9valuation est requis apr\u00e8s correction.<\/p>\n <\/div>\n <\/div>\n<\/div>\n\n\n\n<div class=\"cf-section\" style=\"text-align:center; padding: 3rem 2rem;\">\n <p style=\"font-family:var(--mono);font-size:0.72rem;color:var(--gray);letter-spacing:0.1em\">\n CFVL-DOC-002 \u00b7 M\u00e9thodologie \u00b7 Version 1.0 \u00b7 F\u00e9vrier 2026\n <\/p>\n<\/div>\n\n\n<div class=\"cf-footer\">\n <div class=\"cf-inner\">\n <div>\n <div class=\"cf-footer-brand\">CFVL<span>.<\/span><\/div>\n <p>CORTEX Formal Verification Laboratory<br>\n Autorit\u00e9 interne de validation formelle<br>\n Rattachement : CORTEX AI TM<\/p>\n <\/div>\n <div>\n <h4>Cadre<\/h4>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-charte\/\">Charte du laboratoire<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-methodologie\/\">M\u00e9thodologie<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-journal-rd\/\">Journal R&D<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-template-rapport\/\">Template rapport<\/a>\n <\/div>\n <div>\n <h4>Recherche<\/h4>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-axes-scientifiques\/\">Axes scientifiques<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-publications\/\">Publications<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-collaborations\/\">Collaborations<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-contact-academique\/\">Contact acad\u00e9mique<\/a>\n <\/div>\n <\/div>\n \n <div style=\"border-top:1px solid rgba(184,212,240,0.08);padding:1.2rem 0;display:flex;justify-content:center;flex-wrap:wrap;gap:1.5rem 2.5rem;margin-top:1rem\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>IA expliqu\u00e9e simplement<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>Investisseurs & partenaires<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>Industriels & int\u00e9grateurs<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>D\u00e9cideurs publics & autorit\u00e9s<\/a>\n <\/div>\n <div class=\"cf-footer-bottom\">\n <span>\u00a9 2026 CORTEX AI TM \u2014 CFVL \u2014 Tous droits r\u00e9serv\u00e9s<\/span>\n <div class=\"cf-footer-legal\">\n <a href=\"https:\/\/cortexorigin.com\/index.php\/781-2\/\">Mentions l\u00e9gales<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/784-2\/\">Confidentialit\u00e9<\/a>\n <a href=\"https:\/\/cortexorigin.com\/index.php\/791-2\/\">CGU<\/a>\n <\/div>\n <\/div>\n<\/div>\n\n\n<\/div>\n","protected":false},"excerpt":{"rendered":"<p>Menu \u2014 Cortex ORIGIN\u2122 CORTEX ORIGIN\u2122 Architecture \u25be Socle critique (TCB) CORTEX ORIGIN\u2122 \u2014 Vue d’ensemble Cortex Core\u2122 OMEGA\u2122 \u2014 Gouvernance PRISM\u2122 \u2014 Preuve AEGIS\u2122 \u2014 Ex\u00e9cution FULCRUM\u2122 S\u00e9curit\u00e9 & Confinement SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active WALL-DOME\u2122 \u2014 Confinement CERB\u00c8RE\u2122 Decision Guard\u2122 Interface & Orchestration AVA\u2122 & CPL\u2122 \u2014 Interface Multi LCM \/ TRM Engine\u2122 TRM […]<\/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-827","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/827","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=827"}],"version-history":[{"count":6,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/827\/revisions"}],"predecessor-version":[{"id":1058,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/827\/revisions\/1058"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=827"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}