Merge branch 'master' into flat/simpler-long-finality

Resolves conflicts from master #12172 (FlatDB persistence edge cases from
the signed/unsigned type unification), which touched the same files the
long-finality work refactored:

- CompactionSchedule / ICompactionSchedule: adopt master's
  NextFullCompactionAfter(in StateId) signature and PreGenesis->block-0
  anchoring; keep the branch's force-persist-backstop rationale comment and
  the extra persisted-snapshot boundary predicates.
- PersistenceManager.DetermineSnapshotAction: port master's two fixes onto
  the branch's two-phase persist/convert logic — replace the
  latest-below-persisted Debug.Assert with a warn-and-continue, and use
  SaturatingSub so a deep reorg can't underflow the in-memory depth. Update
  the surviving NextFullCompactionAfter callsite to pass the StateId.
- PersistenceManagerTests: keep the branch's DetermineSnapshotAction tuple
  API and test names; port master's two regression tests, adapted to that
  API — genesis-first persist from a fresh DB, and the no-underflow guard.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>

Author: asdacap

.github/CODEOWNERS

@@ -38,8 +38,9 @@
 /src/Nethermind/Nethermind.Sockets @LukaszRozmej @benaadams
 /src/Nethermind/Nethermind.Specs @smartprogrammer93
 /src/Nethermind/Nethermind.State @LukaszRozmej @benaadams @asdacap @flcl42 @damian-orzechowski
-/src/Nethermind/Nethermind.StateComposition @daniilankusin
-/src/Nethermind/Nethermind.StateComposition.Test @daniilankusin
+/src/Nethermind/Nethermind.StateDiff.Core @daniilankusin
+/src/Nethermind/Nethermind.StateDiffsWriter @daniilankusin
+/src/Nethermind/Nethermind.StateDiffsWriter.Test @daniilankusin
 /src/Nethermind/Nethermind.Stateless* @rubo @LukaszRozmej
 /src/Nethermind/Nethermind.Synchronization @LukaszRozmej @benaadams @asdacap @flcl42 @marcindsobczak
 /src/Nethermind/Nethermind.Taiko @smartprogrammer93 @dipkakwani

.github/workflows/claude-review.yml

@@ -146,6 +146,7 @@ jobs:
 
             Set `mergeable: false` in the structured output if any Critical, High, or Medium findings exist that have not been explicitly acknowledged with rationale in prior PR comments. Otherwise `mergeable: true`.
           claude_args: |
+            --model opus
             --allowedTools "mcp__github_inline_comment__create_inline_comment,Bash(gh:*),WebFetch"
             --json-schema '{"type":"object","properties":{"mergeable":{"type":"boolean","description":"False if any Critical, High, or Medium findings remain unresolved and unexplained"},"critical_count":{"type":"integer"},"high_count":{"type":"integer"},"medium_count":{"type":"integer"},"summary":{"type":"string"}},"required":["mergeable","critical_count","high_count","medium_count","summary"]}'
 
@@ -161,6 +162,7 @@ jobs:
         with:
           claude_code_oauth_token: ${{ secrets.CLAUDE_CODE_OAUTH_TOKEN }}
           claude_args: |
+            --model opus
             --allowedTools "Bash(gh:*),WebFetch"
 
       # After a successful review, read the structured verdict from the previous step and

.github/workflows/sync-master-validation.yml

@@ -78,8 +78,8 @@ jobs:
               ;;
           esac
 
-          # Filter testnet-matrix.json to master-validation chains only
-          MASTER_CHAINS='["mainnet","gnosis","op-mainnet"]'
+          # master-validation chains; op-mainnet dropped to cut Linode cost (kept in sync-supported-chains)
+          MASTER_CHAINS='["mainnet","gnosis"]'
 
           matrix=$(cat scripts/config/testnet-matrix.json | jq \
             --argjson chains "$MASTER_CHAINS" \