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

S541 · R1 cross-CPU marker readiness handoff remediation

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

    S541 · R1 cross-CPU marker readiness handoff remediation

    S541 dar kaynak remediation kapısı PASS'tir; S540 fiziksel kapısı RED olarak immutable kalır. S540'ta CPU0'ın S538 completion yoluna CPU1 preflight arm edilmeden ulaşabildiği eksik cross-CPU readiness sınırı kapatıldı. CPU1 artık AwaitingS537 sonucunu terminal başarı saymaz: S536/S537'yi yeniden servis eder, aynı IRQ içinde bounded retry uygular ve yalnız exact S538 PreflightArmed/PreflightRetained receipt'i sonrasında Release publication + dsb ishst + sev üretir. CPU0 readiness kimliğini Acquire ile gözler, architectural timer tabanlı beş saniyelik bounded wait uygular ve readiness olmadan S538 marker completion'a giremez. Focused ilk koşu eksik production callsite'larıyla 17/20 RED, final 20/20 PASS; selected S536–S541 zinciri 6 grup / 98/98 PASS ve dört fresh AArch64 profil 4/4 exit 0'dır. S541 sırasında candidate freeze, SD, UART, power, raw veya fiziksel işlem yapılmadı; RUNBOOK_EXECUTED_IN_S541=NO, physical observations=0 ve R1 acceptance=false'dur.

    Doğrulanan kanıt

    • S541, S540'tan ayrı production implementation module, 20-test focused target, proof, Operations kaydı, Timeline/Yol Haritası açıklaması ve complete Code kartına sahiptir.
    • Dar S541 source/remediation status=PASS; global R1 umbrella=PARTIAL ve S540 physical gate status=RED'dir.
    • İlk focused koşu 17 passed / 3 failed verdi. İki RED missing CPU1/CPU0 production callsite'ını, bir RED test-only newline expectation drift'ini gösterdi; fiziksel beklenti veya S540 verdict'i gevşetilmedi.
    • Final focused target 20/20 PASS / 0 failed / 0 ignored / 0 filtered verdi.
    • AwaitingS537 readiness yayımlamaz; model retry_attempts değerini bounded artırır ve toplam 1024 denemede fail-closed kapanır.
    • Yalnız exact S538 PreflightArmed veya PreflightRetained receipt'i S541 readiness üretir; request id, anchor, board, marker, route ve sıfır observation alanları yeniden doğrulanır.
    • Wrong CPU, marker outcome, preflight drift, readiness regression, counter yokluğu, retry exhaustion ve CPU0 timeout typed error ile kapalı kalır.
    • CPU1 production service aynı timer IRQ içinde en çok dört kez dener; AwaitingS537 gördüğünde S536 ve S537 service'lerini yeniden çağırır, sonraki timer tick'lerine bounded biçimde açık kalır.
    • CPU1 nonzero request identity'yi AtomicU64 compare_exchange Ordering::Release ile yayımlar; dsb ishst ve sev publication sonrasında exact source order'dadır.
    • CPU0 AtomicU64 load Ordering::Acquire kullanır; CNTFRQ/read_count tabanlı beş saniyelik bounded wait readiness yoksa S541ERR ile fail-closed park eder.
    • CPU0 marker yolu readiness gözlenmeden çağrılamaz; model CompletionBeforeReadiness sonucunu exact doğrular.
    • exceptions.rs CPU1 timer callsite'ı doğrudan S538 service yerine S541 readiness service'ini kullanır; rpi5_g8h.rs CPU0 tail'i doğrudan S538 entry yerine S541 wait entry'sini kullanır.
    • Tarihsel S538 terminal implementation ve S540 evidence model değişmeden kalır; yalnız live callsite ordering yeni S541 sınırına taşınır.
    • S540 raw halen 20525 B / fc3f934543ab5d829ad8a16e2b332dd2bdc35a81c6c0f6423256101448e45114 / mode 0444 / nlink 1'dir.
    • S540 matrisi BOOT8H=1, BOOT_TO_UI_READY=0, S538 route=0, S538ERR AwaitingPreflight=1, panic=0 ve unknown IRQ=0 olarak korunur; physical verdict RED'dir.
    • Selected S536–S541 regresyonu 6 ayrı grup / 98 passed / 0 failed verdi: 15 + 15 + 15 + 16 + 17 + 20.
    • Exact yedi bilinen tarihsel frozen assertion filtrelenerek seri workspace audit 504 sonuç grubu / 7263 PASS / 0 fail / 7 filtered verdi; 93720 B log a2e0911669e55a40851e89325696311afebd9cb5e1fc581b72d286bc7b29f275 SHA-256'dır.
    • G8h source/runtime tarihsel denetimleri exact S540 evidence literalini production seam'den ayırır; generic token veya path allowlist genişletilmedi.
    • Dört fresh izole AArch64 profile check board-qemu, board-rpi4, board-rpi5 ve board-rpi5+smp için 4/4 exit 0 verdi.
    • Fresh board-rpi5 release ELF 1021472 B / bc36658db9a105180240742d29a462f45eee9c757d8918a030b75e18d9148291 SHA-256'dır.
    • Fresh board-rpi5+smp release ELF 1021472 B / bd5a8118eadae515e4e96698b3b58121039efbba2b0e865503ede08536080a10 SHA-256'dır.
    • İki ELF'de de ASELSAN/S541 HANDOFF=CPU1_PREFLIGHT_ARMED ve ASELSAN/S541ERR string'leri exact-once bulunur; bu compile artifact runtime observation değildir.
    • S541 implementation 16006 B / 43d60e130a50eedd9d873893dcf1b86a42582bbd267a3a97b6c89bf2c9b89395; focused test 18943 B / 029357904dc1121461ed219359b1523401cf43834abf972f553a6fcd137454c6 SHA-256'dır.
    • Pre-publication Code registry S1–S541 için 541/541 unique gate, 1587 exact source excerpt, missing=none ve duplicate=0 üretti; SHA-256 05151514808c4ffce8e28fe504d79ed1471873719d21903922c6e1ea3280a7be'dir. Mapping writer=69, focused=370, command=94 ve operation=8'dir.
    • Website kabulü 801/801 PASS, lint PASS, TypeScript exit 0/boş çıktı ve production build 677/677 static page verdi. Export 3467 file / 268564015 B, 25 MiB üstü file=0 ve deterministic tree SHA-256 4abe894f3c95b335231a9b131fde3a15b673b6a3cd114aaf5ee7be8637559956'dır.
    • İlk S541 production deployment 323a8183.aselsan-microkernel.pages.dev hostname'iyle tamamlandı: 3382 uploaded + 83 existing = 3465 asset ve ayrı _headers yayımlandı.
    • Cache-busted custom-domain readback /, /operations/, /operations/s541/, /operations/s540/, /code/, /code/s541/, /code/s540/, /timeline/, /yol-haritasi/ ve /misyon/ için 10/10 HTTP 200 ve local export ile byte-exact=true verdi.
    • S541 physical/device operations=0: candidate freeze=0, SD write/read-back=0/0, UART open/capture=0/0, power transitions=0 ve new immutable raw=0.
    • RUNBOOK_EXECUTED_IN_S541=NO, supported-profile runtime observations=0, physical observations=0, Boot-to-UI physically observed=false ve R1 acceptance=false'dur.
    • Yeni fiziksel retry S541 içinde veya S540 raw üzerinde yapılamaz; daha sonraki sıra, yeni candidate, yeni immutable raw ve açık operatör yetkisi zorunludur.

    Sınır / bekleyen kanıt

    • S541 yalnız source/model remediation kapısıdır; yeni fiziksel koşu yapılmadı.
    • S540 immutable raw ve physical verdict RED değişmez.
    • ELF marker string varlığı 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 candidate/raw ve açık operatör yetkisi gerektirir.
    • RUNBOOK_EXECUTED_IN_S541=NO; physical/device operations=0.

    Terminal komutları ve gerçek yanıtlar

    S541 kaynak remediation PASS'i ile S540 fiziksel RED sonucu ayrı tutulur; focused, build, workspace veya website sonucu fiziksel promotion değildir.

    S541 focused cross-CPU handoff RED → GREEN
    TAM ÇIKTIexit 0
    Komut
    $ cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s541_r1_cross_cpu_marker_readiness_handoff -- --test-threads=1
    Yanıt
    initial=17 passed / 3 failed; CPU1 and CPU0 production boundaries missing plus one test-only newline drift
