betterwithage commited on
Commit
a896567
·
verified ·
1 Parent(s): c051b7a

Company front door v4: de-dup from a11oy console, KANCHAY palette, kill purple conjecture pills, real portfolio directory, drop dead energy link

Browse files
Files changed (1) hide show
  1. index.html +96 -94
index.html CHANGED
@@ -4,14 +4,18 @@
4
  <meta charset="utf-8" />
5
  <meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover" />
6
  <title>SZL Holdings — Governed AI you can prove.</title>
7
- <meta name="description" content="Governed autonomy with a checkable receipt for every decision. 8 locked-proven Lean formulas, ~185 machine-checked theorems, Λ = Conjecture 1. a11oy · killinchu · anatomy." />
8
  <!-- SOVEREIGN: 0 runtime CDN. Fonts use system stacks declared in :root (--sans/--serif/--mono). No fonts.googleapis / fonts.gstatic at runtime. -->
 
 
 
 
9
  <style>
10
  :root{
11
- --bg0:#0B1F3A; --bg1:#0E2440; --surface:#13294B; --surface2:#1B345C; --line:#2A4570;
12
- --gold:#c9b787; --gold-hi:#DCC99A; --teal:#5fb3a3; --teal-hi:#7AC8B8;
13
- --conj:#B79BD6; --warn:#c9a05f; --info:#6FA8DC;
14
- --ink:#E8ECF3; --ink-dim:#A8B6CC; --ink-mut:#6E809E;
15
  --r-md:10px; --r-lg:16px; --r-pill:999px;
16
  --ease-out:cubic-bezier(.22,1,.36,1);
17
  --sans:"Space Grotesk",-apple-system,"Segoe UI",Roboto,system-ui,sans-serif;
@@ -22,11 +26,10 @@
22
  html,body{overflow-x:hidden;}
23
  body{margin:0; font-family:var(--sans); color:var(--ink);
24
  background:var(--bg0); -webkit-font-smoothing:antialiased; line-height:1.5;}
25
- /* SHELL carries the navy ground itself, so the dark design survives even when an
26
- embedding host (e.g. the HF org-card sanitizer) strips body backgrounds + forces
27
- light theme. All text colors are re-asserted with .shell specificity below. */
28
  .shell{background:
29
- radial-gradient(1100px 560px at 50% -12%, #102a4d 0%, var(--bg0) 58%),
30
  var(--bg0);
31
  color:var(--ink); border-radius:18px;}
32
  .shell, .shell *{color-scheme:dark;}
@@ -34,21 +37,18 @@
34
 
35
  .kicker{display:inline-flex; align-items:center; gap:8px; font-family:var(--mono);
36
  font-size:11.5px; font-weight:500; letter-spacing:.18em; text-transform:uppercase;
37
- color:var(--gold); border:1px solid rgba(201,183,135,.4); border-radius:var(--r-pill);
38
- padding:6px 14px; background:rgba(201,183,135,.06);}
39
  .kicker .live{width:7px;height:7px;border-radius:50%;background:var(--teal);
40
- box-shadow:0 0 0 0 rgba(95,179,163,.55); animation:pulse 2.4s var(--ease-out) infinite;}
41
  @keyframes pulse{0%,100%{opacity:.55}50%{opacity:1}}
42
  @media (prefers-reduced-motion:reduce){.kicker .live{animation:none}}
43
 
44
- /* Headline sized to fit even in a heavy fallback font inside a ~620px embed column.
45
- NEVER nowrap (that overflows + clips 'prove.'); allow natural wrap to 2 lines. */
46
  h1{font-family:var(--sans); font-weight:700; font-size:clamp(30px,4.4vw,46px);
47
  line-height:1.08; letter-spacing:-0.015em; margin:20px 0 14px;
48
  text-wrap:balance; overflow-wrap:break-word; word-break:normal; max-width:100%;}
49
  h1 .nowrap{white-space:normal;}
50
- /* SOLID gold accent — never a gradient/clip-text that an embed sanitizer could render
51
- transparent (that bug previously hid 'prove.' on the org card). Always visible. */
52
  h1 .grad{color:var(--gold); -webkit-text-fill-color:var(--gold);}
53
  @media (max-width:360px){ h1{font-size:27px;} }
54
  .lede{font-family:var(--serif); color:var(--ink-dim); font-size:clamp(17px,3.4vw,21px);
@@ -61,9 +61,9 @@
61
  max-width:100%; overflow-wrap:anywhere;}
62
  .pill .dot{width:7px;height:7px;border-radius:50%;flex:0 0 auto;}
63
  .pill b{color:var(--ink); font-weight:700;}
64
- .pill.gold{border-color:rgba(201,183,135,.5);} .pill.gold .dot{background:var(--gold);} .pill.gold b{color:var(--gold-hi);}
65
- .pill.teal{border-color:rgba(95,179,163,.5);} .pill.teal .dot{background:var(--teal);} .pill.teal b{color:var(--teal-hi);}
66
- .pill.conj{border-color:rgba(183,155,214,.55);} .pill.conj .dot{background:var(--conj);} .pill.conj b{color:#D6C2EC;}
67
 
68
  .cta{display:flex; flex-wrap:wrap; gap:12px; margin:26px 0 4px;}
69
  .btn{display:inline-flex; align-items:center; gap:8px; font-family:var(--sans); font-weight:600;
@@ -81,27 +81,28 @@
81
  .card{background:var(--surface); border:1px solid var(--line); border-radius:var(--r-lg);
82
  padding:22px; text-decoration:none; color:inherit;
83
  transition:transform .15s var(--ease-out), border-color .15s; display:flex; flex-direction:column;}
84
- .card:hover{transform:translateY(-3px); border-color:rgba(201,183,135,.5); background:var(--surface2);}
85
  .card .role{font-family:var(--mono); color:var(--teal); font-size:11px; letter-spacing:.12em;
86
  text-transform:uppercase; margin-bottom:9px;}
87
  .card h2{font-family:var(--sans); font-weight:600; margin:0 0 8px; font-size:19px;}
88
  .card p{font-family:var(--serif); color:var(--ink-dim); font-size:14px; line-height:1.5; margin:0;}
89
 
90
- .flagship{background:linear-gradient(180deg,var(--surface),var(--bg1));
91
- border:1px solid rgba(201,183,135,.35); border-radius:var(--r-lg); padding:26px clamp(20px,4vw,30px); margin:14px 0 8px;}
92
- .flagship .role{font-family:var(--mono); color:var(--gold); font-size:11px; letter-spacing:.14em; text-transform:uppercase;}
93
- .flagship h2{font-family:var(--sans); font-weight:700; font-size:clamp(21px,4.5vw,27px); margin:8px 0 10px;}
94
- .flagship p{font-family:var(--serif); color:var(--ink-dim); font-size:15px; line-height:1.6; max-width:68ch; margin:0 0 14px;}
95
- .moat{list-style:none; padding:0; margin:0; display:grid; grid-template-columns:1fr 1fr; gap:8px 22px;}
96
- .moat li{font-family:var(--sans); font-size:13.5px; color:var(--ink-dim); padding-left:18px; position:relative;}
97
- .moat li::before{content:"\25C6"; color:var(--gold); position:absolute; left:0; font-size:10px; top:3px;}
98
- @media (max-width:680px){.moat{grid-template-columns:1fr;}}
99
-
100
- .verify{background:var(--bg1); border:1px solid rgba(95,179,163,.28); border-radius:var(--r-lg);
 
101
  padding:22px clamp(18px,4vw,26px); margin:14px 0 8px;}
102
  .verify h3{font-family:var(--mono); margin:0 0 6px; font-size:12px; color:var(--teal); letter-spacing:.14em; text-transform:uppercase;}
103
  .verify p{font-family:var(--serif); color:var(--ink-dim); font-size:14px; margin:0 0 12px;}
104
- pre{background:#07142A; border:1px solid var(--line); border-radius:var(--r-md); padding:14px 16px;
105
  overflow-x:auto; margin:0; font-family:var(--mono); font-size:12.5px; color:#cfe0d8; line-height:1.65;}
106
  pre .c{color:var(--ink-mut);} pre .ok{color:var(--teal);} pre .fail{color:var(--warn);}
107
 
@@ -117,109 +118,111 @@
117
 
118
  @media (max-width:820px){.grid{grid-template-columns:1fr;}}
119
 
120
- /* === EMBED-SAFETY: re-assert key colors with .shell specificity so a host reset
121
- (HF org-card light theme) cannot flatten the dark design or hide 'prove.' === */
122
  .shell h1{color:var(--ink);}
123
- .shell h1 .grad{color:var(--gold);} /* solid, ALWAYS visible */
124
  .shell .lede{color:var(--ink-dim);}
125
  .shell .kicker{color:var(--gold);}
126
- .shell .card h2,.shell .flagship h2,.shell .honest h3{color:var(--ink);}
127
- .shell .card p,.shell .flagship p,.shell .honest{color:var(--ink-dim);}
128
  .shell .honest b,.shell .honest h3{color:var(--ink);}
129
  .shell pre{color:#cfe0d8;}
130
  .shell footer{color:var(--ink-mut);}
131
  </style>
132
  </head>
133
  <body>
134
- <!-- INLINE STYLES carry the brand THROUGH the HF org-card sanitizer, which strips the
135
- <style> block but PRESERVES inline style attributes (and inline !important beats
136
- its injected light-theme stylesheet). The standalone static host uses the <style>
137
- block above for the full rich design; these inline styles are the embed-safe floor. -->
138
- <div class="shell" style="background:#0B1F3A!important;color:#E8ECF3!important;border-radius:18px;padding:clamp(28px,5vw,56px) clamp(16px,4vw,40px)!important;">
139
  <div class="wrap">
140
 
141
- <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:#c9b787!important;border:1px solid rgba(201,183,135,.4);border-radius:999px;padding:6px 14px;background:rgba(201,183,135,.06)!important;"><span class="live" style="width:7px;height:7px;border-radius:50%;background:#5fb3a3!important;display:inline-block;"></span>System online · Kernel c7c0ba17 · Doctrine-bound</span>
142
- <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:#c9b787!important;-webkit-text-fill-color:#c9b787!important;">prove.</span></span></h1>
143
- <p class="lede" style="font-family:'Source Serif 4',Georgia,serif;color:#A8B6CC!important;font-size:clamp(17px,3.4vw,21px);max-width:64ch;line-height:1.55;margin:0 0 6px;">Governed autonomy with a checkable receipt for every decision. Every autonomous
144
  action carries a machine-checked, tamper-evident warrant — proof of <em>under what authority</em>
145
  it acted, <em>on what trust evidence</em>, and that <em>the record was not quietly rewritten.</em></p>
146
 
147
  <!-- Proof-status pills: the machine-checked facts, surfaced up front -->
148
  <div class="proofbar" style="display:flex;flex-wrap:wrap;gap:8px;margin:24px 0 6px;">
149
- <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(201,183,135,.5)!important;background:#13294B!important;color:#A8B6CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#c9b787!important;display:inline-block;"></span><b style="color:#DCC99A!important;">8</b>&nbsp;locked-proven</span>
150
- <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(95,179,163,.5)!important;background:#13294B!important;color:#A8B6CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#5fb3a3!important;display:inline-block;"></span><b style="color:#7AC8B8!important;">~185</b>&nbsp;machine-checked</span>
151
- <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(183,155,214,.55)!important;background:#13294B!important;color:#A8B6CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#B79BD6!important;display:inline-block;"></span>Λ = Conjecture 1</span>
152
- <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(183,155,214,.55)!important;background:#13294B!important;color:#A8B6CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#B79BD6!important;display:inline-block;"></span>Khipu = Conjecture 2</span>
153
- <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(201,183,135,.5)!important;background:#13294B!important;color:#A8B6CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#c9b787!important;display:inline-block;"></span>SLSA L1 · L2 attested · L3 roadmap</span>
154
- <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(95,179,163,.5)!important;background:#13294B!important;color:#A8B6CC!important;"><span class="dot" style="width:7px;height:7px;border-radius:50%;background:#5fb3a3!important;display:inline-block;"></span>cosign keyless</span>
155
  </div>
156
 
157
  <div class="cta" style="display:flex;flex-wrap:wrap;gap:12px;margin:26px 0 4px;">
158
- <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:#0B1F3A!important;background:#c9b787!important;border:1px solid #c9b787!important;">Open the live console</a>
159
- <a class="btn ghost" href="https://szlholdings-killinchu.hf.space/cosign.pub" 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 #2A4570!important;">Verify it yourself</a>
160
  </div>
161
 
162
- <!-- THREE PRODUCTS, ONE SUBSTRATE -->
163
- <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;">Three products · one signed substrate</div>
164
  <div class="grid" style="display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,220px),1fr));gap:16px;margin:14px 0 8px;">
165
- <a class="card" href="https://huggingface.co/spaces/SZLHOLDINGS/a11oy" style="background:#13294B!important;border:1px solid #2A4570!important;border-radius:16px;padding:22px;text-decoration:none;display:flex;flex-direction:column;">
166
- <div class="role" style="font-family:'JetBrains Mono',monospace;color:#5fb3a3!important;font-size:11px;letter-spacing:.12em;text-transform:uppercase;margin-bottom:9px;">Command platform</div>
167
  <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">a11oy &rarr;</h2>
168
- <p style="font-family:'Source Serif 4',serif;color:#A8B6CC!important;font-size:14px;line-height:1.5;margin:0;">One pane of glass for governed AI: ask-and-act with deny-by-default gates, trust scoring with
169
- confidence intervals, a live decision feed, readiness, forecasting, and signed receipts.</p>
170
  </a>
171
- <a class="card" href="https://szlholdings-killinchu.hf.space/elite" style="background:#13294B!important;border:1px solid #2A4570!important;border-radius:16px;padding:22px;text-decoration:none;display:flex;flex-direction:column;">
172
- <div class="role" style="font-family:'JetBrains Mono',monospace;color:#5fb3a3!important;font-size:11px;letter-spacing:.12em;text-transform:uppercase;margin-bottom:9px;">Counter-UAS · maritime C2</div>
173
  <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">killinchu &rarr;</h2>
174
- <p style="font-family:'Source Serif 4',serif;color:#A8B6CC!important;font-size:14px;line-height:1.5;margin:0;">Field tool for air and sea: live track board, multi-sensor fusion, maritime picture
175
- (sanctions + dark-vessel detection), engagement rules, and verify-it-yourself signed receipts.</p>
176
  </a>
177
- <a class="card" href="https://huggingface.co/spaces/SZLHOLDINGS/anatomy" style="background:#13294B!important;border:1px solid #2A4570!important;border-radius:16px;padding:22px;text-decoration:none;display:flex;flex-direction:column;">
178
- <div class="role" style="font-family:'JetBrains Mono',monospace;color:#5fb3a3!important;font-size:11px;letter-spacing:.12em;text-transform:uppercase;margin-bottom:9px;">The living substrate</div>
179
  <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">anatomy &rarr;</h2>
180
- <p style="font-family:'Source Serif 4',serif;color:#A8B6CC!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,
181
  and where each proof and conjecture honestly sits.</p>
182
  </a>
183
  </div>
184
 
185
- <!-- FLAGSHIP: a11oy Code Chaski -->
186
- <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 flagship</div>
187
- <div class="flagship" style="background:#13294B!important;border:1px solid rgba(201,183,135,.35)!important;border-radius:16px;padding:26px clamp(20px,4vw,30px);margin:14px 0 8px;">
188
- <div class="role" style="font-family:'JetBrains Mono',monospace;color:#c9b787!important;font-size:11px;letter-spacing:.14em;text-transform:uppercase;">a11oy Code — Chaski</div>
189
- <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:700;font-size:clamp(21px,4.5vw,27px);margin:8px 0 10px;color:#E8ECF3!important;">A governed agentic agent</h2>
190
- <p style="font-family:'Source Serif 4',serif;color:#A8B6CC!important;font-size:15px;line-height:1.6;max-width:68ch;margin:0 0 14px;"><b style="color:#E8ECF3!important;">Chaski</b>the Inca relay-runner who carries the <em>khipu</em> — plans, retrieves, calls
191
- tools, writes and runs code, and orchestrates both SZL apps. Every step is Λ-scored,
192
- DSSE/Khipu-receipted, and bounded by a machine-checked termination proof. Claude-Code-class in
193
- shape; the differentiator is <em>provable governance</em>, not raw model size. The headline:
194
- prompt-injection and poisoned retrieval <b style="color:#E8ECF3!important;">provably cannot flip a DENY into an ALLOW.</b></p>
195
- <ul class="moat" style="list-style:none;padding:0;margin:0;display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,260px),1fr));gap:8px 22px;color:#A8B6CC!important;font-family:'Space Grotesk',sans-serif;font-size:13.5px;">
196
- <li style="color:#A8B6CC!important;">&#9670; Λ-gate scores every step (Conjecture 1 / Theorem U conditional)</li>
197
- <li style="color:#A8B6CC!important;">&#9670; DSSE / Khipu receipts — signed, hash-chained, re-verifiable</li>
198
- <li style="color:#A8B6CC!important;">&#9670; Lean-proven termination the loop provably halts</li>
199
- <li style="color:#A8B6CC!important;">&#9670; 2-person quorum — write actions need Khipu BFT approval</li>
200
- <li style="color:#A8B6CC!important;">&#9670; M2M envelope — low-support answers return <code>i_dont_know</code></li>
201
- <li style="color:#A8B6CC!important;">&#9670; No-key &rarr; honest labeled stub, never a faked result</li>
202
- </ul>
 
 
 
 
 
203
  </div>
204
 
205
- <!-- VERIFY -->
206
  <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>
207
- <div class="verify" style="background:#0E2440!important;border:1px solid rgba(95,179,163,.28)!important;border-radius:16px;padding:22px clamp(18px,4vw,26px);margin:14px 0 8px;">
208
- <h3 style="font-family:'JetBrains Mono',monospace;margin:0 0 6px;font-size:12px;color:#5fb3a3!important;letter-spacing:.14em;text-transform:uppercase;">Confirm a decision happened, exactly as recorded — with zero trust in SZL</h3>
209
- <p style="font-family:'Source Serif 4',serif;color:#A8B6CC!important;font-size:14px;margin:0 0 12px;">Pull the public signing key and a signed receipt from the live field node, then verify offline:</p>
210
- <pre style="background:#07142A!important;border:1px solid #2A4570!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>
211
  curl -s https://szlholdings-killinchu.hf.space/cosign.pub -o cosign.pub
212
  curl -s https://szlholdings-killinchu.hf.space/api/killinchu/v1/receipt/export &gt; receipt.json
213
  <span class="c"># verify the DSSE signature offline </span> &rarr; <span class="ok">"Verified OK"</span>
214
  <span class="c"># tamper a single byte and re-verify</span> &rarr; <span class="fail">"Verification failure"</span></pre>
215
  </div>
216
 
217
- <hr class="rule" style="border:none;border-top:1px solid #2A4570!important;margin:44px 0;" />
218
 
219
  <!-- HONEST PROOF STATE -->
220
- <div class="honest" style="font-family:'Source Serif 4',serif;font-size:13.5px;color:#A8B6CC!important;line-height:1.7;">
221
  <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>
222
- <p style="color:#A8B6CC!important;">We surface only machine-checked facts as fact.</p>
223
  <p>&bull; <b>8 formulas formally proven &amp; locked in Lean</b> (sorry-free):
224
  <code>F1, F4, F7, F11, F12, F18, F19, F22</code> — this count never inflates. A larger experimental
225
  tier is <b>kernel-clean / CI-green on main @ c7c0ba17 across Waves 11–23</b>
@@ -242,8 +245,7 @@ curl -s https://szlholdings-killinchu.hf.space/api/killinchu/v1/receipt/export &
242
 
243
  <footer style="font-family:'JetBrains Mono',monospace;margin-top:40px;color:#6E809E!important;font-size:12px;line-height:1.8;letter-spacing:.02em;">
244
  Built by Stephen P. Lutar Jr. · Honest by design ·
245
- <a href="https://github.com/szl-holdings">github.com/szl-holdings</a> ·
246
- <a href="https://a11oy.net">a11oy.net</a><br/>
247
  Not affiliated with Defense Unicorns · SZL mark USPTO Serial 99831122 · no production ATO claimed ·
248
  Λ = Conjecture 1 · Khipu = Conjecture 2 · trust never 100%
249
  </footer>
 
4
  <meta charset="utf-8" />
5
  <meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover" />
6
  <title>SZL Holdings — Governed AI you can prove.</title>
7
+ <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." />
8
  <!-- SOVEREIGN: 0 runtime CDN. Fonts use system stacks declared in :root (--sans/--serif/--mono). No fonts.googleapis / fonts.gstatic at runtime. -->
9
+ <!-- ROLE: this card is the COMPANY FRONT DOOR. It states the thesis + the proof, then lists the
10
+ portfolio and FUNNELS to the product console (a11oy). It does NOT re-pitch a11oy's console
11
+ content — that lives on the a11oy Space itself. KANCHAY palette only: void #080c14 · proof-teal
12
+ #3af4c8 · lattice #5b8dee · gold #d7b96b · conjecture gray #7e8aa3 (never green). No purple. -->
13
  <style>
14
  :root{
15
+ --bg0:#080c14; --bg1:#0b1018; --surface:#0f1622; --surface2:#16202f; --line:#223142;
16
+ --gold:#d7b96b; --gold-hi:#e7cd8c; --teal:#3af4c8; --teal-hi:#86f7dd; --lattice:#5b8dee;
17
+ --conj:#7e8aa3; --conj-hi:#9aa7bc; --warn:#c9a05f;
18
+ --ink:#E8ECF3; --ink-dim:#AAB7CC; --ink-mut:#6E809E;
19
  --r-md:10px; --r-lg:16px; --r-pill:999px;
20
  --ease-out:cubic-bezier(.22,1,.36,1);
21
  --sans:"Space Grotesk",-apple-system,"Segoe UI",Roboto,system-ui,sans-serif;
 
26
  html,body{overflow-x:hidden;}
27
  body{margin:0; font-family:var(--sans); color:var(--ink);
28
  background:var(--bg0); -webkit-font-smoothing:antialiased; line-height:1.5;}
29
+ /* SHELL carries the void ground itself, so the dark design survives even when an
30
+ embedding host (e.g. the HF org-card sanitizer) strips body backgrounds + forces light theme. */
 
31
  .shell{background:
32
+ radial-gradient(1100px 560px at 50% -14%, #101b30 0%, var(--bg0) 60%),
33
  var(--bg0);
34
  color:var(--ink); border-radius:18px;}
35
  .shell, .shell *{color-scheme:dark;}
 
37
 
38
  .kicker{display:inline-flex; align-items:center; gap:8px; font-family:var(--mono);
39
  font-size:11.5px; font-weight:500; letter-spacing:.18em; text-transform:uppercase;
40
+ color:var(--gold); border:1px solid rgba(215,185,107,.4); border-radius:var(--r-pill);
41
+ padding:6px 14px; background:rgba(215,185,107,.06);}
42
  .kicker .live{width:7px;height:7px;border-radius:50%;background:var(--teal);
43
+ box-shadow:0 0 0 0 rgba(58,244,200,.55); animation:pulse 2.4s var(--ease-out) infinite;}
44
  @keyframes pulse{0%,100%{opacity:.55}50%{opacity:1}}
45
  @media (prefers-reduced-motion:reduce){.kicker .live{animation:none}}
46
 
 
 
47
  h1{font-family:var(--sans); font-weight:700; font-size:clamp(30px,4.4vw,46px);
48
  line-height:1.08; letter-spacing:-0.015em; margin:20px 0 14px;
49
  text-wrap:balance; overflow-wrap:break-word; word-break:normal; max-width:100%;}
50
  h1 .nowrap{white-space:normal;}
51
+ /* SOLID gold accent — never a gradient/clip-text an embed sanitizer could render transparent. */
 
52
  h1 .grad{color:var(--gold); -webkit-text-fill-color:var(--gold);}
53
  @media (max-width:360px){ h1{font-size:27px;} }
54
  .lede{font-family:var(--serif); color:var(--ink-dim); font-size:clamp(17px,3.4vw,21px);
 
61
  max-width:100%; overflow-wrap:anywhere;}
62
  .pill .dot{width:7px;height:7px;border-radius:50%;flex:0 0 auto;}
63
  .pill b{color:var(--ink); font-weight:700;}
64
+ .pill.gold{border-color:rgba(215,185,107,.5);} .pill.gold .dot{background:var(--gold);} .pill.gold b{color:var(--gold-hi);}
65
+ .pill.teal{border-color:rgba(58,244,200,.45);} .pill.teal .dot{background:var(--teal);} .pill.teal b{color:var(--teal-hi);}
66
+ .pill.conj{border-color:rgba(126,138,163,.55);} .pill.conj .dot{background:var(--conj);} .pill.conj b{color:var(--conj-hi);}
67
 
68
  .cta{display:flex; flex-wrap:wrap; gap:12px; margin:26px 0 4px;}
69
  .btn{display:inline-flex; align-items:center; gap:8px; font-family:var(--sans); font-weight:600;
 
81
  .card{background:var(--surface); border:1px solid var(--line); border-radius:var(--r-lg);
82
  padding:22px; text-decoration:none; color:inherit;
83
  transition:transform .15s var(--ease-out), border-color .15s; display:flex; flex-direction:column;}
84
+ .card:hover{transform:translateY(-3px); border-color:rgba(215,185,107,.5); background:var(--surface2);}
85
  .card .role{font-family:var(--mono); color:var(--teal); font-size:11px; letter-spacing:.12em;
86
  text-transform:uppercase; margin-bottom:9px;}
87
  .card h2{font-family:var(--sans); font-weight:600; margin:0 0 8px; font-size:19px;}
88
  .card p{font-family:var(--serif); color:var(--ink-dim); font-size:14px; line-height:1.5; margin:0;}
89
 
90
+ /* Compact portfolio directory — the rest of the org, honestly listed */
91
+ .dir{display:grid; grid-template-columns:1fr 1fr; gap:10px; margin:14px 0 8px;}
92
+ .dir a{display:flex; flex-direction:column; gap:3px; padding:14px 16px; text-decoration:none;
93
+ border:1px solid var(--line); border-radius:var(--r-md); background:var(--surface);
94
+ transition:border-color .15s, transform .15s var(--ease-out);}
95
+ .dir a:hover{border-color:rgba(58,244,200,.4); transform:translateY(-2px);}
96
+ .dir .n{font-family:var(--mono); font-size:13px; color:var(--ink); letter-spacing:.02em;}
97
+ .dir .n .arw{color:var(--teal);}
98
+ .dir .d{font-family:var(--serif); font-size:12.5px; color:var(--ink-dim); line-height:1.45;}
99
+ @media (max-width:680px){.dir{grid-template-columns:1fr;}}
100
+
101
+ .verify{background:var(--bg1); border:1px solid rgba(58,244,200,.24); border-radius:var(--r-lg);
102
  padding:22px clamp(18px,4vw,26px); margin:14px 0 8px;}
103
  .verify h3{font-family:var(--mono); margin:0 0 6px; font-size:12px; color:var(--teal); letter-spacing:.14em; text-transform:uppercase;}
104
  .verify p{font-family:var(--serif); color:var(--ink-dim); font-size:14px; margin:0 0 12px;}
105
+ pre{background:#05090f; border:1px solid var(--line); border-radius:var(--r-md); padding:14px 16px;
106
  overflow-x:auto; margin:0; font-family:var(--mono); font-size:12.5px; color:#cfe0d8; line-height:1.65;}
107
  pre .c{color:var(--ink-mut);} pre .ok{color:var(--teal);} pre .fail{color:var(--warn);}
108
 
 
118
 
119
  @media (max-width:820px){.grid{grid-template-columns:1fr;}}
120
 
121
+ /* EMBED-SAFETY: re-assert key colors with .shell specificity so a host reset cannot flatten the design. */
 
122
  .shell h1{color:var(--ink);}
123
+ .shell h1 .grad{color:var(--gold);}
124
  .shell .lede{color:var(--ink-dim);}
125
  .shell .kicker{color:var(--gold);}
126
+ .shell .card h2,.shell .honest h3{color:var(--ink);}
127
+ .shell .card p,.shell .honest{color:var(--ink-dim);}
128
  .shell .honest b,.shell .honest h3{color:var(--ink);}
129
  .shell pre{color:#cfe0d8;}
130
  .shell footer{color:var(--ink-mut);}
131
  </style>
132
  </head>
133
  <body>
134
+ <!-- INLINE STYLES carry the brand THROUGH the HF org-card sanitizer, which strips the <style> block
135
+ but PRESERVES inline style attributes (and inline !important beats its injected light theme). -->
136
+ <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;">
 
 
137
  <div class="wrap">
138
 
139
+ <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>
140
+ <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>
141
+ <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
142
  action carries a machine-checked, tamper-evident warrant — proof of <em>under what authority</em>
143
  it acted, <em>on what trust evidence</em>, and that <em>the record was not quietly rewritten.</em></p>
144
 
145
  <!-- Proof-status pills: the machine-checked facts, surfaced up front -->
146
  <div class="proofbar" style="display:flex;flex-wrap:wrap;gap:8px;margin:24px 0 6px;">
147
+ <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>&nbsp;locked-proven</span>
148
+ <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>&nbsp;machine-checked</span>
149
+ <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>
150
+ <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>
151
+ <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>
152
+ <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>
153
  </div>
154
 
155
  <div class="cta" style="display:flex;flex-wrap:wrap;gap:12px;margin:26px 0 4px;">
156
+ <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 &rarr;</a>
157
+ <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 &rarr;</a>
158
  </div>
159
 
160
+ <!-- THE PORTFOLIO — the company view, funnelling to each product (no console content duplicated here) -->
161
+ <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>
162
  <div class="grid" style="display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,220px),1fr));gap:16px;margin:14px 0 8px;">
163
+ <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;">
164
+ <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>
165
  <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">a11oy &rarr;</h2>
166
+ <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
167
+ signed receipt for every action.</p>
168
  </a>
169
+ <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;">
170
+ <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>
171
  <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">killinchu &rarr;</h2>
172
+ <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
173
+ screening with verify-it-yourself receipts (effector link is a labeled simulation).</p>
174
  </a>
175
+ <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;">
176
+ <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>
177
  <h2 style="font-family:'Space Grotesk',sans-serif;font-weight:600;margin:0 0 8px;font-size:19px;color:#E8ECF3!important;">anatomy &rarr;</h2>
178
+ <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,
179
  and where each proof and conjecture honestly sits.</p>
180
  </a>
181
  </div>
182
 
183
+ <!-- Compact directory: the rest of the org, honestly one-lined -->
184
+ <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>
185
+ <div class="dir" style="display:grid;grid-template-columns:repeat(auto-fit,minmax(min(100%,260px),1fr));gap:10px;margin:14px 0 8px;">
186
+ <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;">
187
+ <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">david-leads <span class="arw" style="color:#3af4c8!important;">&rarr;</span></span>
188
+ <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>
189
+ </a>
190
+ <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;">
191
+ <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">immune <span class="arw" style="color:#3af4c8!important;">&rarr;</span></span>
192
+ <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>
193
+ </a>
194
+ <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;">
195
+ <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">sda <span class="arw" style="color:#3af4c8!important;">&rarr;</span></span>
196
+ <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>
197
+ </a>
198
+ <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;">
199
+ <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">yarqa <span class="arw" style="color:#3af4c8!important;">&rarr;</span></span>
200
+ <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 &rarr; route &rarr; gate &rarr; receipt.</span>
201
+ </a>
202
+ <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;">
203
+ <span class="n" style="font-family:'JetBrains Mono',monospace;font-size:13px;color:#E8ECF3!important;">llm-router <span class="arw" style="color:#3af4c8!important;">&rarr;</span></span>
204
+ <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>
205
+ </a>
206
  </div>
207
 
208
+ <!-- VERIFY — company-level credibility: any signed receipt checks offline, zero trust in SZL -->
209
  <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>
210
+ <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;">
211
+ <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>
212
+ <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>
213
+ <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>
214
  curl -s https://szlholdings-killinchu.hf.space/cosign.pub -o cosign.pub
215
  curl -s https://szlholdings-killinchu.hf.space/api/killinchu/v1/receipt/export &gt; receipt.json
216
  <span class="c"># verify the DSSE signature offline </span> &rarr; <span class="ok">"Verified OK"</span>
217
  <span class="c"># tamper a single byte and re-verify</span> &rarr; <span class="fail">"Verification failure"</span></pre>
218
  </div>
219
 
220
+ <hr class="rule" style="border:none;border-top:1px solid #223142!important;margin:44px 0;" />
221
 
222
  <!-- HONEST PROOF STATE -->
223
+ <div class="honest" style="font-family:'Source Serif 4',serif;font-size:13.5px;color:#AAB7CC!important;line-height:1.7;">
224
  <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>
225
+ <p style="color:#AAB7CC!important;">We surface only machine-checked facts as fact.</p>
226
  <p>&bull; <b>8 formulas formally proven &amp; locked in Lean</b> (sorry-free):
227
  <code>F1, F4, F7, F11, F12, F18, F19, F22</code> — this count never inflates. A larger experimental
228
  tier is <b>kernel-clean / CI-green on main @ c7c0ba17 across Waves 11–23</b>
 
245
 
246
  <footer style="font-family:'JetBrains Mono',monospace;margin-top:40px;color:#6E809E!important;font-size:12px;line-height:1.8;letter-spacing:.02em;">
247
  Built by Stephen P. Lutar Jr. · Honest by design ·
248
+ <a href="https://github.com/szl-holdings">github.com/szl-holdings</a><br/>
 
249
  Not affiliated with Defense Unicorns · SZL mark USPTO Serial 99831122 · no production ATO claimed ·
250
  Λ = Conjecture 1 · Khipu = Conjecture 2 · trust never 100%
251
  </footer>