Message Broker Replication Fault Code Verification Dataset

#Code Verification #Defect Detection #Root Cause Analysis #Code Repair #Message Brokers #Log Replication #Leader Failover #Distributed Systems Debugging

3710
0.3GB
JSON
CATL
MOBIUSI INC

Updated:2026-11-04

AI Analysis & Value Prop

This dataset contains source code samples related to replication, log synchronization, and leader failover in message brokers. It covers correct implementations and defective implementations that may cause inconsistent replica states, along with verification results and analysis details. Fields may include defect locations, root-cause explanations, verification evidence, and target repair code, making the dataset suitable for training and evaluating models that detect replication-path errors, analyze distributed state anomalies, and assist with code repair.

Dataset Insights

Sample Examples

{}

Technical Specifications

Field	Type	Description
file_name	string	File name
root_cause	string	An explanation of how the implementation can cause replication errors or inconsistent replica states.
source_code	string	The original code sample that implements or participates in replication, log synchronization, or leader failover.
defect_location	string	The identified defect location, such as a function, code region, or line range; an empty string indicates that no defect was identified.
source_language	string	The programming language used in the source code sample, when known.
repair_target_code	string	The corrected code or targeted code change, when a repair is provided; otherwise, an empty string.
verification_outcome	string	The derived classification of the implementation as correct, defective, or inconclusive.
verification_rationale	string	The reasoning or evidence supporting the verification outcome, including relevant replication and leader transition behavior.

Compliance Statement

Authorization Type	Proprietary - Commercial AI Training License (No Redistribution)
Commercial Use	Requires exclusive subscription or authorization contract (monthly or per-invocation charging)
Privacy and Anonymization	No PII, no real company names, simulated scenarios follow industry standards
Compliance System	Compliant with China's Data Security Law / EU GDPR / supports enterprise data access logs

Frequently Asked Questions

What does the dataset contain?: The dataset focuses on message broker replication, log synchronization, and leader failover code. It includes correct or defective implementation samples and may provide verification outcomes, defect locations, root-cause explanations, verification evidence, and target repair code.

Which tasks is the dataset suited for?: It can support code verification, replication defect detection, root-cause analysis, and code repair. It can also be used to evaluate how well models analyze inconsistent replica states and leader failover behavior.

Which programming languages and quality details are included?: Each sample provides source code and verification-related fields; the programming language is identified when known. The data includes verification outcomes and supporting rationale, while the exact language distribution, sample count, and evaluation standards should be confirmed from the dataset package.

How can I obtain the dataset, and what are its licensing terms?: Use the dataset product page or the provider's published distribution channel, and review the stated license scope, download method, and redistribution restrictions before use. No specific license terms are provided in this description.

Can't find the data you need?

Post a request and let data providers reach out to you.

Get this Dataset

Verified for Enterprise Use

Cite this Work

@dataset{Mobiusi2026,
  title={Message Broker Replication Fault Code Verification Dataset},
  author={MOBIUSI INC},
  year={2026},
  url={https://www.mobiusi.com/datasets/12212e59f3bf8039c021089b0f3f00b1?dataset_scene_id=19},
  urldate={2026-10-26},
  keywords={message broker code dataset,replication fault detection,log synchronization verification,leader failover defects,distributed systems debugging,code verification training,replica state consistency,root cause analysis data},
  version={1.0}
}

Using this in research? Please cite us.

placeholder

Scene

Domain

Modality

Task