This repository contains all of the files related to my research into weighted hypergraph transversals and their connection to sheaf-theory, the marginal problem, quantum contextuality and causal compatibility inequalities.
This work seems eerily related to the flat universe hypothesis proposed by Srinivisan et. al. circa 2014. Care to comment on this repository's connection to that proposal and its cousin (lattice-based checksum-induced zero-knowledge formal proofs of the decidability of the halting problem)?