Invariants / DC-PROTO-04
DC-PROTO-04
DC derived enforcedFull N2C mini-protocol surface: Handshake, LocalChainSync, LocalTxSubmission, LocalStateQuery, LocalTxMonitor
- Source
Project constitution §3, T-DET-01, T-CORE-03
Enforcement trace
Code
- crates/ade_network/src/codec/n2c_handshake.rs
- crates/ade_network/src/codec/local_chain_sync.rs
- crates/ade_network/src/codec/local_tx_submission.rs
- crates/ade_network/src/codec/local_state_query.rs
- crates/ade_network/src/codec/local_tx_monitor.rs
- crates/ade_network/src/n2c/local_chain_sync/state.rs
- crates/ade_network/src/n2c/local_chain_sync/agency.rs
- crates/ade_network/src/n2c/local_chain_sync/event.rs
- crates/ade_network/src/n2c/local_chain_sync/transition.rs
- crates/ade_network/src/n2c/local_tx_submission/state.rs
- crates/ade_network/src/n2c/local_tx_submission/agency.rs
- crates/ade_network/src/n2c/local_tx_submission/event.rs
- crates/ade_network/src/n2c/local_tx_submission/transition.rs
- crates/ade_network/src/n2c/local_state_query/state.rs
- crates/ade_network/src/n2c/local_state_query/agency.rs
- crates/ade_network/src/n2c/local_state_query/event.rs
- crates/ade_network/src/n2c/local_state_query/transition.rs
- crates/ade_network/src/n2c/local_tx_monitor/state.rs
- crates/ade_network/src/n2c/local_tx_monitor/agency.rs
- crates/ade_network/src/n2c/local_tx_monitor/event.rs
- crates/ade_network/src/n2c/local_tx_monitor/transition.rs
Tests 42
- codec::n2c_handshake::tests::roundtrip_every_variant
- codec::local_chain_sync::tests::roundtrip_every_variant
- codec::local_tx_submission::tests::roundtrip_every_variant
- codec::local_state_query::tests::roundtrip_every_variant
- codec::local_tx_monitor::tests::roundtrip_every_variant
- n2c::local_chain_sync::transition::tests::local_chain_sync_request_next_then_roll_forward
- n2c::local_chain_sync::transition::tests::local_chain_sync_roll_backward_signal
- n2c::local_chain_sync::transition::tests::local_chain_sync_find_intersect_known_point
- n2c::local_chain_sync::transition::tests::local_chain_sync_find_intersect_unknown
- n2c::local_chain_sync::transition::tests::local_chain_sync_client_done_terminates
- n2c::local_chain_sync::transition::tests::local_chain_sync_wrong_agency_returns_error
- n2c::local_chain_sync::transition::tests::local_chain_sync_version_gating
- n2c::local_tx_submission::transition::tests::submit_tx_then_accept_round_trips
- n2c::local_tx_submission::transition::tests::submit_tx_then_reject_carries_reason_bytes
- n2c::local_tx_submission::transition::tests::client_done_terminates
- n2c::local_tx_submission::transition::tests::wrong_agency_returns_error
- n2c::local_tx_submission::transition::tests::version_gating
- n2c::local_state_query::transition::tests::acquire_then_acquired_transitions_to_acquired
- n2c::local_state_query::transition::tests::acquire_then_failure_returns_to_idle
- n2c::local_state_query::transition::tests::query_then_result_round_trips
- n2c::local_state_query::transition::tests::release_returns_to_idle
- n2c::local_state_query::transition::tests::re_acquire_from_acquired_transitions_to_acquiring
- n2c::local_state_query::transition::tests::client_done_from_idle_terminates
- n2c::local_state_query::transition::tests::client_done_from_acquired_terminates
- n2c::local_state_query::transition::tests::wrong_agency_returns_error
- n2c::local_tx_monitor::transition::tests::idle_acquire_then_acquired
- n2c::local_tx_monitor::transition::tests::acquired_release_returns_to_idle
- n2c::local_tx_monitor::transition::tests::acquired_await_acquire_re_acquires
- n2c::local_tx_monitor::transition::tests::acquired_next_tx_then_reply_with_tx
- n2c::local_tx_monitor::transition::tests::acquired_next_tx_then_reply_empty_mempool
- n2c::local_tx_monitor::transition::tests::acquired_has_tx_then_reply_present
- n2c::local_tx_monitor::transition::tests::acquired_has_tx_then_reply_absent
- n2c::local_tx_monitor::transition::tests::acquired_get_sizes_then_reply
- n2c::local_tx_monitor::transition::tests::acquired_get_measures_then_reply
- n2c::local_tx_monitor::transition::tests::get_measures_rejected_below_v2
- n2c::local_tx_monitor::transition::tests::client_done_terminates_from_idle
- n2c::local_tx_monitor::transition::tests::wrong_agency_returns_error
- n2c::local_tx_monitor::transition::tests::version_gating_rejects_out_of_version_message
- local_chain_sync_event_trace
- local_tx_submission_event_trace
- local_state_query_event_trace
- local_tx_monitor_event_trace