main
validate const is mutually exclusive with sensitive and ephemeral in variables
Move configs/ to internal/configs/
configs: Decode preconditions and postconditions
configs: Validate pre/postcondition self-refs