Hugging Face's logo

Spaces:
SZLHOLDINGS
/
a11oy
Running

App Files Community
12
a11oy
File size: 22,678 Bytes
714d76d
 
 
 
 
 
 
bf17d5e
714d76d
 
 
 
 
 
 
 
 
 
bf17d5e
 
714d76d
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
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
<!DOCTYPE html>
<html lang="en">
<head>
<meta charset="UTF-8"/>
<meta name="viewport" content="width=device-width, initial-scale=1.0"/>
<title>a11oy Restraint — Governed + Measured Frugality Gate · SZL Holdings</title>
<meta name="description" content="a11oy Restraint: a governed, measured frugality gate for the a11oy Code agent. Before emitting a diff the agent descends a 6-rung ladder (YAGNI, stdlib, native, installed dep, one line, then minimal code) and stops at the first rung that holds, marking deliberate simplifications with restraint: ceiling comments. Every decision becomes a signed DSSE receipt and an advisory Lambda score; benchmark numbers are labelled MEASURED only when actually run, else SAMPLE/ROADMAP. The ladder + intensity levels are adopted from the open-source Ponytail skill (MIT); governance and measurement are ours."/>
<!-- 0 runtime CDN (doctrine): no external font/style/script links. Local system font stack only. -->
<style>
:root{
  --ground:#0a0a0a; --panel:#0e0e0e; --panel2:#080808;
  --gold:#c9b787; --gold-bright:#d6c69a;
  --teal:#5fb3a3; --teal-soft:rgba(95,179,163,0.10);
  --cream:#f5f5f5; --paragraph:#9a9a9a; --muted:#888; --dim:#555;
  --gold-line:rgba(201,183,135,0.15); --gold-soft:rgba(201,183,135,0.04);
  --teal-line:rgba(95,179,163,0.22);
  --live:#5a8a6e; --err:#b06a5a;
  --green:#39d98a; --yellow:#f5c451; --red:#ff6a5a; --blue:#5bc8ff;
  --mono:ui-monospace,SFMono-Regular,Menlo,Consolas,'Liberation Mono',monospace;
  --display:ui-sans-serif,system-ui,-apple-system,'Segoe UI',Roboto,Helvetica,Arial,sans-serif;
}
*{box-sizing:border-box;}
html,body{margin:0;padding:0;background:var(--ground);color:var(--cream);font-family:var(--display);-webkit-font-smoothing:antialiased;}
.mono{font-family:var(--mono);}
a{color:inherit;text-decoration:none;}
code{font-family:var(--mono);color:var(--gold-bright);font-size:.9em;}
.topbar{position:sticky;top:0;z-index:60;display:flex;align-items:center;gap:1rem;flex-wrap:wrap;padding:.5rem 1.1rem;background:rgba(10,10,10,.92);backdrop-filter:blur(10px);border-bottom:1px solid var(--gold-line);font-family:var(--mono);font-size:10.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--gold);}
.topbar .sep{color:var(--dim);}
.topbar .live{display:inline-flex;align-items:center;gap:.4rem;color:var(--cream);}
.live-dot{width:6px;height:6px;border-radius:50%;background:var(--live);box-shadow:0 0 6px var(--live);animation:pulse 2.2s ease-in-out infinite;}
@keyframes pulse{0%,100%{opacity:1;}50%{opacity:.35;}}
.switcher{margin-left:auto;display:flex;align-items:center;gap:.3rem;flex-wrap:wrap;}
.flag{padding:.22rem .55rem;border-radius:6px;border:1px solid transparent;color:var(--muted);transition:.15s;}
.flag:hover{color:var(--cream);border-color:var(--gold-line);background:var(--gold-soft);}
.flag.active{color:var(--ground);background:var(--gold);border-color:var(--gold);font-weight:600;}
.wrap{max-width:1320px;margin:0 auto;padding:1.6rem 1.4rem 4rem;}
h1{font-size:1.75rem;font-weight:600;margin:.2rem 0 .3rem;letter-spacing:-.01em;}
.badge{display:inline-block;font-family:var(--mono);font-size:10px;letter-spacing:.08em;text-transform:uppercase;color:var(--teal);border:1px solid var(--teal-line);background:var(--teal-soft);padding:.25rem .6rem;border-radius:5px;margin-left:.4rem;vertical-align:middle;}
.lede{color:var(--paragraph);font-size:.95rem;line-height:1.65;max-width:1180px;margin:.6rem 0 1rem;}
.lede b{color:var(--cream);font-weight:600;}
.honest{border:1px solid var(--gold-line);background:var(--gold-soft);border-radius:8px;padding:.7rem 1rem;margin:.4rem 0 1.2rem;font-family:var(--mono);font-size:11.5px;color:var(--paragraph);line-height:1.7;}
.honest .k{color:var(--gold);text-transform:uppercase;letter-spacing:.08em;font-size:10px;}
.honest .hi{color:var(--teal);}
.cards{display:grid;grid-template-columns:repeat(4,1fr);gap:.8rem;margin:0 0 1.2rem;}
.card{border:1px solid var(--gold-line);background:var(--panel);border-radius:8px;padding:.85rem 1rem;}
.card .lbl{font-family:var(--mono);font-size:9.5px;letter-spacing:.1em;text-transform:uppercase;color:var(--dim);}
.card .big{font-size:1.5rem;font-weight:600;margin:.35rem 0 .15rem;color:var(--teal);}
.card .sub{font-family:var(--mono);font-size:10.5px;color:var(--muted);}
.grid2{display:grid;grid-template-columns:1.1fr .9fr;gap:1rem;}
.panel{border:1px solid var(--gold-line);background:var(--panel);border-radius:10px;padding:1rem 1.1rem;margin-bottom:1rem;}
.panel h2{font-size:1.05rem;font-weight:600;margin:0 0 .2rem;display:flex;align-items:center;justify-content:space-between;gap:.5rem;}
.panel h2 .meta{font-family:var(--mono);font-size:10px;color:var(--dim);text-transform:uppercase;letter-spacing:.06em;}
.panel .desc{color:var(--paragraph);font-size:.85rem;line-height:1.55;margin:.1rem 0 .6rem;}
.kv{font-family:var(--mono);font-size:12px;color:var(--paragraph);line-height:1.9;margin-top:.4rem;}
.kv .k{color:var(--dim);display:inline-block;min-width:160px;}
.kv .v{color:var(--cream);}
.pill{display:inline-block;font-family:var(--mono);font-size:10px;letter-spacing:.06em;text-transform:uppercase;padding:.18rem .5rem;border-radius:5px;border:1px solid var(--gold-line);}
.pill.green{color:var(--green);border-color:rgba(57,217,138,.4);background:rgba(57,217,138,.08);}
.pill.yellow{color:var(--yellow);border-color:rgba(245,196,81,.4);background:rgba(245,196,81,.08);}
.pill.blue{color:var(--blue);border-color:rgba(91,200,255,.4);background:rgba(91,200,255,.08);}
input,textarea,select{font-family:var(--mono);font-size:12.5px;background:var(--panel2);color:var(--cream);border:1px solid var(--gold-line);border-radius:7px;padding:.55rem .7rem;width:100%;}
textarea{min-height:70px;resize:vertical;}
label.fld{display:block;font-family:var(--mono);font-size:10px;letter-spacing:.08em;text-transform:uppercase;color:var(--dim);margin:.6rem 0 .25rem;}
button{font-family:var(--mono);font-size:11.5px;letter-spacing:.06em;text-transform:uppercase;background:var(--gold);color:var(--ground);border:none;border-radius:7px;padding:.55rem 1rem;cursor:pointer;font-weight:600;transition:.15s;}
button:hover{background:var(--gold-bright);}
button.ghost{background:transparent;color:var(--gold);border:1px solid var(--gold-line);}
button.ghost:hover{background:var(--gold-soft);}
.seg{display:inline-flex;gap:.2rem;border:1px solid var(--gold-line);border-radius:7px;padding:.2rem;}
.seg button{background:transparent;color:var(--muted);padding:.35rem .7rem;}
.seg button.on{background:var(--gold);color:var(--ground);}
.ladder{display:flex;flex-direction:column;gap:.35rem;margin:.5rem 0;}
.rung{display:flex;align-items:flex-start;gap:.6rem;border:1px solid var(--gold-line);border-radius:7px;padding:.5rem .7rem;background:var(--panel2);font-size:12.5px;}
.rung .n{font-family:var(--mono);font-size:11px;color:var(--dim);min-width:1.4rem;}
.rung.held{border-color:var(--teal-line);background:var(--teal-soft);}
.rung.held .n{color:var(--teal);}
.rung .nm{color:var(--paragraph);}
.rung.held .nm{color:var(--cream);}
.rung .tag{margin-left:auto;font-family:var(--mono);font-size:9px;letter-spacing:.06em;text-transform:uppercase;color:var(--dim);}
.rung.held .tag{color:var(--teal);}
.ceil{font-family:var(--mono);font-size:12px;color:var(--gold-bright);background:var(--panel2);border:1px solid var(--gold-line);border-radius:7px;padding:.6rem .75rem;margin:.5rem 0;white-space:pre-wrap;word-break:break-word;}
table{width:100%;border-collapse:collapse;font-family:var(--mono);font-size:11.5px;margin-top:.5rem;}
th,td{text-align:right;padding:.4rem .5rem;border-bottom:1px solid var(--gold-line);}
th:first-child,td:first-child{text-align:left;}
th{color:var(--dim);text-transform:uppercase;font-size:9.5px;letter-spacing:.08em;font-weight:500;}
td{color:var(--paragraph);}
td.hi{color:var(--teal);}
.foot{font-family:var(--mono);font-size:10.5px;color:var(--dim);line-height:1.8;margin-top:1.5rem;border-top:1px solid var(--gold-line);padding-top:1rem;}
.foot a{color:var(--gold);}
.szl-pill{font-family:var(--mono);}
.spin{display:inline-block;width:11px;height:11px;border:2px solid var(--gold-line);border-top-color:var(--gold);border-radius:50%;animation:rot .8s linear infinite;vertical-align:middle;}
@keyframes rot{to{transform:rotate(360deg);}}
.sample-chips{display:flex;gap:.35rem;flex-wrap:wrap;margin:.5rem 0;}
.chip{font-family:var(--mono);font-size:10.5px;color:var(--muted);border:1px solid var(--gold-line);border-radius:20px;padding:.25rem .65rem;cursor:pointer;}
.chip:hover{color:var(--cream);background:var(--gold-soft);}
</style>
</head>
<body>
<div class="topbar">
  <span class="live"><span class="live-dot"></span> a11oy</span>
  <span class="sep">/</span><span>Restraint</span>
  <span class="sep">/</span><span>Governed + Measured Frugality Gate</span>
  <span class="switcher">
    <a class="flag" href="/console">Console</a>
    <a class="flag" href="/agent">Agent Loop</a>
    <a class="flag" href="/nemo">Agent Model</a>
    <a class="flag" href="/energy">Energy</a>
    <a class="flag active" href="/restraint">Restraint</a>
  </span>
