G8l: QEMU Ready-task initial-arg preflight read-access guard genişletmesi

pub fn preflight_s273_whole_scheduler_read_coverage(
    caller_cpu: usize,
    request: Option<G8lS245WholeSchedulerExclusionAdmissionRequestView>,
) -> Result<
    G8lS273WholeSchedulerReadCoveragePreflightOutcome,
    G8lS273WholeSchedulerReadCoveragePreflightError,
> {
    match preflight_s272_whole_scheduler_read_coverage(caller_cpu, request)
        .map_err(G8lS273WholeSchedulerReadCoveragePreflightError::S272)?
    {
        G8lS272WholeSchedulerReadCoveragePreflightOutcome::Idle => {
            Ok(G8lS273WholeSchedulerReadCoveragePreflightOutcome::Idle)
        }
        G8lS272WholeSchedulerReadCoveragePreflightOutcome::AwaitingCoverage {
            request_id,
            guarded_sites,
            unrouted_sites,
        } if guarded_sites == S272_WHOLE_SCHEDULER_GUARDED_SITES
            && unrouted_sites == S272_WHOLE_SCHEDULER_UNROUTED_SITES =>
        {
            Ok(
                G8lS273WholeSchedulerReadCoveragePreflightOutcome::AwaitingCoverage {
                    request_id,
                    guarded_sites: S273_WHOLE_SCHEDULER_GUARDED_SITES,
                    unrouted_sites: S273_WHOLE_SCHEDULER_UNROUTED_SITES,
                },
            )
        }
        G8lS272WholeSchedulerReadCoveragePreflightOutcome::AwaitingCoverage {
            guarded_sites,
            unrouted_sites,
            ..
        } => Err(
            G8lS273WholeSchedulerReadCoveragePreflightError::PriorCoverageDrift {
                guarded_sites,
                unrouted_sites,
            },
        ),
    }
}

