to_rung(x) = ln(x) / ln(φ) · base-φ codec · back to PHI LEDGER
φ² = φ + 1 · the double-one always collapses: 011φ → 100φ