diff --git "a/govern_showcase.html" "b/govern_showcase.html" --- "a/govern_showcase.html" +++ "b/govern_showcase.html" @@ -1,9 +1,9 @@ - + -a11oy · AI that can demonstrate its work +a11oy · Governed Inference @@ -281,24 +281,24 @@ Formulas Pricing -
linking mesh…
+
linking mesh…
-
Λ AI that can demonstrate its work · Sovereign · Energy-Measured
+
Λ Governed Inference · Sovereign · Energy-Measured

Every AI answer
arrives with proof.

-

A confidence floor that flags. Deny-by-default gates that block. A cryptographically signed receipt for every turn — and the real joules it took, measured on our own sovereign GPUs.

+

A confidence floor that flags. Deny-by-default gates that block. A cryptographically signed receipt for every turn — and the real joules it took, measured on our own sovereign GPUs.

- Λ advisory floor + Λ advisory floor deny-by-default gates signed DSSE receipt - MEASURED joules · NVML + MEASURED joules · NVML sovereign hardware
- + Defense & national security
@@ -317,21 +317,21 @@ defense ops general
- +
-
Λ
+
Λ
Awaiting a turn
-
Submit a prompt to run it through the live governance stack — gates, the Λ advisory floor, a signed receipt, and measured joules. The verdict and receipt chain render here.
+
Submit a prompt to run it through the live governance stack — gates, the Λ advisory floor, a signed receipt, and measured joules. The verdict and receipt chain render here.
-
Governing on sovereign GPU…
+
Governing on sovereign GPU…
-
VERDICT—
+
VERDICT
@@ -339,41 +339,41 @@
-
RECEIPT CHAIN · Λ-FIELD
-
SEQ 0 · ALLOW
+
RECEIPT CHAIN · Λ-FIELD
+
SEQ 0 · ALLOW
allow review deny - hash-chained · DSSE-signed + hash-chained · DSSE-signed
-

Answer is returned only on decision = allow. On review/deny you get the verdict + receipt and no answer — by design. Real turn on live GPU: ~30–60s.

+

Answer is returned only on decision = allow. On review/deny you get the verdict + receipt and no answer — by design. Real turn on live GPU: ~30–60s.

-
Live · NVML · MEASURED
+
Live · NVML · MEASURED
Energy you can watch in real time
-

Every governed turn reports the real joules it consumed. This is our sovereign mesh drawing power right now — measured from hardware, never estimated. The number you can't fake is the one buyers trust.

+

Every governed turn reports the real joules it consumed. This is our sovereign mesh drawing power right now — measured from hardware, never estimated. The number you can't fake is the one buyers trust.

-
SOVEREIGN MESH · LIVE DRAWpolling…
+
SOVEREIGN MESH · LIVE DRAWpolling…
-
—W instantaneous
+
W instantaneous
-
Cumulative measured: — J · exporter —
+
Cumulative measured: J · exporter
ENERGY SURFACESZLHOLDINGS/energy
-
loading energy surface…
+
loading energy surface…
@@ -385,16 +385,16 @@
Defense & national security
Governance that holds in contested, audited environments
-

The same receipt that satisfies a compliance auditor satisfies an operational reviewer. Built for air-gap, for deny-by-default, and for proving — after the fact — exactly what an autonomous system was and was not allowed to do.

+

The same receipt that satisfies a compliance auditor satisfies an operational reviewer. Built for air-gap, for deny-by-default, and for proving — after the fact — exactly what an autonomous system was and was not allowed to do.

-
AIR-GAP READY

Sovereign by construction

Runs on your own GPUs / air-gapped enclave. Zero data egress. "Sovereign" is asserted only when it truly reaches your box — never as a marketing word.

-
DENY-BY-DEFAULT

The block is the proof

When a gate denies an action, the receipt records that the unsafe action was stopped — an auditable artifact for rules-of-engagement and oversight.

+
AIR-GAP READY

Sovereign by construction

Runs on your own GPUs / air-gapped enclave. Zero data egress. "Sovereign" is asserted only when it truly reaches your box — never as a marketing word.

+
DENY-BY-DEFAULT

The block is the proof

When a gate denies an action, the receipt records that the unsafe action was stopped — an auditable artifact for rules-of-engagement and oversight.

COP / OVERSIGHT

Receipts feed the record

Every decision is hash-chained and signed, replayable into a common operating picture or after-action review. Provenance, not assertion.

