The Scheduler Free-Energy Certificate: A One-Step Audit of Anti-Starvation Research Selection
Résumé fourni par la source
A formally verified one-step certificate for maximum-age selection under an equal-cost deterministic reset model, paired with a reproducible audit of a versioned research-scheduling policy. The policy proposal remains unadopted, and the paper does not claim long-run optimality, empirical productivity, or execution authority.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.
Contrôle bibliographique ouvert
Institutions déclarées
Une affiliation ne permet pas de déduire la nationalité d’un auteur.