Hugging Face's logo

Spaces:
SZLHOLDINGS
/
a11oy
Running

App Files Community
12
a11oy / pages /company.html
betterwithage's picture
betterwithage
deploy(hf): sync szl-holdings/a11oy@ac02db5a10e5b3d4c9b2260674111ff2335888bf derived COPY set
55e5019 verified
Raw
History Blame Contribute Delete
34 kB
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<title>Company · SZL Holdings — Governed AI, proven in Lean | a11oy</title>
<meta name="description" content="SZL Holdings builds governed agentic AI. Consequential decisions are recorded as cryptographically signed, tamper-evident receipts — verifiable offline. Proven receipt core, honestly staged roadmap. Sovereign, air-gapped capable, defense-grade.">
<meta name="theme-color" content="#05060f">
<link rel="canonical" href="https://a-11-oy.com/company">
<meta property="og:type" content="website">
<meta property="og:site_name" content="a11oy · SZL Holdings">
<meta property="og:title" content="SZL Holdings — Governed AI, with a proven receipt core.">
<meta property="og:description" content="Governed agentic systems. Decisions recorded as cryptographically signed, tamper-evident receipts — verifiable offline. Proven core, honest roadmap.">
<meta property="og:url" content="https://a-11-oy.com/company">
<meta name="author" content="Stephen P. Lutar Jr., SZL Holdings LLC">
<meta name="citation_author_orcid" content="https://orcid.org/0009-0001-0110-4173">
<meta name="a11oy:canonical-domain" content="https://a-11-oy.com">
<meta name="a11oy:legacy-alias" content="https://a11oy.net">
<meta name="a11oy:concept-doi" content="10.5281/zenodo.19944926">
<meta name="a11oy:formal-artifact-doi" content="10.5281/zenodo.20434276">
<script type="application/ld+json">
{
 "@context": "https://schema.org",
 "@type": "SoftwareSourceCode",
 "name": "A11oy",
 "version": "1.1.0",
 "license": "https://www.apache.org/licenses/LICENSE-2.0",
 "codeRepository": "https://github.com/szl-holdings/a11oy",
 "url": "https://a-11-oy.com",
 "sameAs": [
 "https://a11oy.net"
 ],
 "citation": [
 {
 "@type": "CreativeWork",
 "identifier": "https://doi.org/10.5281/zenodo.19944926",
 "url": "https://doi.org/10.5281/zenodo.19944926"
 },
 {
 "@type": "Dataset",
 "identifier": "https://doi.org/10.5281/zenodo.20434276",
 "url": "https://doi.org/10.5281/zenodo.20434276"
 }
 ],
 "author": {
 "@type": "Person",
 "name": "Stephen P. Lutar Jr.",
 "affiliation": {"@type": "Organization", "name": "SZL Holdings LLC"},
 "sameAs": "https://orcid.org/0009-0001-0110-4173"
 }
}
</script>
<style>
:root{
 --hatun-300:#e6c875; --hatun-400:#d7b96b; --hatun-500:#c08f2f;
 --yawar-500:#c0392b; --yuyay-300:#7fd6d1; --yuyay-500:#168f89;
 --indigo-950:#05060f; --indigo-900:#070815; --indigo-800:#0c0e20; --indigo-700:#16183a;
 --green:#5fd99b; --red:#d05246; --violet:#a78bfa;
 --ink:#f4eedd; --ink-soft:#d8cfb6; --ink-dim:#9b9379;
 --line:rgba(230,200,117,0.16);
 --panel:rgba(12,14,30,0.55);
 --display:'Fraunces',Georgia,'Times New Roman',serif;
 --grotesk:'Space Grotesk',system-ui,-apple-system,'Segoe UI',sans-serif;
 --mono:ui-monospace,'JetBrains Mono',Menlo,Consolas,monospace;
 --maxw:1180px;
}
*{box-sizing:border-box}
html{scroll-behavior:smooth}
@media(prefers-reduced-motion:reduce){html{scroll-behavior:auto}}
body{margin:0;background:var(--indigo-950);color:var(--ink);font-family:var(--grotesk);
 -webkit-font-smoothing:antialiased;text-rendering:optimizeLegibility;line-height:1.55;overflow-x:hidden}
