diff --git a/cpp/ql/lib/change-notes/2026-01-16-summarized-callable.md b/cpp/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..b6e5101617e
--- /dev/null
+++ b/cpp/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.
diff --git a/csharp/ql/lib/change-notes/2026-01-16-summarized-callable.md b/csharp/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..02c453207d4
--- /dev/null
+++ b/csharp/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.
\ No newline at end of file
diff --git a/go/ql/lib/change-notes/2026-01-16-summarized-callable.md b/go/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..b6e5101617e
--- /dev/null
+++ b/go/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.
diff --git a/java/ql/lib/change-notes/2026-01-16-summarized-callable.md b/java/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..b6e5101617e
--- /dev/null
+++ b/java/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.
diff --git a/javascript/ql/lib/change-notes/2026-01-16-summarized-callable.md b/javascript/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..b6e5101617e
--- /dev/null
+++ b/javascript/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.
diff --git a/python/ql/lib/change-notes/2026-01-16-summarized-callable.md b/python/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..b6e5101617e
--- /dev/null
+++ b/python/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.
diff --git a/ruby/ql/lib/change-notes/2026-01-16-summarized-callable.md b/ruby/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..b6e5101617e
--- /dev/null
+++ b/ruby/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.
diff --git a/rust/ql/lib/change-notes/2026-01-16-summarized-callable.md b/rust/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..b6e5101617e
--- /dev/null
+++ b/rust/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.
diff --git a/swift/ql/lib/change-notes/2026-01-16-summarized-callable.md b/swift/ql/lib/change-notes/2026-01-16-summarized-callable.md
new file mode 100644
index 00000000000..b6e5101617e
--- /dev/null
+++ b/swift/ql/lib/change-notes/2026-01-16-summarized-callable.md
@@ -0,0 +1,4 @@
+---
+category: minorAnalysis
+---
+* The predicate `SummarizedCallable.propagatesFlow` has been extended with the columns `Provenance p` and `boolean isExact`, and as a consequence the predicates `SummarizedCallable.hasProvenance` and `SummarizedCallable.hasExactModel` have been removed.