G8l: QEMU parked-IPC CALL installation read-access guard genişletmesi

pub fn preflight_s272_whole_scheduler_read_coverage(
    caller_cpu: usize,
    request: Option<G8lS245WholeSchedulerExclusionAdmissionRequestView>,
) -> Result<
    G8lS272WholeSchedulerReadCoveragePreflightOutcome,
    G8lS272WholeSchedulerReadCoveragePreflightError,
> {
    match preflight_s270_whole_scheduler_read_coverage(caller_cpu, request)
        .map_err(G8lS272WholeSchedulerReadCoveragePreflightError::S270)?
    {
        G8lS270WholeSchedulerReadCoveragePreflightOutcome::Idle => {
            return Ok(G8lS272WholeSchedulerReadCoveragePreflightOutcome::Idle);
        }
        G8lS270WholeSchedulerReadCoveragePreflightOutcome::AwaitingCoverage {
            request_id,
            guarded_sites,
            unrouted_sites,
        } if guarded_sites == S270_WHOLE_SCHEDULER_GUARDED_SITES
            && unrouted_sites
                == S246_DIRECT_SCHEDULER_ACCESS_SITES - S270_WHOLE_SCHEDULER_GUARDED_SITES =>
        {
            Ok(
                G8lS272WholeSchedulerReadCoveragePreflightOutcome::AwaitingCoverage {
                    request_id,
                    guarded_sites: S272_WHOLE_SCHEDULER_GUARDED_SITES,
                    unrouted_sites: S272_WHOLE_SCHEDULER_UNROUTED_SITES,
                },
            )
        }
        G8lS270WholeSchedulerReadCoveragePreflightOutcome::AwaitingCoverage {
            guarded_sites,
            unrouted_sites,
            ..
        } => Err(
            G8lS272WholeSchedulerReadCoveragePreflightError::PriorCoverageDrift {
                guarded_sites,
                unrouted_sites,
            },
        ),
    }
}

