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

S542 · R1 remediated candidate freeze ve pre-arm sözleşmesi

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

    S542 · R1 remediated candidate freeze ve pre-arm sözleşmesi

    S542 dar host candidate-freeze ve gelecek fiziksel retry pre-arm sözleşmesi PASS'tir; S540 fiziksel kapısı immutable RED kalır. S541 cross-CPU readiness handoff'unu taşıyan board-rpi5 candidate iki izole build'de byte-exact üretildi: flat image 941392 B / aa0c459b987c3f4c143b4eb14ce0ed655c2812e2a36516793e7bd8b27b60d87c, ELF 18448768 B / f7650384dd9e53bd98555d9a7b6f739ccb538ecb621448d2d73fc2011dd68170. Dört dosyalı package read-only donduruldu ve layout verifier CPU1 S536→S537→S541, CPU0 prior-boot→S541→S538 sıralarını doğruladı. Focused gerçek pre-package RED 18/21, final 21/21 PASS'tir. Bu kapı SD write/read-back, UART, power-on veya fiziksel retry yetkisi vermez; RUNBOOK_EXECUTED_IN_S542=NO, physical/device operations=0, Boot-to-UI=false ve R1 acceptance=false'dur.

    Doğrulanan kanıt

    • S542, S541'den ayrı implementation module, 21-test focused target, two read-only host tool, config, frozen package, evidence README, proof, Operations kaydı, Timeline/Yol Haritası açıklaması ve complete Code kartına sahiptir.
    • Dar S542 candidate-freeze/pre-arm-contract status=PASS; global R1 umbrella=PARTIAL ve S540 physical gate status=RED'dir.
    • İki izole board-rpi5 development build aynı ELF ve flat image'ı üretti; reproducibility sonucu byte-exact=true'dur.
    • Build A/B ELF kimliği 18448768 B / f7650384dd9e53bd98555d9a7b6f739ccb538ecb621448d2d73fc2011dd68170 SHA-256'dır.
    • Build A/B flat image kimliği 941392 B / aa0c459b987c3f4c143b4eb14ce0ed655c2812e2a36516793e7bd8b27b60d87c SHA-256'dır.
    • Build log A 1133015 B / 70b88b20ba9dc416c522331e243fe3a1b9565d78d93248a6aaf8112d54d4803b; build log B 1133015 B / bffd3cc35a6f7226c64fdc82dd6820d26dfd3144cca77c7ba9bc5ccaa30dbc1 SHA-256'dır.
    • Her build logunda 2857 warning header vardır; zero-warning iddiası kurulmaz ve log boyutu artifact boyutu diye sunulmaz.
    • S542 image, tarihsel S539 image 933024 B / 8a32dbd93ca4420555d7e6f93516715e43cc70da8f145584f89383446fecc8fe ile byte-eşit değildir; replay fail-closed reddedilir.
    • Yeni image ASELSAN/S541 HANDOFF=CPU1_PREFLIGHT_ARMED marker'ını bir, ASELSAN/S541ERR marker'ını bir, S538 route marker'ını bir ve S538 candidate tag'ini bir kez taşır.
    • BOOT_TO_UI_READY string'inin binary üyeliği runtime UART observation değildir; image içindeki iki kaynak/string üyeliği fiziksel exact-once iddiası üretmez.
    • Read-only layout verifier entry 0x80000 ve linked span 18317312 değerlerini doğrular; objcopy çalıştırmaz ve giriş ELF'ini değiştirmez.
    • CPU1 machine order S536→S537→S541, CPU0 machine order prior-boot→S541→S538'dir; direct early S538 CPU0/IRQ çağrıları yoktur.
    • Readiness word 8-byte aligned, UI surface 0x4000 page-aligned; ldaxr/stlxr/dsb ishst/sev publication ve ldar observation instruction seam'leri bulunur.
    • Frozen package exact dört dosyadır: kernel8.img, bcm2712-rpi-5-b.dtb, config.txt ve SHA256SUMS; ek payload yoktur.
    • Package image 941392 B / aa0c459b…d87c; DTB 78703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00; config 415 B / ed749d095eb8e66d8ff6d1c84c815abf125ebd0fc00a4b1e4a3dfce1ca3c2258'dir.
    • Package SHA256SUMS 248 B / 22b7a401c056deeec79f2296f8fd14b8fc518adaa83d3bc5cdcc511508a1e310 SHA-256'dır.
    • Dört package dosyası mode 0444, nlink=1 ve birbirinden farklı inode taşır; manifest ve byte identity yeniden doğrulanır.
    • Freeze helper 9127 B / d346e0db736c45128464fc3934f8ecddb55274a2e0625c0ea4f8fd3e4f391321; layout helper 8873 B / da6c9f917ba1190feccd26838c7803ab838c60d4732f48b95164995f05807626 SHA-256 ve mode 0555'tir.
    • Config uart_2ndstage=0 değerini exact taşır; uart_2ndstage=1 yoktur. Config identity package manifestine bağlıdır.
    • Gerçek pre-package focused koşu 18 passed / 3 failed verdi; yalnız missing image/package/verifier kontrolleri RED oldu.
    • Frozen package tamamlandıktan sonraki final focused target 21 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • S536-S542 selected acceptance yedi ayrı focused targetta 7 grup / 119 passed / 0 failed verdi; birleşik log 13350 B / c1122d215b611b63fe52e04cb479b616a11ba80e9a79b914bd0095ae78e78d5e SHA-256'dır.
    • Dört fresh AArch64 profil QEMU/RPi4/RPi5/RPi5-SMP sırasıyla 293/391/2857/2857 warning header ile 4/4 exit 0 verdi; zero-warning iddiası yoktur.
    • Filtered serial workspace 505 grup / 7284 passed / 0 failed / 7 exact historical filtered verdi; log 93856 B / 60502bc6f7423261b8efff3afb9922fa1328f36dd391de3932a244025bb75577 SHA-256'dır.
    • Ayrı unfiltered --no-fail-fast workspace exit 101 ile tam yedi frozen S96-S100 byte/recipe identity assertion'ını beş targetta doğruladı; global unfiltered GREEN iddia edilmez.
    • Pre-publication Code registry S1-S542 aralığında 542 unique card / 1590 exact excerpt / missing=none / duplicate=0 doğruladı.
    • Website kalite zinciri 808/808 test PASS, lint PASS, TypeScript exit 0 ve static build 679/679 sayfa verdi.
    • İlk canlı deployment 5a2a618f.aselsan-microkernel.pages.dev adresinde tamamlandı: 3392 upload + 83 existing; custom domain üzerinde 11/11 seçili rota HTTP 200 ve local export ile byte-exact'tir.
    • S542 model pre-arm zarfı image hash, card serial 0x425001fa, raw CID 009f5449534436344761425001fa01a1, Debug Probe E6647C74033F9131, fresh target resolution ve exclusive 115200/8N1 kimliğini bağlar.
    • Exact model zarfı bile yalnız LaterSequenceContractReady üretir; host execution permit, current-sequence device authority veya power authority üretmez.
    • Gelecek retry staged SD write/read-back/eject, pre-armed UART, tek power-on ve yeni immutable raw ister; en erken ayrı S543'tür ve otomatik yetkili değildir.
    • S540 raw 20525 B / fc3f934543ab5d829ad8a16e2b332dd2bdc35a81c6c0f6423256101448e45114 / 0444 / nlink 1 ve physical verdict RED olarak korunur.
    • S542 candidate freeze=1 host transaction; SD write/read-back/eject=0/0/0, UART open/capture=0/0, power transition=0 ve new physical raw=0'dır.
    • RUNBOOK_EXECUTED_IN_S542=NO, supported-profile runtime observations=0, physical observations=0, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.

    Sınır / bekleyen kanıt

    • S542 yalnız host candidate freeze ve future pre-arm contract kapısıdır; fiziksel retry yapılmadı.
    • S540 immutable raw ve physical verdict RED değişmez.
    • Image marker üyeliği runtime invocation veya UART observation değildir.
    • Boot-to-UI, ekran scanout, input ve R1 demonstratör kabulü açık kalır.
    • Yeni fiziksel retry ayrı sıra, yeni immutable raw ve açık operatör yetkisi gerektirir.
    • RUNBOOK_EXECUTED_IN_S542=NO; physical/device operations=0.

    Terminal komutları ve gerçek yanıtlar

    S542 host candidate-freeze PASS'i ile S540 fiziksel RED ayrı tutulur; package, focused, profile, workspace veya website sonucu fiziksel promotion değildir.

    S542 reproducible candidate build, layout ve package freeze
    TAM ÇIKTIexit 0
    Komut
    $ run two isolated board-rpi5 builds and compare ELF/image bytes$ scripts/verify-rpi5-s542-layout.sh BUILD_A_ELF BUILD_A_IMAGE$ scripts/freeze-rpi5-s542-r1-remediated-candidate.sh BUILD_A_IMAGE ABSOLUTE_PACKAGE
    Yanıt
    ELF A/B=18448768 B / f7650384…8170 / byte-exact=true
