From 64bde14f4c2e389adae51a638bba2516539b680a Mon Sep 17 00:00:00 2001
From: Reuben Brooks <reuben@Reubens-MacBook-Air.local>
Date: Wed, 15 Jul 2026 11:49:59 -0700
Subject: [PATCH] Route HVM runs through the stdout decoder

Use shen-inets' run wrapper so parity compares program output rather than HVM's boxed normal form.

Co-authored-by: Cursor <cursoragent@cursor.com>
---
 builders.json | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/builders.json b/builders.json
index 5a9fcb4..e24c4a1 100644
--- a/builders.json
+++ b/builders.json
@@ -116,6 +116,6 @@
     "build": [
       {"argv": ["python3", "{shen_inets}/build_shake.py", "{outdir}", "{outdir}/app.hvml"]}
     ],
-    "run": ["hvm", "run", "{outdir}/app.hvml"]
+    "run": ["python3", "{shen_inets}/run_app.py", "{outdir}/app.hvml"]
   }
 }