a{color:inherit;text-decoration:none}
::selection{background:rgba(230,200,117,0.28);color:#fff}
[id]{scroll-margin-top:6rem}
/* ambient backdrop */
.aura{position:fixed;inset:0;z-index:0;pointer-events:none;
 background:
 radial-gradient(1100px 620px at 78% -8%, rgba(192,143,47,0.10), transparent 60%),
 radial-gradient(900px 600px at 8% 12%, rgba(22,143,137,0.10), transparent 60%),
 radial-gradient(1000px 800px at 50% 120%, rgba(167,139,250,0.06), transparent 60%);}
.grain{position:fixed;inset:0;z-index:1;pointer-events:none;opacity:.04;mix-blend-mode:overlay;
 background-image:url("data:image/svg+xml,%3Csvg viewBox='0 0 200 200' xmlns='http://www.w3.org/2000/svg'%3E%3Cfilter id='n'%3E%3CfeTurbulence type='fractalNoise' baseFrequency='0.65' numOctaves='3' stitchTiles='stitch'/%3E%3C/filter%3E%3Crect width='100%25' height='100%25' filter='url(%23n)'/%3E%3C/svg%3E");}
main,nav,footer{position:relative;z-index:2}
/* nav */
nav#nav{position:fixed;top:0;left:0;right:0;height:64px;display:flex;align-items:center;
 padding:0 clamp(18px,4vw,40px);z-index:60;
 background:linear-gradient(to bottom,rgba(5,6,15,0.86),rgba(5,6,15,0));
 backdrop-filter:blur(9px);-webkit-backdrop-filter:blur(9px)}
.brand{font-family:var(--grotesk);font-weight:700;font-size:21px;letter-spacing:-0.01em;color:var(--ink);display:flex;align-items:center;gap:10px}
.brand i{font-style:normal;color:var(--hatun-400)}
.brand .gd{width:10px;height:10px;border-radius:50%;background:radial-gradient(circle at 35% 30%,var(--hatun-300),var(--hatun-500));box-shadow:0 0 14px rgba(214,185,107,0.6)}
.navlinks{display:flex;align-items:center;gap:30px;margin-left:auto}
.navlinks a.nl{font-family:var(--grotesk);font-size:14px;font-weight:500;color:var(--ink-soft);letter-spacing:.01em;transition:color .18s}
.navlinks a.nl:hover{color:var(--ink)}
.navlinks a.nl.here{color:var(--hatun-300)}
.navcta{font-family:var(--grotesk);font-weight:600;font-size:13.5px;color:var(--indigo-950);
 background:linear-gradient(180deg,var(--hatun-300),var(--hatun-500));padding:10px 16px;border-radius:11px;
 transition:transform .18s,box-shadow .18s}
.navcta:hover{transform:translateY(-1px);box-shadow:0 12px 30px rgba(192,143,47,0.42)}
@media(max-width:880px){.navlinks a.nl{display:none}}
.wrap{max-width:var(--maxw);margin:0 auto;padding:0 clamp(18px,4vw,40px)}
section{padding:clamp(64px,9vw,120px) 0;position:relative}
.eyebrow{font-family:var(--grotesk);font-weight:600;font-size:12px;letter-spacing:.26em;text-transform:uppercase;color:var(--hatun-400);display:flex;align-items:center;gap:12px;flex-wrap:wrap}
.eyebrow::after{content:'';height:1px;width:40px;background:var(--hatun-500);opacity:.7}
/* hero */
.hero{min-height:78vh;display:flex;flex-direction:column;justify-content:center;padding-top:120px}
.hero h1{font-family:var(--display);font-weight:380;font-size:clamp(40px,6.6vw,82px);line-height:1.03;letter-spacing:-0.018em;margin:24px 0 0;color:var(--ink);max-width:16ch}
.hero h1 em{font-style:italic;color:var(--hatun-300)}
.hero .sub{margin:26px 0 0;max-width:640px;font-size:clamp(15px,1.5vw,18px);line-height:1.62;color:var(--ink-soft)}
.cta-row{display:flex;flex-wrap:wrap;gap:14px;margin-top:34px}
.btn{font-family:var(--grotesk);font-weight:600;font-size:15px;padding:14px 26px;border-radius:12px;cursor:pointer;border:1px solid transparent;transition:transform .18s,box-shadow .18s,border-color .18s,color .18s}
.btn.gold{color:var(--indigo-950);background:linear-gradient(180deg,var(--hatun-300),var(--hatun-500))}
.btn.gold:hover{transform:translateY(-1px);box-shadow:0 14px 34px rgba(192,143,47,0.4)}
.btn.ghost{color:var(--ink);border-color:var(--line);background:rgba(244,238,221,0.02)}
.btn.ghost:hover{border-color:var(--hatun-400);color:var(--hatun-300)}
/* status pills */
.pill{font-family:var(--mono);text-transform:uppercase;letter-spacing:.07em;font-size:10.5px;
 padding:3px 9px;border-radius:999px;border:1px solid currentColor;white-space:nowrap;line-height:1.3;display:inline-block}
