Microsegmentation Controller Reconciliation Logic Code Verification Dataset
- Records
- 5000
- Size
- 0.4GB
- Format
- JSON
- Provider
MOBIUSI INC- Updated
- v1.02026-11-04
Focused on microsegmentation controller reconciliation, the collection includes source code for reading desired policies, computing policy differences, applying updates, and recording execution state, together with verification scenarios and expected behavior. It covers key cases such as retries, partial failures, and drift between desired and executed state, supporting control-flow tracing and checks for omitted or incorrectly applied isolation policies. It is suitable for code reasoning and controller implementation verification, including assessment of policy consistency under failure conditions.
Overview
Dataset Insights
Preview
Sample Examples
Schema
Technical Specifications
| Field | Type | Description |
|---|---|---|
| file_name | string | File name |
| verification_case | object | An input scenario and its expected behavior for assessing the controller's reconciliation logic. |
| reconciliation_flow | array | An ordered description of relevant control-flow steps inferred from the source code. |
| verification_result | object | A judgment on whether the implementation satisfies the verification case and preserves its isolation invariant. |
| policy_diff_analysis | object | Analysis of how the controller obtains desired and observed state, computes differences, and applies policy updates. |
| controller_source_code | string | Source code that implements desired-policy reads, reconciliation, and execution-state updates. |
| failure_handling_analysis | object | Analysis of retry behavior, partial failures, and drift between desired and executed state. |
Trust
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
FAQ
Frequently Asked Questions
- What does the dataset contain?
- It includes controller source code for reading desired policies, reconciling policy differences, and updating execution state, along with cases describing inputs, expected behavior, and verification judgments. Coverage includes retries, partial failures, and drift between desired and executed state.
- What can be verified with this data?
- It supports tracing reconciliation control flow, analyzing how policy differences are computed and applied, and checking retry behavior and state updates after failures. It can also help identify cases where isolation policies may be omitted or applied incorrectly.
- How can I obtain and use the data?
- The data can be obtained through the product page or the designated delivery channel. File formats, access methods, and required tools depend on the delivery terms; source code, verification cases, and expected results can be used in code reasoning and verification workflows.
- What are the licensing terms?
- Permitted use depends on the product agreement and delivery terms. Review the terms for commercial use, redistribution, and any rights related to included source code, and contact the provider to confirm requirements for a specific use case.
Can't find the data you need?
Post a request and let data providers reach out to you.
Get this Dataset
High-quality data, ready for your next AI breakthrough.
Cite this Work
@dataset{Mobiusi2026,
title={Microsegmentation Controller Reconciliation Logic Code Verification Dataset},
author={MOBIUSI INC},
year={2026},
url={https://www.mobiusi.com/datasets/c67008f041d239c32524d1d8de2ebf50?dataset_scene_cate_type=9},
urldate={2026-10-20},
keywords={microsegmentation controller,code verification dataset,controller reconciliation logic,policy difference analysis,network isolation verification,code reasoning training,retry logic analysis,state drift detection},
version={1.0}
}Using this in research? Please cite us.