Proof of `Results along special cases` (3rd statement)
What this proof establishes
no assumptions
Assuming the claims on the left, the claim on the right holds — checked by the archive's pipeline. Proof code is not displayed here.
Description
The word gives the kernel instance (header and records), the deadlines, sizes, weights and due dates (records), and the precedence pairs with their lags (the block); the constraints and the cost read nothing else.