Aptos9.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