Claude/thalyx programmable transaction hrexv1 - #3

Merged

CesarManzoCode merged 6 commits into

mainfrom

claude/thalyx-programmable-transaction-hrexv1

Aug 30, 2026

Commits on Aug 30, 2026

fix(toolchain): one search for cargo and rust-analyzer, and a field that never disappears
claude
committed
b21cb27
feat(semantica): a name that means three things is not chosen by index order
claude
committed
82536c9
feat(hacer): the P in TPV — a program whose control flow continues locally
claude
committed
17c042a
feat(mcp): three tools by default, and the other eleven one flag away
claude
committed
f14662d
feat(semantica): rust-analyzer runs Cargo, so it runs where a guest runs
claude
committed
08172a3
test(hacer): the program verify runs is the program that is tested here
claude
committed
60b6d20