G8l: production migration-lifecycle exact S179 notification delivery request

/// Consume S237's CPU0 notification intent and issue one typed delivery request.
///
/// No interrupt-controller operation or CPU wake is performed here.
#[cfg(all(target_arch = "aarch64", target_os = "none"))]
pub unsafe fn take_notification_and_issue_s179_execution_caller_delivery_request_on_cpu0(
) -> Result<(), G8lProductionS179ExecutionCallerNotificationDeliveryRequestIssueError> {
    use crate::g8l_runtime_contract::CPU0;

    if crate::percpu::try_current_cpu_id() != Some(CPU0) {
        return Err(
            G8lProductionS179ExecutionCallerNotificationDeliveryRequestIssueError::WrongCpu,
        );
    }
    unsafe {
        crate::g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s179_execution_caller_notification::take_production_s179_execution_caller_notification_on_cpu0()
    }
    .map_err(
        G8lProductionS179ExecutionCallerNotificationDeliveryRequestIssueError::Notification,
    )?;

    let _irq_guard = crate::arch::aarch64::IrqGuard::new();
    G8L_PRODUCTION_S179_CPU0_NOTIFICATION_DELIVERY_REQUEST
        .lock()
        .issue()
        .map_err(|error| match error {
            G8lS179ExecutionCallerNotificationDeliveryRequestIssueError::Issued(()) => {
                G8lProductionS179ExecutionCallerNotificationDeliveryRequestIssueError::AlreadyIssued
            }
            G8lS179ExecutionCallerNotificationDeliveryRequestIssueError::Consumed(()) => {
                G8lProductionS179ExecutionCallerNotificationDeliveryRequestIssueError::Consumed
            }
        })
}

#[test]
fn s238_delivery_request_is_allocation_free_and_terminal() {
    let source = include_str!("../../kernel/src/g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s179_execution_caller_notification_delivery_request.rs");
    for forbidden in ["Box<", "Vec<", "alloc::", "pub fn reset", "fn clear"] {
        assert!(
            !source.contains(forbidden),
            "forbidden S238 marker: {forbidden}"
        );
    }
    assert!(source.contains("Idle -> Issued -> Consumed"));
}

  {
    id: "g8l-s238-production-migration-lifecycle-s179-execution-caller-notification-delivery-request-partial",
    date: "2026-08-25",
    sequence: 238,
    status: "passed",
    umbrella_status: "partial",
    title:
      "G8l: production migration-lifecycle exact S179 notification delivery request",
    summary:
      "S238 16/16 PASS ile S237'nin notification take'i sonrası allocation-free Idle→Issued→Consumed delivery request token'ını live CPU0'da issue/take ederek mevcut S236 consumer sırasına bağladı. Bu source/ABI ordering boundary gerçek GIC/SGI/IPI delivery, CPU0 wake, runtime-authority transportu, scheduler mutation, ERET veya fiziksel runtime değildir.",
    evidence: [
      "S238 focused grubu iki bağımsız byte-equal koşuda 16/16 PASS verdi: 131 B / SHA-256 15a7e46ffcfb80e4e2e064396f9c9ae1e218c34c5d775ddeec493f8d588c0d23.",
      "S237 notification + S238 delivery request matrisi iki byte-equal koşuda 2 grup / 32/32 PASS verdi: 262 B / SHA-256 359f520f51c19e6f690e3bf8712039d6d7c4ed5257bede82e88b3591c6267aca.",
      "RPi5 AArch64 compile PASS: 657 warning envanterlendi; 321169 B / SHA-256 62ed62c981b6edc9192be8245784d1977f5b68d8379f334601bb283778abb527. smp: 657 warning, 321111 B / SHA-256 e4138ba0adbd8b52037114f8f2de349237e94fcf8e43fbc3f041cb12da15b17f. Zero-warning iddiası yoktur.",
      "Tam workspace 152 tamamen yeşil grup / 1491 test ve kırılan grubun diğer 8 PASS'inden sonra yalnız frozen S96 exceptions.S identity assertion'ında kırmızı kaldı; S238 beklentiyi değiştirmedi ve full GREEN iddia edilmedi. Log 48707 B / SHA-256 0a46e839acee7435a4bb7b655ff3c426ffd9115175537241e94f4069949068b7.",
      "Kalıcı kapsam: docs/M8.1-RPi5-G8l-S238-Migration-Lifecycle-S179-Execution-Caller-Notification-Delivery-Request-Proof.md.",
      "S238 source/ABI sırası exact S237 notification take → S238 delivery request issue → S238 request take → S236 consumer'dır; slot Idle→Issued→Consumed terminaldir, retry/replacement/reset yoktur.",
      "S238 fiziksel/device operasyonu yapmadı: physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S238=NO.",
      "Canlı marker: S238_16_OF_16_MIGRATION_LIFECYCLE_S179_EXECUTION_CALLER_NOTIFICATION_DELIVERY_REQUEST_S237_NOTIFICATION_TAKE_ONCE_S238_ISSUED_IDLE_ISSUED_CONSUMED_CPU0_ISSUE_CPU0_TAKE_S236_CONSUMER_ORDER_NO_GIC_SGI_IPI_NO_CPU0_WAKE_NO_RUNTIME_AUTHORITY_TRANSPORT_NO_RETRY_NO_REPLACEMENT_NO_RESET_AARCH64_COMPILED_PRESENT_REQUEST_NOT_OBSERVED_SCHEDULER_MUTATION_NOT_OBSERVED_ERET_HARDWARE_QEMU_PHYSICAL_CPU2_CPU3_HOTPLUG_SOAK_GENERIC_SMP_OPEN_FULL_PHYSICAL_RUNBOOK_VISIBLE_S398_TO_S448_S423_NO_RUNBOOK_EXECUTED_IN_S238_VERIFIED; deployment-specific route/hash evidence is recorded in the project-status manifest.",
    ],
    commands: [
      "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s179_execution_caller_notification_delivery_request -- --test-threads=1",
      "cargo check -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5",
      "cargo check -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5,smp",
    ],
    terminalSessions: [
      {
        id: "s238-g8l-production-migration-lifecycle-s179-execution-caller-notification-delivery-request",
        title: "G8l S238 one-shot S179 notification delivery request",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s179_execution_caller_notification_delivery_request -- --test-threads=1",
        ],
        outputLines: [
          "test result: ok; 16 passed; 0 failed",
          "S237 notification take precedes the allocation-free Idle → Issued → Consumed request",
          "live CPU0 issue and take mask local IRQs around one synchronized slot",
          "request is consumed before S236; no GIC/SGI/IPI, wake, scheduler or physical path",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "Terminal özeti S238'in S237 notification intent'ini typed delivery-request sırasına bağladığını gösterir; gerçek interrupt delivery veya production scheduler/hardware execution kanıtı değildir.",
    limitations: [
      "S238 yalnızca notification delivery-request issue/take sınırıdır; GIC/SGI/IPI delivery ve CPU0 wake/dispatch bağlı değildir.",
      "S236/S231 typed S187 handoff sınırında durur; scheduler mutation, ERET/context-switch, QEMU present-tuple, fiziksel RPi, CPU2/CPU3, hotplug, soak ve Generic SMP açıktır.",
      "S238 fiziksel/device operasyonu yapmadı; RUNBOOK_EXECUTED_IN_S238=NO.",
    ],
  },