DRIVERS-1408 - Add guidance on adding _id fields to documents to CRUD spec

source/crud/crud.md

@@ -815,6 +815,12 @@ database-level aggregation will allow users to receive a cursor from these colle
 
 ##### Insert, Update, Replace, Delete, and Bulk Writes
 
+###### Generated identifiers
+
+The insert and bulk insert operations described below MUST generate identifiers for all documents that do not already
+have them. These identifiers SHOULD be prepended to the document so they are the first field, in order to prevent the
+server from spending time re-ordering the document.
+
 ```typescript
 interface Collection {
 
@@ -2474,6 +2480,8 @@ aforementioned allowance in the SemVer spec.
 
 ## Changelog
 
+- 2024-10-28: Clarified that generated identifiers should be prepended to documents.
+
 - 2024-10-01: Add sort option to `replaceOne` and `updateOne`.
 
 - 2024-09-12: Specify that explain helpers support maxTimeMS.

source/crud/tests/README.md

@@ -737,3 +737,10 @@ that `firstEvent.operationId` is equal to `secondEvent.operationId`. Assert both
 To force completion of the `w:0` writes, execute `coll.countDocuments` and expect the returned count is
 `maxMessageSizeBytes / maxBsonObjectSize + 1`. This is intended to avoid incomplete writes interfering with other tests
 that may use this collection.
+
+### 16. Generated document identifiers are the first field in their document
+
+Construct a `MongoClient` (referred to as `client`) with
+[command monitoring](../../command-logging-and-monitoring/command-logging-and-monitoring.md) enabled to observe
+CommandStartedEvents. Perform an `insert` command using `client` and assert that one CommandStartedEvent (referred to as
+`event`) was observed, and that the first field of `event.command.documents[0]` is `_id`.