</div>

<div class="wrap">
  <h1>a11oy Restraint <span class="badge" id="b-doctrine">Doctrine v11</span><span id="b-heuristic"></span></h1>
  <p class="lede">
    Before the a11oy Code agent emits a diff, it descends a <b>6-rung ladder</b> and stops at the
    first rung that holds — <b>(1) YAGNI</b>, (2) stdlib, (3) native platform feature,
    (4) already-installed dependency, (5) one line, then (6) minimum viable code. Deliberate
    simplifications are marked with <code>restraint:</code> ceiling comments that name the upgrade path.
    Every decision becomes a <b>signed DSSE receipt</b> and an advisory <b>&Lambda;</b> trust score; the
    benchmark reproduces code-reduction / cost / speed numbers on <b>our</b> stack, labelled
    <b>MEASURED only when actually run</b>, else SAMPLE/ROADMAP.
  </p>
  <div class="honest">
    <span class="k">Provenance — honest</span>&nbsp; The ladder and the <span class="hi">lite / full / ultra</span>
    intensity levels are <b>adopted</b> from the open-source <b>Ponytail</b> coding-agent skill
    (<a href="https://github.com/DietrichGebert/ponytail" target="_blank" rel="noopener" style="color:var(--gold)">github.com/DietrichGebert/ponytail</a>,
    MIT, &copy; 2026 DietrichGebert) — <b>adopted + governed, not invented here</b>. Our additions are
    the signed receipts, the &Lambda; score, the measured-on-our-stack benchmark, and the energy tie-in.
    Ponytail's published numbers (<span class="hi">80&ndash;94% less code, 47&ndash;77% cheaper, 3&ndash;6&times; faster</span>,
    median across Haiku/Sonnet/Opus) are <b>cited as Ponytail's</b>, never claimed as ours.
    &Lambda; uniqueness is <b>Conjecture 1 (OPEN)</b>, advisory floor &lt; 1.0 — not a proven theorem.
  </div>

  <div class="cards" id="cards">
    <div class="card"><div class="lbl">Ladder rungs</div><div class="big">6</div><div class="sub">stop at first that holds</div></div>
    <div class="card"><div class="lbl">Intensity levels</div><div class="big">3</div><div class="sub">lite · full · ultra</div></div>
    <div class="card"><div class="lbl">Per-decision receipt</div><div class="big">DSSE</div><div class="sub" id="c-signer">in-image ECDSA-P256</div></div>
    <div class="card"><div class="lbl">Energy thesis</div><div class="big">J/tok</div><div class="sub">less code · fewer joules</div></div>
  </div>

  <div class="grid2">
    <div class="panel">
      <h2>Evaluate a task <span class="meta">POST /api/a11oy/v1/restraint/evaluate</span></h2>
      <p class="desc">Type what the code agent is about to build. Restraint runs the pre-write ladder, names the ceiling, scores &Lambda;, estimates lines/tokens/joules saved, and signs the decision.</p>
      <div class="sample-chips" id="chips"></div>
      <label class="fld">Task</label>
      <textarea id="task" placeholder="e.g. add a cache for these API responses">add a cache for these API responses</textarea>
      <label class="fld">Intensity</label>
      <div class="seg" id="seg">
        <button data-i="lite">lite</button>
        <button data-i="full" class="on">full</button>
        <button data-i="ultra">ultra</button>
      </div>
      <div style="margin-top:.7rem;display:flex;gap:.5rem;">
        <button id="run">Run ladder</button>
        <button class="ghost" id="runbench">Run benchmark</button>
      </div>
    </div>

    <div class="panel">
      <h2>Ladder decision <span class="meta" id="dec-label"></span></h2>
      <p class="desc" id="dec-summary">Run the ladder to see which rung stopped it and why.</p>
      <div class="ladder" id="ladder"></div>
      <div class="ceil" id="ceil" style="display:none"></div>
      <div class="kv" id="dec-kv"></div>
    </div>
  </div>

  <div class="grid2">
    <div class="panel">
      <h2>Signed receipt <span class="meta">in-image ECDSA-P256 / DSSE</span></h2>
      <p class="desc">The governed differentiator: every restraint decision is a tamper-evident DSSE receipt. Verify in-browser against <code>/cosign.pub</code>.</p>
      <div class="kv" id="receipt-kv"><span class="k">status</span> <span class="v">— run the ladder —</span></div>
    </div>
    <div class="panel">
      <h2>Energy tie-in <span class="meta" id="energy-label"></span></h2>
      <p class="desc">Less code &rarr; fewer tokens &rarr; fewer joules on our GPU. Estimates are MODELED; the joules label defers to the on-box NVML meter (reads <code>sample</code> unless a fresh exporter reading is present).</p>
      <div class="kv" id="energy-kv"><span class="k">tokens saved</span> <span class="v">—</span></div>
    </div>
  </div>

  <div class="panel">
    <h2>Benchmark — baseline vs a11oy-restraint <span class="meta" id="bench-label">GET /api/a11oy/v1/restraint/bench</span></h2>
    <p class="desc">Ported from Ponytail's promptfoo methodology (MIT): the same five everyday tasks, two arms, median reported. <b>Numbers are SAMPLE/ROADMAP on this Space</b> (no model run wired here) and flip to <b>MEASURED</b> only when a model run is supplied. We measure our own; we never reprint Ponytail's numbers as ours.</p>
    <table id="bench"><thead><tr><th>Task</th><th>Rung</th><th>Baseline LOC</th><th>Restraint LOC</th><th>LOC &minus;%</th><th>Cost-proxy &minus;%</th><th>Latency &minus;%</th><th>Label</th></tr></thead><tbody><tr><td colspan="8" style="text-align:center;color:var(--dim)">Run benchmark to populate.</td></tr></tbody></table>
    <div class="kv" id="bench-agg" style="margin-top:.7rem"></div>
  </div>

  <div class="foot" id="foot">
    <div>a11oy Restraint &middot; Doctrine v11 (locked=8 @ c7c0ba17) &middot; &Lambda; = Conjecture 1 (OPEN, advisory floor &lt; 1.0) &middot; SLSA L1 honest, L2/L3 roadmap &middot; 0 runtime CDN &middot; signed receipts.</div>
    <div>Adopted + governed from <a href="https://github.com/DietrichGebert/ponytail" target="_blank" rel="noopener">Ponytail</a> (MIT, &copy; 2026 DietrichGebert). Endpoints: <code>/api/a11oy/v1/restraint/{evaluate,bench,info}</code>.</div>
  </div>
