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

S545 · R1 reachable-producer candidate freeze ve pre-arm sözleşmesi

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

    S545 · R1 reachable-producer candidate freeze ve pre-arm sözleşmesi

    S545 host-only kapısı PASS'tir: S544 reachable CPU1 readiness producer hook'unu içeren board-rpi5 candidate'ı iki izole CARGO_INCREMENTAL=0 build ile byte-exact yeniden üretildi (ELF 18438504 B / 6ce50d29…c1c5, flat image 945760 B / ed1901a9…8d467) ve dört dosyalı 0444 paket olarak donduruldu; reddedilen S542 imajından (941392 B / aa0c459b…d87c) farklıdır. Read-only layout auditi entry 0x80000, linked span 18317312, CPU1 identity→S431–S535→S536→S537→S541→S544 exact-once sırasını ve ldaxr/stlxr/dsb ishst/sev/ldar disiplinini doğruladı; [R1:S536] BOOT_TO_UI_READY literal'i linker tarafından birleştirildiği için MARKER_LITERAL_MERGED olarak kaydedildi, kayıp referans değildir. S546 pre-arm sözleşmesi (kart 0x425001fa / TISD64G / ASELSANBOOT, Debug Probe E6647C74033F9131, exclusive 115200/8N1) yalnız sözleşmedir; execution_permit=false'tur. Focused 21/21 PASS'tir. S540 ve S543 fiziksel RED immutable kalır; runtime/physical observation=0/0, device operation=0, SD/UART/power=0/0/0, RUNBOOK_EXECUTED_IN_S545=NO, Boot-to-UI=false ve R1 acceptance=false'tur. S546 bu exact paketle üçüncü yetkili fiziksel boot/UART koşusudur; açık operatör yetkisi bekler ve otomatik değildir.

    Doğrulanan kanıt

    • S545 host-only bir kaynak/model kapısıdır: donanım, panel, modem, board, SD kart, UART veya güç gözlemi yoktur; entegratörün hostta yürüttüğü freeze'in kimlikleri modele sabit olarak kodlanmış ve focused testte doğrulanmıştır.
    • İki izole CARGO_INCREMENTAL=0 board-rpi5 build (--no-default-features --features board-rpi5) byte-exact ELF üretti: 18438504 B / 6ce50d295e0aa97ab599cfa3cf567944ca7ed36d59d1b988e733be48b826c1c5.
    • Build logları yalnız izole target root'ları nedeniyle farklıdır: build-a 1135955 B / 5aa11909f47b6ebe27b0dd18aa036573a48b37f05a966831aa089d3a3b6e73be, build-b 1135948 B / 61160d45cc3114360a6107a96c557282ae9eaab76b13d3b8347c63b516468670; her birinde 2865 warning başlığı sayılmıştır ve zero-warning iddiası kurulmaz.
    • Flat image (llvm-objcopy -O binary) 945760 B / ed1901a991e2f9e9ae3c16f254147a2b0180686a8d70ca5d7353374fee08d467'dir; önceki S542 imajı 941392 B / aa0c459b987c3f4c143b4eb14ce0ed655c2812e2a36516793e7bd8b27b60d87c'den hem byte hem SHA-256 olarak farklıdır, bu nedenle reddedilen imajın retry'ı değildir.
    • Paket evidence/rpi5/r1/sequence-545-candidate-freeze/package dört girdidir (mode 0444, nlink 1, ayrık inode): aselsanos-rpi5.img; bcm2712-rpi-5-b.dtb 78703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00; config.txt 420 B / aef848bf6e0c324148eade5054a15c71a1e8c04814a3ed2e680056f87c1f9bba; SHA256SUMS 248 B / 4accd201849f68107db4d21e4657b1510f043d7f900f713c383bd8909d33e586.
    • config.txt exact kernel=aselsanos-rpi5.img, kernel_address=0x80000, arm_64bit=1 ve tek uart_2ndstage=0 içerir, uart_2ndstage=1 içermez; firmware/config-r1-s545.txt paket config.txt ile byte-exact aynıdır.
    • Read-only layout auditi (scripts/verify-rpi5-s545-layout.sh 11150 B / 7a23bf574cda06d0fb4710d0c97427c0a743c7df4a3628d31077a220ad4140cd) entry 0x80000, __kernel_start 0x80000, __kernel_end 0x11f8000 ve linked span 18317312'yi; CPU1 secondary-run text sırasını identity → S431–S535 gate → S536 → S537 → S541 → S544 model call exact-once olarak; inlined S544 wrapper nedeniyle service_s544_model_reachable_readiness_producer ve S544_PRODUCTION_STATE sembollerinin exact-once olduğunu; CPU0 prior-boot → S541 → S538 sırasını; ldaxr/stlxr, exact-once dsb ishst, exact-once sev ve ldar'ı ve ELF'in audit öncesi/sonrası değişmediğini doğruladı.
    • Freeze aracı scripts/freeze-rpi5-s545-r1-candidate.sh 9175 B / ddd0f3baf1c2e47c26e97d1ee33d8ce00746dc6f5b64149489a63ff9cb42cfcd'dir; disk, seri port veya güç komutu içermez ve focused test onu çalıştırmaz, yalnız içeriğini ve kimliğini doğrular.
    • Marker üyeliği (strings | grep -c): ASELSAN/S541 HANDOFF=CPU1_PREFLIGHT_ARMED 1, ASELSAN/S541ERR 1, [R1:S536] BOOT_TO_UI_READY 1, ASELSAN/S538 ROUTE=PRIOR_BOOT_TO_UI 1, ASELSAN/S538ERR 1, ASELSAN-R1-S538-BOARD-RPI5 1, ASELSAN/BOOT8H 1. S542 Boot-to-UI literal'ini 2 saymıştı; bu build'de linker özdeş literal'i birleştirdiği için tablo MARKER_LITERAL_MERGED (source_references=2) olarak kaydeder, kayıp referans olarak değil.
    • Model freeze receipt, reproducibility predicate'i, SHA256SUMS grammar validator'ı (üç satır, 64 lowercase-hex, çift boşluk, canonical dosya sırası, exact digest), config directive validator'ı, marker-membership tablosu, checked inode signature'ı ve execution_permit=false pre-arm sözleşmesi struct'ını içerir; predecessor, build, ELF/image, layout, paket, manifest, config, marker, tool ve authorization drift'lerinin her biri fail-closed ayrı hata kodudur (34 nonzero unique kod).
    • Exact replay CandidateRetained ile aynı receipt'i döndürür; yayından sonra yeniden oluşturulmuş bir paket (farklı inode'lar) FrozenStateDrift ile reddedilir; S542 imajına eşit candidate ImageRetriesRejectedCandidate ile reddedilir.
    • S546 pre-arm sözleşmesi yalnız sözleşmedir: kart seri 0x425001fa / CID 009f5449534436344761425001fa01a1 / 62549655552 B / TISD64G / volume ASELSANBOOT; Debug Probe E6647C74033F9131 son çözümlenen /dev/cu.usbmodem21302 (S546 taze çözümlemelidir); exclusive TIOCEXCL 115200/8N1 parity yok flow yok, TCIFLUSH, fresh O_EXCL raw, güç verilmeden önce armed capture; yalnız operatör raporlu güç geçişleri; token literal S546_AUTHORIZE_SD_WRITE_READBACK_EJECT_UART_PREARM_ONE_POWER_ON_ed1901a9_425001fa_62549655552 decode edilip candidate ve karta bağlanır; exact istek bile ContractReadyExecutionPermitWithheld döndürür ve execution_permit=false, host_execution_started=false, tüm sayaçlar 0 kalır.
    • Focused test dört paket dosyasını, SHA256SUMS metnini, firmware config'i ve iki host aracını include_bytes!/include_str! ile gömer, byte uzunluklarını ve SHA-256 digest'lerini doğrular, iki build logunu yeniden okuyup her birinde 2865 warning başlığı sayar ve paket mode/nlink/inode'larını diskte kontrol eder.
    • Focused target 1 grup / 21 passed / 0 failed / 0 ignored / 0 filtered verdi; ilk derlenen koşu 20/21 idi ve tek fark test beklentisiydi (model doğru olarak ImageRetriesRejectedCandidate döndürdü), model davranışı değişmedi.
    • Implementation 40040 B / 4ecd2ef5b35d61fb2efca8a6cb28b215481854ed09bc6214e2e93d505ea866ab; focused test 40697 B / 13e364c18394f72d18f77b56fc82eb32b7294f47a16ea3c3c9acf5dbfd849483 SHA-256'dır.
    • Proof 9014 B'dır; evidence/rpi5/r1/sequence-545-candidate-freeze/README.md tüm kimlikleri ve closeout satırlarını kaydeder.
    • S540 immutable raw 20525 B / fc3f934543ab5d829ad8a16e2b332dd2bdc35a81c6c0f6423256101448e45114 ve S543 immutable raw 20509 B / 1f1111a1a39ab6263b505b0889d025df19d5c48bb2f84e30708412b0da47dc11 byte-exact korunur; her iki fiziksel verdict RED'dir, automatic promotion=false ve rerun=false'tur.
    • RUNBOOK_EXECUTED_IN_S545=NO; supported-profile runtime observations=0, physical observations=0, device operations=0, SD writes=0, UART opens=0, power transitions=0, new immutable raw=0, hardware present=false, Boot-to-UI physically observed=false ve R1 acceptance=false'tur.
    • S546 bu exact paketle (ed1901a9…8d467) üçüncü yetkili fiziksel boot/UART koşusudur; yalnız açık operatör yetkisiyle ve ayrı kapı olarak yürütülebilir, S545 onu ne planlar ne de izin verir.

    Sınır / bekleyen kanıt

    • S545 yalnız host üzerinde candidate freeze ve sözleşme modelidir; hiçbir donanım/panel/modem/board gözlemi yoktur.
    • S540 ve S543 fiziksel RED immutable kalır; S545 bunları yeniden yorumlamaz, yeniden koşmaz ve yükseltmez.
    • BOOT_TO_UI_READY gerçek UART'ta görülmedi; Boot-to-UI ve R1 acceptance false kalır.
    • S546 pre-arm sözleşmesi execution permit değildir; SD write/read-back/eject, UART açma ve güç geçişi S545'te sıfırdır ve yetkilendirilmemiştir.
    • Fresh build warning sayıları (2865) sıfır değildir; zero-warning iddiası yoktur.
    • S546 bu exact paketle üçüncü yetkili fiziksel boot/UART koşusu için ayrı kapı, taze target revalidation, açık operatör yetkisi ve yeni immutable raw ister; otomatik değildir.

    Terminal komutları ve gerçek yanıtlar

    S545 host-only freeze ve pre-arm sözleşmesi PASS'tir; supported-profile runtime veya fiziksel PASS değildir. S540 ve S543 RED raw'ları ve kararları değişmez; execution permit yayımlanmaz.

    S545 candidate freeze ve pre-arm sözleşmesi focused
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s545_r1_reachable_producer_candidate_freeze_prearm_contract -- --test-threads=1
    Yanıt
    test result: ok. 21 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.03s
S545 focused=1 group / 21 passed / 0 failed
hardware=none physical=0 runbook=NO