G8l: QEMU Ready-task initial-arg writer-commit preflight

pub fn preflight_s274_scheduler_writer_commit(
    caller_cpu: usize,
    request: Option<G8lS245WholeSchedulerExclusionAdmissionRequestView>,
) -> Result<G8lS274SchedulerWriterCommitPreflightOutcome, G8lS274SchedulerWriterCommitPreflightError>
{
    match preflight_s273_whole_scheduler_read_coverage(caller_cpu, request)
        .map_err(G8lS274SchedulerWriterCommitPreflightError::S273)?
    {
        G8lS273WholeSchedulerReadCoveragePreflightOutcome::Idle => {
            Ok(G8lS274SchedulerWriterCommitPreflightOutcome::Idle)
        }
        G8lS273WholeSchedulerReadCoveragePreflightOutcome::AwaitingCoverage {
            request_id,
            guarded_sites,
            unrouted_sites,
        } if guarded_sites == S273_WHOLE_SCHEDULER_GUARDED_SITES
            && unrouted_sites == S273_WHOLE_SCHEDULER_UNROUTED_SITES =>
        {
            Ok(
                G8lS274SchedulerWriterCommitPreflightOutcome::AwaitingWriterCoverage {
                    request_id,
                    guarded_sites,
                    unrouted_sites,
                },
            )
        }
        G8lS273WholeSchedulerReadCoveragePreflightOutcome::AwaitingCoverage {
            guarded_sites,
            unrouted_sites,
            ..
        } => Err(
            G8lS274SchedulerWriterCommitPreflightError::PriorReadCoverageDrift {
                guarded_sites,
                unrouted_sites,
            },
        ),
    }
}

#[test]
fn s274_pending_request_reports_writer_coverage_wait() {
    let state = pending_request();
    assert_eq!(
        preflight_s274_scheduler_writer_commit(
            S245_TARGET_CPU1,
            Some(pending_request_view(&state)),
        ),
        Ok(
            G8lS274SchedulerWriterCommitPreflightOutcome::AwaitingWriterCoverage {
                request_id: 1,
                guarded_sites: 44,
                unrouted_sites: 69,
            }
        )
    );
}

  {
    id: "g8l-s274-qemu-ready-user-initial-arg-writer-commit-preflight-partial",
    date: "2026-08-26",
    sequence: 274,
    status: "passed",
    umbrella_status: "partial",
    title: "G8l: QEMU Ready-task initial-arg writer-commit preflight",
    summary:
      "S274 focused 13/13 PASS ile S273 Ready/EL0 owned-read sınırını yeniden doğrular ve bir sonraki açık kapıyı writer coverage olarak adlandırır. S245 request tüketilmez, scheduler mutasyonu yapılmaz. Whitespace/format bağımsız production envanteri 113'tür; 44/113 immutable read guarded ve 69 writer/unrouted açıktır; production exclusive wrapper/provider authority üretilmez.",
    evidence: [
      "S274 focused kaynak kapısı iki bağımsız koşuda 13/13 PASS verdi: 128 B / SHA-256 02983f1a7d644519bfddb0884a6cd0ce69f40c4b845eb54b71ecdc6e19a8ff09; RUNBOOK_EXECUTED_IN_S274=NO.",
      "Whitespace/format bağımsız source audit yedi production unit'te 113 direct SCHEDULER sitesi doğrular: S273 read boundary yeniden doğrulanır, 44/113 immutable read guarded kalır ve 69 writer/unrouted site açık kalır.",
      "S274 yeni scheduler pointer'ı, mutable writer guard'ı, exclusive wrapper, provider authority veya whole-scheduler exclusion kanıtı eklemez.",
      "Önceki S238–S273 dependency baseline'ı 37 grup / 481/481 olarak korunur; S274 için genişletilmiş matris iddia edilmez.",
      "S274 physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S274=NO; fiziksel operatör runbook'u yalnız görünür talimat olarak kalır.",
    ],
    commands: [
      "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s274_qemu_ready_user_initial_arg_writer_commit_preflight -- --test-threads=1",
      "cargo check --quiet -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5",
      "cargo check --quiet -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5,smp",
    ],
    terminalSessions: [
      {
        id: "g8l-s274-qemu-ready-user-initial-arg-writer-commit-preflight",
        title: "G8l S274 QEMU Ready-task writer-commit preflight",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s274_qemu_ready_user_initial_arg_writer_commit_preflight -- --test-threads=1",
        ],
        outputLines: [
          "test result: ok; S274 focused 1 group / 13 passed; 0 failed",
          "repeat-stable quiet output: 128 B / 02983f1a7d644519bfddb0884a6cd0ce69f40c4b845eb54b71ecdc6e19a8ff09",
          "writer commit remains blocked: 44/113 guarded; 69 writer/unrouted open",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "S274 source/model-only fail-closed boundary'sidir; QEMU fixture mutation ve physical/device execution iddia edilmez.",
    limitations: [
      "S274 hiçbir scheduler writer'ını guard etmez veya çalıştırmaz; writer coverage açık kapıdır.",
      "Production exclusive wrapper, provider authority, whole-scheduler exclusion, supported-profile reader invocation ve Generic SMP açık kalır.",
      "Whitespace/format bağımsız 113 direct site içinde 44 immutable read guarded, 69 mutable writer açık kalır.",
      "S274 physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S274=NO.",
    ],
  },