diff --git a/.claude/skills/pr-title-description/SKILL.md b/.claude/skills/pr-title-description/SKILL.md
new file mode 100644
index 0000000..4c589e5
--- /dev/null
+++ b/.claude/skills/pr-title-description/SKILL.md
@@ -0,0 +1,49 @@
+---
+name: pr-title-description
+description: Write or update a PR title and description for the current branch, matching the style of recent PRs.
+disable-model-invocation: true
+user-invocable: true
+---
+
+<!-- cspell:word oneline -->
+
+# `pr-title-description`
+
+Write (or update) the title and description
+for the pull request on the current branch.
+
+<!-- markdownlint-disable MD041 -->
+
+## Steps
+
+<!-- markdownlint-enable MD041 -->
+
+1. Identify the current branch and its PR
+   (if one exists) using
+   `gh pr list --head <branch>`.
+
+1. Get the full diff against `main`:
+   `git diff main..HEAD` and
+   `git log main..HEAD --oneline`.
+
+1. Fetch the body of the 3 most recent merged
+   PRs to match their style:
+
+   ```sh
+   gh pr list --state merged --limit 3 \
+     --json number,title,body
+   ```
+
+1. Write a concise PR description that mirrors
+   the format and tone of those recent PRs.
+   Typically this means a `# Changes` section
+   with a numbered list. Add a `# Background`
+   section only if the changes need non-obvious
+   context.
+
+1. If a PR already exists for the branch, update
+   it with `gh pr edit <number> --body "..."`.
+   Otherwise, report the description so the user
+   can create the PR.
+
+1. Show the user the PR URL when done.
diff --git a/.gitignore b/.gitignore
index e43b0f9..078609e 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,3 @@
 .DS_Store
+deploy
+target
diff --git a/Cargo.toml b/Cargo.toml
new file mode 100644
index 0000000..fe61489
--- /dev/null
+++ b/Cargo.toml
@@ -0,0 +1,10 @@
+[workspace]
+members = []
+
+[workspace.dependencies]
+mollusk-svm = "0.10.3"
+pinocchio = "0.10.2"
+
+[workspace.package]
+edition = "2024"
+version = "0.1.0"
diff --git a/Makefile b/Makefile
index 56bbb52..0f10aee 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,6 @@
 # cspell:word vite
 .PHONY: all
+.PHONY: asm
 .PHONY: clean
 .PHONY: test
 
@@ -7,21 +8,25 @@ all: docs-prettier pre-commit-lint
 clean:
 test:
 
+# Assemble the program.
+asm:
+	sbpf build --arch v3 --deploy-dir deploy
+
 # Build and serve docs locally for development.
 docs-dev:
-	cd docs \
+	cd docs && npm install \
 		&& rm -rf .vitepress/cache .vitepress/dist node_modules/.vite \
-		&& npx vitepress dev
+		&& npx vitepress dev --open
 # Format docs with Prettier.
 docs-prettier:
-	cd docs && npx prettier --write .
+	cd docs && npm install && npx prettier --write .
 # Build and serve docs locally in production mode.
 docs-prod:
 	cd docs \
 		&& rm -rf .vitepress/cache .vitepress/dist node_modules/.vite \
 		&& npm ci \
 		&& npx vitepress build \
-		&& npx vitepress preview
+		&& npx vitepress preview --open
 # Run pre-commit lint checks on all files.
 pre-commit-lint:
 	pre-commit run --config cfg/pre-commit/lint.yml --all-files
diff --git a/cfg/dictionary.txt b/cfg/dictionary.txt
index 19186c8..24e63fa 100644
--- a/cfg/dictionary.txt
+++ b/cfg/dictionary.txt
@@ -1,6 +1,9 @@
 dasmac
 dropset
+insn
 katex
+ldxb
+ldxdw
 sbpf
 solana
 vitepress
diff --git a/cfg/pre-commit/lint.yml b/cfg/pre-commit/lint.yml
index 5979313..3920335 100644
--- a/cfg/pre-commit/lint.yml
+++ b/cfg/pre-commit/lint.yml
@@ -71,7 +71,10 @@ repos:
   repo: 'https://github.com/checkmake/checkmake.git'
   rev: 'v0.3.2'
 - hooks:
-  - id: 'chktex'
+  - args:
+    - '-n1' # Allow command terminated with space, e.g. `\STATE foo`.
+    - '-n8' # Allow standard dash in ALGORITHM-NAME.
+    id: 'chktex'
   repo: 'https://github.com/randolf-scholz/latex-hooks'
   rev: 'v0.1.24'
 ...
diff --git a/docs/.vitepress/buildAlgorithmIndex.js b/docs/.vitepress/buildAlgorithmIndex.js
index e3673aa..b7a3b8a 100644
--- a/docs/.vitepress/buildAlgorithmIndex.js
+++ b/docs/.vitepress/buildAlgorithmIndex.js
@@ -47,7 +47,7 @@ export function buildAlgorithmIndex() {
   for (const fullPath of findMdFiles(SRC_DIR)) {
     const md = readFileSync(fullPath, "utf-8");
     const relPath = relative(SRC_DIR, fullPath);
-    for (const match of md.matchAll(/<Algorithm\s+src="([\w-]+)"/g)) {
+    for (const match of md.matchAll(/<Algorithm\s+tex="([\w-]+)"/g)) {
       const name = match[1];
       if (index[name]) {
         // Convert file path to VitePress page path.
diff --git a/docs/.vitepress/components/Algorithm.vue b/docs/.vitepress/components/Algorithm.vue
index 976c48d..90180d7 100644
--- a/docs/.vitepress/components/Algorithm.vue
+++ b/docs/.vitepress/components/Algorithm.vue
@@ -1,24 +1,31 @@
 <!-- cspell:word funcname -->
 <!-- cspell:word linenum -->
 <!-- cspell:word punc -->
+<!-- cspell:word shiki -->
 <!-- cspell:word texttt -->
 <template>
-  <!-- Anchor: #algo-<src> for cross-page and in-page linking. -->
-  <div :id="`algo-${src}`" ref="container" class="pseudocode-container">
-    <div v-if="calls.length" class="pseudocode-links pseudocode-links-below">
-      <div class="pseudocode-link-row">
-        Calls:
-        <a v-for="dep in calls" :key="dep.name" :href="dep.href">
-          {{ dep.name }}
-        </a>
+  <!-- Anchor: #algorithm-<tex> for cross-page and in-page linking. -->
+  <div :id="`algorithm-${tex}`">
+    <div ref="container" class="pseudocode-container">
+      <div v-if="asm" ref="asmBlock" class="asm-block"></div>
+      <div v-if="calls.length" class="pseudocode-links pseudocode-links-below">
+        <div class="pseudocode-link-row">
+          Calls:
+          <a v-for="dep in calls" :key="dep.name" :href="dep.href">
+            {{ dep.name }}
+          </a>
+        </div>
       </div>
-    </div>
-    <div v-if="calledBy.length" class="pseudocode-links pseudocode-links-below">
-      <div class="pseudocode-link-row">
-        Called by:
-        <a v-for="dep in calledBy" :key="dep.name" :href="dep.href">
-          {{ dep.name }}
-        </a>
+      <div
+        v-if="calledBy.length"
+        class="pseudocode-links pseudocode-links-below"
+      >
+        <div class="pseudocode-link-row">
+          Called by:
+          <a v-for="dep in calledBy" :key="dep.name" :href="dep.href">
+            {{ dep.name }}
+          </a>
+        </div>
       </div>
     </div>
   </div>
@@ -35,22 +42,31 @@ const texModules = import.meta.glob("../../algorithms/*.tex", {
   import: "default",
 });
 
+// Import all .s files at build time via Vite's glob import with ?raw.
+const asmModules = import.meta.glob("../../../src/dropset/**/*.s", {
+  query: "?raw",
+  import: "default",
+});
+
 // src is the .tex filename, rest are pseudocode.js options.
 const props = defineProps({
-  src: { type: String, required: true },
+  tex: { type: String, required: true },
+  asm: { type: String, default: "" },
   lineNumber: { type: Boolean, default: true },
   lineNumberPunc: { type: String, default: "" },
 });
 
 const container = ref(null);
+const asmBlock = ref(null);
 const calls = ref([]);
 const calledBy = ref([]);
+const asmCode = ref("");
 
 // Resolve a list of algorithm names to links using the algorithm index.
 function resolveLinks(names, index) {
   return names.map((name) => {
     const page = index[name]?.page || "";
-    const href = `${page}#algo-${name}`;
+    const href = `${page}#algorithm-${name}`;
     return { name, href };
   });
 }
@@ -63,12 +79,12 @@ onMounted(async () => {
     const pseudocode = await import("pseudocode");
 
     // Load .tex source at build time via glob import.
-    const texLoader = texModules[`../../algorithms/${props.src}.tex`];
-    if (!texLoader) throw new Error(`Unknown algorithm: ${props.src}`);
+    const texLoader = texModules[`../../algorithms/${props.tex}.tex`];
+    if (!texLoader) throw new Error(`Unknown algorithm: ${props.tex}`);
     const code = await texLoader();
 
     // Resolve forward and reverse deps from the algorithm index.
-    const entry = algorithmIndex[props.src];
+    const entry = algorithmIndex[props.tex];
     if (entry) {
       calls.value = resolveLinks(entry.calls, algorithmIndex);
       calledBy.value = resolveLinks(entry.calledBy, algorithmIndex);
@@ -101,12 +117,83 @@ onMounted(async () => {
       const name = span.textContent.trim();
       if (algorithmIndex[name]) {
         const a = document.createElement("a");
-        a.href = `${algorithmIndex[name].page || "/"}#algo-${name}`;
+        a.href = `${algorithmIndex[name].page || "/"}#algorithm-${name}`;
         a.className = "ps-funcname";
         a.textContent = span.textContent;
         span.replaceWith(a);
       }
     });
+
+    // Load and highlight assembly source if specified.
+    if (props.asm) {
+      const asmLoader = asmModules[`../../../src/dropset/${props.asm}.s`];
+      if (!asmLoader) throw new Error(`Unknown assembly file: ${props.asm}`);
+      asmCode.value = (await asmLoader()).trimEnd();
+
+      const shiki = await import("shiki");
+      const highlighter = await shiki.createHighlighter({
+        themes: ["github-dark", "github-light"],
+        langs: ["asm"],
+      });
+
+      // Shiki's asm grammar misclassifies indented "# if" as a preprocessor
+      // directive. Fix comment lines in the token stream after highlighting.
+      const commentColor = { dark: "#6A737D", light: "#6A737D" };
+      const fixComments = {
+        tokens(lines) {
+          const src = asmCode.value.split("\n");
+          for (let i = 0; i < lines.length; i++) {
+            if (src[i]?.trimStart().startsWith("#")) {
+              const text = lines[i].map((t) => t.content).join("");
+              lines[i] = [
+                {
+                  content: text,
+                  color: commentColor.dark,
+                  htmlStyle: `--shiki-dark:${commentColor.dark};--shiki-light:${commentColor.light}`,
+                },
+              ];
+            }
+          }
+        },
+      };
+
+      const highlighted = highlighter.codeToHtml(asmCode.value, {
+        lang: "asm",
+        themes: { dark: "github-dark", light: "github-light" },
+        defaultColor: false,
+        transformers: [fixComments],
+      });
+
+      // Build line numbers.
+      const lineCount = asmCode.value.split("\n").length;
+      const lineNumsHtml = Array.from(
+        { length: lineCount },
+        (_, i) => `<span class="line-number">${i + 1}</span><br>`,
+      ).join("");
+
+      // Produce the exact HTML VitePress would for :::details + ```asm```.
+      const pre = highlighted
+        .replace("<pre ", '<pre tabindex="0" ')
+        .replace(/class="shiki/, 'class="shiki vp-code');
+
+      asmBlock.value.innerHTML =
+        `<details class="details custom-block">` +
+        `<summary>Implementation</summary>` +
+        `<div class="language-asm vp-adaptive-theme line-numbers-mode">` +
+        `<button title="Copy Code" class="copy"></button>` +
+        `<span class="lang">asm</span>` +
+        pre +
+        `<div class="line-numbers-wrapper" aria-hidden="true">${lineNumsHtml}</div>` +
+        `</div>` +
+        `</details>`;
+
+      // Wire up copy button.
+      asmBlock.value.querySelector(".copy").addEventListener("click", () => {
+        navigator.clipboard.writeText(asmCode.value);
+      });
+
+      highlighter.dispose();
+    }
   } catch (e) {
     console.error("Pseudocode render error:", e);
     container.value.textContent = "Error: " + e.message;
@@ -183,4 +270,11 @@ onMounted(async () => {
   margin-right: 0.2em;
   color: var(--vp-c-text-2);
 }
+
+/* Implementation details block inside the algorithm container. */
+.asm-block {
+  margin-top: 0.75em;
+  border-top: 1px solid var(--vp-c-divider);
+  padding-top: 0.5em;
+}
 </style>
diff --git a/docs/.vitepress/components/AlgorithmIndex.vue b/docs/.vitepress/components/AlgorithmIndex.vue
index 323586b..eeb4ac3 100644
--- a/docs/.vitepress/components/AlgorithmIndex.vue
+++ b/docs/.vitepress/components/AlgorithmIndex.vue
@@ -19,7 +19,7 @@ const chart = ref(null);
 const algorithms = Object.keys(algorithmIndex)
   .map((name) => ({
     name,
-    href: `${algorithmIndex[name].page || "/"}#algo-${name}`,
+    href: `${algorithmIndex[name].page || "/"}#algorithm-${name}`,
   }))
   .sort((a, b) => a.name.localeCompare(b.name));
 
@@ -27,7 +27,7 @@ const algorithms = Object.keys(algorithmIndex)
 function buildGraph(index) {
   const lines = ["graph TD"];
   for (const [name, entry] of Object.entries(index)) {
-    const href = `${entry.page || "/"}#algo-${name}`;
+    const href = `${entry.page || "/"}#algorithm-${name}`;
     lines.push(`  ${name}["${name}"]`);
     lines.push(`  click ${name} "${href}"`);
     for (const dep of entry.calls) {
diff --git a/docs/algorithms/ENTRYPOINT.tex b/docs/algorithms/ENTRYPOINT.tex
index 55846ee..f175142 100644
--- a/docs/algorithms/ENTRYPOINT.tex
+++ b/docs/algorithms/ENTRYPOINT.tex
@@ -4,14 +4,14 @@
   \COMMENT{Input buffer.}
   \INPUT $r_1 = input$
   \COMMENT{Instruction data.}
-  \INPUT $r_2 = data$
-\PROCEDURE{ENTRYPOINT}{$input, data$}
-  \STATE $data_l = data.length$
-  \STATE $d_d = data.discriminator$
-    \IF{$d_d$ == \texttt{Discriminator::RegisterMarket}}
-      \RETURN \CALL{REGISTER-MARKET}{$input$, $data$, $data_l$}
+  \INPUT $r_2 = insn$
+\PROCEDURE{ENTRYPOINT}{$input, insn$}
+  \STATE $insn\_len = insn.length$
+  \STATE $insn\_d = insn.discriminant$
+    \IF{$insn\_d$ == \texttt{Discriminant::RegisterMarket}}
+      \RETURN \CALL{REGISTER-MARKET}{$input$, $insn$, $insn\_len$}
     \ENDIF
-  \RETURN \texttt{Error::InvalidInstructionDiscriminator}
+  \RETURN \texttt{Error::InvalidDiscriminant}
 \ENDPROCEDURE
 \end{algorithmic}
 \end{algorithm}
diff --git a/docs/algorithms/REGISTER-MARKET.tex b/docs/algorithms/REGISTER-MARKET.tex
index cf1e2f6..7cef4c4 100644
--- a/docs/algorithms/REGISTER-MARKET.tex
+++ b/docs/algorithms/REGISTER-MARKET.tex
@@ -4,13 +4,13 @@
   \COMMENT{Input buffer.}
   \INPUT $r_1 = input$
   \COMMENT{Instruction data.}
-  \INPUT $r_2 = data$
+  \INPUT $r_2 = insn$
   \COMMENT{Instruction data length.}
-  \INPUT $r_3 = data_l$
-  \REQUIRE $data.discriminator == \texttt{Discriminator::RegisterMarket}$
-\PROCEDURE{REGISTER-MARKET}{$input$, $data$, $data\_l$}
-  \IF{$data_l \neq$ \texttt{InstructionDataLength::RegisterMarket}}
-    \RETURN \texttt{Error::InvalidInstructionDataLength}
+  \INPUT $r_3 = insn\_len$
+  \REQUIRE $insn.discriminant == \texttt{Discriminant::RegisterMarket}$
+\PROCEDURE{REGISTER-MARKET}{$input, insn, insn\_len$}
+  \IF{$insn\_len \neq$ \texttt{InstructionLength::RegisterMarket}}
+    \RETURN \texttt{Error::InvalidInstructionLength}
   \ENDIF
 \ENDPROCEDURE
 \end{algorithmic}
diff --git a/docs/src/index.md b/docs/src/index.md
index 6c452f4..3e4caa9 100644
--- a/docs/src/index.md
+++ b/docs/src/index.md
@@ -21,7 +21,8 @@ check out the [Solana Opcode Guide].
 ## About this site
 
 This site is built in [Vitepress], and leverages custom [Vue components] to
-provide formal [CLRS]-style algorithmic specifications via [pseudocode.js].
+provide formal [CLRS]-style algorithmic specifications via [pseudocode.js], with
+collapsible SBPF assembly implementations sourced directly from the codebase.
 
 The auto-generated [algorithm index](indices/algorithms) contains a
 [mermaid]-style dependency chart of all algorithms, which are additionally
diff --git a/docs/src/program/entrypoint.md b/docs/src/program/entrypoint.md
index 4425056..044a482 100644
--- a/docs/src/program/entrypoint.md
+++ b/docs/src/program/entrypoint.md
@@ -2,5 +2,5 @@
 
 <!-- markdownlint-disable MD033 -->
 
-<Algorithm src="ENTRYPOINT"/>
+<Algorithm tex="ENTRYPOINT" asm="entrypoint"/>
 <!-- markdownlint-enable MD033 -->
diff --git a/docs/src/program/markets.md b/docs/src/program/markets.md
index 8469009..7d6bfbf 100644
--- a/docs/src/program/markets.md
+++ b/docs/src/program/markets.md
@@ -2,5 +2,5 @@
 
 <!-- markdownlint-disable MD033 -->
 
-<Algorithm src="REGISTER-MARKET"/>
+<Algorithm tex="REGISTER-MARKET" asm="market/register"/>
 <!-- markdownlint-enable MD033 -->
diff --git a/src/dropset/dropset.s b/src/dropset/dropset.s
new file mode 100644
index 0000000..63270d4
--- /dev/null
+++ b/src/dropset/dropset.s
@@ -0,0 +1,7 @@
+# cspell:word globl
+
+.globl entrypoint
+
+.include "error.s"
+.include "entrypoint.s"
+.include "market/register.s"
diff --git a/src/dropset/entrypoint.s b/src/dropset/entrypoint.s
new file mode 100644
index 0000000..8838597
--- /dev/null
+++ b/src/dropset/entrypoint.s
@@ -0,0 +1,11 @@
+entrypoint:
+    # insn_len = insn.length
+    ldxdw r3, [r2 - 8]
+    # insn_d = insn.discriminant
+    ldxb r4, [r2 + 0]
+    # if insn_d == Discriminant::RegisterMarket
+    #     return register_market
+    jeq r4, 0, register_market
+    # return Error::InvalidDiscriminant
+    mov32 r0, 1
+    exit
diff --git a/src/dropset/error.s b/src/dropset/error.s
new file mode 100644
index 0000000..8a9a181
--- /dev/null
+++ b/src/dropset/error.s
@@ -0,0 +1,3 @@
+e_invalid_instruction_length:
+    mov32 r0, 2
+    exit
diff --git a/src/dropset/market/register.s b/src/dropset/market/register.s
new file mode 100644
index 0000000..305cc3c
--- /dev/null
+++ b/src/dropset/market/register.s
@@ -0,0 +1,5 @@
+register_market:
+    # if insn_len != InstructionLength::RegisterMarket
+    #     return Error::InvalidInstructionLength
+    jne r3, 0, e_invalid_instruction_length
+    exit