.pill-live{color:var(--green)}
.pill-staged{color:var(--hatun-300)}
.pill-frontier{color:var(--violet)}
.pill-heritage{color:var(--ink-dim)}
.lead{font-family:var(--display);font-weight:380;font-size:clamp(26px,3.6vw,44px);line-height:1.12;letter-spacing:-0.015em;margin:20px 0 0;max-width:760px;color:var(--ink)}
.lead em{font-style:italic;color:var(--hatun-300)}
p.body{font-size:15.5px;line-height:1.66;color:var(--ink-soft);max-width:68ch;margin:18px 0 0}
p.body strong{color:var(--ink)}
/* legend */
.legend{display:flex;flex-wrap:wrap;gap:14px 26px;margin-top:30px;font-size:13px;color:var(--ink-dim)}
.legend span b{color:var(--ink-soft);font-weight:600}
/* card grids */
.cards{display:grid;grid-template-columns:repeat(auto-fit,minmax(300px,1fr));gap:20px;margin-top:42px}
.card{background:var(--panel);border:1px solid var(--line);border-radius:16px;padding:26px;transition:transform .25s,border-color .25s,background .25s}
.card:hover{transform:translateY(-4px);border-color:rgba(230,200,117,0.32);background:rgba(14,16,34,0.7)}
.card .tag-row{display:flex;align-items:center;justify-content:space-between;gap:12px;margin-bottom:14px}
.card .code{font:11.5px/1 var(--mono);color:var(--hatun-400);letter-spacing:.08em;text-transform:lowercase}
.card h3{font-family:var(--display);font-weight:500;font-size:20px;letter-spacing:-0.01em;margin:0 0 10px;color:var(--ink)}
.card p{font-size:13.6px;line-height:1.62;color:var(--ink-soft);margin:0}
.card .meta{font:11.5px/1.55 var(--mono);color:var(--ink-dim);margin-top:16px;padding-top:14px;border-top:1px solid rgba(230,200,117,0.1)}
.card.proven{border-color:rgba(95,217,155,0.2)}
.card.frontier{border-color:rgba(167,139,250,0.18)}
/* honest callout */
.honest{margin-top:40px;border-left:2px solid var(--hatun-500);padding:18px 22px;background:rgba(192,143,47,0.05);border-radius:0 12px 12px 0;max-width:880px}
.honest .tag{font:11px var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--hatun-400)}
.honest p{font-size:14.5px;line-height:1.64;color:var(--ink-soft);margin:8px 0 0}
.honest p strong{color:var(--ink)}
.honest p em{color:var(--hatun-300);font-style:italic}
/* doctrine metrics */
.metrics{display:grid;grid-template-columns:repeat(auto-fit,minmax(220px,1fr));gap:18px;margin-top:42px}
.metric{background:var(--panel);border:1px solid var(--line);border-radius:14px;padding:22px}
.metric .n{font-family:var(--mono);font-weight:500;font-size:clamp(26px,3vw,38px);color:var(--hatun-300);line-height:1}
.metric.warn .n{color:var(--yuyay-300)}
.metric .k{font-family:var(--grotesk);font-size:13px;font-weight:600;color:var(--ink);margin-top:12px}
.metric .c{font-size:11.8px;line-height:1.5;color:var(--ink-dim);margin-top:7px}
/* two-col heritage */
.grid-2{display:grid;grid-template-columns:1fr 1fr;gap:38px;margin-top:38px}
@media(max-width:820px){.grid-2{grid-template-columns:1fr}}
.grid-2 p{font-size:14.5px;line-height:1.66;color:var(--ink-soft);margin:0 0 16px}
.grid-2 p strong{color:var(--ink)}
.grid-2 p.note{font-size:12.5px;color:var(--ink-dim);font-style:italic}
/* receipt table */
.rt{width:100%;border-collapse:collapse;margin-top:34px;font-family:var(--mono);font-size:12.5px}
.rt th,.rt td{padding:12px 14px;text-align:left;border-bottom:1px solid rgba(230,200,117,0.1)}
.rt th{color:var(--ink-dim);font-weight:400;letter-spacing:.05em;text-transform:uppercase;font-size:11px}
.rt td.hash{color:var(--hatun-300)}
.rt td.ok{color:var(--green)}
.caption{font-size:12px;color:var(--ink-dim);margin-top:14px;font-style:italic}
/* contact */
.contact h2{font-family:var(--display);font-weight:380;font-size:clamp(30px,4.6vw,56px);line-height:1.06;letter-spacing:-0.018em;max-width:16ch;color:var(--ink)}
/* footer */
footer{border-top:1px solid var(--line);padding:54px 0 40px}
.foot{display:flex;flex-wrap:wrap;gap:34px;justify-content:space-between}
.foot .fb{font-family:var(--grotesk);font-weight:700;font-size:20px;color:var(--ink)}
.foot .fb i{font-style:normal;color:var(--hatun-400)}
.foot .ft{font-size:13px;color:var(--ink-dim);margin-top:8px;max-width:42ch;line-height:1.55}
.fcol{display:flex;flex-direction:column;gap:7px}
.fcol .fh{font:11px var(--mono);letter-spacing:.16em;text-transform:uppercase;color:var(--ink-dim);margin-bottom:3px}
.fcol a{font-size:13px;color:var(--ink-soft);transition:color .16s}
.fcol a:hover{color:var(--hatun-300)}
.legal{max-width:var(--maxw);margin:34px auto 0;padding:18px clamp(18px,4vw,40px) 0;border-top:1px solid rgba(230,200,117,0.08);
 display:flex;flex-wrap:wrap;gap:10px 24px;justify-content:space-between;font:11.5px var(--mono);color:var(--ink-dim)}
