Short answer: On Cisco IOS/IOS XE, default-information originate advertises an OSPF default when the originating router has a qualifying default route; always removes that prerequisite.[1] Neither option proves that Internet access works: treat origination and upstream-health measurement as separate checks.[1][5] Tie your upstream route to a health check, and verify withdrawal rather than just adjacency.[5]
This guide builds a proposed IPv4 lab, not a production deployment: one Internet edge, one internal router, normal OSPF area 0, and a deliberately failed upstream. The reusable asset is a failure-test matrix you can take into a change review. No router execution is claimed.