Spaces:
Running
Running
Company front door v4: de-dup from a11oy console, KANCHAY palette, kill purple conjecture pills, real portfolio directory, drop dead energy link
a896567 verified | <html lang="en"> | |
| <head> | |
| <meta charset="utf-8" /> | |
| <meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover" /> | |
| <title>SZL Holdings — Governed AI you can prove.</title> | |
| <meta name="description" content="The holding company for governed AI you can prove — a checkable receipt for every decision. 8 locked-proven Lean formulas, ~185 machine-checked theorems, Λ = Conjecture 1. Portfolio: a11oy · killinchu · anatomy and more." /> | |
| <!-- SOVEREIGN: 0 runtime CDN. Fonts use system stacks declared in :root (--sans/--serif/--mono). No fonts.googleapis / fonts.gstatic at runtime. --> | |
| <!-- ROLE: this card is the COMPANY FRONT DOOR. It states the thesis + the proof, then lists the | |
| portfolio and FUNNELS to the product console (a11oy). It does NOT re-pitch a11oy's console | |
| content — that lives on the a11oy Space itself. KANCHAY palette only: void #080c14 · proof-teal | |
| #3af4c8 · lattice #5b8dee · gold #d7b96b · conjecture gray #7e8aa3 (never green). No purple. --> | |
| <style> | |
| :root{ | |
| --bg0:#080c14; --bg1:#0b1018; --surface:#0f1622; --surface2:#16202f; --line:#223142; | |
| --gold:#d7b96b; --gold-hi:#e7cd8c; --teal:#3af4c8; --teal-hi:#86f7dd; --lattice:#5b8dee; | |
| --conj:#7e8aa3; --conj-hi:#9aa7bc; --warn:#c9a05f; | |
| --ink:#E8ECF3; --ink-dim:#AAB7CC; --ink-mut:#6E809E; | |
| --r-md:10px; --r-lg:16px; --r-pill:999px; | |
| --ease-out:cubic-bezier(.22,1,.36,1); | |
| --sans:"Space Grotesk",-apple-system,"Segoe UI",Roboto,system-ui,sans-serif; | |
| --serif:"Source Serif 4",Georgia,"Times New Roman",serif; | |
| --mono:"JetBrains Mono",ui-monospace,Menlo,monospace; | |
| } | |
| *{box-sizing:border-box;} | |
| html,body{overflow-x:hidden;} | |
| body{margin:0; font-family:var(--sans); color:var(--ink); | |
| background:var(--bg0); -webkit-font-smoothing:antialiased; line-height:1.5;} | |
| /* SHELL carries the void ground itself, so the dark design survives even when an | |
| embedding host (e.g. the HF org-card sanitizer) strips body backgrounds + forces light theme. */ | |
| .shell{background: | |
| radial-gradient(1100px 560px at 50% -14%, #101b30 0%, var(--bg0) 60%), | |
| var(--bg0); | |
| color:var(--ink); border-radius:18px;} | |
| .shell, .shell *{color-scheme:dark;} | |
| .wrap{max-width:940px; margin:0 auto; padding:clamp(40px,7vw,72px) clamp(16px,5vw,28px) 72px;} | |
| .kicker{display:inline-flex; align-items:center; gap:8px; font-family:var(--mono); | |
| font-size:11.5px; font-weight:500; letter-spacing:.18em; text-transform:uppercase; | |
| color:var(--gold); border:1px solid rgba(215,185,107,.4); border-radius:var(--r-pill); | |
| padding:6px 14px; background:rgba(215,185,107,.06);} | |
| .kicker .live{width:7px;height:7px;border-radius:50%;background:var(--teal); | |
| box-shadow:0 0 0 0 rgba(58,244,200,.55); animation:pulse 2.4s var(--ease-out) infinite;} | |
| @keyframes pulse{0%,100%{opacity:.55}50%{opacity:1}} | |
| @media (prefers-reduced-motion:reduce){.kicker .live{animation:none}} | |
| h1{font-family:var(--sans); font-weight:700; font-size:clamp(30px,4.4vw,46px); | |
| line-height:1.08; letter-spacing:-0.015em; margin:20px 0 14px; | |
| text-wrap:balance; overflow-wrap:break-word; word-break:normal; max-width:100%;} | |
| h1 .nowrap{white-space:normal;} | |
| /* SOLID gold accent — never a gradient/clip-text an embed sanitizer could render transparent. */ | |
| h1 .grad{color:var(--gold); -webkit-text-fill-color:var(--gold);} | |
| @media (max-width:360px){ h1{font-size:27px;} } | |
| .lede{font-family:var(--serif); color:var(--ink-dim); font-size:clamp(17px,3.4vw,21px); | |
| max-width:64ch; line-height:1.55; margin:0 0 6px;} | |
| .proofbar{display:flex; flex-wrap:wrap; gap:8px; margin:24px 0 6px;} | |
| .pill{display:inline-flex; align-items:center; gap:7px; font-family:var(--mono); | |
| font-size:12px; font-weight:500; padding:7px 13px; border-radius:var(--r-pill); | |
| border:1px solid var(--line); background:var(--surface); color:var(--ink-dim); | |
| max-width:100%; overflow-wrap:anywhere;} | |
| .pill .dot{width:7px;height:7px;border-radius:50%;flex:0 0 auto;} | |
| .pill b{color:var(--ink); font-weight:700;} | |
| .pill.gold{border-color:rgba(215,185,107,.5);} .pill.gold .dot{background:var(--gold);} .pill.gold b{color:var(--gold-hi);} | |
| .pill.teal{border-color:rgba(58,244,200,.45);} .pill.teal .dot{background:var(--teal);} .pill.teal b{color:var(--teal-hi);} | |
| .pill.conj{border-color:rgba(126,138,163,.55);} .pill.conj .dot{background:var(--conj);} .pill.conj b{color:var(--conj-hi);} | |
| .cta{display:flex; flex-wrap:wrap; gap:12px; margin:26px 0 4px;} | |
| .btn{display:inline-flex; align-items:center; gap:8px; font-family:var(--sans); font-weight:600; | |
| font-size:14.5px; padding:11px 20px; border-radius:var(--r-pill); text-decoration:none; | |
| transition:transform .12s var(--ease-out), border-color .12s, background .12s;} | |
| .btn.primary{color:var(--bg0); background:var(--gold); border:1px solid var(--gold);} | |
| .btn.primary:hover{background:var(--gold-hi); transform:translateY(-2px);} | |
| .btn.ghost{color:var(--ink); background:transparent; border:1px solid var(--line);} | |
| .btn.ghost:hover{border-color:var(--teal); color:var(--teal-hi); transform:translateY(-2px);} | |
| .section-label{font-family:var(--mono); font-size:11px; letter-spacing:.22em; text-transform:uppercase; | |
| color:var(--ink-mut); margin:48px 0 14px;} | |
| .grid{display:grid; grid-template-columns:1fr 1fr 1fr; gap:16px; margin:14px 0 8px;} | |
| .card{background:var(--surface); border:1px solid var(--line); border-radius:var(--r-lg); | |
| padding:22px; text-decoration:none; color:inherit; | |
| transition:transform .15s var(--ease-out), border-color .15s; display:flex; flex-direction:column;} | |
| .card:hover{transform:translateY(-3px); border-color:rgba(215,185,107,.5); background:var(--surface2);} | |
| .card .role{font-family:var(--mono); color:var(--teal); font-size:11px; letter-spacing:.12em; | |
| text-transform:uppercase; margin-bottom:9px;} | |
| .card h2{font-family:var(--sans); font-weight:600; margin:0 0 8px; font-size:19px;} | |
| .card p{font-family:var(--serif); color:var(--ink-dim); font-size:14px; line-height:1.5; margin:0;} | |
| /* Compact portfolio directory — the rest of the org, honestly listed */ | |
| .dir{display:grid; grid-template-columns:1fr 1fr; gap:10px; margin:14px 0 8px;} | |
| .dir a{display:flex; flex-direction:column; gap:3px; padding:14px 16px; text-decoration:none; | |
| border:1px solid var(--line); border-radius:var(--r-md); background:var(--surface); | |
| transition:border-color .15s, transform .15s var(--ease-out);} | |
| .dir a:hover{border-color:rgba(58,244,200,.4); transform:translateY(-2px);} | |
| .dir .n{font-family:var(--mono); font-size:13px; color:var(--ink); letter-spacing:.02em;} | |
| .dir .n .arw{color:var(--teal);} | |
| .dir .d{font-family:var(--serif); font-size:12.5px; color:var(--ink-dim); line-height:1.45;} | |
| @media (max-width:680px){.dir{grid-template-columns:1fr;}} | |
| .verify{background:var(--bg1); border:1px solid rgba(58,244,200,.24); border-radius:var(--r-lg); | |
| padding:22px clamp(18px,4vw,26px); margin:14px 0 8px;} | |
| .verify h3{font-family:var(--mono); margin:0 0 6px; font-size:12px; color:var(--teal); letter-spacing:.14em; text-transform:uppercase;} | |
| .verify p{font-family:var(--serif); color:var(--ink-dim); font-size:14px; margin:0 0 12px;} | |
| pre{background:#05090f; border:1px solid var(--line); border-radius:var(--r-md); padding:14px 16px; | |
| overflow-x:auto; margin:0; font-family:var(--mono); font-size:12.5px; color:#cfe0d8; line-height:1.65;} | |
| pre .c{color:var(--ink-mut);} pre .ok{color:var(--teal);} pre .fail{color:var(--warn);} | |
| .honest{font-family:var(--serif); font-size:13.5px; color:var(--ink-dim); line-height:1.7;} | |
| .honest h3{font-family:var(--sans); font-weight:600; font-size:15px; color:var(--ink); margin:0 0 10px;} | |
| .honest b{color:var(--ink);} | |
| .honest code,.verify code{font-family:var(--mono); font-size:.9em; color:var(--gold-hi);} | |
| a.link{color:var(--gold); text-decoration:none;} a.link:hover{text-decoration:underline; color:var(--gold-hi);} | |
| hr.rule{border:none; border-top:1px solid var(--line); margin:44px 0;} | |
| footer{font-family:var(--mono); margin-top:40px; color:var(--ink-mut); font-size:12px; line-height:1.8; letter-spacing:.02em;} | |
| footer a{color:var(--ink-mut);} footer a:hover{color:var(--gold);} | |
| @media (max-width:820px){.grid{grid-template-columns:1fr;}} | |
| /* EMBED-SAFETY: re-assert key colors with .shell specificity so a host reset cannot flatten the design. */ | |
| .shell h1{color:var(--ink);} | |
| .shell h1 .grad{color:var(--gold);} | |
| .shell .lede{color:var(--ink-dim);} | |
| .shell .kicker{color:var(--gold);} | |
| .shell .card h2,.shell .honest h3{color:var(--ink);} | |
| .shell .card p,.shell .honest{color:var(--ink-dim);} | |
| .shell .honest b,.shell .honest h3{color:var(--ink);} | |
| .shell pre{color:#cfe0d8;} | |
| .shell footer{color:var(--ink-mut);} | |
| </style> | |
| </head> | |
| <body> | |
| <!-- INLINE STYLES carry the brand THROUGH the HF org-card sanitizer, which strips the <style> block | |
| but PRESERVES inline style attributes (and inline !important beats its injected light theme). --> | |
| <div class="shell" style="background:radial-gradient(1100px 560px at 50% -14%,#101b30 0%,#080c14 60%),#080c14!important;color:#E8ECF3!important;border-radius:18px;padding:clamp(28px,5vw,56px) clamp(16px,4vw,40px)!important;"> | |
| <div class="wrap"> | |
| <span class="kicker" style="display:inline-flex;align-items:center;gap:8px;font-family:'JetBrains Mono',ui-monospace,monospace;font-size:11.5px;font-weight:500;letter-spacing:.18em;text-transform:uppercase;color:#d7b96b!important;border:1px solid rgba(215,185,107,.4);border-radius:999px;padding:6px 14px;background:rgba(215,185,107,.06)!important;"><span class="live" style="width:7px;height:7px;border-radius:50%;background:#3af4c8!important;display:inline-block;"></span>Holding company · Kernel c7c0ba17 · Doctrine-bound</span> | |
| <h1 style="color:#E8ECF3!important;font-family:'Space Grotesk',system-ui,sans-serif;font-weight:700;font-size:clamp(30px,4.4vw,46px);line-height:1.08;letter-spacing:-0.015em;margin:20px 0 14px;">Governed AI <span class="nowrap">you can <span class="grad" style="color:#d7b96b!important;-webkit-text-fill-color:#d7b96b!important;">prove.</span></span></h1> | |
| <p class="lede" style="font-family:'Source Serif 4',Georgia,serif;color:#AAB7CC!important;font-size:clamp(17px,3.4vw,21px);max-width:64ch;line-height:1.55;margin:0 0 6px;">SZL Holdings builds governed autonomy with a checkable receipt for every decision. Every autonomous | |
| action carries a machine-checked, tamper-evident warrant — proof of <em>under what authority</em> | |
| it acted, <em>on what trust evidence</em>, and that <em>the record was not quietly rewritten.</em></p> | |
| <!-- Proof-status pills: the machine-checked facts, surfaced up front --> | |
| <div class="proofbar" style="display:flex;flex-wrap:wrap;gap:8px;margin:24px 0 6px;"> | |
| <span class="pill gold" style="display:inline-flex;align-items:center;gap:7px;font-family:'JetBrains Mono',monospace;font-size:12px;padding:7px 13px;border-radius:999px;border:1px solid rgba(215,185,107,.5)!important;background:#0f1622!important;color:#AAB7CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#d7b96b!important;display:inline-block;"></span><b style="color:#e7cd8c!important;">8</b> locked-proven</span> | |
| <span class="pill teal" style="display:inline-flex;align-items:center;gap:7px;font-family:'JetBrains Mono',monospace;font-size:12px;padding:7px 13px;border-radius:999px;border:1px solid rgba(58,244,200,.45)!important;background:#0f1622!important;color:#AAB7CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#3af4c8!important;display:inline-block;"></span><b style="color:#86f7dd!important;">~185</b> machine-checked</span> | |
| <span class="pill conj" style="display:inline-flex;align-items:center;gap:7px;font-family:'JetBrains Mono',monospace;font-size:12px;padding:7px 13px;border-radius:999px;border:1px solid rgba(126,138,163,.55)!important;background:#0f1622!important;color:#AAB7CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#7e8aa3!important;display:inline-block;"></span>Λ = Conjecture 1</span> | |
| <span class="pill conj" style="display:inline-flex;align-items:center;gap:7px;font-family:'JetBrains Mono',monospace;font-size:12px;padding:7px 13px;border-radius:999px;border:1px solid rgba(126,138,163,.55)!important;background:#0f1622!important;color:#AAB7CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#7e8aa3!important;display:inline-block;"></span>Khipu = Conjecture 2</span> | |
| <span class="pill gold" style="display:inline-flex;align-items:center;gap:7px;font-family:'JetBrains Mono',monospace;font-size:12px;padding:7px 13px;border-radius:999px;border:1px solid rgba(215,185,107,.5)!important;background:#0f1622!important;color:#AAB7CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#d7b96b!important;display:inline-block;"></span>SLSA L1 · L2 attested · L3 roadmap</span> | |
| <span class="pill teal" style="display:inline-flex;align-items:center;gap:7px;font-family:'JetBrains Mono',monospace;font-size:12px;padding:7px 13px;border-radius:999px;border:1px solid rgba(58,244,200,.45)!important;background:#0f1622!important;color:#AAB7CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#3af4c8!important;display:inline-block;"></span>cosign keyless</span> | |
| </div> | |
| <div class="cta" style="display:flex;flex-wrap:wrap;gap:12px;margin:26px 0 4px;"> | |
| <a class="btn primary" href="https://szlholdings-a11oy.hf.space/" style="display:inline-flex;align-items:center;gap:8px;font-family:'Space Grotesk',sans-serif;font-weight:600;font-size:14.5px;padding:11px 20px;border-radius:999px;text-decoration:none;color:#080c14!important;background:#d7b96b!important;border:1px solid #d7b96b!important;">Enter a11oy — the console →</a> | |
| <a class="btn ghost" href="https://github.com/szl-holdings/lutar-lean" style="display:inline-flex;align-items:center;gap:8px;font-family:'Space Grotesk',sans-serif;font-weight:600;font-size:14.5px;padding:11px 20px;border-radius:999px;text-decoration:none;color:#E8ECF3!important;background:transparent!important;border:1px solid #223142!important;">Read the proof →</a> | |
| </div> | |
| <!-- THE PORTFOLIO — the company view, funnelling to each product (no console content duplicated here) --> | |
| <div class="section-label" style="font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:.22em;text-transform:uppercase;color:#6E809E!important;margin:48px 0 14px;">The portfolio · one signed substrate</div> | |
| <div class="grid" style="display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,220px),1fr));gap:16px;margin:14px 0 8px;"> | |
| <a class="card" href="https://szlholdings-a11oy.hf.space/" style="background:#0f1622!important;border:1px solid #223142!important;border-radius:16px;padding:22px;text-decoration:none;display:flex;flex-direction:column;"> | |
| <div class="role" style="font-family:'JetBrains Mono',monospace;color:#3af4c8!important;font-size:11px;letter-spacing:.12em;text-transform:uppercase;margin-bottom:9px;">Flagship · command platform</div> | |
| <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">a11oy →</h2> | |
| <p style="font-family:'Source Serif 4',serif;color:#AAB7CC!important;font-size:14px;line-height:1.5;margin:0;">The governed-AI console: ask-and-act behind deny-by-default gates, a live decision feed, and a | |
| signed receipt for every action.</p> | |
| </a> | |
| <a class="card" href="https://szlholdings-killinchu.hf.space/elite" style="background:#0f1622!important;border:1px solid #223142!important;border-radius:16px;padding:22px;text-decoration:none;display:flex;flex-direction:column;"> | |
| <div class="role" style="font-family:'JetBrains Mono',monospace;color:#3af4c8!important;font-size:11px;letter-spacing:.12em;text-transform:uppercase;margin-bottom:9px;">Counter-UAS · maritime C2</div> | |
| <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">killinchu →</h2> | |
| <p style="font-family:'Source Serif 4',serif;color:#AAB7CC!important;font-size:14px;line-height:1.5;margin:0;">Air-and-sea field demonstration: live track board, multi-sensor fusion, sanctions and dark-vessel | |
| screening — with verify-it-yourself receipts (effector link is a labeled simulation).</p> | |
| </a> | |
| <a class="card" href="https://szlholdings-anatomy.hf.space/" style="background:#0f1622!important;border:1px solid #223142!important;border-radius:16px;padding:22px;text-decoration:none;display:flex;flex-direction:column;"> | |
| <div class="role" style="font-family:'JetBrains Mono',monospace;color:#3af4c8!important;font-size:11px;letter-spacing:.12em;text-transform:uppercase;margin-bottom:9px;">The living substrate</div> | |
| <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">anatomy →</h2> | |
| <p style="font-family:'Source Serif 4',serif;color:#AAB7CC!important;font-size:14px;line-height:1.5;margin:0;">A 3D, navigable map of the governed organism — its organs, how a decision flows through them, | |
| and where each proof and conjecture honestly sits.</p> | |
| </a> | |
| </div> | |
| <!-- Compact directory: the rest of the org, honestly one-lined --> | |
| <div class="section-label" style="font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:.22em;text-transform:uppercase;color:#6E809E!important;margin:38px 0 14px;">Also in the org</div> | |
| <div class="dir" style="display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,260px),1fr));gap:10px;margin:14px 0 8px;"> | |
| <a href="https://szlholdings-david-leads.hf.space/" style="display:flex;flex-direction:column;gap:3px;padding:14px 16px;text-decoration:none;border:1px solid #223142!important;border-radius:10px;background:#0f1622!important;"> | |
| <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">david-leads <span class="arw" style="color:#3af4c8!important;">→</span></span> | |
| <span class="d" style="font-family:'Source Serif 4',serif;font-size:12.5px;color:#AAB7CC!important;line-height:1.45;">Sovereign insurance intelligence — audit-defensible leads from public data only.</span> | |
| </a> | |
| <a href="https://szlholdings-immune.hf.space/" style="display:flex;flex-direction:column;gap:3px;padding:14px 16px;text-decoration:none;border:1px solid #223142!important;border-radius:10px;background:#0f1622!important;"> | |
| <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">immune <span class="arw" style="color:#3af4c8!important;">→</span></span> | |
| <span class="d" style="font-family:'Source Serif 4',serif;font-size:12.5px;color:#AAB7CC!important;line-height:1.45;">Verifiable-AI defense — an append-only SHA-256 receipt chain with admission gates and tripwires.</span> | |
| </a> | |
| <a href="https://szlholdings-sda.hf.space/" style="display:flex;flex-direction:column;gap:3px;padding:14px 16px;text-decoration:none;border:1px solid #223142!important;border-radius:10px;background:#0f1622!important;"> | |
| <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">sda <span class="arw" style="color:#3af4c8!important;">→</span></span> | |
| <span class="d" style="font-family:'Source Serif 4',serif;font-size:12.5px;color:#AAB7CC!important;line-height:1.45;">Domain awareness — graph anomaly detection and multi-sensor track fusion into a Λ-gated picture.</span> | |
| </a> | |
| <a href="https://szlholdings-yarqa.hf.space/" style="display:flex;flex-direction:column;gap:3px;padding:14px 16px;text-decoration:none;border:1px solid #223142!important;border-radius:10px;background:#0f1622!important;"> | |
| <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">yarqa <span class="arw" style="color:#3af4c8!important;">→</span></span> | |
| <span class="d" style="font-family:'Source Serif 4',serif;font-size:12.5px;color:#AAB7CC!important;line-height:1.45;">Plug-flow compartments — a CFD engineering-method loop: sense → route → gate → receipt.</span> | |
| </a> | |
| <a href="https://szlholdings-llm-router-live.hf.space/" style="display:flex;flex-direction:column;gap:3px;padding:14px 16px;text-decoration:none;border:1px solid #223142!important;border-radius:10px;background:#0f1622!important;"> | |
| <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">llm-router <span class="arw" style="color:#3af4c8!important;">→</span></span> | |
| <span class="d" style="font-family:'Source Serif 4',serif;font-size:12.5px;color:#AAB7CC!important;line-height:1.45;">Governed model routing — own metal first, then free tiers, then paid fallback, with honest provenance.</span> | |
| </a> | |
| </div> | |
| <!-- VERIFY — company-level credibility: any signed receipt checks offline, zero trust in SZL --> | |
| <div class="section-label" style="font-family:'JetBrains Mono',monospace;font-size:11px;letter-spacing:.22em;text-transform:uppercase;color:#6E809E!important;margin:48px 0 14px;">Verify it yourself · trust nothing</div> | |
| <div class="verify" style="background:#0b1018!important;border:1px solid rgba(58,244,200,.24)!important;border-radius:16px;padding:22px clamp(18px,4vw,26px);margin:14px 0 8px;"> | |
| <h3 style="font-family:'JetBrains Mono',monospace;margin:0 0 6px;font-size:12px;color:#3af4c8!important;letter-spacing:.14em;text-transform:uppercase;">Confirm a decision happened, exactly as recorded — with zero trust in SZL</h3> | |
| <p style="font-family:'Source Serif 4',serif;color:#AAB7CC!important;font-size:14px;margin:0 0 12px;">Pull the public signing key and a signed receipt from a live field node, then verify offline:</p> | |
| <pre style="background:#05090f!important;border:1px solid #223142!important;border-radius:10px;padding:14px 16px;overflow-x:auto;margin:0;font-family:'JetBrains Mono',monospace;font-size:12.5px;color:#cfe0d8!important;line-height:1.65;"><span class="c"># pull the public key + a signed receipt from the live field node</span> | |
| curl -s https://szlholdings-killinchu.hf.space/cosign.pub -o cosign.pub | |
| curl -s https://szlholdings-killinchu.hf.space/api/killinchu/v1/receipt/export > receipt.json | |
| <span class="c"># verify the DSSE signature offline </span> → <span class="ok">"Verified OK"</span> | |
| <span class="c"># tamper a single byte and re-verify</span> → <span class="fail">"Verification failure"</span></pre> | |
| </div> | |
| <hr class="rule" style="border:none;border-top:1px solid #223142!important;margin:44px 0;" /> | |
| <!-- HONEST PROOF STATE --> | |
| <div class="honest" style="font-family:'Source Serif 4',serif;font-size:13.5px;color:#AAB7CC!important;line-height:1.7;"> | |
| <h3 style="font-family:'Space Grotesk',sans-serif;font-weight:600;font-size:15px;color:#E8ECF3!important;margin:0 0 10px;">What we claim — and what we don't</h3> | |
| <p style="color:#AAB7CC!important;">We surface only machine-checked facts as fact.</p> | |
| <p>• <b>8 formulas formally proven & locked in Lean</b> (sorry-free): | |
| <code>F1, F4, F7, F11, F12, F18, F19, F22</code> — this count never inflates. A larger experimental | |
| tier is <b>kernel-clean / CI-green on main @ c7c0ba17 across Waves 11–23</b> | |
| (axioms ⊆ propext / Classical.choice / Quot.sound), labeled experimental — never folded into the locked eight.<br/> | |
| • <b>Λ uniqueness = Conjecture 1</b> — unconditional uniqueness is machine-checked <b>false</b>. | |
| The <b>conditional</b> uniqueness (Theorem U, on separability) is proven <b>axiom-free</b>. | |
| Khipu Byzantine BFT safety = <b>Conjecture 2</b> (Wave23 proves a conditional quorum-agreement, | |
| axiom-clean; unconditional stays open).<br/> | |
| • <b>SLSA L1 (honest) · L2 build-attested</b> — container provenance via Sigstore keyless | |
| (Fulcio + Rekor) where <code>attest-build-provenance</code> runs & verifies (a11oy, killinchu); | |
| verify with <code>gh attestation verify</code> / <code>cosign verify-attestation</code>. | |
| <b>L3, FedRAMP, Iron Bank, CMMC, ATO = roadmap.</b><br/> | |
| • Receipts are genuinely signed where a key is present, honestly marked unsigned otherwise — | |
| never fabricated. <b>Trust is never 100%.</b><br/> | |
| • Maritime AIS uses a clearly-labeled sample/replay dataset, not a live feed.</p> | |
| <p>Read the thesis → <a class="link" href="https://github.com/szl-holdings/szl-papers">szl-papers</a> | |
| · Run the kernel → <a class="link" href="https://github.com/szl-holdings/lutar-lean">lutar-lean</a> | |
| · Deploy the mesh → <code>uds deploy oci://ghcr.io/szl-holdings/szl-mesh:0.4.0 --confirm</code></p> | |
| </div> | |
| <footer style="font-family:'JetBrains Mono',monospace;margin-top:40px;color:#6E809E!important;font-size:12px;line-height:1.8;letter-spacing:.02em;"> | |
| Built by Stephen P. Lutar Jr. · Honest by design · | |
| <a href="https://github.com/szl-holdings">github.com/szl-holdings</a><br/> | |
| Not affiliated with Defense Unicorns · SZL mark USPTO Serial 99831122 · no production ATO claimed · | |
| Λ = Conjecture 1 · Khipu = Conjecture 2 · trust never 100% | |
| </footer> | |
| </div> | |
| </div> | |
| </body> | |
| </html> | |