.legal .sha{color:var(--yuyay-300)}
</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>
<div class="aura"></div>
<div class="grain"></div>
<nav id="nav">
 <a class="brand" href="/"><span class="gd"></span>a<i>11</i>oy</a>
 <div class="navlinks">
 <a class="nl" href="/">Platform</a>
 <a class="nl" href="/warhacker">Warhacker</a>
 <a class="nl" href="/proven-formulas">Proven</a>
 <a class="nl here" href="/company">Company</a>
 <a class="navcta" href="/console">Enter Console →</a>
 </div>
</nav>
<main>
 <!-- HERO -->
 <section class="hero wrap" id="top">
 <div class="eyebrow">SZL Holdings · The holding company behind a11oy</div>
 <h1>Governed AI,<br><em>proven</em> in Lean.</h1>
 <p class="sub">SZL Holdings builds governed agentic systems whose decisions are recorded as cryptographically signed, tamper-evident receipts — verifiable offline, by anyone, with nothing but a public key. That receipt layer is proven and running today; the governance gate and proof core around it are real engineering, openly staged. Defense-grade rigor. Air-gapped capable. Sovereign by design.</p>
 <div class="cta-row">
 <a class="btn gold" href="/console">Enter the Command Console →</a>
 <a class="btn ghost" href="#flagships">See the flagship lineup</a>
 </div>
 </section>
<!-- PRODUCT IDENTITY / LEGEND -->
 <section class="wrap" id="identity">
 <div class="eyebrow">Product Identity</div>
 <p class="lead">Proof over hype.</p>
 <p class="body">SZL Holdings operates at the intersection of high-assurance defense and frontier AI. We reject the black-box paradigm — and we reject the pitch-deck paradigm too. On this page, what is <strong>proven and running today</strong> is marked <span class="pill pill-live">Live</span>. What is real code, staged for release, is marked <span class="pill pill-staged">Staged</span>. What we are racing toward is marked <span class="pill pill-frontier">Frontier</span>. We would rather show you exactly where each piece stands than sell you a slide.</p>
 <div class="legend">
 <span><span class="pill pill-live">Live</span> &nbsp;<b>proven &amp; running</b>, independently checkable</span>
 <span><span class="pill pill-staged">Staged</span> &nbsp;<b>real code</b>, not yet released</span>
 <span><span class="pill pill-frontier">Frontier</span> &nbsp;<b>roadmap</b> — ambition, not achievement</span>
 </div>
 </section>
