lowers to a Lean theorem pointer (the proof body itself lives in the Lean lane, not the contract YAML). Layer 2 of the xpile contract taxonomy (translation), proof-lane side. Consumed by ...

Multi-scale relationship-dynamics simulator. From two-body feedback loops to friend-group spread to whole-market matching — and a curated dictionary that ties everything back to published research. dy ...