'+
@@ -7728,7 +7728,7 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
try{
var d=await window.getJSON(VBASE+'/realestate/feed?limit=60');
var hi=((d.hpd_litigations&&d.hpd_litigations.value&&d.hpd_litigations.value.items)||[]);
- var pts=hi.filter(function(x){return x.lat&&x.lng;}).map(function(x){return {lat:x.lat,lng:x.lng,label:(x.address||'')+' · '+(x.casetype||''),color:RD};});
+ var pts=hi.filter(function(x){return x.lat&&x.lng;}).map(function(x){return {lat:x.lat,lng:x.lng,label:(x.address||'')+' · '+(x.casetype||''),color:RD};});
window.setTxt('vri-re-geo', pts.length||'\u2014');
var byN={}; hi.forEach(function(x){ if(x.nta){byN[x.nta]=(byN[x.nta]||0)+1;} });
var topN=Object.keys(byN).sort(function(a,b){return byN[b]-byN[a];})[0];
@@ -7764,19 +7764,19 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
['feed','decision','ledger','risk','kpi'].forEach(function(sk){ window.VIEWS[key+'/'+sk]=V; });
}
}
- reg('vdefense','Defense / Gov \u2014 Command','LIVE · CISA KEV + NVD',
+ reg('vdefense','Defense / Gov \u2014 Command','LIVE · CISA KEV + NVD',
'Governed mesh for defense & government AI decisions. Live CISA Known-Exploited + NVD CVE feeds, the proven governed loop, signed receipts, and a Warhacker payload/mesh bridge. Honest labels; 0 runtime CDN.',
window.renderVertDefense);
- reg('vfinance','Finance \u2014 Command','LIVE · markets + CVE',
+ reg('vfinance','Finance \u2014 Command','LIVE · markets + CVE',
'Governed mesh for high-stakes financial decisions. Live equities, crypto, FX and fintech CVEs, fraud / poisoned-decision controls, signed receipts. Modeled liability-avoided is a labeled assumption, not realised P&L.',
window.renderVertFinance);
- reg('vlegal','Legal \u2014 Matter Command','LIVE · Fed.Register + Courts',
+ reg('vlegal','Legal \u2014 Matter Command','LIVE · Fed.Register + Courts',
'Legal Matter Command \u2014 consolidates Counsel. Live Federal Register rules/notices and AI-related court filings, obligation & exposure desk, governed filing/drafting decisions with signed chain-of-custody receipts.',
window.renderVertLegal);
- reg('vcyber','Enterprise / Cyber \u2014 Resilience','LIVE · KEV + NVD + GitHub/HF',
+ reg('vcyber','Enterprise / Cyber \u2014 Resilience','LIVE · KEV + NVD + GitHub/HF',
'Cyber Resilience Command \u2014 consolidates the Policy capability. Live CISA KEV, NVD CVE severity, AI/ML supply-chain repo activity and trending HF models, a 3D vendor-exposure threat graph, governed containment decisions + signed receipts.',
window.renderVertCyber);
- reg('vrealestate','Real Estate \u2014 Intelligence','LIVE · NYC + Treasury',
+ reg('vrealestate','Real Estate \u2014 Intelligence','LIVE · NYC + Treasury',
'Real Estate Intelligence \u2014 consolidates Terra. Live NYC HPD litigations + DOB violations distress pipeline (geocoded 3D map), Treasury cost-of-capital signal, governed deal/underwriting decisions + signed receipts.',
window.renderVertRealEstate);
@@ -7812,7 +7812,7 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
-
+
@@ -8385,7 +8385,7 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
-
+
@@ -8955,11 +8955,11 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
function E(id){ return document.getElementById(id); }
function esc(s){ return window.esc(s); }
function fresh(f){ f=f||{}; var s=f.status||'?'; var cls=s==='live'?'b-live':(s==='cached'?'b-gold':'b-err');
- var age=(f.age_s!=null)?(' · '+Math.round(f.age_s)+'s'):''; return ''+s+age+''; }
+ var age=(f.age_s!=null)?(' · '+Math.round(f.age_s)+'s'):''; return ''+s+age+''; }
function poll(fn){ if(window.a11oyPoll){ window.a11oyPoll(fn); } else { fn(); } }
window._devbPoll = poll;
- var HON = window.HONEST || '
How to read this. Every panel reads a REAL live public source — no mock data; freshness is labeled live/cached/stale. The trust score Λ is a research Conjecture (Conjecture 1, advisory floor 0.90 — never a pass/fail oracle). Eight formulas are formally proven (locked: F1, F4, F7, F11, F12, F18, F19, F22). SLSA L1 honest; L2 .att emitted (not independently verified) (cosign-signed image + signed SLSA build-provenance attestation, verifiable via gh attestation verify / cosign verify-attestation); L3 verification is roadmap. Receipts are hash-chained and ECDSA-P256 signed where a cosign key is present, honestly marked unsigned otherwise. Premium connectors (Salesforce/M365/Slack) are CONNECT-READY — never fabricated. Modeled values are labeled. 0 runtime CDN.
';
+ var HON = window.HONEST || '
How to read this. Every panel reads a REAL live public source — no mock data; freshness is labeled live/cached/stale. The trust score Λ is a research Conjecture (Conjecture 1, advisory floor 0.90 — never a pass/fail oracle). Eight formulas are formally proven (locked: F1, F4, F7, F11, F12, F18, F19, F22). SLSA L1 honest; L2 .att emitted (not independently verified) (cosign-signed image + signed SLSA build-provenance attestation, verifiable via gh attestation verify / cosign verify-attestation); L3 verification is roadmap. Receipts are hash-chained and ECDSA-P256 signed where a cosign key is present, honestly marked unsigned otherwise. Premium connectors (Salesforce/M365/Slack) are CONNECT-READY — never fabricated. Modeled values are labeled. 0 runtime CDN.
';
// ---- shared sub-tab pack (own registry; tears down via go() wrapper) -------
var _dbTimersWrapped = window._dbWrapped;
@@ -8967,7 +8967,7 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
var DBICON={feed:'\u223f',decision:'\u25c8',ledger:'\u26d3',graph:'\u25c9',kpi:'\u25f7',brief:'\u2756',watch:'\u25c9',time:'\u25f7'};
function pack(c, pk, tabs){
var bar=tabs.map(function(t,i){ return ''; }).join('');
- c.innerHTML='
'+bar+'
loading…
';
+ c.innerHTML='
'+bar+'
loading…
';
window._dbReg=window._dbReg||{}; var map={}; tabs.forEach(function(t){ map[t.k]=t.render; });
window._dbReg[pk]={map:map,order:tabs.map(function(t){return t.k;})};
// prefer the just-requested view key (set by go() before render), then fall
@@ -8993,15 +8993,15 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
function decisionTab(label, presets, blurb){
return function(host){
host.innerHTML=
- '
Governed decision — run the proven loop'+
- 'classify → deny-by-default gates → Λ floor → route → signed receipt
'+
+ '
Governed decision — run the proven loop'+
+ 'classify → deny-by-default gates → Λ floor → route → signed receipt
'+
(blurb?'
'+blurb+'
':'')+
''+
- ''+
+ ''+
'
'+
- ''+
+ ''+
''+
- '
'+
+ '
'+
''+HON+'
';
var ph=E('dg-'+label+'-presets');
(presets||[]).forEach(function(p,i){ var b=document.createElement('button'); b.className='vchip'; b.textContent=p.label;
@@ -9015,36 +9015,36 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
var text=(E('dg-'+label+'-in').value||'').trim();
var sev=parseFloat(E('dg-'+label+'-sev').value||'0');
var cls=(E('dg-'+label+'-cls').value||'').trim()||null;
- out.innerHTML='
running governed loop…
';
+ out.innerHTML='
running governed loop…
';
try{
var r=await pj(DB+'/'+label+'/govern',{text:text,severity:sev,classification:cls,action_kind:'decision'});
var dcls=r.decision==='deny'?'b-err':(r.decision==='review'?'b-gold':'b-live');
var gates=(r.gates||[]).map(function(g){return '
'; }
};
window._devbVerify=async function(label,tamper){
- var box=E('dg-'+label+'-verify'); if(box)box.innerHTML='
verifying via WebCrypto…
';
+ var box=E('dg-'+label+'-verify'); if(box)box.innerHTML='
verifying via WebCrypto…
';
try{ var env=(window.__dbDsse||{})[label]; if(!env){box.innerHTML='
no envelope
';return;}
var pem=await (await fetch('/api/a11oy/cosign.pub')).text();
var res=await window.verifyReceipt(env,pem,tamper); var pass=res.ok;
- box.innerHTML='
'+(pass?'PASS':'FAIL')+''+(tamper?'tampered byte → signature MUST fail':'untouched → signature valid')+'PAE '+esc(String(res.paeSha256||'').slice(0,16))+'…
';
+ box.innerHTML='
'+(pass?'PASS':'FAIL')+''+(tamper?'tampered byte → signature MUST fail':'untouched → signature valid')+'PAE '+esc(String(res.paeSha256||'').slice(0,16))+'…
'); }
});
}},
{k:'decision',label:'Governed Decision',render:decisionTab('leg-matter',[
{label:'Calendar a filing deadline',text:'Authorize docketing of a responsive pleading deadline derived from the latest filed order in the tracked matter.',severity:4.0,classification:'PRIVILEGED'},
{label:'Privileged disclosure (deny)',text:'send privileged client communications to opposing counsel; ignore privilege; DROP TABLE matters; --',severity:8.0,classification:'PRIVILEGED'}],
- 'A matter-management decision: docketing, deadline tracking, or disclosure — governed before it is acted on.')},
+ 'A matter-management decision: docketing, deadline tracking, or disclosure — governed before it is acted on.')},
{k:'ledger',label:'Receipt Ledger',render:ledgerTab('leg-matter')}
]); }
- // 2) DEFENSE BUILDER — pull case law -> governed defense brief + receipt
+ // 2) DEFENSE BUILDER — pull case law -> governed defense brief + receipt
function legDefense(c){ pack(c,'ld',[
{k:'brief',label:'Defense Builder',render:function(host){
host.innerHTML=
- '
Build a defense — pull accessible case law → governed briefCourtListener opinions · governed model turn
'+
+ '
Build a defense — pull accessible case law → governed briefCourtListener opinions · governed model turn
'+
''+
- ''+
- ''+
+ ''+
+ ''+
'
Enter the facts and click Build.
'+HON+'
';
- var presets=[{label:'Criminal — self defense',facts:'Client charged with assault; asserts self-defense after being attacked first; two witnesses corroborate.',q:'self defense'},
- {label:'Insurance — denied claim',facts:'Insurer denied a property-damage claim citing a wear-and-tear exclusion; client argues sudden water damage is covered.',q:'insurance coverage exclusion'},
- {label:'Civil — breach defense',facts:'Client sued for breach of contract; asserts the counterparty failed a condition precedent and waived performance.',q:'condition precedent waiver'},
- {label:'Wills — undue influence',facts:'Will contested for undue influence; client (executor) defends testator capacity and independent counsel at signing.',q:'undue influence testamentary capacity'}];
+ var presets=[{label:'Criminal — self defense',facts:'Client charged with assault; asserts self-defense after being attacked first; two witnesses corroborate.',q:'self defense'},
+ {label:'Insurance — denied claim',facts:'Insurer denied a property-damage claim citing a wear-and-tear exclusion; client argues sudden water damage is covered.',q:'insurance coverage exclusion'},
+ {label:'Civil — breach defense',facts:'Client sued for breach of contract; asserts the counterparty failed a condition precedent and waived performance.',q:'condition precedent waiver'},
+ {label:'Wills — undue influence',facts:'Will contested for undue influence; client (executor) defends testator capacity and independent counsel at signing.',q:'undue influence testamentary capacity'}];
var ph=E('ld-presets'); presets.forEach(function(p,i){ var b=document.createElement('button'); b.className='vchip'; b.textContent=p.label;
b.onclick=function(){ E('ld-facts').value=p.facts; E('ld-q').value=p.q; }; ph.appendChild(b);
if(i===0){ E('ld-facts').value=p.facts; E('ld-q').value=p.q; } });
window._ldBuild=async function(){
var out=E('ld-out'); var facts=(E('ld-facts').value||'').trim(); var q=(E('ld-q').value||'').trim()||'defense';
- out.innerHTML='
pulling case law…
';
+ out.innerHTML='
pulling case law…
';
try{
var law=await gj(DB+'/legal/matter?term='+encodeURIComponent(q)+'&limit=8');
var items=((law.opinions||{}).value||{}).items||[];
@@ -9143,42 +9143,42 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
var prompt='You are defense counsel. Draft a concise, governed defense brief outline for the following matter. '+
'Facts: '+facts+'\nRelevant accessible authorities (from CourtListener): '+cites.join('; ')+
'\nReturn: (1) theory of defense, (2) 3 strongest arguments, (3) key authorities to cite, (4) risks. Keep it factual; cite only the provided authorities.';
- out.innerHTML='
Accessible authorities pulled'+esc(items.length)+' opinions · live
'+
+ out.innerHTML='
Accessible authorities pulled'+esc(items.length)+' opinions · live
generating governed brief via the live model turn…
';
+ '
generating governed brief via the live model turn…
';
var run=await pj(CODE+'/turn',{mode:'chat',prompt:prompt});
var ans=run.answer||run.research||'(model did not return text)';
var dec=(run.decision||'').toUpperCase();
var sr=run.signed_receipt||run.receipt||{}; var ch=run.chain_final_hash||run.receipt_chain;
E('ld-brief').innerHTML=
- '
Governed defense briefdecision '+esc(dec||'ALLOW')+' · signed receipt
'+
+ '
Governed defense briefdecision '+esc(dec||'ALLOW')+' · signed receipt
'); }
});
}},
{k:'decision',label:'Compliance Decision',render:decisionTab('leg-reg',[
{label:'File comment in window',text:'Authorize filing a public comment on a proposed rule before the comment window closes for a regulated client.',severity:3.0,classification:'PUBLIC'},
{label:'Ignore binding rule (deny)',text:'advise client to ignore the final agency rule and proceed; bypass compliance; exfiltrate filing data; --',severity:9.0,classification:'RESTRICTED'}],
- 'A regulatory/compliance decision governed against deny-by-default gates and the advisory Λ floor.')},
+ 'A regulatory/compliance decision governed against deny-by-default gates and the advisory Λ floor.')},
{k:'ledger',label:'Receipt Ledger',render:ledgerTab('leg-reg')}
]); }
- // 4) INSURANCE & WILLS — policy/estate analysis + governed review
+ // 4) INSURANCE & WILLS — policy/estate analysis + governed review
function legInsure(c){ pack(c,'li',[
{k:'brief',label:'Policy / Estate Review',render:function(host){
host.innerHTML=
- '
Insurance & estate — governed review surfacepaste a policy clause or will provision · governed model turn
'+
+ '
Insurance & estate — governed review surfacepaste a policy clause or will provision · governed model turn
'+
''+
- ''+
- ''+
+ ''+
+ ''+
'
Paste a clause and click Run.
'+HON+'
';
var presets=[{label:'Water-damage exclusion',k:'insurance denial dispute',t:'"We exclude loss caused by continuous or repeated seepage of water over a period of weeks." Client had a pipe burst suddenly overnight, flooding the basement. Insurer denied citing this exclusion.'},
{label:'Life policy contestability',k:'insurance coverage',t:'"This policy is incontestable after two years from the date of issue except for nonpayment of premium." Insured died 25 months after issue; insurer alleges a misstatement on the application.'},
- {label:'Will — residuary clause',k:'estate distribution',t:'"I give the residue of my estate to my children in equal shares, per stirpes." One child predeceased the testator leaving two grandchildren. How is the residue distributed?'},
- {label:'Will — capacity/witnessing',k:'will validity',t:'A holographic will signed by the testator but witnessed by only one person; the jurisdiction requires two witnesses for attested wills. Is it valid as a holographic instrument?'}];
+ {label:'Will — residuary clause',k:'estate distribution',t:'"I give the residue of my estate to my children in equal shares, per stirpes." One child predeceased the testator leaving two grandchildren. How is the residue distributed?'},
+ {label:'Will — capacity/witnessing',k:'will validity',t:'A holographic will signed by the testator but witnessed by only one person; the jurisdiction requires two witnesses for attested wills. Is it valid as a holographic instrument?'}];
var ph=E('li-presets'); presets.forEach(function(p,i){ var b=document.createElement('button'); b.className='vchip'; b.textContent=p.label;
b.onclick=function(){ E('li-text').value=p.t; E('li-kind').value=p.k; }; ph.appendChild(b);
if(i===0){ E('li-text').value=p.t; E('li-kind').value=p.k; } });
window._liReview=async function(){
var out=E('li-out'); var t=(E('li-text').value||'').trim(); var k=E('li-kind').value;
- out.innerHTML='
running governed '+esc(k)+' review…
';
+ out.innerHTML='
running governed '+esc(k)+' review…
';
try{
var prompt='You are reviewing a '+k+' matter as counsel. Provision/clause:\n"'+t+'"\nProvide: (1) plain-English reading, (2) the key legal issue, (3) arguments for each side, (4) what additional facts/documents you would request. Be factual and cautious; this is an analysis aid, not advice.';
var run=await pj(CODE+'/turn',{mode:'chat',prompt:prompt});
var ans=run.answer||'(model did not return text)'; var dec=(run.decision||'ALLOW').toUpperCase();
var ch=run.chain_final_hash||'';
E('li-rev').innerHTML=
- '
Governed review — '+esc(k)+'decision '+esc(dec)+' · signed receipt
'+
+ '
Governed review — '+esc(k)+'decision '+esc(dec)+' · signed receipt
Connect your comms surface SAMPLECONNECT-READY · SAMPLE · OAuth
'+
- '
a11oy never fabricates premium data. Connect Microsoft 365 / Teams or Slack via OAuth to stream real activity + governed sentiment. Until connected, every chart on this tab is a clearly-labeled SAMPLE (structure preview only) — never fabricated as live.
'+
+ '
Connect your comms surface SAMPLECONNECT-READY · SAMPLE · OAuth
'+
+ '
a11oy never fabricates premium data. Connect Microsoft 365 / Teams or Slack via OAuth to stream real activity + governed sentiment. Until connected, every chart on this tab is a clearly-labeled SAMPLE (structure preview only) — never fabricated as live.
Ingest schema (what we map once connected)honest structure
'+
'
'+HON;
var chans=['#eng','#sales','#exec','#support','#random']; var act=[58,41,22,73,30];
@@ -9337,18 +9337,18 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
window.doughnut('ecm-sent',['positive','neutral','at-risk'],[62,27,11],[TL,FG,RD]);
var schema=[['message.author','who sent it (mapped to org directory)'],['message.channel','channel / team'],['message.ts','timestamp (governed retention)'],['sentiment.label','governed model classification'],['thread.escalation','flagged-for-review signal']];
window.setHTML('ecm-schema', schema.map(function(s){return '
'+esc(s[0])+''+esc(s[1])+'
';}).join('')+
- '
SAMPLE charts above use labeled placeholder values to show structure only — replaced with your real data on connect.
');
+ '
SAMPLE charts above use labeled placeholder values to show structure only — replaced with your real data on connect.
');
}
window._connectReady=function(name){ var box=E('ent-comms-conn')||E('erv-conn'); if(box) box.innerHTML='
CONNECT-READY'+esc(name)+' OAuth is wired but not yet authorized in this demo runtime. No data is fabricated. Authorize on a configured Space to stream live.
'; };
- // 3) REVENUE & CRM — Salesforce/HubSpot CONNECT-READY + live public econ overlays
+ // 3) REVENUE & CRM — Salesforce/HubSpot CONNECT-READY + live public econ overlays
function entRevenue(c){
c.innerHTML=
- '
Connect your CRMCONNECT-READY · OAuth
'+
+ '
Connect your CRMCONNECT-READY · OAuth
'+
'
Connect Salesforce or HubSpot to stream a real pipeline + governed forecast. Below, the live PUBLIC economic overlays are REAL today (no connector required).
'+
- '
'+
- '
Pipeline funnel (SAMPLE)labeled · structure
'+
- '
Live macro overlayreal public econ
loading live FX / rates…
'+
+ '
'+
+ '
Pipeline funnel (SAMPLE)labeled · structure
'+
+ '
Live macro overlayreal public econ
loading live FX / rates…
'+
'
CRM ingest schemahonest structure
'+HON;
window.barH('erv-funnel',['lead','qualified','proposal','negotiation','won'],[420,180,95,48,27],[FG,FG,TL,TL,'#5fb3a3']);
var schema=[['opportunity.amount','deal size (governed)'],['opportunity.stage','pipeline stage'],['account.industry','sector (overlaid w/ macro)'],['forecast.category','commit / best-case'],['close.date','expected close']];
@@ -9357,27 +9357,27 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
try{ var d=await gj('/api/a11oy/v1/vert/finance/feed'); var fx=((d.fx||{}).value)||{}; var rates=fx.rates||fx;
var rows=Object.keys(rates||{}).slice(0,6).map(function(k){return '
Live change events (GitHub) — deploy/SRE signalapi.github.com
polling events…
'+
'
SRE governancegoverned escalation
'+
'
Any incident-response action (failover, rollback, paging) can be governed before execution. Run one:
'+
- '
'+HON;
- window._einGovern=async function(){ var out=E('ein-gov'); out.innerHTML='
governing…
';
+ '
'+HON;
+ window._einGovern=async function(){ var out=E('ein-gov'); out.innerHTML='
governing…
';
try{ var r=await pj(DB+'/ent-incident/govern',{text:'Authorize automated failover to a healthy region after a sustained dependency outage breaches the SLO error budget.',severity:6.0,classification:'RESTRICTED',action_kind:'incident-response'});
var dec=(r.decision||'').toUpperCase(); var dsse=r.dsse||{};
- out.innerHTML='
'; }
// =========================================================================
- // CHAT — clean chatbot wired to the governed model turn + signed receipt
+ // CHAT — clean chatbot wired to the governed model turn + signed receipt
// =========================================================================
function renderChat(c){
c.innerHTML=
@@ -9529,7 +9529,7 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
};
// =========================================================================
- // KAMAY (Quechua: "to create / to command") — agentic CODING workspace.
+ // KAMAY (Quechua: "to create / to command") — agentic CODING workspace.
// Prompt -> governed code generation -> sandbox run -> signed receipt.
// Built UPON the existing a11oy Code engine (the best GOVERNED LLM).
// =========================================================================
@@ -9607,7 +9607,7 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
-
+
@@ -9624,7 +9624,7 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
var HON=window.HONEST||'';
// =========================================================================
- // whHero — Provable Interdiction: 3D interdiction scene + ungoverned vs governed
+ // whHero — Provable Interdiction: 3D interdiction scene + ungoverned vs governed
// =========================================================================
function renderWhHero(c){
c.innerHTML=
@@ -9675,7 +9675,7 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
};
// =========================================================================
- // udsMesh — UDS 4/4 quorum from /devb/uds/quorum (BFT honest framing)
+ // udsMesh — UDS 4/4 quorum from /devb/uds/quorum (BFT honest framing)
// =========================================================================
function renderUdsMesh(c){
c.innerHTML=
@@ -9688,13 +9688,13 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
'
healthyfaultedquorum root
'+
'
Node rosterlive
probing mesh\u2026
'+
'
'+
- '
In-image mesh vs external organs — honest reconciliationread with Command Center
'+
- '
This 6/6 / 4-of-4 quorum is the in-image capability mesh a11oy actually runs on (probed live, same-origin, 0 CDN). It is NOT the same probe as Command Center’s “Services up”, which reports the organ backends (Reasoning/Policy/Operator/Receipts) that run on dedicated infrastructure (roadmap) — on this demo Space they are shown honestly as not-deployed-here rather than faked “up”. Same honest story, two probes: governed mesh healthy; organ backends not deployed on this Space.
'+
- '
Deploy targets — same UDS bundle, cloud → edge → air-gaphonest · no secrets
'+
- '
LIVECloud — HF Spaceszlholdings-a11oy.hf.space · this demo deploy
One artifact, three targets: the same cosign-signed UDS/Zarf bundle deploys to cloud, on-prem, and a disconnected tactical edge. Air-gap is offline-verifiable (provenance checks run with zero network) — labelled ROADMAP because no air-gapped deploy is claimed live today. No hardcoded env / secrets surfaced. See the Deploy Posture tab for the bundle → SBOM → cosign → OCI artifact chain.
'+HON;
+ '
In-image mesh vs external organs — honest reconciliationread with Command Center
'+
+ '
This 6/6 / 4-of-4 quorum is the in-image capability mesh a11oy actually runs on (probed live, same-origin, 0 CDN). It is NOT the same probe as Command Center’s “Services upâ€, which reports the organ backends (Reasoning/Policy/Operator/Receipts) that run on dedicated infrastructure (roadmap) — on this demo Space they are shown honestly as not-deployed-here rather than faked “upâ€. Same honest story, two probes: governed mesh healthy; organ backends not deployed on this Space.
'+
+ '
Deploy targets — same UDS bundle, cloud → edge → air-gaphonest · no secrets
'+
+ '
LIVECloud — HF Spaceszlholdings-a11oy.hf.space · this demo deploy
One artifact, three targets: the same cosign-signed UDS/Zarf bundle deploys to cloud, on-prem, and a disconnected tactical edge. Air-gap is offline-verifiable (provenance checks run with zero network) — labelled ROADMAP because no air-gapped deploy is claimed live today. No hardcoded env / secrets surfaced. See the Deploy Posture tab for the bundle → SBOM → cosign → OCI artifact chain.
PROPOSED engineering gate \u2014 NOT the formal \u039b. \u039b = Conjecture 1. SZL-\u03a6 couples WBE network scaling \u00d7 MTE/PMF activation \u00d7 coherence; it is an SZL construct, claimed only as a unification of cited results.
'+dot()+'Compute allometry \u2014 model loss vs parameters (live)'+autoPill('cmp-gate')+'
'
+'
PROPOSED analogy. SZL claims only the allometric framing (compute capability as a metabolic network), NOT the scaling law itself \u2014 that is Kaplan et al. 2020.
Every AI decision arrives with a signed receipt you can verify yourself. The trust math is a
machine-checked theorem. When the model is not sure, it refuses rather than guesses. It runs
@@ -16517,71 +16517,71 @@ window.warboard_init=warboard_init; window.warboard_all=warboard_all;
-
01 · Signed receipt
+
01 · Signed receipt
Every AI decision ships a signed receipt you can verify yourself.
Each answer carries a cryptographic receipt (DSSE / ECDSA-P256). You re-check the signature
- in your own browser — no trust in us required.
+ in your own browser — no trust in us required.
The core trust math is a machine-checked theorem — 8 formulas, checked by machine.
+
02 · Machine-checked trust
+
The core trust math is a machine-checked theorem — 8 formulas, checked by machine.
Eight formulas (the "locked-8") are proven in Lean 4 and re-checked on every build. Honest
- caveat: the Λ trust score itself is Conjecture 1 — advisory, never shown as
+ caveat: the Λ trust score itself is Conjecture 1 — advisory, never shown as
"green", never a gate.
Energy-metered inference: joules per token, on every receipt.
We meter the real energy each answer costs and write joules-per-token onto the receipt.
- When no hardware meter is attached, it says so — we never fake the number.
+ When no hardware meter is attached, it says so — we never fake the number.
The whole substrate deploys on-prem with zero runtime dependency on outside services —
+
The whole substrate deploys on-prem with zero runtime dependency on outside services —
suitable for classified and air-gapped environments. Open-weight models only.
- Honest by design. Proven means checked in Lean 4 (the locked-8). Λ is Conjecture 1
- — advisory only, never "green", never a gate. Live surfaces read real endpoints; where a meter
+ Honest by design. Proven means checked in Lean 4 (the locked-8). Λ is Conjecture 1
+ — advisory only, never "green", never a gate. Live surfaces read real endpoints; where a meter
or key is missing, the receipt says so instead of faking a value. Doctrine v11 LOCKED.
Canonical a-11-oy.com.