Mineral Processing Sequence and Interlock Code Verification Dataset

#code verification #state transition analysis #interlock logic validation #mineral processing automation #industrial control system verification #process safety monitoring

5000
0.4GB
JSON
CATL
MOBIUSI INC

Updated:2026-10-25

AI Analysis & Value Prop

This dataset focuses on equipment startup and shutdown sequences, operating-state transitions, and control interlock logic in mineral processing. It provides Python source code with validation outcomes, issue categories, and analysis summaries, covering common defects such as invalid state transitions and missing interlock conditions. Root-cause annotations support training and evaluating code verification systems and improving the reliability of industrial control software.

Dataset Insights

Sample Examples

{}

Technical Specifications

Field	Type	Description
file_name	string	File name
root_cause	string	Summary of the underlying cause of a verification failure or code issue; marked as none when no issue is found.
source_code	string	Python source code to be verified, covering mineral processing equipment startup and shutdown sequences, state transitions, or control interlocks.
analysis_summary	string	Summary of the code review scope, key verification findings, and supporting evidence.
issue_categories	array	Categories of issues identified during code verification; an empty array indicates that no issues were found.
validation_status	string	Overall conclusion on whether the source code passes verification of its process and interlock logic.
invalid_transitions	array	Invalid equipment state transitions detected in the code, with a brief explanation of each.
missing_interlock_conditions	array	Interlock conditions identified during verification that are not covered by the code, with a brief explanation of each.

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?: It contains Python source code for mineral processing equipment sequences, state transitions, and control interlocks. Each example includes fields such as a validation outcome, issue categories, invalid transitions, missing interlock conditions, root cause, and analysis summary.

Which code issues are covered?: The examples focus on process and control logic issues, including invalid equipment state transitions and omitted interlock conditions. Issue categories and root-cause summaries support defect localization and review of verification results.

What tasks is the dataset suitable for?: It can support code verification, state transition checks, interlock condition review, code defect detection, and root-cause analysis for mineral processing control software. It is also suitable for training or evaluating code analysis models.

How can I access the dataset, and what are the licensing terms?: Please consult the product listing or data provider for availability, delivery format, and licensing terms. Confirm that the license covers your intended use before commercial deployment, redistribution, or other restricted activities.

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={Mineral Processing Sequence and Interlock Code Verification Dataset},
  author={MOBIUSI INC},
  year={2026},
  url={https://www.mobiusi.com/datasets/d99418683fb9c4d8e8fe532e7360ee66},
  urldate={2026-10-21},
  keywords={mineral processing code verification,process control software,equipment startup sequence,state transition validation,control interlock checks,Python code verification,industrial code defect detection,mineral processing control},
  version={1.0}
}

Using this in research? Please cite us.

placeholder

Products

Scene

Domain

Modality

Task