Theoretical computer science · Sep 30, 2026
Pinwheel scheduling kernel conjecture
A six-task counterexample is reported; exact periods and the reduction rule must be taken from the original witness before publishing.
Scope and what remains
Not a solution of all pinwheel scheduling. Missing witness normalization remains an explicit publication blocker.
Contributors
Source authors and AI-assisted independent workflows; roles unresolved in this first-pass profile.
AI systems: GPT-6 Astra, Codex