G8l: S244 exclusion-admission non-authoritative request producer

/// Publish at most one request after two non-consuming readiness inputs agree.
/// A pending request backpressures duplicates and preserves its exact ID.
pub fn service_s245_exclusion_admission_request(
    state: &mut G8lS245WholeSchedulerExclusionAdmissionRequestState,
    caller_cpu: usize,
    s242_authorities_ready: bool,
    s240_receipt_ready: bool,
) -> Result<G8lS245ExclusionAdmissionRequestOutcome, G8lS245ExclusionAdmissionRequestError> {
    if caller_cpu != S245_SOURCE_CPU0 {
        return Err(G8lS245ExclusionAdmissionRequestError::WrongSourceCpu);
    }
    if let Some(request_id) = state.pending_request_id() {
        return Ok(G8lS245ExclusionAdmissionRequestOutcome::RequestPending(
            request_id,
        ));
    }
    if !s242_authorities_ready || !s240_receipt_ready {
        return Ok(G8lS245ExclusionAdmissionRequestOutcome::Idle);
    }
    state
        .publish_ready_request()
        .map(G8lS245ExclusionAdmissionRequestOutcome::RequestPublished)
}

#[test]
fn s245_pending_request_backpressures_duplicate_publication() {
    let mut state = G8lS245WholeSchedulerExclusionAdmissionRequestState::new();
    service_s245_exclusion_admission_request(&mut state, S245_SOURCE_CPU0, true, true).unwrap();
    assert_eq!(
        service_s245_exclusion_admission_request(&mut state, S245_SOURCE_CPU0, true, true),
        Ok(G8lS245ExclusionAdmissionRequestOutcome::RequestPending(1))
    );
    assert_eq!(state.pending_request_id(), Some(1));
}

  {
    id: "g8l-s245-production-s244-whole-scheduler-exclusion-admission-request-partial",
    date: "2026-08-25",
    sequence: 245,
    status: "passed",
    umbrella_status: "partial",
    title: "G8l: S244 exclusion-admission non-authoritative request producer",
    summary:
      "S245 17/17 PASS ile S244 AwaitingExclusion koluna bounded CPU0→CPU1 iş isteği üreticisi ekledi. S242 runtime/owner authority readiness'i ile S240 post-EOI receipt readiness'i birlikte true değilse Idle kalır; iki probe da non-consuming'dir. İkisi hazırsa en fazla bir non-Copy/non-Clone request yayımlanır, dolu slot exact request ID ile duplicate publication'ı backpressure eder. Request açıkça authority veya whole-scheduler exclusion proof'u değildir. CPU1 extractor source-wired fakat çağrılmamıştır; provider, S244 admission, S243/S236 invocation, SGI, güvenli runtime execution veya scheduler mutation kanıtı yoktur.",
    evidence: [
      "S245 focused host grubu final kaynak üzerinde iki bağımsız koşuda 17/17 PASS verdi: canonical test-result 95 B / SHA-256 8fcba0edbdc32c287be86625a58324002859c2a42d25040076c68612403fce58.",
      "S238 + S239 + S240 receipt/SGI + S241 + S242 + S243 + S244 + S245 dependency matrisi 9 grup / 158/158 PASS verdi; canonical summary 855 B / SHA-256 83d6ff8b2be9284f51d190888a439a79606896b1f41b3302afbeddc0d9c6442f ve iki bağımsız koşuda byte-equal.",
      "RPi5 AArch64 normal/SMP profilleri ikişer koşuda byte-equal PASS verdi. Normal: 349105 B / 675 warning başlığı / SHA-256 a23d43d17634d6c856df8208abf96a356e337681ed9db461695b9f8bd68bed83. SMP: 349047 B / 675 warning başlığı / SHA-256 98e1183cf76b3429cf97c6681c945621198e5630cd3880d8adab5bb08f5e9f12. Zero-warning iddiası yoktur.",
      "Exact production sırası: CPU0 timer IRQ → GIC EOI → S244 gate → AwaitingExclusion → S245 iki non-consuming readiness probe → Idle veya tek bounded CPU1 request → scheduler dispatch. Request S242 authorities veya S240 receipt'i taşımaz ve tüketmez.",
      "Request descriptor is_authority=false ve whole_scheduler_exclusion_proven=false taşır. Request ID yalnız accepted publication sonrasında artan nonzero u64'tür; 0/u64::MAX ve wrong-CPU yolları publication/state mutation öncesinde fail-closed'dur.",
      "Yedi tarihsel G8h assertion'ı isim isim değiştirilmeden dışlayan final workspace audit'i iki byte-equal koşuda 207 grup / 1893 PASS / 0 fail / 7 filtered verdi: log 54429 B / SHA-256 5e5105a4a8e30f7dd5360a6be80af91ed66ad5beb72adbc1aea6f552fb4c484d. Filtresiz koşu aynı frozen S96 identity kapısında exit 101 verdi; full-workspace GREEN iddia edilmez.",
      "S245 physical/device operations=0; RUNBOOK_EXECUTED_IN_S245=NO. Tarihsel S124 physical BOOT8H PASS ve tam operatör sırası görünür biçimde korunur.",
      "Canlı marker: S245_17_OF_17_S244_WHOLE_SCHEDULER_EXCLUSION_ADMISSION_NONAUTHORITATIVE_REQUEST_CPU0_TIMER_IRQ_AFTER_S244_AWAITING_EXCLUSION_BEFORE_SCHEDULER_S242_AUTHORITIES_S240_RECEIPT_READINESS_NONCONSUMING_SINGLE_INPUT_IDLE_BOTH_READY_ONE_CPU1_TARGETED_REQUEST_PENDING_BACKPRESSURE_EXACT_ID_MONOTONIC_NONZERO_EXHAUSTION_FAILS_BEFORE_PUBLICATION_WRONG_CPU_NONDESTRUCTIVE_REQUEST_IS_NOT_AUTHORITY_REQUEST_DOES_NOT_PROVE_EXCLUSION_CPU1_EXTRACTOR_SOURCE_WIRED_NOT_INVOKED_NO_PROVIDER_NO_S244_ADMISSION_NO_S243_S236_INVOCATION_NO_SGI_NO_REQUEST_OBSERVED_NO_GLOBAL_SCHEDULER_EXCLUSION_PROOF_NO_SAFE_RUNTIME_EXECUTION_CLAIM_AARCH64_NORMAL_SMP_COMPILED_WORKSPACE_1893_PASS_7_HISTORICAL_G8H_ASSERTIONS_RED_PHYSICAL_QEMU_CPU2_CPU3_HOTPLUG_SOAK_GENERIC_SMP_OPEN_FULL_PHYSICAL_RUNBOOK_VISIBLE_S405_TO_S455_S430_NO_RUNBOOK_EXECUTED_IN_S245_VERIFIED.",
    ],
    commands: [
      "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s244_whole_scheduler_exclusion_admission_request -- --test-threads=1",
      "cargo check --quiet -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5",
      "cargo check --quiet -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5,smp",
      "cargo test --workspace --quiet -- --test-threads=1 --skip wiring_does_not_mutate_timer_gic_boot_or_expand_runtime_scope --skip s97_runtime_and_layout_identities_are_unchanged --skip clean_bridge_literal_include_closure_is_manifest_complete --skip clean_image_make_recipe_inputs_are_exact_and_manifested --skip s99_and_s98_are_narrowly_historically_versioned --skip s97_s98_inputs_and_make_history_are_narrowly_versioned --skip historical_s90_and_s100_inputs_remain_exact",
    ],
    terminalSessions: [
      {
        id: "s245-g8l-s244-whole-scheduler-exclusion-admission-request",
        title: "G8l S245 S244 exclusion-admission request producer",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s244_whole_scheduler_exclusion_admission_request -- --test-threads=1",
        ],
        outputLines: [
          "test result: ok; S245 focused 1 group / 17 passed; 0 failed",
          "S242/S240 readiness both true → one CPU0→CPU1 work request; pending → exact-ID backpressure",
          "request authority=false / exclusion_proven=false; provider, S244 admission and S243/S236 invocation absent",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "S245 terminal özeti bounded request üretimini doğrular; request bir whole-scheduler exclusion authority/proof/admission değildir ve CPU1 provider çalıştırılmış sayılmaz.",
    limitations: [
      "S245 request yalnız bir iş descriptor'ıdır; authority, proof, lease veya S244 admission değildir.",
      "CPU1 extractor source-wired fakat invoke edilmedi; whole-scheduler exclusion provider yoktur.",
      "S245 S242 authorities veya S240 receipt'i tüketmez; S243/S236 production girişi hâlâ S244 admission olmadan kapalıdır.",
      "SGI, CPU1 wake, S187 production handoff, scheduler mutation, ERET/context-switch veya hardware execution gözlenmedi.",
      "QEMU RPi5 cross-CPU exclusion provider yolunu doğrulamaz; fiziksel RPi, CPU2/CPU3, hotplug, soak ve Generic SMP açıktır.",
      "S245 fiziksel/device operasyonu yapmadı; RUNBOOK_EXECUTED_IN_S245=NO.",
    ],
  },