Reproducibility Materials for Event-Conditioned Re-Quotienting in Reactive Scheduling

This record contains frozen computational evidence and reproducibility materials for research on exact event-conditioned re-quotienting in deterministic reactive scheduling of repeated production. The materials include validation results, fixture definitions, run configurations, labeled witnesses, provenance hashes, a bounded reactive integration patch, and build/run documentation. The package documents the verified computational evidence and its scope independently of any particular publication version.