CFC Anchor: Phase-1 10K Engineering Assurance Campaign
Technical report documenting a 10,000-case engineering assurance campaign for CFC Anchor, a deterministic Evidence-Bound Closure Controller. The frozen Phase-1 campaign completed 10,000/10,000 generated primary cases with 0 observed false closures and 0 observed false blocks within the restricted oracle domain. Later mutation testing identified mechanism/path-coverage limitations, without rescoring or invalidating the historical 10K result.
Authors
- Krzysztof Jan Sliwka
Publication Details
- Journal
- Zenodo (CERN European Organization for Nuclear Research)
- Published
- 2026-09-04
- DOI
- https://doi.org/10.5281/zenodo.22308452
- Primary Topic
- Formal Methods in Verification
- Type
- article
- Field-Weighted Citation Impact
- 0.00