{"id":658,"date":"2026-02-11T17:24:45","date_gmt":"2026-02-11T17:24:45","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=658"},"modified":"2026-03-18T08:07:44","modified_gmt":"2026-03-18T08:07:44","slug":"imcortex-2","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/imcortex-2\/","title":{"rendered":""},"content":{"rendered":"\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; }\n \n.menu-demo { max-width: 1200px; margin: 3rem auto; padding: 0 2rem; }\n.menu-demo h1 { font-size: 1.6rem; font-weight: 600; color: #0C1829; margin-bottom: 0.5rem; }\n.menu-demo .subtitle { font-size: 0.9rem; color: #5A6B7F; margin-bottom: 3rem; }\n \n\/* MENU BAR *\/\n.menu-bar {\n  background: #0C1829; border-radius: 4px; padding: 0 1.5rem;\n  display: flex; align-items: center; justify-content: space-between;\n  position: relative; z-index: 100;\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;\n}\n.menu-logo span { color: #C9A96E; }\n.menu-items { display: flex; align-items: center; gap: 0; }\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}\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;\n}\n.menu-cta:hover { background: rgba(201,169,110,0.25); color: #fff; }\n \n\/* DROPDOWN *\/\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: 200;\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\/* HIGHLIGHTED LINK *\/\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);\n  color: #fff;\n  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\/* SIMULATION LINKS *\/\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);\n  color: #fff;\n  border-color: rgba(74,144,217,0.4);\n}\n.drop-sim-icon { font-size: 0.7rem; opacity: 0.55; margin-left: 8px; }\n \n\/* MEGA DROPDOWN *\/\n.mega-dropdown {\n  display: none; position: absolute; top: 100%; left: -100px;\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: 640px; padding: 1.5rem; z-index: 200;\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 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\/* Morphic highlight dans mega *\/\n.mega-col a.drop-highlight {\n  margin: 0.5rem 0 0.2rem;\n  padding: 0.5rem 0.8rem;\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;\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);\n  color: #fff;\n  border-color: rgba(201,169,110,0.45);\n}\n<\/style>\n \n<div class=\"menu-demo\">\n \n<div class=\"menu-bar\">\n  <div class=\"menu-logo\">CORTEX <span>ORIGIN\u2122<\/span><\/div>\n  <div class=\"menu-items\">\n \n    <!-- 1. ARCHITECTURE -->\n    <div class=\"menu-item\">\n      Architecture\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&rsquo;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\" style=\"margin:0.5rem 0\">\n            <span class=\"drop-label\" style=\"padding:0.4rem 0 0.3rem\">S\u00e9curit\u00e9 &amp; 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            <a href=\"https:\/\/cortexorigin.com\/index.php\/1241-2\/\" class=\"drop-highlight\">\n              CMS CORTEX MORPHIC SHIELD\u2122\n              <span class=\"drop-highlight-arrow\">\u2197<\/span>\n            <\/a>\n          <\/div>\n          <div class=\"mega-col\">\n            <span class=\"drop-label\">Interface &amp; Orchestration<\/span>\n            <a href=\"https:\/\/cortexorigin.com\/index.php\/2026\/01\/02\/ava-cpl\/\">AVA\u2122 &amp; 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\" style=\"margin:0.5rem 0\">\n            <span class=\"drop-label\" style=\"padding:0.4rem 0 0.3rem\">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    <\/div>\n \n    <!-- 2. APPLICATIONS -->\n    <div class=\"menu-item\">\n      Applications\n      <div class=\"menu-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 &amp; 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 &amp; OIV<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense &amp; Cybers\u00e9curit\u00e9<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat &amp; R\u00e9galien<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/592-2\/\">Tous les secteurs<\/a>\n      <\/div>\n    <\/div>\n \n    <!-- 3. V\u00c9RIFICATION -->\n    <div class=\"menu-item\">\n      V\u00e9rification\n      <div class=\"menu-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&amp;D<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications &amp; \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    <\/div>\n \n    <!-- 4. SECTEURS -->\n    <div class=\"menu-item\">\n      Secteurs\n      <div class=\"menu-dropdown\">\n        <span class=\"drop-label\">Audiences<\/span>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\">Investisseurs &amp; partenaires<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\">Industriels &amp; int\u00e9grateurs<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\">D\u00e9cideurs publics &amp; 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 &amp; Banque<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-la-defense-la-securite-le-cyber\/\">D\u00e9fense &amp; Cyber<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/cortex-origin-iag-pour-letat-le-regalien\/\">\u00c9tat &amp; R\u00e9galien<\/a>\n      <\/div>\n    <\/div>\n \n    <!-- 5. CFVL -->\n    <div class=\"menu-item\">\n      CFVL\n      <div class=\"menu-dropdown\" style=\"min-width:300px\">\n        <span class=\"drop-label\">Programme de certification<\/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&amp;D<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications<\/a>\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/rapport-mttd-mttb\/\">Rapport MTTD \/ MTTB<\/a>\n        <hr class=\"drop-sep\">\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 &amp; Simulations\n          <span class=\"drop-sim-icon\">\u25ce<\/span>\n        <\/a>\n        <hr class=\"drop-sep\">\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    <\/div>\n \n    <!-- CTA -->\n    <a href=\"mailto:press@cortexorigin.com\" style=\"text-decoration:none\"><div class=\"menu-cta\">Contact<\/div><\/a>\n \n  <\/div>\n<\/div>\n \n<\/div>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<!--\n  IMCORTEX\u2122 \u0394IMC \u2014 Architecture cognitive gouvern\u00e9e\n  WordPress Custom HTML Block\n  Version 2.0 \u2014 F\u00e9vrier 2026\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.imc-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  --red: #C0392B; --violet: #7B68EE;\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.imc-page *, .imc-page *::before, .imc-page *::after { box-sizing: border-box; }\n.imc-page h1,.imc-page h2,.imc-page h3,.imc-page h4,.imc-page p,.imc-page ul,.imc-page li { margin:0;padding:0;font-weight:normal;list-style:none; }\n.imc-page a { text-decoration: none; }\n\n\/* HERO *\/\n.imc-hero {\n  background: var(--navy); padding: 7rem 2rem 5rem;\n  text-align: center; position: relative; overflow: hidden;\n}\n.imc-hero::before {\n  content:''; position:absolute; inset:0;\n  background:\n    radial-gradient(ellipse 50% 40% at 25% 65%, rgba(123,104,238,0.07) 0%, transparent 70%),\n    radial-gradient(ellipse 35% 50% at 70% 30%, rgba(74,144,217,0.06) 0%, transparent 70%),\n    radial-gradient(circle at 50% 50%, rgba(201,169,110,0.03) 0%, transparent 60%);\n}\n.imc-hero::after {\n  content:''; position:absolute; bottom:0; left:0; right:0; height:1px;\n  background: linear-gradient(90deg, transparent, var(--violet), var(--gold), var(--blue), transparent);\n  opacity: 0.4;\n}\n.imc-hero-content { position: relative; z-index: 2; max-width: 860px; margin: 0 auto; }\n.imc-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  opacity:0; animation: imcFadeUp 0.8s 0.3s forwards;\n}\n.imc-hero h1 {\n  font-family: var(--serif) !important;\n  font-size: clamp(2.4rem, 6vw, 4.2rem) !important;\n  font-weight: 400 !important; color: var(--white) !important;\n  line-height: 1.1 !important; margin-bottom: 1rem !important;\n  opacity:0; animation: imcFadeUp 0.8s 0.5s forwards;\n}\n.imc-hero h1 em { font-style: italic; color: var(--ice); }\n.imc-hero-sub {\n  font-size: 1.05rem; font-weight: 300; color: var(--gray);\n  line-height: 1.75; max-width: 700px; margin: 0 auto 2rem;\n  opacity:0; animation: imcFadeUp 0.8s 0.7s forwards;\n}\n.imc-hero-badges {\n  display: flex; gap: 0.8rem; justify-content: center; flex-wrap: wrap;\n  margin-bottom: 2rem;\n  opacity:0; animation: imcFadeUp 0.8s 0.9s forwards;\n}\n.imc-badge {\n  font-family: var(--mono); font-size: 0.65rem; letter-spacing: 0.08em;\n  padding: 0.35em 1em; border-radius: 2px;\n}\n.imc-badge-blue { background: rgba(74,144,217,0.15); color: var(--ice); border: 1px solid rgba(74,144,217,0.3); }\n.imc-badge-gold { background: rgba(201,169,110,0.12); color: var(--gold); border: 1px solid rgba(201,169,110,0.3); }\n.imc-badge-green { background: rgba(39,174,96,0.12); color: var(--green); border: 1px solid rgba(39,174,96,0.25); }\n.imc-badge-violet { background: rgba(123,104,238,0.12); color: var(--violet); border: 1px solid rgba(123,104,238,0.25); }\n.imc-hero-buttons {\n  display: flex; gap: 1rem; justify-content: center; flex-wrap: wrap;\n  opacity:0; animation: imcFadeUp 0.8s 1.1s forwards;\n}\n.imc-btn {\n  display: inline-flex; align-items: center; gap: 0.5rem;\n  font-family: var(--mono); font-size: 0.75rem; font-weight: 500;\n  letter-spacing: 0.08em; text-transform: uppercase;\n  padding: 0.7em 1.6em; border-radius: 2px;\n  transition: all 0.3s ease;\n}\n.imc-btn-primary { background: rgba(74,144,217,0.15); color: var(--ice); border: 1px solid rgba(74,144,217,0.4); }\n.imc-btn-primary:hover { background: rgba(74,144,217,0.25); border-color: var(--ice); color: #fff; }\n.imc-btn-secondary { background: rgba(201,169,110,0.1); color: var(--gold); border: 1px solid rgba(201,169,110,0.3); }\n.imc-btn-secondary:hover { background: rgba(201,169,110,0.2); border-color: var(--gold); color: #fff; }\n\n@keyframes imcFadeUp {\n  from { opacity:0; transform: translateY(18px); }\n  to { opacity:1; transform: translateY(0); }\n}\n\n\/* METRICS BAR *\/\n.imc-metrics {\n  background: var(--navy-mid); border-bottom: 1px solid rgba(74,144,217,0.1);\n  padding: 2rem;\n}\n.imc-metrics-inner {\n  max-width: 1100px; margin: 0 auto;\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(130px, 1fr));\n  gap: 1px; background: rgba(74,144,217,0.1);\n  border: 1px solid rgba(74,144,217,0.1);\n}\n.imc-metric {\n  background: var(--navy-mid); padding: 1.2rem; text-align: center;\n}\n.imc-metric-val {\n  font-family: var(--serif); font-size: 1.6rem; font-weight: 600; color: var(--ice);\n}\n.imc-metric-label {\n  font-family: var(--mono); font-size: 0.58rem; color: var(--gray);\n  letter-spacing: 0.12em; margin-top: 0.2rem;\n}\n\n\/* SECTIONS *\/\n.imc-section { padding: 5rem 2rem; max-width: 1060px; margin: 0 auto; }\n.imc-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.imc-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.imc-page h2 em { font-style: italic; color: var(--slate); }\n.imc-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.5rem !important;\n}\n.imc-lead { font-size: 1rem; line-height: 1.8; color: #4A5568; max-width: 720px; margin-bottom: 2.5rem; }\n.imc-prose { font-size: 0.92rem; line-height: 1.75; color: #4A5568; }\n\n\/* DARK BAND *\/\n.imc-band-dark {\n  background: var(--navy); padding: 5rem 2rem; position: relative;\n}\n.imc-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.imc-band-dark .imc-inner { max-width: 1060px; margin: 0 auto; }\n.imc-band-dark h2 { color: var(--white) !important; }\n.imc-band-dark .imc-lead { color: var(--gray); }\n.imc-band-dark .imc-section-label { color: var(--gold); }\n.imc-band-dark h3 { color: var(--ice) !important; }\n.imc-band-dark p, .imc-band-dark .imc-prose { color: var(--gray); }\n\n\/* WARM BAND *\/\n.imc-band-warm { background: var(--cream); padding: 5rem 2rem; }\n.imc-band-warm .imc-inner { max-width: 1060px; margin: 0 auto; }\n\n\/* PROPERTY GRID *\/\n.imc-prop-grid {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(300px, 1fr));\n  gap: 1.5rem; margin-top: 2rem;\n}\n.imc-prop-card {\n  border: 1px solid rgba(74,144,217,0.15); border-radius: 2px;\n  padding: 2rem; background: rgba(30,48,85,0.25);\n  transition: border-color 0.3s;\n}\n.imc-prop-card:hover { border-color: rgba(201,169,110,0.4); }\n.imc-prop-icon { font-size: 1.3rem; margin-bottom: 0.6rem; display: block; }\n.imc-prop-card h3 { color: var(--ice) !important; font-size: 0.95rem !important; margin-bottom: 0.3rem !important; }\n.imc-prop-card p { color: var(--gray); font-size: 0.84rem; line-height: 1.65; margin-bottom: 0.5rem; }\n.imc-prop-module {\n  display: inline-block; font-family: var(--mono); font-size: 0.6rem;\n  padding: 0.15em 0.6em; border-radius: 1px; margin-top: 0.3rem;\n  background: rgba(123,104,238,0.12); color: var(--violet); border: 1px solid rgba(123,104,238,0.2);\n}\n.imc-prop-proof {\n  display: inline-block; font-family: var(--mono); font-size: 0.6rem;\n  padding: 0.15em 0.6em; border-radius: 1px; margin-top: 0.3rem; margin-left: 0.3rem;\n  background: rgba(39,174,96,0.1); color: var(--green); border: 1px solid rgba(39,174,96,0.2);\n}\n\n\/* TABLES *\/\n.imc-table {\n  width: 100%; border-collapse: collapse; font-size: 0.84rem; margin-top: 1.5rem;\n}\n.imc-table th {\n  text-align: left; padding: 0.8rem 1rem;\n  font-family: var(--mono); font-size: 0.65rem; font-weight: 600;\n  letter-spacing: 0.1em; color: var(--gold);\n  border-bottom: 2px solid rgba(74,144,217,0.3);\n}\n.imc-table td {\n  padding: 0.8rem 1rem; color: var(--gray); font-size: 0.82rem; line-height: 1.5;\n  border-bottom: 1px solid rgba(74,144,217,0.08);\n}\n.imc-table td:first-child { color: var(--ice); font-weight: 500; }\n.imc-table-light th { color: var(--navy); border-bottom-color: #D5CFC5; }\n.imc-table-light td { color: #4A5568; border-bottom-color: #F0F0F0; }\n.imc-table-light td:first-child { color: var(--navy); }\n\n\/* SCENARIO *\/\n.imc-scenario {\n  border: 1px solid #D5CFC5; border-radius: 2px; padding: 2.5rem;\n  background: var(--white); margin-top: 2rem;\n}\n.imc-scenario-header {\n  font-family: var(--mono); font-size: 0.65rem; letter-spacing: 0.2em;\n  color: var(--gold); text-transform: uppercase; margin-bottom: 1rem;\n}\n.imc-scenario-title {\n  font-family: var(--serif) !important; font-size: 1.3rem !important;\n  font-weight: 500 !important; color: var(--navy) !important;\n  margin-bottom: 1rem !important;\n}\n.imc-timeline {\n  display: grid; gap: 0; margin-top: 1.5rem;\n  border-left: 2px solid #E2E8F0; padding-left: 1.8rem; margin-left: 0.5rem;\n}\n.imc-step { position: relative; padding: 0 0 1.8rem; }\n.imc-step::before {\n  content: attr(data-t);\n  position: absolute; left: -2.6rem; top: 0;\n  font-family: var(--mono); font-size: 0.6rem; font-weight: 600;\n  color: var(--white); background: var(--navy);\n  padding: 0.15em 0.5em; border-radius: 1px;\n  white-space: nowrap;\n}\n.imc-step h3 { font-size: 0.9rem !important; margin-bottom: 0.2rem !important; }\n.imc-step p { font-size: 0.85rem; line-height: 1.6; color: #4A5568; }\n.imc-step-module {\n  display: inline-block; font-family: var(--mono); font-size: 0.6rem;\n  padding: 0.1em 0.5em; border-radius: 1px; margin-top: 0.3rem;\n  background: rgba(74,144,217,0.1); color: var(--blue); border: 1px solid rgba(74,144,217,0.2);\n}\n\n\/* QUOTE *\/\n.imc-quote {\n  background: var(--cream); border-left: 3px solid var(--gold);\n  padding: 2rem 2.5rem; margin: 2rem 0;\n  font-family: var(--serif); font-size: 1.1rem; line-height: 1.7; color: var(--navy);\n}\n\n\/* CYCLE GRID *\/\n.imc-cycle-grid {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(200px, 1fr));\n  gap: 1rem; margin-top: 2rem; counter-reset: cycleStep;\n}\n.imc-cycle-step {\n  border: 1px solid #E2E8F0; border-radius: 2px; padding: 1.5rem;\n  position: relative; counter-increment: cycleStep;\n}\n.imc-cycle-step::before {\n  content: counter(cycleStep, decimal-leading-zero);\n  font-family: var(--mono); font-size: 0.6rem; font-weight: 600;\n  color: var(--gold); letter-spacing: 0.08em;\n  display: block; margin-bottom: 0.5rem;\n}\n.imc-cycle-step h3 { font-size: 0.88rem !important; margin-bottom: 0.3rem !important; }\n.imc-cycle-step p { font-size: 0.82rem; line-height: 1.6; color: #5A6B7F; }\n\n\/* VALIDATION GRID *\/\n.imc-val-grid {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(220px, 1fr));\n  gap: 1.5rem; margin-top: 2rem;\n}\n.imc-val-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}\n.imc-val-card h3 { color: var(--ice) !important; font-size: 0.88rem !important; margin-bottom: 0.6rem !important; }\n.imc-val-item {\n  display: flex; justify-content: space-between; padding: 0.35rem 0;\n  border-bottom: 1px solid rgba(74,144,217,0.06);\n  font-size: 0.8rem;\n}\n.imc-val-item span:first-child { color: var(--gray); }\n.imc-val-item span:last-child { font-family: var(--mono); font-weight: 600; color: var(--ice); }\n\n\/* AUDIENCE CARDS *\/\n.imc-aud-grid {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));\n  gap: 1.5rem; margin-top: 2rem;\n}\n.imc-aud-card {\n  border: 1px solid #E2E8F0; border-radius: 2px; padding: 1.8rem;\n}\n.imc-aud-card h3 { font-size: 0.92rem !important; margin-bottom: 0.5rem !important; }\n.imc-aud-card p { font-size: 0.85rem; line-height: 1.65; color: #4A5568; }\n\n\/* FOOTER *\/\n.imc-footer {\n  background: var(--navy); padding: 4rem 2rem 2rem; position: relative;\n}\n.imc-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.imc-footer .imc-inner {\n  max-width: 1060px; margin: 0 auto;\n  display: grid; grid-template-columns: 1.8fr 1fr 1fr; gap: 3rem;\n}\n.imc-footer-brand {\n  font-family: var(--mono); font-size: 1.1rem; font-weight: 600;\n  color: var(--white); margin-bottom: 0.7rem; letter-spacing: 0.05em;\n}\n.imc-footer-brand span { color: var(--gold); }\n.imc-footer p { font-size: 0.8rem; color: var(--gray); line-height: 1.65; }\n.imc-footer h4 {\n  font-family: var(--mono) !important; font-size: 0.65rem !important;\n  color: var(--gold) !important; letter-spacing: 0.2em !important;\n  text-transform: uppercase; margin-bottom: 0.8rem !important;\n}\n.imc-footer a {\n  display: block; font-size: 0.8rem; color: rgba(184,212,240,0.5);\n  padding: 0.2rem 0; transition: color 0.3s;\n}\n.imc-footer a:hover { color: var(--ice); }\n.imc-footer-bottom {\n  max-width: 1060px; 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.7rem; color: rgba(140,155,175,0.4);\n}\n.imc-footer-legal { display: flex; gap: 1.2rem; }\n.imc-footer-legal a { display: inline; font-size: 0.7rem; color: rgba(140,155,175,0.4); padding: 0; }\n.imc-footer-legal a:hover { color: var(--gray); }\n\n\/* RESPONSIVE *\/\n@media (max-width: 768px) {\n  .imc-prop-grid { grid-template-columns: 1fr; }\n  .imc-footer .imc-inner { grid-template-columns: 1fr; gap: 2rem; }\n  .imc-metrics-inner { grid-template-columns: repeat(3, 1fr); }\n  .imc-cycle-grid { grid-template-columns: 1fr 1fr; }\n  .imc-paradigm-row { grid-template-columns: 1fr !important; }\n}\n<\/style>\n\n<div class=\"imc-page\">\n\n<!-- \u2550\u2550\u2550 HERO \u2550\u2550\u2550 -->\n<div class=\"imc-hero\">\n  <div class=\"imc-hero-content\">\n    <div class=\"imc-hero-label\">Cortex ORIGIN\u2122 \u2014 Architecture cognitive<\/div>\n    <h1>IMCORTEX\u2122 <em>\u0394IMC<\/em><\/h1>\n    <p class=\"imc-hero-sub\">\n      Architecture cognitive hybride con\u00e7ue pour des d\u00e9cisions automatis\u00e9es\n      robustes, tra\u00e7ables et ma\u00eetris\u00e9es dans des environnements critiques.\n      Un syst\u00e8me qui per\u00e7oit, mod\u00e9lise, raisonne, doute, d\u00e9cide et se souvient \u2014\n      sous <strong style=\"color:var(--ice)\">gouvernance formelle prouv\u00e9e<\/strong>.\n    <\/p>\n    <div class=\"imc-hero-badges\">\n      <span class=\"imc-badge imc-badge-green\">seL4 certifi\u00e9 EAL7<\/span>\n      <span class=\"imc-badge imc-badge-blue\">Trajectoire EAL6+<\/span>\n      <span class=\"imc-badge imc-badge-gold\">TRL 6<\/span>\n      <span class=\"imc-badge imc-badge-gold\">Intelligence cognitive<\/span>\n      <span class=\"imc-badge imc-badge-violet\">535+ th\u00e9or\u00e8mes \u00b7 0 sorry<\/span>\n      <span class=\"imc-badge imc-badge-violet\">Quantum-Ready\u2122<\/span>\n    <\/div>\n    <div class=\"imc-hero-buttons\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\" class=\"imc-btn imc-btn-primary\">CFVL \u2014 Preuves formelles \u2192<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\" class=\"imc-btn imc-btn-secondary\">Journal R&amp;D \u2192<\/a>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 METRICS BAR \u2550\u2550\u2550 -->\n<div class=\"imc-metrics\">\n  <div class=\"imc-metrics-inner\">\n    <div class=\"imc-metric\">\n      <div class=\"imc-metric-val\">535+<\/div>\n      <div class=\"imc-metric-label\">TH\u00c9OR\u00c8MES PROUV\u00c9S<\/div>\n    <\/div>\n    <div class=\"imc-metric\">\n      <div class=\"imc-metric-val\" style=\"color:var(--green)\">0<\/div>\n      <div class=\"imc-metric-label\">SORRY \/ ADMITTED<\/div>\n    <\/div>\n    <div class=\"imc-metric\">\n      <div class=\"imc-metric-val\">4<\/div>\n      <div class=\"imc-metric-label\">COMPOSANTS TCB<\/div>\n    <\/div>\n    <div class=\"imc-metric\">\n      <div class=\"imc-metric-val\">77%<\/div>\n      <div class=\"imc-metric-label\">COUVERTURE SAR EAL7<\/div>\n    <\/div>\n    <div class=\"imc-metric\">\n      <div class=\"imc-metric-val\">160K+<\/div>\n      <div class=\"imc-metric-label\">TESTS PASS<\/div>\n    <\/div>\n    <div class=\"imc-metric\">\n      <div class=\"imc-metric-val\">29s<\/div>\n      <div class=\"imc-metric-label\">BUILD ISABELLE<\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 01 LE PROBL\u00c8ME \u2550\u2550\u2550 -->\n<div class=\"imc-section\">\n  <div class=\"imc-section-label\">01 \u2014 Le probl\u00e8me<\/div>\n  <h2>Limites structurelles <em>des IA actuelles<\/em><\/h2>\n  <p class=\"imc-lead\">\n    Les syst\u00e8mes d\u00e9cisionnels IA d\u00e9ploy\u00e9s dans les environnements critiques\n    \u2014 spatial, d\u00e9fense, \u00e9nergie, finance souveraine \u2014\n    pr\u00e9sentent quatre lacunes fondamentales que l&rsquo;architecture \u0394IMC adresse structurellement.\n  <\/p>\n\n  <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(230px,1fr));gap:1.5rem;margin-top:2rem\">\n    <div style=\"border:1px solid #E2E8F0;border-radius:2px;padding:1.8rem\">\n      <h3>D\u00e9cisions non auditables<\/h3>\n      <p class=\"imc-prose\">Pas de trace opposable de la cha\u00eene d\u00e9cisionnelle. Impossible de reconstruire le raisonnement a posteriori.<\/p>\n    <\/div>\n    <div style=\"border:1px solid #E2E8F0;border-radius:2px;padding:1.8rem\">\n      <h3>Absence d&rsquo;invariants runtime<\/h3>\n      <p class=\"imc-prose\">Aucune borne physique v\u00e9rifi\u00e9e en temps r\u00e9el. D\u00e9rive possible vers des \u00e9tats non physiques (NaN, Inf).<\/p>\n    <\/div>\n    <div style=\"border:1px solid #E2E8F0;border-radius:2px;padding:1.8rem\">\n      <h3>Incertitude non formalis\u00e9e<\/h3>\n      <p class=\"imc-prose\">L&rsquo;incertitude est estim\u00e9e statistiquement, jamais propag\u00e9e formellement dans la cha\u00eene de d\u00e9cision.<\/p>\n    <\/div>\n    <div style=\"border:1px solid #E2E8F0;border-radius:2px;padding:1.8rem\">\n      <h3>D\u00e9cision = ex\u00e9cution<\/h3>\n      <p class=\"imc-prose\">Pas de s\u00e9paration structurelle entre l&rsquo;\u00e9valuation et l&rsquo;action. Une d\u00e9cision incorrecte s&rsquo;ex\u00e9cute imm\u00e9diatement.<\/p>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 01b INTELLIGENCE COGNITIVE \u2550\u2550\u2550 -->\n<div class=\"imc-band-dark\">\n  <div class=\"imc-inner\">\n    <div class=\"imc-section-label\">01b \u2014 Intelligence cognitive<\/div>\n    <h2 style=\"color:#fff !important\">Ni r\u00e9active, ni statistique \u2014 <em style=\"color:var(--ice)\">cognitive<\/em><\/h2>\n    <p class=\"imc-lead\">\n      \u0394IMC n&rsquo;est pas un syst\u00e8me expert \u00e0 base de r\u00e8gles (r\u00e9actif).\n      Ce n&rsquo;est pas non plus un r\u00e9seau de neurones qui corr\u00e8le des donn\u00e9es (statistique).\n      C&rsquo;est une architecture <strong style=\"color:var(--ice)\">cognitive<\/strong> :\n      elle per\u00e7oit, mod\u00e9lise, raisonne, doute, d\u00e9cide, agit et se souvient \u2014\n      dans un cycle formel gouvern\u00e9.\n    <\/p>\n\n    <!-- Trois paradigmes compar\u00e9s -->\n    <div class=\"imc-paradigm-row\" style=\"display:grid;grid-template-columns:repeat(3,1fr);gap:1.5rem;margin-top:2rem\">\n\n      <!-- R\u00e9actif -->\n      <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.8rem;background:rgba(12,24,41,0.3)\">\n        <p style=\"font-family:var(--mono);font-size:0.62rem;letter-spacing:0.15em;color:var(--gray);text-transform:uppercase;margin:0 0 0.8rem\">Syst\u00e8me r\u00e9actif<\/p>\n        <p style=\"font-family:var(--serif);font-size:1.1rem;color:var(--ice);margin:0 0 0.8rem\">Si condition \u2192 alors action<\/p>\n        <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0\">\n          Pas de mod\u00e8le du monde. Pas de m\u00e9moire. Pas de raisonnement sur l&rsquo;incertitude.\n          Le syst\u00e8me ne sait pas <em>pourquoi<\/em> il agit \u2014 il suit des r\u00e8gles.\n        <\/p>\n        <p style=\"font-family:var(--mono);font-size:0.65rem;color:var(--gray);margin-top:0.8rem\">\n          Profondeur : aucune<br>\n          Gouvernance : implicite<br>\n          Tra\u00e7abilit\u00e9 : logs\n        <\/p>\n      <\/div>\n\n      <!-- Statistique -->\n      <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.8rem;background:rgba(12,24,41,0.3)\">\n        <p style=\"font-family:var(--mono);font-size:0.62rem;letter-spacing:0.15em;color:var(--gray);text-transform:uppercase;margin:0 0 0.8rem\">IA statistique (LLM \/ Deep Learning)<\/p>\n        <p style=\"font-family:var(--serif);font-size:1.1rem;color:var(--ice);margin:0 0 0.8rem\">Donn\u00e9es \u2192 corr\u00e9lation \u2192 r\u00e9ponse<\/p>\n        <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0\">\n          Pas de mod\u00e8le formel du syst\u00e8me. L&rsquo;incertitude est estim\u00e9e, pas propag\u00e9e.\n          La d\u00e9cision est le r\u00e9sultat d&rsquo;un calcul opaque \u2014 pas d&rsquo;un raisonnement tra\u00e7able.\n        <\/p>\n        <p style=\"font-family:var(--mono);font-size:0.65rem;color:var(--gray);margin-top:0.8rem\">\n          Profondeur : statistique<br>\n          Gouvernance : externe (guardrails)<br>\n          Tra\u00e7abilit\u00e9 : attention maps\n        <\/p>\n      <\/div>\n\n      <!-- Cognitif \u2014 \u0394IMC -->\n      <div style=\"border:1px solid rgba(201,169,110,0.4);border-radius:2px;padding:1.8rem;background:rgba(201,169,110,0.06)\">\n        <p style=\"font-family:var(--mono);font-size:0.62rem;letter-spacing:0.15em;color:var(--gold);text-transform:uppercase;margin:0 0 0.8rem\">\u0394IMC \u2014 Intelligence cognitive<\/p>\n        <p style=\"font-family:var(--serif);font-size:1.1rem;color:var(--ice);margin:0 0 0.8rem\">Percevoir \u2192 Mod\u00e9liser \u2192 Raisonner \u2192 Douter \u2192 D\u00e9cider \u2192 Agir \u2192 Tracer<\/p>\n        <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0\">\n          Le syst\u00e8me construit un mod\u00e8le formel de son environnement, propage l&rsquo;incertitude,\n          explore des branches alternatives, \u00e9value sous contraintes,\n          soumet sa d\u00e9cision \u00e0 la gouvernance, ex\u00e9cute de mani\u00e8re contr\u00f4l\u00e9e\n          et journalise chaque \u00e9tape de son raisonnement.\n        <\/p>\n        <p style=\"font-family:var(--mono);font-size:0.65rem;color:var(--gold);margin-top:0.8rem\">\n          Profondeur : formelle (+ quantique)<br>\n          Gouvernance : prouv\u00e9e (NBC-1\u21928)<br>\n          Tra\u00e7abilit\u00e9 : opposable (PRISM\u2122)\n        <\/p>\n      <\/div>\n    <\/div>\n\n    <!-- MONOLITHE vs \u0394IMC \u2014 comparaison structurelle -->\n    <div style=\"margin-top:3rem\">\n      <p style=\"font-family:var(--mono);font-size:0.68rem;letter-spacing:0.2em;color:var(--gold);text-transform:uppercase;margin:0 0 1rem\">\n        Monolithe concurrent vs \u0394IMC \u2014 diff\u00e9rence structurelle\n      <\/p>\n      <p style=\"font-size:0.95rem;color:var(--gray);line-height:1.8;max-width:720px;margin:0 0 2rem\">\n        Un LLM monolithique est un bloc opaque qui devine, imagine, compl\u00e8te.\n        \u0394IMC est une architecture modulaire qui per\u00e7oit, mod\u00e9lise, raisonne et prouve.\n        La diff\u00e9rence n&rsquo;est pas une question de performance \u2014 c&rsquo;est une diff\u00e9rence de nature.\n      <\/p>\n\n      <div style=\"overflow-x:auto\">\n        <table style=\"width:100%;border-collapse:collapse;font-size:0.82rem\">\n          <thead>\n            <tr>\n              <th style=\"text-align:left;padding:1rem;font-family:var(--mono);font-size:0.62rem;font-weight:600;letter-spacing:0.12em;color:var(--gray);border-bottom:2px solid rgba(74,144,217,0.2);width:22%\">DIMENSION<\/th>\n              <th style=\"text-align:left;padding:1rem;font-family:var(--mono);font-size:0.62rem;font-weight:600;letter-spacing:0.12em;color:var(--gray);border-bottom:2px solid rgba(74,144,217,0.2);width:39%\">MONOLITHE CONCURRENT (LLM)<\/th>\n              <th style=\"text-align:left;padding:1rem;font-family:var(--mono);font-size:0.62rem;font-weight:600;letter-spacing:0.12em;color:var(--gold);border-bottom:2px solid rgba(201,169,110,0.3);width:39%\">\u0394IMC \u2014 CORTEX ORIGIN\u2122<\/th>\n            <\/tr>\n          <\/thead>\n          <tbody>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">Architecture<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">Bloc monolithique.<\/strong>\n                Un seul r\u00e9seau de neurones massif traite tout : perception, raisonnement, g\u00e9n\u00e9ration.\n                Pas de s\u00e9paration fonctionnelle. Pas de modules identifiables.\n                Tout est fondu dans des milliards de poids.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(201,169,110,0.1);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Architecture modulaire gouvern\u00e9e.<\/strong>\n                33 modules identifi\u00e9s (M00\u2192M32), 4 composants TCB prouv\u00e9s,\n                chaque fonction dans un domaine seL4 isol\u00e9.\n                Compromission d&rsquo;un module \u2260 compromission du syst\u00e8me.\n              <\/td>\n            <\/tr>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">Raisonnement<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">Compl\u00e9tion statistique.<\/strong>\n                Le LLM pr\u00e9dit le token le plus probable. Il ne raisonne pas \u2014 il compl\u00e8te.\n                Il \u00ab devine \u00bb la suite plausible sur la base de corr\u00e9lations apprises.\n                Pas de mod\u00e8le du monde. Pas de branches explor\u00e9es.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(201,169,110,0.1);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Exploration multi-branches formelle.<\/strong>\n                ATLAS\u2122 explore N sc\u00e9narios (2<sup>n<\/sup> en mode quantique),\n                propage l&rsquo;incertitude U<sub>t<\/sub> sur chaque branche,\n                \u00e9value chaque sc\u00e9nario sous contraintes C<sub>t<\/sub>.\n                Le syst\u00e8me ne devine pas \u2014 il calcule et compare.\n              <\/td>\n            <\/tr>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">Connaissance<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">Implicite et fig\u00e9e.<\/strong>\n                La connaissance est encod\u00e9e dans les poids lors de l&rsquo;entra\u00eenement.\n                Le mod\u00e8le ne sait pas ce qu&rsquo;il sait. Il ne peut pas citer ses sources.\n                Il hallucine quand ses corr\u00e9lations sont insuffisantes.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(201,169,110,0.1);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Explicite et v\u00e9rifiable.<\/strong>\n                L&rsquo;\u00e9tat S<sub>t<\/sub> est un vecteur structur\u00e9, pas un embedding opaque.\n                Chaque donn\u00e9e est qualifi\u00e9e (source, fiabilit\u00e9, fra\u00eecheur).\n                Le syst\u00e8me ne peut pas halluciner \u2014 il op\u00e8re sur un mod\u00e8le formel.\n              <\/td>\n            <\/tr>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">Incertitude<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">Absente ou cosm\u00e9tique.<\/strong>\n                Le LLM produit une r\u00e9ponse avec un score de confiance (softmax).\n                Ce score ne refl\u00e8te pas l&rsquo;incertitude r\u00e9elle \u2014 il refl\u00e8te la distribution apprise.\n                Le mod\u00e8le peut \u00eatre tr\u00e8s confiant dans une hallucination.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(201,169,110,0.1);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Formalis\u00e9e et d\u00e9cisionnelle.<\/strong>\n                U<sub>t<\/sub> est une variable formelle propag\u00e9e \u00e0 chaque \u00e9tape.\n                Si U<sub>t<\/sub> > U<sub>max<\/sub> \u2192 le syst\u00e8me refuse de d\u00e9cider.\n                Le doute est un m\u00e9canisme de s\u00e9curit\u00e9, pas un d\u00e9faut.\n              <\/td>\n            <\/tr>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">D\u00e9cision<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">G\u00e9n\u00e9ration libre.<\/strong>\n                Le LLM g\u00e9n\u00e8re une sortie sans contrainte structurelle.\n                Aucune politique ne filtre la d\u00e9cision. Les guardrails sont\n                des patchs externes (RLHF, filtres) \u2014 pas de l&rsquo;architecture.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(201,169,110,0.1);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Gouvernance prouv\u00e9e.<\/strong>\n                Aucune action sans passage par OMEGA\u2122 (NBC-1\u21928 prouv\u00e9s).\n                La politique est dans l&rsquo;architecture, pas \u00e0 c\u00f4t\u00e9.\n                L&rsquo;inaction est une sortie valide. Le refus est trac\u00e9.\n              <\/td>\n            <\/tr>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">Erreur<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">Hallucination.<\/strong>\n                Le mod\u00e8le invente \u2014 texte plausible mais faux.\n                Pas de m\u00e9canisme interne de d\u00e9tection.\n                L&rsquo;erreur a la m\u00eame forme que la v\u00e9rit\u00e9.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(201,169,110,0.1);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Fail-closed.<\/strong>\n                Si les invariants sont viol\u00e9s \u2192 CircuitBreaker\u2122 bloque.\n                Si l&rsquo;incertitude est trop forte \u2192 refus.\n                L&rsquo;erreur ne se propage pas \u2014 elle est contenue par architecture.\n              <\/td>\n            <\/tr>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">Tra\u00e7abilit\u00e9<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">Inexistante.<\/strong>\n                On peut observer les activations (attention maps) mais pas reconstruire\n                le raisonnement. Aucune preuve opposable.\n                Post-mortem impossible sur une d\u00e9cision critique.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(201,169,110,0.1);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Opposable et rejouable.<\/strong>\n                PRISM\u2122 journalise chaque cycle : perception, mod\u00e8le, branches,\n                incertitude, d\u00e9cision, justification. Append-only prouv\u00e9 (I5-I7).\n                Relecture int\u00e9grale par un tiers.\n              <\/td>\n            <\/tr>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">Latence<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">D\u00e9j\u00e0 lent \u2014 sans rien v\u00e9rifier.<\/strong>\n                Un LLM de plusieurs centaines de milliards de param\u00e8tres met d\u00e9j\u00e0\n                des secondes \u00e0 des dizaines de secondes pour g\u00e9n\u00e9rer une r\u00e9ponse complexe.\n                Et pendant ce temps, il ne v\u00e9rifie aucun invariant, ne propage aucune incertitude,\n                ne journalise rien, ne soumet rien \u00e0 une gouvernance.\n                Toute la latence est consomm\u00e9e en g\u00e9n\u00e9ration statistique.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);border-bottom:1px solid rgba(201,169,110,0.1);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Latence utile \u2014 chaque milliseconde a une fonction.<\/strong>\n                \u0394IMC traverse 7 \u00e9tapes : ingestion, mod\u00e9lisation, exploration multi-branches,\n                \u00e9valuation sous contraintes, validation gouvernance, ex\u00e9cution contr\u00f4l\u00e9e, journalisation.\n                La latence additionnelle par rapport \u00e0 un monolithe est le co\u00fbt\n                de la gouvernance, de la preuve et de la tra\u00e7abilit\u00e9.\n                <em style=\"color:var(--ice)\">Si un monolithe qui ne v\u00e9rifie rien met d\u00e9j\u00e0 des secondes,\n                le surco\u00fbt d&rsquo;un syst\u00e8me qui en plus prouve, trace et gouverne est marginal\n                compar\u00e9 \u00e0 ce qu&rsquo;on obtient : des d\u00e9cisions et du contenu prouvables.<\/em>\n              <\/td>\n            <\/tr>\n            <tr>\n              <td style=\"padding:0.9rem 1rem;color:var(--ice);font-weight:500;border-bottom:1px solid rgba(74,144,217,0.08);vertical-align:top\">Compromission<\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--ice)\">Catastrophique.<\/strong>\n                Une attaque adversariale, un prompt injection, un empoisonnement\n                de donn\u00e9es peut corrompre l&rsquo;ensemble du mod\u00e8le.\n                Pas d&rsquo;isolation interne. Le monolithe tombe en bloc.\n              <\/td>\n              <td style=\"padding:0.9rem 1rem;color:var(--gray);vertical-align:top;line-height:1.65\">\n                <strong style=\"color:var(--gold)\">Confin\u00e9e par architecture.<\/strong>\n                seL4 isole chaque module. Un composant hors-TCB compromis par RCE\n                ne peut ni forcer OMEGA, ni alt\u00e9rer PRISM, ni appeler le TCB (NBC-1).\n                Mode d\u00e9grad\u00e9 \u2014 pas mode compromis.\n              <\/td>\n            <\/tr>\n          <\/tbody>\n        <\/table>\n      <\/div>\n\n      <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin-top:1.5rem;font-style:italic\">\n        Le LLM monolithique concurrent est con\u00e7u pour produire du contenu plausible.\n        \u0394IMC est con\u00e7u pour produire des <strong style=\"color:var(--ice)\">d\u00e9cisions et du contenu prouvables<\/strong>.\n        Ce ne sont pas deux impl\u00e9mentations d&rsquo;une m\u00eame id\u00e9e \u2014 ce sont deux paradigmes diff\u00e9rents.\n      <\/p>\n    <\/div>\n\n    <!-- Les 7 capacit\u00e9s cognitives -->\n    <div style=\"margin-top:3rem\">\n      <p style=\"font-family:var(--mono);font-size:0.68rem;letter-spacing:0.2em;color:var(--gold);text-transform:uppercase;margin:0 0 1.5rem\">\n        Sept capacit\u00e9s cognitives \u2014 impl\u00e9ment\u00e9es par des modules r\u00e9els\n      <\/p>\n\n      <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:1.2rem\">\n\n        <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n          <div style=\"display:flex;align-items:center;gap:0.8rem;margin-bottom:0.6rem\">\n            <span style=\"font-family:var(--serif);font-size:1.6rem;color:var(--ice)\">\u2460<\/span>\n            <span style=\"font-family:var(--sans);font-size:0.9rem;font-weight:600;color:var(--ice)\">Perception qualifi\u00e9e<\/span>\n          <\/div>\n          <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.5rem\">\n            Le syst\u00e8me ne consomme pas des donn\u00e9es brutes. Il qualifie chaque signal :\n            source, fiabilit\u00e9, fra\u00eecheur, coh\u00e9rence avec le mod\u00e8le d&rsquo;\u00e9tat.\n            Un signal incoh\u00e9rent est isol\u00e9, pas int\u00e9gr\u00e9.\n          <\/p>\n          <span class=\"imc-prop-module\">SENTINEL\u2122 \u00b7 InterfaceGateway\u2122<\/span>\n        <\/div>\n\n        <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n          <div style=\"display:flex;align-items:center;gap:0.8rem;margin-bottom:0.6rem\">\n            <span style=\"font-family:var(--serif);font-size:1.6rem;color:var(--ice)\">\u2461<\/span>\n            <span style=\"font-family:var(--sans);font-size:0.9rem;font-weight:600;color:var(--ice)\">Mod\u00e9lisation dynamique<\/span>\n          <\/div>\n          <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.5rem\">\n            Construction et mise \u00e0 jour continue d&rsquo;un mod\u00e8le formel du syst\u00e8me et de son environnement.\n            L&rsquo;\u00e9tat S<sub>t<\/sub> est un vecteur structur\u00e9 et v\u00e9rifiable \u2014 pas un embedding opaque.\n          <\/p>\n          <span class=\"imc-prop-module\">M00 \u00b7 Kernel Cortex<\/span>\n          <span class=\"imc-prop-proof\">I4 prouv\u00e9<\/span>\n        <\/div>\n\n        <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n          <div style=\"display:flex;align-items:center;gap:0.8rem;margin-bottom:0.6rem\">\n            <span style=\"font-family:var(--serif);font-size:1.6rem;color:var(--ice)\">\u2462<\/span>\n            <span style=\"font-family:var(--sans);font-size:0.9rem;font-weight:600;color:var(--ice)\">Raisonnement multi-branches<\/span>\n          <\/div>\n          <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.5rem\">\n            Exploration syst\u00e9matique de sc\u00e9narios alternatifs. Chaque branche est \u00e9valu\u00e9e\n            sous contraintes, avec propagation d&rsquo;incertitude.\n            En mode Quantum-Ready : 2<sup>n<\/sup> branches en superposition.\n          <\/p>\n          <span class=\"imc-prop-module\">ATLAS\u2122 \u00b7 M03<\/span>\n          <span class=\"imc-prop-module\" style=\"background:rgba(123,104,238,0.12);color:var(--violet);border-color:rgba(123,104,238,0.2)\">Quantum-Ready\u2122<\/span>\n        <\/div>\n\n        <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n          <div style=\"display:flex;align-items:center;gap:0.8rem;margin-bottom:0.6rem\">\n            <span style=\"font-family:var(--serif);font-size:1.6rem;color:var(--ice)\">\u2463<\/span>\n            <span style=\"font-family:var(--sans);font-size:0.9rem;font-weight:600;color:var(--ice)\">Doute formalis\u00e9<\/span>\n          <\/div>\n          <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.5rem\">\n            Le syst\u00e8me sait qu&rsquo;il ne sait pas. L&rsquo;incertitude U<sub>t<\/sub> est une variable formelle,\n            pas un sentiment. Si U<sub>t<\/sub> > U<sub>max<\/sub> \u2192 le syst\u00e8me refuse de d\u00e9cider.\n            Le doute est un m\u00e9canisme de s\u00e9curit\u00e9, pas une faiblesse.\n          <\/p>\n          <span class=\"imc-prop-module\">ATLAS\u2122 \u00b7 CircuitBreaker\u2122<\/span>\n          <span class=\"imc-prop-proof\">dt_sensitivity test\u00e9<\/span>\n        <\/div>\n\n        <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n          <div style=\"display:flex;align-items:center;gap:0.8rem;margin-bottom:0.6rem\">\n            <span style=\"font-family:var(--serif);font-size:1.6rem;color:var(--ice)\">\u2464<\/span>\n            <span style=\"font-family:var(--sans);font-size:0.9rem;font-weight:600;color:var(--ice)\">D\u00e9cision gouvern\u00e9e<\/span>\n          <\/div>\n          <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.5rem\">\n            La d\u00e9cision est un acte formel, pas le r\u00e9sultat d&rsquo;un calcul statistique.\n            Elle est soumise \u00e0 la politique (G<sub>t<\/sub>), \u00e9valu\u00e9e sous contraintes (C<sub>t<\/sub>),\n            born\u00e9e par le budget (E<sub>t<\/sub>). Aucun chemin ne contourne ce processus.\n          <\/p>\n          <span class=\"imc-prop-module\">OMEGA\u2122 \u00b7 M10<\/span>\n          <span class=\"imc-prop-proof\">NBC-1\u2192NBC-8 \u00b7 8 Qed<\/span>\n        <\/div>\n\n        <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n          <div style=\"display:flex;align-items:center;gap:0.8rem;margin-bottom:0.6rem\">\n            <span style=\"font-family:var(--serif);font-size:1.6rem;color:var(--ice)\">\u2465<\/span>\n            <span style=\"font-family:var(--sans);font-size:0.9rem;font-weight:600;color:var(--ice)\">Action contr\u00f4l\u00e9e<\/span>\n          <\/div>\n          <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.5rem\">\n            L&rsquo;ex\u00e9cution est s\u00e9par\u00e9e de la d\u00e9cision. AEGIS ex\u00e9cute ce qu&rsquo;OMEGA a autoris\u00e9.\n            Si les conditions changent entre la d\u00e9cision et l&rsquo;ex\u00e9cution \u2192\n            CircuitBreaker peut interrompre. L&rsquo;inaction est une sortie valide.\n          <\/p>\n          <span class=\"imc-prop-module\">AEGIS\u2122 \u00b7 M08<\/span>\n          <span class=\"imc-prop-module\">CircuitBreaker\u2122 \u00b7 M09<\/span>\n        <\/div>\n\n        <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n          <div style=\"display:flex;align-items:center;gap:0.8rem;margin-bottom:0.6rem\">\n            <span style=\"font-family:var(--serif);font-size:1.6rem;color:var(--ice)\">\u2466<\/span>\n            <span style=\"font-family:var(--sans);font-size:0.9rem;font-weight:600;color:var(--ice)\">M\u00e9moire opposable<\/span>\n          <\/div>\n          <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.5rem\">\n            Chaque cycle cognitif est journalis\u00e9 int\u00e9gralement dans PRISM :\n            perception, mod\u00e8le, branches explor\u00e9es, incertitude, d\u00e9cision, justification.\n            Le syst\u00e8me se souvient \u2014 et sa m\u00e9moire est cryptographiquement non falsifiable.\n          <\/p>\n          <span class=\"imc-prop-module\">PRISM\u2122 \u00b7 M02<\/span>\n          <span class=\"imc-prop-proof\">I5, I6, I7, I8 prouv\u00e9s<\/span>\n        <\/div>\n\n      <\/div>\n    <\/div>\n\n    <!-- Citation cognitive -->\n    <div class=\"imc-quote\" style=\"background:rgba(30,48,85,0.4);border-left-color:var(--gold);margin:2.5rem 0 0;color:var(--gray)\">\n      L&rsquo;intelligence cognitive de \u0394IMC ne r\u00e9side pas dans la puissance de calcul\n      ni dans la taille des donn\u00e9es d&rsquo;entra\u00eenement.\n      Elle r\u00e9side dans la <strong style=\"color:var(--ice)\">structure du raisonnement<\/strong> :\n      un syst\u00e8me qui per\u00e7oit avec discernement, mod\u00e9lise avec rigueur,\n      doute avec m\u00e9thode, d\u00e9cide sous gouvernance et se souvient avec preuve.\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 02 SIX PROPRI\u00c9T\u00c9S \u2192 MODULES \u2550\u2550\u2550 -->\n<div class=\"imc-band-dark\" style=\"background:var(--navy-mid)\">\n  <div class=\"imc-inner\">\n    <div class=\"imc-section-label\">02 \u2014 Intelligence structurale<\/div>\n    <h2 style=\"color:#fff !important\">Six propri\u00e9t\u00e9s <em style=\"color:var(--ice)\">ancr\u00e9es dans l&rsquo;architecture<\/em><\/h2>\n    <p class=\"imc-lead\">\n      Contrairement aux moteurs IA classiques reposant uniquement sur l&rsquo;apprentissage massif,\n      \u0394IMC int\u00e8gre nativement six propri\u00e9t\u00e9s structurelles \u2014 chacune adoss\u00e9e\n      \u00e0 un module r\u00e9el de l&rsquo;architecture CORTEX ORIGIN\u2122.\n    <\/p>\n\n    <div class=\"imc-prop-grid\">\n      <div class=\"imc-prop-card\">\n        <div class=\"imc-prop-icon\">\u25c6<\/div>\n        <h3>Mod\u00e9lisation dynamique<\/h3>\n        <p>Mod\u00e9lisation formelle des syst\u00e8mes et transitions d&rsquo;\u00e9tat. Chaque d\u00e9cision repose sur un mod\u00e8le d&rsquo;\u00e9tat v\u00e9rifiable, pas sur une corr\u00e9lation statistique.<\/p>\n        <span class=\"imc-prop-module\">M00 \u00b7 Kernel Cortex<\/span>\n        <span class=\"imc-prop-proof\">I4 prouv\u00e9<\/span>\n      <\/div>\n      <div class=\"imc-prop-card\">\n        <div class=\"imc-prop-icon\">\u26a0<\/div>\n        <h3>Gestion de l&rsquo;incertitude<\/h3>\n        <p>Incertitude explicite, formalis\u00e9e et \u00e9valu\u00e9e \u00e0 chaque d\u00e9cision. Propagation formelle dans le cycle cognitif \u2014 pas de \u00ab\u00a0best guess\u00a0\u00bb.<\/p>\n        <span class=\"imc-prop-module\">ATLAS\u2122 \u00b7 Corr\u00e9lation<\/span>\n        <span class=\"imc-prop-proof\">Bornes v\u00e9rifi\u00e9es<\/span>\n      <\/div>\n      <div class=\"imc-prop-card\">\n        <div class=\"imc-prop-icon\">\u26d3<\/div>\n        <h3>Contraintes physiques<\/h3>\n        <p>Invariants runtime actifs : isolation TCB, int\u00e9grit\u00e9 audit, non-interf\u00e9rence, confinement seL4. Basculement automatique en mode conservateur si violation d\u00e9tect\u00e9e.<\/p>\n        <span class=\"imc-prop-module\">CircuitBreaker\u2122 \u00b7 M09<\/span>\n        <span class=\"imc-prop-proof\">14 sc\u00e9narios r\u00e9fut\u00e9s<\/span>\n      <\/div>\n      <div class=\"imc-prop-card\">\n        <div class=\"imc-prop-icon\">\u2b22<\/div>\n        <h3>Gouvernance formalis\u00e9e<\/h3>\n        <p>Moteur de politique, s\u00e9paration d\u00e9cision \/ ex\u00e9cution. Aucune action ne s&rsquo;ex\u00e9cute sans passage par le point d\u00e9cisionnel unique.<\/p>\n        <span class=\"imc-prop-module\">OMEGA\u2122 \u00b7 M10<\/span>\n        <span class=\"imc-prop-proof\">NBC-1\u2192NBC-8 \u00b7 8 Qed<\/span>\n      <\/div>\n      <div class=\"imc-prop-card\">\n        <div class=\"imc-prop-icon\">\u2193<\/div>\n        <h3>Frugalit\u00e9 adaptative<\/h3>\n        <p>Consommation computationnelle ajust\u00e9e au contexte. Le calcul se r\u00e9duit quand la gouvernance suffit, s&rsquo;intensifie quand la situation l&rsquo;exige.<\/p>\n        <span class=\"imc-prop-module\">EcoFlux\u2122 \u00b7 M16<\/span>\n        <span class=\"imc-prop-proof\">Budget runtime<\/span>\n      <\/div>\n      <div class=\"imc-prop-card\">\n        <div class=\"imc-prop-icon\">\u21bb<\/div>\n        <h3>Rejouabilit\u00e9 compl\u00e8te<\/h3>\n        <p>Chaque d\u00e9cision rejouable, chaque \u00e9tat v\u00e9rifiable. Journal cryptographique immuable, append-only prouv\u00e9 formellement.<\/p>\n        <span class=\"imc-prop-module\">PRISM\u2122 \u00b7 M02<\/span>\n        <span class=\"imc-prop-proof\">I5, I6, I7, I8 prouv\u00e9s<\/span>\n      <\/div>\n    <\/div>\n\n    <!-- FORMAL MODEL \u2014 expanded -->\n    <div style=\"margin-top:3rem;border:1px solid rgba(123,104,238,0.2);border-radius:2px;overflow:hidden\">\n\n      <!-- Header -->\n      <div style=\"background:rgba(123,104,238,0.1);padding:1rem 2rem;border-bottom:1px solid rgba(123,104,238,0.15)\">\n        <p style=\"font-family:var(--mono);font-size:0.68rem;letter-spacing:0.2em;color:var(--violet);text-transform:uppercase;margin:0\">\n          Mod\u00e8le formel \u0394IMC \u2014 Fonction de d\u00e9cision gouvern\u00e9e\n        <\/p>\n      <\/div>\n\n      <div style=\"padding:2rem;background:rgba(30,48,85,0.4)\">\n\n        <!-- Equation principale -->\n        <div style=\"text-align:center;padding:1.5rem 0;border-bottom:1px solid rgba(74,144,217,0.1);margin-bottom:2rem\">\n          <p style=\"font-family:var(--serif);font-size:1.5rem;color:var(--white);margin:0;letter-spacing:0.02em\">\n            A<sub>t<\/sub> = f( S<sub>t<\/sub> , U<sub>t<\/sub> , C<sub>t<\/sub> , E<sub>t<\/sub> , G<sub>t<\/sub> )\n          <\/p>\n          <p style=\"font-family:var(--mono);font-size:0.7rem;color:var(--gray);margin-top:0.5rem\">\n            Action \u00e0 l&rsquo;instant t = fonction de cinq variables d&rsquo;\u00e9tat gouvern\u00e9es\n          <\/p>\n        <\/div>\n\n        <!-- 5 variables d\u00e9taill\u00e9es -->\n        <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:1.2rem\">\n\n          <!-- St -->\n          <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n            <div style=\"display:flex;align-items:baseline;gap:0.6rem;margin-bottom:0.6rem\">\n              <span style=\"font-family:var(--serif);font-size:1.4rem;color:var(--ice);font-weight:600\">S<sub>t<\/sub><\/span>\n              <span style=\"font-family:var(--mono);font-size:0.62rem;color:var(--gold);letter-spacing:0.1em\">\u00c9TAT DU SYST\u00c8ME<\/span>\n            <\/div>\n            <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.8rem\">\n              Vecteur d&rsquo;\u00e9tat complet du syst\u00e8me \u00e0 l&rsquo;instant t.\n              Comprend l&rsquo;\u00e9tat de chaque domaine seL4 (TCB et hors-TCB),\n              les valeurs des capteurs qualifi\u00e9s, et le statut de chaque composant.\n            <\/p>\n            <p style=\"font-size:0.78rem;color:var(--gray);line-height:1.6;margin:0 0 0.6rem\">\n              <strong style=\"color:var(--ice)\">Formel :<\/strong>\n              S<sub>t<\/sub> \u2208 \ud835\udcae o\u00f9 \ud835\udcae = Dom<sub>TCB<\/sub> \u00d7 Dom<sub>hors-TCB<\/sub> \u00d7 Sensors \u00d7 Status<br>\n              <strong style=\"color:var(--ice)\">Transition :<\/strong>\n              S<sub>t+1<\/sub> = \u03b4(S<sub>t<\/sub>, A<sub>t<\/sub>) avec \u03b4 d\u00e9terministe (seed contr\u00f4l\u00e9, divergence inter-run = 0)\n            <\/p>\n            <div style=\"display:flex;gap:0.4rem;flex-wrap:wrap\">\n              <span class=\"imc-prop-module\">M00 \u00b7 Kernel Cortex<\/span>\n              <span class=\"imc-prop-proof\">I4 \u00b7 initialisation<\/span>\n            <\/div>\n          <\/div>\n\n          <!-- Ut -->\n          <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n            <div style=\"display:flex;align-items:baseline;gap:0.6rem;margin-bottom:0.6rem\">\n              <span style=\"font-family:var(--serif);font-size:1.4rem;color:var(--ice);font-weight:600\">U<sub>t<\/sub><\/span>\n              <span style=\"font-family:var(--mono);font-size:0.62rem;color:var(--gold);letter-spacing:0.1em\">INCERTITUDE<\/span>\n            <\/div>\n            <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.8rem\">\n              Mesure d&rsquo;incertitude formalis\u00e9e, propag\u00e9e dans chaque branche d&rsquo;exploration.\n              Ce n&rsquo;est pas un score de confiance statistique \u2014 c&rsquo;est une borne\n              calcul\u00e9e et v\u00e9rifiable sur la qualit\u00e9 de l&rsquo;information disponible.\n            <\/p>\n            <p style=\"font-size:0.78rem;color:var(--gray);line-height:1.6;margin:0 0 0.6rem\">\n              <strong style=\"color:var(--ice)\">Formel :<\/strong>\n              U<sub>t<\/sub> \u2208 [0, 1] avec seuil critique U<sub>max<\/sub><br>\n              <strong style=\"color:var(--ice)\">Condition :<\/strong>\n              Si U<sub>t<\/sub> &gt; U<sub>max<\/sub> \u2192 basculement mode conservateur<br>\n              <strong style=\"color:var(--ice)\">Propagation :<\/strong>\n              U<sub>t<\/sub> = h(U<sub>t-1<\/sub>, qualit\u00e9<sub>capteurs<\/sub>, \u00e2ge<sub>donn\u00e9es<\/sub>)\n            <\/p>\n            <div style=\"display:flex;gap:0.4rem;flex-wrap:wrap\">\n              <span class=\"imc-prop-module\">ATLAS\u2122 \u00b7 M03<\/span>\n              <span class=\"imc-prop-proof\">dt_sensitivity test\u00e9<\/span>\n            <\/div>\n          <\/div>\n\n          <!-- Ct -->\n          <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n            <div style=\"display:flex;align-items:baseline;gap:0.6rem;margin-bottom:0.6rem\">\n              <span style=\"font-family:var(--serif);font-size:1.4rem;color:var(--ice);font-weight:600\">C<sub>t<\/sub><\/span>\n              <span style=\"font-family:var(--mono);font-size:0.62rem;color:var(--gold);letter-spacing:0.1em\">CONTRAINTES PHYSIQUES<\/span>\n            <\/div>\n            <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.8rem\">\n              Ensemble des invariants physiques v\u00e9rifi\u00e9s en temps r\u00e9el.\n              Bornes thermiques, limites structurelles, stabilit\u00e9 dynamique,\n              seuils op\u00e9rationnels. Toute violation d\u00e9clenche un basculement imm\u00e9diat.\n            <\/p>\n            <p style=\"font-size:0.78rem;color:var(--gray);line-height:1.6;margin:0 0 0.6rem\">\n              <strong style=\"color:var(--ice)\">Formel :<\/strong>\n              C<sub>t<\/sub> = { c<sub>1<\/sub>, \u2026, c<sub>n<\/sub> } avec c<sub>i<\/sub> : \ud835\udcae \u2192 {vrai, faux}<br>\n              <strong style=\"color:var(--ice)\">Invariant :<\/strong>\n              \u2200i, c<sub>i<\/sub>(S<sub>t<\/sub>) = vrai \u2014 sinon A<sub>t<\/sub> = A<sub>conservateur<\/sub><br>\n              <strong style=\"color:var(--ice)\">V\u00e9rification :<\/strong>\n              1 600 ex\u00e9cutions chaos, 0 NaN, 0 Inf, 100% fail-safe\n            <\/p>\n            <div style=\"display:flex;gap:0.4rem;flex-wrap:wrap\">\n              <span class=\"imc-prop-module\">CircuitBreaker\u2122 \u00b7 M09<\/span>\n              <span class=\"imc-prop-proof\">I12, I14 \u00b7 14 sc\u00e9narios<\/span>\n            <\/div>\n          <\/div>\n\n          <!-- Et -->\n          <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n            <div style=\"display:flex;align-items:baseline;gap:0.6rem;margin-bottom:0.6rem\">\n              <span style=\"font-family:var(--serif);font-size:1.4rem;color:var(--ice);font-weight:600\">E<sub>t<\/sub><\/span>\n              <span style=\"font-family:var(--mono);font-size:0.62rem;color:var(--gold);letter-spacing:0.1em\">BUDGET \u00c9NERG\u00c9TIQUE<\/span>\n            <\/div>\n            <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.8rem\">\n              Budget computationnel et \u00e9nerg\u00e9tique disponible. Le calcul n&rsquo;est pas gratuit \u2014\n              chaque exploration, chaque \u00e9valuation a un co\u00fbt.\n              La frugalit\u00e9 n&rsquo;est pas une optimisation : c&rsquo;est une contrainte gouvern\u00e9e.\n            <\/p>\n            <p style=\"font-size:0.78rem;color:var(--gray);line-height:1.6;margin:0 0 0.6rem\">\n              <strong style=\"color:var(--ice)\">Formel :<\/strong>\n              E<sub>t<\/sub> \u2208 \u211d<sup>+<\/sup> avec E<sub>t<\/sub> \u2265 E<sub>min<\/sub> (seuil de survie)<br>\n              <strong style=\"color:var(--ice)\">Condition :<\/strong>\n              Si E<sub>t<\/sub> &lt; E<sub>critique<\/sub> \u2192 r\u00e9duction du calcul, extinction sous-syst\u00e8mes non essentiels<br>\n              <strong style=\"color:var(--ice)\">Monotonie :<\/strong>\n              Le budget d\u00e9cro\u00eet de mani\u00e8re contr\u00f4l\u00e9e \u2014 drift \u00e9nerg\u00e9tique born\u00e9\n            <\/p>\n            <div style=\"display:flex;gap:0.4rem;flex-wrap:wrap\">\n              <span class=\"imc-prop-module\">EcoFlux\u2122 \u00b7 M16<\/span>\n              <span class=\"imc-prop-proof\">Drift born\u00e9<\/span>\n            <\/div>\n          <\/div>\n\n          <!-- Gt -->\n          <div style=\"border:1px solid rgba(74,144,217,0.12);border-radius:2px;padding:1.5rem;background:rgba(12,24,41,0.3)\">\n            <div style=\"display:flex;align-items:baseline;gap:0.6rem;margin-bottom:0.6rem\">\n              <span style=\"font-family:var(--serif);font-size:1.4rem;color:var(--ice);font-weight:600\">G<sub>t<\/sub><\/span>\n              <span style=\"font-family:var(--mono);font-size:0.62rem;color:var(--gold);letter-spacing:0.1em\">GOUVERNANCE<\/span>\n            <\/div>\n            <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.8rem\">\n              Politique d\u00e9cisionnelle active. R\u00e8gles RBAC\/ABAC, cadre mission,\n              r\u00e8gles d&rsquo;engagement, p\u00e9rim\u00e8tre d&rsquo;action autoris\u00e9.\n              Aucune action ne s&rsquo;ex\u00e9cute sans passage par le point d\u00e9cisionnel unique.\n            <\/p>\n            <p style=\"font-size:0.78rem;color:var(--gray);line-height:1.6;margin:0 0 0.6rem\">\n              <strong style=\"color:var(--ice)\">Formel :<\/strong>\n              G<sub>t<\/sub> : (S<sub>t<\/sub>, A<sub>candidat<\/sub>) \u2192 {autoris\u00e9, refus\u00e9, diff\u00e9r\u00e9}<br>\n              <strong style=\"color:var(--ice)\">Non-bypass :<\/strong>\n              \u2200 action, \u00ac\u2203 chemin(action) sans G<sub>t<\/sub> \u2014 prouv\u00e9 NBC-1\u2192NBC-8<br>\n              <strong style=\"color:var(--ice)\">Pr\u00e9servation :<\/strong>\n              G<sub>t+1<\/sub> h\u00e9rite de G<sub>t<\/sub> sauf transition politique explicite (I11)\n            <\/p>\n            <div style=\"display:flex;gap:0.4rem;flex-wrap:wrap\">\n              <span class=\"imc-prop-module\">OMEGA\u2122 \u00b7 M10<\/span>\n              <span class=\"imc-prop-proof\">NBC-1\u2192NBC-8 \u00b7 8 Qed<\/span>\n            <\/div>\n          <\/div>\n\n          <!-- At (r\u00e9sultat) -->\n          <div style=\"border:1px solid rgba(201,169,110,0.25);border-radius:2px;padding:1.5rem;background:rgba(201,169,110,0.06)\">\n            <div style=\"display:flex;align-items:baseline;gap:0.6rem;margin-bottom:0.6rem\">\n              <span style=\"font-family:var(--serif);font-size:1.4rem;color:var(--gold);font-weight:600\">A<sub>t<\/sub><\/span>\n              <span style=\"font-family:var(--mono);font-size:0.62rem;color:var(--gold);letter-spacing:0.1em\">ACTION R\u00c9SULTANTE<\/span>\n            <\/div>\n            <p style=\"font-size:0.82rem;color:var(--gray);line-height:1.7;margin:0 0 0.8rem\">\n              L&rsquo;action r\u00e9sultante n&rsquo;est jamais libre. Elle est le produit des cinq variables\n              et ne peut exister que si toutes les conditions sont satisfaites simultan\u00e9ment.\n              L&rsquo;inaction est une sortie valide.\n            <\/p>\n            <p style=\"font-size:0.78rem;color:var(--gray);line-height:1.6;margin:0 0 0.6rem\">\n              <strong style=\"color:var(--ice)\">Formel :<\/strong>\n              A<sub>t<\/sub> \u2208 {action<sub>autoris\u00e9e<\/sub>, refus, mode_conservateur, arr\u00eat}<br>\n              <strong style=\"color:var(--ice)\">Condition n\u00e9cessaire :<\/strong>\n              A<sub>t<\/sub> \u2260 refus \u27fa G<sub>t<\/sub> = autoris\u00e9 \u2227 \u2200c<sub>i<\/sub>(S<sub>t<\/sub>) \u2227 U<sub>t<\/sub> \u2264 U<sub>max<\/sub> \u2227 E<sub>t<\/sub> \u2265 E<sub>min<\/sub><br>\n              <strong style=\"color:var(--ice)\">Tra\u00e7abilit\u00e9 :<\/strong>\n              Chaque A<sub>t<\/sub> journalis\u00e9e PRISM\u2122 \u2014 append-only prouv\u00e9 (I5-I7)\n            <\/p>\n            <div style=\"display:flex;gap:0.4rem;flex-wrap:wrap\">\n              <span class=\"imc-prop-module\">AEGIS\u2122 \u00b7 M08<\/span>\n              <span class=\"imc-prop-module\">PRISM\u2122 \u00b7 M02<\/span>\n              <span class=\"imc-prop-proof\">I5, I6, I7<\/span>\n            <\/div>\n          <\/div>\n\n        <\/div>\n\n        <!-- Conditions de basculement -->\n        <div style=\"margin-top:2rem;padding:1.5rem 2rem;border:1px solid rgba(192,57,43,0.2);border-radius:2px;background:rgba(192,57,43,0.05)\">\n          <p style=\"font-family:var(--mono);font-size:0.68rem;letter-spacing:0.15em;color:var(--red);text-transform:uppercase;margin:0 0 0.8rem\">\n            Conditions de basculement automatique \u2192 mode conservateur\n          <\/p>\n          <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(250px,1fr));gap:1rem\">\n            <p style=\"font-size:0.8rem;color:var(--gray);line-height:1.7;margin:0\">\n              <strong style=\"color:var(--ice)\">Violation d&rsquo;invariant :<\/strong><br>\n              \u2203 c<sub>i<\/sub> tel que c<sub>i<\/sub>(S<sub>t<\/sub>) = faux<br>\n              \u2192 CircuitBreaker\u2122 d\u00e9clenche le fail-safe<br>\n              \u2192 A<sub>t<\/sub> = A<sub>conservateur<\/sub> (non-action ou repli s\u00fbr)\n            <\/p>\n            <p style=\"font-size:0.8rem;color:var(--gray);line-height:1.7;margin:0\">\n              <strong style=\"color:var(--ice)\">Incertitude excessive :<\/strong><br>\n              U<sub>t<\/sub> &gt; U<sub>max<\/sub><br>\n              \u2192 D\u00e9cision diff\u00e9r\u00e9e ou refus\u00e9e<br>\n              \u2192 PRISM\u2122 journalise le refus avec justification\n            <\/p>\n            <p style=\"font-size:0.8rem;color:var(--gray);line-height:1.7;margin:0\">\n              <strong style=\"color:var(--ice)\">Budget \u00e9puis\u00e9 :<\/strong><br>\n              E<sub>t<\/sub> &lt; E<sub>critique<\/sub><br>\n              \u2192 EcoFlux\u2122 r\u00e9duit le p\u00e9rim\u00e8tre de calcul<br>\n              \u2192 Maintien du noyau d\u00e9cisionnel minimal\n            <\/p>\n            <p style=\"font-size:0.8rem;color:var(--gray);line-height:1.7;margin:0\">\n              <strong style=\"color:var(--ice)\">Hors cadre politique :<\/strong><br>\n              G<sub>t<\/sub>(S<sub>t<\/sub>, A<sub>candidat<\/sub>) = refus\u00e9<br>\n              \u2192 CERB\u00c8RE\u2122 bloque l&rsquo;action<br>\n              \u2192 OMEGA\u2122 \u00e9met un refus trac\u00e9\n            <\/p>\n          <\/div>\n        <\/div>\n\n        <!-- Propri\u00e9t\u00e9s formelles -->\n        <div style=\"margin-top:2rem;padding:1.5rem 2rem;border:1px solid rgba(39,174,96,0.2);border-radius:2px;background:rgba(39,174,96,0.05)\">\n          <p style=\"font-family:var(--mono);font-size:0.68rem;letter-spacing:0.15em;color:var(--green);text-transform:uppercase;margin:0 0 0.8rem\">\n            Propri\u00e9t\u00e9s formelles de la fonction de d\u00e9cision\n          <\/p>\n          <div style=\"display:grid;grid-template-columns:repeat(auto-fit,minmax(280px,1fr));gap:1rem\">\n            <p style=\"font-size:0.8rem;color:var(--gray);line-height:1.7;margin:0\">\n              <strong style=\"color:var(--ice)\">P1 \u00b7 D\u00e9terminisme :<\/strong>\n              M\u00eames entr\u00e9es (S<sub>t<\/sub>, U<sub>t<\/sub>, C<sub>t<\/sub>, E<sub>t<\/sub>, G<sub>t<\/sub>) \u2192 m\u00eame A<sub>t<\/sub>.\n              Seed contr\u00f4l\u00e9, hash d&rsquo;\u00e9tat stable, divergence inter-run = 0.\n              <em>Rejouabilit\u00e9 compl\u00e8te garantie.<\/em>\n            <\/p>\n            <p style=\"font-size:0.8rem;color:var(--gray);line-height:1.7;margin:0\">\n              <strong style=\"color:var(--ice)\">P2 \u00b7 Non-bypass :<\/strong>\n              Il n&rsquo;existe aucun chemin d&rsquo;ex\u00e9cution qui contourne G<sub>t<\/sub>.\n              Prouv\u00e9 formellement : NBC-1\u2192NBC-8 (8 lemmes Isabelle\/HOL, Qed).\n              <em>M\u00eame un composant compromis ne peut pas forcer une d\u00e9cision.<\/em>\n            <\/p>\n            <p style=\"font-size:0.8rem;color:var(--gray);line-height:1.7;margin:0\">\n              <strong style=\"color:var(--ice)\">P3 \u00b7 Fail-closed :<\/strong>\n              En cas de doute, le syst\u00e8me ne fait rien.\n              L&rsquo;absence de d\u00e9cision est une d\u00e9cision valide (A<sub>t<\/sub> = refus).\n              <em>M00 fail-closed gate \u2014 I4 prouv\u00e9.<\/em>\n            <\/p>\n            <p style=\"font-size:0.8rem;color:var(--gray);line-height:1.7;margin:0\">\n              <strong style=\"color:var(--ice)\">P4 \u00b7 Tra\u00e7abilit\u00e9 totale :<\/strong>\n              Chaque \u00e9valuation de f() est journalis\u00e9e dans PRISM\u2122 :\n              (S<sub>t<\/sub>, U<sub>t<\/sub>, C<sub>t<\/sub>, E<sub>t<\/sub>, G<sub>t<\/sub>, A<sub>t<\/sub>, timestamp, hash).\n              <em>Append-only prouv\u00e9 \u2014 I5, I6, I7, I8.<\/em>\n            <\/p>\n          <\/div>\n        <\/div>\n\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 02b EXTENSION QUANTIQUE \u2550\u2550\u2550 -->\n<div class=\"imc-band-warm\">\n  <div class=\"imc-inner\">\n    <div class=\"imc-section-label\" style=\"color:var(--violet)\">02b \u2014 Extension quantique<\/div>\n    <h2>Quantum-Ready\u2122 \u2014 <em>profondeur, pas intelligence<\/em><\/h2>\n    <p class=\"imc-lead\" style=\"color:#5A6B7F\">\n      Le calcul quantique n&rsquo;est pas int\u00e9gr\u00e9 \u00e0 \u0394IMC pour rendre le syst\u00e8me plus intelligent.\n      Il est int\u00e9gr\u00e9 pour le rendre <strong>plus profond<\/strong> \u2014 explorer plus de branches,\n      propager l&rsquo;incertitude sur un espace plus vaste, \u00e9valuer des contraintes combinatoires\n      que le calcul classique ne peut pas couvrir en temps born\u00e9.\n      La gouvernance reste classique. La preuve reste classique.\n      Seule la profondeur de calcul change.\n    <\/p>\n\n    <!-- Equation \u00e9tendue -->\n    <div style=\"border:1px solid #D5CFC5;border-radius:2px;overflow:hidden;margin-top:2rem\">\n      <div style=\"background:rgba(123,104,238,0.06);padding:1rem 2rem;border-bottom:1px solid rgba(123,104,238,0.1)\">\n        <p style=\"font-family:var(--mono);font-size:0.68rem;letter-spacing:0.15em;color:var(--violet);text-transform:uppercase;margin:0\">\n          Fonction de d\u00e9cision \u00e9tendue \u2014 mode Quantum-Ready\n        <\/p>\n      <\/div>\n      <div style=\"padding:2rem;background:var(--white)\">\n\n        <!-- Equation compar\u00e9e -->\n        <div style=\"display:grid;grid-template-columns:1fr auto 1fr;gap:1.5rem;align-items:center;margin-bottom:2rem\">\n          <div style=\"text-align:center;padding:1.2rem;border:1px solid #E2E8F0;border-radius:2px\">\n            <p style=\"font-family:var(--mono);font-size:0.6rem;color:var(--gray);letter-spacing:0.1em;text-transform:uppercase;margin:0 0 0.5rem\">Mode classique<\/p>\n            <p style=\"font-family:var(--serif);font-size:1.2rem;color:var(--navy);margin:0\">\n              A<sub>t<\/sub> = f( S<sub>t<\/sub> , U<sub>t<\/sub> , C<sub>t<\/sub> , E<sub>t<\/sub> , G<sub>t<\/sub> )\n            <\/p>\n            <p style=\"font-family:var(--mono);font-size:0.65rem;color:var(--gray);margin-top:0.3rem\">\n              Exploration : N branches s\u00e9quentielles\n            <\/p>\n          <\/div>\n          <div style=\"font-family:var(--serif);font-size:1.8rem;color:var(--violet)\">\u2192<\/div>\n          <div style=\"text-align:center;padding:1.2rem;border:1px solid rgba(123,104,238,0.25);border-radius:2px;background:rgba(123,104,238,0.03)\">\n            <p style=\"font-family:var(--mono);font-size:0.6rem;color:var(--violet);letter-spacing:0.1em;text-transform:uppercase;margin:0 0 0.5rem\">Mode Quantum-Ready<\/p>\n            <p style=\"font-family:var(--serif);font-size:1.2rem;color:var(--navy);margin:0\">\n              A<sub>t<\/sub> = f( S<sub>t<\/sub> , U<sub>t<\/sub><sup>Q<\/sup> , C<sub>t<\/sub><sup>Q<\/sup> , E<sub>t<\/sub> , G<sub>t<\/sub> )\n            <\/p>\n            <p style=\"font-family:var(--mono);font-size:0.65rem;color:var(--violet);margin-top:0.3rem\">\n              Exploration : 2<sup>n<\/sup> branches en superposition\n            <\/p>\n          <\/div>\n        <\/div>\n\n        <!-- Ce qui change \/ ce qui ne change pas -->\n        <div style=\"display:grid;grid-template-columns:1fr 1fr;gap:1.5rem\">\n\n          <div style=\"border:1px solid rgba(123,104,238,0.2);border-radius:2px;overflow:hidden\">\n            <div style=\"padding:0.7rem 1.2rem;background:rgba(123,104,238,0.06);border-bottom:1px solid rgba(123,104,238,0.1)\">\n              <p style=\"font-family:var(--mono);font-size:0.65rem;font-weight:600;color:var(--violet);letter-spacing:0.1em;text-transform:uppercase;margin:0\">Ce que le quantique approfondit<\/p>\n            <\/div>\n            <div style=\"padding:1.2rem\">\n              <div style=\"padding:0.6rem 0;border-bottom:1px solid #F0F0F0\">\n                <p style=\"font-size:0.85rem;color:var(--navy);font-weight:600;margin:0 0 0.2rem\">U<sub>t<\/sub><sup>Q<\/sup> \u2014 Incertitude multi-branche<\/p>\n                <p style=\"font-size:0.8rem;color:#5A6B7F;line-height:1.6;margin:0\">\n                  Exploration simultan\u00e9e de 2<sup>n<\/sup> sc\u00e9narios d&rsquo;incertitude en superposition quantique.\n                  L&rsquo;espace des \u00e9tats incertains est couvert en profondeur, pas par \u00e9chantillonnage.\n                  La borne U<sub>max<\/sub> est \u00e9valu\u00e9e sur l&rsquo;ensemble des branches, pas sur un sous-ensemble.\n                <\/p>\n              <\/div>\n              <div style=\"padding:0.6rem 0;border-bottom:1px solid #F0F0F0\">\n                <p style=\"font-size:0.85rem;color:var(--navy);font-weight:600;margin:0 0 0.2rem\">C<sub>t<\/sub><sup>Q<\/sup> \u2014 Satisfaction combinatoire<\/p>\n                <p style=\"font-size:0.8rem;color:#5A6B7F;line-height:1.6;margin:0\">\n                  V\u00e9rification de la satisfaction simultan\u00e9e de N contraintes combinatoires\n                  (optimisation Grover). Certaines combinaisons de contraintes sont NP-difficiles\n                  en classique \u2014 le quantique les rend tractables en temps born\u00e9.\n                <\/p>\n              <\/div>\n              <div style=\"padding:0.6rem 0\">\n                <p style=\"font-size:0.85rem;color:var(--navy);font-weight:600;margin:0 0 0.2rem\">Exploration ATLAS\u2122 \u2014 profondeur \u00d72<sup>n<\/sup><\/p>\n                <p style=\"font-size:0.8rem;color:#5A6B7F;line-height:1.6;margin:0\">\n                  L&rsquo;exploration multi-branches d&rsquo;ATLAS (\u00e9tape 03 du cycle cognitif) passe\n                  de N sc\u00e9narios s\u00e9quentiels \u00e0 2<sup>n<\/sup> sc\u00e9narios en superposition.\n                  La d\u00e9cision est prise sur un paysage d\u00e9cisionnel complet, pas sur un \u00e9chantillon.\n                <\/p>\n              <\/div>\n            <\/div>\n          <\/div>\n\n          <div style=\"border:1px solid rgba(39,174,96,0.2);border-radius:2px;overflow:hidden\">\n            <div style=\"padding:0.7rem 1.2rem;background:rgba(39,174,96,0.06);border-bottom:1px solid rgba(39,174,96,0.1)\">\n              <p style=\"font-family:var(--mono);font-size:0.65rem;font-weight:600;color:var(--green);letter-spacing:0.1em;text-transform:uppercase;margin:0\">Ce qui reste strictement classique<\/p>\n            <\/div>\n            <div style=\"padding:1.2rem\">\n              <div style=\"padding:0.6rem 0;border-bottom:1px solid #F0F0F0\">\n                <p style=\"font-size:0.85rem;color:var(--navy);font-weight:600;margin:0 0 0.2rem\">G<sub>t<\/sub> \u2014 Gouvernance<\/p>\n                <p style=\"font-size:0.8rem;color:#5A6B7F;line-height:1.6;margin:0\">\n                  OMEGA\u2122 reste un moteur classique. La politique RBAC\/ABAC, le non-bypass (NBC-1\u21928),\n                  la pr\u00e9servation de politique (I11) \u2014 tout est classique et prouv\u00e9 en Isabelle\/HOL.\n                  <strong>Le quantique ne d\u00e9cide pas. Il explore. La gouvernance tranche.<\/strong>\n                <\/p>\n              <\/div>\n              <div style=\"padding:0.6rem 0;border-bottom:1px solid #F0F0F0\">\n                <p style=\"font-size:0.85rem;color:var(--navy);font-weight:600;margin:0 0 0.2rem\">S<sub>t<\/sub> \u2014 \u00c9tat du syst\u00e8me<\/p>\n                <p style=\"font-size:0.8rem;color:#5A6B7F;line-height:1.6;margin:0\">\n                  L&rsquo;\u00e9tat observ\u00e9 reste classique. Les capteurs produisent des valeurs classiques.\n                  La transition \u03b4(S<sub>t<\/sub>, A<sub>t<\/sub>) reste d\u00e9terministe.\n                  Le calcul quantique enrichit l&rsquo;\u00e9valuation, pas l&rsquo;observation.\n                <\/p>\n              <\/div>\n              <div style=\"padding:0.6rem 0;border-bottom:1px solid #F0F0F0\">\n                <p style=\"font-size:0.85rem;color:var(--navy);font-weight:600;margin:0 0 0.2rem\">A<sub>t<\/sub> \u2014 Action r\u00e9sultante<\/p>\n                <p style=\"font-size:0.8rem;color:#5A6B7F;line-height:1.6;margin:0\">\n                  L&rsquo;action produite est classique, d\u00e9terministe, tra\u00e7able.\n                  PRISM\u2122 journalise une d\u00e9cision classique. AEGIS\u2122 ex\u00e9cute une action classique.\n                  Le quantique ne produit pas d&rsquo;action \u2014 il informe la d\u00e9cision.\n                <\/p>\n              <\/div>\n              <div style=\"padding:0.6rem 0\">\n                <p style=\"font-size:0.85rem;color:var(--navy);font-weight:600;margin:0 0 0.2rem\">Preuves formelles<\/p>\n                <p style=\"font-size:0.8rem;color:#5A6B7F;line-height:1.6;margin:0\">\n                  Les 535+ th\u00e9or\u00e8mes Isabelle\/HOL restent valides.\n                  Le quantique ne modifie aucun invariant prouv\u00e9.\n                  Il s&rsquo;ins\u00e8re en amont de la gouvernance, pas \u00e0 sa place.\n                <\/p>\n              <\/div>\n            <\/div>\n          <\/div>\n        <\/div>\n\n        <!-- Sch\u00e9ma conceptuel -->\n        <div style=\"margin-top:2rem;padding:1.5rem 2rem;border:1px solid #E2E8F0;border-radius:2px;background:#FAFAF8\">\n          <p style=\"font-family:var(--mono);font-size:0.68rem;letter-spacing:0.15em;color:var(--navy);text-transform:uppercase;margin:0 0 1rem\">\n            Architecture d\u00e9cisionnelle \u2014 classique vs quantum-ready\n          <\/p>\n          <div style=\"font-family:var(--mono);font-size:0.78rem;line-height:2.2;color:#4A5568\">\n            <div style=\"display:grid;grid-template-columns:auto 1fr;gap:0 1rem\">\n              <span style=\"color:var(--gray)\">Capteurs<\/span>\n              <span>\u2192 S<sub>t<\/sub> classique (observation)<\/span>\n              <span style=\"color:var(--gray)\">Exploration<\/span>\n              <span>\u2192 ATLAS\u2122 : N branches <span style=\"color:var(--violet)\">ou 2<sup>n<\/sup> en mode Q<\/span><\/span>\n              <span style=\"color:var(--gray)\">Incertitude<\/span>\n              <span>\u2192 U<sub>t<\/sub> classique <span style=\"color:var(--violet)\">ou U<sub>t<\/sub><sup>Q<\/sup> propag\u00e9e sur superposition<\/span><\/span>\n              <span style=\"color:var(--gray)\">Contraintes<\/span>\n              <span>\u2192 C<sub>t<\/sub> classique <span style=\"color:var(--violet)\">ou C<sub>t<\/sub><sup>Q<\/sup> satisfaction combinatoire Grover<\/span><\/span>\n              <span style=\"color:var(--gray)\">\u00c9nergie<\/span>\n              <span>\u2192 E<sub>t<\/sub> classique (budget born\u00e9)<\/span>\n              <span style=\"color:var(--green);font-weight:600\">Gouvernance<\/span>\n              <span style=\"color:var(--green);font-weight:600\">\u2192 G<sub>t<\/sub> OMEGA\u2122 classique \u2014 prouv\u00e9 NBC-1\u21928<\/span>\n              <span style=\"color:var(--gold);font-weight:600\">D\u00e9cision<\/span>\n              <span style=\"color:var(--gold);font-weight:600\">\u2192 A<sub>t<\/sub> classique, d\u00e9terministe, tra\u00e7able PRISM\u2122<\/span>\n            <\/div>\n          <\/div>\n        <\/div>\n\n        <!-- Quantum Assurance link -->\n        <div style=\"margin-top:1.5rem;text-align:center\">\n          <a href=\"https:\/\/cortexorigin.com\/index.php\/quantum-assurance-architecture-quantum-ready\/\" style=\"font-family:var(--mono);font-size:0.72rem;color:var(--violet);letter-spacing:0.05em;text-decoration:underline\">\n            Quantum Assurance &#038; Architecture Quantum-Ready \u2014 page d\u00e9di\u00e9e \u2192\n          <\/a>\n        <\/div>\n\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 03 ASSURANCE : DIMENSION \u2192 PREUVE \u2192 MODULE \u2550\u2550\u2550 -->\n<div class=\"imc-section\">\n  <div class=\"imc-section-label\">03 \u2014 Assurance &#038; preuve<\/div>\n  <h2>Chaque propri\u00e9t\u00e9 <em>adoss\u00e9e \u00e0 une preuve<\/em><\/h2>\n  <p class=\"imc-lead\">\n    \u0394IMC ne revendique rien sans preuve formelle ou test de robustesse document\u00e9.\n    Le tableau ci-dessous remplace les comparaisons d\u00e9claratives\n    par des correspondances v\u00e9rifiables : dimension \u2192 preuve \u2192 module.\n  <\/p>\n\n  <div style=\"overflow-x:auto\">\n    <table class=\"imc-table imc-table-light\" style=\"margin-top:1rem\">\n      <thead>\n        <tr>\n          <th style=\"color:var(--navy)\">DIMENSION \u0394IMC<\/th>\n          <th style=\"color:var(--navy)\">PREUVE \/ TEST<\/th>\n          <th style=\"color:var(--navy)\">MODULE<\/th>\n          <th style=\"color:var(--navy)\">INVARIANT<\/th>\n        <\/tr>\n      <\/thead>\n      <tbody>\n        <tr>\n          <td>Gouvernance formelle<\/td>\n          <td>NBC-1\u2192NBC-8, 8 lemmes Qed (Isabelle\/HOL)<\/td>\n          <td style=\"font-family:var(--mono);font-size:0.78rem\">OMEGA\u2122 (M10)<\/td>\n          <td>I11<\/td>\n        <\/tr>\n        <tr>\n          <td>Invariants de s\u00e9curit\u00e9 runtime<\/td>\n          <td>1 600 ex\u00e9cutions chaos, 0 crash, 0 NaN\/Inf<\/td>\n          <td style=\"font-family:var(--mono);font-size:0.78rem\">CircuitBreaker\u2122 (M09)<\/td>\n          <td>I12, I14<\/td>\n        <\/tr>\n        <tr>\n          <td>Rejouabilit\u00e9 compl\u00e8te<\/td>\n          <td>Append-only prouv\u00e9, hash-chain SHA-256<\/td>\n          <td style=\"font-family:var(--mono);font-size:0.78rem\">PRISM\u2122 (M02)<\/td>\n          <td>I5, I6, I7, I8<\/td>\n        <\/tr>\n        <tr>\n          <td>Incertitude formelle<\/td>\n          <td>Tests dt_sensitivity, RMS d\u00e9rive contr\u00f4l\u00e9e<\/td>\n          <td style=\"font-family:var(--mono);font-size:0.78rem\">ATLAS\u2122 (M03)<\/td>\n          <td>Bornes v\u00e9rifi\u00e9es<\/td>\n        <\/tr>\n        <tr>\n          <td>Frugalit\u00e9 adaptative<\/td>\n          <td>Budget runtime, drift \u00e9nerg\u00e9tique born\u00e9<\/td>\n          <td style=\"font-family:var(--mono);font-size:0.78rem\">EcoFlux\u2122 (M16)<\/td>\n          <td>Budget runtime<\/td>\n        <\/tr>\n        <tr>\n          <td>Non-interf\u00e9rence<\/td>\n          <td>Unwinding, non-interf\u00e9rence forte (Isabelle\/HOL)<\/td>\n          <td style=\"font-family:var(--mono);font-size:0.78rem\">seL4 + M00<\/td>\n          <td>I9, NBC-8<\/td>\n        <\/tr>\n        <tr>\n          <td>Isolation TCB<\/td>\n          <td>4 composants, capabilities exhaustives CDL<\/td>\n          <td style=\"font-family:var(--mono);font-size:0.78rem\">seL4 + M00<\/td>\n          <td>I1, I2, I3, I13<\/td>\n        <\/tr>\n        <tr>\n          <td>Profondeur quantique<\/td>\n          <td>Exploration 2<sup>n<\/sup> branches, satisfaction Grover<\/td>\n          <td style=\"font-family:var(--mono);font-size:0.78rem\">Quantum-Ready\u2122<\/td>\n          <td>G<sub>t<\/sub> classique pr\u00e9serv\u00e9<\/td>\n        <\/tr>\n      <\/tbody>\n    <\/table>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 04 CYCLE COGNITIF \u2550\u2550\u2550 -->\n<div class=\"imc-band-dark\">\n  <div class=\"imc-inner\">\n    <div class=\"imc-section-label\">04 \u2014 Cycle cognitif<\/div>\n    <h2 style=\"color:#fff !important\">Sept \u00e9tapes <em style=\"color:var(--ice)\">\u2014 d\u00e9cision s\u00e9par\u00e9e de l&rsquo;ex\u00e9cution<\/em><\/h2>\n    <p class=\"imc-lead\">\n      La d\u00e9cision est toujours s\u00e9par\u00e9e de l&rsquo;ex\u00e9cution.\n      Chaque \u00e9tape du cycle cognitif est prise en charge par un composant nomm\u00e9.\n    <\/p>\n\n    <div style=\"overflow-x:auto;margin-top:2rem\">\n      <table class=\"imc-table\">\n        <thead>\n          <tr>\n            <th>\u00c9TAPE<\/th>\n            <th>FONCTION<\/th>\n            <th>MODULE<\/th>\n          <\/tr>\n        <\/thead>\n        <tbody>\n          <tr><td>01 \u00b7 Ingestion<\/td><td>Validation des entr\u00e9es, filtrage, typage<\/td><td style=\"font-family:var(--mono);font-size:0.78rem\">InterfaceGateway\u2122 (M27)<\/td><\/tr>\n          <tr><td>02 \u00b7 Propagation<\/td><td>Propagation d&rsquo;\u00e9tat formalis\u00e9e, mise \u00e0 jour du mod\u00e8le<\/td><td style=\"font-family:var(--mono);font-size:0.78rem\">M00 Kernel Cortex<\/td><\/tr>\n          <tr><td>03 \u00b7 Exploration<\/td><td>Exploration multi-branches, sc\u00e9narios alternatifs<\/td><td style=\"font-family:var(--mono);font-size:0.78rem\">ATLAS\u2122 (M03)<\/td><\/tr>\n          <tr><td>04 \u00b7 \u00c9valuation<\/td><td>\u00c9valuation du risque, propagation d&rsquo;incertitude<\/td><td style=\"font-family:var(--mono);font-size:0.78rem\">ATLAS\u2122 + CircuitBreaker\u2122<\/td><\/tr>\n          <tr><td>05 \u00b7 Gouvernance<\/td><td>Validation politique, contr\u00f4le RBAC\/ABAC<\/td><td style=\"font-family:var(--mono);font-size:0.78rem\">OMEGA\u2122 (M10)<\/td><\/tr>\n          <tr><td>06 \u00b7 Ex\u00e9cution<\/td><td>Ex\u00e9cution contr\u00f4l\u00e9e, born\u00e9e, r\u00e9versible si possible<\/td><td style=\"font-family:var(--mono);font-size:0.78rem\">AEGIS\u2122 (M08)<\/td><\/tr>\n          <tr><td>07 \u00b7 Journalisation<\/td><td>Preuve opposable, hash-chain, append-only<\/td><td style=\"font-family:var(--mono);font-size:0.78rem\">PRISM\u2122 (M02)<\/td><\/tr>\n        <\/tbody>\n      <\/table>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 05 SC\u00c9NARIO CONCRET \u2550\u2550\u2550 -->\n<div class=\"imc-band-warm\">\n  <div class=\"imc-inner\">\n    <div class=\"imc-section-label\">05 \u2014 Sc\u00e9nario d&#8217;emploi<\/div>\n    <h2>Infrastructure \u00e9nerg\u00e9tique \u2014 <em>d\u00e9cision sous contrainte<\/em><\/h2>\n    <p class=\"imc-lead\" style=\"color:#5A6B7F\">\n      Un syst\u00e8me de gestion de r\u00e9seau \u00e9lectrique d\u00e9tecte une anomalie de charge\n      et doit d\u00e9cider d&rsquo;un d\u00e9lestage partiel. Voici comment \u0394IMC gouverne cette d\u00e9cision critique.\n    <\/p>\n\n    <div class=\"imc-scenario\">\n      <div class=\"imc-scenario-header\">Sc\u00e9nario \u0394IMC-01 \u2014 R\u00e9seau HTA \u00b7 Surcharge d\u00e9tect\u00e9e \u00b7 Mode autonome<\/div>\n      <div class=\"imc-scenario-title\">D\u00e9lestage gouvern\u00e9 sous contraintes physiques et r\u00e9glementaires<\/div>\n\n      <div class=\"imc-timeline\">\n        <div class=\"imc-step\" data-t=\"T+0s\">\n          <h3>D\u00e9tection de la surcharge<\/h3>\n          <p>SENTINEL d\u00e9tecte une charge anormale sur un tron\u00e7on HTA. Propagation de l&rsquo;alerte qualifi\u00e9e (niveau, localisation, tendance).<\/p>\n          <span class=\"imc-step-module\">SENTINEL\u2122 d\u00e9tecte \u00b7 ATLAS\u2122 qualifie<\/span>\n        <\/div>\n        <div class=\"imc-step\" data-t=\"T+2s\">\n          <h3>Mod\u00e9lisation de l&rsquo;\u00e9tat<\/h3>\n          <p>M00 met \u00e0 jour le mod\u00e8le d&rsquo;\u00e9tat du r\u00e9seau. ATLAS explore 4 sc\u00e9narios : maintien, d\u00e9lestage zone A, d\u00e9lestage zone B, basculement source secondaire.<\/p>\n          <span class=\"imc-step-module\">M00 mod\u00e9lise \u00b7 ATLAS\u2122 explore \u00b7 U<sub>t<\/sub> propag\u00e9e<\/span>\n        <\/div>\n        <div class=\"imc-step\" data-t=\"T+4s\">\n          <h3>\u00c9valuation sous contraintes<\/h3>\n          <p>CircuitBreaker v\u00e9rifie les invariants physiques (bornes thermiques, stabilit\u00e9 fr\u00e9quence). Incertitude U<sub>t<\/sub> = 0.12 \u2014 dans les bornes acceptables.<\/p>\n          <span class=\"imc-step-module\">CircuitBreaker\u2122 valide \u00b7 invariants OK<\/span>\n        <\/div>\n        <div class=\"imc-step\" data-t=\"T+5s\">\n          <h3>Gouvernance \u2014 d\u00e9cision autoris\u00e9e<\/h3>\n          <p>OMEGA \u00e9value : le d\u00e9lestage zone A est dans le cadre politique autoris\u00e9 (RBAC op\u00e9rateur + contrainte r\u00e9glementaire). D\u00e9cision autoris\u00e9e.<\/p>\n          <span class=\"imc-step-module\">OMEGA\u2122 autorise \u00b7 CERB\u00c8RE\u2122 valide le cadre<\/span>\n        <\/div>\n        <div class=\"imc-step\" data-t=\"T+6s\">\n          <h3>Ex\u00e9cution contr\u00f4l\u00e9e + journalisation<\/h3>\n          <p>AEGIS ex\u00e9cute le d\u00e9lestage graduel. PRISM journalise : timestamp, contexte, incertitude, justification, hash-chain. Entr\u00e9e append-only.<\/p>\n          <span class=\"imc-step-module\">AEGIS\u2122 ex\u00e9cute \u00b7 PRISM\u2122 journalise \u00b7 I5-I7 prouv\u00e9s<\/span>\n        <\/div>\n        <div class=\"imc-step\" data-t=\"T+300s\">\n          <h3>Retour \u00e0 la normale \u2014 relecture<\/h3>\n          <p>L&rsquo;op\u00e9rateur SOC relit la cha\u00eene PRISM : 1 d\u00e9cision, 4 sc\u00e9narios \u00e9valu\u00e9s, 1 ex\u00e9cut\u00e9, contraintes respect\u00e9es. Tra\u00e7abilit\u00e9 opposable.<\/p>\n          <span class=\"imc-step-module\">PRISM\u2122 relecture \u00b7 cha\u00eene SHA-256 v\u00e9rifiable<\/span>\n        <\/div>\n      <\/div>\n    <\/div>\n\n    <p class=\"imc-prose\" style=\"margin-top:1.5rem;color:#5A6B7F;font-style:italic\">\n      Dans ce sc\u00e9nario, la d\u00e9cision a \u00e9t\u00e9 mod\u00e9lis\u00e9e, \u00e9valu\u00e9e sous contraintes physiques,\n      valid\u00e9e par la gouvernance, ex\u00e9cut\u00e9e de mani\u00e8re contr\u00f4l\u00e9e et journalis\u00e9e de fa\u00e7on opposable.\n      C&rsquo;est la diff\u00e9rence entre une IA qui d\u00e9cide et une IA gouvern\u00e9e.\n    <\/p>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 06 VALIDATION \u2550\u2550\u2550 -->\n<div class=\"imc-band-dark\">\n  <div class=\"imc-inner\">\n    <div class=\"imc-section-label\">06 \u2014 R\u00e9sultats de validation<\/div>\n    <h2 style=\"color:#fff !important\">Tests hostiles <em style=\"color:var(--ice)\">&amp; robustesse<\/em><\/h2>\n    <p class=\"imc-lead\">\n      Les r\u00e9sultats de validation sont internes. La certification Crit\u00e8res Communs\n      n&rsquo;a pas encore \u00e9t\u00e9 r\u00e9alis\u00e9e en laboratoire (CESTI\/CB).\n    <\/p>\n\n    <div class=\"imc-val-grid\">\n      <div class=\"imc-val-card\">\n        <h3>Robustesse hostile<\/h3>\n        <div class=\"imc-val-item\"><span>Ex\u00e9cutions chaos<\/span><span>1 600<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Crash<\/span><span style=\"color:var(--green)\">0<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Propagation NaN\/Inf<\/span><span style=\"color:var(--green)\">0<\/span><\/div>\n        <div class=\"imc-val-item\"><span>D\u00e9clenchement fail-safe<\/span><span>100%<\/span><\/div>\n      <\/div>\n      <div class=\"imc-val-card\">\n        <h3>D\u00e9terminisme<\/h3>\n        <div class=\"imc-val-item\"><span>Seed contr\u00f4l\u00e9<\/span><span>\u2713<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Hash d&rsquo;\u00e9tat stable<\/span><span>\u2713<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Replay complet<\/span><span>\u2713<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Divergence inter-run<\/span><span style=\"color:var(--green)\">0<\/span><\/div>\n      <\/div>\n      <div class=\"imc-val-card\">\n        <h3>Sensibilit\u00e9 num\u00e9rique<\/h3>\n        <div class=\"imc-val-item\"><span>Tests dt_sensitivity<\/span><span>\u2713<\/span><\/div>\n        <div class=\"imc-val-item\"><span>RMS d\u00e9rive<\/span><span>contr\u00f4l\u00e9e<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Drift \u00e9nerg\u00e9tique<\/span><span>born\u00e9<\/span><\/div>\n      <\/div>\n      <div class=\"imc-val-card\">\n        <h3>14 invariants de s\u00e9curit\u00e9<\/h3>\n        <div class=\"imc-val-item\"><span>Isolation TCB (I1-I4)<\/span><span>4 prouv\u00e9s<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Int\u00e9grit\u00e9 audit PRISM (I5-I8)<\/span><span>4 prouv\u00e9s<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Non-interf\u00e9rence &amp; confinement (I9-I11)<\/span><span>3 prouv\u00e9s<\/span><\/div>\n        <div class=\"imc-val-item\"><span>FSM, capabilities, moniteur (I12-I14)<\/span><span>3 prouv\u00e9s<\/span><\/div>\n        <div class=\"imc-val-item\"><span>Lemmes totaux<\/span><span style=\"color:var(--green)\">234 \/ 234<\/span><\/div>\n      <\/div>\n    <\/div>\n\n    <div class=\"imc-quote\" style=\"background:rgba(30,48,85,0.4);border-left-color:var(--gold);margin:2.5rem 0 0;color:var(--gray)\">\n      <span style=\"color:var(--ice)\">Transparence :<\/span> les r\u00e9sultats ci-dessus sont issus de tests internes.\n      <strong style=\"color:var(--ice)\">La certification Crit\u00e8res Communs (CC) n&rsquo;a pas encore \u00e9t\u00e9 r\u00e9alis\u00e9e en laboratoire CESTI.<\/strong>\n      La preuve seL4 est h\u00e9rit\u00e9e de seL4 Foundation \u2014 CORTEX ne la reprouve pas.\n      Les lacunes connues sont document\u00e9es dans le\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\" style=\"color:var(--gold);text-decoration:underline\">Journal R&amp;D (\u00a711)<\/a>.\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 07 AUDIENCES \u2550\u2550\u2550 -->\n<div class=\"imc-section\">\n  <div class=\"imc-section-label\">07 \u2014 Pour qui \u0394IMC est con\u00e7u<\/div>\n  <h2>Trois audiences <em>\u2014 un m\u00eame standard<\/em><\/h2>\n\n  <div class=\"imc-aud-grid\">\n    <div class=\"imc-aud-card\">\n      <h3>Recherche &amp; acad\u00e9mique<\/h3>\n      <p>Architectures cognitives hybrides, th\u00e9orie du contr\u00f4le, AI sous contraintes,\n         formal verification, syst\u00e8mes dynamiques critiques.\n         Le corpus formel (535+ th\u00e9or\u00e8mes Isabelle\/HOL, 0 sorry) est con\u00e7u pour\n         la reproductibilit\u00e9 et la revue par les pairs.<\/p>\n      <div style=\"margin-top:0.5rem\">\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\" style=\"font-family:var(--mono);font-size:0.72rem;color:var(--blue)\">Publications &#038; \u00e9valuations \u2192<\/a>\n      <\/div>\n    <\/div>\n    <div class=\"imc-aud-card\">\n      <h3>Industrie &amp; op\u00e9rationnel<\/h3>\n      <p>Stabilisation syst\u00e8mes autonomes, r\u00e9duction risque op\u00e9rationnel,\n         int\u00e9gration Zero Trust, fonctionnement offline\/edge, auditabilit\u00e9 compl\u00e8te.\n         \u0394IMC s&rsquo;int\u00e8gre comme couche de gouvernance sur les syst\u00e8mes existants.<\/p>\n      <div style=\"margin-top:0.5rem\">\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\" style=\"font-family:var(--mono);font-size:0.72rem;color:var(--blue)\">Industriels &#038; int\u00e9grateurs \u2192<\/a>\n      <\/div>\n    <\/div>\n    <div class=\"imc-aud-card\">\n      <h3>\u00c9tats &amp; institutions<\/h3>\n      <p>S\u00e9paration d\u00e9cision \/ ex\u00e9cution, invariants runtime prouv\u00e9s, journalisation inviolable,\n         fail-safe automatique, contrat de d\u00e9terminisme.\n         Architecture compatible avec les cadres ANSSI, CNES, NIS2, D\u00e9fense.<\/p>\n      <div style=\"margin-top:0.5rem\">\n        <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\" style=\"font-family:var(--mono);font-size:0.72rem;color:var(--blue)\">D\u00e9cideurs publics \u2192<\/a>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 08 TRAJECTOIRE \u2550\u2550\u2550 -->\n<div class=\"imc-band-dark\" style=\"padding:4rem 2rem\">\n  <div class=\"imc-inner\">\n    <div class=\"imc-section-label\">08 \u2014 Trajectoire<\/div>\n    <h2 style=\"color:#fff !important\">Phase actuelle <em style=\"color:var(--ice)\">&amp; prochaines \u00e9tapes<\/em><\/h2>\n\n    <div style=\"display:grid;grid-template-columns:1fr 1fr;gap:2rem;margin-top:2rem\">\n      <div style=\"border:1px solid rgba(39,174,96,0.25);border-radius:2px;padding:1.8rem;background:rgba(39,174,96,0.05)\">\n        <h3 style=\"color:var(--green) !important;font-size:0.85rem !important\">\u25cf PHASE ACTUELLE<\/h3>\n        <p style=\"color:var(--gray);font-size:0.85rem;line-height:1.7;margin-top:0.5rem\">\n          Validation interne robuste achev\u00e9e.\n          535+ th\u00e9or\u00e8mes prouv\u00e9s (Isabelle\/HOL, 0 sorry).\n          160K+ tests pass\u00e9s. 1 600 ex\u00e9cutions chaos. 14 invariants prouv\u00e9s formellement.\n          77% couverture SAR EAL7. 10 documents CC normatifs produits.\n        <\/p>\n      <\/div>\n      <div style=\"border:1px solid rgba(74,144,217,0.25);border-radius:2px;padding:1.8rem;background:rgba(74,144,217,0.05)\">\n        <h3 style=\"color:var(--ice) !important;font-size:0.85rem !important\">\u25cb PROCHAINES \u00c9TAPES<\/h3>\n        <p style=\"color:var(--gray);font-size:0.85rem;line-height:1.7;margin-top:0.5rem\">\n          Pr\u00e9-qualification institutionnelle (ANSSI CSPN \/ CC EAL6-7).\n          Validation ind\u00e9pendante par CESTI.\n          Extension multi-agents gouvern\u00e9e.\n          Mod\u00e8les physiques enrichis.\n          Ventilation tests (unit\u00e9 \/ int\u00e9gration \/ propri\u00e9t\u00e9).\n        <\/p>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 CLOSING \u2550\u2550\u2550 -->\n<div class=\"imc-band-dark\" style=\"padding:4rem 2rem;background:var(--navy-mid)\">\n  <div class=\"imc-inner\" style=\"text-align:center\">\n    <div class=\"imc-quote\" style=\"background:rgba(30,48,85,0.4);border-left-color:var(--gold);text-align:left;max-width:800px;margin:0 auto;color:var(--ice)\">\n      Les syst\u00e8mes autonomes se multiplient. Les exigences de tra\u00e7abilit\u00e9 augmentent.\n      Les architectures purement statistiques atteignent leurs limites.\n      \u0394IMC r\u00e9pond \u00e0 cette \u00e9volution structurelle :\n      <strong style=\"color:var(--white)\">autonomie gouvern\u00e9e, stable et prouvable.<\/strong>\n    <\/div>\n    <div style=\"margin-top:2rem;display:flex;gap:1rem;justify-content:center;flex-wrap:wrap\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\" class=\"imc-btn imc-btn-primary\">CFVL \u2014 V\u00e9rification formelle \u2192<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\" class=\"imc-btn imc-btn-secondary\">Publications &amp; \u00e9valuations \u2192<\/a>\n    <\/div>\n    <p style=\"font-family:var(--mono);font-size:0.68rem;color:var(--gray);margin-top:2rem;letter-spacing:0.1em\">\n      Cognitif \u00b7 Gouvern\u00e9 \u00b7 D\u00e9terministe \u00b7 Rejouable \u00b7 Quantum-Ready \u00b7 Souverain\n    <\/p>\n  <\/div>\n<\/div>\n\n<!-- \u2550\u2550\u2550 FOOTER \u2550\u2550\u2550 -->\n<div class=\"imc-footer\">\n  <div class=\"imc-inner\">\n    <div>\n      <div class=\"imc-footer-brand\">CORTEX <span>ORIGIN\u2122<\/span><\/div>\n      <p>Intelligence artificielle souveraine<br>\n      IMCORTEX\u2122 \u0394IMC \u2014 Architecture cognitive<br>\n      58 Rue de Monceau \u2014 75008 Paris<\/p>\n    <\/div>\n    <div>\n      <h4>Architecture<\/h4>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/larchitecture-cortex-origin\/\">CORTEX ORIGIN\u2122<\/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<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/space-ai-autonomie-gouvernee\/\">Space AI<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/quantum-assurance-architecture-quantum-ready\/\">Quantum-Ready\u2122<\/a>\n    <\/div>\n    <div>\n      <h4>V\u00e9rification<\/h4>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Laboratoire<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/841-2\/\">Journal R&amp;D<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/833-2\/\">Publications<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/827-2\/\">M\u00e9thodologie<\/a>\n    <\/div>\n  <\/div>\n  <!-- AUDIENCE BAR -->\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\/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 &amp; 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 &amp; 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 &amp; autorit\u00e9s<\/a>\n  <\/div>\n  <div class=\"imc-footer-bottom\">\n    <span>\u00a9 2026 Cortex Ai\u2122 \u2014 Tous droits r\u00e9serv\u00e9s<\/span>\n    <div class=\"imc-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<\/div><!-- \/.imc-page -->\n","protected":false},"excerpt":{"rendered":"<p>CORTEX ORIGIN\u2122 Architecture Socle critique (TCB) CORTEX ORIGIN\u2122 \u2014 Vue d&rsquo;ensemble Cortex Core\u2122 OMEGA\u2122 \u2014 Gouvernance PRISM\u2122 \u2014 Preuve AEGIS\u2122 \u2014 Ex\u00e9cution FULCRUM\u2122 S\u00e9curit\u00e9 &amp; Confinement SENTINEL\u2122 \u2014 S\u00e9curit\u00e9 active WALL-DOME\u2122 \u2014 Confinement CERB\u00c8RE\u2122 Decision Guard\u2122 CMS CORTEX MORPHIC SHIELD\u2122 \u2197 Interface &amp; Orchestration AVA\u2122 &amp; CPL\u2122 \u2014 Interface Multi LCM \/ TRM Engine\u2122 TRM [&hellip;]<\/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-658","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/658","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=658"}],"version-history":[{"count":13,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/658\/revisions"}],"predecessor-version":[{"id":1266,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/658\/revisions\/1266"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=658"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}