description faithfulness is a named hypothesis: the priced sentences are about interface-supplied descriptions

Maintainer decision, landed by the follow-up. The shortfall and taint events are sentences of the declared control model about an option's interface-supplied description (BRIAFollowup.PricedInterface, event_reads_interface); a proposer-written description passes a short option (misdescription_witness). ViolC covers the structurally declared releases; effect completeness is the clause that the interface's descriptions are the effects, of which faithfulness is the representation half. Added to the corrigibility page's named hypotheses. Rejected alternative: descriptions written by the proposer of the option.