ok: transition.jq equals the reference model on every generated timeline
ok: a rule without expr but with a results entry fires and resolves as its expr twin
ok: a rule without expr or results entry, and results named for internal rules, produce nothing
ok: a RESOLVED follows 5 min of absence observed while neither the store nor the host is frozen
Traceback (most recent call last):
  File "/nix/store/31vqmxzl3xfpw253yvbim0lhy5h6cn6d-fleet-alert/test_transition.py", line 309, in <module>
    test_transition_matches_model()
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^
  File "/nix/store/31vqmxzl3xfpw253yvbim0lhy5h6cn6d-fleet-alert/test_transition.py", line 162, in test_transition_matches_model
    derandomize=True,
               ^^^
  File "/nix/store/5a7fjh1dm85cxwdigw9007kfcbb4bw0a-python3-3.14.8-env/lib/python3.14/site-packages/hypothesis/core.py", line 2295, in wrapped_test
    raise the_error_hypothesis_found
  File "/nix/store/31vqmxzl3xfpw253yvbim0lhy5h6cn6d-fleet-alert/test_transition.py", line 175, in test_transition_matches_model
    assert want == got, f"run {index}: model posts {want}, transition.jq posts {got}"
           ^^^^^^^^^^^
AssertionError: run 2: model posts [{'title': '[FIRING] Crit magnetite', 'priority': 'high', 'kind': 'repost', 'id': '["Crit",[{"key":"host_name","value":"magnetite"}]]'}], transition.jq posts []
Failing test case: test_transition_matches_model(
    # The test always failed when commented parts were varied together.
    steps=[{
         'dt': 60,  # or any other generated value
         'storeError': False,  # or any other generated value
         'reporting': ['magnetite',
          'stibnite'],  # or any other generated value
         'results': {
             'Crit': [],  # or any other generated value
             'Warn': [],  # or any other generated value
             'Info': [],  # or any other generated value
         },
         'failAt': None,  # or any other generated value
     },
     {
         'dt': 60,  # or any other generated value
         'storeError': False,
         'reporting': ['magnetite', 'stibnite'],
         'results': {
             'Crit': ['magnetite'],
             'Warn': [],  # or any other generated value
             'Info': [],  # or any other generated value
         },
         'failAt': None,
     },
     {
         'dt': 86400,
         'storeError': False,
         'reporting': ['magnetite', 'stibnite'],
         'results': {
             'Crit': ['magnetite'],
             'Warn': [],  # or any other generated value
             'Info': [],  # or any other generated value
         },
         'failAt': None,  # or any other generated value
     }],
)
Explanation:
    These lines were always and only run by failing test cases:
        /nix/store/31vqmxzl3xfpw253yvbim0lhy5h6cn6d-fleet-alert/model.py:143
        /nix/store/5a7fjh1dm85cxwdigw9007kfcbb4bw0a-python3-3.14.8-env/lib/python3.14/contextlib.py:157