G8l: scheduler-mutation execution callsite source contract

impl G8lTargetDispatchSchedulerExecution {
    pub fn from_scheduler_receipt(
        runtime: &G8lRuntimeAuthority,
        receipt: G8lTargetDispatchSchedulerReceipt,
    ) -> Result<Self, G8lTargetDispatchSchedulerExecutionError> {
        receipt.revalidate_runtime(runtime)?;
        Ok(Self {
            receipt: Some(receipt),
        })
    }

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

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

    pub const fn scheduler_mutation_execution_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_execution_keeps_mutation_and_global_exclusion_closed() {
    let source = include_str!("../../kernel/src/g8l_target_dispatch_scheduler_execution.rs");
    assert!(
        source.contains("pub const fn scheduler_mutation_execution_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-s184-target-dispatch-scheduler-execution-partial",
    date: "2026-08-24",
    sequence: 184,
    status: "passed",
    umbrella_status: "partial",
    title: "G8l: scheduler-mutation execution callsite source contract",
    summary:
      "S184, S183 non-Copy scheduler receipt'ini by-value tek sahip typed execution-callsite sınırında tüketip retention öncesi canlı runtime'ı yeniden doğrulayan 8/8 source contract kapısını kurdu. Scheduler owner mutation, production scheduler/global exclusion, GIC ve hardware yürütümü bağlanmadı; S185 TLBI runtime commit bu sınırın sonraki dar adımıdır.",
    evidence: [
      "g8l_target_dispatch_scheduler_execution: 8/8 PASS; exact S183 scheduler receipt by-value consumption, single-owner boundary and runtime revalidation before retention.",
      "Receipt error and consumed paths fail-closed; no architecture-injected receipt, scheduler mutation, production owner, GIC/SGI or hardware authority is claimed.",
      "Kalıcı kapsam: `docs/M8.1-RPi5-G8l-S184-Scheduler-Mutation-Execution-Proof.md`.",
      "S184 fiziksel/device operasyonu yapmadı: physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S184=NO.",
    ],
    commands: [
      "cargo test --quiet --test g8l_target_dispatch_scheduler_execution -- --test-threads=1",
      "cargo check --quiet --manifest-path kernel/Cargo.toml --target aarch64-unknown-none --no-default-features --features board-rpi5",
    ],
    terminalSessions: [
      {
        id: "s184-g8l-target-dispatch-scheduler-execution",
        title: "G8l S184 scheduler-mutation execution callsite",
        commandLines: [
          "cargo test --quiet --test g8l_target_dispatch_scheduler_execution -- --test-threads=1",
        ],
        outputLines: ["running 8 tests", "test result: ok; 8 passed; 0 failed"],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "S184 dar source-contract kabulü PASS'tir; scheduler mutation ve production runtime invocation açık kalır.",
    limitations: [
      "S184 typed execution boundary'yi kurar fakat scheduler mutation/owner transferi yapmaz.",
      "Production scheduler owner lock, global exclusion, GIC/SGI delivery, context-switch assembly, QEMU ve fiziksel RPi runtime açıktır.",
      "S184 fiziksel/device operasyonu yapmadı; RUNBOOK_EXECUTED_IN_S184=NO.",
    ],
  },