Reproducibility package for "Provenance-Aware Knowledge-State Transitions in Scientific Workflows: Integrity Constraints, Contraction, and Bounded Verification"

Abstract

Reproducibility package supporting the manuscript “Provenance-Aware Knowledge-State Transitions in Scientific Workflows: Integrity Constraints, Contraction, and Bounded Verification.” The deposit contains the executable explicit-state model checker, runtime policy baselines, synthetic trace data, mutation results, generative property-testing outputs, finite counterexample witnesses, figure-generation code, frozen result tables, integrity manifests, and documentation required to reproduce the reported computational results. The reported baseline reaches 1,951 distinct states through 23,321 generated successor computations to maximum shortest-path depth 14. The runtime conformance suite contains 280 valid controls and 520 faulty traces. All data are synthetic software artifacts. No human-subject, clinical, private, classified, or operational data are included.