</div>

<script src="/static/shared/szl_label_engine.js"></script>
<script src="/static/shared/szl_receipt_cosign.js"></script>
<script>
"use strict";
var INTENSITY = "full";
function $(s){return document.querySelector(s);}
function el(t,c,h){var e=document.createElement(t);if(c)e.className=c;if(h!=null)e.innerHTML=h;return e;}
function pill(key){ try{ if(window.SZLLabels&&window.SZLLabels.badgeHTML){return window.SZLLabels.badgeHTML(key);} }catch(e){} return '<span class="szl-pill pill">'+key+'</span>'; }
async function getJSON(u,opt){try{var r=await fetch(u,opt);if(!r.ok)return null;return await r.json();}catch(e){return null;}}
function esc(s){return String(s==null?'':s).replace(/[&<>]/g,function(m){return {'&':'&amp;','<':'&lt;','>':'&gt;'}[m];});}

// honest badges via window.SZLLabels
$('#b-heuristic').innerHTML = pill('HEURISTIC');
$('#bench-label').innerHTML = 'GET /api/a11oy/v1/restraint/bench &nbsp;' + pill('ROADMAP');
$('#energy-label').innerHTML = pill('MODELED');

var CHIPS = ["add a cache for these API responses","validate an email address","add a date picker",
  "build a generic pluggable plugin framework for later","sort this list of names",
  "add rate limiting to my FastAPI endpoint","add debounce to a search input in vanilla JS"];