HONEST POSTURE   - Supply chain attested at L1/L2 with an L3 roadmap. No FedRAMP / CMMC / ATO yet — those are a path, not a present claim. Effectors are simulated. We bring the governance substrate; the accreditation is a partnership. + Supply chain attested at L1/L2 with an L3 roadmap. No FedRAMP / CMMC / ATO yet — those are a path, not a present claim. Effectors are simulated. We bring the governance substrate; the accreditation is a partnership.
@@ -402,25 +402,25 @@
Four things proven on every turn
-
Not a claim — a receipt
+
Not a claim — a receipt
-
01 · GATES

Governance that bites

Deny-by-default threat & PII gates can block an unsafe request in real time. The block is recorded, never silent.

-
02 · Λ

An honest confidence floor

A Λ advisory score flags low-confidence outputs for human review instead of passing them. Λ is a conjecture — never an overclaimed theorem.

-
03 · RECEIPT

Signed, not asserted

Every turn is hash-chained (Khipu) and DSSE-signed with an ECDSA P-256 key. Verify it offline against the published key.

-
04 · ENERGY

Measured, never faked

Real per-turn joules from NVML hardware telemetry, labeled MEASURED or UNAVAILABLE. We never invent a number.

+
01 · GATES

Governance that bites

Deny-by-default threat & PII gates can block an unsafe request in real time. The block is recorded, never silent.

+
02 · Λ

An honest confidence floor

A Λ advisory score flags low-confidence outputs for human review instead of passing them. Λ is a conjecture — never an overclaimed theorem.

+
03 · RECEIPT

Signed, not asserted

Every turn is hash-chained (Khipu) and DSSE-signed with an ECDSA P-256 key. Verify it offline against the published key.

+
04 · ENERGY

Measured, never faked

Real per-turn joules from NVML hardware telemetry, labeled MEASURED or UNAVAILABLE. We never invent a number.

- + - +
ObligationWhat the receipt satisfies
FDA 21 CFR Part 11Signed, timestamped, hash-chained record of every inference — verifiable offline
FDA 21 CFR Part 11Signed, timestamped, hash-chained record of every inference — verifiable offline
Genomics / bioinformatics reproducibilityProvenance of every compute step sealed into the receipt
SR 11-7 / EU AI Act high-riskEvery decision receipted with gate verdicts and the Λ floor
SR 11-7 / EU AI Act high-riskEvery decision receipted with gate verdicts and the Λ floor
Defense rules-of-engagement / oversightDeny-by-default proof + replayable after-action record

What is honestly NOT claimed

    -
  • Λ uniqueness is a conjecture, not a theorem.
  • -
  • A fixed set of formulas is locked-proven — no more is claimed.
  • +
  • Λ uniqueness is a conjecture, not a theorem.
  • +
  • A fixed set of formulas is locked-proven — no more is claimed.
  • Supply chain attested L1/L2; L3 is roadmap. No FedRAMP/CMMC/ATO yet.
  • Effectors are simulated. Trust is never represented as 100%.
