Built-in module that provides the default 3-outcome ChallengeCeremony
composed from challengeStore + replaySeenSet.
Per A1 ยง8.1. Override path: replace this module with a custom one that
provides challengeCeremony from different deps; the boot planner enforces
provides uniqueness (BootError reason "duplicate-provides" if both are
added).
Built-in module that provides the default 3-outcome ChallengeCeremony composed from challengeStore + replaySeenSet.
Per A1 ยง8.1. Override path: replace this module with a custom one that provides challengeCeremony from different deps; the boot planner enforces provides uniqueness (BootError reason "duplicate-provides" if both are added).