Lataa Aptos 9.6.0

Commits
- 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
- ae8e22d: remove permissioned signer from framework (#20198) (Teng Zhang) #20198
- 4e024b7: [mono-move] Remove ExecutionContext (#20202) (George Mitenkov) #20202
- 4d4b6c4: [move-flow] Bump version to 2.0.0 (#20204) (Amine Sassi) #20204
- 8280675: [cli] Bump to 9.5.0 (#20208) (Calin Tataru) #20208
- 7aacca4: [types] Defer signature decompression in AggregateSignature and SignatureWithStatus (#20089) (Balaji Arun) #20089
- 0ee0270: [Types] Reduce display count for validator verifier. (Josh Lind) #20200
- fde5031: [Consensus] Use display format for logging. (Josh Lind) #20200
- 7918105: [vm] Bound fail-closed delayed-field squash to [1.46, 1.48) (#20211) (Zekun Li) #20211
- f129dfc: [spec][framework] OM intrinsics (#20081) (Teng Zhang) #20081
- 6b94cd6: [framework] Dispatch FunctionInfo hooks via function values (#20197) (Wolfgang Grieskamp) #20197
- 24e5b77: [move] Remove resource access control (#20085) (George Mitenkov) #20085
- 17d5aae: [mono-move] Decouple gas instrumentation from lowering (#20215) (Calin Tataru) #20215
- 807a831: [forge] bump deployer version (aptos-bot) #20082
- 20f9379: [vm] Flag to disable closure BCS serialization (#20220) (George Mitenkov) #20220
- 8b29600: [move] Add more charges for string natives (#20232) (George Mitenkov) #20232
- 74f4acc: [move] Allow switch from parallel to integer aggregator for APT supply (#20214) (George Mitenkov) #20214
- 4b5bebf: [mono-move] Migrate specializer errors (#20221) (Calin Tataru) #20221
- 28c1851: [spec] Add intrinsic specs for BigOrderedMap (#20213) (Teng Zhang) #20213
- e7f5c20: [move prover] fix move prover bugs (#20227) (Teng Zhang) #20227
- ac1a82f: [vm] Remove V1 aggregator from execution (#20169) (George Mitenkov) #20169
- d825a74: [block-stm] Move value with layout out of executor/mvhashmap (#20209) (George Mitenkov) #20209
- ecfa204: [block-stm] Concrete types for modules (#20219) (George Mitenkov) #20219
- e6fbd10: [block-stm] Encapsulate post-commit materialization (#20230) (George Mitenkov) #20230
- a36e20b: [trading-native][state-sync] Native-position state sync (#19974) (Guoteng Rao) #19974
- 7f54b89: [framework] Make Option public (#20236) (Teng Zhang) #20236
- c0e82e5: [github] Improve workflow permissions (#20171) (Greg Nazario) #20171
- 51e044e: [mono-move] Add write-set and VM output generation (#20242) (Calin Tataru) #20242
- b5ada94: [indexer] Add crate docs and cleanup TODO anchors (#20247) (Wolfgang Grieskamp) #20247
- 53ed60d: [release] hotfix publishes on non-public (Rustie Lin) #20248
- dea1e96: [executor-benchmark] add run_mix_with_default_params for weighted txn mixes (#20245) (Manu Dhundi) #20245
- 8873921: [mono-move] Type-erased error handling (#20254) (Calin Tataru) #20254
- 0941801: [compiler] Refactor for loop implementation (#20240) (Teng Zhang) #20240
- 068e53b: [state-sync] Fix fast-sync wedge on invalid first snapshot chunk (#20251) (Guoteng Rao) #20251
- b0a593d: Implement chained field access fusion (#20249) (Vineeth Kashyap) #20249
- 28f8208: update readme (#20265) (Teng Zhang) #20265
- f459e75: Reduce and pin the stackless IR instruction size to 32 bytes. (#20256) (Vineeth Kashyap) #20256
- 41bb15e: [framework] Lazy module initialization support (#20235) (Wolfgang Grieskamp) #20235
- 4bca608: fix global variable (#20258) (Teng Zhang) #20258
- 130e90f: Make stackless execution IR have named fields and add better doc comments to the instructions. (#20259) (Vineeth Kashyap) #20259
- 68608fe: [consensus] Dedup voting power tracking in proof coordinator (#20210) (Balaji Arun) #20210
- 9be7667: [prover] Camera-ready revisions for FMCAD'26 higher-order paper (#20284) (Wolfgang Grieskamp) #20284
- e2806a1: [vm] Add RustMV design doc: safe sequential Rust on Move bytecode (#20270) (Wolfgang Grieskamp) #20270
- a2756e6: [consensus] Don't log cancelled derive as error (#20277) (Balaji Arun) #20277
- 733ef4d: [mono-move] Implement vector::move_range as a native function (#20261) (Victor Gao) #20261
- a65bd92: Compile-time differentiation of slot forms. (#20263) (Vineeth Kashyap) #20263
- 329a82d: [mono-move] String natives (#20163) (George Mitenkov) #20163
- fc2f3ab: [mono-move] Fix signer deserialization (#20290) (George Mitenkov) #20290
- 4cc50b9: [github] Fix replay-verify job-level permissions (#20299) (Victor Gao) #20299
- a06e17d: [vm] Gate module publishing on a minimum bytecode version (#20296) (Victor Gao) #20296
- 5387a4f: [indexer] Improve table info parsing (#20295) (Victor Gao) #20295
- bc5690f: [vm] Return none on unknown variant tag (#20304) (George Mitenkov) #20304
- ffb70da: Fix stale lookup of closures and re-verify loaded function. (#20283) (Vineeth Kashyap) #20283
- 8161874: add snapshot function to fungible_asset in framework (#20180) (igor-aptos) #20180
- 5ef6c31: [block-stm] Remove generic error from output (#20255) (George Mitenkov) #20255
- 1702411: Add module location where the award happened. (#20289) (Vineeth Kashyap) #20289
- d72fbe2: CFG Equivalence (#20300) (Vineeth Kashyap) #20300
- 38909bf: [replay-verify] Bump snapshot PVC sizes to fit grown PFN disks (#20301) (Victor Gao) #20301
- 82892a8: [block-stm] Refactor recorded outputs (#20257) (George Mitenkov) #20257
- 1759988: [block-stm] Remove before materialization guard (#20260) (George Mitenkov) #20260
- 00c54b4: [Mempool] Small improvements to txn size estimates. (Josh Lind) #20314
- be15800: [block-stm] Refactor bcs group fallback into its method (#20267) (George Mitenkov) #20267
- cc09f4c: [framework] Add cleanup on orderless proofs (#20070) (Greg Nazario) #20070
- a476e46: [block-stm] Split TransactionOutput into base and LegacyTxnOutput (#20271) (George Mitenkov) #20271
- a322b6e: implement ghost field for structs/enums (#20272) (Teng Zhang) #20272
- e8273c6: [Consensus] Return errors for missing peers when processing AugData (Josh Lind) #20325
- 4023d0b: fix cache layouts of vector-wrapped structs (#20333) (Teng Zhang) #20333
- 65079c7: [mono-move] unit_test signer natives (#20328) (George Mitenkov) #20328
- d1ee9ef: [vm] Add ordering for side-effects traversal (#20337) (George Mitenkov) #20337
- 78644ab: [Config] Update seed peers across networks. (Josh Lind) #20324
- 8b6d5f9: [Config] Restore mainnet seed support. (Josh Lind) #20324
- 3b52823: fix mono unit tests (#20343) (Teng Zhang) #20343
- cfc7cdc: more BOM specs (#20303) (Teng Zhang) #20303
- 59a3b4e: [move prover] ghost carrier and iterator validity for intrinsic maps (#20310) (Teng Zhang) #20310
- 95cbead: bound instruction cache size (#20341) (Vineeth Kashyap) #20341
- ef0321f: Addressing reviewer comments for camera ready (#20346) (Vineeth Kashyap) #20346
- 2b14590: [api] Return 410 for pruned transaction and event reads (#20332) (Jon) #20332
- fd5c21e: [mono-move] Add the MonoMove Aptos transaction executor (#20181) (Victor Gao) #20181
- d3aab25: [vm] Add charges for bcs value traversals (George Mitenkov) #20336
- f979dd4: [vm] Charge bcs value traversal at 3x compare (George Mitenkov) #20336
- f3dbdda: [vm] Update MeterBcsByValueSize activation times (George Mitenkov) #20336
- ddd4467: [repo] Ignore .atlas/ agent state directories (#20369) (Greg Nazario) #20369
- 84f2b75: [framework] BigOrderedMap iterator validity specs (#20311) (Teng Zhang) #20311
- 453b848: fix bv panics (#20344) (Teng Zhang) #20344
- 45b72b6: implement closure frame-cache TODO (#20347) (Vineeth Kashyap) #20347