Module phase 

Which phases exist, which process runs each, and what each may be narrowed on.

Structs

PhaseSpec

Everything fixed about one phase, declared in one place.

ScopeSupport

Which of the scope’s dimensions a phase’s claim query can apply. Declared rather than assumed, so a phase added later cannot quietly ignore a scope and sweep the whole database.

Enums

CreditRegistrationPhase

A pipeline phase. CreditRegistrationPhase::as_str is canonical: it is credit_registration_phase_state.phase, the tick endpoint’s ?phase= and the audit log’s target_phase.

WorkerProcess

The worker process that runs a phase’s loop. The two are separate OS processes, each with its own circuit breakers and limiter.

Constants

CONFIG_VALIDATION 🔒

COURSE_MODULES 🔒

These reach their rows through the course module, which has no user dimension: a roster and a module configuration are facts about a course, not about one of our accounts.

DEFAULTS 🔒

What a spec below leaves as it is: a credit-registrar phase over ledger rows that calls no study registry.

ENROLMENT_DISCOVERY 🔒

IMPORT 🔒

LEDGER_SNAPSHOT 🔒

LEGACY_MIRROR 🔒

LINK_EMAILS 🔒

MATERIALIZE 🔒

PRECONDITIONS 🔒

RESOLVE_ENROLMENTS 🔒

RETENTION_SWEEP 🔒

STUDENT_NOTIFICATIONS 🔒

STUDY_REGISTRY 🔒

VERIFY 🔒