github.com/pichi-vm/pmi exists to solve this problem.
In a recent study on TEE build reproducibility, researchers tried to rebuild 115 SGX, TDX & SEV-SNP deployments and match their measurements.
Only 10 had build reproducibility and just 7 without help from the developers.
TamaGo was one of those 7!
arxiv.org/pdf/2609.11411




