Struct DocumentHavingRequest 

pub struct DocumentHavingRequest<'a> {
    pub contract: &'a DataContract,
    pub document_type: DocumentTypeRef<'a>,
    pub group_by: &'a [String],
    pub select: SelectProjection,
    pub having: &'a [HavingClause],
    pub order_by: &'a [OrderClause],
    pub where_clauses: &'a [WhereClause],
    pub resolved_time_ranges: &'a [ResolvedTimeRange],
    pub limit: Option<u32>,
    pub offset: Option<u32>,
    pub has_start_at: bool,
    pub prove: bool,
}

All inputs required by Drive::execute_document_having_request. Built by the gRPC handler from a GetDocumentsRequestV1 after wire-decoding + contract lookup — the same construction pattern as super::super::drive_document_ranked_query::DocumentRankedRequest.

offset and start_at are carried even though a having-range request must leave both empty: drive owns the rejection, so the contract is enforced identically no matter which upstream path built the request. See super::mode_detection::detect_having_mode_v0 for why each is refused rather than ignored.

Fields

contract: &'a DataContract

Live contract (already loaded by the handler).

document_type: DocumentTypeRef<'a>

Resolved document type within contract.

group_by: &'a [String]

The single GROUP BY property. Must be the ranked index’s only property.

select: SelectProjection

The projection whose aggregate the having clause bounds: COUNT(*), SUM(field) or AVG(field).

having: &'a [HavingClause]

The HAVING clauses. Exactly one, bounding the selected aggregate.

order_by: &'a [OrderClause]

The ORDER BY clauses. Empty (ascending default) or exactly one, naming the selected aggregate.

where_clauses: &'a [WhereClause]

Structured where clauses. Empty for the single-property form; pins on the covering compound index’s leading properties for the pinned-prefix form: one equality pin per property, of which at most one may instead be a bounded IN (one branch per element, merged; entries then carry in_key).

resolved_time_ranges: &'a [ResolvedTimeRange]

The fields among where_clauses whose equality clause was produced by IN_TIME_RANGE resolution (see crate::query::DriveDocumentQuery::resolved_time_ranges). Must be empty: HAVING’s equality prefixes pin plain ranked indexes (its picker excludes transformed ones), so a resolved bucket-start equality would authenticate raw-timestamp matches at the bucket boundary instead of window membership. Carried (and rejected) here for the same reason the ranked request carries it: drive owns the rejection regardless of which upstream path built the request.

limit: Option<u32>

Request limit. Required; 1 ..= MAX_HAVING_LIMIT.

offset: Option<u32>

Request offset. Must be None — the range walk has no skip.

has_start_at: bool

Whether the request carried a start_at / start_after cursor. Must be false.

prove: bool

Whether to produce a proof instead of materializing entries.