import {waitServicesTests} from './wait-guest-services-host-report.mjs';
const p=n=>'scripts/os-acceptance/k1080-wait-'+n;
export const k1080WaitMainTests=[...waitServicesTests,
 'main_owned_selection_rejects_old_physical_target_and_retries_same_token',
 'main_stage_blocks_other_selection_without_discarding_exact_wait_prepared',
 'main_pure_cpu_mask_irq_gates_precede_poisoned_real_table_loan',
 'main_two_owned_sleeps_allow_third_progress_and_ready_cooperation_after_one_cancel',
 'main_bootstrap_return_refuses_real_terminal_pin_until_actual_retirement',
 'main_cleanup_retires_exact_real_members_and_all_twelve_modeled_stack_pages',
 'main_successful_wire_callback_drift_keeps_actual_lookup_before_poisoned_owner_read',
 'main_successful_bootstrap_wire_drift_keeps_actual_after_lookup_before_poisoned_owner_read',
 'main_inert_old_lookup_refuses_reused_generation_without_resurrecting_consumed_token',
 'main_successful_target_root_drift_is_checked_even_when_authority_cpu_mask_current_match',
 'main_successful_bootstrap_root_drift_keeps_after_lookup_even_when_authority_matches',
];
const executionRead='self\n            .queue\n            .queue()\n            .with_backend_observation(|b| b.k1080_execution())\n            != before';
export const k1080WaitMainMutants=[
 {id:'retained-selection-dropped',path:p('bridge-main.rs'),needle:'                self.failed_selection = Some(actual);\n                self.faulted = true;',replacement:'                let _discarded = actual;\n                self.faulted = true;',test:k1080WaitMainTests[28]},
 {id:'target-full-execution-postcheck-skipped',path:p('bridge-main.rs'),needle:executionRead+'\n            || self.authority.execution() != e',replacement:'self.authority.execution() != e',all:2,test:k1080WaitMainTests[31]},
 {id:'bootstrap-full-execution-postcheck-skipped',path:p('bridge-main.rs'),needle:executionRead+'\n            || self.authority.execution() != observed',replacement:'self.authority.execution() != observed',test:k1080WaitMainTests[32]},
 {id:'inert-old-generation-admitted',path:p('core-main.rs'),needle:'self.checked(&inert).map(|_| ())',replacement:'let _inert = inert; Ok(())',test:k1080WaitMainTests[30]},
 {id:'staged-wait-main-selection-admitted',path:p('core-main.rs'),needle:'Phase::Armed | Phase::Staged | Phase::Departed | Phase::Quarantined',replacement:'Phase::Quarantined',test:k1080WaitMainTests[23]},
 {id:'terminal-actual-pin-return-admitted',path:p('core-main.rs'),needle:'self.slots.iter().any(|s| s.owned.is_some()) || self.backend.retained_claims() != 0',replacement:'false',test:k1080WaitMainTests[26]},
 {id:'live-members-cleanup-admitted',path:p('bridge-main.rs'),needle:'snapshot.active != 0 || snapshot.members != 0 || snapshot.queued != 0',replacement:'false',test:k1080WaitMainTests[27]},
 {id:'post-bootstrap-drift-relabeled-before',path:p('bridge-main.rs'),needle:'return Err(K1080MainReturnFailure::After(wait::Error::Context, token));',replacement:'return Err(K1080MainReturnFailure::Before(wait::Error::Context, token));',all:2,test:k1080WaitMainTests[29]},
];