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
ok: a devloop failure leaves fleet's posts as they are without it
ok: StoreQueryFailing is one instance per failing database, labelled and titled with it
Traceback (most recent call last):
  File "/nix/store/vixziicimr33k31hsz07nc2q0r1dghhg-fleet-alert/test_transition.py", line 404, in <module>
    test_transition_matches_model()
    ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~^^
  File "/nix/store/vixziicimr33k31hsz07nc2q0r1dghhg-fleet-alert/test_transition.py", line 174, in test_transition_matches_model
    derandomize=True,
               ^^^
  File "/nix/store/0wq2wpqi3611jav9npnssb4c3r3mvyca-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/vixziicimr33k31hsz07nc2q0r1dghhg-fleet-alert/test_transition.py", line 187, 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] StoreQueryFailing devloop', 'priority': 'high', 'kind': 'repost', 'id': '["StoreQueryFailing",[{"key":"database","value":"devloop"}]]'}], 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
         'storeErrors': ['devloop'],
         '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
             'Dev': [],  # or any other generated value
         },
         'failAt': None,  # or any other generated value
     },
     {
         'dt': 300,
         'storeErrors': ['devloop'],
         '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
             'Dev': [],  # or any other generated value
         },
         'failAt': None,
     },
     {
         'dt': 86400,
         'storeErrors': ['devloop'],
         'reporting': ['magnetite',
          'stibnite'],  # or any other generated value
         'results': {'Crit': [],
             'Warn': [],
             'Info': [],
             'Dev': []},  # 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/0wq2wpqi3611jav9npnssb4c3r3mvyca-python3-3.14.8-env/lib/python3.14/contextlib.py:157
        /nix/store/vixziicimr33k31hsz07nc2q0r1dghhg-fleet-alert/model.py:176
mutant noRepost rejected