three fixed-era results are recorded as probable rediscoveries

agent-decided, reversible. The service-transfer theorem is in substance a standard consequence of Le Cam contiguity — the same definition, a different application. The bounded-delay interval feasibility condition is a Gale-Hoffman / Horn-1974 specialization. Serve-oldest-first optimality is the Jackson exchange argument. Each was derived independently in this repository and none should be presented as new mathematics.

Three further places are marked literature review needed rather than guessed at: whether the sliding-window cost form is classical; whether the join-semilattice conservation law has a belief-revision antecedent; and whether the persistent-wait theorem is a standard fairness argument. The rule adopted is that every extraction candidate has its literature review completed before any novelty claim is made outside this repository, and that independent derivation is a fact about our process, never evidence about the literature.

Rejected alternative: leaving the antecedents unrecorded on the grounds that the derivations were genuinely independent. Independence of derivation and novelty in the literature are different claims, and only the second is the one a reader would take from silence.