Lataa Aptos 9.5.1

Code Refactoring
- unify cmpkind and cmop (#20032) #20032 (Vineeth Kashyap)

Commits
- 9bc3d3d: [storage] Speed up loading hot state KVs on restart (wqfish) #20018
- b1cc77e: [storage] Parallelize within-shard hot state load (wqfish) #20018
- dde08a4: [mono-move] Layouts and value traversals (#19980) (George Mitenkov) #19980
- 322601b: [mono-move] LdConst vector support (#20000) (George Mitenkov) #20000
- a395cbd: [mono-move] Equality support (#19995) (George Mitenkov) #19995
- cdfe5c4: [mono-move] Table keys (#19991) (George Mitenkov) #19991
- 171798e: [mono-move] Move gas instrumentation to the IR and fuse charging into control flow (#19963) (Calin Tataru) #19963
- 7d65afc: [docker] Build forge with release profile for perf images (wqfish) #20027
- 7ae5502: [trading-native][storage] Add position-JMT iteration utilities + consolidate with main state (#20021) (Guoteng Rao) #20021
- 05abac1: [mono-move] Native heap allocation, reference API, and reflection natives (#19996) (Victor Gao) #19996
- 1b5ca91: [API] Small tweaks and new test cases. (Josh Lind) #20020
- 9146e5e: [mono-move] Canonizalize vector descriptors (#20026) (George Mitenkov) #20026
- 38b81fb: [storage] Make hot state DBs non-optional (wqfish) #20025
- 8ce3b41: [storage] Log per-RocksDB open latency in schemadb (wqfish) #20039
- eeaefbe: [consensus] Cap RocksDB WAL size (wqfish) #20039
- 230b01c: [mono-move] Integrate global storage ops with specializer (#19964) (George Mitenkov) #19964
- 9b184c7: [mono-move] Replace GasMeter trait with concrete type, move into core (#20043) (Calin Tataru) #20043
- 57dcce5: [genesis] Enable encrypted transactions and chunky DKG v1 (#20028) (Balaji Arun) #20028
- d994a43: [smoke-test] Deflake latest events/txns test (wqfish) #20037
- 0214a43: [Consensus Observer] Small message handling tweaks. (Josh Lind) #20034
- a7b3c33: [mono-move] Aggregator natives (#20014) (George Mitenkov) #20014
- 959af09: [Gas Schedule] Bump gas version to v49 (#20050) (vsharongg) #20050
- a7fccae: [prover][flow] Quantifier weights, state-label witnesses, filtered-env (#20007) (Teng Zhang) #20007
- 21438b3: [spec] aptos-framework spec repair (#19946) (Teng Zhang) #19946
- eac45bc: [mono-move] Add test intrinsics (#20045) (George Mitenkov) #20045
- c07ccb4: change executor bench to feedback output (#20040) (Aaron) #20040
- e9d10e8: [forge] etna: switch to realistic_500tps, 20m duration (#20055) (Balaji Arun) #20055
- 02752cf: [mono-move] Native extensions framework + extension-backed natives (#20024) (Victor Gao) #20024
- 37f7bf1: [storage] Open DBs concurrently via thread::scope (wqfish) #20036
- 69fe58b: [execution] Fix non-deterministic hot state promotions (wqfish) #20057
- e93f229: [forge] etna: bump pinned aptos-core SHA to match etna main (#20059) (Balaji Arun) #20059
- a3c9cc8: [safety-paper] update async, perf, trusted sections and rebuild PDF (#20061) (Teng Zhang) #20061
- 46b57c3: [safety-paper] add reentrancy check section (#20064) (Victor Gao) #20064
- 917b564: vineeth pass over the paper (#20071) (Vineeth Kashyap) #20071
- 97c5e1e: [paper] Pass over the paper (#20072) (George Mitenkov) #20072
- 3a79a68: Another pass over the paper. (#20074) (Vineeth Kashyap) #20074
- efd64db: [mono-move] Cleanup context TODOs (#20051) (George Mitenkov) #20051
- 4fbe27a: [forge] bump deployer version (#19956) (aptos-bot) #19956
- 57de0e0: Implement support for enums in the mono-vm. (#20060) (Vineeth Kashyap) #20060
- 871d8c2: [Consensus Observer] Add ignored message metrics. (Josh Lind) #20080
- b489627: [trading-native][move] Add native_position + trading_native_capability to aptos-experimental (#19949) (Guoteng Rao) #19949
- c26ac0d: [safety paper] Final submitted version (#20087) (Wolfgang Grieskamp) #20087
- 69b349f: [storage] Guard hot state reads with the hot pruners (wqfish) #20096
- 81e6a1b: [prover] Verifiable inline functions and inline higher-order functions (#20066) (Wolfgang Grieskamp) #20066
- 377890f: [storage] Add hot state snapshot read APIs (wqfish) #20092
- 4ef94d8: support remaining vector operations (#20083) (Vineeth Kashyap) #20083
- d0ea2e4: Generics monomorphization in the specializer (#20098) (Vineeth Kashyap) #20098
- 08f9302: [framework] Increase federated JWK limit (#20105) (zhoujunma) #20105
- 0b8c2c6: [consensus] Decouple encryption round from consensus round (#20065) (Balaji Arun) #20065
- 8edd030: [storage] Add hot state snapshot chunk-with-proof (wqfish) #20101
- 928d8b4: [mono-move] Enum value traversal support (#20095) (George Mitenkov) #20095
- 325da4b: [move-flow] Add facts query to move_package_query (#20068) (Amine Elsassi) #20068
- 6daeb3b: [mono-move] Basic hash natives (#20100) (George Mitenkov) #20100
- ee8b149: [api] Annotate closure captured arguments (#19999) (George Mitenkov) #19999
- 39d0ec2: [move-flow] Add hardened release pipeline (#20054) (Amine Elsassi) #20054
- 832e9c4: [mono-move] Add stdlib native functions (string, bcs, object, table) (#20073) (Victor Gao) #20073
- c7093da: Revise CODEOWNERS for updated directory ownership (#20099) (Greg Nazario) #20099
- c3066ad: [mono-move] Fix bool deserialization to be canonical (#20108) (George Mitenkov) #20108
- 34295d5: Collapse unary cast variants (#20110) (Vineeth Kashyap) #20110
- 9b8407e: Bump form-data from 4.0.5 to 4.0.6 in /crates/aptos-faucet/ts-client (#20094) (dependabot[bot]) #20094
- fc4d93e: collapse generic/non-generic call & closure IR twins (#20109) (Vineeth Kashyap) #20109
- 9ee3570: [mono-move] Add a Move unit test harness (#20042) (Calin Tataru) #20042
- 62b6bc6: [storage] Add indexer flush to fix flaky test (wqfish) #20118
- 13f2453: [deps] Bump lru from 0.16.1 to 0.18.0 (wqfish) #20118
- 54419d6: [storage] Test hot state LRU overlay fall-through (wqfish) #20118
- 6870a6b: [storage] Add unit tests for hot state in State (wqfish) #20118
- 0b85192: [storage] Add hot state smoke tests (wqfish) #20118
- 3bd6b26: remove draft (#20119) (Teng Zhang) #20119
- c3f08d8: [execution] Enable Block-STM v2 by default (#20116) (Zekun Li) #20116
- a340135: [consensus] Test V1/V2/V3 decryption metadata transitions; remove framework_upgrade chunky-DKG override (#20111) (Balaji Arun) #20111
- 4f7b1b3: [consensus] Exclude retryable encrypted txns from execution (#20115) (Balaji Arun) #20115
- 96120d1: [mono-move] TODOs cleanup (#20124) (George Mitenkov) #20124
- 90b23da: [mono-move] LdConst GC test (#20125) (George Mitenkov) #20125
- dbac2fe: [move perf] Shorten the window where the PR mechanism triggers to 2 days (#20135) (Wolfgang Grieskamp) #20135
- d87b08e: [ci] Calibrate single-node execution performance values (#20141) (aptos-bot) #20141
- e39f360: [mono-move] CI benchmark (#20138) (George Mitenkov) #20138
- 0edb427: [trading-native] Native-position consensus state root (rebased on main + pruner) (#20016) (Guoteng Rao) #20016
- 4e4c761: [framework] Do not use aggregator V1 in genesis (#20130) (George Mitenkov) #20130
- 73e51f7: [vm] Lazily prepare keyless PVK (#20148) (zhoujunma) #20148
- be2341d: [mono-move] Keep type as identity, use layouts for size/alignment (#20139) (George Mitenkov) #20139
- e6601bb: Remove a left-over debug output from the executor-benchmark (#20152) (Andrei Tonkikh) #20152
- 3b3a0e7: Update gas version on main branch (#20154) (vsharongg) #20154
- 2c50705: [consensus] demote leader-reputation short-window log during catch-up (#20086) (Balaji Arun) #20086
- 123536d: more spec fix (#20076) (Teng Zhang) #20076
- 7091534: [stdlib] Make std::result::Result public and enable its helpers (#20150) (Wolfgang Grieskamp) #20150
- f7b6352: [mono-move] Replay benchmark (#20126) (Calin Tataru) #20126
- 8d816c2: [vm] Refactor function type creation (#20149) (George Mitenkov) #20149
- b4bd877: [storage] KV replay: split batches at epoch endings (wqfish) #20157
- 7b5ef95: [types] Add bon builder for TransactionInfo (wqfish) #20157
- c0f373b: [refactor] Add bon builders to more multi-arg constructors (wqfish) #20157
- 44554f0: [refactor] Add bon builders to two more swap-prone fns (wqfish) #20157
- d8852e0: [deps] Bump num-bigint-dig 0.8.4 -> 0.8.6 (wqfish) #20157
- f3e3806: [execution] Decouple hot state root from TXN_INFO_V1 (wqfish) #20157
- be916bb: [mono-move] Small benchmark improvements (#20158) (George Mitenkov) #20158
- e7db977: [mono-move] Hoist interpreter machine registers into the run loop (#20134) (Victor Gao) #20134
- b7f23b2: [release] Add aptos-release-tool (#20121) (Victor Gao) #20121
- e694690: [mono-move] Add secp256k1 natives (#20159) (George Mitenkov) #20159
- a7001ac: [consensus] Reject opt block at ProposalMsg ingress (#20161) (Daniel Xiang) #20161
- f9244fa: [types] Derive state-key shard index from array length (wqfish) #20166
- 1dbcc78: [framework] Add multisig script feature flag back (#20142) (Greg Nazario) #20142
- daf7138: [move-flow] Add update subcommand (#20170) (Amine Elsassi) #20170
- 383d2c3: [types] Reduce state key registry lock contention (wqfish) #19989
- e75a0db: [execution] Sort to_make_hot once at cap time (wqfish) #19989
- f38c8bb: [forge] Keep hotness flag off in mixed-version suites (wqfish) #19989
- 75222b2: [vm] Record txn read sets for hot state promotion (wqfish) #19989
- c2f0746: add code download mode for comparison testing tool (#20187) (Teng Zhang) #20187
- 58b3d3e: fix framework spec (#20151) (Teng Zhang) #20151
- b7e72f7: [vm] Harden AIP-133 function reflection (#20147) (Wolfgang Grieskamp) #20147
- fe434eb: [API] Verify JSON batch sizes immediately. (Josh Lind) #20079
- ee3597b: [API] Always verify endpoint accessibility first. (Josh Lind) #20079
- c514c56: [framework] Mint gas refund as APT FA via MintRef (#20132) (Aaron) #20132
- 31ff67b: [State Sync] Use saturating operations. (Josh Lind) #20199
- 7befd20: [mono-move] Seed features resource in unit test harness (#20201) (Calin Tataru) #20201
- 22014e2: fix attrs,type and returnTypes qualification + add lambda tagging + read-only hint (GotenJBZ) #20174