G8l: scheduler-mutation permit source contract

impl G8lTargetDispatchSchedulerPermit {
    pub fn from_scheduler_admission(
        runtime: &G8lRuntimeAuthority,
        admission: G8lTargetDispatchSchedulerAdmission,
    ) -> Result<Self, G8lTargetDispatchSchedulerPermitError> {
        admission.revalidate_runtime(runtime)?;
        Ok(Self {
            admission: Some(admission),
        })
    }

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

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

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

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