(function(){var c=$('#chips');CHIPS.forEach(function(t){var b=el('span','chip',esc(t));b.onclick=function(){$('#task').value=t;run();};c.appendChild(b);});})();

document.querySelectorAll('#seg button').forEach(function(b){
  b.onclick=function(){document.querySelectorAll('#seg button').forEach(function(x){x.classList.remove('on');});b.classList.add('on');INTENSITY=b.getAttribute('data-i');run();};
});

function renderLadder(trail, stopped){
  var L=$('#ladder');L.innerHTML='';
  (trail||[]).forEach(function(r){
    var held=r.rung===stopped;
    var row=el('div','rung'+(held?' held':''));
    row.innerHTML='<span class="n">'+r.rung+'</span><span class="nm">'+esc(r.name)+'</span>'+
      '<span class="tag">'+(held?'STOPPED HERE':(r.held?'holds':'skip'))+'</span>';
    L.appendChild(row);
  });
}

async function run(){
  var task=$('#task').value.trim(); if(!task)return;
  $('#dec-summary').innerHTML='<span class="spin"></span> running ladder…';
  $('#dec-label').innerHTML='';
  var d=await getJSON('/api/a11oy/v1/restraint/evaluate',{method:'POST',headers:{'content-type':'application/json'},body:JSON.stringify({task:task,intensity:INTENSITY,lang:'py'})});
  if(!d){$('#dec-summary').textContent='endpoint unavailable (is the Space running?)';return;}
  $('#dec-label').innerHTML=pill(d.label||'HEURISTIC');
  $('#dec-summary').innerHTML='Stopped at rung <b style="color:var(--teal)">'+d.stopped_at_rung+' — '+esc(d.rung_key)+'</b>. '+esc(d.answer);
  renderLadder(d.ladder_trail,d.stopped_at_rung);
  var ce=$('#ceil');ce.style.display='block';ce.textContent=d.restraint_comment;
  var lam=(d.lambda_score&&d.lambda_score.lambda)||0;
  var saved=d.lines_saved_estimate||{};
  $('#dec-kv').innerHTML=
    '<div><span class="k">Λ (Conjecture 1, &lt;1.0)</span><span class="v">'+lam.toFixed(3)+(lam<1?' ✓ below floor':'')+'</span></div>'+
    '<div><span class="k">lines saved (modeled)</span><span class="v">≈'+(saved.lines_saved_modeled||0)+' LOC ('+Math.round((saved.reduction_fraction||0)*100)+'%)</span> '+pill(saved.label||'MODELED')+'</div>'+
    '<div><span class="k">never simplify away</span><span class="v">'+esc((d.never_simplify||[]).join(', '))+'</span></div>'+
    '<div><span class="k">intensity</span><span class="v">'+esc(d.intensity)+'</span></div>';

  // receipt panel
  var rc=d.signed_receipt;var rk=$('#receipt-kv');
  if(rc){
    var signed=rc.signed===true;
    rk.innerHTML='<div><span class="k">signed</span><span class="v">'+(signed?pill('LIVE')+' yes':'<span class="pill yellow">UNSIGNED</span> '+esc(rc.honesty||''))+'</span></div>'+
      '<div><span class="k">payloadType</span><span class="v">'+esc(rc.payloadType||'—')+'</span></div>'+
      '<div><span class="k">PAE sha256</span><span class="v">'+esc((rc._pae_sha256||'').slice(0,32))+'…</span></div>'+
      '<div><span class="k">keyid</span><span class="v">'+esc((rc.signatures&&rc.signatures[0]&&rc.signatures[0].keyid)||'—')+'</span></div>'+
      '<div><span class="k">verify</span><span class="v">against <code>/cosign.pub</code> in-browser</span></div>';
    if(rc.signatures&&rc.signatures.length&&window.SZLReceipts&&window.SZLReceipts.verifyEnvelope){
      try{var v=await window.SZLReceipts.verifyEnvelope(rc,{});if(v){rk.insertAdjacentHTML('beforeend','<div><span class="k">browser verify</span><span class="v">'+(v.valid?'✓ valid':'✗ '+esc(v.reason||''))+'</span></div>');}}catch(e){}
    }
  } else { rk.innerHTML='<span class="k">status</span> <span class="v">no signer wired</span>'; }

  // energy panel
  var en=d.energy_tiein||{};
  $('#energy-kv').innerHTML=
    '<div><span class="k">tokens saved (modeled)</span><span class="v">≈'+(en.tokens_saved_modeled||0)+'</span></div>'+
    '<div><span class="k">joules saved (modeled)</span><span class="v">≈'+(en.joules_saved_modeled||0)+' J</span> '+pill('MODELED')+'</div>'+
    '<div><span class="k">J / output token</span><span class="v">'+(en.j_per_output_token_modeled||0)+' (modeled)</span></div>'+
    '<div><span class="k">joules meter label</span><span class="v">'+pill(((en.joules_label||'sample')).toUpperCase())+'</span></div>'+
    '<div><span class="k">thesis</span><span class="v">'+esc(en.thesis||'')+'</span></div>';
}

