From 2c16853e4d211a273838c01a8d8a56b05a5218d0 Mon Sep 17 00:00:00 2001
From: Hongren Zheng <i@zenithal.me>
Date: Thu, 16 Oct 2025 02:27:05 +0800
Subject: [PATCH 1/3] Make cushion in BFV HPSPOVERQLEVELED mode larger (#1067)

* Make cushion in BFV HPSPOVERQLEVELED mode larger

* change 4 * mulDepth to 3 * mulDepth
---
 src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp b/src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp
index d23f31d60..4915647ee 100644
--- a/src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp
+++ b/src/pke/lib/scheme/bfvrns/bfvrns-leveledshe.cpp
@@ -184,7 +184,7 @@ uint32_t FindLevelsToDrop(uint32_t multiplicativeDepth, std::shared_ptr<CryptoPa
     // adding the cushon to the error (see Appendix D of https://eprint.iacr.org/2021/204.pdf for details)
     // adjusted empirical parameter to 16 from 4 for threshold scenarios to work correctly, this might need to
     // be further refined
-    int32_t levels = std::floor((loge - 2 * multiplicativeDepth - 16 - logExtra) / dcrtBits);
+    int32_t levels = std::floor((loge - 3 * multiplicativeDepth - 16 - logExtra) / dcrtBits);
     size_t sizeQ   = cryptoParamsBFVrns->GetElementParams()->GetParams().size();
 
     if (levels < 0)

From e1019ec4493fcf85b55b97478834b9f23866b26b Mon Sep 17 00:00:00 2001
From: Carlo Pascoe <cpascoe@dualitytech.com>
Date: Fri, 17 Oct 2025 04:42:53 -0400
Subject: [PATCH 2/3] add dev to list of pull_request branches

---
 .github/workflows/pull-request.yml | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/pull-request.yml b/.github/workflows/pull-request.yml
index 3bcb44a01..f8251325e 100644
--- a/.github/workflows/pull-request.yml
+++ b/.github/workflows/pull-request.yml
@@ -4,17 +4,18 @@ on:
   pull_request:
     branches:
       - main
+      - dev
 
 jobs:
   call:
     uses: openfheorg/openfhe-development/.github/workflows/generic_workflow.yml@github-ci
     with:
       runner: ${{ vars.RUNNER }}
-      compiler: "GCC-11"
-      native_backend: "64"
-      mb2_jobs: "all"
-      mb4_jobs: "all"
-      mb6_jobs: "all"
+      compiler: "GCC-14"
+      native_backend: "all"
+      mb2_jobs: "mb2"
+      mb4_jobs: "mb4_tcm"
+      mb6_jobs: "mb6"
       # cmake_args_map holds job specific additional cmake options. compiler flags, native_backend flag and
       # OpenMP flag are set in generic_workflow.yml
       cmake_args_map: '{
@@ -29,4 +30,3 @@ jobs:
                   "mb6_ntl_tcm"       : "-DBUILD_EXTRAS=ON -DMATHBACKEND=6 -DWITH_NTL=ON -DWITH_TCM=ON",
                   "mb6_ntl_debug_tcm" : "-DBUILD_EXTRAS=ON -DMATHBACKEND=6 -DWITH_NTL=ON -DWITH_TCM=ON -DCMAKE_BUILD_TYPE=Debug",
                 }'
-      

From 08e370b284369c1124a927f0156b0620b8092ce3 Mon Sep 17 00:00:00 2001
From: yspolyakov <89226542+yspolyakov@users.noreply.github.com>
Date: Mon, 20 Oct 2025 13:49:08 -0400
Subject: [PATCH 3/3] updated to v1.4.2 (#1072)

Co-authored-by: Yuriy Polyakov <ypolyakod@dualitytech.com>
---
 CMakeLists.txt                    | 2 +-
 docs/static_docs/Release_Notes.md | 6 ++++++
 2 files changed, 7 insertions(+), 1 deletion(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index c093774e3..7cc5edc2a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -27,7 +27,7 @@ project (OpenFHE C CXX)
 
 set(OPENFHE_VERSION_MAJOR 1)
 set(OPENFHE_VERSION_MINOR 4)
-set(OPENFHE_VERSION_PATCH 1)
+set(OPENFHE_VERSION_PATCH 2)
 set(OPENFHE_VERSION ${OPENFHE_VERSION_MAJOR}.${OPENFHE_VERSION_MINOR}.${OPENFHE_VERSION_PATCH})
 
 set(CMAKE_CXX_STANDARD 17)
diff --git a/docs/static_docs/Release_Notes.md b/docs/static_docs/Release_Notes.md
index b9fba5972..a68e916f6 100644
--- a/docs/static_docs/Release_Notes.md
+++ b/docs/static_docs/Release_Notes.md
@@ -1,3 +1,9 @@
+10/20/2025: OpenFHE 1.4.2 (stable) is released
+
+* Fixes a bug introduced by PR #1007 that affected large-depth scenarios for the `HPSPOVERLEVELED` mode of BFV (#1066)
+
+The detailed list of changes is available at https://github.com/openfheorg/openfhe-development/issues?q=is%3Aissue+milestone%3A%22Release+1.4.2%22
+
 10/14/2025: OpenFHE 1.4.1 (stable) is released
 
 * Changes `convert` to `ConvertRLWEToCKKS` and `ConvertCKKSToRLWE` + other small API updates for functional CKKS bootstrapping (#1047)