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

S544 · R1 reachable-readiness producer remediation

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

    S544 · R1 reachable-readiness producer remediation

    S544 kaynak kapısı PASS'tir: S543 raw'ının gösterdiği unreachable CPU1 readiness producer, G8h CPU1 yolunda exact stage ve gerçek CPU kimliği doğrulandıktan sonra, IRQ'lar maskeli ve timer ctl=0b10 iken task-stack/timer arm sınırından önce ulaşılabilir bir production çağrı noktasına taşındı. Çağrı S431–S535 canonical 105-gate/15-block ledger'ını, ardından S536, S537 ve S541 readiness handoff'unu fail-closed sırayla yürütür; S544 receipt'i bundan sonra tutulur. Focused 19/19, selected S536–S544 dokuz grup / 156/156 ve dört fresh AArch64 profil 4/4 PASS'tir. S543 fiziksel raw/verdict değişmez RED, runtime/physical observation=0/0, SD/UART/power/new-raw=0/0/0/0, Boot-to-UI=false ve R1 acceptance=false'dur. S545 yeni S544 hook'unu içeren host-only candidate freeze kapısıdır.

    Doğrulanan kanıt

    • S544, S543'ten ayrı production source module, 19-test focused binary, explicit rpi5_g8h.rs callsite, proof, status manifest, Operations kaydı, Timeline/Yol Haritası açıklaması ve complete Code kartına sahiptir.
    • Dar S544 source-remediation status=PASS; R1 umbrella=PARTIAL ve S543 physical gate status=RED olarak ayrı tutulur.
    • Production producer yalnız CPU1'de ve exact G8h stage-released + hardware CPU identity doğrulamasından sonra çağrılır.
    • Çağrı sırasında IRQ maskesi zorunludur; G8h timer control değeri çağrı öncesi ve sonrası exact 0b10'dur.
    • S544 hook'u G8h IRQ handler'ının dışında, task stack hazırlanmasından ve G8h timer arm edilmesinden önce yer alır; terminal timer-disable yoluna bırakılmaz.
    • Hook önce S431–S535 canonical descriptor sırasını reconcile eder; ledger exact S535, 105 gate, 15 block ve runtime/physical observation=0 sınırında değilse fail-closed döner.
    • Ledger sonrasında exact sıra S536 contract publish/retain → S537 request publish/retain → S541 CPU1 readiness publish/retain → S544 receipt retain biçimindedir.
    • S541 sonucu yalnız Cpu1ReadinessPublished veya Cpu1ReadinessRetained ise kabul edilir; awaiting veya drift sonuçları G8h'nin mevcut primary-validation hata kanalına map edilir.
    • S544 yeni UART satırı basmaz, marker'ı preflight'siz üretmez ve CPU0 completion yolunu taklit etmez.
    • Focused target 1 grup / 19 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Selected S536–S544 dokuz ayrı targetta 15+15+15+16+17+20+21+18+19 = 156 passed / 0 failed verdi.
    • Tarihsel S538 source reconstruction ilk seçili koşuda yeni S544 block'u nedeniyle 14/15 RED verdi; explicit S544 delimiter'ları tarihsel reconstruction'dan çıkarıldıktan sonra exact 86590 B predecessor identity ile 15/15 PASS oldu. Ürün davranışı bu test düzeltmesinde değiştirilmedi.
    • Fresh board-qemu build exit 0 verdi: log 111730 B / e2ed332cef58f99b0740b96c5c067097b29f2bb029dfe3231276e2260bd86e61 / 293 warning header; ELF 12623752 B / 0ee341f8eec166cf764a2151a3107fee2bdb35f7e51371e87caf08a961d80a5b.
    • Fresh board-rpi4 build exit 0 verdi: log 150347 B / 552867ae85017c6b51c3aab30a5ade2af220772ebe0ce741df4aac04bae0cd0e / 391 warning header; ELF 7747728 B / ef2677fe15cda152aa116576c1e786014cd65e802c8930496cd1fdab9441b498.
    • Fresh board-rpi5 build exit 0 verdi: log 1135575 B / fd91ae44ede740f8b15a7d40cb7fd7ca0f906c1062ad45cb36474f4c66e818d1 / 2865 warning header; ELF 18966024 B / ee565bf6887006787cdf22692ab9ef36d66d5957ff62025caa461a005c2b81cd.
    • Fresh board-rpi5+smp build exit 0 verdi: log 1135464 B / 7efcd597f7b7a2d6227e0a7b3f0b5d78723f0342696afb829fe87ad58d34bf34 / 2865 warning header; ELF 18948504 B / 319bdedaa201ab2282c13c54f20d0e2d6bac2f3d8ebf161e3664b154bb980b08.
    • Dört profil 4/4 exit 0'dır; warning başlıkları görünür biçimde sayılmıştır ve zero-warning iddiası kurulmaz.
    • Implementation 14025 B / 8dbce1b30b8c8bdd469cb7ee34a24adf63bc1863e40958c9ec0e27a925f924f7; focused test 17031 B / 289a1658c74b8b37293f9d9bf65604800612161aae57fc593b5aedeecebeeb12 SHA-256'dır. Tarihsel modül korunur; G8h production callsite'ı S569 tarafından supersede edilmiştir.
    • Proof 4495 B / 6bdb83b1cada941262b499376303297b305baeb476995606b9c7a76347e7b446 SHA-256'dır.
    • S543 immutable raw 20509 B / 1f1111a1a39ab6263b505b0889d025df19d5c48bb2f84e30708412b0da47dc11 ve physical verdict RED olarak byte-exact korunur; automatic promotion=false ve rerun=false'dur.
    • S544 sırasında candidate freeze, SD write/read-back/eject, UART open/capture, power transition, physical retry veya yeni immutable raw üretimi yapılmadı.
    • RUNBOOK_EXECUTED_IN_S544=NO; supported-profile runtime observations=0, physical observations=0, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.
    • S545 yalnız host üzerinde S544 hook'unu içeren yeni board-rpi5 candidate'ı reproducible biçimde dondurup kimliğini sabitleyecektir; aygıt veya fiziksel koşu yetkisi değildir.

    Sınır / bekleyen kanıt

    • S544 üretim çağrı noktası derlenmiş ve source-bound doğrulanmıştır; supported RPi5 runtime invocation henüz gözlenmemiştir.
    • BOOT_TO_UI_READY gerçek UART'ta görülmedi; Boot-to-UI ve R1 acceptance false kalır.
    • S543 raw/verdict otomatik yükseltilmez veya yeniden yazılmaz.
    • Fresh build warning sayıları sıfır değildir.
    • S545 host-only candidate freeze tamamlanmadan yeni fiziksel retry adayı yoktur.
    • Yeni SD/UART/power koşusu ayrı kapı, fresh target revalidation, açık operatör yetkisi ve yeni immutable raw ister.

    Terminal komutları ve gerçek yanıtlar

    S544 kaynak remediation PASS'tir; supported-profile runtime veya fiziksel PASS değildir. S543 RED raw ve kararı değişmez.

    S544 reachable producer focused ve predecessor regression
    TAM ÇIKTIexit 0
    Komut
    $ run S544 focused target serially$ run S536-S544 focused targets serially
    Yanıt
    S544 focused=1 group / 19 passed / 0 failed
selected=9 groups / 156 passed / 0 failed
historical S538 reconstruction initial=14/15; exact later-block stripping final=15/15
S543 raw/verdict retained RED; automatic promotion=false
    S544 four-profile production source compilation
    TAM ÇIKTIexit 0
    Komut
    $ run fresh isolated board-qemu, board-rpi4, board-rpi5 and board-rpi5+smp builds
    Yanıt
    profiles=4/4 exit 0
warning headers=293/391/2865/2865; zero-warning claim=false
RPi5 ELF=18966024 B / ee565bf6…b81cd
RPi5+smp ELF=18948504 B / 319bdeda…980b08
    S544 Operations/Timeline/Code publication acceptance
    TAM ÇIKTIexit 0
    Komut
    $ npm run code:generate && npm run code:check$ npm test && npm run lint && npx tsc --noEmit && npm run build$ npm run deploy; cache-busted custom-domain byte-exact readback
    Yanıt
    S544 source PASS, R1 PARTIAL and S543 physical RED remain distinct
Code S544 binds the complete implementation, complete focused target and complete Operations record
publication metrics and deployment receipt are recorded in the canonical status manifest after verification