G8l: current-scheduler producer admission ve request publication

/// Consume the complete upstream tuple into one request suitable for the S210
/// queue. `publisher_cpu` is checked as a concrete CPU1 prerequisite rather
/// than trusted as a receipt field.
pub fn admit_runtime_owned_current_task_owner_request(
    runtime: G8lRuntimeAuthority,
    authority: G8lSchedulerOwnerAuthority,
    commit: G8lSchedulerOwnerSchedulerMutationDispatchReceiptCommit,
    observed: G8lObservedCurrentTask,
    publisher_cpu: usize,
) -> Result<G8lRuntimeOwnedCurrentTaskOwnerInvocation, G8lRuntimeOwnedRequestProducerAdmissionError>
{
    if publisher_cpu != CPU1 {
        return Err(G8lRuntimeOwnedRequestProducerAdmissionError::InvalidPublisherCpu);
    }
    let permit = G8lProductionCurrentTaskOwnerInvocationPermit::admit(
        &runtime,
        &authority,
        commit,
        observed,
        publisher_cpu,
    )
    .map_err(G8lRuntimeOwnedRequestProducerAdmissionError::Invocation)?;
    G8lRuntimeOwnedCurrentTaskOwnerInvocation::admit(runtime, authority, permit, publisher_cpu)
        .map_err(G8lRuntimeOwnedRequestProducerAdmissionError::RuntimeOwned)
}

