Constant DEFAULTS 

const DEFAULTS: PhaseSpec;

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