@fraczak/k 6.3.1 → 6.3.2

package/benchmark-results.html

@@ -0,0 +1,532 @@
+<!doctype html>
+<html lang="en">
+<head>
+  <meta charset="utf-8">
+  <meta name="viewport" content="width=device-width, initial-scale=1">
+  <title>k Benchmark Results</title>
+  <style>
+    :root {
+      color-scheme: light;
+      --ink: #17212f;
+      --muted: #627083;
+      --line: #d9e0ea;
+      --paper: #f5f7fa;
+      --panel: #fff;
+      --accent: #1d5fd1;
+      --soft: #eef3fb;
+      --bad: #b42318;
+    }
+    * { box-sizing: border-box; }
+    body {
+      margin: 0;
+      font-family: ui-sans-serif, system-ui, -apple-system, BlinkMacSystemFont, "Segoe UI", sans-serif;
+      color: var(--ink);
+      background: var(--paper);
+    }
+    header {
+      padding: 28px 32px 20px;
+      background: var(--panel);
+      border-bottom: 1px solid var(--line);
+    }
+    h1 { margin: 0 0 10px; font-size: 30px; letter-spacing: 0; }
+    .meta {
+      display: flex;
+      flex-wrap: wrap;
+      gap: 14px;
+      color: var(--muted);
+      font-size: 14px;
+    }
+    main {
+      max-width: 1320px;
+      margin: 0 auto;
+      padding: 24px 32px 40px;
+    }
+    .summary {
+      display: grid;
+      grid-template-columns: repeat(4, minmax(0, 1fr));
+      gap: 12px;
+      margin-bottom: 18px;
+    }
+    .metric, .panel {
+      background: var(--panel);
+      border: 1px solid var(--line);
+      border-radius: 8px;
+    }
+    .metric { padding: 14px 16px; }
+    .metric .label { color: var(--muted); font-size: 13px; }
+    .metric .value { margin-top: 5px; font-size: 22px; font-weight: 700; }
+    .panel { overflow: auto; }
+    table {
+      width: 100%;
+      border-collapse: collapse;
+    }
+    th, td {
+      border-bottom: 1px solid var(--line);
+      padding: 12px;
+      text-align: left;
+      vertical-align: top;
+      font-size: 13px;
+    }
+    thead th {
+      background: #fafbfd;
+      color: var(--muted);
+      font-weight: 700;
+    }
+    .matrix {
+      min-width: 980px;
+    }
+    .matrix .group {
+      text-align: center;
+      color: var(--ink);
+      font-size: 15px;
+      background: var(--soft);
+    }
+    .matrix .group span {
+      display: block;
+      color: var(--muted);
+      font-size: 12px;
+      font-weight: 500;
+      margin-top: 2px;
+    }
+    .row-head {
+      width: 230px;
+      color: var(--ink);
+      font-weight: 800;
+      background: #fbfcfe;
+    }
+    .time {
+      font-weight: 800;
+      font-variant-numeric: tabular-nums;
+      white-space: nowrap;
+    }
+    .time span {
+      color: var(--muted);
+      font-weight: 600;
+      margin-left: 4px;
+    }
+    .sub {
+      margin-top: 3px;
+      color: var(--muted);
+      font-size: 12px;
+      white-space: nowrap;
+    }
+    .mini {
+      display: grid;
+      grid-template-columns: 42px 1fr;
+      gap: 8px;
+      padding: 5px 0;
+      border-bottom: 1px solid #edf1f6;
+    }
+    .mini:last-child { border-bottom: 0; }
+    .mini-label {
+      color: var(--muted);
+      font-weight: 800;
+      font-variant-numeric: tabular-nums;
+    }
+    .muted { color: var(--muted); }
+    .bad { color: var(--bad); font-weight: 800; }
+    h2 { margin: 24px 0 10px; font-size: 18px; }
+    .details { margin-top: 16px; }
+    .details table { min-width: 920px; }
+    .num { text-align: right; font-variant-numeric: tabular-nums; }
+    .hash { font-family: ui-monospace, SFMono-Regular, Menlo, Consolas, monospace; color: var(--muted); }
+    @media (max-width: 900px) {
+      header, main { padding-left: 16px; padding-right: 16px; }
+      .summary { grid-template-columns: 1fr; }
+    }
+  </style>
+</head>
+<body>
+  <header>
+    <h1>k Benchmark Results</h1>
+    <div class="meta">
+      <span>Generated: 6/7/2026, 10:35:31 PM</span>
+      <span>Node: v22.22.2</span>
+      <span>Platform: linux arm64</span>
+      <span>CPUs: 8</span>
+      <span>Samples/job: 3</span>
+    </div>
+  </header>
+  <main>
+    <section class="summary">
+      <div class="metric"><div class="label">Completed Jobs</div><div class="value">23/27</div></div>
+      <div class="metric"><div class="label">Timeout</div><div class="value">10.0 min</div></div>
+      <div class="metric"><div class="label">Parallel Jobs</div><div class="value">8</div></div>
+      <div class="metric"><div class="label">Result Rows</div><div class="value">27</div></div>
+    </section>
+    <section class="panel">
+      
+    <table class="matrix">
+      <thead>
+        <tr><th></th><th colspan="4" class="group">ieee <span>Examples/ieee.k</span></th><th colspan="3" class="group">int <span>Examples/arithmetics.k</span></th></tr>
+        <tr><th>implementation</th><th>add</th><th>div</th><th>mul</th><th>sub</th><th>factorial</th><th>gcd</th><th>times</th></tr>
+      </thead>
+      <tbody><tr><th class="row-head">Native JS (Envelope-Aware)</th><td>
+    <div class="time">149.71 ms <span>16.60x</span></div>
+    <div class="sub">rss 255.0 MiB</div></td><td>
+    <div class="time">2340.00 ms <span>29.87x</span></div>
+    <div class="sub">rss 273.6 MiB</div></td><td>
+    <div class="time">2172.00 ms <span>32.18x</span></div>
+    <div class="sub">rss 269.7 MiB</div></td><td>
+    <div class="time">373.87 ms <span>16.67x</span></div>
+    <div class="sub">rss 251.3 MiB</div></td><td>
+      <div class="mini">
+        <span class="mini-label">101</span>
+        <div>
+    <div class="time">4004.14 ms <span>17.74x</span></div>
+    <div class="sub">rss 186.6 MiB</div></div>
+      </div>
+      <div class="mini">
+        <span class="mini-label">242</span>
+        <div>
+    <div class="time">31270.73 ms <span>14.51x</span></div>
+    <div class="sub">rss 189.8 MiB</div></div>
+      </div>
+      <div class="mini">
+        <span class="mini-label">1174</span>
+        <div><span class="bad">failed</span></div>
+      </div></td><td>
+    <div class="time">8413.21 ms <span>18.45x</span></div>
+    <div class="sub">rss 183.2 MiB</div></td><td>
+    <div class="time">16544.80 ms <span>14.15x</span></div>
+    <div class="sub">rss 173.6 MiB</div></td></tr><tr><th class="row-head">Native JS (Envelope-Free)</th><td>
+    <div class="time">9.02 ms <span>1.00x</span></div>
+    <div class="sub">rss 248.5 MiB</div></td><td>
+    <div class="time">78.33 ms <span>1.00x</span></div>
+    <div class="sub">rss 258.8 MiB</div></td><td>
+    <div class="time">67.49 ms <span>1.00x</span></div>
+    <div class="sub">rss 257.3 MiB</div></td><td>
+    <div class="time">22.42 ms <span>1.00x</span></div>
+    <div class="sub">rss 252.1 MiB</div></td><td>
+      <div class="mini">
+        <span class="mini-label">101</span>
+        <div>
+    <div class="time">225.68 ms <span>1.00x</span></div>
+    <div class="sub">rss 135.7 MiB</div></div>
+      </div>
+      <div class="mini">
+        <span class="mini-label">242</span>
+        <div>
+    <div class="time">2154.83 ms <span>1.00x</span></div>
+    <div class="sub">rss 175.0 MiB</div></div>
+      </div>
+      <div class="mini">
+        <span class="mini-label">1174</span>
+        <div><span class="bad">failed</span></div>
+      </div></td><td>
+    <div class="time">455.99 ms <span>1.00x</span></div>
+    <div class="sub">rss 144.8 MiB</div></td><td>
+    <div class="time">1169.56 ms <span>1.00x</span></div>
+    <div class="sub">rss 175.2 MiB</div></td></tr><tr><th class="row-head">kVM Interpreter (Env-Free)</th><td>
+    <div class="time">171.46 ms <span>19.02x</span></div>
+    <div class="sub">rss 266.2 MiB</div></td><td>
+    <div class="time">637.21 ms <span>8.14x</span></div>
+    <div class="sub">rss 228.9 MiB</div></td><td>
+    <div class="time">565.73 ms <span>8.38x</span></div>
+    <div class="sub">rss 329.4 MiB</div></td><td>
+    <div class="time">204.74 ms <span>9.13x</span></div>
+    <div class="sub">rss 271.4 MiB</div></td><td>
+      <div class="mini">
+        <span class="mini-label">101</span>
+        <div>
+    <div class="time">1024.21 ms <span>4.54x</span></div>
+    <div class="sub">rss 143.7 MiB</div></div>
+      </div>
+      <div class="mini">
+        <span class="mini-label">242</span>
+        <div>
+    <div class="time">8699.99 ms <span>4.04x</span></div>
+    <div class="sub">rss 193.7 MiB</div></div>
+      </div>
+      <div class="mini">
+        <span class="mini-label">1174</span>
+        <div><span class="bad">failed</span></div>
+      </div></td><td>
+    <div class="time">1559.48 ms <span>3.42x</span></div>
+    <div class="sub">rss 148.7 MiB</div></td><td><span class="bad">failed</span></td></tr></tbody>
+    </table>
+    </section>
+    <section class="details">
+      <h2>Raw Result Rows</h2>
+      <div class="panel">
+        <table>
+          <thead>
+            <tr><th>Case</th><th>Mode</th><th>Status</th><th>Avg</th><th>Min</th><th>Max</th><th>Max RSS</th><th>Digest</th></tr>
+          </thead>
+          <tbody>
+      <tr>
+        <td>ieee.add</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>ok</td>
+        <td class="num">171.46 ms</td>
+        <td class="num">10.65 ms</td>
+        <td class="num">483.83 ms</td>
+        <td class="num">266.2 MiB</td>
+        <td class="hash">d7b0ed6ef57dd554</td>
+      </tr>
+      <tr>
+        <td>ieee.add</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>ok</td>
+        <td class="num">149.71 ms</td>
+        <td class="num">83.64 ms</td>
+        <td class="num">257.07 ms</td>
+        <td class="num">255.0 MiB</td>
+        <td class="hash">d7b0ed6ef57dd554</td>
+      </tr>
+      <tr>
+        <td>ieee.add</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>ok</td>
+        <td class="num">9.02 ms</td>
+        <td class="num">2.39 ms</td>
+        <td class="num">21.22 ms</td>
+        <td class="num">248.5 MiB</td>
+        <td class="hash">d7b0ed6ef57dd554</td>
+      </tr>
+      <tr>
+        <td>ieee.div</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>ok</td>
+        <td class="num">637.21 ms</td>
+        <td class="num">228.78 ms</td>
+        <td class="num">1435.69 ms</td>
+        <td class="num">228.9 MiB</td>
+        <td class="hash">238b6430f024764d</td>
+      </tr>
+      <tr>
+        <td>ieee.div</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>ok</td>
+        <td class="num">2340.00 ms</td>
+        <td class="num">2216.36 ms</td>
+        <td class="num">2417.38 ms</td>
+        <td class="num">273.6 MiB</td>
+        <td class="hash">238b6430f024764d</td>
+      </tr>
+      <tr>
+        <td>ieee.div</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>ok</td>
+        <td class="num">78.33 ms</td>
+        <td class="num">58.70 ms</td>
+        <td class="num">112.71 ms</td>
+        <td class="num">258.8 MiB</td>
+        <td class="hash">238b6430f024764d</td>
+      </tr>
+      <tr>
+        <td>ieee.mul</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>ok</td>
+        <td class="num">565.73 ms</td>
+        <td class="num">160.91 ms</td>
+        <td class="num">1358.92 ms</td>
+        <td class="num">329.4 MiB</td>
+        <td class="hash">4c83c565baa5bb08</td>
+      </tr>
+      <tr>
+        <td>ieee.mul</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>ok</td>
+        <td class="num">2172.00 ms</td>
+        <td class="num">2004.32 ms</td>
+        <td class="num">2494.99 ms</td>
+        <td class="num">269.7 MiB</td>
+        <td class="hash">4c83c565baa5bb08</td>
+      </tr>
+      <tr>
+        <td>ieee.mul</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>ok</td>
+        <td class="num">67.49 ms</td>
+        <td class="num">54.30 ms</td>
+        <td class="num">92.29 ms</td>
+        <td class="num">257.3 MiB</td>
+        <td class="hash">4c83c565baa5bb08</td>
+      </tr>
+      <tr>
+        <td>ieee.sub</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>ok</td>
+        <td class="num">204.74 ms</td>
+        <td class="num">23.96 ms</td>
+        <td class="num">548.78 ms</td>
+        <td class="num">271.4 MiB</td>
+        <td class="hash">5c7179ae0117965a</td>
+      </tr>
+      <tr>
+        <td>ieee.sub</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>ok</td>
+        <td class="num">373.87 ms</td>
+        <td class="num">265.97 ms</td>
+        <td class="num">571.97 ms</td>
+        <td class="num">251.3 MiB</td>
+        <td class="hash">5c7179ae0117965a</td>
+      </tr>
+      <tr>
+        <td>ieee.sub</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>ok</td>
+        <td class="num">22.42 ms</td>
+        <td class="num">10.34 ms</td>
+        <td class="num">43.38 ms</td>
+        <td class="num">252.1 MiB</td>
+        <td class="hash">5c7179ae0117965a</td>
+      </tr>
+      <tr>
+        <td>int.factorial.101</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>ok</td>
+        <td class="num">1024.21 ms</td>
+        <td class="num">935.90 ms</td>
+        <td class="num">1121.82 ms</td>
+        <td class="num">143.7 MiB</td>
+        <td class="hash">c48039eab26792fd</td>
+      </tr>
+      <tr>
+        <td>int.factorial.101</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>ok</td>
+        <td class="num">4004.14 ms</td>
+        <td class="num">3796.05 ms</td>
+        <td class="num">4299.93 ms</td>
+        <td class="num">186.6 MiB</td>
+        <td class="hash">c48039eab26792fd</td>
+      </tr>
+      <tr>
+        <td>int.factorial.101</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>ok</td>
+        <td class="num">225.68 ms</td>
+        <td class="num">218.87 ms</td>
+        <td class="num">229.72 ms</td>
+        <td class="num">135.7 MiB</td>
+        <td class="hash">c48039eab26792fd</td>
+      </tr>
+      <tr>
+        <td>int.factorial.1174</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>failed</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="hash"></td>
+      </tr>
+      <tr>
+        <td>int.factorial.1174</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>failed</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="hash"></td>
+      </tr>
+      <tr>
+        <td>int.factorial.1174</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>failed</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="hash"></td>
+      </tr>
+      <tr>
+        <td>int.factorial.242</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>ok</td>
+        <td class="num">8699.99 ms</td>
+        <td class="num">8385.83 ms</td>
+        <td class="num">9128.06 ms</td>
+        <td class="num">193.7 MiB</td>
+        <td class="hash">2d5fded69485a5de</td>
+      </tr>
+      <tr>
+        <td>int.factorial.242</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>ok</td>
+        <td class="num">31270.73 ms</td>
+        <td class="num">29278.14 ms</td>
+        <td class="num">35071.36 ms</td>
+        <td class="num">189.8 MiB</td>
+        <td class="hash">2d5fded69485a5de</td>
+      </tr>
+      <tr>
+        <td>int.factorial.242</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>ok</td>
+        <td class="num">2154.83 ms</td>
+        <td class="num">2017.98 ms</td>
+        <td class="num">2338.02 ms</td>
+        <td class="num">175.0 MiB</td>
+        <td class="hash">2d5fded69485a5de</td>
+      </tr>
+      <tr>
+        <td>int.gcd.90d</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>ok</td>
+        <td class="num">1559.48 ms</td>
+        <td class="num">1543.88 ms</td>
+        <td class="num">1582.34 ms</td>
+        <td class="num">148.7 MiB</td>
+        <td class="hash">5d1377581b4f4558</td>
+      </tr>
+      <tr>
+        <td>int.gcd.90d</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>ok</td>
+        <td class="num">8413.21 ms</td>
+        <td class="num">7840.97 ms</td>
+        <td class="num">9243.36 ms</td>
+        <td class="num">183.2 MiB</td>
+        <td class="hash">5d1377581b4f4558</td>
+      </tr>
+      <tr>
+        <td>int.gcd.90d</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>ok</td>
+        <td class="num">455.99 ms</td>
+        <td class="num">430.45 ms</td>
+        <td class="num">483.03 ms</td>
+        <td class="num">144.8 MiB</td>
+        <td class="hash">5d1377581b4f4558</td>
+      </tr>
+      <tr>
+        <td>int.times.220d</td>
+        <td>kVM Interpreter (Env-Free)</td>
+        <td>failed</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="num">n/a</td>
+        <td class="hash"></td>
+      </tr>
+      <tr>
+        <td>int.times.220d</td>
+        <td>Native JS (Envelope-Aware)</td>
+        <td>ok</td>
+        <td class="num">16544.80 ms</td>
+        <td class="num">14800.02 ms</td>
+        <td class="num">18699.35 ms</td>
+        <td class="num">173.6 MiB</td>
+        <td class="hash">fe1d1bb07a950218</td>
+      </tr>
+      <tr>
+        <td>int.times.220d</td>
+        <td>Native JS (Envelope-Free)</td>
+        <td>ok</td>
+        <td class="num">1169.56 ms</td>
+        <td class="num">1131.87 ms</td>
+        <td class="num">1196.75 ms</td>
+        <td class="num">175.2 MiB</td>
+        <td class="hash">fe1d1bb07a950218</td>
+      </tr></tbody>
+        </table>
+      </div>
+    </section>
+  </main>
+</body>
+</html>