async function runbench(){
  var tb=$('#bench').querySelector('tbody');
  tb.innerHTML='<tr><td colspan="8" style="text-align:center;color:var(--dim)"><span class="spin"></span> running…</td></tr>';
  var b=await getJSON('/api/a11oy/v1/restraint/bench?intensity='+INTENSITY);
  if(!b){tb.innerHTML='<tr><td colspan="8">endpoint unavailable</td></tr>';return;}
  $('#bench-label').innerHTML='GET /api/a11oy/v1/restraint/bench &nbsp;'+pill(b.overall_label||'ROADMAP');
  tb.innerHTML='';
  (b.rows||[]).forEach(function(r){
    var tr=el('tr');
    tr.innerHTML='<td title="'+esc(r.task)+'">'+esc(r.task.slice(0,42))+(r.task.length>42?'…':'')+'</td>'+
      '<td>'+r.stopped_at_rung+'</td>'+
      '<td>'+r.baseline.loc+'</td><td class="hi">'+r.a11oy_restraint.loc+'</td>'+
      '<td class="hi">'+r.loc_reduction_pct+'%</td>'+
      '<td>'+r.cost_proxy_reduction_pct+'%</td>'+
      '<td>'+r.latency_reduction_pct+'%</td>'+
      '<td>'+pill(r.label)+'</td>';
    tb.appendChild(tr);
  });
  var a=b.aggregate||{};var pp=b.ponytail_published||{};
  $('#bench-agg').innerHTML=
    '<div><span class="k">median LOC reduction</span><span class="v">'+a.median_loc_reduction_pct+'% '+pill(b.overall_label)+'</span></div>'+
    '<div><span class="k">median cost-proxy reduction</span><span class="v">'+a.median_cost_proxy_reduction_pct+'%</span></div>'+
    '<div><span class="k">median latency reduction</span><span class="v">'+a.median_latency_reduction_pct+'%</span></div>'+
    '<div><span class="k">Ponytail (cited, not ours)</span><span class="v">'+esc(pp.code_reduction||'')+' · '+esc(pp.cost_reduction||'')+' · '+esc(pp.speed||'')+' '+pill('CITED')+'</span></div>'+
    '<div style="color:var(--dim);font-size:11px;margin-top:.4rem">'+esc(b.honesty||'')+'</div>';
}

$('#run').onclick=run;
$('#runbench').onclick=runbench;
// info → signer label
(async function(){var i=await getJSON('/api/a11oy/v1/restraint/info');if(i&&i.doctrine){$('#b-doctrine').textContent='Doctrine '+i.doctrine.version;$('#c-signer').textContent='in-image ECDSA-P256';}})();
run();
</script>
</body>
</html>