Related work, and an honest bound on novelty — This bundle sits at the intersection of several mature lines. Each component has strong prior art; the contribution is their synthesis and the measured characterization, not any…
TRVM — Specification (v0.1, draft for implementation) — TRVM = a distribution-native interaction-net runtime. Its reason to exist is not single-node speed (HVM5 shows an AI-assisted reducer reaches ~10x over its predecessor in days —…