File size: 33,637 Bytes
25f0fe7
 
 
 
 
 
 
 
41cbff8
25f0fe7
 
 
 
41cbff8
a0f8a7d
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
25f0fe7
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
a0f8a7d
25f0fe7
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
41cbff8
25f0fe7
 
 
 
 
41cbff8
25f0fe7
 
 
 
 
 
 
 
 
 
 
945c322
 
25f0fe7
 
 
 
 
 
 
 
 
 
 
 
 
 
945c322
25f0fe7
 
 
 
 
945c322
25f0fe7
 
 
 
 
945c322
25f0fe7
 
 
 
 
 
 
945c322
25f0fe7
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
a0f8a7d
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
25f0fe7
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
2b37672
25f0fe7
 
a0f8a7d
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
25f0fe7
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
<!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>
</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>
</body>
</html>