<!-- PURIQ DOCTRINE -->
 <section class="wrap" id="doctrine">
 <div class="eyebrow">The PURIQ Doctrine <span class="pill pill-live">Machine-enforced</span></div>
 <p class="lead">Honesty, <em>by construction</em>.</p>
 <p class="body">PURIQ is the operating doctrine of the house: we tell you exactly what is <strong>proven</strong>, what is experimental, and what is roadmap — and the line is enforced by the kernel, not by a marketing department. The trust score never reads 100%. The locked theorem count is checked in CI; experimental work is labelled experimental; a conjecture is named a conjecture. Provenance isn't a slogan here — it's how the system refuses to lie about itself.</p>
 <div class="metrics">
 <div class="metric"><div class="n">8</div><div class="k">Locked proven formulas</div><div class="c">{F1, F4, F7, F11, F12, F18, F19, F22} kernel-verified @ c7c0ba17 · machine-enforced count</div></div>
 <div class="metric"><div class="n">28</div><div class="k">Kernel-verified loop theorems</div><div class="c">P1–P6 governed run loop — gate-sound, injection-resistant, auditable end-to-end</div></div>
 <div class="metric"><div class="n">1304 / 22</div><div class="k">Experimental decl / axioms</div><div class="c">waves 3–10 CI-green · explicitly excluded from the locked count</div></div>
 <div class="metric warn"><div class="n">Λ = Conj. 1</div><div class="k">Aggregator uniqueness</div><div class="c">a named conjecture, NOT a theorem — unconditional uniqueness machine-checked false</div></div>
 </div>
 </section>
<!-- PROVEN CORE -->
 <section class="wrap" id="proven">
 <div class="eyebrow">The Proven Core <span class="pill pill-live">Live &amp; verifiable today</span></div>
 <p class="lead">What runs and verifies, right now.</p>
 <p class="body">Three things are real, running, and independently checkable today. Everything else on this page is built on top of them — or honestly labeled as roadmap.</p>
 <div class="cards">
 <div class="card proven">
 <div class="tag-row"><span class="code">01 // receipts</span><span class="pill pill-live">Proven</span></div>
 <h3>The Governance Receipt</h3>
 <p>When a governed system makes a consequential decision, it writes a cryptographically signed, hash-chained receipt. Anyone can verify it offline with only a public key. Change a single byte and verification fails — tampering is impossible to hide. This is the asset everything else rests on.</p>
 <div class="meta">Ed25519 / DSSE · offline-verifiable · Apache-2.0 · CPU-only, no cloud</div>
 </div>
 <div class="card proven">
 <div class="tag-row"><span class="code">02 // a11oy</span><span class="pill pill-live">Live</span></div>
 <h3>Execution Fabric</h3>
 <p>The governed agentic substrate — policy, measurement, and a knowledge graph — wired to the receipt layer. A live, public demonstration runs today with real backend APIs and live data feeds: a system you can open and operate, not a screenshot.</p>
 <div class="meta">a-11-oy.com/console · live /healthz + trust score Λ</div>
 </div>
 <div class="card proven">
 <div class="tag-row"><span class="code">03 // killinchu</span><span class="pill pill-live">Live console</span></div>
 <h3>Drone Intelligence — Counter-UAS</h3>
 <p>A counter-drone command surface: an autonomous craft crosses a restricted-airspace line, the system denies it, and a signed receipt of that decision is written and chained. The console is live; the receipt of every verdict is provable and tamper-evident.</p>
 <div class="meta">a-11-oy.com/elite · signed verdict chain</div>
 </div>
 </div>
 <div class="honest">
 <span class="tag">// honest line — say it out loud</span>
 <p>What is proven today is the <strong>governance receipt layer</strong>: every verdict is an Ed25519/DSSE-signed, hash-chained receipt you can verify offline, and tampering is rejected on cue. The live multi-gate decision <em>engine</em> behind the drone scenario is documented and staged — not booted in the demo. We draw that line ourselves, because the honesty is the differentiator.</p>
 </div>
 </section>
