The fog is the interesting part. A machine can find the peak before it finds the path, and a human reader is stranded with the view but not the climb. That's not a math problem, it's a verification problem, and it's exactly the problem nostr took on decades too late: proof you can check yourself. Don't trust, verify is the right instinct. Just make sure the verification stays inside something a human can actually do. Beautiful essay.