PASS boot_disarmed
PASS alternate
PASS rest
PASS dry
PASS reset_requires_stopped
PASS pressure
PASS sensor_nan
PASS sensor_out_of_range
PASS stale
PASS start_failure_fallback
PASS both_fail
PASS stuck
PASS uncommanded
PASS dropout
PASS no_rise
PASS rise_check_once
PASS runtime
PASS manual_protected
PASS overload_fallback
PASS remote_rearm
PASS config
PASS pressure_switch
PASS boot_feedback
PASS manual_failure_no_transfer
PASS repaired_single_pump
PASS adversarial
26 scenarios passed
PASS rest_release_normal_delayed_release
PASS rest_release_automatic_start_failure
PASS rest_release_overload_delayed_release
PASS rest_release_manual_stop_rearm
PASS rest_release_remote_permission_restore_unarmed
PASS rest_release_release_timeout_no_transfer
PASS fault_latch_all_external_orders
PASS fault_latch_core_first_external_later
PASS fault_latch_external_first_core_later
PASS fault_latch_invalid_inhibit_no_mutation
PASS fault_latch_fault_cleared_only_stopped_reset
7 Modbus scenarios passed
Storage: config/statistics roundtrip, 69 torn-write offsets, CRC recovery, quantization, ring wrap, sequence rollover and I/O failure PASS
Protocol: telemetry, atomic settings, commands/permission/busy, EEPROM failure, event retrieval, malformed frames and 10000 fuzz ADUs PASS
PASS panel_nc_loss_and_local_stop_inputs
PASS startup_held_auto_requires_stable_release_and_new_press
PASS held_stop_blocks_enable_and_consumes_conflicting_edge
PASS debounce_rejects_short_press
PASS simultaneous_auto_reset_rejected
PASS debounce_across_millisecond_rollover
PASS all_startup_held_buttons_except_stop_inhibited
PASS target_pending_command_is_busy
PASS target_stop_overrides_and_remains_pending
PASS target_reads_preserve_command_queue
PASS target_pending_command_rejects_configuration
PASS target_intercharacter_gap_rejects_frame
PASS target_crc_drop_then_valid_recovery
PASS target_timer_wrap_frames
PASS target_tx_timeout_de_releases
PASS analog_midscale
PASS analog_vdda_compensation
PASS analog_independent_corrections
PASS analog_tolerance_clamp
PASS analog_open_overrange_unmasked
PASS analog_second_channel_fault
PASS analog_invalid_adc_reference
PASS analog_supply_out_of_window
PASS analog_nonfinite_calibration
PASS analog_excessive_calibration
target GPIO startup/register configuration + 8 one-hot DI + 4 STOP/run combinations PASS (register fake, not silicon)
PASS iwdg_lsi_off_start_before_update_wait
PASS iwdg_immediate_update
PASS iwdg_delayed_update_before_deadline
PASS iwdg_timer_wrap
PASS iwdg_window_explicitly_disabled
PASS iwdg_only_update_flags_waited
PASS iwdg_stuck_updates_timeout_no_reload
PASS iwdg_timeout_across_timer_wrap
PASS actual_main_iwdg_init_failure_off_no_feed_no_control_loop
PASS actual_main_normal_boot_unarmed_control_step_feeds
PASS actual_main_protocol_storage_failure_immediate_off
PASS actual_main_boot_storage_and_bor_fault_first_latched_reset_auto_rejected
PASS actual_main_dry_then_storage_fault_keeps_first_and_blocks_reset_auto
PASS actual_main_running_checkpoint_power_abort_restore_no_reset_auto_restart
PASS actual_main_power_falls_at_final_gpio_gate_never_energizes
PASS actual_main_fast_panel_stop_run_enable_permit_transients_restored_no_auto_restart
PASS target_adc_init_calibration_ready_configuration
PASS target_adc_calibration_timeout_bounded
PASS target_adc_ready_timeout_bounded
PASS target_adc_normal_pressure_level_vref_and_diagnostics
PASS target_adc_whole_group_102ms_rejected_and_sensor_fault_latched
PASS target_adc_whole_group_100ms_boundary
PASS target_adc_whole_group_age_across_ms_wrap
PASS target_adc_four_sgood_snapshot_positions_each_latched_stop
PASS target_adc_both_sgood_faults_accumulated
PASS target_adc_overrun_before_dr_rejected
PASS target_adc_overrun_at_dr_read_rejected_without_committing_value
PASS target_adc_eoc_without_single_channel_eos_rejected
PASS target_adc_channel_configuration_timeout
PASS target_adc_conversion_timeout_us_wrap_stop_requested
PASS target_adc_adc_failure_persists_until_board_restart
PASS target_adc_unexpected_busy_rejected_stop_requested
PASS target_adc_zero_vref_propagates_sensor_stop
PASS target_adc_invalid_factory_calibration_rejected
PASS target_adc_open_pressure_channel_propagates_stop
19 target ADC scenarios PASS; register/time model only, physical NOT_RUN
PASS target_eeprom_reset_and_candidate_timing
PASS target_eeprom_full_page_write_read_with_address_probe
PASS target_eeprom_multi_chunk_random_read
PASS target_eeprom_busy_nack_retries_then_ack
PASS target_eeprom_nack_delayed_stop_before_retry_without_reset
PASS target_eeprom_nack_missing_stop_shared_deadline_abort_no_retry
PASS target_eeprom_power_loss_during_nack_stop_wait_off
PASS target_eeprom_all_nack_shared7ms_budget
PASS target_eeprom_stalled_ack_probe_uses7ms_not12ms
PASS target_eeprom_ack_budget_across_us_wrap
PASS target_eeprom_initial_transfer12ms_timeout
PASS target_eeprom_three_errors_rejected_even_with_txis_ready
PASS target_eeprom_initial_nack_not_retried_as_write_cycle_busy
PASS target_eeprom_hard_error_in_ack_probe_not_retried
PASS target_eeprom_busy_bus_resets_without_new_start
PASS target_eeprom_power_bad_before_start_off_no_bus_start
PASS target_eeprom_power_loss_in_wait_immediate_model_off
PASS target_eeprom_power_loss_between_address_and_data_off
PASS target_eeprom_power_loss_during_ack_retry_off
PASS target_eeprom_16_final_power_mutual_exclusion_alarm_spare_combinations
PASS target_eeprom_page_range_overflow_and_pointer_validation
PASS target_eeprom_storage_failure_off_old_config_survives_model_restart
FASTOBS mode=0 port=A pin=9 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=A pin=8 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=2 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=10 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=11 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=8 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=9 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=14 off_us=1100 injected_us=1000 latency_us=100
FASTOBS mode=0 port=B pin=15 off_us=1100 injected_us=1000 latency_us=100
PASS target_eeprom_nine_fast_inputs_during_successful_page_write_transient_latched
FASTOBS mode=1 port=A pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=A pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=2 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=10 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=11 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=14 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=1 port=B pin=15 off_us=1000 injected_us=1000 latency_us=0
PASS target_eeprom_nine_fast_inputs_during_stalled_txis_model_off_within100us
FASTOBS mode=2 port=A pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=A pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=2 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=10 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=11 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=14 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=2 port=B pin=15 off_us=1000 injected_us=1000 latency_us=0
PASS target_eeprom_nine_fast_inputs_during_ack_retry_delay_successful_storage
FASTOBS mode=3 port=A pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=A pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=2 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=10 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=11 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=8 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=9 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=14 off_us=1000 injected_us=1000 latency_us=0
FASTOBS mode=3 port=B pin=15 off_us=1000 injected_us=1000 latency_us=0
PASS target_eeprom_nine_fast_inputs_during_delayed_nack_stop_successful_storage
26 target EEPROM scenarios PASS; register/time/power model only, physical NOT_RUN
PASS fast_inputs_4096_raw_flags_requests_power_alarm_combinations
PASS fast_inputs_256_transient_latch_merge_once_no_field_corruption
PASS fast_inputs_actual_control_stop_fault_and_per_pump_failover_semantics
PASS early_boot RTC-domain reset: 43 register traces; no physical silicon claim
