Spaces:

VertRule-Org
/

research

Running

App Files Files Community

VertRule commited on Apr 13

Commit

49be56e

verified ·

1 Parent(s): 1c9a897

Initial publish: 4 research PDFs + Kimi explorer (manifest-driven)

Browse files

Files changed (11) hide show

.gitattributes +2 -35
README.md +34 -4
index.html +172 -17
kimi/explorer.html +213 -0
kimi/ledger_multi_5tok.json +0 -0
manifest.json +60 -0
pdfs/gemma4-local-topology-capture.pdf +0 -0
pdfs/grok1-nas-bounded-topology.pdf +0 -0
pdfs/kimi-output-formation-ledger.pdf +0 -0
pdfs/nemotron-local-hybrid-topology.pdf +0 -0
style.css +212 -18

.gitattributes CHANGED Viewed

@@ -1,35 +1,2 @@
-*.7z filter=lfs diff=lfs merge=lfs -text
-*.arrow filter=lfs diff=lfs merge=lfs -text
-*.bin filter=lfs diff=lfs merge=lfs -text
-*.bz2 filter=lfs diff=lfs merge=lfs -text
-*.ckpt filter=lfs diff=lfs merge=lfs -text
-*.ftz filter=lfs diff=lfs merge=lfs -text
-*.gz filter=lfs diff=lfs merge=lfs -text
-*.h5 filter=lfs diff=lfs merge=lfs -text
-*.joblib filter=lfs diff=lfs merge=lfs -text
-*.lfs.* filter=lfs diff=lfs merge=lfs -text
-*.mlmodel filter=lfs diff=lfs merge=lfs -text
-*.model filter=lfs diff=lfs merge=lfs -text
-*.msgpack filter=lfs diff=lfs merge=lfs -text
-*.npy filter=lfs diff=lfs merge=lfs -text
-*.npz filter=lfs diff=lfs merge=lfs -text
-*.onnx filter=lfs diff=lfs merge=lfs -text
-*.ot filter=lfs diff=lfs merge=lfs -text
-*.parquet filter=lfs diff=lfs merge=lfs -text
-*.pb filter=lfs diff=lfs merge=lfs -text
-*.pickle filter=lfs diff=lfs merge=lfs -text
-*.pkl filter=lfs diff=lfs merge=lfs -text
-*.pt filter=lfs diff=lfs merge=lfs -text
-*.pth filter=lfs diff=lfs merge=lfs -text
-*.rar filter=lfs diff=lfs merge=lfs -text
-*.safetensors filter=lfs diff=lfs merge=lfs -text
-saved_model/**/* filter=lfs diff=lfs merge=lfs -text
-*.tar.* filter=lfs diff=lfs merge=lfs -text
-*.tar filter=lfs diff=lfs merge=lfs -text
-*.tflite filter=lfs diff=lfs merge=lfs -text
-*.tgz filter=lfs diff=lfs merge=lfs -text
-*.wasm filter=lfs diff=lfs merge=lfs -text
-*.xz filter=lfs diff=lfs merge=lfs -text
-*.zip filter=lfs diff=lfs merge=lfs -text
-*.zst filter=lfs diff=lfs merge=lfs -text
-*tfevents* filter=lfs diff=lfs merge=lfs -text


1	+ * text=auto eol=lf
2	+ *.pdf binary

README.md CHANGED Viewed

@@ -1,10 +1,40 @@
 ---
-title: Research
-emoji: 👀
-colorFrom: purple
 colorTo: green
 sdk: static
 pinned: false
 ---
-Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference

 ---
+title: VertRule Research
+emoji: 🧾
+colorFrom: gray
 colorTo: green
 sdk: static
 pinned: false
+short_description: Local execution + bounded topology artifacts
 ---
