P-04 - Extra Benign Index Disposition

Status: RESOLVED_ADVISORY

Every extra PK/UNIQUE/FK/CHECK/exclusion/partial/expression/plain-performance index or constraint always fails OBJECT_AUTHORITY_IMMUTABLE.

There is no runtime BENIGN_EXTRA_INDEX exemption. A desired performance index must first be added as an expected typed #20 INDEX row in a new candidate manifest version, pass review/seal/quorum, and activate; only then may it be created, at which point it is expected rather than extra. Names, source allowlists, operator judgment, and ad-hoc labels cannot exempt it. This reuses counted surface #20 and creates no hidden authority or exception path.