spec-property-retirement

Internal playbook for retiring an authorable packages/spec property under ADR-0049 enforce-or-remove — choosing the removal route, the liveness-ledger discipline each route implies, the ADR-0087 conversion, the generated baselines, forms, docs and pin tests a removal needs, and the gates that fail when any of it is missing. Use when a metadata key is declared-but-unenforced and the job is to REMOVE it, or when a…