+# VertRule Research
+**Reasoning. With Receipts.**
+Public-safe research artifacts mirrored from
+[vertrule.com/research](https://vertrule.com/research). Each entry records
+what was measured, what was verified, and what remains outside scope.
+## What this Space is
+- A static mirror of admitted research surfaces published on vertrule.com
+- Each PDF is a frozen artifact with a BLAKE3 digest in `manifest.json`
+- The Kimi K2.5 entry includes an interactive output-formation explorer
+## What this Space is not
+- Not a model release
+- Not a production security guarantee
+- Not a complete index of internal work — only material cleared for public
+  distribution is included
+## Contents
+See [`index.html`](./index.html) for the explorer surface, or
+[`manifest.json`](./manifest.json) for the machine-readable artifact list.
+## Links
+- [Website](https://vertrule.com)
+- [Org landing Space](https://huggingface.co/spaces/VertRule-Org/README)

index.html CHANGED Viewed

@@ -1,19 +1,174 @@
 <!doctype html>
-<html>
-	<head>
-		<meta charset="utf-8" />
-		<meta name="viewport" content="width=device-width" />
-		<title>My static Space</title>
-		<link rel="stylesheet" href="style.css" />
-	</head>
-	<body>
-		<div class="card">
-			<h1>Welcome to your static Space!</h1>
-			<p>You can modify this app directly by editing <i>index.html</i> in the Files and versions tab.</p>
-			<p>
-				Also don't forget to check the
-				<a href="https://huggingface.co/docs/hub/spaces" target="_blank">Spaces documentation</a>.
-			</p>
-		</div>
-	</body>
 </html>

 <!doctype html>
+<html lang="en">
+  <head>
+    <meta charset="utf-8" />
+    <meta name="viewport" content="width=device-width, initial-scale=1" />
+    <title>VertRule Research</title>
+    <meta
+      name="description"
+      content="Public-safe research artifacts: local execution and bounded topology captures with cryptographic receipts."
+    />
+    <link rel="stylesheet" href="./style.css" />
+  </head>
+  <body>
+    <header class="hero">
+      <div class="container">
+        <h1 class="hero-title">
+          <span class="bar" aria-hidden="true"></span>
+          <span>VertRule Research</span>
+        </h1>
+        <p class="hero-subtitle">
+          Admitted execution surfaces and canonical topology artifacts. Each
+          document records what was measured, what was verified, and what
+          remains outside scope. Mirrored from
+          <a href="https://vertrule.com/research" rel="noopener">
+            vertrule.com/research</a
+          >.
+        </p>
+      </div>
+    </header>
+    <section class="section section-charcoal">
+      <div class="container">
+        <p class="eyebrow">Technical Notes</p>
+        <div id="card-list" class="card-list">
+          <div class="empty">Loading manifest&hellip;</div>
+        </div>
+      </div>
+    </section>
+    <footer class="footer">
+      <div class="container">
+        <p>
+          Source of truth:
+          <a href="./manifest.json" class="mono">manifest.json</a>
+          &middot; Built from
+          <a href="https://vertrule.com" rel="noopener">vertrule.com</a>
+          &middot; Digests are BLAKE3
+        </p>
+      </div>
+    </footer>
+    <script>
+      (function () {
+        var listEl = document.getElementById("card-list");
+        function escapeHtml(s) {
+          return String(s).replace(/[&<>"']/g, function (c) {
+            return {
+              "&": "&amp;",
+              "<": "&lt;",
+              ">": "&gt;",
+              '"': "&quot;",
+              "'": "&#39;",
+            }[c];
+          });
+        }
+        function shortDigest(d) {
+          if (!d) return "";
+          return d.slice(0, 12) + "&hellip;";
+        }
+        function renderCard(item) {
+          var pdfHref = "./" + item.pdf;
+          var pdfBadge =
+            '<span class="badge badge-pdf">PDF</span>';
+          var explorerLink = item.explorer
+            ? ' &middot; <a href="./' +
+              escapeHtml(item.explorer) +
+              '">Explorer</a>'
+            : "";
+          var dataLink = item.data
+            ? ' &middot; <a href="./' +
+              escapeHtml(item.data) +
+              '">Data</a>'
+            : "";
+          var statusClass =
+            item.status === "experimental"
+              ? "badge-experimental"
+              : "badge-public";
+          return (
+            '<a class="card" href="' +
+            pdfHref +
+            '">' +
+            '<div class="card-head">' +
+            "<div>" +
+            '<h2 class="card-title">' +
+            escapeHtml(item.title) +
+            "</h2>" +
+            '<p class="card-subtitle">' +
+            escapeHtml(item.subtitle || "") +
+            "</p>" +
+            "</div>" +
+            '<div style="display:flex;gap:8px;flex-shrink:0;">' +
+            '<span class="badge ' +
+            statusClass +
+            '">' +
+            escapeHtml(item.status) +
+            "</span>" +
+            pdfBadge +
+            "</div>" +
+            "</div>" +
+            '<p class="card-desc">' +
+            escapeHtml(item.description) +
+            "</p>" +
+            '<div class="card-meta">' +
+            '<a href="' +
+            pdfHref +
+            '">PDF</a>' +
+            explorerLink +
+            dataLink +
+            ' &middot; <span class="digest" title="' +
+            escapeHtml(item.pdf_blake3 || "") +
+            '">blake3:' +
+            shortDigest(item.pdf_blake3) +
+            "</span>" +
+            "</div>" +
+            "</a>"
+          );
+        }
+        function render(items) {
+          var publishable = items.filter(function (i) {
+            return i.publish === true;
+          });
+          publishable.sort(function (a, b) {
+            return (a.order || 0) - (b.order || 0);
+          });
+          if (publishable.length === 0) {
+            listEl.innerHTML =
+              '<div class="empty">No public artifacts available.</div>';
+            return;
+          }
+          listEl.innerHTML = publishable.map(renderCard).join("");
+        }
+        function fail(msg) {
+          listEl.innerHTML =
+            '<div class="empty">Failed to load manifest: ' +
+            escapeHtml(msg) +
+            "</div>";
+        }
+        fetch("./manifest.json", { cache: "no-store" })
+          .then(function (r) {
+            if (!r.ok) throw new Error("HTTP " + r.status);
+            return r.json();
+          })
+          .then(function (m) {
+            if (!m || !Array.isArray(m.items)) {
+              throw new Error("manifest missing items array");
+            }
+            render(m.items);
+          })
+          .catch(function (e) {
+            fail(e.message || String(e));
+          });
+      })();
+    </script>
+  </body>
 </html>

kimi/explorer.html ADDED Viewed

	@@ -0,0 +1,213 @@

+<!DOCTYPE html>
+<html lang="en">
+<head>
+<meta charset="utf-8">
+<meta name="viewport" content="width=device-width, initial-scale=1">
+<title>Kimi K2.5 Output Formation Ledger Explorer</title>
+<style>
+  :root {
+    --bg: #0d1117; --surface: #161b22; --border: #30363d;
+    --text: #c9d1d9; --text-dim: #8b949e; --accent: #58a6ff;
+    --green: #3fb950; --orange: #d29922; --red: #f85149;
+    --measured: #3fb950; --derived: #58a6ff;
+    --mono: 'SF Mono','Cascadia Code','Fira Code',monospace;
+  }
+  * { margin:0; padding:0; box-sizing:border-box; }
+  body { font-family:var(--mono); font-size:13px; background:var(--bg); color:var(--text); line-height:1.5; }
+  .header { border-bottom:1px solid var(--border); padding:16px 24px; }
+  .header h1 { font-size:16px; font-weight:600; margin-bottom:4px; }
+  .header .meta { color:var(--text-dim); font-size:11px; }
+  .signpost-bar { background:var(--surface); border-bottom:1px solid var(--border); padding:8px 24px; font-size:11px; color:var(--text-dim); display:flex; gap:16px; flex-wrap:wrap; }
+  .signpost-bar .tag { display:inline-flex; align-items:center; gap:4px; }
+  .dot { width:8px; height:8px; border-radius:50%; display:inline-block; }
+  .dot-m { background:var(--measured); } .dot-d { background:var(--derived); }
+  .main { display:grid; grid-template-columns:280px 1fr; height:calc(100vh - 110px); }
+  .sidebar { border-right:1px solid var(--border); overflow-y:auto; padding:16px; }
+  .sidebar h2 { font-size:11px; text-transform:uppercase; letter-spacing:.05em; color:var(--text-dim); margin-bottom:12px; margin-top:16px; }
+  .sidebar h2:first-child { margin-top:0; }
+  .token-timeline { display:flex; flex-direction:column; gap:4px; margin-bottom:12px; }
+  .token-step { display:flex; justify-content:space-between; align-items:center; padding:6px 8px; border:1px solid var(--border); border-radius:4px; cursor:pointer; font-size:11px; }
+  .token-step:hover { background:var(--surface); }
+  .token-step.selected { background:#1c2333; border-color:var(--accent); }
+  .token-step .tok-id { color:var(--accent); font-weight:600; }
+  .token-step .tok-logit { color:var(--text-dim); }
+  .summary-box { background:var(--surface); border:1px solid var(--border); border-radius:6px; padding:12px; margin-bottom:16px; }
+  .summary-box .row { display:flex; justify-content:space-between; margin-bottom:4px; font-size:11px; }
+  .summary-box .label { color:var(--text-dim); }
+  .summary-box .value { color:var(--text); font-weight:600; }
+  .provenance-legend .item { display:flex; align-items:center; gap:6px; margin-bottom:4px; font-size:11px; }
+  .content { overflow-y:auto; padding:16px 24px; }
+  .content h2 { font-size:13px; text-transform:uppercase; letter-spacing:.05em; color:var(--text-dim); margin-bottom:12px; margin-top:24px; }
+  .content h2:first-child { margin-top:0; }
+  .norm-chart { display:flex; align-items:flex-end; gap:2px; height:120px; padding:8px 0; border-bottom:1px solid var(--border); margin-bottom:8px; }
+  .norm-bar { flex:1; background:var(--accent); min-width:2px; border-radius:1px 1px 0 0; cursor:pointer; transition:opacity .15s; }
+  .norm-bar:hover { opacity:.8; } .norm-bar.selected { background:var(--green); } .norm-bar.dense { background:var(--orange); }
+  .norm-labels { display:flex; justify-content:space-between; font-size:10px; color:var(--text-dim); margin-bottom:16px; }
+  .layer-table { width:100%; border-collapse:collapse; font-size:11px; }
+  .layer-table th { text-align:left; padding:6px 8px; border-bottom:2px solid var(--border); color:var(--text-dim); font-weight:500; position:sticky; top:0; background:var(--bg); }
+  .layer-table td { padding:4px 8px; border-bottom:1px solid var(--border); }
+  .layer-table tr:hover { background:var(--surface); } .layer-table tr.selected { background:#1c2333; }
+  .prov { width:8px; height:8px; border-radius:50%; display:inline-block; margin-right:4px; }
+  .routing-cell { max-width:200px; overflow:hidden; text-overflow:ellipsis; white-space:nowrap; font-size:10px; color:var(--text-dim); }
+  .detail-panel { background:var(--surface); border:1px solid var(--border); border-radius:6px; padding:16px; margin-top:16px; }
+  .detail-panel h3 { font-size:12px; margin-bottom:8px; color:var(--accent); }
+  .detail-row { display:flex; justify-content:space-between; padding:2px 0; font-size:11px; }
+  .detail-row .label { color:var(--text-dim); } .detail-row .value { color:var(--text); }
+  .routing-detail { display:grid; grid-template-columns:repeat(4,1fr); gap:4px; margin-top:8px; }
+  .expert-chip { background:var(--bg); border:1px solid var(--border); border-radius:4px; padding:4px 6px; font-size:10px; text-align:center; }
+  .expert-chip .id { color:var(--accent); font-weight:600; } .expert-chip .wt { color:var(--text-dim); }
+  .byte-footer { border-top:1px solid var(--border); padding:8px 24px; font-size:11px; color:var(--text-dim); display:flex; justify-content:space-between; position:fixed; bottom:0; left:0; right:0; background:var(--surface); }
+  .error-banner { background:#2d1214; border:1px solid var(--red); color:var(--red); padding:12px 24px; text-align:center; }
+  .top-k-list .entry { display:flex; justify-content:space-between; padding:2px 0; border-bottom:1px solid var(--border); font-size:11px; }
+  .top-k-list .winner { color:var(--green); font-weight:600; }
+</style>
+</head>
+<body>
+<div id="app"><div class="error-banner" id="error" style="display:none"></div></div>
+<script>
+// Kimi K2.5 Output Formation Ledger Explorer v2
+// Multi-token timeline + per-token layer detail.
+// All displayed values carry provenance tags (M/D).
+// No interpretive content.
+const URLS = ['ledger_multi_5tok.json'];
+async function main() {
+  const app = document.getElementById('app');
+  const error = document.getElementById('error');
+  let ledger, src;
+  for (const u of URLS) {
+    try { const r = await fetch(u); if (r.ok) { ledger = await r.json(); src = u; break; } } catch(_) {}
+  }
+  if (!ledger) { error.style.display='block'; error.textContent='No ledger found. Serve with: python3 -m http.server'; return; }
+  const sp = ledger.signpost;
+  let selTok = 0, selLayer = 0;
+  function fmtB(b) { return b>=1e9?(b/1e9).toFixed(2)+' GB':b>=1e6?(b/1e6).toFixed(1)+' MB':b+' B'; }
+  function render() {
+    const tok = ledger.generated_tokens[selTok];
+    const maxNorm = Math.max(...tok.layers.map(l=>l.residual_norm_out));
+    const multi = ledger.generated_tokens.length > 1;
+    const timeline = multi ? ledger.generated_tokens.map((t,i) =>
+      `<div class="token-step ${i===selTok?'selected':''}" data-step="${i}">
+        <span>Step ${i} <span class="dot dot-m"></span></span>
+        <span class="tok-id">${t.output_token_id}</span>
+        <span class="tok-logit">${t.output_logit.toFixed(1)}</span>
+      </div>`
+    ).join('') : '';
+    const topK = tok.top_k_tokens.slice(0,10).map((t,i) =>
+      `<div class="entry${i===0?' winner':''}"><span>tok ${t[0]}</span><span>${t[1].toFixed(3)}</span></div>`
+    ).join('');
+    const bars = tok.layers.map((l,i) => {
+      const h = (l.residual_norm_out/maxNorm)*100;
+      const cls = [l.layer_kind==='dense'?'dense':'',i===selLayer?'selected':''].filter(Boolean).join(' ');
+      return `<div class="norm-bar ${cls}" style="height:${Math.max(h,1)}%" data-idx="${i}" title="L${i}: ${l.residual_norm_out.toFixed(1)}"></div>`;
+    }).join('');
+    const rows = tok.layers.map((l,i) => {
+      const experts = l.expert_indices ? l.expert_indices.join(', ') : '\u2014';
+      return `<tr class="${i===selLayer?'selected':''}" data-idx="${i}">
+        <td>${l.layer_idx}</td><td>${l.layer_kind}</td>
+        <td><span class="prov dot-m"></span>${l.residual_norm_in.toFixed(2)}</td>
+        <td><span class="prov dot-m"></span>${l.residual_norm_out.toFixed(2)}</td>
+        <td class="routing-cell"><span class="prov dot-m"></span>${experts}</td>
+        <td><span class="prov dot-m"></span>${fmtB(l.bytes_streamed)}</td>
+      </tr>`;
+    }).join('');
+    const dl = tok.layers[selLayer];
+    let detail = '';
+    if (dl) {
+      let routing = '';
+      if (dl.expert_indices && dl.routing_weights) {
+        const chips = dl.expert_indices.map((id,j) =>
+          `<div class="expert-chip"><div class="id">${id}</div><div class="wt">${(dl.routing_weights[j]*100).toFixed(1)}%</div></div>`
+        ).join('');
+        routing = `<h3>Expert Routing <span class="prov dot-m"></span> + <span class="prov dot-d"></span></h3><div class="routing-detail">${chips}</div>`;
+      }
+      detail = `<div class="detail-panel">
+        <h3>Layer ${dl.layer_idx} (${dl.layer_kind})</h3>
+        <div class="detail-row"><span class="label"><span class="prov dot-m"></span> norm_in</span><span class="value">${dl.residual_norm_in.toFixed(6)}</span></div>
+        <div class="detail-row"><span class="label"><span class="prov dot-m"></span> norm_out</span><span class="value">${dl.residual_norm_out.toFixed(6)}</span></div>
+        <div class="detail-row"><span class="label"><span class="prov dot-m"></span> bytes</span><span class="value">${fmtB(dl.bytes_streamed)}</span></div>
+        ${routing}
+      </div>`;
+    }
+    const provTags = sp.provenance.map(p => {
+      const c = p==='Measured'?'m':p==='Derived'?'d':'i';
+      return `<span class="tag"><span class="dot dot-${c}"></span>${p[0]}</span>`;
+    }).join('');
+    app.innerHTML = `
+      <div class="header">
+        <h1>Kimi K2.5 Output Formation Ledger</h1>
+        <div class="meta">${ledger.model_id} | ${ledger.schema} | ${src} | ${ledger.generated_tokens.length} token${ledger.generated_tokens.length>1?'s':''}</div>
+      </div>
+      <div class="signpost-bar">
+        ${provTags}
+        <span class="tag">${sp.governance}</span>
+        <span class="tag">${sp.admission}</span>
+        <span class="tag">${sp.contracts.join('+')}</span>
+        <span class="tag">${sp.synthetic_audit}</span>
+        <span class="tag">${sp.perturbation}</span>
+        <span class="tag">${sp.scope}</span>
+      </div>
+      <div class="main">
+        <div class="sidebar">
+          ${multi ? '<h2>Token Timeline</h2><div class="token-timeline">'+timeline+'</div>' : ''}
+          <h2>Token Step ${selTok}</h2>
+          <div class="summary-box">
+            <div class="row"><span class="label">Output <span class="prov dot-m"></span></span><span class="value">${tok.output_token_id}</span></div>
+            <div class="row"><span class="label">Logit <span class="prov dot-m"></span></span><span class="value">${tok.output_logit.toFixed(3)}</span></div>
+            <div class="row"><span class="label">Entropy <span class="prov dot-d"></span></span><span class="value">${tok.entropy.toFixed(6)}</span></div>
+            <div class="row"><span class="label">Margin <span class="prov dot-d"></span></span><span class="value">${tok.margin.toFixed(3)}</span></div>
+            <div class="row"><span class="label">Bytes <span class="prov dot-m"></span></span><span class="value">${fmtB(tok.bytes_streamed)}</span></div>
+            <div class="row"><span class="label">Layers</span><span class="value">${tok.layers.length}</span></div>
+          </div>
+          <h2>Provenance</h2>
+          <div class="provenance-legend">
+            <div class="item"><span class="dot dot-m"></span> Measured</div>
+            <div class="item"><span class="dot dot-d"></span> Derived</div>
+          </div>
+          <h2>Top-10 Logits <span class="prov dot-d"></span></h2>
+          <div class="top-k-list">${topK}</div>
+          <h2 style="margin-top:16px">Digests <span class="prov dot-d"></span></h2>
+          <div style="font-size:10px;word-break:break-all;color:var(--text-dim)">
+            <div style="margin-bottom:4px"><strong>Hidden:</strong> ${tok.hidden_digest}</div>
+            <div><strong>Logits:</strong> ${tok.logits_digest}</div>
+          </div>
+        </div>
+        <div class="content">
+          <h2>Norm Trajectory (residual_norm_out) <span class="prov dot-m"></span></h2>
+          <div class="norm-chart">${bars}</div>
+          <div class="norm-labels"><span>L0 (dense)</span><span>L30</span><span>L60</span></div>
+          <h2>Layer Detail</h2>
+          <table class="layer-table">
+            <thead><tr><th>Layer</th><th>Kind</th><th>Norm In</th><th>Norm Out</th><th>Expert Routing</th><th>Bytes</th></tr></thead>
+            <tbody>${rows}</tbody>
+          </table>
+          ${detail}
+        </div>
+      </div>
+      <div class="byte-footer">
+        <span>Total: ${fmtB(ledger.total_bytes_streamed)} streamed</span>
+        <span>${ledger.model_id}</span>
+        <span>${sp.scope}</span>
+      </div>`;
+    document.querySelectorAll('.token-step').forEach(el => el.addEventListener('click', () => { selTok=+el.dataset.step; selLayer=0; render(); }));
+    document.querySelectorAll('.norm-bar').forEach(el => el.addEventListener('click', () => { selLayer=+el.dataset.idx; render(); }));
+    document.querySelectorAll('.layer-table tbody tr').forEach(el => el.addEventListener('click', () => { selLayer=+el.dataset.idx; render(); }));
+  }
+  render();
+}
+main();
+</script>
+</body>
+</html>

kimi/ledger_multi_5tok.json ADDED Viewed

The diff for this file is too large to render. See raw diff

manifest.json ADDED Viewed

	@@ -0,0 +1,60 @@

+{
+  "schema": "vr.space.manifest@0.1",
+  "space": "VertRule-Org/research",
+  "generated_at_local_date": "2026-04-13",
+  "source_of_truth": "vertrule.com/research",
+  "items": [
+    {
+      "id": "kimi-output-formation-ledger",
+      "title": "Kimi K2.5",
+      "subtitle": "Output Formation Ledger",
+      "description": "Full-weight, full-layer local execution and output formation ledger for a 595 GB MoE model streamed from network-attached storage. 5-token continuity, frozen anchor, non-perturbing capture, adversarially certified.",
+      "category": "topology-capture",
+      "status": "public",
+      "publish": true,
+      "pdf": "pdfs/kimi-output-formation-ledger.pdf",
+      "pdf_blake3": "fc07763643d6da590ff1018300c76ee74f1162f211eb1177014dc809a320db08",
+      "explorer": "kimi/explorer.html",
+      "data": "kimi/ledger_multi_5tok.json",
+      "data_blake3": "e89675ddb23b570e7c9da5f3a84292138e7ff477ca8eaa6c8e725a46585148dd",
+      "explorer_blake3": "81156e697705322b4a1027053f267a0ea9c5377360bad19dbb999f1482124424",
+      "order": 1
+    },
+    {
+      "id": "grok1-nas-bounded-topology",
+      "title": "Grok-1 314B",
+      "subtitle": "NAS-Bounded Topology",
+      "description": "NAS-backed local execution and bounded mixed-edge topology for a 314B-parameter MoE model. 8 bounded edges (expert-routing + attention), ratified under a page-cache-purge storage contract, with adversarial verification.",
+      "category": "topology-capture",
+      "status": "public",
+      "publish": true,
+      "pdf": "pdfs/grok1-nas-bounded-topology.pdf",
+      "pdf_blake3": "dfb99ebd51757db714b0fef05bc45cd5da25d36c266db69623b435ba3992d3f1",
+      "order": 2
+    },
+    {
+      "id": "nemotron-local-hybrid-topology",
+      "title": "Nemotron-3 Super-120B",
+      "subtitle": "Local Hybrid Topology",
+      "description": "Local execution and canonical mixed-edge topology for a 120B-parameter hybrid model. 896 bounded edges (expert-routing + attention), determinism-gated admission, and a bounded routing observation.",
+      "category": "topology-capture",
+      "status": "public",
+      "publish": true,
+      "pdf": "pdfs/nemotron-local-hybrid-topology.pdf",
+      "pdf_blake3": "2a28db010ad07590e1214dd9e4edde767cba942e8ba924971f67254b7ac7e2d0",
+      "order": 3
+    },
+    {
+      "id": "gemma4-local-topology-capture",
+      "title": "Gemma 4 31B-IT",
+      "subtitle": "Local Topology Capture",
+      "description": "Deterministic local topology capture on a bounded CPU surface. Frozen anchors, non-perturbing capture, canonical topology emission, and one bounded observation from the attention-edge artifact.",
+      "category": "topology-capture",
+      "status": "public",
+      "publish": true,
+      "pdf": "pdfs/gemma4-local-topology-capture.pdf",
+      "pdf_blake3": "f688c7bff18ab279b4169e0f27a57ec46137c6b5a49eecb2a721a25d04a4cc80",
+      "order": 4
+    }
+  ]
+}

pdfs/gemma4-local-topology-capture.pdf ADDED Viewed

Binary file (42.6 kB). View file

pdfs/grok1-nas-bounded-topology.pdf ADDED Viewed

Binary file (38.9 kB). View file

pdfs/kimi-output-formation-ledger.pdf ADDED Viewed

Binary file (54.5 kB). View file

pdfs/nemotron-local-hybrid-topology.pdf ADDED Viewed

Binary file (36.4 kB). View file

style.css CHANGED Viewed

@@ -1,28 +1,222 @@
-body {
-	padding: 2rem;
-	font-family: -apple-system, BlinkMacSystemFont, "Arial", sans-serif;
 }
-h1 {
-	font-size: 16px;
-	margin-top: 0;
 }
-p {
-	color: rgb(107, 114, 128);
-	font-size: 15px;
-	margin-bottom: 10px;
-	margin-top: 5px;
 }
 .card {
-	max-width: 620px;
-	margin: 0 auto;
-	padding: 16px;
-	border: 1px solid lightgray;
-	border-radius: 16px;
 }
-.card p:last-child {
-	margin-bottom: 0;
 }

+/* VertRule Research Space — minimal, dark-first, brand-aligned */
+:root {
+  --charcoal: #1a1a1a;
+  --deep-slate: #0f1419;
+  --surface: #f5f5f5;
+  --surface-dim: rgba(245, 245, 245, 0.4);
+  --surface-faint: rgba(245, 245, 245, 0.06);
+  --border: rgba(255, 255, 255, 0.1);
+  --border-strong: rgba(255, 255, 255, 0.18);
+  --lime: #b4f00d;
+  --lime-dim: #9bd00b;
+  --bar-width: 7px;
+}
+* {
+  box-sizing: border-box;
+}
+html, body {
+  margin: 0;
+  padding: 0;
+  background: var(--deep-slate);
+  color: var(--surface);
+  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Inter, sans-serif;
+  font-size: 14px;
+  line-height: 1.5;
+  -webkit-font-smoothing: antialiased;
+}
+a {
+  color: var(--lime);
+  text-decoration: none;
 }
+a:hover {
+  color: var(--lime-dim);
 }
+code, .mono {
+  font-family: "Fira Code", "JetBrains Mono", ui-monospace, monospace;
+  font-size: 0.85em;
+}
+.container {
+  max-width: 880px;
+  margin: 0 auto;
+  padding: 0 24px;
+}
+/* Hero */
+.hero {
+  background: var(--deep-slate);
+  padding: 64px 0 40px;
+  border-bottom: 1px solid var(--border);
+}
+.hero-title {
+  display: flex;
+  align-items: center;
+  gap: 14px;
+  margin: 0 0 16px;
+  font-size: 32px;
+  font-weight: 700;
+  letter-spacing: -0.02em;
+}
+.bar {
+  display: inline-block;
+  width: var(--bar-width);
+  height: 32px;
+  background: var(--lime);
+}
+.hero-subtitle {
+  color: var(--surface-dim);
+  max-width: 560px;
+  font-size: 14px;
+}
+/* Section headers */
+.section {
+  padding: 40px 0;
+  border-bottom: 1px solid var(--border);
+}
+.section-charcoal {
+  background: var(--charcoal);
+}
+.eyebrow {
+  color: var(--surface-dim);
+  font-family: "Fira Code", ui-monospace, monospace;
+  font-size: 11px;
+  letter-spacing: 0.18em;
+  text-transform: uppercase;
+  margin: 0 0 20px;
+}
+/* Cards */
+.card-list {
+  display: flex;
+  flex-direction: column;
+  gap: 16px;
 }
 .card {
+  display: block;
+  padding: 20px 24px;
+  border: 1px solid var(--border);
+  background: var(--surface-faint);
+  border-radius: 8px;
+  color: inherit;
+  transition: background-color 0.15s ease, border-color 0.15s ease;
+}
+.card:hover {
+  background: rgba(255, 255, 255, 0.05);
+  border-color: var(--border-strong);
+}
+.card-head {
+  display: flex;
+  align-items: flex-start;
+  justify-content: space-between;
+  gap: 16px;
+  margin-bottom: 6px;
+}
+.card-title {
+  margin: 0;
+  font-size: 18px;
+  font-weight: 700;
+}
+.card-subtitle {
+  color: var(--surface-dim);
+  font-size: 13px;
+  margin: 0 0 8px;
+}
+.card-desc {
+  color: var(--surface-dim);
+  font-size: 13px;
+  margin: 0;
+  line-height: 1.6;
+}
+.card-meta {
+  display: flex;
+  align-items: center;
+  gap: 12px;
+  margin-top: 14px;
+  padding-top: 14px;
+  border-top: 1px solid var(--border);
+  font-family: "Fira Code", ui-monospace, monospace;
+  font-size: 11px;
+  color: var(--surface-dim);
+  flex-wrap: wrap;
+}
+.card-meta a {
+  color: var(--lime);
+}
+.digest {
+  font-family: "Fira Code", ui-monospace, monospace;
+  font-size: 10px;
+  color: var(--surface-dim);
+  word-break: break-all;
+}
+/* Status badges */
+.badge {
+  display: inline-block;
+  padding: 2px 8px;
+  font-family: "Fira Code", ui-monospace, monospace;
+  font-size: 10px;
+  letter-spacing: 0.08em;
+  text-transform: uppercase;
+  border-radius: 3px;
+  border: 1px solid;
+  white-space: nowrap;
+}
+.badge-public {
+  color: var(--lime);
+  border-color: var(--lime);
+  background: rgba(180, 240, 13, 0.06);
+}
+.badge-experimental {
+  color: #f0a020;
+  border-color: #f0a020;
+  background: rgba(240, 160, 32, 0.06);
+}
+.badge-pdf {
+  color: var(--surface-dim);
+  border-color: var(--border-strong);
+}
+/* Empty state */
+.empty {
+  padding: 40px 24px;
+  text-align: center;
+  color: var(--surface-dim);
+  border: 1px dashed var(--border);
+  border-radius: 8px;
+}
+/* Footer */
+.footer {
+  padding: 32px 0 64px;
+  color: var(--surface-dim);
+  font-size: 12px;
+  text-align: center;
 }
+.footer a {
+  color: var(--lime);
 }