@@ -398,7 +398,9 @@ pub struct FailureCollection {
398398 inner : Vec < Vec < TransactionFailure > > ,
399399}
400400
401- /// <https://github.com/MinaProtocol/mina/blob/bfd1009abdbee78979ff0343cc73a3480e862f58/src/lib/transaction_logic/mina_transaction_logic.ml#L2197C1-L2210C53>
401+ /// OCaml reference: src/lib/transaction_logic/mina_transaction_logic.ml L:2197-2210
402+ /// Commit: bfd1009abdbee78979ff0343cc73a3480e862f58
403+ /// Last verified: 2025-10-16
402404impl FailureCollection {
403405 fn empty ( ) -> Self {
404406 Self {
@@ -649,7 +651,9 @@ where
649651 } )
650652}
651653
652- /// <https://github.com/MinaProtocol/mina/blob/2ee6e004ba8c6a0541056076aab22ea162f7eb3a/src/lib/transaction_logic/mina_transaction_logic.ml#L607>
654+ /// OCaml reference: src/lib/transaction_logic/mina_transaction_logic.ml L:607
655+ /// Commit: 2ee6e004ba8c6a0541056076aab22ea162f7eb3a
656+ /// Last verified: 2025-10-16
653657fn sub_account_creation_fee (
654658 constraint_constants : & ConstraintConstants ,
655659 action : AccountState ,
@@ -862,7 +866,9 @@ pub enum AccountState {
862866#[ derive( Debug ) ]
863867struct HasPermissionToReceive ( bool ) ;
864868
865- /// <https://github.com/MinaProtocol/mina/blob/2ee6e004ba8c6a0541056076aab22ea162f7eb3a/src/lib/transaction_logic/mina_transaction_logic.ml#L1852>
869+ /// OCaml reference: src/lib/transaction_logic/mina_transaction_logic.ml L:1852
870+ /// Commit: 2ee6e004ba8c6a0541056076aab22ea162f7eb3a
871+ /// Last verified: 2025-10-16
866872fn has_permission_to_receive < L > (
867873 ledger : & mut L ,
868874 receiver_account_id : & AccountId ,
@@ -1151,7 +1157,9 @@ where
11511157 } ) ,
11521158 Err ( failure) => {
11531159 // This case occurs when an exception is throwned in OCaml
1154- // <https://github.com/MinaProtocol/mina/blob/3753a8593cc1577bcf4da16620daf9946d88e8e5/src/lib/transaction_logic/mina_transaction_logic.ml#L964>
1160+ // OCaml reference: src/lib/transaction_logic/mina_transaction_logic.ml L:964
1161+ // Commit: 3753a8593cc1577bcf4da16620daf9946d88e8e5
1162+ // Last verified: 2025-10-16
11551163 assert ! ( reject_command) ;
11561164 Err ( failure. to_string ( ) )
11571165 }
0 commit comments