-- Given this, my initial thought was to annotate

@rule

decorators, like this:

@rule(max_retries=3)
def test(...):
   ...

However, this violates assumption 4. There is no way to do this:

@rule(max_retries=Test.Options.max_retries)
def test(...):
  ...