Research

Understand the idea first.
Inspect the evidence next.

Plain-language cards for VertRule technical artifacts. Each item starts simple, then links to the deeper paper, explorer, or verifier-readable artifact.

Featured artifact

Research catalogue

Product Research

Provider Drift

Simple version

Sometimes the AI your product uses changes, even when your code does not.

In plain terms

If your product depends on an AI provider, small behaviour changes can affect answers, refusals, formats, and workflows. VertRule reruns the same tests over time so teams can see when behaviour has shifted, instead of finding out from a customer.

Technical artifact

A sealed baseline-and-rerun workflow that scores repeatable prompt suites against a frozen pack, surfaces argmax and top-k divergences, and emits signed comparison artifacts.

Execution

Observable Execution Surface

Simple version

Run a small AI model right in your browser and watch what it does, step by step.

In plain terms

This is an interactive demo that runs a small transformer model entirely on your machine — nothing leaves the page. As it generates each word, it records what every layer did, and you can step through the result afterward.

Technical artifact

Bounded WebAssembly transformer runtime emitting per-layer digests and a per-token receipt over the full forward pass, with GPT-2 124M, Qwen2 0.5B, and SmolLM2 360M as selectable providers.

Execution

Kimi K2.5 Output Formation Ledger

Simple version

We ran a very large AI model on a single machine and kept a careful record of how each piece of every answer was formed.

In plain terms

Kimi K2.5 is far too large to fit in normal memory, so it is loaded from storage piece by piece during a run. We captured five tokens of output formation against a frozen starting state, verified the capture itself did not change behaviour, and had the resulting bundle reviewed adversarially.

Technical artifact

Full-weight, full-layer streamed inference for a 595 GB MoE model with frozen anchor, non-perturbing capture, an interactive output formation explorer, and an adversarially certified evidence bundle.

Model Topology

Grok-1 314B Bounded Topology

Simple version

Same careful map of how a model works, but for a model so large we had to stream it from a network drive.

In plain terms

Grok-1 has 314 billion parameters and uses a routing design that picks different sub-networks for different inputs. We ran it from network-attached storage, captured a bounded slice of its routing and attention structure, and ran adversarial checks against the result.

Technical artifact

NAS-backed local execution and bounded mixed-edge topology for a 314B MoE model, 8 bounded edges, ratified under a page-cache-purge storage contract with adversarial verification.

Model Topology

Nemotron-3 Super-120B Hybrid Topology

Simple version

A careful map of how a much bigger, more complex AI model routes its work internally.

In plain terms

Nemotron-3 Super has 120 billion parameters and a mixture-of-experts design that sends different parts of an answer to different sub-networks. We captured both the expert-routing decisions and the attention edges, and showed the map reproduces exactly across independent runs on the same machine.

Technical artifact

Canonical mixed-edge topology for a 120B hybrid model, 896 bounded edges across expert routing and attention, emitted under a determinism-gated admission rule.

Model Topology

Gemma 4 31B-IT Topology Capture

Simple version

We carefully recorded a small map of how an AI model worked while it answered a question on an ordinary computer.

In plain terms

When a model produces an answer, lots of internal connections are exercised. We captured a bounded slice of those connections on a normal CPU, confirmed the recording itself did not change the answer, and saved the map so anyone else can reproduce it from the same inputs.

Technical artifact

Deterministic local topology capture for Gemma 4 31B-IT on a bounded CPU surface, with frozen anchors, non-perturbing capture, and canonical topology.v2 emission.

Artifact index

Have an artifact?

Verify a receipt, digest, or bundle.

Verify a receipt