@prattley
Interesting.
Been working on a different but possibly complementary layer called the Epistemic Infrastructure Protocol (EIP)—not a formal logic engine, but a protocol for surfacing, contesting, and forking claims/axioms in the wild.
Where VOID may let you compose domains without pollution, EIP lets anyone audit, challenge, or fork the process—making drift, inversion, or capture visible, and keeping all challenge/audit/fork activity open, logged, and contestable.
Both layers together seem vital:
• VOID: structure and clarity
• EIP: antifragility and adversarial defense
Curious if you see room for an interface—composable logics + adversarial, operator-driven audit/protocol for meta-level drift and dispute?