image A/B=941392 B / aa0c459b…d87c / byte-exact=true; S539 replay=false
layout=PASS; CPU1 S536→S537→S541; CPU0 prior-boot→S541→S538
package=4 exact files / 0444 / nlink1 / manifest PASS
device operations=0; execution authority=false
    S542 focused package contract RED → GREEN
    TAM ÇIKTIexit 0
    Komut
    $ cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s542_r1_remediated_candidate_freeze_prearm_contract -- --test-threads=1
    Yanıt
    pre-package=18 passed / 3 failed; only image/package/verifier absent
final=21 passed / 0 failed / 0 ignored / 0 filtered
S540 verdict relaxed=false; current-sequence device authority=false
    S542 selected, profile ve workspace acceptance
    TAM ÇIKTIexit 0
    Komut
    $ run S536-S542 focused targets serially$ run fresh isolated AArch64 profile checks$ run filtered serial workspace audit
    Yanıt
    S536-S542 selected: 7 groups / 119 passed / 0 failed
fresh AArch64 profiles: QEMU + RPi4 + RPi5 + RPi5/SMP = 4/4 exit 0
filtered workspace: 505 groups / 7284 passed / 0 failed / 7 exact historical filtered
unfiltered --no-fail-fast: exit 101 / 7 frozen S96-S100 identity assertions / 5 targets
physical/device operations remain zero throughout software acceptance
    S542 Operations/Timeline/Code publication
    TAM ÇIKTIexit 0
    Komut
    $ npm run code:generate && npm run code:check$ npm test && npm run lint && npx tsc --noEmit && npm run build
    Yanıt
    Code registry: S1-S542 / 542 unique cards / 1590 exact excerpts / missing=none
website tests 808/808 PASS; lint PASS; TypeScript exit 0
static build 679/679 pages; S542 split Operations and Code routes generated
initial deployment 5a2a618f: 3392 uploaded + 83 existing; custom-domain 11/11 HTTP 200 and byte-exact
an evidence-sync deployment republishes this measured deployment receipt
S540 physical RED remains visible on every current surface