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

S570 · Tekrar üretilebilir RPi5 aday dondurma ve S571 pre-arm

Bu statik detail route yalnız S570 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

    S570 · Tekrar üretilebilir RPi5 aday dondurma ve S571 pre-arm

    S570 host-only candidate freeze PASS'tir. S569 üretim payload'ı iki fresh izole target root'ta aynı 18537440 B ELF'i ve aynı 945920 B flat image'i verdi; final source-tree reproduction audit'i de ikisini byte-exact yeniden üretti. Read-only machine/layout verifier live S431–S535 ve tarihsel S544 G8h çağrılarını sıfır, frozen S536 → S537 → S541 zincirini ve bounded G8HERR satırını exact doğruladı. Dört dosyalık paket immutable donduruldu; execution permit=false, fiziksel/device operation=0 ve RUNBOOK_EXECUTED_IN_S570=NO. Focused 16/16 PASS'tir.

    Doğrulanan kanıt

    • İki isolated CARGO_TARGET_DIR build'i aynı ELF'i üretti: 18537440 B / 3260b2e8b0ae80ee65c3ffaaf6db3b675d505bfc1d18502c4067b7ed535071be.
    • Build A/B logları 1699854 B ve sırasıyla 921970cb…80b5 / 22b7b433…3322 SHA-256'dır; her biri 4497 warning header içerir, zero-warning iddiası yoktur.
    • S570 evidence modelinin board kernel dışında simulation-only tutulduğu final source tree yeniden derlendi; reproduction logu 1699854 B / ee42becd114aa3e1ec05fb4406da79a3f469cd3922b2edc876550590cd7c1a7c ve ELF/image byte-exact'tır.
    • Flat image 945920 B / a24f4d24e838cd7d1a6b2ff217d864e9c4b08f12ce7dd165b302e8073a980b04; entry/start/end 0x80000/0x80000/0x11f9000 ve linked span 18321408'dir.
    • Layout: live-ledger G8h call=0, S544 G8h call=0, frozen S536/S537/S541 call=1/1/1, S569 state=1 ve ASELSAN/G8HERR exact-once'dur.
    • Paket image 945920 B, DTB 78703 B, config 401 B ve SHA256SUMS 248 B olmak üzere exact dört regular dosyadır; tümü 0444, nlink=1 ve farklı inode taşır.
    • Paket kimlikleri image a24f4d24…80b04, DTB 40a2fbe9…ca00, config f1fd182f…e865 ve manifest 83e8eb41…5fe1'dir; manifest read-back PASS'tir.
    • Layout verifier 11301 B / f178a3f56027d7499197dcf13e8acd17ceb7b08e32695716540a635342904590; freeze tool 10336 B / 2aadd1fa57d6fcc26907701bfe4275357f29bac34f522dc76366709ea83aa22a; config 401 B / f1fd182f…e865'tir.
    • Focused test 1 grup / 16 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Implementation 21754 B / bc5a7b57e939adec1ec56806c80e8989c8912d0d13f6553c2367e3234169e73b; focused test 23231 B / bb34786dcf6c405e86fb366d3f7ee52d9be7321138c7b258deebe4415b210345; proof 6441 B / cbbba172778c600190adf6b5339d0584cce783496e7e2f2b050977ccd42433ef SHA-256'dır.
    • S546 raw 16990 B / a71a9107…3e485d ve fiziksel RED değişmezdir; yeni fiziksel gözlem yapılmamıştır.
    • runtime/physical observations=0/0, SD/UART/power/new-raw=0/0/0/0, Boot-to-UI=false, R1=false ve S571 execution permit=false'dur.

    Sınır / bekleyen kanıt

    • S570 yalnız host build/layout/package kanıtıdır; RPi5 runtime veya fiziksel Boot-to-UI gözlemi değildir.
    • Derleme warning'leri korunur; sıfır warning iddia edilmez.
    • Exact S571 token'ının sözleşmede bulunması yetki veya execution permit değildir.
    • RUNBOOK_EXECUTED_IN_S570=NO; physical/device operations=0.

    Terminal komutları ve gerçek yanıtlar

    S570 frozen-candidate 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_s570_r1_frozen_manifest_candidate_freeze_prearm_contract -- --test-threads=1
    Yanıt
    test result: ok. 16 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
candidate=a24f4d24…80b04; physical/device operations=0
    S570 immutable package re-verification
    TAM ÇIKTIexit 0
    Komut
    $ scripts/freeze-rpi5-s570-r1-candidate.sh --verify-package <absolute-package-path>
    Yanıt
    S570_PACKAGE_VERIFY=PASS
four entries; mode=0444; nlink=1; distinct inodes; manifest read-back PASS