aptos-labs/aptos-core aptos-cli-v9.6.0

Aptos CLI Release v9.6.0

on GitHub

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
• 0c66e5c: threading bytecode provenance in the specializer (#20366) (Vineeth Kashyap) #20366
• 79ab3b0: [cli] Clean up CLI documentation and help text (#20368) (Greg Nazario) #20368
• 5d7460c: [prover] Inline behavioral predicates for inline functions (#20345) (Wolfgang Grieskamp) #20345
• 99bbd2b: [prover] Formalize Move frontend, IR, and prover stages in Lean (#20315) (Wolfgang Grieskamp) #20315
• 09f0a27: Increase testnet archival PFN size to 26Ti (Stelian Ionescu) #20386
• 6f8f50c: Fix royalty (#20385) (Aaron) #20385
• d8478cc: [prover] Generate one Boogie program per verification root (#20392) (Wolfgang Grieskamp) #20392
• 1ef8cd6: compiler checks for native declarations (#20357) (Vineeth Kashyap) #20357
• 36d945c: [mono-move] Fix executor signer count and transaction-context seeding (#20389) (Victor Gao) #20389
• 6426ddc: [mono-move] Replay-bench the Aptos transaction executor against AptosVM (#20370) (Victor Gao) #20370
• 14daa9f: [mono-move] Add stateless crypto natives (#20329) (George Mitenkov) #20329
• ea9194a: [mono-move] Remaining bls12381 natives (#20339) (George Mitenkov) #20339
• feb44df: [mono-move] Ristretto255 scalar natives (#20395) (George Mitenkov) #20395
• fef75bd: [mono-move] Chain ID and consensus config natives (#20396) (George Mitenkov) #20396
• 4f5cf34: use archive in url for package tests (#20404) (Teng Zhang) #20404
• ee0cc82: add bv internal pragma (#20384) (Teng Zhang) #20384
• 0dd55d3: [move-prover] enumeration view for intrinsic maps (#20380) (Teng Zhang) #20380
• 0038751: fix global memory in lifted lambda (#20331) (Teng Zhang) #20331
• e08e630: [mono-move] Initialization natives (#20397) (George Mitenkov) #20397
• 88c3668: make language version 2.2 the minimum supported by the compiler (#20398) (Vineeth Kashyap) #20398
• 9e88533: [types] Recognize the full devnet chain ID range (wqfish) #20407
• 074d7f0: [config] Keep hot state across restarts on devnet (wqfish) #20407
• 35b0be7: Replay-verify: increase Mainnet PFN snapshot size (Stelian Ionescu) #20410
• 73d923a: [block-stm] Add SingleTransactionExecutor abstraction (#20276) (George Mitenkov) #20276
• 50112db: [lean model] Add generics and shared XIR import (#20393) (Wolfgang Grieskamp) #20393
• 653436b: fix optimizer bug w.r.t. heap-backed values (#20390) (Vineeth Kashyap) #20390
• a197c69: [prover] Verify inline higher-order functions (#20360) (Wolfgang Grieskamp) #20360
• 90030a3: [docs] Document prophecy reference model (#20387) (Wolfgang Grieskamp) #20387
• 0f8ef0f: [consensus] Match commit votes on full LedgerInfo (#20335) (Daniel Xiang) #20335
• 96c1f3a: [vm] Add mainnet framework function usage coverage (#20406) (Wolfgang Grieskamp) #20406
• 7fb8853: [execution] Drain state sync before teardown (wqfish) #20409
• 84d6392: [mono-move] Do not zero-initialize heap (#20413) (George Mitenkov) #20413
• a2c61db: [mono-move] Enable stdlib on mono move (#20420) (George Mitenkov) #20420
• 8f1e1d2: [mono-move] User context natives (#20403) (George Mitenkov) #20403
• 794ac05: retry crane copy on transient registry failures (#20425) (Rustie Lin) #20425
• f8f05a9: [mono-move] Derived aggregator natives (#20422) (George Mitenkov) #20422
• 8ea60bf: [mono-move] Refactor group tracking (#20414) (George Mitenkov) #20414
• ea995b2: [mono-move] Initial implementation of pre-execution checks (#20411) (Victor Gao) #20411
• 48f61bf: adds ability inference infra and fixes closure-type in destacking (#20408) (Vineeth Kashyap) #20408
• bd25d15: [mono-move] Support block-metadata transactions (#20417) (Victor Gao) #20417
• 872499c: [Lean on Move] Add Lean-authored Move modules (#20394) (Wolfgang Grieskamp) #20394
• 2f2eb62: add miri-based execution of mono-move tests (#20415) (Vineeth Kashyap) #20415
• 79dfda0: [vm] Remove permissioned signer VM logic (#20203) (Teng Zhang) #20203
• fca6ee9: [mono-move] Fix constant_serialized_size descriptors (#20423) (George Mitenkov) #20423
• 629a760: fix missing declrs (#20429) (Teng Zhang) #20429
• c50214f: tie SessionEffects to its execution guard (#20435) (Vineeth Kashyap) #20435
• 6a47aff: [ci] Publish framework usage reports privately (#20430) (Wolfgang Grieskamp) #20430
• a4e59c8: [release] Add deploy-testnet to aptos-release-tool (#20436) (Victor Gao) #20436
• 6afd848: [vm] Meter BCS value nodes on deserialize (#20433) (George Mitenkov) #20433
• 6f92410: [cli] Default REST URLs to api.*.aptoslabs.com (#20442) (Greg Nazario) #20442
• 6d836be: [cli] Release Aptos CLI 9.5.1 (#20444) (Greg Nazario) #20444
• c9a864a: [benchmark] Add ways to disable/enable features after initialization (#20443) (George Mitenkov) #20443
• 1d69202: [mono-move] Support block-epilogue transactions (#20438) (Victor Gao) #20438
• f648abe: [jemalloc] Disable HPA for tool binaries (wqfish) #20453
• 2654ba2: [ci] Calibrate single-node execution performance values (#20449) (aptos-bot) #20449
• 004b2af: [vm] Harden reference aliasing (#20439) (George Mitenkov) #20439
• 29114f2: [mono-move] Ristretto255 point native extension (#20399) (George Mitenkov) #20399
• 0dfe6f5: fix broken ordering derivation (#20447) (Vineeth Kashyap) #20447
• 8f55b3c: Fix serialization typo (#20463) (Rex Fernando) #20463
• 9f22abc: [build] Upgrade Rust toolchain to 1.98.0 (wqfish) #20365
• 7d7ebd3: [build] Re-enable clippy::for_kv_map (wqfish) #20365
• 40abdcb: [build] Re-enable clippy::iter_kv_map (wqfish) #20365
• 46c9b68: [build] Re-enable clippy::useless_conversion (wqfish) #20365
• 71587c1: [build] Re-enable clippy::manual_clear (wqfish) #20365
• 0b42093: [build] Re-enable clippy::needless_late_init (wqfish) #20365
• d517d4a: [vm] Declare cfg(fuzzing) for aptos-vm-types (wqfish) #20365
• 877e4c7: [state-sync] Share bounded snapshot chunking (wqfish) #20365
• 83f7088: [state-sync] Serve hot state snapshots (wqfish) #20365
• 885a448: [build] Bump clang/LLVM to 22 to match rustc 1.98 (wqfish) #20472
• 7ba0b4b: [release] Fix deploy-testnet sequence number handling (#20477) (Victor Gao) #20477
• 6fa1c24: [prover] Specification inference: diagnostics and soundness (#20470) (Wolfgang Grieskamp) #20470
• e3517e1: [mono-move] Make natives static or live in global context (#20452) (George Mitenkov) #20452
• 4612ffa: [flow] Inference tactics, prover-aware skills, candidate check (#20485) (Wolfgang Grieskamp) #20485
• 893d1ff: [flow] Specification-inference evaluation (#20471) (Wolfgang Grieskamp) #20471
• 76d7962: [lint] Re-enable clippy::useless_format (wqfish) #20486
• 26abc70: [lint] Enable clippy::cloned_ref_to_slice_refs (wqfish) #20486
• 20a25d8: [lint] Enable clippy::drain_collect (wqfish) #20486
• ab35995: [storage] Take Arc by value in snapshot restore (wqfish) #20486
• 49ef6ad: [storage] Persist restored hot state snapshots (wqfish) #20486
• 89cc152: [flow] Refutation feedback, held-out scoring, and round preparation (#20492) (Wolfgang Grieskamp) #20492
• 10ad5dd: [mono-move] Simplify MonoMove integration (#20458) (George Mitenkov) #20458
• 25609ad: Fix workfow syntax (Stelian Ionescu) #20503
• 3fd3fa2: Replay-verify: increase GCP token duration to 2 hours (Stelian Ionescu) #20503
• 5c26664: error mapping (#20434) (Vineeth Kashyap) #20434
• 91be560: [mono-move] Cut down CLAUDE.md contents (#20499) (George Mitenkov) #20499
• a1c2b82: [mono-move] Add MonoMove context to block executor (#20459) (George Mitenkov) #20459
• 9370f3a: [prover] Fixes in prover and inference for eval (#20508) (Wolfgang Grieskamp) #20508
• 950e413: [inf-eval] Add prepared corpora v1.1, v1.2, v3.1, and v3.2 (#20509) (Wolfgang Grieskamp) #20509
• 1b47aca: [lint] Enable clippy::extra_unused_lifetimes (wqfish) #20479
• 53e9431: [lint] Enable clippy::manual_filter (wqfish) #20479
• 54668e4: [lint] Enable clippy::map_or_identity (wqfish) #20479
• 5f8e94a: [storage] Activate restored hot state snapshots (wqfish) #20479
• 0f0ce68: Replay-verify: increase Testnet PFN snapshot size (Stelian Ionescu) #20512
• 8d89044: coerce widened function-value equality operands + make struct type arguments invariant. (#20489) (Vineeth Kashyap) #20489
• 61ca67e: [compiler-v2] Compare function values at identical types; infer open operand types (#20505) (Vineeth Kashyap) #20505
• b66557e: Fix RunsOn image generator (Stelian Ionescu) #20517
• e9fcfba: framework upgrade test (#20497) (Teng Zhang) #20497
• 242b868: reject function types with abilities beyond copy+drop+store (#20506) (Vineeth Kashyap) #20506
• c7c02c9: [prover] Fix WP abort paths and qualified filters (#20513) (Wolfgang Grieskamp) #20513
• 860f9b7: [inf-eval] Add model comparison telemetry and WP fixes (#20514) (Wolfgang Grieskamp) #20514
• 86c3309: [verification] Introduce Leaner IR and verification infrastructure (#20524) (Wolfgang Grieskamp) #20524
• a137389: [mono-move] Place call arguments without BCS (#20446) (Victor Gao) #20446
• 99b8296: [vm] Preserve MonoMove error locations and validate V1 error parity (#20475) (Vineeth Kashyap) #20475
• f560ab7: [consensus] Persist secret shares for recovery (#20469) (Balaji Arun) #20469
• e2b5bd8: [block-stm] Remove ordering from in-memory keys (#20473) (George Mitenkov) #20473
• 4ef6adb: [mono-move] Run script payloads (#20529) (Victor Gao) #20529
• 2a3f008: support function types in type tags and type_info natives (#20537) (Vineeth Kashyap) #20537
• 7fdb6e9: [lint] Enable clippy::while_let_loop (wqfish) #20480
• 46eb89e: [lint] Enable clippy::unneeded_wildcard_pattern (wqfish) #20480
• 27c5afe: [lint] Enable clippy::useless_borrows_in_formatting (wqfish) #20480
• 198122b: [lint] Enable clippy::unnecessary_sort_by (wqfish) #20480
• 0ef358e: [state-sync] Request hot state snapshots from peers (wqfish) #20480
• 0a36f3c: [consensus] Commit epoch ending block before teardown (#20350) (Daniel Xiang) #20350
• 03f7950: [mono-move] Refactor output to make it storable in block executor (#20474) (George Mitenkov) #20474
• 591cd7a: Replace ethnum-based U256/I256 Display with Miri-safe decimal formatting (#20533) (Vineeth Kashyap) #20533
• c119ee0: [mono-move] Bulletproof natives (#20500) (George Mitenkov) #20500
• 9a2d80e: [mono-move] initial entry function validation (#20488) (Victor Gao) #20488
• c266d21: [mono-move] Remaining event natives (#20528) (George Mitenkov) #20528
• a7b8662: [vm] Return None for signer BCS constant-size queries (#20532) (Vineeth Kashyap) #20532
• 8077088: [mono-move] MonoMove executor infrastructure (#20491) (George Mitenkov) #20491
• 76fc165: [test] add some more differential tests (#20567) (Vineeth Kashyap) #20567
• fe591c4: [mono-move] MonoMove benchmarking (#20494) (George Mitenkov) #20494
• aba7ebe: [mono-move] Test parity: run the suites with MonoMove (#20501) (George Mitenkov) #20501
• b683b50: goten/fix-bv-mul-overflow (#20571) (Marco Ilardi) #20571
• 95a9804: compiler-v2] Fix match guard and binding semantics (#20555) (Vineeth Kashyap) #20555
• eba5dea: [mono-move] Handle encrypted payloads (#20564) (Victor Gao) #20564
• dfbdbf3: [move-flow] Bump version to 2.1.0 (#20580) (Amine Sassi) #20580
• 79dd1aa: [prover] Add FMCAD'26 talk for the higher-order paper (#20536) (Wolfgang Grieskamp) #20536
• b50a935: [mono-move] Support the randomness API (#20576) (Victor Gao) #20576
• bed1493: [vm] Charge closures for type tags (#20581) (George Mitenkov) #20581
• 050dbbe: [prover] Improve inference and evaluation infrastructure (#20584) (Wolfgang Grieskamp) #20584
• c12df39: [ci] Remove framework usage shard bucket (#20437) (Wolfgang Grieskamp) #20437
• e2a722c: [compiler-v2] restrict auto-inlining to same module (#20558) (Vineeth Kashyap) #20558
• 45220d8: [ci] Schedule biweekly three-week framework usage reports (#20587) (Wolfgang Grieskamp) #20587
• 0749015: [cli] Add propose-bundle and execute-bundle (#20507) (Victor Gao) #20507