G8l: typed production current-task owner invocation admission

/// Consume one typed permit at one non-replayable entrypoint boundary.
pub fn invoke_current_task_owner_entrypoint<Output, InvokeError, Invoke>(
    permit: G8lProductionCurrentTaskOwnerInvocationPermit,
    invoke: Invoke,
) -> Result<Output, InvokeError>
where
    Invoke: FnOnce(
        G8lSchedulerOwnerSchedulerMutationDispatchReceiptCommit,
    ) -> Result<Output, InvokeError>,
{
    invoke(permit.into_commit())
}

#[test]
fn invocation_consumes_the_non_copy_permit_once() {
    let (_, _, permit) = admit_permit();
    let calls = Cell::new(0);
    let value = invoke_current_task_owner_entrypoint(permit, |commit| {
        calls.set(calls.get() + 1);
        assert_eq!(commit.task_id(), TASK);
        Ok::<_, ()>(207)
    })
    .unwrap();
    assert_eq!(value, 207);
    assert_eq!(calls.get(), 1);
}

  {
    id: "g8l-s207-production-current-task-owner-invocation-admission-partial",
    date: "2026-08-25",
    sequence: 207,
    status: "passed",
    umbrella_status: "partial",
    title: "G8l: typed production current-task owner invocation admission",
    summary:
      "S207 13/13 PASS ile S206 composite production entrypoint'inin hemen önünde non-Copy typed invocation permit'i kurdu: exact S197 commit, Running1/CPU1 owner/task/epoch, context generation, ASID ve root yeniden doğrulanır; permit tek FnOnce sınırında tüketilir, invocation error retry edilmez. Production wrapper S206 callsite'ına bağlı ve AArch64-compiled'dır; boot/IRQ/scheduler runtime invocation yapılmadı.",
    evidence: [
      "S207 focused invocation-admission grubu 13/13 PASS: exact envelope, CPU0/task/running/EL0/address-space mismatch, foreign runtime/authority, permit revalidation, one-shot invocation ve source/wrapper ordering kapıları.",
      "İki bağımsız focused koşu byte-eşit kaldı: 128 B / SHA-256 02983f1a7d644519bfddb0884a6cd0ce69f40c4b845eb54b71ecdc6e19a8ff09.",
      "S206 callsite + S206 readback + S207 invocation-admission focused matrix iki bağımsız koşuda 3 grup / 31/31 PASS ve 374 B / SHA-256 bbe3f15a567c830955ba60efc6ac0c7b995f9a2c1f14134a234078bbd163833c verdi.",
      "S155–S207 explicit sequence-ordered matrix iki bağımsız koşuda 55 grup / 514/514 PASS ve 6785 B / SHA-256 328f5e05d16d0bc8b218728dd5745c8f0e4ecb8ea38d006380650d3643575111 verdi.",
      "RPi5 AArch64 compile PASS: 540 warning envanterlendi, hata yok; 255143 B / SHA-256 4f0b4050b4cc4d8d905379923937eeaf6475a2f85800880d030e25a5f4a96741. Zero-warning iddiası yoktur.",
      "RPi5 AArch64 smp compile PASS: 540 warning envanterlendi, hata yok; 255092 B / SHA-256 6d9641e817f59d8c36e138ea5e5bffb59d569589724a638d69d32d50b9b4cf18. Zero-warning iddiası yoktur.",
      "Kalıcı kapsam: `docs/M8.1-RPi5-G8l-S207-Production-Current-Task-Owner-Invocation-Admission-Proof.md`.",
      "S207 fiziksel/device operasyonu yapmadı: physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S207=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ı; S207'de uygulanmadı.",
      "Canlı marker: S207_13_OF_13_G8L_TYPED_PRODUCTION_CURRENT_TASK_OWNER_INVOCATION_ADMISSION_EXACT_S197_COMMIT_RUNNING1_CPU1_OWNER_TASK_EPOCH_CONTEXT_GENERATION_ASID_ROOT_REVALIDATED_NONCOPY_ONE_SHOT_FNONCE_INVOCATION_ERROR_NO_RETRY_CPU0_TASK_RUNNING_EL0_ADDRESS_SPACE_FOREIGN_RUNTIME_AUTHORITY_FAIL_CLOSED_S206_CALLSITE_WRAPPED_AARCH64_COMPILED_NOT_RUNTIME_INVOKED_LEGACY_SCHEDULER_ACCESSES_WHOLE_SCHEDULER_GIC_HARDWARE_QEMU_PHYSICAL_CPU2_CPU3_HOTPLUG_SOAK_GENERIC_SMP_OPEN_FULL_PHYSICAL_RUNBOOK_VISIBLE_S367_TO_S417_S392_NO_RUNBOOK_EXECUTED_IN_S207_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_invocation -- --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: "s207-g8l-production-current-task-owner-invocation-admission",
        title: "G8l S207 typed production invocation admission",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_current_task_invocation -- --test-threads=1",
        ],
        outputLines: [
          "test result: ok; 13 passed; 0 failed",
          "exact Running1/CPU1 owner/task/epoch/context/ASID/root envelope revalidated",
          "non-Copy permit consumed once; production wrapper wired but runtime invocation not claimed",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "Terminal özeti S207 typed invocation admission sınırını gösterir; QEMU veya fiziksel cihaz çalıştırması değildir.",
    limitations: [
      "S207 typed permit S206 production callsite'ına giriş kapısıdır; boot/IRQ/scheduler runtime bu permit'i henüz üretip tüketmiyor.",
      "Legacy static mut SCHEDULER erişimleri S198 primitive'iyle tamamı kapsanmadığı için whole-scheduler exclusion, GIC/SGI, CPU1 ERET assembly, QEMU ve fiziksel RPi kapsam dışıdır.",
      "S207 fiziksel/device operasyonu yapmadı; RUNBOOK_EXECUTED_IN_S207=NO.",
    ],
  },