Spaces:
Running
Running
deploy(hf): sync szl-holdings/a11oy@ac02db5a10e5b3d4c9b2260674111ff2335888bf derived COPY set
55e5019 verified | <html lang="en"> | |
| <head> | |
| <meta charset="utf-8" /> | |
| <meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover" /> | |
| <title>a11oy — Governed-AI Command Platform</title> | |
| <meta name="description" content="Every AI decision becomes a cryptographically signed, verifiable receipt. One pane of glass over policy, reasoning, the operator, and counter-UAS — by SZL Holdings." /> | |
| <meta property="og:title" content="a11oy — Governed-AI Command Platform" /> | |
| <meta property="og:description" content="Every AI decision becomes a cryptographically signed, verifiable receipt." /> | |
| <!-- SOVEREIGN: 0 runtime CDN. Fonts self-hosted in-image, served same-origin at | |
| /vendor/fonts/*.woff2 (SAME pattern as the clean console). NO external font CDN. --> | |
| <style> | |
| @font-face{font-family:'Space Grotesk';font-style:normal;font-weight:300 700;font-display:swap;src:url('/vendor/fonts/SpaceGrotesk.woff2') format('woff2');} | |
| @font-face{font-family:'JetBrains Mono';font-style:normal;font-weight:400 500;font-display:swap;src:url('/vendor/fonts/JetBrainsMono.woff2') format('woff2');} | |
| </style> | |
| <style> | |
| /* ============================================================================ | |
| SHARED — a11oy + killinchu landing. Do not diverge. | |
| Inlined from /home/user/workspace/team/LANDING_DESIGN_SYSTEM.css for a | |
| self-contained deploy. The .css file is the source of truth (killinchu reuses it). | |
| ============================================================================ */ | |
| :root{ | |
| --bg:#0a0a0a; --panel:#111317; --panel-2:#15181d; --hairline:#1f2630; | |
| --hairline-soft:rgba(255,255,255,0.05); | |
| --gold:#c9b787; --gold-dim:#a89868; --teal:#5fb3a3; --red:#e0564f; | |
| --muted:#8a93a0; --text:#e7e9ec; --text-soft:#b9bfc8; | |
| --display:"Space Grotesk",system-ui,-apple-system,"Segoe UI",sans-serif; | |
| --mono:"JetBrains Mono","Fira Code",ui-monospace,SFMono-Regular,monospace; | |
| --maxw:1180px; --radius:14px; --radius-sm:8px; --ease:cubic-bezier(0.22,1,0.36,1); | |
| } | |
| *,*::before,*::after{box-sizing:border-box;} | |
| html{-webkit-text-size-adjust:100%;scroll-behavior:smooth;} | |
| body{margin:0;background:var(--bg);color:var(--text);font-family:var(--display);font-size:16px;line-height:1.55;-webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;overflow-x:hidden;} | |
| a{color:inherit;text-decoration:none;} img,svg{display:block;} | |
| ::selection{background:rgba(201,183,135,0.25);color:#fff;} | |
| .ds-wrap{max-width:var(--maxw);margin:0 auto;padding:0 24px;} | |
| .ds-section{padding:clamp(56px,9vw,128px) 0;position:relative;} | |
| .ds-section--tight{padding:clamp(40px,6vw,80px) 0;} | |
| .ds-eyebrow{font-family:var(--mono);font-size:11px;letter-spacing:0.32em;text-transform:uppercase;color:var(--gold-dim);margin:0 0 18px;display:flex;align-items:center;gap:10px;} | |
| .ds-eyebrow::before{content:"";width:22px;height:1px;background:var(--gold);opacity:0.7;} | |
| .ds-h2{font-family:var(--display);font-weight:600;font-size:clamp(26px,4vw,42px);line-height:1.1;letter-spacing:-0.02em;margin:0 0 16px;color:var(--text);} | |
| .ds-lead{font-size:clamp(15px,1.5vw,18px);color:var(--muted);max-width:60ch;margin:0;} | |
| .ds-mono{font-family:var(--mono);} | |
| .ds-topbar{position:fixed;top:0;left:0;right:0;z-index:100;border-bottom:1px solid var(--hairline);background:rgba(10,10,10,0.72);backdrop-filter:blur(14px);-webkit-backdrop-filter:blur(14px);} | |
| .ds-topbar__inner{max-width:var(--maxw);margin:0 auto;padding:0 24px;height:62px;display:flex;align-items:center;justify-content:space-between;gap:16px;} | |
| .ds-brand{display:flex;align-items:center;gap:11px;font-family:var(--display);font-weight:600;font-size:17px;letter-spacing:-0.01em;color:var(--text);} | |
| .ds-brand__dot{width:9px;height:9px;border-radius:50%;background:var(--gold);box-shadow:0 0 0 4px rgba(201,183,135,0.14);} | |
| .ds-brand__sub{color:var(--muted);font-weight:400;} | |
| .ds-nav{display:flex;align-items:center;gap:26px;} | |
| .ds-nav a{font-family:var(--mono);font-size:12px;letter-spacing:0.08em;text-transform:uppercase;color:var(--muted);transition:color 0.2s var(--ease);} | |
| .ds-nav a:hover{color:var(--text);} | |
| .menu-toggle{display:none;align-items:center;justify-content:center;width:44px;height:44px;min-width:44px;min-height:44px;padding:0;border:1px solid var(--hairline);border-radius:var(--radius-sm);background:var(--panel-2);color:var(--text);cursor:pointer;font-size:20px;line-height:1;} | |
| @media (max-width:760px){ | |
| .ds-topbar__inner{position:relative;} | |
| .menu-toggle{display:inline-flex;margin-left:auto;} | |
| .ds-nav{display:none;position:absolute;left:0;right:0;top:100%;flex-direction:column;align-items:stretch;gap:0;padding:8px 16px 14px;background:rgba(10,10,10,0.96);border-bottom:1px solid var(--hairline);z-index:110;} | |
| .ds-topbar.nav-open .ds-nav{display:flex;} | |
| .ds-topbar.nav-open .ds-nav a{display:flex;align-items:center;min-height:44px;padding:12px 8px;} | |
| } | |
| .ds-btn{display:inline-flex;align-items:center;gap:10px;font-family:var(--mono);font-size:13px;letter-spacing:0.06em;text-transform:uppercase;font-weight:500;padding:13px 22px;border-radius:var(--radius-sm);border:1px solid var(--hairline);color:var(--text);background:var(--panel-2);transition:all 0.22s var(--ease);cursor:pointer;} | |
| .ds-btn:hover{border-color:var(--gold-dim);transform:translateY(-1px);} | |
| .ds-btn--primary{background:var(--gold);color:#0a0a0a;border-color:var(--gold);font-weight:600;} | |
| .ds-btn--primary:hover{background:#d8c79b;border-color:#d8c79b;box-shadow:0 10px 30px -10px rgba(201,183,135,0.5);} | |
| .ds-btn__arrow{transition:transform 0.22s var(--ease);} | |
| .ds-btn:hover .ds-btn__arrow{transform:translateX(3px);} | |
| .ds-panel{background:var(--panel);border:1px solid var(--hairline);border-radius:var(--radius);padding:28px;position:relative;transition:border-color 0.25s var(--ease),transform 0.25s var(--ease);} | |
| .ds-panel:hover{border-color:rgba(201,183,135,0.4);} | |
| .ds-card{background:var(--panel);border:1px solid var(--hairline);border-radius:var(--radius);padding:26px;display:flex;flex-direction:column;gap:12px;position:relative;overflow:hidden;transition:border-color 0.25s var(--ease),transform 0.25s var(--ease);} | |
| .ds-card:hover{border-color:rgba(201,183,135,0.4);transform:translateY(-2px);} | |
| .ds-card__id{font-family:var(--mono);font-size:10.5px;letter-spacing:0.22em;text-transform:uppercase;color:var(--gold-dim);} | |
| .ds-card__title{font-family:var(--display);font-weight:600;font-size:18px;letter-spacing:-0.01em;color:var(--text);margin:0;} | |
| .ds-card__body{font-size:14.5px;color:var(--muted);margin:0;line-height:1.6;} | |
| .ds-card__rule{height:1px;background:var(--hairline);margin:4px 0;} | |
| .ds-kpi{background:var(--panel-2);border:1px solid var(--hairline);border-radius:var(--radius-sm);padding:20px 22px;display:flex;flex-direction:column;gap:6px;} | |
| .ds-kpi__label{font-family:var(--mono);font-size:10.5px;letter-spacing:0.2em;text-transform:uppercase;color:var(--muted);} | |
| .ds-kpi__value{font-family:var(--mono);font-weight:600;font-size:clamp(24px,3.2vw,34px);letter-spacing:-0.01em;color:var(--text);line-height:1;} | |
| .ds-kpi__value.is-live{color:var(--teal);} .ds-kpi__value.is-gold{color:var(--gold);} | |
| .ds-kpi__note{font-family:var(--mono);font-size:11px;color:var(--muted);} | |
| .ds-kpi__value.is-loading{color:var(--muted);opacity:0.5;} | |
| .ds-receipt{display:inline-flex;align-items:center;gap:8px;font-family:var(--mono);font-size:11px;letter-spacing:0.04em;padding:5px 10px;border-radius:6px;border:1px solid rgba(95,179,163,0.35);background:rgba(95,179,163,0.08);color:var(--teal);} | |
| .ds-receipt__hash{color:var(--text-soft);} | |
| .ds-receipt__check{width:14px;height:14px;border-radius:50%;background:var(--teal);color:#0a0a0a;display:inline-flex;align-items:center;justify-content:center;font-size:9px;font-weight:700;} | |
| .ds-live{display:inline-flex;align-items:center;gap:7px;font-family:var(--mono);font-size:11px;letter-spacing:0.16em;text-transform:uppercase;color:var(--teal);} | |
| .ds-live__pulse{width:7px;height:7px;border-radius:50%;background:var(--teal);box-shadow:0 0 0 0 rgba(95,179,163,0.6);animation:ds-pulse 2.4s infinite var(--ease);} | |
| @keyframes ds-pulse{0%{box-shadow:0 0 0 0 rgba(95,179,163,0.5);}70%{box-shadow:0 0 0 8px rgba(95,179,163,0);}100%{box-shadow:0 0 0 0 rgba(95,179,163,0);}} | |
| .ds-hero{position:relative;padding-top:124px;min-height:100vh;display:flex;align-items:center;border-bottom:1px solid var(--hairline);overflow:hidden;} | |
| .ds-hero__grid{display:grid;grid-template-columns:1.05fr 0.95fr;gap:clamp(32px,5vw,72px);align-items:center;width:100%;} | |
| @media (max-width:900px){.ds-hero{min-height:auto;padding-top:100px;padding-bottom:48px;}.ds-hero__grid{grid-template-columns:1fr;gap:36px;}} | |
| .ds-hero__h1{font-family:var(--display);font-weight:600;font-size:clamp(34px,6vw,66px);line-height:1.02;letter-spacing:-0.03em;margin:18px 0 20px;color:var(--text);} | |
| .ds-hero__h1 .accent{color:var(--gold);} | |
| .ds-hero__sub{font-size:clamp(16px,1.8vw,20px);color:var(--text-soft);max-width:52ch;margin:0 0 30px;line-height:1.5;} | |
| .ds-hero__cta{display:flex;gap:14px;flex-wrap:wrap;} | |
| .ds-hero__stamp{margin-top:28px;display:flex;gap:18px;flex-wrap:wrap;font-family:var(--mono);font-size:11px;letter-spacing:0.1em;color:var(--muted);text-transform:uppercase;} | |
| .ds-hero__stamp b{color:var(--gold-dim);font-weight:500;} | |
| .ds-orbital{position:relative;width:100%;aspect-ratio:1/1;max-width:520px;margin:0 auto;border-radius:18px;overflow:hidden;background:radial-gradient(circle at 50% 50%,rgba(201,183,135,0.06) 0%,rgba(201,183,135,0.02) 35%,rgba(0,0,0,0) 65%),#0d0d0d;border:1px solid var(--hairline);box-shadow:0 30px 80px -20px rgba(0,0,0,0.6),inset 0 0 0 1px rgba(255,255,255,0.02);} | |
| .ds-orbital__corner{position:absolute;width:14px;height:14px;border-top:1px solid var(--gold);border-left:1px solid var(--gold);opacity:0.55;pointer-events:none;} | |
| .ds-orbital__hud{position:absolute;font-family:var(--mono);font-size:9.5px;letter-spacing:0.18em;text-transform:uppercase;color:var(--muted);line-height:1.7;z-index:3;} | |
| .ds-orbital__hud .gold{color:var(--gold-dim);} .ds-orbital__hud .teal{color:var(--teal);} | |
| .ds-orbital__scan{position:absolute;left:0;right:0;height:1px;background:linear-gradient(90deg,transparent,var(--gold) 50%,transparent);opacity:0.35;mix-blend-mode:screen;animation:ds-scan 5.5s linear infinite;z-index:2;} | |
| @keyframes ds-scan{from{top:-5%;}to{top:105%;}} | |
| .ds-orbital svg{position:absolute;inset:0;width:100%;height:100%;} | |
| .ds-orbital__spin{transform-origin:250px 250px;} | |
| .ds-orbital__spin.dir-cw{animation:ds-rot 60s linear infinite;} | |
| .ds-orbital__spin.dir-ccw{animation:ds-rot-rev 80s linear infinite;} | |
| @keyframes ds-rot{from{transform:rotate(0);}to{transform:rotate(360deg);}} | |
| @keyframes ds-rot-rev{from{transform:rotate(0);}to{transform:rotate(-360deg);}} | |
| .ds-orbital__corepulse{position:absolute;top:50%;left:50%;width:110px;height:110px;margin:-55px 0 0 -55px;border-radius:50%;border:1px solid var(--gold);pointer-events:none;animation:ds-corepulse 3.2s ease-out infinite;z-index:2;} | |
| @keyframes ds-corepulse{0%{transform:scale(0.8);opacity:0.5;}50%{transform:scale(1.4);opacity:0;}100%{transform:scale(0.8);opacity:0.5;}} | |
| .ds-formula{display:flex;gap:16px;align-items:baseline;padding:16px 0;border-bottom:1px solid var(--hairline);} | |
| .ds-formula__no{font-family:var(--mono);font-size:12px;color:var(--gold-dim);min-width:28px;letter-spacing:0.1em;} | |
| .ds-formula__name{font-family:var(--display);font-weight:500;color:var(--text);} | |
| .ds-formula__desc{font-size:13.5px;color:var(--muted);margin-top:2px;} | |
| .ds-tag{display:inline-block;font-family:var(--mono);font-size:10px;letter-spacing:0.14em;text-transform:uppercase;padding:3px 8px;border-radius:5px;border:1px solid var(--hairline);color:var(--muted);} | |
| .ds-tag--proven{color:var(--teal);border-color:rgba(95,179,163,0.4);background:rgba(95,179,163,0.07);} | |
| .ds-tag--conjecture{color:var(--gold);border-color:rgba(201,183,135,0.4);background:rgba(201,183,135,0.07);} | |
| .ds-grid{display:grid;gap:18px;} | |
| .ds-grid--3{grid-template-columns:repeat(3,1fr);} .ds-grid--4{grid-template-columns:repeat(4,1fr);} .ds-grid--2{grid-template-columns:repeat(2,1fr);} | |
| @media (max-width:880px){.ds-grid--3,.ds-grid--4{grid-template-columns:repeat(2,1fr);}} | |
| @media (max-width:560px){.ds-grid--2,.ds-grid--3,.ds-grid--4{grid-template-columns:1fr;}} | |
| .ds-divider{height:1px;background:var(--hairline);border:0;margin:0;} | |
| .ds-footer{border-top:1px solid var(--hairline);padding:56px 0 40px;background:var(--bg);} | |
| .ds-footer__top{display:flex;justify-content:space-between;gap:32px;flex-wrap:wrap;margin-bottom:40px;} | |
| .ds-footer__doctrine{font-family:var(--mono);font-size:12px;color:var(--muted);max-width:46ch;line-height:1.7;letter-spacing:0.02em;} | |
| .ds-footer__cols{display:flex;gap:56px;flex-wrap:wrap;} | |
| .ds-footer__col h4{font-family:var(--mono);font-size:10.5px;letter-spacing:0.2em;text-transform:uppercase;color:var(--gold-dim);margin:0 0 14px;} | |
| .ds-footer__col a{display:block;font-size:13.5px;color:var(--muted);margin-bottom:9px;transition:color 0.2s var(--ease);} | |
| .ds-footer__col a:hover{color:var(--text);} | |
| .ds-footer__bottom{display:flex;justify-content:space-between;gap:16px;flex-wrap:wrap;padding-top:24px;border-top:1px solid var(--hairline);font-family:var(--mono);font-size:11px;color:var(--muted);letter-spacing:0.04em;} | |
| .ds-reveal{opacity:0;transform:translateY(18px);transition:opacity 0.7s var(--ease),transform 0.7s var(--ease);} | |
| .ds-reveal.is-in{opacity:1;transform:none;} | |
| @media (prefers-reduced-motion:reduce){.ds-reveal{opacity:1;transform:none;transition:none;}.ds-orbital__scan,.ds-orbital__spin,.ds-orbital__corepulse,.ds-live__pulse{animation:none;}} | |
| /* page-local */ | |
| .ds-diff{display:grid;grid-template-columns:1fr 1fr;gap:0;border:1px solid var(--hairline);border-radius:var(--radius);overflow:hidden;} | |
| .ds-diff>div{padding:28px;} | |
| .ds-diff>div:first-child{border-right:1px solid var(--hairline);} | |
| .ds-diff h3{font-family:var(--mono);font-size:11px;letter-spacing:0.2em;text-transform:uppercase;margin:0 0 14px;} | |
| .ds-diff .old h3{color:var(--muted);} .ds-diff .new h3{color:var(--gold-dim);} | |
| .ds-diff p{font-size:14.5px;line-height:1.65;margin:0;color:var(--text-soft);} | |
| .ds-diff .old{background:var(--panel);} .ds-diff .new{background:var(--panel-2);} | |
| @media (max-width:680px){.ds-diff{grid-template-columns:1fr;}.ds-diff>div:first-child{border-right:0;border-bottom:1px solid var(--hairline);}} | |
| .honest{font-family:var(--mono);font-size:11.5px;color:var(--muted);border-left:2px solid var(--gold-dim);padding-left:12px;margin-top:22px;line-height:1.6;} | |
| /* ===== RESPONSIVE HARDENING v2 (VISUAL/LAYOUT ONLY) ===== */ | |
| /* safe-area for notched phones + media never overflows its container */ | |
| img,svg,canvas,video{max-width:100%;height:auto;} | |
| .ds-topbar__inner{padding-left:calc(env(safe-area-inset-left,0px) + 24px);padding-right:calc(env(safe-area-inset-right,0px) + 24px);} | |
| @media (max-width:480px){ | |
| .ds-topbar__inner{height:56px;padding-left:calc(env(safe-area-inset-left,0px) + 16px);padding-right:calc(env(safe-area-inset-right,0px) + 16px);gap:10px;} | |
| .ds-brand{font-size:15px;gap:8px;} | |
| .ds-btn{padding:11px 15px;font-size:11.5px;gap:7px;min-height:44px;} | |
| .ds-hero{padding-top:90px;} | |
| } | |
| @media (min-width:1600px){body{} .ds-section,.ds-topbar__inner{margin-left:auto;margin-right:auto;}} | |
| </style> | |
| <link rel="stylesheet" href="/assets/szl-flow.css" data-szl-flow-asset="style" /> | |
| <link rel="stylesheet" href="/assets/szl-holo-v2.css" data-szl-holo-asset="style-v2" /> | |
| </head> | |
| <body> | |
| <!-- ===================== TOPBAR ===================== --> | |
| <header class="ds-topbar"> | |
| <div class="ds-topbar__inner"> | |
| <a class="ds-brand" href="/landing"> | |
| <span class="ds-brand__dot"></span> | |
| a11oy <span class="ds-brand__sub">/ SZL HOLDINGS</span> | |
| </a> | |
| <button type="button" class="menu-toggle" id="menu-toggle" aria-label="Open menu" aria-controls="ds-nav" aria-expanded="false">☰</button> | |
| <nav class="ds-nav" id="ds-nav"> | |
| <a href="/#products">Products</a> | |
| <a href="/#catalog">Catalog</a> | |
| <a href="/lyte">LYTE</a> | |
| <a href="https://a11oy.net" rel="noopener">Proof</a> | |
| <a href="/trust">Evidence</a> | |
| </nav> | |
| <div style="display:flex;align-items:center;gap:12px;"> | |
| <!-- ADDITIVE (feat/investor-mode-pricing): CEO / Investor-mode toggle. Opens a clean | |
| overlay of honest proof points. The full landing stays underneath. --> | |
| <button id="inv-toggle" class="ds-btn" type="button" aria-pressed="false" aria-controls="inv-overlay" | |
| onclick="a11oyInvestor.toggle()" title="CEO / Investor view — the plain-English story">◆ Investor view</button> | |
| <a class="ds-btn ds-btn--primary" href="/console">Enter Console <span class="ds-btn__arrow">→</span></a> | |
| </div> | |
| </div> | |
| </header> | |
| <!-- ===================== HERO ===================== --> | |
| <section class="ds-hero"> | |
| <div class="ds-wrap"> | |
| <div class="ds-hero__grid"> | |
| <div> | |
| <div class="ds-live"><span class="ds-live__pulse"></span><span id="liveBadge">LIVE COMMAND PLATFORM</span></div> | |
| <h1 class="ds-hero__h1">Governed-AI<br><span class="accent">Command Platform</span></h1> | |
| <p class="ds-hero__sub">Every AI decision becomes a cryptographically signed, verifiable receipt — policy, reasoning, the operator, and counter-UAS on one pane of glass.</p> | |
| <div class="ds-hero__cta"> | |
| <a class="ds-btn ds-btn--primary" href="/console">Enter the Command Platform <span class="ds-btn__arrow">→</span></a> | |
| <a class="ds-btn" href="#diff">Verify a receipt yourself</a> | |
| </div> | |
| <div class="ds-hero__stamp"> | |
| <span>UTC <b id="utcStamp">—</b></span> | |
| <span>EPOCH <b id="epochStamp">—</b></span> | |
| <span>DOCTRINE <b>v11</b></span> | |
| </div> | |
| </div> | |
| <!-- ORBITAL BRAIN --> | |
| <div class="ds-orbital" aria-hidden="true"> | |
| <div class="ds-orbital__corner" style="top:12px;left:12px;transform:rotate(0deg)"></div> | |
| <div class="ds-orbital__corner" style="top:12px;right:12px;transform:rotate(90deg)"></div> | |
| <div class="ds-orbital__corner" style="bottom:12px;right:12px;transform:rotate(180deg)"></div> | |
| <div class="ds-orbital__corner" style="bottom:12px;left:12px;transform:rotate(270deg)"></div> | |
| <div class="ds-orbital__hud" style="top:18px;left:18px;"> | |
| <div>NODE · A11OY-01</div> | |
| <div>ORBIT · NOMINAL</div> | |
| <div class="teal">● TRACK · LIVE</div> | |
| </div> | |
| <div class="ds-orbital__hud" style="top:18px;right:18px;text-align:right;"> | |
| <div id="hudStamp">—</div> | |
| <div id="hudEpoch">EPOCH —</div> | |
| <div class="gold">TRUST ≥ 0.90</div> | |
| </div> | |
| <div class="ds-orbital__hud" style="bottom:18px;left:18px;right:18px;display:flex;justify-content:space-between;"> | |
| <span>SIG · 1024 · OK</span> | |
| <span class="gold" id="hudReceipt">RECEIPT · —</span> | |
| </div> | |
| <div class="ds-orbital__scan"></div> | |
| <!-- static rings, ticks, stations, core --> | |
| <svg viewBox="0 0 500 500"> | |
| <defs> | |
| <radialGradient id="hc-core" cx="50%" cy="50%" r="50%"> | |
| <stop offset="0%" stop-color="#c9b787" stop-opacity="0.55"/> | |
| <stop offset="55%" stop-color="#c9b787" stop-opacity="0.08"/> | |
| <stop offset="100%" stop-color="#c9b787" stop-opacity="0"/> | |
| </radialGradient> | |
| <radialGradient id="hc-halo" cx="50%" cy="50%" r="50%"> | |
| <stop offset="0%" stop-color="#c9b787" stop-opacity="0.15"/> | |
| <stop offset="100%" stop-color="#c9b787" stop-opacity="0"/> | |
| </radialGradient> | |
| </defs> | |
| <circle cx="250" cy="250" r="240" fill="url(#hc-halo)"/> | |
| <g id="tickRing" opacity="0.55"></g> | |
| <!-- orbit rings --> | |
| <circle cx="250" cy="250" r="70" fill="none" stroke="#1f2630" stroke-width="0.75" stroke-dasharray="2 6" opacity="0.35"/> | |
| <circle cx="250" cy="250" r="110" fill="none" stroke="#1f2630" stroke-width="0.75" stroke-dasharray="2 6" opacity="0.35"/> | |
| <circle cx="250" cy="250" r="158" fill="none" stroke="#1f2630" stroke-width="0.75" opacity="0.6"/> | |
| <circle cx="250" cy="250" r="210" fill="none" stroke="#1f2630" stroke-width="0.75" stroke-dasharray="2 6" opacity="0.35"/> | |
| <!-- radial guides --> | |
| <g id="radialGuides" stroke="rgba(255,255,255,0.05)" stroke-width="0.5"></g> | |
| <!-- stations (organs) --> | |
| <g id="stations"></g> | |
| <!-- core: a11oy --> | |
| <circle cx="250" cy="250" r="58" fill="url(#hc-core)"/> | |
| <circle cx="250" cy="250" r="34" fill="none" stroke="#c9b787" stroke-width="0.75" opacity="0.6"/> | |
| <circle cx="250" cy="250" r="22" fill="none" stroke="#a89868" stroke-width="0.5"/> | |
| <text x="250" y="254" text-anchor="middle" font-family="JetBrains Mono, monospace" font-size="13" fill="#f5f5f5" letter-spacing="3" font-weight="500">a11oy</text> | |
| </svg> | |
| <!-- traveling pulses on each orbit (rotating groups) --> | |
| <svg viewBox="0 0 500 500"> | |
| <g class="ds-orbital__spin dir-cw"><circle r="3.2" fill="#c9b787" cx="320" cy="250"/></g> | |
| <g class="ds-orbital__spin dir-ccw" style="animation-duration:80s"><circle r="3.2" fill="#c9b787" cx="360" cy="250"/></g> | |
| <g class="ds-orbital__spin dir-cw" style="animation-duration:78s"><circle r="3.2" fill="#c9b787" cx="408" cy="250"/></g> | |
| <g class="ds-orbital__spin dir-ccw" style="animation-duration:52s"><circle r="2.6" fill="#a89868" cx="408" cy="250"/></g> | |
| </svg> | |
| <div class="ds-orbital__corepulse"></div> | |
| </div> | |
| </div> | |
| </div> | |
| </section> | |
| <!-- ===================== WHAT IT IS ===================== --> | |
| <section class="ds-section" id="what"> | |
| <div class="ds-wrap"> | |
| <p class="ds-eyebrow">What it is</p> | |
| <h2 class="ds-h2">One pane of glass over the whole decision.</h2> | |
| <p class="ds-lead">a11oy is the command platform for SZL Holdings. It unifies four surfaces that usually live in four disconnected tools — and binds them to a single, auditable record of every action.</p> | |
| <div class="ds-grid ds-grid--4 ds-reveal" style="margin-top:38px;"> | |
| <div class="ds-card"><span class="ds-card__id">// POLICY</span><h3 class="ds-card__title">Policy</h3><p class="ds-card__body">Gates that say what an AI agent may and may not do — evaluated before any action runs, not after.</p></div> | |
| <div class="ds-card"><span class="ds-card__id">// REASONING</span><h3 class="ds-card__title">Reasoning</h3><p class="ds-card__body">The model's chain of thought, scored against a trust floor before it is allowed to act.</p></div> | |
| <div class="ds-card"><span class="ds-card__id">// OPERATOR</span><h3 class="ds-card__title">Operator</h3><p class="ds-card__body">The human-in-command view: live state, halts, and the one button that approves or stops.</p></div> | |
| <div class="ds-card"><span class="ds-card__id">// COUNTER-UAS</span><h3 class="ds-card__title">Counter-UAS</h3><p class="ds-card__body">Drone & vessel threat tracks fed into the same governed loop as everything else.</p></div> | |
| </div> | |
| </div> | |
| </section> | |
| <hr class="ds-divider" /> | |
| <!-- ===================== THE DIFFERENTIATOR ===================== --> | |
| <section class="ds-section" id="diff"> | |
| <div class="ds-wrap"> | |
| <p class="ds-eyebrow">The differentiator</p> | |
| <h2 class="ds-h2">No leader signs individual AI decisions.<br>So the decision signs itself.</h2> | |
| <p class="ds-lead" style="margin-bottom:34px;">Every governed action emits a cryptographically signed receipt: a hash of what was decided, why, and under which policy. Anyone can re-compute the hash and confirm it was not altered — without trusting us.</p> | |
| <div class="ds-diff ds-reveal"> | |
| <div class="old"><h3>The usual way</h3><p>An AI takes an action. A log line is written. The log can be edited, lost, or contested. To trust it, you have to trust the operator and the database behind them.</p></div> | |
| <div class="new"><h3>The a11oy way</h3><p>The action produces a signed receipt. The signature is over the exact decision payload. Re-hash it yourself; if one byte changed, the check fails. Trust the math, not the messenger.</p></div> | |
| </div> | |
| <div class="ds-panel ds-reveal" style="margin-top:26px;display:flex;align-items:center;gap:18px;flex-wrap:wrap;justify-content:space-between;"> | |
| <div> | |
| <div class="ds-card__id" style="margin-bottom:8px;">// LIVE RECEIPT — re-computed in your browser</div> | |
| <div class="ds-receipt"><span class="ds-receipt__check">✓</span> SIGNED <span class="ds-receipt__hash" id="liveReceiptHash">computing…</span></div> | |
| </div> | |
| <a class="ds-btn" href="/console" id="verifyBtn">Open the verifier in the console <span class="ds-btn__arrow">→</span></a> | |
| </div> | |
| <p class="honest">Honest scope: receipts are signed with a real key where one is provisioned for that organ; otherwise the receipt carries its hash and is verifiable for integrity but not yet for issuer identity. Nothing here is a claim of FedRAMP, Iron Bank, or CMMC.</p> | |
| </div> | |
| </section> | |
| <hr class="ds-divider" /> | |
| <!-- ===================== LIVE PROOF STRIP ===================== --> | |
| <section class="ds-section ds-section--tight" id="live"> | |
| <div class="ds-wrap"> | |
| <p class="ds-eyebrow">Live proof · pulled from the running platform</p> | |
| <h2 class="ds-h2" style="font-size:clamp(22px,3vw,32px);">Real numbers, fetched from this Space right now.</h2> | |
| <div class="ds-grid ds-grid--4" style="margin-top:30px;"> | |
| <div class="ds-kpi"><span class="ds-kpi__label">Services up</span><span class="ds-kpi__value is-live is-loading" id="kpiServices">— / —</span><span class="ds-kpi__note">live organ health probes</span></div> | |
| <div class="ds-kpi"><span class="ds-kpi__label">Trust score</span><span class="ds-kpi__value is-gold is-loading" id="kpiTrust">—</span><span class="ds-kpi__note">13-axis geometric mean</span></div> | |
| <div class="ds-kpi"><span class="ds-kpi__label">a11oy policy gates</span><span class="ds-kpi__value is-loading" id="kpiGates">—</span><span class="ds-kpi__note">evaluated pre-action</span></div> | |
| <div class="ds-kpi"><span class="ds-kpi__label">Policy verdicts</span><span class="ds-kpi__value is-loading" id="kpiPolicy">—</span><span class="ds-kpi__note">a11oy gate · allow/deny ledger</span></div> | |
| </div> | |
| <p class="honest" id="liveHonesty">An unreachable organ is shown as unreachable, never green. If a probe is slow, the tile says so rather than faking a value.</p> | |
| </div> | |
| </section> | |
| <hr class="ds-divider" /> | |
| <!-- ===================== FORMALLY PROVEN ===================== --> | |
| <section class="ds-section" id="proof"> | |
| <div class="ds-wrap"> | |
| <p class="ds-eyebrow">Formally proven</p> | |
| <h2 class="ds-h2">Five properties carry machine-checked proofs.</h2> | |
| <p class="ds-lead">The governed loop rests on a Lean development. Five core properties are proven theorems. The trust-score uniqueness result is honestly an open research conjecture — not a theorem — and we label it as such.</p> | |
| <div class="ds-panel ds-reveal" style="margin-top:34px;padding-top:8px;padding-bottom:8px;"> | |
| <div class="ds-formula"><span class="ds-formula__no">01</span><div style="flex:1;"><span class="ds-formula__name">Governed Loop Reachability</span><div class="ds-formula__desc">Every allowed action keeps the system inside the governed region.</div></div><span class="ds-tag ds-tag--proven">Proven</span></div> | |
| <div class="ds-formula"><span class="ds-formula__no">02</span><div style="flex:1;"><span class="ds-formula__name">Receipt Integrity</span><div class="ds-formula__desc">A receipt verifies if and only if its payload is unaltered.</div></div><span class="ds-tag ds-tag--proven">Proven</span></div> | |
| <div class="ds-formula"><span class="ds-formula__no">03</span><div style="flex:1;"><span class="ds-formula__name">Policy Soundness</span><div class="ds-formula__desc">A declined action can never be executed by the loop.</div></div><span class="ds-tag ds-tag--proven">Proven</span></div> | |
| <div class="ds-formula"><span class="ds-formula__no">04</span><div style="flex:1;"><span class="ds-formula__name">Trust-Floor Monotonicity</span><div class="ds-formula__desc">Tightening the trust floor never enlarges the set of permitted actions.</div></div><span class="ds-tag ds-tag--proven">Proven</span></div> | |
| <div class="ds-formula" style="border-bottom:0;"><span class="ds-formula__no">05</span><div style="flex:1;"><span class="ds-formula__name">Quorum Liveness</span><div class="ds-formula__desc">A 3-of-4 organ quorum can always reach a verdict under partial failure.</div></div><span class="ds-tag ds-tag--proven">Proven</span></div> | |
| </div> | |
| <div class="ds-grid ds-grid--2" style="margin-top:22px;"> | |
| <div class="ds-card"><span class="ds-card__id">// HONEST LABEL</span><h3 class="ds-card__title">Trust-score uniqueness</h3><p class="ds-card__body">The claim that the 13-axis trust score is the unique aggregate satisfying our axioms is a <b style="color:var(--gold)">research conjecture</b>, not a theorem. The Lean development still has open goals on this result. We will not call it proven until it is.</p></div> | |
| <div class="ds-card"><span class="ds-card__id">// SUPPLY CHAIN</span><h3 class="ds-card__title">SLSA L1 honest; L2 .att emitted (not independently verified) · L3 roadmap</h3><p class="ds-card__body">Build provenance attestations (cosign) ship on the organ images today at <b style="color:var(--gold)">SLSA L1 honest; L2 .att emitted (not independently verified)</b> (Sigstore keyless — Fulcio cert + Rekor, verifiable via gh attestation verify / cosign verify-attestation); SLSA L3 is on the <b style="color:var(--gold)">roadmap</b>. This is not SLSA L3, FedRAMP, Iron Bank, or CMMC — and we don't say it is.</p></div> | |
| </div> | |
| </div> | |
| </section> | |
| <hr class="ds-divider" /> | |
| <!-- ===================== SURFACES ===================== --> | |
| <section class="ds-section" id="surfaces"> | |
| <div class="ds-wrap"> | |
| <p class="ds-eyebrow">Surfaces</p> | |
| <h2 class="ds-h2">Two flagships. Bound packages stay packages.</h2> | |
| <div class="ds-grid ds-grid--2 ds-reveal" style="margin-top:32px;"> | |
| <a class="ds-card" href="/console" style="cursor:pointer;"> | |
| <span class="ds-card__id">// A11OY</span> | |
| <h3 class="ds-card__title">Command Platform</h3> | |
| <div class="ds-card__rule"></div> | |
| <p class="ds-card__body">Policy, reasoning, operator and counter-UAS in one console. Live gates, signed receipts, and the halt button.</p> | |
| <span class="ds-btn ds-btn--primary" style="margin-top:8px;align-self:flex-start;">Enter the platform <span class="ds-btn__arrow">→</span></span> | |
| </a> | |
| <a class="ds-card" href="https://huggingface.co/spaces/SZLHOLDINGS/killinchu" rel="noopener" style="cursor:pointer;"> | |
| <span class="ds-card__id">// KILLINCHU</span> | |
| <h3 class="ds-card__title">Drones & Vessels</h3> | |
| <div class="ds-card__rule"></div> | |
| <p class="ds-card__body">The maritime & airspace surface: track drones and vessels, run counter-UAS cued engagements through the same governed, signed loop.</p> | |
| <p class="ds-card__body"><b>Runtime: UNAVAILABLE.</b> This page holds no live reading of the | |
| killinchu Space runtime, so it is not presented as live and the link goes to the Space | |
| hub page rather than a runtime that has timed out.</p> | |
| <span class="ds-btn" style="margin-top:8px;align-self:flex-start;">Open the killinchu Space hub <span class="ds-btn__arrow">→</span></span> | |
| </a> | |
| <a class="ds-card" href="/lyte" style="cursor:pointer;"> | |
| <span class="ds-card__id">// LYTE · BIND</span> | |
| <h3 class="ds-card__title">LYTE lattice</h3> | |
| <div class="ds-card__rule"></div> | |
| <p class="ds-card__body">Bound package, not a flagship. Named frontiers N1-N25 cited from GitHub. STRUCTURAL-ONLY hub. UNSIGNED-honest receipts. Does not certify a-11-oy.com.</p> | |
| <span class="ds-btn" style="margin-top:8px;align-self:flex-start;">Open /lyte <span class="ds-btn__arrow">→</span></span> | |
| </a> | |
| </div> | |
| </div> | |
| </section> | |
| <!-- ===================== FOOTER ===================== --> | |
| <footer class="ds-footer"> | |
| <div class="ds-wrap"> | |
| <div class="ds-footer__top"> | |
| <div> | |
| <a class="ds-brand" href="/landing" style="margin-bottom:16px;"> | |
| <span class="ds-brand__dot"></span> a11oy <span class="ds-brand__sub">/ SZL HOLDINGS</span> | |
| </a> | |
| <p class="ds-footer__doctrine">Doctrine: no action without a receipt; no receipt without a signature; no claim above what we can prove. Governed AI, on the record.</p> | |
| </div> | |
| <div class="ds-footer__cols"> | |
| <div class="ds-footer__col"><h4>Platform</h4><a href="/console">Command Console</a><a href="/benchmark">Benchmark</a><a href="#what">What it is</a><a href="#diff">Receipts</a><a href="#proof">Proof</a></div> | |
| <div class="ds-footer__col"><h4>Surfaces</h4><a href="/console">a11oy</a><a href="https://huggingface.co/spaces/SZLHOLDINGS/killinchu" rel="noopener">killinchu (runtime UNAVAILABLE)</a><a href="/lyte">LYTE lattice</a></div> | |
| <div class="ds-footer__col"><h4>Endpoints</h4><a href="/api/a11oy/v1/observability/summary">Observability</a><a href="/api/a11oy/v1/lambda">Trust score</a><a href="/api/a11oy/v1/gates">Gates</a></div> | |
| </div> | |
| </div> | |
| <div class="ds-footer__bottom"> | |
| <span>© SZL HOLDINGS · DOCTRINE v11</span> | |
| <span class="ds-mono">SLSA L1+L2 ATTESTED / L3 ROADMAP · TRUST SCORE = RESEARCH CONJECTURE (NOT A THEOREM) · 8 LOCKED-PROVEN FORMULAS</span> | |
| </div> | |
| </div> | |
| </footer> | |
| <script> | |
| (function(){ | |
| var btn=document.getElementById("menu-toggle"); | |
| var bar=document.querySelector(".ds-topbar"); | |
| var nav=document.getElementById("ds-nav"); | |
| if(!btn||!bar||!nav) return; | |
| function setOpen(open){ | |
| bar.classList.toggle("nav-open", open); | |
| btn.setAttribute("aria-expanded", String(open)); | |
| btn.setAttribute("aria-label", open ? "Close menu" : "Open menu"); | |
| } | |
| btn.addEventListener("click", function(){ setOpen(!bar.classList.contains("nav-open")); }); | |
| nav.querySelectorAll("a").forEach(function(a){ a.addEventListener("click", function(){ setOpen(false); }); }); | |
| document.addEventListener("keydown", function(e){ if(e.key==="Escape") setOpen(false); }); | |
| })(); | |
| </script> | |
| <script> | |
| (function(){ | |
| "use strict"; | |
| var pad = function(n,w){w=w||2;return String(n).padStart(w,"0");}; | |
| function fmtStamp(d){ | |
| return d.getUTCFullYear()+"."+pad(d.getUTCMonth()+1)+"."+pad(d.getUTCDate())+" "+ | |
| pad(d.getUTCHours())+":"+pad(d.getUTCMinutes())+":"+pad(d.getUTCSeconds())+"Z"; | |
| } | |
| function tick(){ | |
| var d=new Date(), s=fmtStamp(d), e=(Date.now()/1000)|0; | |
| var set=function(id,v){var el=document.getElementById(id);if(el)el.textContent=v;}; | |
| set("utcStamp",s); set("epochStamp",e); | |
| set("hudStamp",s); set("hudEpoch","EPOCH "+e); | |
| } | |
| tick(); setInterval(tick,1000); | |
| // ---- build tick ring, radial guides, stations (matches HeroCanvas geometry) ---- | |
| var SVGNS="http://www.w3.org/2000/svg"; | |
| function el(tag,attrs){var n=document.createElementNS(SVGNS,tag);for(var k in attrs)n.setAttribute(k,attrs[k]);return n;} | |
| var tickRing=document.getElementById("tickRing"); | |
| if(tickRing){ | |
| for(var t=0;t<360;t+=10){ | |
| var a=t*Math.PI/180, long=(t%30===0), r1=long?232:236, r2=240; | |
| tickRing.appendChild(el("line",{x1:250+r1*Math.cos(a),y1:250+r1*Math.sin(a), | |
| x2:250+r2*Math.cos(a),y2:250+r2*Math.sin(a), | |
| stroke:long?"#a89868":"#1f2630","stroke-width":long?1:0.6})); | |
| } | |
| [0,90,180,270].forEach(function(t){ | |
| var a=t*Math.PI/180; | |
| var tx=el("text",{x:250+222*Math.cos(a),y:250+222*Math.sin(a)+3,"text-anchor":"middle", | |
| "font-family":"JetBrains Mono, monospace","font-size":"8",fill:"#a89868","letter-spacing":"2"}); | |
| tx.textContent=pad(t,3); tickRing.appendChild(tx); | |
| }); | |
| } | |
| var guides=document.getElementById("radialGuides"); | |
| if(guides){[0,45,90,135].forEach(function(deg){ | |
| var a=deg*Math.PI/180; | |
| guides.appendChild(el("line",{x1:250-230*Math.cos(a),y1:250-230*Math.sin(a), | |
| x2:250+230*Math.cos(a),y2:250+230*Math.sin(a)})); | |
| });} | |
| // organs = orbiting stations | |
| var STATIONS=[ | |
| {angle:18, r:158, label:"POLICY"}, | |
| {angle:102,r:210, label:"REASONING"}, | |
| {angle:198,r:110, label:"OPERATOR"}, | |
| {angle:286,r:158, label:"COUNTER-UAS"} | |
| ]; | |
| var stationsG=document.getElementById("stations"); | |
| if(stationsG){STATIONS.forEach(function(s){ | |
| var a=s.angle*Math.PI/180, cx=250+s.r*Math.cos(a), cy=250+s.r*Math.sin(a); | |
| stationsG.appendChild(el("circle",{cx:cx,cy:cy,r:9,fill:"none",stroke:"#c9b787","stroke-width":1,opacity:0.7})); | |
| stationsG.appendChild(el("circle",{cx:cx,cy:cy,r:3,fill:"#c9b787"})); | |
| var anchor=(cx>250)?"start":"end", dx=(cx>250)?14:-14; | |
| var tx=el("text",{x:cx+dx,y:cy+3,"text-anchor":anchor,"font-family":"JetBrains Mono, monospace","font-size":"9",fill:"#a89868","letter-spacing":"1.5"}); | |
| tx.textContent=s.label; stationsG.appendChild(tx); | |
| });} | |
| // ---- live signed-receipt hash (re-computed client-side, integrity demo) ---- | |
| function shortHex(buf){var b=new Uint8Array(buf),h="";for(var i=0;i<6;i++)h+=b[i].toString(16).padStart(2,"0");return h;} | |
| function computeReceipt(){ | |
| var payload=JSON.stringify({node:"a11oy-01",epoch:(Date.now()/1000)|0,doctrine:"v11"}); | |
| if(window.crypto&&window.crypto.subtle){ | |
| window.crypto.subtle.digest("SHA-256",new TextEncoder().encode(payload)).then(function(d){ | |
| var hx=shortHex(d); | |
| var a=document.getElementById("liveReceiptHash"); if(a)a.textContent="sha256:"+hx+"…"; | |
| var b=document.getElementById("hudReceipt"); if(b)b.textContent="RECEIPT · "+hx; | |
| }).catch(function(){fallbackHash(payload);}); | |
| } else { fallbackHash(payload); } | |
| } | |
| function fallbackHash(s){var h=5381;for(var i=0;i<s.length;i++)h=((h<<5)+h+s.charCodeAt(i))>>>0; | |
| var hx=("00000000"+h.toString(16)).slice(-8); | |
| var a=document.getElementById("liveReceiptHash"); if(a)a.textContent="hash:"+hx+"…"; | |
| var b=document.getElementById("hudReceipt"); if(b)b.textContent="RECEIPT · "+hx;} | |
| computeReceipt(); | |
| // ---- LIVE KPIs (same-origin /api/a11oy/v1/*) ---- | |
| function fetchJSON(url,ms){ | |
| var ctl=("AbortController" in window)?new AbortController():null; | |
| var t=ctl?setTimeout(function(){ctl.abort();},ms||7000):null; | |
| return fetch(url,{signal:ctl?ctl.signal:undefined,headers:{"Accept":"application/json"}}) | |
| .then(function(r){if(t)clearTimeout(t);if(!r.ok)throw new Error(r.status);return r.json();}); | |
| } | |
| function setKpi(id,val,liveClass){ | |
| var el=document.getElementById(id); if(!el)return; | |
| el.textContent=val; el.classList.remove("is-loading"); | |
| } | |
| // Honest label for a read that produced no live value: name the state, never | |
| // paint a fabricated number or a live-looking zero. | |
| function unavailableKpi(id,state){ | |
| var el=document.getElementById(id); if(!el)return; | |
| el.textContent=(String(state||"UNAVAILABLE").toUpperCase()==="OBSERVED")?"UNAVAILABLE":("UNAVAILABLE · "+String(state||"UNAVAILABLE")); | |
| el.classList.remove("is-loading","is-live"); | |
| el.style.color="var(--muted)"; el.style.fontSize="16px"; | |
| } | |
| function unreachable(id){ | |
| var el=document.getElementById(id); if(!el)return; | |
| el.textContent="probe slow"; el.classList.remove("is-loading"); | |
| el.style.color="var(--muted)"; el.style.fontSize="16px"; | |
| } | |
| // services up + (lambda_status echoed in observability too) | |
| fetchJSON("/api/a11oy/v1/observability/summary",8000).then(function(j){ | |
| var m=(j&&j.melt&&j.melt.metrics)||{}; | |
| // organs_reachable is a live count ONLY when the summary's own | |
| // observation_state says it was observed this read. An inventory/idle/ | |
| // UNAVAILABLE state is reported as UNAVAILABLE, never as a live zero. | |
| var state=(j&&(j.observation_state||j.state))||"UNAVAILABLE"; | |
| var observed=String(state).toUpperCase()==="OBSERVED"; | |
| if(observed&&typeof m.organs_reachable==="number"&&typeof m.organs_total==="number"){ | |
| setKpi("kpiServices",m.organs_reachable+" / "+m.organs_total); | |
| } else { unavailableKpi("kpiServices",state); } | |
| if(j&&j.honesty){var h=document.getElementById("liveHonesty"); if(h)h.textContent=j.honesty;} | |
| }).catch(function(){unavailableKpi("kpiServices","UNAVAILABLE");}); | |
| // trust score (lambda) | |
| fetchJSON("/api/a11oy/v1/lambda",8000).then(function(j){ | |
| if(j&&typeof j.lambda==="number"){ setKpi("kpiTrust",j.lambda.toFixed(3)); } | |
| else { unreachable("kpiTrust"); } | |
| }).catch(function(){unreachable("kpiTrust");}); | |
| // a11oy gates | |
| fetchJSON("/api/a11oy/v1/gates",8000).then(function(j){ | |
| if(j&&typeof j.count==="number"){ setKpi("kpiGates",String(j.count)); } | |
| else { unreachable("kpiGates"); } | |
| }).catch(function(){unreachable("kpiGates");}); | |
| // policy verdict ledger (live a11oy gate — Policy role; no dead cross-origin Space) | |
| fetchJSON("/api/a11oy/v1/gates",9000).then(function(j){ | |
| if(j&&typeof j.count==="number"){ setKpi("kpiPolicy",String(j.count)); } | |
| else { unreachable("kpiPolicy"); } | |
| }).catch(function(){unreachable("kpiPolicy");}); | |
| // ---- reveal on scroll ---- | |
| if("IntersectionObserver" in window){ | |
| var io=new IntersectionObserver(function(es){es.forEach(function(e){if(e.isIntersecting){e.target.classList.add("is-in");io.unobserve(e.target);}});},{threshold:0.12}); | |
| document.querySelectorAll(".ds-reveal").forEach(function(n){io.observe(n);}); | |
| } else { document.querySelectorAll(".ds-reveal").forEach(function(n){n.classList.add("is-in");}); } | |
| })(); | |
| </script> | |
| <!-- ============================================================================ | |
| CEO / INVESTOR MODE OVERLAY — landing (feat/investor-mode-pricing, additive + guarded). | |
| One clean screen of 6 plain-English, honest proof points over the full landing. | |
| No raw JSON, no Lean internals. Every claim links to the check that backs it. | |
| Uses the landing's own KANCHAY ds- tokens. 0 runtime CDN. Λ = Conjecture 1 (plainly). | |
| Tagline: "AI that signs its work and refuses to lie." | |
| ============================================================================ --> | |
| <style id="inv-mode-css"> | |
| #inv-overlay{position:fixed;inset:0;z-index:9000;display:none;overflow-y:auto;background:var(--bg); | |
| background-image:radial-gradient(1100px 620px at 72% -8%,rgba(95,179,163,.10),transparent 60%), | |
| radial-gradient(820px 480px at 8% 4%,rgba(201,183,135,.07),transparent 55%);} | |
| #inv-overlay.open{display:block;} | |
| .inv-bar{position:sticky;top:0;z-index:2;display:flex;align-items:center;gap:16px;max-width:var(--maxw); | |
| margin:0 auto;padding:18px 24px 16px;background:linear-gradient(180deg,var(--bg) 72%,rgba(10,10,10,0));} | |
| .inv-bar .mark{width:34px;height:34px;border-radius:9px;background:linear-gradient(135deg,var(--gold),var(--teal)); | |
| display:grid;place-items:center;color:#0a0a0a;font-weight:700;font-family:var(--mono);font-size:18px;} | |
| .inv-bar .who{font-family:var(--display);font-weight:600;font-size:16px;color:var(--text);} | |
| .inv-bar .who small{display:block;font-family:var(--mono);font-size:10px;letter-spacing:.16em; | |
| text-transform:uppercase;color:var(--muted);font-weight:400;margin-top:2px;} | |
| .inv-bar .spacer{flex:1;} | |
| .inv-hero{max-width:var(--maxw);margin:0 auto;padding:26px 24px 10px;border-bottom:1px solid var(--hairline);} | |
| .inv-hero .ds-eyebrow{margin-bottom:14px;} | |
| .inv-hero h1{font-family:var(--display);font-weight:600;font-size:clamp(28px,4.6vw,46px);line-height:1.06; | |
| letter-spacing:-.02em;margin:0 0 14px;color:var(--text);} | |
| .inv-hero h1 .accent{color:var(--gold);} | |
| .inv-hero p{font-size:clamp(15px,1.5vw,18px);color:var(--text-soft);max-width:60ch;margin:0;line-height:1.5;} | |
| .inv-hero .tag{display:inline-block;margin-top:18px;font-family:var(--mono);font-size:12.5px;color:var(--teal); | |
| border:1px solid rgba(95,179,163,.35);background:rgba(95,179,163,.08);border-radius:8px;padding:8px 14px;} | |
| .inv-grid{max-width:var(--maxw);margin:28px auto 0;padding:0 24px;display:grid;grid-template-columns:repeat(2,1fr);gap:16px;} | |
| @media (max-width:760px){.inv-grid{grid-template-columns:1fr;}} | |
| .inv-card{background:var(--panel);border:1px solid var(--hairline);border-radius:14px;padding:22px 22px 18px; | |
| display:flex;flex-direction:column;gap:10px;} | |
| .inv-card .n{font-family:var(--mono);font-size:11px;letter-spacing:.2em;color:var(--gold-dim);text-transform:uppercase;} | |
| .inv-card h3{font-family:var(--display);font-size:19px;line-height:1.22;letter-spacing:-.01em;margin:0;font-weight:600;color:var(--text);} | |
| .inv-card p{font-size:14.5px;line-height:1.55;color:var(--text-soft);margin:0;} | |
| .inv-card .row{display:flex;align-items:center;gap:10px;flex-wrap:wrap;margin-top:6px;} | |
| .inv-badge{display:inline-flex;align-items:center;gap:6px;font-family:var(--mono);font-size:10.5px; | |
| letter-spacing:.08em;text-transform:uppercase;padding:4px 9px;border-radius:999px;border:1px solid transparent;font-weight:600;} | |
| .inv-badge.proven{color:#0a0a0a;background:var(--teal);border-color:var(--teal);} | |
| .inv-badge.live{color:var(--teal);background:rgba(95,179,163,.10);border-color:rgba(95,179,163,.4);} | |
| .inv-badge.conj{color:#c8cdd6;background:transparent;border-color:#7e8aa3;} | |
| .inv-card a.chk{font-family:var(--mono);font-size:12px;color:var(--gold);text-decoration:none; | |
| border-bottom:1px dashed rgba(201,183,135,.5);padding-bottom:1px;} | |
| .inv-card a.chk:hover{color:var(--gold-dim);border-bottom-style:solid;} | |
| .inv-cta{max-width:var(--maxw);margin:30px auto 0;padding:0 24px;display:flex;gap:14px;flex-wrap:wrap;} | |
| .inv-foot{max-width:var(--maxw);margin:34px auto 0;padding:18px 24px 72px;border-top:1px solid var(--hairline); | |
| color:var(--muted);font-size:12.5px;line-height:1.7;} | |
| .inv-foot b{color:var(--text-soft);font-weight:600;} | |
| .inv-foot a{color:var(--gold);} | |
| </style> | |
| <div id="inv-overlay" role="dialog" aria-modal="true" aria-label="a11oy — CEO / Investor view"> | |
| <div class="inv-bar"> | |
| <div class="mark">A</div> | |
| <div class="who">a11oy<small>SZL Holdings · Investor view</small></div> | |
| <div class="spacer"></div> | |
| <button class="ds-btn" type="button" onclick="a11oyInvestor.close()">Full site →</button> | |
| </div> | |
| <section class="inv-hero"> | |
| <p class="ds-eyebrow">Evidence-first AI</p> | |
| <h1>AI that signs its work<br><span class="accent">and refuses to lie.</span></h1> | |
| <p>Every AI decision arrives with a signed receipt you can verify yourself. The trust math is a | |
| machine-checked theorem. When the model is not sure, it refuses rather than guesses. It runs on | |
| your own hardware, air-gapped if you need it.</p> | |
| <span class="tag">The plain-English story. Every claim below links to the check that proves it.</span> | |
| </section> | |
| <div class="inv-grid"> | |
| <div class="inv-card"> | |
| <div class="n">01 · Signed receipt</div> | |
| <h3>Every AI decision ships a signed receipt you can verify yourself.</h3> | |
| <p>Each answer carries a cryptographic receipt (DSSE / ECDSA-P256). You re-check the signature in | |
| your own browser — no trust in us required.</p> | |
| <div class="row"><span class="inv-badge live">Live</span><a class="chk" href="/verify">Verify a receipt →</a></div> | |
| </div> | |
| <div class="inv-card"> | |
| <div class="n">02 · Machine-checked trust</div> | |
| <h3>The core trust math is a machine-checked theorem — 8 formulas, checked by machine.</h3> | |
| <p>Eight formulas (the "locked-8") are proven in Lean 4 and re-checked on every build. Honest | |
| caveat: the Λ trust score itself is <b>Conjecture 1</b> — advisory, never "green", never a gate.</p> | |
| <div class="row"><span class="inv-badge proven">Proven (locked-8)</span><span class="inv-badge conj">Λ = Conjecture 1</span><a class="chk" href="/proof">See the math →</a></div> | |
| </div> | |
| <div class="inv-card"> | |
| <div class="n">03 · Energy-metered</div> | |
| <h3>Energy-metered inference: joules per token, on every receipt.</h3> | |
| <p>We meter the real energy each answer costs and write joules-per-token onto the receipt. With no | |
| hardware meter attached, it says so — we never fake the number.</p> | |
| <div class="row"><span class="inv-badge live">Live / honest-off</span><a class="chk" href="/energy-ops">See energy →</a></div> | |
| </div> | |
| <div class="inv-card"> | |
| <div class="n">04 · Deny by default</div> | |
| <h3>A deny-by-default governance gate sits on every action.</h3> | |
| <p>Nothing runs unless policy explicitly allows it. Untrusted input is quarantined; a | |
| state-changing step can require a human to approve it first.</p> | |
| <div class="row"><span class="inv-badge live">Live</span><a class="chk" href="/console?view=governance">See the gate →</a></div> | |
| </div> | |
| <div class="inv-card"> | |
| <div class="n">05 · Air-gapped / on-prem</div> | |
| <h3>Runs air-gapped and on your own hardware.</h3> | |
| <p>The whole substrate deploys on-prem with zero runtime dependency on outside services — suitable | |
| for classified and air-gapped environments. Open-weight models only.</p> | |
| <div class="row"><span class="inv-badge live">On-prem</span><a class="chk" href="/security">Deployment posture →</a></div> | |
| </div> | |
| <div class="inv-card"> | |
| <div class="n">06 · Refuses rather than guesses</div> | |
| <h3>When it is not sure, it refuses — instead of guessing.</h3> | |
| <p>Trust is capped (never claimed at 100%). Below the confidence bar, the system abstains and says | |
| why, rather than inventing an answer.</p> | |
| <div class="row"><span class="inv-badge live">Live</span><a class="chk" href="/trust">Trust center →</a></div> | |
| </div> | |
| </div> | |
| <div class="inv-cta"> | |
| <a class="ds-btn ds-btn--primary" href="/verify">Verify a receipt yourself <span class="ds-btn__arrow">→</span></a> | |
| <a class="ds-btn" href="/pricing">See pricing</a> | |
| <a class="ds-btn" href="/console">Enter the console</a> | |
| </div> | |
| <div class="inv-foot"> | |
| <b>Honest by design.</b> Proven means checked in Lean 4 (the locked-8). Λ is <b>Conjecture 1</b> — | |
| advisory only, never "green", never a gate. Live surfaces read real endpoints; where a meter or key | |
| is missing, the receipt says so instead of faking a value. Doctrine v11 LOCKED. Canonical | |
| <a href="https://a-11-oy.com">a-11-oy.com</a>. | |
| </div> | |
| </div> | |
| <script id="inv-mode-js"> | |
| /* CEO / Investor-mode overlay controller. Additive + guarded. Deep-link: ?investor=1 or #investor. */ | |
| window.a11oyInvestor=(function(){ | |
| function el(){try{return document.getElementById('inv-overlay');}catch(_){return null;}} | |
| function btn(){try{return document.getElementById('inv-toggle');}catch(_){return null;}} | |
| function set(open){try{var o=el();if(!o)return;o.classList.toggle('open',!!open);var b=btn();if(b)b.setAttribute('aria-pressed',open?'true':'false'); | |
| try{document.body.style.overflow=open?'hidden':'';}catch(_){} | |
| try{var u=new URL(window.location.href);if(open){u.searchParams.set('investor','1');}else{u.searchParams.delete('investor');}window.history.replaceState(null,'',u.toString());}catch(_){} | |
| }catch(_){}} | |
| function open(){set(true);}function close(){set(false);} | |
| function toggle(){try{var o=el();set(!(o&&o.classList.contains('open')));}catch(_){}} | |
| try{document.addEventListener('keydown',function(e){try{if(e.key==='Escape'){close();}}catch(_){}}); | |
| var q=(window.location.search||'');var h=(window.location.hash||''); | |
| if(/[?&]investor=1\b/.test(q)||/(^|#)investor$/.test(h)){open();} | |
| }catch(_){} | |
| return{open:open,close:close,toggle:toggle}; | |
| })(); | |
| </script> | |
| <script src="/assets/szl-flow.js" defer data-szl-flow-asset="script"></script> | |
| <script src="/assets/szl-holo-v2.js" defer data-szl-holo-asset="script-v2"></script> | |
| </body> | |
| </html> | |