final=20 passed / 0 failed / 0 ignored / 0 filtered
S540 raw/verdict expectation relaxed=false; automatic promotion=false
    S541 selected predecessor and immutable-S540 regression
    TAM ÇIKTIexit 0
    Komut
    $ run S536, S537, S538, S539, S540 and S541 focused targets serially
    Yanıt
    6 groups / 98 passed / 0 failed
S540 exact raw=20525 B / fc3f9345…5114 / 0444 / nlink 1
S540 physical verdict=RED; S541 source remediation=PASS
    S541 four-profile, ELF and workspace acceptance
    TAM ÇIKTIexit 0
    Komut
    $ run four fresh isolated AArch64 profile checks$ build isolated board-rpi5 and board-rpi5+smp release ELFs$ run filtered serial workspace audit
    Yanıt
    AArch64 profiles=4/4 exit 0
RPi5 ELFs=1021472 B each; S541 success/error marker strings exact-once
filtered workspace=504 groups / 7263 PASS / 0 fail / 7 historical filtered
runtime observations=0; physical observations=0; compile artifacts only
    S541 Operations/Timeline/Code production publication
    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 readback
    Yanıt
    website tests=801/801 PASS; lint=PASS; TypeScript exit=0/empty; static pages=677/677
export=3467 files / 268564015 B; files >25 MiB=0; Code=541 gates / 1587 exact excerpts / missing none
initial deployment=323a8183; uploaded/existing=3382/83; asset total=3465
custom domain=10/10 HTTP 200 and byte-exact to local out; S540 physical RED retained