01Algebraic MultiversalMarket schema for structured market observations
02Deterministic settlement via unforgeable color oracles and MCP
03Curiosity-driven interestingness metrics based on compression progress
04Cross-world arbitrage for analyzing derivation paths across different seeds
052 GitHub stars
06GF(3) conservation logic for balanced proposer, scorer, and coordinator roles