<!-- FLAGSHIP LINEUP -->
 <section class="wrap" id="flagships">
 <div class="eyebrow">The Flagship Lineup</div>
 <p class="lead">Two shipping products. <em>One</em> proven primitive underneath — and a frontier roadmap.</p>
 <p class="body">The same tamper-evident, offline-verifiable record of <em>why a machine did what it did</em> runs beneath everything SZL builds. Two products are live today; the rest are the frontier roles we are building toward — named as ambition, not achievement.</p>
 <div class="cards">
 <div class="card proven">
 <div class="tag-row"><span class="code">a11oy</span><span class="pill pill-live">Live</span></div>
 <h3>Execution Fabric</h3>
 <p>The governed agentic substrate and command platform — reasoning, policy, operator control and a signed knowledge graph in one auditable mind. The front door you are reading runs on it.</p>
 <div class="meta">governance substrate · live demo</div>
 </div>
 <div class="card proven">
 <div class="tag-row"><span class="code">killinchu</span><span class="pill pill-live">Live console</span></div>
 <h3>Drone Intelligence</h3>
 <p>Counter-UAS command and control. Every airspace verdict is denied or allowed under policy and written to a tamper-evident receipt chain — provable months later, with no trust in the operator required.</p>
 <div class="meta">counter-UAS · signed verdicts</div>
 </div>
 <div class="card frontier">
 <div class="tag-row"><span class="code">provenance-anchor</span><span class="pill pill-frontier">Frontier</span></div>
 <h3>Provenance Anchor</h3>
 <p>Anchoring governance receipts to a public ledger, with post-quantum-hardened provenance, so a record's existence is independently witnessed beyond any single operator. Staged; not yet exercised live.</p>
 <div class="meta">ledger anchoring · PQ provenance</div>
 </div>
 <div class="card frontier">
 <div class="tag-row"><span class="code">policy</span><span class="pill pill-frontier">Frontier</span></div>
 <h3>Drift Detector</h3>
 <p>Continuous detection of behavioral drift — a system quietly diverging from its governed posture — on a dedicated observability axis. The research ambition is resilience that watches itself. Staged.</p>
 <div class="meta">drift observability · self-watch</div>
 </div>
 <div class="card frontier">
 <div class="tag-row"><span class="code">operator</span><span class="pill pill-frontier">Frontier</span></div>
 <h3>Receipt Orchestration</h3>
 <p>A control plane that manages, verifies, and routes proofs across an entire agentic fleet. The receipts it would orchestrate are real today; the orchestration layer itself is conceptual. Staged.</p>
 <div class="meta">fleet control plane · proof routing</div>
 </div>
 </div>
 <div class="honest">
 <span class="tag">// the frontier rule</span>
 <p>The Provenance Anchor, Policy and Operator roles are <strong>roadmap</strong>. The quantum and ledger language describes where the research is pointed, not capability you can run today. An investor doing technical due diligence will find exactly that — stated here first. The proven core is above; this is the upside, honestly drawn.</p>
 </div>
 </section>
<!-- HERITAGE -->
 <section class="wrap" id="heritage">
 <div class="eyebrow">Heritage <span class="pill pill-heritage">Lineage &amp; living workshop</span></div>
 <p class="lead">Where it began — and who runs it now.</p>
 <div class="grid-2">
 <div>
 <p>SZL did not start with a thesis about AI. It started at sea. <strong>Vessels</strong> was a smarter navigation and monitoring system for a shipping line: multilingual alerts so a captain could hear the warnings others miss, port-availability intelligence answering the only question that matters at sea — <em>do you actually have somewhere to land?</em> — an AI that pre-filled arrival and customs paperwork before a ship reached port, and an R&amp;D track listening, acoustically, for the faint sound of trouble under the hull.</p>
 <p>The same instinct runs through everything since: <strong>catch the danger early, and give the operator a call they can trust.</strong> Today that instinct is governance — proving the call was sound and the record is real.</p>
 <p class="note">Vessels is heritage: built and shipped under real-world pressure, not running today and not reproducible from the current code. We present it as lineage — the conceptual parent of the governance work — never as a live demo.</p>
 </div>
 <div>
 <p>And SZL is not a slide deck. It is an operating workshop. The company runs its own <strong>tribe</strong> — a working set of governed agents that build, deploy, and watch over SZL's own infrastructure every day. The doctrine isn't theory we sell; it's the rail we run on. The governance, the receipts, the honest labels — they are how we operate before they are ever a product.</p>
 <p>That is the heritage we offer a partner: a founder who has shipped real systems under pressure, and a house that dogfoods its own discipline. The maritime origin proves the instinct. The tribe proves it's still alive.</p>
 </div>
 </div>
 </section>