#[test]
fn producer_admission_consumes_the_exact_tuple_into_one_s210_request() {
    let (runtime, authority, commit) = runtime_authority_commit();
    let request = admit_runtime_owned_current_task_owner_request(
        runtime,
        authority,
        commit,
        observed_current_task(),
        CPU1,
    )
    .unwrap();
    assert_eq!(request.target_cpu(), CPU1);
    request.revalidate().unwrap();
}

  {
    id: "g8l-s211-production-current-task-owner-request-publication-partial",
    date: "2026-08-25",
    sequence: 211,
    status: "passed",
    umbrella_status: "partial",
    title: "G8l: current-scheduler producer admission ve request publication",
    summary:
      "S211 15/15 PASS ile gerçek SCHEDULER.current_task gözlemini CPU1 + local IRQ-mask kapısında exact runtime/owner/S197 tuple ve S207 admission üzerinden S210 queue publication'a bağladı. Tek-slot replacement/replay kapıları korunur; upstream tuple'ı sağlayan runtime callsite henüz yoktur, bu nedenle present request veya scheduler mutation runtime gözlemi iddia edilmez.",
    evidence: [
      "S211 focused producer-admission/publication grubu iki bağımsız koşuda 15/15 PASS: typed single-slot queue, exact tuple admission, CPU0 rejection, real scheduler-field derivation, IRQ-mask/source order, occupied drop/no-retry ve no-upstream-callsite kapıları.",
      "Focused koşular byte-eşit kaldı: 130 B / SHA-256 0447f2fe9dc6fdf30815a6962cf23d978425e51bef2acde1efb27e5da13a78b3.",
      "S206 callsite/readback + S207–S210 typed zincir + S211 producer dependency matrix iki bağımsız koşuda 8 grup / 97/97 PASS ve 1015 B / SHA-256 04e998274549f1a6917303404dd76ad7c15cdedf2ab4854602bce3a1ec6d4c50 verdi.",
      "S155–S211 explicit sequence-ordered matrix iki bağımsız koşuda 60 grup / 580/580 PASS ve 7426 B / SHA-256 bd7ff529179087738295df09b07e311b30bd75028db923d6a1d1c7082474cd4a verdi; exact S210 7296 B prefix'i korundu.",
      "Gerçek producer adapter CPU1 kimliğini denetler, local IRQ'ları maskeler, SCHEDULER.current_task içinden task/running/EL0/ASID/root alanlarını türetir, S207 permit'i admitted request'e dönüştürür ve S210 queue'ya yayımlar. Upstream runtime/owner/S197 tuple callsite'ı yoktur.",
      "RPi5 AArch64 compile PASS: 530 warning envanterlendi; 272310 B / SHA-256 c3cb98f77c19e2756028b1287cb836462f139caaaefcd7b7ae07f9badb46241f. Zero-warning iddiası yoktur.",
      "RPi5 AArch64 smp compile PASS: 530 warning envanterlendi; 272252 B / SHA-256 a55cec9d1831a02be73df93b8221e21545f12c487fd384622b250a68b0f9d156. Zero-warning iddiası yoktur.",
      "Kalıcı kapsam: `docs/M8.1-RPi5-G8l-S211-Production-Current-Task-Owner-Request-Publication-Proof.md`.",
      "S211 fiziksel/device operasyonu yapmadı: physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S211=NO.",
      "Görünür fiziksel sıra: Gücü kapat → SD kartı Pi'den çıkar → SD kartı Mac'e tak → Yetkili write/verify/read-back işlemini tamamla → SD kartı Mac'ten güvenli çıkar → SD kartı güçsüz Pi'ye tak → UART capture pre-arm ve exact identity kapısını doğrula → Güç ver. Bu sıra yalnız tarihsel S124'te tamamlandı; S211'de uygulanmadı.",
      "Canlı marker: S211_15_OF_15_CURRENT_SCHEDULER_PRODUCER_ADMISSION_AND_REQUEST_PUBLICATION_CPU1_IRQ_MASK_REAL_CURRENT_TASK_OBSERVATION_EXACT_S207_ADMISSION_S210_QUEUE_PUBLISH_SINGLE_SLOT_NO_REPLACEMENT_TAKE_BEFORE_INVOKE_NO_UPSTREAM_RUNTIME_TUPLE_CALLSITE_PRESENT_REQUEST_NOT_OBSERVED_LEGACY_SCHEDULER_ACCESSES_UNCOVERED_WHOLE_SCHEDULER_GIC_HARDWARE_QEMU_PHYSICAL_CPU2_CPU3_HOTPLUG_SOAK_GENERIC_SMP_OPEN_FULL_PHYSICAL_RUNBOOK_VISIBLE_S371_TO_S421_S396_NO_RUNBOOK_EXECUTED_IN_S211_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_current_task_runtime_owned_request_publication -- --test-threads=1",
      "cargo check --quiet --manifest-path kernel/Cargo.toml --target aarch64-unknown-none --no-default-features --features board-rpi5",
      "cargo check --quiet --manifest-path kernel/Cargo.toml --target aarch64-unknown-none --no-default-features --features board-rpi5,smp",
    ],
    terminalSessions: [
      {
        id: "s211-g8l-runtime-owned-request-publication",
        title: "G8l S211 current-scheduler producer admission and publication",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_current_task_runtime_owned_request_publication -- --test-threads=1",
        ],
        outputLines: [
          "test result: ok; 15 passed; 0 failed",
          "CPU1 + local IRQ mask + real SCHEDULER.current_task observation precede exact S207 admission",
          "admitted request publishes to the S210 queue; occupied request is dropped without replacement or retry",
          "upstream runtime/owner/S197 tuple callsite is absent; present request/runtime invocation is not claimed",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "Terminal özeti S211 target producer adapter ve publication sınırını gösterir; upstream runtime callsite, QEMU veya fiziksel cihaz çalıştırması değildir.",
    limitations: [
      "S211 gerçek current-task observation kullanan producer adapter'ı bağlar; ancak upstream runtime/owner/S197 tuple callsite'ı yoktur, dolayısıyla present request, S207 runtime invocation veya scheduler mutation gözlemi yoktur.",
      "Legacy static mut SCHEDULER erişimleri S198 primitive'iyle tamamı kapsanmadığı için whole-scheduler exclusion, GIC/SGI, QEMU ve fiziksel RPi kapsam dışıdır.",
      "S211 fiziksel/device operasyonu yapmadı; RUNBOOK_EXECUTED_IN_S211=NO.",
    ],
  },