{
 "expected_behaviour": "fail closed with a receipted denial; stale state refused at E8; unobservable effects labelled",
 "tests": [
  {
   "name": "test_unobservable_cwd_is_labelled_not_guessed",
   "status": "passed"
  },
  {
   "name": "test_forecaster_crash_fails_closed_and_observe_mode_records",
   "status": "passed"
  },
  {
   "name": "test_malformed_forecast_is_denied",
   "status": "passed"
  },
  {
   "name": "test_stale_forecast_cannot_reach_execution[policy]",
   "status": "passed"
  },
  {
   "name": "test_stale_forecast_cannot_reach_execution[model]",
   "status": "passed"
  },
  {
   "name": "test_stale_forecast_cannot_reach_execution[expiry]",
   "status": "passed"
  },
  {
   "name": "test_noncanonical_forecast_is_a_receipted_denial_not_a_crash",
   "status": "passed"
  },
  {
   "name": "test_malformed_min_trust_is_a_receipted_denial[bad0]",
   "status": "passed"
  },
  {
   "name": "test_malformed_min_trust_is_a_receipted_denial[bad1]",
   "status": "passed"
  },
  {
   "name": "test_malformed_min_trust_is_a_receipted_denial[bad2]",
   "status": "passed"
  },
  {
   "name": "test_malformed_min_trust_is_a_receipted_denial[None]",
   "status": "passed"
  },
  {
   "name": "test_malformed_min_trust_is_a_receipted_denial[3]",
   "status": "passed"
  }
 ]
}