G8l: typed production current-task owner invocation return acknowledgement

#[cfg(all(target_arch = "aarch64", target_os = "none"))]
pub unsafe fn acknowledge_production_current_task_owner_invocation(
    runtime: &G8lRuntimeAuthority,
    authority: &G8lSchedulerOwnerAuthority,
    invocation: G8lProductionCurrentTaskOwnerInvocationReceipt,
    outcome: G8lProductionCurrentTaskOwnerCommit,
) -> Result<
    G8lProductionCurrentTaskOwnerInvocationReturnReceipt,
    G8lProductionCurrentTaskOwnerInvocationReturnAcknowledgementError,
> {
    G8lProductionCurrentTaskOwnerInvocationOutcome::from_parts(
        invocation,
        outcome.scheduler,
        outcome.release,
    )
    .acknowledge(runtime, authority)
}

#[test]
fn invocation_task_epoch_context_asid_and_root_are_revalidated() {
    let mutations: &[fn(&mut G8lProductionCurrentTaskOwnerInvocationReceipt)] = &[
        |r: &mut G8lProductionCurrentTaskOwnerInvocationReceipt| r.task_id += 1,
        |r: &mut G8lProductionCurrentTaskOwnerInvocationReceipt| r.owner_epoch += 1,
        |r: &mut G8lProductionCurrentTaskOwnerInvocationReceipt| r.context_generation += 1,
        |r: &mut G8lProductionCurrentTaskOwnerInvocationReceipt| r.asid += 1,
        |r: &mut G8lProductionCurrentTaskOwnerInvocationReceipt| r.root += 1,
    ];
    for mutate in mutations {
        let (runtime, authority, mut invocation, scheduler, release) = fixture();
        mutate(&mut invocation);
        assert_eq!(
            outcome(invocation, scheduler, release).acknowledge(&runtime, &authority),
            Err(G8lProductionCurrentTaskOwnerInvocationReturnAcknowledgementError::InvocationReceiptMismatch)
        );
    }
}

  {
    id: "g8l-s208-production-current-task-owner-invocation-return-acknowledgement-partial",
    date: "2026-08-25",
    sequence: 208,
    status: "passed",
    umbrella_status: "partial",
    title:
      "G8l: typed production current-task owner invocation return acknowledgement",
    summary:
      "S208 13/13 PASS ile S207 invocation envelope'ını S206/S205 scheduler commit ve S204 release receipt'lerine bağlayan non-Copy typed return outcome seam'ini kurdu: runtime instance, task/CPU1 owner/epoch, context generation, ASID/root ve exact exclusion token tek acknowledgement'ta yeniden doğrulanır; mismatch fail-closed, yeni scheduler mutation yok ve production runtime invocation yapılmadı.",
    evidence: [
      "S208 focused return-acknowledgement grubu 13/13 PASS: exact S207/S205/S204 envelope, non-running/foreign owner, runtime-instance, invocation/scheduler/release identity mismatch, zero-token, source allocation-free ve AArch64 wrapper kapıları.",
      "İki bağımsız focused koşu byte-eşit kaldı: 128 B / SHA-256 02983f1a7d644519bfddb0884a6cd0ce69f40c4b845eb54b71ecdc6e19a8ff09.",
      "S206 callsite + S206 readback + S207 invocation + S208 return acknowledgement dependency matrix iki bağımsız koşuda 4 grup / 44/44 PASS ve 502 B / SHA-256 0c77589e468a924fee0ff34f571dcef7a42f6abe00a4471115d75a3803bc4d0f verdi.",
      "S155–S208 explicit sequence-ordered matrix iki bağımsız koşuda 56 grup / 527/527 PASS ve 6913 B / SHA-256 041a68214e059766fb5698698dc078236b935540843d3fc86d1b9307f0469418 verdi.",
      "RPi5 AArch64 compile PASS: 545 warning envanterlendi, hata yok; 256087 B / SHA-256 b15fdc03795873e0f8e8279e25b815047cb67d15bb9b7c4293b8aae69d84c958. Zero-warning iddiası yoktur.",
      "RPi5 AArch64 smp compile PASS: 545 warning envanterlendi, hata yok; 256029 B / SHA-256 2fc4f2a8d1326cbd540acdb1cf49b81c62a2d7e46c6a798770f083ee966f6c08. Zero-warning iddiası yoktur.",
      "Kalıcı kapsam: `docs/M8.1-RPi5-G8l-S208-Production-Current-Task-Owner-Invocation-Return-Acknowledgement-Proof.md`.",
      "S208 fiziksel/device operasyonu yapmadı: physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S208=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ı; S208'de uygulanmadı.",
      "Canlı marker: S208_13_OF_13_G8L_TYPED_PRODUCTION_CURRENT_TASK_OWNER_INVOCATION_RETURN_ACKNOWLEDGEMENT_EXACT_S207_ENVELOPE_S206_S205_S204_RECEIPTS_RUNTIME_TASK_CPU1_OWNER_EPOCH_CONTEXT_ASID_ROOT_EXCLUSION_TOKEN_REVALIDATED_MISMATCH_FAIL_CLOSED_NO_NEW_SCHEDULER_MUTATION_NOT_RUNTIME_INVOKED_LEGACY_SCHEDULER_ACCESSES_UNCOVERED_WHOLE_SCHEDULER_GIC_HARDWARE_QEMU_PHYSICAL_CPU2_CPU3_HOTPLUG_SOAK_GENERIC_SMP_OPEN_FULL_PHYSICAL_RUNBOOK_VISIBLE_S368_TO_S418_S393_NO_RUNBOOK_EXECUTED_IN_S208_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_return -- --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: "s208-g8l-production-current-task-owner-invocation-return-acknowledgement",
        title: "G8l S208 typed production invocation return acknowledgement",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_current_task_invocation_return -- --test-threads=1",
        ],
        outputLines: [
          "test result: ok; 13 passed; 0 failed",
          "S207 invocation, S205 scheduler commit and S204 release identities revalidated",
          "return acknowledgement is typed and non-replayable; new scheduler mutation/runtime invocation not claimed",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "Terminal özeti S208 typed return acknowledgement sınırını gösterir; QEMU veya fiziksel cihaz çalıştırması değildir.",
    limitations: [
      "S208 S207 permit invocation sonucunu typed acknowledgement'a bağlar; boot/IRQ/scheduler runtime bu sonucu 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.",
      "S208 fiziksel/device operasyonu yapmadı; RUNBOOK_EXECUTED_IN_S208=NO.",
    ],
  },