Replication Package: A Formal Mastery Model for Competency-Based Software Engineering Education

This replication package accompanies the paper "A Formal Mastery Model for Competency-Based Software Engineering Education" and supports the reproducibility of its formal model definition and sensitivity analysis. The package contains the complete simulation notebook used to implement the mastery model (Section 4) and generate all figures in the sensitivity analysis (Section 5): the one-factor-at-a-time (OFAT) sensitivity plots and pairwise interaction heatmaps. The notebook is self-contained, requires no external data, and reproduces all results deterministically from the formal model alone. All variable names follow the paper's mathematical notation directly. Setup instructions and a correspondence table between code identifiers and paper symbols are provided in the included README.