<!-- EVIDENCE & PROOF -->
 <section class="wrap" id="evidence">
 <div class="eyebrow">Evidence &amp; Proof</div>
 <p class="lead">Verifiable <em>by default</em>.</p>
 <p class="body">Our commitment to transparency is a public trail of Lean proofs, DOIs, and cryptographically verifiable receipts. Independent verification isn't an option we offer — it's the default the system is built around. Below is the shape of a receipt: actor, operation, and a chained hash that breaks if anyone edits the record.</p>
 <div class="cards" aria-label="Research and release identity">
 <a class="card proven" href="https://doi.org/10.5281/zenodo.19944926" target="_blank" rel="noopener noreferrer">
 <div class="tag-row"><span class="code">research program</span><span class="pill pill-live">DOI live</span></div>
 <h3>Ouroboros / governed-systems concept record</h3>
 <p>The stable concept DOI for the associated research program. This identifies the program; it is not silently reused as a software-version DOI.</p>
 <div class="meta">10.5281/zenodo.19944926 ↗</div>
 </a>
 <a class="card proven" href="https://doi.org/10.5281/zenodo.20434276" target="_blank" rel="noopener noreferrer">
 <div class="tag-row"><span class="code">formal artifacts</span><span class="pill pill-live">DOI live</span></div>
 <h3>Formal verification + governance receipts</h3>
 <p>The existing archival record for formal and receipt artifacts. It remains separately typed from the next A11oy software release.</p>
 <div class="meta">10.5281/zenodo.20434276 ↗</div>
 </a>
 <a class="card proven" href="https://doi.org/10.5281/zenodo.21332317" target="_blank" rel="noopener noreferrer">
 <div class="tag-row"><span class="code">evidence governance</span><span class="pill pill-live">PREPRINT</span></div>
 <h3>From Build Success to Admissible Proof</h3>
 <p>A 24-page preprint on evidence-typed governance across a mixed Lean and executable formula corpus. Public archival record; not peer reviewed.</p>
 <div class="meta">DOI 10.5281/zenodo.21332317 · <span aria-label="not peer reviewed">NOT PEER REVIEWED</span></div>
 </a>
 <a class="card proven" href="https://doi.org/10.5281/zenodo.21332338" target="_blank" rel="noopener noreferrer">
 <div class="tag-row"><span class="code">epistemic boundaries</span><span class="pill pill-live">PREPRINT</span></div>
 <h3>Readiness Is Not Evidence</h3>
 <p>A 24-page preprint on fail-closed epistemic boundaries for governed AI services. Public archival record; not peer reviewed.</p>
 <div class="meta">DOI 10.5281/zenodo.21332338 · <span aria-label="not peer reviewed">NOT PEER REVIEWED</span></div>
 </a>
 <div class="card proven">
 <div class="tag-row"><span class="code">reproducibility</span><span class="pill pill-live">GitHub releases</span></div>
 <h3>Immutable publication packages</h3>
 <p><a href="https://github.com/szl-holdings/evidence-typed-formula-governance/releases/tag/v0.1.0" target="_blank" rel="noopener noreferrer">Evidence-Typed Governance v0.1.0</a><br><a href="https://github.com/szl-holdings/fail-closed-governed-ai-services/releases/tag/v0.1.0" target="_blank" rel="noopener noreferrer">Fail-Closed Services v0.1.0</a></p>
 <div class="meta">release bytes + metadata + verification artifacts</div>
 </div>
 <a class="card" id="software-release-card" href="https://github.com/szl-holdings/a11oy/releases" target="_blank" rel="noopener noreferrer">
 <div class="tag-row"><span class="code">software releases</span><span class="pill pill-staged" id="software-release-status">v1.1.0 candidate</span></div>
 <h3 id="software-release-title">A11oy release channel</h3>
 <p id="software-release-description">The next version DOI remains pending until immutable release bytes are published and Zenodo returns a resolvable record. No placeholder is presented as a DOI.</p>
 <div class="meta" id="software-release-identifier">GitHub Releases → Zenodo readback</div>
 </a>
 <div class="card">
 <div class="tag-row"><span class="code">product surfaces</span><span class="pill pill-live">canonical</span></div>
 <h3>a-11-oy.com</h3>
 <p><a href="https://a-11-oy.com">a-11-oy.com</a> is the canonical product surface. <a href="https://a11oy.net">a11oy.net</a> is retained as a legacy alias and permanently redirects here.</p>
 <div class="meta">canonical + legacy-domain continuity</div>
 </div>
 </div>
 <table class="rt">
 <thead><tr><th>Timestamp</th><th>Actor</th><th>Operation</th><th>Receipt hash</th><th>Status</th></tr></thead>
 <tbody>
 <tr><td>2025-05-12T08:14:22Z</td><td>a11oy-core-04</td><td>POLICY_EVAL</td><td class="hash">0x3f9a8b2c</td><td class="ok">VERIFIED</td></tr>
 <tr><td>2025-05-12T08:14:21Z</td><td>killinchu-uas-01</td><td>GEOFENCE_DENY</td><td class="hash">0x7d2e1f4a</td><td class="ok">VERIFIED</td></tr>
 <tr><td>2025-05-12T08:14:19Z</td><td>receipts-server</td><td>CHAIN_APPEND</td><td class="hash">0x9c4b3a1d</td><td class="ok">VERIFIED</td></tr>
 <tr><td>2025-05-12T08:14:15Z</td><td>receipts-server</td><td>GENESIS</td><td class="hash">0x1a2b3c4d</td><td class="ok">VERIFIED</td></tr>
 </tbody>
 </table>
 <p class="caption">Illustrative receipt format — sample values shown for layout. Live receipts are Ed25519/DSSE-signed and verified offline with the public key; tampering is rejected.</p>
 </section>