#[test]
fn s273_routes_ready_eligibility_preflight_and_keeps_69_writers_open() {
    assert_eq!(S273_ADDITIONAL_WHOLE_SCHEDULER_READ_SITES, 1);
    assert_eq!(S273_DIRECT_SCHEDULER_ACCESS_SITES, 113);
    assert_eq!(S273_WHOLE_SCHEDULER_GUARDED_SITES, 44);
    assert_eq!(S273_WHOLE_SCHEDULER_UNROUTED_SITES, 69);
}

  {
    id: "g8l-s273-qemu-ready-user-initial-arg-preflight-read-access-guard-expansion-partial",
    date: "2026-08-26",
    sequence: 273,
    status: "passed",
    umbrella_status: "partial",
    title:
      "G8l: QEMU Ready-task initial-arg preflight read-access guard genişletmesi",
    summary:
      "S273 12/12 PASS ile qemu_set_ready_user_initial_arg içindeki Ready/EL0 eligibility snapshot'ını S272 reader zincirine aldı; sonuç owned bool'a kopyalanıyor, reader ayrı mutable Ready-queue writer'ından önce düşüyor. Whitespace/format bağımsız production envanteri 113'te kalır; coverage 43/112→44/113 ve 69 writer unrouted kalır. Writer ve production exclusive coverage açık olduğu için umbrella PARTIAL'dır.",
    evidence: [
      "S273 focused kaynak kapısı iki bağımsız koşuda 12/12 PASS verdi: 127 B / SHA-256 7c5c027e04834587141f9fff89aea670906490a9f834012d2adbd7279dba720b.",
      "Exact source coverage: 7 audit unit / 113 whitespace/format bağımsız direct SCHEDULER site; previous=43/112, additional guarded read=1 ve ayrı açık writer=1, current guarded=44/113, open writer=69. qemu_set_ready_user_initial_arg Ready/EL0 eligibility sonucunu owned bool'a kopyalar.",
      "Reader IrqGuard altında acquire edilir, eligibility snapshot'ı alınır ve mutable Ready-queue writer'ından önce explicit bırakılır; scheduler reference guard dışına kaçmaz.",
      "S238–S273 dependency matrisi iki bağımsız ölçümde 37 grup / 481/481 PASS verdi: ham loglar byte-equal 10019 B / SHA-256 8ca451bd90e5a20a9ab058eed26de77046e6f0827f0ab4fe3b856b978c6dbc42; timing-normalized loglar byte-equal 10093 B / SHA-256 834b43cf40c41d9fa33d2a1d39a91151926671da4f21456c533cee6680d39f67.",
      "board-qemu, board-rpi5 ve board-rpi5,smp check'leri PASS verdi; warning header envanteri 291 / 713 / 713, log kimlikleri sırasıyla 110646 B / 19cb276b…d68d0, 364951 B / f6ffcd6d…bb39 ve 364893 B / 942728e5…e01'dir. Combined board profile exit 101 / 15 kodlu + 2 üst-seviye hata ile fail-closed kaldı.",
      "Nihai kaynakta iki bağımsız make verify-qemu koşusu 116222 B ile PASS verdi; SHA-256 cf285308…0513 ve c128fbca…cbbc. Guarded S273 reader provider branch'i board-rpi5-only olduğu için ortak QEMU koşusu onu runtime invoke etmez.",
      "Exact yedi tarihsel assertion dışındaki workspace iki koşuda 235 grup / 2243 PASS / 0 fail / 7 filtered verdi; normalize özet byte-equal 22676 B / SHA-256 d60bee5d…2dae. Filtresiz koşu 53219 B / SHA-256 32530ef2…297d ile ilk frozen S96 exceptions.S identity kapısında exit 101 kaldı.",
      "Canlı marker: S273_12_OF_12_QEMU_READY_USER_INITIAL_ARG_PREFLIGHT_ONE_DIRECT_READ_ONE_OWNED_ELIGIBILITY_BOOL_READER_DROPPED_BEFORE_EXPLICIT_MUTABLE_READY_WRITER_LAYOUT_INDEPENDENT_SOURCE_AUDIT_PREVIOUS_43_OF_112_CURRENT_44_OF_113_GUARDED_READS_69_WRITERS_OPEN_NO_RAW_POINTER_REUSE_NO_WRITER_COVERAGE_NO_EXCLUSIVE_NO_WHOLE_SCHEDULER_EXCLUSION_RUNBOOK_EXECUTED_IN_S273=NO_VERIFIED.",
    ],
    commands: [
      "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s272_qemu_ready_user_initial_arg_preflight_read_access_guard_expansion -- --test-threads=1",
      "cargo check --quiet -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-qemu",
      "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",
      "make verify-qemu",
    ],
    terminalSessions: [
      {
        id: "g8l-s273-qemu-ready-user-initial-arg-preflight-read-access-guard-expansion",
        title:
          "G8l S273 QEMU Ready-task initial-arg preflight read-access guard genişletmesi",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s272_qemu_ready_user_initial_arg_preflight_read_access_guard_expansion -- --test-threads=1",
          "make verify-qemu",
        ],
        outputLines: [
          "test result: ok; S273 focused 1 group / 12 passed; 0 failed",
          "coverage: previous 43/112 + one guarded Ready/EL0 eligibility read = 44/113; 69 writer/unrouted open",
          "owned eligibility bool copied before the explicit mutable Ready-queue writer; reader dropped before mutation",
          "QEMU runtime: two consecutive final-source full acceptance PASS runs",
        ],
        exitCode: 0,
        outputMode: "selected",
        outputNote:
          "Nihai kaynakta iki tam koşu PASS'tir; önceki ara kaynak S133 fixture RED'i kanonik PASS kanıtına dahil değildir.",
      },
    ],
    terminalSessionsNote:
      "S273 source-routed dar kabulüdür; board-qemu callsite reader branch'i olmadan, board-rpi5 provider QEMU-only callsite olmadan derlenir.",
    limitations: [
      "Toplam 113 whitespace/format bağımsız scheduler access'in 44 immutable read'i guarded; 69 mutable writer açık kalır.",
      "Production exclusive wrapper, provider authority ve whole-scheduler exclusion proof yoktur.",
      "Guarded callsite ve reader provider mutually exclusive board cfg sınırında olduğundan supported-profile runtime invocation iddia edilmez.",
      "S238–S273 dependency matrisi iki kez ölçüldü; ham özet süre alanları farklılaşabilir, timing-normalized özet eşitliği kanonik kontroldür.",
      "Nihai kaynakta iki ardışık tam QEMU koşusu PASS'tir; önceki ara kaynakta görülen S133 fixture RED kanonik PASS kanıtına dahil edilmez.",
      "Workspace yalnız exact yedi tarihsel assertion filtrelendiğinde 235 grup / 2243 PASS'tir; filtresiz sonuç frozen S96 identity kapısında RED kaldığı için full-workspace GREEN iddiası yoktur.",
      "S273 physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S273=NO.",
    ],
  },