G8l: scheduler-mutation callsite source contract

impl G8lTargetDispatchSchedulerCallsite {
    pub fn from_scheduler_permit(
        runtime: &G8lRuntimeAuthority,
        permit: G8lTargetDispatchSchedulerPermit,
    ) -> Result<Self, G8lTargetDispatchSchedulerCallsiteError> {
        permit.revalidate_runtime(runtime)?;
        Ok(Self {
            permit: Some(permit),
        })
    }

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

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

    pub const fn scheduler_mutation_callsite_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_callsite_keeps_mutation_and_global_exclusion_closed() {
    let source = include_str!("../../kernel/src/g8l_target_dispatch_scheduler_callsite.rs");
    assert!(source.contains("pub const fn scheduler_mutation_callsite_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-s182-target-dispatch-scheduler-callsite-partial",
    date: "2026-08-24",
    sequence: 182,
    status: "passed",
    umbrella_status: "partial",
    title: "G8l: scheduler-mutation callsite source contract",
    summary:
      "S182, S181 scheduler-mutation permitini by-value tek sahip typed scheduler callsite sınırında tüketen 8/8 source contract kurdu. Callsite retention öncesi canlı runtime yeniden doğrulanır; permit error ve consumed durumları fail-closed kalır, scheduler mutation/production owner/global exclusion/GIC/hardware bağlanmaz.",
    evidence: [
      "g8l_target_dispatch_scheduler_callsite: 8/8 PASS; exact S181 scheduler-permit consumption, single-owner Option boundary and runtime revalidation before retention.",
      "S181 permit error and consumed states propagate fail-closed; caller-built architecture constructor and public source getters remain closed.",
      "Production scheduler mutation callsite/execution, owner, global scheduler exclusion, GIC/SGI delivery and hardware execution remain closed: scheduler_mutation_callsite_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-S182-Scheduler-Mutation-Callsite-Proof.md`.",
      "S182 fiziksel/device operasyonu yapmadı: physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S182=NO.",
    ],
    commands: [
      "cargo test --quiet --test g8l_target_dispatch_scheduler_callsite -- --test-threads=1",
      "cargo check --quiet --manifest-path kernel/Cargo.toml --target aarch64-unknown-none --no-default-features --features board-rpi5",
    ],
    terminalSessions: [
      {
        id: "s182-g8l-target-dispatch-scheduler-callsite",
        title: "G8l S182 scheduler-mutation callsite source contract",
        commandLines: [
          "cargo test --quiet --test g8l_target_dispatch_scheduler_callsite -- --test-threads=1",
        ],
        outputLines: ["running 8 tests", "test result: ok; 8 passed; 0 failed"],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "S182 dar kaynak kabulü PASS'tir; typed scheduler callsite permit'i tüketir fakat production scheduler/GIC/hardware authority açmaz.",
    limitations: [
      "S182 source-only scheduler mutation callsite 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.",
      "S182 fiziksel/device operasyonu yapmadı; RUNBOOK_EXECUTED_IN_S182=NO.",
    ],
  },