Pin Unlink case to dynamic event source support

cases/unlink_xyz/pool/case.yaml

@@ -32,7 +32,7 @@ selected_functions:
   - acceptOwnership
   - renounceOwnership
 source_language: solidity
-verity_version: cd1f92dda5bbf3aed775a744cba1e3da883c739e
+verity_version: 3b7e69bf819356c64c567f84dd686739befab334
 lean_toolchain: leanprover/lean4:v4.22.0
 abstraction_level: protocol_slice
 abstraction_tags:
@@ -58,7 +58,8 @@ abstraction_notes: >
   and tracked under verity#1420). The model uses every Solidity-feature-parity
   primitive that landed in verity through PRs #1782 (selfbalance), #1795
   (Unlink-audit helpers), #1810 (callWithValue ECM), and #1827 (BN254
-  precompile ECMs + `keccak256_lit` literal sugar).
+  precompile ECMs + `keccak256_lit` literal sugar), plus #1870
+  (memory-array helper lowering) and #1871 (dynamic-array event sources).
 
   The three public ZK entry points (`transfer`, `withdraw`, and
   `emergencyWithdraw`) now build against `Array Transaction` /

lake-manifest.json

@@ -5,10 +5,10 @@
    "type": "git",
    "subDir": null,
    "scope": "",
-   "rev": "cd1f92dda5bbf3aed775a744cba1e3da883c739e",
+   "rev": "3b7e69bf819356c64c567f84dd686739befab334",
    "name": "verity",
    "manifestFile": "lake-manifest.json",
-   "inputRev": "cd1f92dda5bbf3aed775a744cba1e3da883c739e",
+   "inputRev": "3b7e69bf819356c64c567f84dd686739befab334",
    "inherited": false,
    "configFile": "lakefile.lean"},
   {"url": "https://github.com/lfglabs-dev/EVMYulLean.git",

lakefile.lean

@@ -5,7 +5,7 @@ package «verity-benchmark» where
   version := v!"0.1.0"
 
 require verity from git
-  "https://github.com/lfglabs-dev/verity.git"@"cd1f92dda5bbf3aed775a744cba1e3da883c739e"
+  "https://github.com/lfglabs-dev/verity.git"@"3b7e69bf819356c64c567f84dd686739befab334"
 
 @[default_target]
 lean_lib «Benchmark» where