<!-- CONTACT -->
 <section class="wrap contact" id="contact">
 <div class="eyebrow">Get in touch</div>
 <h2>Build on proven ground.</h2>
 <p class="body">For partnership, pilot deployment, or technical due diligence, reach the SZL Holdings team directly. We respond to every serious request — and we'll show you exactly where every line falls.</p>
 <div class="cta-row">
 <a class="btn gold" href="mailto:contact@szlholdings.com">contact@szlholdings.com</a>
 <a class="btn ghost" href="/console">Enter the Command Console →</a>
 </div>
 </section>
</main>
<footer>
 <div class="wrap foot">
 <div>
 <div class="fb">a<i>11</i>oy <span style="color:var(--ink-dim);font-weight:400;font-size:13px">· SZL Holdings</span></div>
 <div class="ft">Governed-AI command platform and the holding company behind it. Three.js and fonts vendored — zero runtime CDN. Live <span style="color:var(--yuyay-300)">/healthz</span> &amp; trust score Λ.</div>
 </div>
 <div class="fcol">
 <div class="fh">Platform</div>
 <a href="/console">Command Console</a>
 <a href="/warhacker">Warhacker (25 demos)</a>
 <a href="/proven-formulas">Proven formulas</a>
 </div>
 <div class="fcol">
 <div class="fh">Company</div>
 <a href="/company#flagships">Flagship lineup</a>
 <a href="/company#doctrine">PURIQ doctrine</a>
 <a href="/company#evidence">Evidence &amp; proof</a>
 <a href="mailto:contact@szlholdings.com">Contact</a>
 </div>
 </div>
 <div class="legal">
 <span>© SZL Holdings. Governed AI, proven in Lean.</span>
 <span>Doctrine <b style="color:var(--ink-soft)">v11 LOCKED</b> · 749/14/163 · <span class="sha">c7c0ba17</span> · SLSA L1 honest; L2 .att emitted (not independently verified) · L3 roadmap</span>
 </div>
</footer>
<script>
(() => {
 const card = document.getElementById('software-release-card');
 const badge = document.getElementById('software-release-status');
 const title = document.getElementById('software-release-title');
 const description = document.getElementById('software-release-description');
 const identifier = document.getElementById('software-release-identifier');
 if (!card || !badge || !title || !description || !identifier) return;
 fetch('/api/a11oy/v1/version', {cache: 'no-store', credentials: 'same-origin'})
 .then((response) => response.ok ? response.json() : Promise.reject(new Error('version endpoint unavailable')))
 .then((release) => {
 const software = release && release.doi && release.doi.software_version;
 if (release.release_state !== 'VERIFIED' || !software || software.status !== 'VERIFIED') return;
 const doi = String(software.value || '');
 const doiUrl = String(software.url || '');
 if (!/^10\.5281\/zenodo\.\d+$/.test(doi) || doiUrl !== `https://doi.org/${doi}`) return;
 card.href = doiUrl;
 badge.className = 'pill pill-live';
 badge.textContent = 'DOI live';
 title.textContent = `A11oy ${release.version} software release`;
 description.textContent = 'The immutable release archive was verified against the public Zenodo record. The DOI below identifies this exact A11oy software version.';
 identifier.textContent = `${doi} ↗`;
 const meta = document.createElement('meta');
 meta.name = 'a11oy:software-version-doi';
 meta.content = doi;
 document.head.appendChild(meta);
 const structured = document.querySelector('script[type="application/ld+json"]');
 if (structured) {
 try {
 const data = JSON.parse(structured.textContent);
 data.identifier = doiUrl;
 structured.textContent = JSON.stringify(data);
 } catch (_) {
 // The visible card remains verified; malformed optional JSON-LD is not promoted.
 }
 }
 })
 .catch(() => {
 // Fail closed: retain the candidate state when public readback is unavailable.
 });
})();
</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>