rea-unary：从 x86 行为到 VHDL 与形式化验证

An experiment that extends REA's idea past the binary: recover behaviour from x86, then express it as VHDL and verify it formally; derived from the upstream project and licensed accordingly.

Why it is listed: Research experiment on mock binaries; credits upstream.