AnimaLab: A Gate-Validated Inductive Learning Framework for Systems Programming Education | Synapse