Ordering of requirements is important. An example:
The player has 30 Health, 3 Energy, Regenerate, Spear, Life Pact
Spear=2, Damage=20 is not solvable: The player throws 2 Spears, which puts them at 20 Health and 0 Energy. They cannot Regenerate to take the damage because Regenerate cannot be payed for with Life Pact energy.
Damage=20, Spear=2 is solvable: The player takes 20 Damage, which puts them at 10 Health and 3 Energy. They can now Regenerate, which puts them at 30 Health and 2 Energy. They can throw 2 Spears which puts them at 10 Health and 0 Energy.
This is a somewhat surprising fact that has been ignored entirely in all the paths up to this point. It's especially awkward because we currently use standards that encourage reordering requirements for practical reasons:
OR chains have to go at the end of paths, to make them easier to read. However, this may lead to incorrect orderings if the OR chain is really used earlier in the path
Ordering of requirements is important. An example: The player has 30 Health, 3 Energy, Regenerate, Spear, Life Pact
Spear=2, Damage=20is not solvable: The player throws 2 Spears, which puts them at 20 Health and 0 Energy. They cannot Regenerate to take the damage because Regenerate cannot be payed for with Life Pact energy.Damage=20, Spear=2is solvable: The player takes 20 Damage, which puts them at 10 Health and 3 Energy. They can now Regenerate, which puts them at 30 Health and 2 Energy. They can throw 2 Spears which puts them at 10 Health and 0 Energy.This is a somewhat surprising fact that has been ignored entirely in all the paths up to this point. It's especially awkward because we currently use standards that encourage reordering requirements for practical reasons:
ORchains have to go at the end of paths, to make them easier to read. However, this may lead to incorrect orderings if theORchain is really used earlier in the path