G8l: scheduler-mutation execution receipt source contract

impl G8lTargetDispatchSchedulerReceipt {
    pub fn from_scheduler_callsite(
        runtime: &G8lRuntimeAuthority,
        callsite: G8lTargetDispatchSchedulerCallsite,
    ) -> Result<Self, G8lTargetDispatchSchedulerReceiptError> {
        callsite.revalidate_runtime(runtime)?;
        Ok(Self {
            callsite: Some(callsite),
        })
    }

    pub fn revalidate_runtime(
        &self,
        runtime: &G8lRuntimeAuthority,
    ) -> Result<(), G8lTargetDispatchSchedulerReceiptError> {
        let callsite = self
            .callsite
            .as_ref()
            .ok_or(G8lTargetDispatchSchedulerReceiptError::Consumed)?;
        callsite.revalidate_runtime(runtime)?;
        Ok(())
    }

    pub const fn consumed(&self) -> bool {
        self.callsite.is_none()
    }

    pub const fn scheduler_mutation_receipt_wired(&self) -> bool {
        false
    }

    pub const fn scheduler_mutation_executed(&self) -> bool {
        false
    }

    pub const fn production_scheduler_wired(&self) -> bool {
        false
    }

    pub const fn global_scheduler_exclusion_proven(&self) -> bool {
        false
    }

    pub const fn gic_delivery_wired(&self) -> bool {
        false
    }

    pub const fn hardware_execution_proven(&self) -> bool {
        false
    }

    pub const fn source_contract_only(&self) -> bool {
        true
    }
}

#[test]
fn scheduler_receipt_keeps_mutation_and_global_exclusion_closed() {
    let source = include_str!("../../kernel/src/g8l_target_dispatch_scheduler_receipt.rs");
    assert!(source.contains("pub const fn scheduler_mutation_receipt_wired(&self) -> bool"));
    assert!(source.contains("pub const fn scheduler_mutation_executed(&self) -> bool"));
    assert!(source.contains("pub const fn production_scheduler_wired(&self) -> bool"));
    assert!(source.contains("pub const fn global_scheduler_exclusion_proven(&self) -> bool"));
    assert!(source.contains("pub const fn gic_delivery_wired(&self) -> bool"));
    assert!(source.contains("pub const fn hardware_execution_proven(&self) -> bool"));
}

  {
    id: "g8l-s183-target-dispatch-scheduler-receipt-partial",
    date: "2026-08-24",
    sequence: 183,
    status: "passed",
    umbrella_status: "partial",
    title: "G8l: scheduler-mutation execution receipt source contract",
    summary:
      "S183, S182 scheduler-mutation callsite'ını by-value tek sahip typed execution-receipt sınırında tüketen 8/8 source contract kurdu. Receipt retention öncesi canlı runtime yeniden doğrulanır; callsite error ve consumed durumları fail-closed kalır, scheduler mutation/production owner/global exclusion/GIC/hardware bağlanmaz.",
    evidence: [
      "g8l_target_dispatch_scheduler_receipt: 8/8 PASS; exact S182 scheduler-callsite consumption, single-owner Option boundary and runtime revalidation before retention.",
      "S182 callsite error and consumed states propagate fail-closed; caller-built architecture constructor and public source getters remain closed.",
      "Production scheduler mutation execution, owner, global scheduler exclusion, GIC/SGI delivery and hardware execution remain closed: scheduler_mutation_receipt_wired=false, scheduler_mutation_executed=false, production_scheduler_wired=false, gic_delivery_wired=false, hardware_execution_proven=false.",
      "Kalıcı kapsam: `docs/M8.1-RPi5-G8l-S183-Scheduler-Mutation-Receipt-Proof.md`.",
      "S183 fiziksel/device operasyonu yapmadı: physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S183=NO.",
    ],
    commands: [
      "cargo test --quiet --test g8l_target_dispatch_scheduler_receipt -- --test-threads=1",
      "cargo check --quiet --manifest-path kernel/Cargo.toml --target aarch64-unknown-none --no-default-features --features board-rpi5",
    ],
    terminalSessions: [
      {
        id: "s183-g8l-target-dispatch-scheduler-receipt",
        title: "G8l S183 scheduler-mutation execution receipt source contract",
        commandLines: [
          "cargo test --quiet --test g8l_target_dispatch_scheduler_receipt -- --test-threads=1",
        ],
        outputLines: ["running 8 tests", "test result: ok; 8 passed; 0 failed"],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "S183 dar kaynak kabulü PASS'tir; typed execution receipt callsite'ı tüketir fakat production scheduler/GIC/hardware authority açmaz.",
    limitations: [
      "S183 source-only scheduler-mutation execution receipt boundary'dir; production scheduler mutation ve gerçek owner wiring yapmaz.",
      "Global scheduler exclusion/source linearity, GIC/SGI delivery, context-switch assembly, QEMU ve fiziksel RPi execution kapsam dışıdır.",
      "S183 fiziksel/device operasyonu yapmadı; RUNBOOK_EXECUTED_IN_S183=NO.",
    ],
  },