diff --git a/Changes b/Changes
index b2e9db90f..f3ede3625 100644
--- a/Changes
+++ b/Changes
@@ -67,6 +67,9 @@ Verilator 5.053 devel
 * Optimize modport resolution with many interface instances (#8496) (#8497). [Deanyone Su]
 * Optimize covergroup bin generation (#8499). [Marco Bartoli]
 * Optimize through-package variables in DFG. [Geza Lore, Testorrent USA, Inc.]
+* Optimize assertion control queries (#8547). [Artur Bieniek, Antmicro Ltd.]
+* Optimize sched-initial/static/final split to once per sub-function (#8549). [Krzysztof Bieganski, Antmicro Ltd.]
+* Optimize exhaustive case if-chains with an unconditional else (#8554). [Nick Brereton]
 * Move module inlining after V3Scope (#8453) (#1539). [Geza Lore, Testorrent USA, Inc.]
 * Fix array slice crash when used as a bare value (#5132) (#8262). [Marco Frank]
 * Fix function reference into generate case block (#5312) (#8532). [Hongseok Choi]
@@ -79,12 +82,14 @@ Verilator 5.053 devel
 * Fix multidimensional packed array type handling (#8235). [Artur Bieniek, Antmicro Ltd.]
 * Fix library method argument references (#8252). [Geza Lore, Testorrent USA, Inc.]
 * Fix CMake to call Verilator Perl wrapper (#8269) (#8270) (#8311). [Drew Risinger]
+* Fix real values and unenforced rand/randc type-eligibility rules in constraints (#8273) (#8275) (#8276). [Aditya Shevade]
 * Fix assignment pattern default fill of an array of unpacked structs (#8289). [Nick Brereton]
 * Fix escape strings in pattern formatting (#8297). [Marco Bartoli]
 * Fix DECLFILENAME warning on nested declarations (#8302). [Martijn Wobbes]
 * Fix cache of boundary vertices in DFG cycle-breaking (#8308). [Shriyans Sahoo]
 * Fix property and sequence line coverage (#8314). [Andrii, Antmicro Ltd.]
 * Fix wide typed pattern formatting primitives (#8325). [Marco Bartoli]
+* Fix circular class inheritance hang (#8324) (#8545). [Saqib Khan]
 * Fix V3InstrCount with recursive functions (#8327) (#8361). [Geza Lore, Testorrent USA, Inc.]
 * Fix parameterized class nested in a parameterized interface (#8328) (#8329). [Kristof Marien]
 * Fix printing signed enums and wide enum names (#8338). [Marco Bartoli]
@@ -144,7 +149,13 @@ Verilator 5.053 devel
 * Fix verilator_coverage reports rounding incomplete coverage to 100.0% (#8523). [Jordan Carlin]
 * Fix extern class method rejects matching virtual interface argument type (#8525) (#8526). [Kristof Marien]
 * Fix of queue pop return value access (#8529) (#8511). [Igor Zaworski, Antmicro Ltd.]
+* Fix derived class construction resets inherited per-instance rand_mode state (#8527) (#8528). [Kristof Marien]
 * Fix crash on class handle passed to string port (#8536) (#8538). [Noam Gallmann]
+* Fix stack depth calculations over calls (#8544). [Nick Brereton]
+* Fix cascading errors after unsupported class dot reference in parameter value (#8551). [Martijn Wobbes, Antmicro Ltd.]
+* Fix vpi_put_value crash on NULL value pointer (#8553). [Nick Brereton]
+* Fix --hierarchical parameter specialization name collisions (#8555). [Marco Bartoli]
+* Fix dehash of a suffix after a hashed name (#8556). [Ethan Sifferman]
 
 
 Verilator 5.052 2026-09-05
diff --git a/docs/spelling.txt b/docs/spelling.txt
index 9fe542207..b4b7535c3 100644
--- a/docs/spelling.txt
+++ b/docs/spelling.txt
@@ -347,6 +347,7 @@ Narcis
 Nassim
 Nauticus
 Nayak
+Nazar
 Nenakhov
 Newgard
 Nigam
@@ -589,6 +590,7 @@ Yurii
 Zaruba
 Zhang
 Zhi
+Zibilyuk
 abirkmanis
 accessor
 accessors
@@ -720,6 +722,7 @@ deduplication
 defenv
 defname
 defparam
+dehash
 demangling
 dep
 deparametrized