Constant DRIVE_VERSION_V9 

pub const DRIVE_VERSION_V9: DriveVersion;

Drive version 9. Introduced in protocol v14, carrying both of v14’s drive-side changes:

• Shared-prefix aggregate index fix — DRIVE_DOCUMENT_METHOD_VERSIONS_V4 bumps the four index walkers to v2 (and the document update walker to v1) so contracts that pair an aggregating (countable / summable) index with a compound index sharing its leading property can insert, update, and delete documents.
• Contract-level ranked aggregates — the same V4 table adds the detect_ranked_mode routing slot, grove_methods.batch gains the three indexed-tree creation slots, and methods.verify gains document_ranked.verify_ranked_top_k_proof. All are 0 at introduction; the ranked grammar itself is gated one layer up by CONTRACT_VERSIONS_V6’s meta schema v3.

Everything else matches DRIVE_VERSION_V8.