Blog

Each post is a discovery. IRDME is the method — the finding is the story. All results link to their pre-registered hash.

meta#mathematics#lean4#mathlib4#bc3#boundary-condition#layer-resolution#pre-registered

Same Domain, Different Answer: What Layer Choice Reveals About Formal Mathematics

BC3 denied the Functional Proximity Law in mathematics. F9 confirmed it — using a different layer pair on a different dataset in the same domain. The comparison isolates exactly which structural feature caused the denial.

#4ffcdac5
meta#law#explainer#multilayer-networks#centrality

The Functional Proximity Law: What It Says and Why It Matters

A plain-language explanation of the Functional Proximity Law — why hub nodes in a network tend to stay important across multiple types of relationships, and what this means for science.

meta#pre-registration#reproducibility#methodology#open-science

Why Every IRDME Experiment Is Pre-Registered

Science is only credible when predictions precede results. Here is the exact pre-registration protocol used for every Functional Proximity Law experiment — SHA-256 hashes, UTC timestamps, and public commits.