Java: Update provenance description to prepare for the upcoming changes.

Author: michaelnebel

docs/codeql/codeql-language-guides/customizing-library-models-for-java.rst

@@ -410,19 +410,28 @@ The following components are supported:
 Provenance
 ----------
 
-The **provenance** column is used to specify the provenance (origin) of the model definition.
-
+The **provenance** column is used to specify the provenance (origin) of the model definition and how the model was verified.
 The following values are supported:
 
-- **manual**: The model was manually created (or verified by a human) and added to the extensible predicate.
-- **generated**: The model was generated by the model generator and added to the extensible predicate.
-- **ai-generated**: The model was generated by AI and added to the extensible predicate.
+- **manual**: The model was manually created and added to the extensible predicate.
+
+or values in the form **origin-verification**, where origin is one of:
+
+- **ai**: The model was generated by AI.
+- **df**: The model was generated by the dataflow model generator.
+- **tb**: The model was generated by the type based model generator.
+- **hq**: The model was generated using a heuristic query.
+
+and verification is one of:
+
+- **manual**: The model was verified by a human.
+- **generated**: The model was generated, but not verified by a human.
 
-The provenance is used to distinguish between models that are manually added to the extensible predicate and models that are automatically generated.
+The provenance is used to distinguish between models that are manually added (or verified) to the extensible predicate and models that are automatically generated.
 Furthermore, it impacts the data flow analysis in the following way:
 
-- A **manual** model takes precedence over **generated** models. If a **manual** model exists for an element then all generated models are ignored.
-- A **generated** or **ai-generated** model is ignored during analysis, if the source code of the element it is modeling is available.
+- A **manual** model takes precedence over **generated** models. If a **manual** model exists for an element then all **generated** models are ignored.
+- A **generated** model is ignored during analysis, if the source code of the element it is modeling is available.
 
 That is, generated models are less trusted than manual models and only used if neither source code nor a manual model is available.