Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions specs/requirements/INTENT_PINS.tsv
Original file line number Diff line number Diff line change
Expand Up @@ -37,10 +37,15 @@ MR-DSM-0041 dsm::sofi::validation::route_invalid_in_hand android MUST_REACH acti
MR-DSM-0042 dsm::sofi::resolution::resolve_refuted_in_hand android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm_sdk::handlers::node_e2e_tests::a_key_held_by_an_exercise_its_own_bytes_refute_is_skipped_on_those_bytes_alone;dsm::sofi::resolution::tests::an_in_hand_refutation_answers_as_the_complete_facts_do - CONFORMANCE §8 MR-DSM-0042 (Met) SNGEDXME4B1VBSVK909Z0F9PJ4H8T5XMRJH3JPZ7C5QW6K2VMRDG Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm 0.1.0-beta.3 sofi/resolution/resolve_refuted_in_hand(). GM2VTZ67ZGJV2VV0JE97326WX55BWSMNPBMPWGVW7GW2JZWKJ6B0 2RM1HMD68KWKTD40J3XGZYD25X319X7VE5XVGY6ZW3WG6GGBYB5G;SCRSVCM5TEYVX6JZP17A91JJS8JBQSKXCPR9WQYJCQYBS0KCBST0 375506f9333de6e529968767d19d565d189cc385 TZ3VSGA17ZVV0V44MVA306S251DAK7MKQYD0TNZAXJCQ8FTP4H40
MR-DSM-0042 dsm::sofi::resolution::skip_in_hand android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm_sdk::handlers::node_e2e_tests::a_key_held_by_an_exercise_its_own_bytes_refute_is_skipped_on_those_bytes_alone;dsm::sofi::resolution::tests::an_in_hand_refutation_answers_as_the_complete_facts_do - CONFORMANCE §8 MR-DSM-0042 (Met) SXW0JN0TC8KBG4AYS0CRZ7SFVX1RWBRF4Z2CN577NRTASZD7MRW0 Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm 0.1.0-beta.3 sofi/resolution/skip_in_hand(). 5AAQEYGTA6E2PYM65CHXAE25W49QAZGVPK0SAT9XV1EX0X07BDKG 2RM1HMD68KWKTD40J3XGZYD25X319X7VE5XVGY6ZW3WG6GGBYB5G;SCRSVCM5TEYVX6JZP17A91JJS8JBQSKXCPR9WQYJCQYBS0KCBST0 375506f9333de6e529968767d19d565d189cc385 FM3V293TDH164RG9RR1QSP0NDW2MT1EYFB17TW079N65JDXASPY0
MR-DSM-0042 dsm::sofi::resolve::Verifier::facts_of android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm_sdk::handlers::node_e2e_tests::a_key_held_by_an_exercise_its_own_bytes_refute_is_skipped_on_those_bytes_alone;dsm::sofi::resolution::tests::an_in_hand_refutation_answers_as_the_complete_facts_do - CONFORMANCE §8 MR-DSM-0042 (Met) 5NNRGJY4MNJ1DHGZJD5M06QJRYJBCFGGD7VV7MZ49CPG4V7YG4PG Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm 0.1.0-beta.3 sofi/resolve/impl#[`Verifier<'_, R>`]facts_of(). 36NA86J6NRWFCNN1P6YK180P8DXKT0QEPJJ29S740R5RD6MNF0NG 2RM1HMD68KWKTD40J3XGZYD25X319X7VE5XVGY6ZW3WG6GGBYB5G;SCRSVCM5TEYVX6JZP17A91JJS8JBQSKXCPR9WQYJCQYBS0KCBST0 375506f9333de6e529968767d19d565d189cc385 XMF1Z5R68G3PX138N7XQHJRX1N5QZCE7YNZXBY8H790JNE8046X0
MR-DSM-0046 dsm::economic::peer_lineage::validate_peer_lineage android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::economic::peer_lineage::tests::a_claim_naming_other_coordinates_never_holds_the_root_cell;dsm::economic::peer_lineage::tests::a_claim_that_is_not_final_decides_nothing_yet;dsm::economic::register::registered_root_construction_tests::a_held_root_cell_carries_the_exact_bytes_that_hold_it - CONFORMANCE §8 MR-DSM-0046 (Met) Y8344W5VGVEY0P80K73CAVWWTXBZKM70AY60T5GG6RNH75HGWA00 Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm 0.1.0-beta.3 economic/peer_lineage/validate_peer_lineage(). SS2XHZS39TF1XSSFNPA30YZY4A3WE98F6Y8W3850V86DF9K8Y5ZG 5385EDJR0DP37VM2FQDQ05BN2WD9SM6GWJMR95S3H17P5D16V0D0;H5QJGTTBX56R7SEA86EMMVENX482R7KY740CJXK9TK25N9W9FG7G;D1QRPZ5RJWJT8SBK5VRYRM4Z3N0B46SM5R9A1Y6NGEEGGCXNA7NG dc6ff253da4901e20f8b9c2a4affaafdf4179603 G68C3SJ8JDDHV4718CV7CARMATQD6084Z833J1FPF0MVPER78350
MR-DSM-0046 dsm::economic::register::read_root_cell android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::economic::peer_lineage::tests::a_claim_naming_other_coordinates_never_holds_the_root_cell;dsm::economic::peer_lineage::tests::a_claim_that_is_not_final_decides_nothing_yet;dsm::economic::register::registered_root_construction_tests::a_held_root_cell_carries_the_exact_bytes_that_hold_it - CONFORMANCE §8 MR-DSM-0046 (Met) 557KXMXJ8W98C7XN4ZXM29C7B7XH737VVWQ085NR91VBWN4KV2EG Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm 0.1.0-beta.3 economic/register/read_root_cell(). RZFX32A412E7RSJPV3Z1JP4JTV48EYKAJZP3DWK6MJGRSR1PWX40 5385EDJR0DP37VM2FQDQ05BN2WD9SM6GWJMR95S3H17P5D16V0D0;H5QJGTTBX56R7SEA86EMMVENX482R7KY740CJXK9TK25N9W9FG7G;D1QRPZ5RJWJT8SBK5VRYRM4Z3N0B46SM5R9A1Y6NGEEGGCXNA7NG dc6ff253da4901e20f8b9c2a4affaafdf4179603 R35CRB4KFCWNCSTSANFVWHJWTRC6FFW6MVPYTBAE2D68ES51XZTG
MR-DSM-0047 dsm::core::bilateral_transaction_manager::compute_smt_key android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::smt_tripwire_theorem::theorem1_relationship_scoped_keys - CONFORMANCE §8 MR-DSM-0047 (Met) 62Z2KC4ZVQCCCJ66KEQ34RJQKHP8BAMX75CZKP7RANSFZ27P4SX0 Met SATISFIED reached:REACHED rust-analyzer cargo dsm 0.1.0-beta.3 core/bilateral_transaction_manager/compute_smt_key(). ES97MT63J11WBQ5E2PTXDX5HVJGFFARSYCVGVVRVX8VX92C8R3J0 FVZBXEMNNG32ST7HER4JY52E6F0GC07KZ66KEP70CTYW40ASQF1G 8b2814918a9f0cf54a83d29080a9c6bf177682d9 4FMQF3X2HDZ0K7FFAEMC1KWJ89GDR8S4V5EN0DE7EXA06KQNXRBG
MR-DSM-0047 dsm::types::device_state::RelationshipChainState android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::smt_tripwire_theorem::theorem1_relationship_scoped_keys - CONFORMANCE §8 MR-DSM-0047 (Met) G2JBQCWJ4G2G0WZ9PBXNKQPVJJTVE4BJEGHFHFEAGRFEV797W010 Met SATISFIED reached:REACHED rust-analyzer cargo dsm 0.1.0-beta.3 types/device_state/RelationshipChainState# P3FMDAWCE2EG2HFBJ1PYE3VDWTX2YN3NN2W5G4R05NP5MEXEXGFG FVZBXEMNNG32ST7HER4JY52E6F0GC07KZ66KEP70CTYW40ASQF1G 8b2814918a9f0cf54a83d29080a9c6bf177682d9 KEFXYE0SFS0QTG2N2ZNXCMARX3RVMFSNT3BB26Z3RVQNQ4PGNBE0
MR-DSM-0052 dsm_storage_node::api::cells::put_cell node MUST_REACH active dsm_storage_node::main dsm_storage_node::cells_keep_everything::only_malformed_requests_are_refused - CONFORMANCE §8 MR-DSM-0052 (Met) JRV6QB6HBT4524BR03QYV87V36JK7QRJ38BWSCMYB8T3E63NM800 Met SATISFIED reached:REACHED rust-analyzer cargo dsm_storage_node 0.1.0-beta.3 api/cells/put_cell(). GZ7EWHR37RDX3J8J1HVVPMX123TAWYFWP82BXDSQSWZ99K6JX02G 7B6Q8WQR1VTWG3N0S4SH6CB2JK4CZZYKSYZ17RE84Q9YNKHDZWRG 375506f9333de6e529968767d19d565d189cc385 7ZTBQREB6TKR75ZY3GN8CZQXZJBH3B5QX6TGJ5JND0GSPV626G8G
MR-DSM-0053 dsm_storage_node::api::objects::immutable::put_immutable node MUST_REACH active dsm_storage_node::main dsm_storage_node::api::objects::immutable::tests::proto_decodable_bytes_are_just_bytes - CONFORMANCE §8 MR-DSM-0053 (Met) FYF5SY47XSXQFT04FS4P6X49KGK6BTYF9DTMK0X0JNEE9TFHY89G Met SATISFIED reached:REACHED rust-analyzer cargo dsm_storage_node 0.1.0-beta.3 api/objects/immutable/put_immutable(). 7VMR8Q43YDYV2PEEA9GE2GCHNWTG39XQ987057JPD85E6TWNKEF0 CPXY5HCPPR8QPH0N4X2V394M0NNWBF1HH69MPDDZBH9G45KKZG50 8b2814918a9f0cf54a83d29080a9c6bf177682d9 G8957QE6V5XM3377MZ4HKNZ2JHTV7WBGZ4KNEASJ06REG5V5MZ7G
MR-DSM-0056 dsm_storage_node::api::objects::bytecommit::mirror_sync node MUST_REACH active dsm_storage_node::main dsm_storage_node::bytecommit_chain::a_set_mate_mirrors_by_fetching_from_the_member_itself;dsm_storage_node::bytecommit_chain::an_impostor_at_a_set_mates_endpoint_is_not_mirrored;dsm_storage_node::bytecommit_chain::a_rewritten_cycle_is_kept_beside_the_first - CONFORMANCE §8 MR-DSM-0056 (Met) AZBHNJ887CZ15MCSXRGCMPJVBN576B9A1N6443K8N6MDJ80M6CSG Met SATISFIED reached:REACHED rust-analyzer cargo dsm_storage_node 0.1.0-beta.3 api/objects/bytecommit/mirror_sync(). 0G47KCFM9T65FD5N74JAB11EF5ER54PRN2P06XHTQERSTTY369WG XSWCJEC1E6HQEZWQ98GADFX5BMR0FRE4E9K28E61PVGP1AYBKK2G;94J1A361NWMW7QKGVMYQMQRW9480QAT1M5MG4MG61VGJBVKWSK30;Z2DQHMPZ75KMGJT3CSHH5SKBXA0SV3RFBMKZNMZ8PZ8VZ9J5HTSG dc6ff253da4901e20f8b9c2a4affaafdf4179603 7ATFNW5PJMEQFF18BJ7VCETCX8N89BD1385BFA40Z17QQP7G6D50
MR-DSM-0056 dsm_storage_node::api::objects::bytecommit::sync_one node MUST_REACH active dsm_storage_node::main dsm_storage_node::bytecommit_chain::a_set_mate_mirrors_by_fetching_from_the_member_itself;dsm_storage_node::bytecommit_chain::an_impostor_at_a_set_mates_endpoint_is_not_mirrored;dsm_storage_node::bytecommit_chain::a_rewritten_cycle_is_kept_beside_the_first - CONFORMANCE §8 MR-DSM-0056 (Met) ES0SCSQ7ZR6FJT7T86QMST63HB28AVBACQK6S9FJG6JY9JGCXKC0 Met SATISFIED reached:REACHED rust-analyzer cargo dsm_storage_node 0.1.0-beta.3 api/objects/bytecommit/sync_one(). ZWPZZBG4W2QX7725WPQ0YXZCW9F2SYRXZ1RDQKNF5AB1EEWT8E80 XSWCJEC1E6HQEZWQ98GADFX5BMR0FRE4E9K28E61PVGP1AYBKK2G;94J1A361NWMW7QKGVMYQMQRW9480QAT1M5MG4MG61VGJBVKWSK30;Z2DQHMPZ75KMGJT3CSHH5SKBXA0SV3RFBMKZNMZ8PZ8VZ9J5HTSG dc6ff253da4901e20f8b9c2a4affaafdf4179603 HYMF1XJTKA47374ZAEZ65TZW1SVMSN7CYMRAAGYRN03PY1Q2JDAG
MR-DSM-0056 dsm_storage_node::set_client::pinned_set_client node MUST_REACH active dsm_storage_node::main dsm_storage_node::bytecommit_chain::a_set_mate_mirrors_by_fetching_from_the_member_itself;dsm_storage_node::bytecommit_chain::an_impostor_at_a_set_mates_endpoint_is_not_mirrored;dsm_storage_node::bytecommit_chain::a_rewritten_cycle_is_kept_beside_the_first - CONFORMANCE §8 MR-DSM-0056 (Met) EMSCZ0V9XMME84MXDVZHVN1TVBAAEWSPA4YH75TQR4X3CD4ATEXG Met SATISFIED reached:REACHED rust-analyzer cargo dsm_storage_node 0.1.0-beta.3 set_client/pinned_set_client(). TWBKT2HE32QWBPNDBB6GDE1N222BAVDCMBJ4MC85E717T8SD77KG XSWCJEC1E6HQEZWQ98GADFX5BMR0FRE4E9K28E61PVGP1AYBKK2G;94J1A361NWMW7QKGVMYQMQRW9480QAT1M5MG4MG61VGJBVKWSK30;Z2DQHMPZ75KMGJT3CSHH5SKBXA0SV3RFBMKZNMZ8PZ8VZ9J5HTSG dc6ff253da4901e20f8b9c2a4affaafdf4179603 Y1M14HVNSMKSABZRBYX82BJY0CCGA6GMFB9SP0VQREC5SDZNQJT0
MR-DSM-0065 dsm_storage_node::api::cells::put_cell node MUST_REACH active dsm_storage_node::main dsm_storage_node::db::store_properties::immutable_put_is_write_once_on_the_tuple;dsm_storage_node::db::store_properties::a_conflicting_put_leaves_the_first_write_untouched;dsm_storage_node::cells_keep_everything::a_second_value_at_a_key_is_kept_after_the_first_never_refused - CONFORMANCE §8 MR-DSM-0065 (Met) KXYPFRP1KVV1HC0CGEYBSBSDTB51PFNG2BPM0MBZMJTKJJ4QH340 Met SATISFIED reached:REACHED rust-analyzer cargo dsm_storage_node 0.1.0-beta.3 api/cells/put_cell(). GZ7EWHR37RDX3J8J1HVVPMX123TAWYFWP82BXDSQSWZ99K6JX02G SNVHDV2MY49QA91RM3ATM2T3HX0QABQQ1M1JM60A96EDVW971EEG;VA5XGPQ5GDRVNF96A1HRSTW54RSE8GSKF10H21T5RY330FM65D80;YWFYJ5X3F04XQ0RQDFCC3V2567212ENFPGS75T86RBTB8RX5HNX0 375506f9333de6e529968767d19d565d189cc385 Y1BNTK11JSMXY64DMC1TCBEGCN4HPQF0YM2WNS39QR2DNA6CJXQ0
MR-DSM-0065 dsm_storage_node::api::objects::immutable::put_immutable node MUST_REACH active dsm_storage_node::main dsm_storage_node::db::store_properties::immutable_put_is_write_once_on_the_tuple;dsm_storage_node::db::store_properties::a_conflicting_put_leaves_the_first_write_untouched;dsm_storage_node::cells_keep_everything::a_second_value_at_a_key_is_kept_after_the_first_never_refused - CONFORMANCE §8 MR-DSM-0065 (Met) 5WMP6V36MCM8YN229BGQMMQY7KGB52P5D6CESCFBJJ8RS1QZ9ZJ0 Met SATISFIED reached:REACHED rust-analyzer cargo dsm_storage_node 0.1.0-beta.3 api/objects/immutable/put_immutable(). 7VMR8Q43YDYV2PEEA9GE2GCHNWTG39XQ987057JPD85E6TWNKEF0 SNVHDV2MY49QA91RM3ATM2T3HX0QABQQ1M1JM60A96EDVW971EEG;VA5XGPQ5GDRVNF96A1HRSTW54RSE8GSKF10H21T5RY330FM65D80;YWFYJ5X3F04XQ0RQDFCC3V2567212ENFPGS75T86RBTB8RX5HNX0 375506f9333de6e529968767d19d565d189cc385 T6VJ52B7GE9ENNP3H003FC6YQGH7E82NXWDF2Y29PRAMR3J0JGB0
MR-DSM-0072 dsm_storage_node::api::transport::b0x::router node MUST_REACH active dsm_storage_node::main dsm_storage_node::api::transport::b0x::tests::a_submitted_envelope_is_read_back_from_its_spool;dsm_storage_node::immutable_store_round_trip::a_put_with_no_authorization_is_taken_on_the_served_assembly - CONFORMANCE §8 MR-DSM-0072 (Met) WH3K1JQCF38B0TS230WN7Y45BBBZAT3JZ39ETVMV9M5FK8VPJY9G Met SATISFIED reached:REACHED rust-analyzer cargo dsm_storage_node 0.1.0-beta.3 api/transport/b0x/router(). GTACWG9TCAD2JXSNZS1PDA4Y6SH6VNAJD5K8W7KMC9VJ6TRS5DYG YB9WYJ35M4FQP17X9950RSPM9XE33FR5KCSPE718KR39N4G2C710;PQB9NJN15XKF5FJ0273BPM0GR2WPR20J1T4N13MSHJJVAADVJNB0 375506f9333de6e529968767d19d565d189cc385 V5TB7ASCNQN4NDBKPHE3S2NWS26DN91DZ1XWAG6QSWBP8N0SBEPG
Expand Down Expand Up @@ -77,6 +82,9 @@ MR-DSM-0119 dsm::merkle::sparse_merkle_tree::DEFAULT_SMT_HEIGHT android MUST_REA
MR-DSM-0121 dsm::merkle::sparse_merkle_tree::SparseMerkleTree::update_leaf android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::types::device_state::tests::a_relationships_leaf_holds_its_current_head;dsm::types::device_state::tests::every_relationship_stays_in_the_root_past_the_old_capacity - CONFORMANCE §8 MR-DSM-0121 (Met) 5YX2Y07HAW6G1G3HXN69NEZJT0MWHR0A62SGGSYFSP2ZSAR74Q80 Met SATISFIED reached:REACHED rust-analyzer cargo dsm 0.1.0-beta.3 merkle/sparse_merkle_tree/impl#[SparseMerkleTree]update_leaf(). 92JJV9P8Y2NYD73BXFJN7NWQ6CN60F4TT3N7ERWHZ3KXVMAWB1M0 J9145NF73J2G6S55GTNGX8Q7WV1BA769AKD42A7E6NEH686D7M80;P4S1K06Q3YNGE0N608HJ937P689B5Y3ZABQ9VJN8Y9V05PN4R0MG 375506f9333de6e529968767d19d565d189cc385 KK7KZ5D1HZRR0PJWQ52XT2TCFA4MHG5Y37WADY7YDB5Z08SDKMVG
MR-DSM-0121 dsm::types::device_state::DeviceState::advance android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::types::device_state::tests::a_relationships_leaf_holds_its_current_head;dsm::types::device_state::tests::every_relationship_stays_in_the_root_past_the_old_capacity - CONFORMANCE §8 MR-DSM-0121 (Met) Z9G45FQCJ89PHVR0G566KSJRJNZP8C7SDWNJ87RGKKQ4EDFJ0TDG Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm 0.1.0-beta.3 types/device_state/impl#[DeviceState]advance(). ZZ2VV07H48E8QY9YNMD5KTNEX65YMZSHA69K5WTJSBZF26486BT0 J9145NF73J2G6S55GTNGX8Q7WV1BA769AKD42A7E6NEH686D7M80;P4S1K06Q3YNGE0N608HJ937P689B5Y3ZABQ9VJN8Y9V05PN4R0MG 375506f9333de6e529968767d19d565d189cc385 9QMA9Q3DARZ76T10EH0R3Y8JQ8WNYP6BZ6EHQNGB3HGSGMQN1XD0
MR-DSM-0136 dsm::types::device_state::RelationshipChainState android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::types::device_state::tests::the_chain_tip_commits_succession_facts_and_no_balances - CONFORMANCE §8 MR-DSM-0136 (Met) 19E588K7AAJV7ZKN65WWMX8GBBEJK2N0KRTQTF3DZ0CA7YTQHN7G Met SATISFIED reached:REACHED rust-analyzer cargo dsm 0.1.0-beta.3 types/device_state/RelationshipChainState# P3FMDAWCE2EG2HFBJ1PYE3VDWTX2YN3NN2W5G4R05NP5MEXEXGFG MZHV8NNZMF3DZH8K3CN2P6PDTWQWKP9Z2SAWWV7KSR72061SEPMG 375506f9333de6e529968767d19d565d189cc385 TCJBMXG5A71QV3M3JADWK2DP11VFEP8RJV78CZNBQJAF2J3C4N70
MR-DSM-0170 dsm::types::device_state::DeviceState::advance android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::types::device_state::tests::tripwire_same_relationship_same_parent_different_children;dsm_sdk::storage::client_db::canonical_apply::tests::the_same_relationship_and_parent_with_a_different_transition_conflicts;dsm_sdk::storage::client_db::canonical_apply::tests::different_identity_reusing_nonce_or_parent_is_conflict - CONFORMANCE §8 MR-DSM-0170 (Met) A994EWEHE3GMYGNZYEKHMD77ZAJQQNM8V487JWP0VHQ0XRQW0MDG Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm 0.1.0-beta.3 types/device_state/impl#[DeviceState]advance(). ZZ2VV07H48E8QY9YNMD5KTNEX65YMZSHA69K5WTJSBZF26486BT0 3DW17JCYMFNYV3GGJVWE0P3RNCMNKJXAQRVW8ZD9GK9KXERH3J80;G6NNFWQA9Q89SMETNQB9FXM6YWX6TGR21S59Y7E4KWEXEFJHKP2G;P8KS2321W8G83F9PGKMT1PX64P6FQTFCBVN1N5EGG561P4FQA25G dc6ff253da4901e20f8b9c2a4affaafdf4179603 S9FPAAA83C1039Y5J5MEJWBDQEM2QBTJNXD4JRYYDSKBP3XNQXR0
MR-DSM-0170 dsm_sdk::storage::client_db::canonical_apply::insert_canonical_apply_identity_with_conn android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::types::device_state::tests::tripwire_same_relationship_same_parent_different_children;dsm_sdk::storage::client_db::canonical_apply::tests::the_same_relationship_and_parent_with_a_different_transition_conflicts;dsm_sdk::storage::client_db::canonical_apply::tests::different_identity_reusing_nonce_or_parent_is_conflict - CONFORMANCE §8 MR-DSM-0170 (Met) PWTTDF53F2BT42EBX8RMVV9HCF9AGAKS4KEPX9S6MYGVZFYDQPAG Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm_sdk 0.1.0-beta.3 storage/client_db/canonical_apply/insert_canonical_apply_identity_with_conn(). BDA8EFWXBBRNAS841GPXHPZEF8FM30HHJ92W3TV25XZKGRD3PVTG 3DW17JCYMFNYV3GGJVWE0P3RNCMNKJXAQRVW8ZD9GK9KXERH3J80;G6NNFWQA9Q89SMETNQB9FXM6YWX6TGR21S59Y7E4KWEXEFJHKP2G;P8KS2321W8G83F9PGKMT1PX64P6FQTFCBVN1N5EGG561P4FQA25G dc6ff253da4901e20f8b9c2a4affaafdf4179603 E4TFBS208D4PN8M7FZH58SK4J116YQX1Z2MKAD8EA1RFXQ4VG070
MR-DSM-0170 dsm_sdk::storage::client_db::canonical_apply::lookup_canonical_apply_status android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::types::device_state::tests::tripwire_same_relationship_same_parent_different_children;dsm_sdk::storage::client_db::canonical_apply::tests::the_same_relationship_and_parent_with_a_different_transition_conflicts;dsm_sdk::storage::client_db::canonical_apply::tests::different_identity_reusing_nonce_or_parent_is_conflict - CONFORMANCE §8 MR-DSM-0170 (Met) 66P66HYM0DWNZH6JN6HPFND5DV9EH6C9Z8YR65BJY7ZC30DKD19G Met SATISFIED reached:REACHED_VIA_DISPATCH rust-analyzer cargo dsm_sdk 0.1.0-beta.3 storage/client_db/canonical_apply/lookup_canonical_apply_status(). GP1WR7B478MFCVP39N95REA367HFB411ADBYNPB7MY9SZMMYCE8G 3DW17JCYMFNYV3GGJVWE0P3RNCMNKJXAQRVW8ZD9GK9KXERH3J80;G6NNFWQA9Q89SMETNQB9FXM6YWX6TGR21S59Y7E4KWEXEFJHKP2G;P8KS2321W8G83F9PGKMT1PX64P6FQTFCBVN1N5EGG561P4FQA25G dc6ff253da4901e20f8b9c2a4affaafdf4179603 J0QMJ2N3K9TVKJ5NQ10J2WT5YQDBC9B0EN0YZN6BPGQAN8ZWBVC0
MR-DSM-0181 dsm::ccb::decode::vault_state_at android MUST_REACH active - - - CONFORMANCE §8 MR-DSM-0181 (Partial) M3K01BQ0KJCG2GN4PTYX0J4VQNHVGB13XCKZY7SZTF872CSCV3Q0 Partial WIRING_GAP dead:DEAD_NO_ROOT_PATH rust-analyzer cargo dsm 0.1.0-beta.3 ccb/decode/vault_state_at(). J9Q6ZMJT2KD9VCVB0BJGP80H6DFCGZNTJ5CKAGSNK6CQ91AK6630 - 8b2814918a9f0cf54a83d29080a9c6bf177682d9 WSPK39KHQZX66HNKGDXTJNVYFC5B88X7N9814YSRJ9XYCWPNW9AG
MR-DSM-0184 dsm::commitments::external_commitment::create_external_commitment android MUST_REACH active dsm_sdk::jni::unified_protobuf_bridge::Java_com_dsm_wallet_bridge_UnifiedNativeApi_dispatchIngress dsm::commitments::external_commitment::tests::test_verify_external_commitment - CONFORMANCE §8 MR-DSM-0184 (Partial) N800DPEGSNFD71Z14RF8EVB6S8V9J1WV175GM74PMYJ35GAHTG60 Partial SATISFIED reached:REACHED rust-analyzer cargo dsm 0.1.0-beta.3 commitments/external_commitment/create_external_commitment(). MHV7KYKVP84N350W2TBY3SKY978GB267QBNAFCKJK87D845DHXX0 2CATD76VZ9R22QT5HA9750FXE87VTBP9T02EWB2WH3EC5NRW8K2G 8b2814918a9f0cf54a83d29080a9c6bf177682d9 SZT5C0J5FPRHXRJA6DRGC60QKMAXPXBPJ6NZ08Z6Z7EGHJ0E39N0
MR-DSM-0184 dsm::commitments::external_commitment::verify_external_commitment android MUST_REACH active - dsm::commitments::external_commitment::tests::test_verify_external_commitment - CONFORMANCE §8 MR-DSM-0184 (Partial) BMW4PGHZ31DZE1MDS99ZNNH7CPJC46DD4JT1913CQ7W7EF5PQHJG Partial WIRING_GAP dead:DEAD_NO_ROOT_PATH rust-analyzer cargo dsm 0.1.0-beta.3 commitments/external_commitment/verify_external_commitment(). JDQKPJ6BFN60K0BGGFW150R1EBR81H695Q42SRTS9G84JXN7BG0G 2CATD76VZ9R22QT5HA9750FXE87VTBP9T02EWB2WH3EC5NRW8K2G 8b2814918a9f0cf54a83d29080a9c6bf177682d9 P4KAY8K3WGCTXDHCNQ6QJ64ZBSQD2TTZTFXZH0QS2SVPTJY5MF80
Expand Down
Loading