From "why does this exist?" to "here's what it proves." Click any rung to expand. Filter by reading path below.
Evidence: Rung 2 (mDNS works) + Rung 6 (protocol spec) + Rung 8 (six implementations) → it's not just feasible, it's built. Key papers: Guttman 2001, Siddiqui 2012, Siljanovski 2014.
Evidence: Rung 0 (fragmentation) + Rung 5 (beacon model) + Rung 8 (real apps) → measured reduction via configuration-work metric. Key papers: Costa 2024, Bassignana 2025, Gabriel 2024.
Evidence: Rung 7 (ephemeral keys, threat models) + Rung 4 (BeyondCorp contrast) → not "Saturn is secure" but "Saturn's risks are understood." Key papers: Kim & Reeves 2020, Kaiser & Waldvogel 2014a/b, Meli 2019.