ASELSANMicrokernel
S569 · AYRI İŞLEM VE TERMİNAL KANITI

S569 · G8h boot-context ledger bağımlılığı remediation

Bu statik detail route yalnız S569 kapısına aittir. Kaynak, focused test, regresyon, sınır ve yayın kanıtları komşu kapıların başarılarıyla birleştirilmez.

  1. PASSGLOBAL UMBRELLA PARTIAL · DAR PASS

    S569 · G8h boot-context ledger bağımlılığı remediation

    S569 source/production-integration kapısı PASS'tir. Tarihsel S544 modülü ve kanıtı korunurken yalnız imkânsız G8h çağrısı kaldırıldı: exact checked-in S431–S535 source manifestinden frozen S536 girdisi üretiliyor, ardından mevcut S537 ve S541 servisleri G8h task-stack/timer arm öncesinde çalışıyor. Live S401–S535 ledger read/write ve runtime-chain execution sıfırdır; synthetic S430 runtime sonucu üretilmez. CPU0 primary_fail artık park etmeden önce tek bounded ASELSAN/G8HERR satırı verir. Focused 18/18 ve board-rpi5 AArch64 check exit 0'dır; runtime/fiziksel/device operation=0 ve S546 immutable RED kalır.

    Doğrulanan kanıt

    • Seçilen tasarım tarihsel S544 modülünü silmez; yalnız G8h production callsite'ını S569 frozen-manifest servisiyle supersede eder.
    • Frozen source anchor status/s431-s535-acceptance-gates.json: 88859 B / 28d1217b502e63c78c7efeaa47fc6f375ae4d080016f1e4f90a3a98fda075e06, aralık S431–S535, 105 gate, 15 block × 7 step ve anchor 0x28d1217b502e63c7'dir.
    • Yeni S536 board entry frozen snapshot'ı değişmemiş S536 modeline verir; canlı acceptance ledger'a dokunmaz ve S430 runtime state uydurmaz.
    • G8h çağrı sırası CPU1 identity → frozen S536 → S537 → S541 → task-stack → timer arm'dır; tarihsel S544 çağrısı bu production blokta yoktur.
    • primary_fail publish_error sonrasında exact tek bounded ASELSAN/G8HERR REPORTER=CPU0 CODE={} EXPECTED={} ACTUAL={} satırı basar ve sonra park eder.
    • Live ledger reads/writes/runtime-chain executions=0/0/0; 16 diagnostic kod benzersiz ve nonzero'dur.
    • Focused test 1 grup / 18 passed / 0 failed / 0 ignored / 0 filtered verdi; frozen manifesti yeniden hash/parse eder ve S546 raw'ını byte-exact korur.
    • board-rpi5 AArch64 cargo check exit 0 verdi; mevcut warning'ler korunur ve zero-warning iddiası yoktur.
    • Implementation 16063 B / 578919e204ba7d3ada8d8f0b9cad883aea3c375f579115cf9403ae2021e5ad58; focused test 19996 B / 3bcfbbedfb67fcc4946354b212bb48f19a31e43d36ab2bc56a6005855509cbb7; proof 5092 B / 51206314606d0bd3965c1e414bc8eb22b0dd46c2d2ee0dd865fee7d561068f63 SHA-256'dır.
    • S536 production source 11251 B / d07acddca7657b3a224653c489e31c44ec576f4a771693883597b9d47f6819b5; G8h source 88122 B / 624b78efcdd32c9d5cf1e1cd6e772b54324fb5b7c624b3072e44cb0299533d1d'dir.
    • S540/S543/S546 physical RED korunur; S569'da SD write/read-back/eject, UART open/capture, power transition veya yeni raw yoktur.
    • RUNBOOK_EXECUTED_IN_S569=NO; runtime/physical observations=0/0, Boot-to-UI=false ve R1 acceptance=false'dur.

    Sınır / bekleyen kanıt

    • S569 source integrationidir; yeni production path henüz fiziksel RPi5 raw'ıyla gözlenmemiştir.
    • Frozen source-acceptance manifest runtime S401–S535 execution kanıtı değildir.
    • Yeni G8HERR hata görünürlüğüdür; başarı veya Boot-to-UI marker'ı değildir.
    • RUNBOOK_EXECUTED_IN_S569=NO; physical/device operations=0.

    Terminal komutları ve gerçek yanıtlar

    S569 ledger-decoupling focused acceptance
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s569_r1_boot_context_ledger_anchor_decoupling_remediation -- --test-threads=1
    Yanıt
    test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
live ledger read/write=0/0; physical/device operations=0
    S569 board-rpi5 AArch64 production compile
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo check -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5
    Yanıt
    exit 0
existing warning headers retained; zero-warning claim=false