Skip to content

Route HVM runs through the stdout decoder - #13

Merged
pyrex41 merged 1 commit into
mainfrom
fix/hvm-decode-runner
Jul 15, 2026
Merged

Route HVM runs through the stdout decoder#13
pyrex41 merged 1 commit into
mainfrom
fix/hvm-decode-runner

Conversation

@pyrex41

@pyrex41 pyrex41 commented Jul 15, 2026

Copy link
Copy Markdown
Owner

Summary

  • route the HVM target's run step through run_app.py
  • expose decoded Shen program stdout to run and parity

Test plan

  • go test ./...
  • ratatoskr targets lists hvm
  • fresh HVM fib run prints fib 20 = 6765

Made with Cursor

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

Co-authored-by: Cursor <cursoragent@cursor.com>
@pyrex41
pyrex41 merged commit 366037a into main Jul 15, 2026
6 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant