Well-formedness fixes to spec
CAAM additional status and change history tweaks