#[test]
fn s272_routes_one_read_to_two_owned_values_and_keeps_69_writers_open() {
    assert_eq!(S272_ADDITIONAL_WHOLE_SCHEDULER_READ_SITES, 1);
    assert_eq!(S272_DIRECT_SCHEDULER_ACCESS_SITES, 112);
    assert_eq!(S272_WHOLE_SCHEDULER_GUARDED_SITES, 43);
    assert_eq!(S272_WHOLE_SCHEDULER_UNROUTED_SITES, 69);
}

  {
    id: "g8l-s272-qemu-parked-ipc-call-install-read-access-guard-expansion-partial",
    date: "2026-08-26",
    sequence: 272,
    status: "passed",
    umbrella_status: "partial",
    title:
      "G8l: QEMU parked-IPC CALL installation read-access guard genişletmesi",
    summary:
      "S272 12/12 PASS ile install_qemu_parked_ipc_call içindeki eski bileşik raw scheduler erişimini bir korumalı okuma ve ayrı görünür açık yazar olarak ayrıştırdı. Okuma Ready membership ile target/reply capability authority sonuçlarını iki owned bool olarak çıkarır ve ENDPOINT_REGISTRY'den önce düşer; mutasyon ayrı addr_of_mut! sitesi olarak açık kalır. Whitespace/format bağımsız production envanteri 112'ye çıkar; coverage 42/111→43/112 ve 69 writer unrouted kalır. Writer, exclusive ve whole-scheduler exclusion açık olduğundan umbrella PARTIAL kalır.",
    evidence: [
      "S272 focused kaynak kapısı 12/12 PASS verdi: 127 B / SHA-256 7c5c027e04834587141f9fff89aea670906490a9f834012d2adbd7279dba720b.",
      "Exact source coverage: S272 tarihsel modelinde 7 audit unit / 112 whitespace/format bağımsız direct SCHEDULER site; previous=42/111, iki owned validation değeri tek guarded read boundary'den çıkar, current=43/112 ve open writer=69. install_qemu_parked_ipc_call reader'ı explicit ayrı writer'dan önce düşürür.",
      "Reader explicit olarak ENDPOINT_REGISTRY kilidinden ve scheduler mutation'dan önce düşürülür; scheduler/task/CNode referansı reader lease dışına kaçmaz.",
      "S238–S272 dependency matrisi iki bağımsız ölçümde 36 grup / 469/469 PASS verdi: ilk raw 3419 B / SHA-256 5ebfebdf3f913453fb4664a28d3fec793026490042319a75f76a12cab3e27e5e, ikinci sequence-ordered raw 3419 B / SHA-256 8c438393ecbd84f457d6c51e556417864b0beefa3e2845edddb4f5b9c28148b; süre-normalize özetler byte-equal, 3491 B / SHA-256 14a33cf970cd23283347903fe8f46ea52e862cae06b4b894696f74e82ffebe82.",
      "board-qemu, board-rpi5 ve board-rpi5,smp check'leri PASS verdi; warning header envanteri 291 / 713 / 713'tür. Combined board profile exit 101 / 17 compiler error ile fail-closed kaldı.",
      "QEMU ortak scheduler-pointer regresyonu iki bağımsız koşuda PASS verdi: W^X 31/31, S130–S154, S154 retired 1024, RuntimePmm 6144→6144, active 0→0, EL0 x4096, IPC 20/20, SEC5, kernel faults=0.",
      "Canlı marker: S272_12_OF_12_QEMU_PARKED_IPC_CALL_INSTALL_ONE_DIRECT_READ_TWO_OWNED_VALIDATION_VALUES_READY_MEMBERSHIP_TARGET_REPLY_AUTHORITY_READER_DROPPED_BEFORE_ENDPOINT_REGISTRY_EXPLICIT_SEPARATE_WRITER_UNROUTED_LAYOUT_INDEPENDENT_SOURCE_AUDIT_NO_RAW_POINTER_REUSE_NO_CAST_MUT_PREVIOUS_42_OF_111_CURRENT_43_OF_112_GUARDED_READS_69_WRITERS_OPEN_NO_WRITER_COVERAGE_NO_EXCLUSIVE_NO_WHOLE_SCHEDULER_EXCLUSION_RUNBOOK_EXECUTED_IN_S272=NO_VERIFIED.",
    ],
    commands: [
      "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s270_qemu_parked_ipc_call_install_read_access_guard_expansion -- --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",
      "make verify-qemu",
    ],
    terminalSessions: [
      {
        id: "g8l-s272-qemu-parked-ipc-call-install-read-access-guard-expansion",
        title:
          "G8l S272 QEMU parked-IPC CALL installation read-access guard genişletmesi",
        commandLines: [
          "cargo test --quiet -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s270_qemu_parked_ipc_call_install_read_access_guard_expansion -- --test-threads=1",
          "make verify-qemu",
        ],
        outputLines: [
          "test result: ok; S272 focused 1 group / 12 passed; 0 failed",
          "coverage: 111→112 total; one guarded read produces two owned values; guarded reads 42→43; mutable writers 69 open",
          "Ready membership + target/reply capability authority copied to owned values; reader dropped before endpoint registry and scheduler mutation",
          "QEMU regression PASS twice: W^X 31/31 · S130–S154 · S154 retired 1024 · IPC 20/20 · SEC5 · kernel faults 0",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    terminalSessionsNote:
      "S272 source-routed dar kabulüdür; board-qemu callsite reader branch'i olmadan, board-rpi5 provider QEMU-only callsite olmadan derlenir." +
      " İkinci dependency repeat ve exact yedi tarihsel assertion dışındaki workspace audit'i tamamlandı.",
    limitations: [
      "Toplam 112 whitespace/format bağımsız scheduler access'in 43 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–S272 dependency matrisi iki kez ölçüldü; raw libtest süresi farklılaştı, sequence-ordered timing-normalized özet byte-equal kaldı.",
      "Workspace yalnız exact yedi tarihsel assertion filtrelendiğinde iki koşuda 235 grup / 2243 PASS'tir; filtresiz sonuç frozen S96 identity kapısında RED kaldığı için full-workspace GREEN iddiası yoktur.",
      "S272 physical/device operations=0 ve RUNBOOK_EXECUTED_IN_S272=NO.",
    ],
  },