Skip to content

Commit ef51038

Browse files
dannywillemsgithub-actions[bot]
dannywillems
authored and
github-actions[bot]
committed
Update OCaml reference verification dates
Automated update of OCaml reference commit hashes and verification dates based on latest compatible branch.
1 parent 1a7db35 commit ef51038

File tree

5 files changed

+80
-32
lines changed

5 files changed

+80
-32
lines changed

‎ledger/src/account/account.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1283,8 +1283,8 @@ pub struct PermsConst {
12831283
/// - Zero-knowledge application state and verification
12841284
///
12851285
/// OCaml reference: src/lib/mina_base/account.ml L:201-224
1286-
/// Commit: fc6be4c58091c761f827c858229c2edf9519e941
1287-
/// Last verified: 2025-10-13
1286+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
1287+
/// Last verified: 2025-10-20
12881288
#[derive(Clone, Debug, PartialEq, Eq, Serialize, Deserialize)]
12891289
#[serde(into = "v2::MinaBaseAccountBinableArgStableV2")]
12901290
#[serde(try_from = "v2::MinaBaseAccountBinableArgStableV2")]

‎ledger/src/scan_state/transaction_logic/for_tests.rs‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -61,14 +61,14 @@ impl PartialOrd for HashableCompressedPubKey {
6161
}
6262

6363
/// OCaml reference: src/lib/transaction_logic/mina_transaction_logic.ml L:2285-2285
64-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
65-
/// Last verified: 2025-10-10
64+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
65+
/// Last verified: 2025-10-20
6666
#[derive(Debug)]
6767
pub struct InitLedger(pub Vec<(Keypair, u64)>);
6868

6969
/// OCaml reference: src/lib/transaction_logic/mina_transaction_logic.ml L:2351-2356
70-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
71-
/// Last verified: 2025-10-10
70+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
71+
/// Last verified: 2025-10-20
7272
#[derive(Debug)]
7373
pub struct TransactionSpec {
7474
pub fee: Fee,
@@ -78,8 +78,8 @@ pub struct TransactionSpec {
7878
}
7979

8080
/// OCaml reference: src/lib/transaction_logic/mina_transaction_logic.ml L:2407
81-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
82-
/// Last verified: 2025-10-10
81+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
82+
/// Last verified: 2025-10-20
8383
#[derive(Debug)]
8484
pub struct TestSpec {
8585
pub init_ledger: InitLedger,

‎ledger/src/scan_state/transaction_logic/mod.rs‎

Lines changed: 14 additions & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -116,8 +116,8 @@ pub use transaction_union_payload::{
116116
};
117117

118118
/// OCaml reference: src/lib/mina_base/transaction_status.ml L:9-51
119-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
120-
/// Last verified: 2025-10-08
119+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
120+
/// Last verified: 2025-10-20
121121
#[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq, Eq)]
122122
pub enum TransactionFailure {
123123
Predicate,
@@ -234,8 +234,8 @@ impl Display for TransactionFailure {
234234
}
235235

236236
/// OCaml reference: src/lib/mina_base/transaction_status.ml L:452-454
237-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
238-
/// Last verified: 2025-10-08
237+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
238+
/// Last verified: 2025-10-20
239239
#[derive(SerdeYojsonEnum, Debug, Clone, PartialEq, Eq)]
240240
pub enum TransactionStatus {
241241
Applied,
@@ -252,8 +252,8 @@ impl TransactionStatus {
252252
}
253253

254254
/// OCaml reference: src/lib/mina_base/with_status.ml L:6-10
255-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
256-
/// Last verified: 2025-10-08
255+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
256+
/// Last verified: 2025-10-20
257257
#[derive(serde::Serialize, serde::Deserialize, Debug, Clone, PartialEq)]
258258
pub struct WithStatus<T> {
259259
pub data: T,
@@ -324,8 +324,8 @@ where
324324
}
325325

326326
/// OCaml reference: src/lib/mina_base/fee_transfer.ml L:76-80
327-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
328-
/// Last verified: 2025-10-10
327+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
328+
/// Last verified: 2025-10-20
329329
#[derive(Debug, Clone, PartialEq)]
330330
pub struct SingleFeeTransfer {
331331
pub receiver_pk: CompressedPubKey,
@@ -351,8 +351,8 @@ impl SingleFeeTransfer {
351351
}
352352

353353
/// OCaml reference: src/lib/mina_base/fee_transfer.ml L:68-69
354-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
355-
/// Last verified: 2025-10-10
354+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
355+
/// Last verified: 2025-10-20
356356
#[derive(Debug, Clone, PartialEq)]
357357
pub struct FeeTransfer(pub(super) OneOrTwo<SingleFeeTransfer>);
358358

@@ -432,8 +432,8 @@ impl CoinbaseFeeTransfer {
432432
}
433433

434434
/// OCaml reference: src/lib/mina_base/coinbase.ml L:17-21
435-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
436-
/// Last verified: 2025-10-10
435+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
436+
/// Last verified: 2025-10-20
437437
#[derive(Debug, Clone, PartialEq)]
438438
pub struct Coinbase {
439439
pub receiver: CompressedPubKey,
@@ -1087,8 +1087,8 @@ impl GenericTransaction for Transaction {
10871087
/// [`MinaTransactionTransactionStableV2`].
10881088
///
10891089
/// OCaml reference: src/lib/transaction/transaction.ml L:8-11
1090-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
1091-
/// Last verified: 2025-10-10
1090+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
1091+
/// Last verified: 2025-10-20
10921092
#[derive(Clone, Debug, derive_more::From)]
10931093
pub enum Transaction {
10941094
/// User-initiated transaction: signed command or zkApp command

‎ledger/src/scan_state/transaction_logic/signed_command.rs‎

Lines changed: 10 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -15,8 +15,8 @@ use super::{zkapp_command::AccessedOrNot, Memo, TransactionStatus};
1515
/// Common fields shared by all signed command payloads.
1616
///
1717
/// OCaml reference: src/lib/mina_base/signed_command_payload.ml L:34-48
18-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
19-
/// Last verified: 2025-10-10
18+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
19+
/// Last verified: 2025-10-20
2020
#[derive(Debug, Clone, PartialEq)]
2121
pub struct Common {
2222
/// Fee paid to the block producer
@@ -43,8 +43,8 @@ pub struct PaymentPayload {
4343
/// Stake delegation payload for delegating stake to another account.
4444
///
4545
/// OCaml reference: src/lib/mina_base/stake_delegation.ml L:11-13
46-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
47-
/// Last verified: 2025-10-10
46+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
47+
/// Last verified: 2025-10-20
4848
#[derive(Debug, Clone, PartialEq, Eq)]
4949
pub enum StakeDelegationPayload {
5050
/// Delegate stake to a new delegate
@@ -76,8 +76,8 @@ impl StakeDelegationPayload {
7676
/// delegation.
7777
///
7878
/// OCaml reference: src/lib/mina_base/signed_command_payload.ml L:179-181
79-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
80-
/// Last verified: 2025-10-10
79+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
80+
/// Last verified: 2025-10-20
8181
#[derive(Debug, Clone, PartialEq, Eq)]
8282
pub enum Body {
8383
/// Transfer MINA tokens from fee payer to receiver
@@ -89,8 +89,8 @@ pub enum Body {
8989
/// Signed command payload containing common fields and the transaction body.
9090
///
9191
/// OCaml reference: src/lib/mina_base/signed_command_payload.ml L:239-243
92-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
93-
/// Last verified: 2025-10-10
92+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
93+
/// Last verified: 2025-10-20
9494
#[derive(Debug, Clone, PartialEq)]
9595
pub struct SignedCommandPayload {
9696
/// Common fields (fee, fee payer, nonce, valid_until, memo)
@@ -122,8 +122,8 @@ impl SignedCommandPayload {
122122
}
123123

124124
/// OCaml reference: src/lib/mina_base/signed_command_payload.ml L:352-362
125-
/// Commit: 5da42ccd72e791f164d4d200cf1ce300262873b3
126-
/// Last verified: 2025-10-10
125+
/// Commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
126+
/// Last verified: 2025-10-20
127127
mod weight {
128128
use super::*;
129129

‎validation_output.txt‎

Lines changed: 48 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,48 @@
1+
Checking OCaml references against https://github.com/MinaProtocol/mina.git (branch: compatible)
2+
Fetching current commit from compatible...
3+
Current OCaml commit: 9845659db2f494b3eed90d5eb70ea1f51f437e16
4+
5+
Validating references...
6+
========================
7+
✓ VALID: ledger/src/account/account.rs -> src/lib/mina_base/account.ml L:201-224
8+
⚠ STALE COMMIT: fc6be4c58091c761f827c858229c2edf9519e941 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
9+
✓ VALID: ledger/src/scan_state/transaction_logic/for_tests.rs -> src/lib/transaction_logic/mina_transaction_logic.ml L:2285-2285
10+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
11+
✓ VALID: ledger/src/scan_state/transaction_logic/for_tests.rs -> src/lib/transaction_logic/mina_transaction_logic.ml L:2351-2356
12+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
13+
✓ VALID: ledger/src/scan_state/transaction_logic/for_tests.rs -> src/lib/transaction_logic/mina_transaction_logic.ml L:2407
14+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
15+
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/transaction_status.ml L:9-51
16+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
17+
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/transaction_status.ml L:452-454
18+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
19+
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/with_status.ml L:6-10
20+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
21+
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/fee_transfer.ml L:76-80
22+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
23+
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/fee_transfer.ml L:68-69
24+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
25+
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/mina_base/coinbase.ml L:17-21
26+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
27+
✓ VALID: ledger/src/scan_state/transaction_logic/mod.rs -> src/lib/transaction/transaction.ml L:8-11
28+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
29+
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/signed_command_payload.ml L:34-48
30+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
31+
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/stake_delegation.ml L:11-13
32+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
33+
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/signed_command_payload.ml L:179-181
34+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
35+
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/signed_command_payload.ml L:239-243
36+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
37+
✓ VALID: ledger/src/scan_state/transaction_logic/signed_command.rs -> src/lib/mina_base/signed_command_payload.ml L:352-362
38+
⚠ STALE COMMIT: 5da42ccd72e791f164d4d200cf1ce300262873b3 (current: 9845659db2f494b3eed90d5eb70ea1f51f437e16)
39+
40+
Summary
41+
=======
42+
Total references found: 16
43+
Valid references: 16
44+
Invalid references: 0
45+
Stale commits: 16
46+
47+
⚠ Warning: 16 reference(s) have stale commits
48+
Run with --update to update them automatically

0 commit comments

Comments
 (0)