@@ -463,18 +463,18 @@
Pricing
- - + +
TierForAnchor
Design-partner pilotFirst regulated / defense logos · 60–90 days$35k–$50k
Sovereign licenseOn-prem / air-gap deployment$50k–$250k/yr
Design-partner pilotFirst regulated / defense logos · 60–90 days$35k–$50k
Sovereign licenseOn-prem / air-gap deployment$50k–$250k/yr
Managed governed APIHosted, metered per governed turnper-1k turns
- a11oy · SZL Holdings · governed-inference substrate for hard missions
- Live demo on sovereign GPUs · receipts verifiable offline · Λ = Conjecture 1 (advisory) + a11oy · SZL Holdings · governed-inference substrate for hard missions
+ Live demo on sovereign GPUs · receipts verifiable offline · Λ = Conjecture 1 (advisory)
@@ -491,7 +491,7 @@ const $=s=>document.querySelector(s); for(let i=0;i`
${g.name}${(g.power_w||0).toFixed(1)} W ${g.live?'MEASURED':''}
`).join(''); hist.push(watt);if(hist.length>60)hist.shift();draw(); }catch(e){$('#emeta').textContent='meter unreachable';} @@ -575,7 +575,7 @@ const holo=(function(){ /* ===== health ribbon ===== */ fetch('/api/a11oy/v1/govern/health').then(r=>r.json()).then(h=>{ - $('#livetxt').textContent=h.governance?`mesh live · ${h.engines_live||0}/${h.engines_total||0} engines · energy ${h.meter_fresh_live?'MEASURED':'pending'}`:'mesh degraded'; + $('#livetxt').textContent=h.governance?`mesh live · ${h.engines_live||0}/${h.engines_total||0} engines · energy ${h.meter_fresh_live?'MEASURED':'pending'}`:'mesh degraded'; }).catch(()=>$('#livetxt').textContent='mesh unreachable'); document.querySelectorAll('.chip').forEach(c=>c.onclick=()=>{$('#prompt').value=c.dataset.p;$('#prompt').focus();}); @@ -609,16 +609,16 @@ $('#run').onclick=async()=>{ $('#cload').classList.add('on'); btn.disabled=true;let t0=Date.now(),tick=setInterval(()=>{ const s=((Date.now()-t0)/1000|0); - btn.textContent='⟳ governing on live GPU… '+s+'s'; - if($('#cloadtxt'))$('#cloadtxt').textContent='Governing on sovereign GPU… '+s+'s'; + btn.textContent='⟳ governing on live GPU… '+s+'s'; + if($('#cloadtxt'))$('#cloadtxt').textContent='Governing on sovereign GPU… '+s+'s'; },250); - $('#err').innerHTML='Running on sovereign hardware — a real turn takes ~30–60s.'; + $('#err').innerHTML='Running on sovereign hardware — a real turn takes ~30–60s.'; try{ const d=await (await fetch('/api/a11oy/v1/govern/infer',{method:'POST',headers:{'Content-Type':'application/json'},body:JSON.stringify({prompt})})).json(); clearInterval(tick);$('#err').textContent='';$('#cload').classList.remove('on');render(d); }catch(e){clearInterval(tick);$('#err').textContent='Request failed: '+e.message;$('#cload').classList.remove('on'); if($('#cempty'))$('#cempty').style.display='flex';} - btn.disabled=false;btn.textContent='â–¶ Run governed turn'; + btn.disabled=false;btn.textContent='▶ Run governed turn'; }; function render(d){ @@ -628,22 +628,21 @@ function render(d){ const vb=$('#vbody'); vb.innerHTML=d.answer?'ANSWER'+esc(d.answer):''+esc(d.honesty||'No answer for this decision.')+''; const g=d.governance||{},e=d.energy||{},ds=d.dsse||{}; - const model=(g.route&&g.route.chosen&&g.route.chosen.id)||'—'; + const model=(g.route&&g.route.chosen&&g.route.chosen.id)||'—'; $('#meta').innerHTML=` -
Λ (advisory)
${g.lambda??'—'} / ${g.lambda_floor??'—'}
+
Λ (advisory)
${g.lambda??'—'} / ${g.lambda_floor??'—'}
Gates fired
${(g.gates||[]).filter(x=>x.fired).length} of ${(g.gates||[]).length}
Route
${esc(model)}
-
Energy
${e.joules??'—'} J · ${esc(e.label||'—')}
`; +
Energy
${e.joules??'—'} J · ${esc(e.label||'—')}
`; const signed=ds.signed===true,r=d.receipt||{}; $('#receipt').innerHTML= - `receipt.digest ${esc((r.digest||'')).slice(0,48)}…
`+ - `chain seq ${r.seq??'?'} · prev ${esc((r.prev||'').slice(0,16))}…
`+ - `signature ${signed?'✓ REAL · ECDSA-P256-SHA256':'⚠ '+esc(ds.honesty||'unsigned')}
`+ - `Λ kind ${esc(g.lambda_kind||'Conjecture 1 (advisory)')}`; + `receipt.digest ${esc((r.digest||'')).slice(0,48)}…
`+ + `chain seq ${r.seq??'?'} · prev ${esc((r.prev||'').slice(0,16))}…
`+ + `signature ${signed?'✓ REAL · ECDSA-P256-SHA256':'⚠ '+esc(ds.honesty||'unsigned')}
`+ + `Λ kind ${esc(g.lambda_kind||'Conjecture 1 (advisory)')}`; holo.chain(r.seq||0,dec); - if($('#rstat'))$('#rstat').textContent='SEQ '+(r.seq??0)+' · '+dec.toUpperCase(); + if($('#rstat'))$('#rstat').textContent='SEQ '+(r.seq??0)+' · '+dec.toUpperCase(); } -