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

S536 · R1 physical boot/UART evidence contract

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

    S536 · R1 physical boot/UART evidence contract

    S536, focused software-readiness zincirini S535'te sabit tutarak laboratuvar telefon demonstratörü R1 aralığını S536–S565 biçiminde yeniden numaralandırır ve ilk fiziksel boot/UART kanıt sözleşmesini ayrı kapı olarak yayımlar. Exact S535 snapshot'ı nonzero anchor, last=535, 15/15 readiness block, runtime observation=0, physical observation=0 ve R2 acceptance=false olarak doğrulanmadan ilerlemez. Canonical sözleşme board-rpi5, CPU1, 115200/8N1 UART ve [R1:S536] BOOT_TO_UI_READY zorunlu marker'ını bağlar. Bu yalnız kanıt gereksiniminin production state'e fail-closed yayınıdır: UART capture=false, Boot-to-UI=false, R1 acceptance=false ve RUNBOOK_EXECUTED_IN_S536=NO kalır; demonstratör hazır sayılmaz.

    Doğrulanan kanıt

    • S535 terminal focused software-readiness sınırı olarak korunur; R1 başlangıcı artık S536 ve planlanan R1 kapanışı S565'tir.
    • S536–S542 RPi5 fiziksel boot/UART/Boot-to-UI, S543–S549 ekran/dokunmatik-girdi/UI, S550–S556 modem/veri/ses/audio, S557–S563 kontrollü uygulama/recovery/update ve S564–S565 R1 kanıt matrisi/demonstratör sınırı olarak ayrı plan aralıklarıdır.
    • Bu plan aralıkları taahhüt veya garantili bitiş numarası değildir; fiziksel red ve tekrarlar yeni sıra tüketebilir.
    • S431–S535 focused kapanışı yeniden 105 ayrı hedef / 105 grup / 735/735 PASS / 0 fail olarak çalıştırıldı; S535 ötesinde bekleyen eski focused hedef bulunmadı.
    • Yeni S536 focused hedefi 15/15 PASS / 0 fail / 0 ignored / 0 filtered verdi.
    • S431–S536 toplam focused kapsamı 106 ayrı grup / 750/750 PASS'tir.
    • S238–S536 exact dependency listesi iki bağımsız seri turda ayrı ayrı 300 grup / 5290/5290 PASS / 0 fail verdi.
    • İki dependency turunun süre-normalize özetleri 67947 B ve e289626ed85e08974f18e7be7cf268fe35ca471a66fa9707078e088a16c50921 SHA-256 ile byte-exact eşittir.
    • Exact yedi tarihsel G8h assertion dışındaki manifest-aware workspace 499 sonuç grubu / 7180 PASS / 0 fail / 7 filtered verdi; raw log 93062 B / 6b3acbfda765f85bfdf5a892f1e105563de29041938353dd1056bde7a5acf377 SHA-256'dır.
    • Dört fresh ve birbirinden yalıtılmış AArch64 profil 4/4 exit 0 verdi: board-qemu, board-rpi4, board-rpi5 ve board-rpi5+smp.
    • Fresh ELF ölçümleri board-qemu 16814200 B / 1f358200979a677bbd606be09a6780a52e95262ffebeaccdfebfdc0dfa8d6163, board-rpi4 11925464 B / 49e8b96f35cda6a07913017d2b4ec358eda425f6a9260b9e2a382989ff3fe1ee, board-rpi5 17830520 B / e23a197d82ff94bc56051bc6d81cb9ab4049424b8148e0568c179e1d9f159877 ve board-rpi5+smp 17831592 B / 113c8212b45ce6ead41c7f95022739fd617ab37a9f2e0bdeb26bb6b9b8336b3c SHA-256'dır.
    • Profil warning header sayıları 293/391/2838/2838 olarak ölçüldü; zero-warning iddiası yoktur. Artifact root /tmp/aselsanos-s536-profiles.UnsVin'dir.
    • İlk web kabulü 749/749 test, lint PASS, TypeScript exit 0 / 0 B çıktı ve 666/666 statik sayfa verdi; export 3410 dosya, 25 MiB üzeri dosya 0 ve en büyük HTML out/operations/index.html 19681536 B'dir.
    • İlk S1–S536 Code registry 536/536 unique kart, 1572 exact excerpt, missing=none, duplicate=0 ve 91dcca8440debd579258e04ae95dbfc4ce5d8bd201c35cbfc12d07e56b834e3 SHA-256 verdi.
    • İlk production deployment f913bc73-a332-4c46-870b-79d47b1d0c5f kimliğiyle 3325 upload + 84 existing / 3409 asset ve _headers upload tamamladı.
    • Cache-busted custom-domain readback /code/, /code/s536/, /code/s535/, /operations/, /operations/s536/, /operations/s535/, /timeline/ ve /yol-haritasi/ için 8/8 HTTP 200 ve local out'a byte-exact=true verdi.
    • Canlı Code 536 unique kart, Timeline/Yol Haritası ayrı ayrı 375 unique data-gate-policy kartı ve S536 Code/Operations detail kimlikleri exact birer kez doğrulandı.
    • /code/ response no-transform ve nosniff taşır; immutable f913bc73 hostname probe curl exit 28 / HTTP 000 verdiğinden PASS diye sunulmaz.
    • Kanıt-senkronizasyon kabulü de 749/749 test, lint PASS, TypeScript exit 0 / 0 B, 666/666 statik sayfa, 3410 export dosyası ve 25 MiB üzeri dosya 0 verdi.
    • Kanıt-senkronize registry 7d7eea56d344ff28375769ec12971ca44314cbf4937ff888619ffa08aea14f8c SHA-256'dır; production deployment 46e9dbdc-1ceb-430c-b64c-f141eceb961d ile 3325 upload + 84 existing tamamladı.
    • Kanıt-senkronize cache-busted custom-domain readback aynı sekiz rotada 8/8 HTTP 200 ve local out'a byte-exact=true; canlı Code=536, Timeline=375, Yol Haritası=375 ve S536 detail kimlikleri 1/1'dir.
    • Implementation kernel/src/g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s536_r1_physical_boot_uart_evidence_contract.rs dosyasında ayrı modüldür.
    • Implementation 10264 B / cecf8655cc994436ee4047e214a227d56d264652cbfd742146de4c5cbf2b3ddd SHA-256'dır.
    • Focused test simulation/tests/g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s536_r1_physical_boot_uart_evidence_contract.rs dosyasında ayrı target'tır.
    • Focused test 10656 B / 61ee886a518c328fe8bef56eb909945da203db1f909f4ad6f3acff9e27a43c76 SHA-256'dır.
    • Kanıt belgesi docs/M8.1-RPi5-G8l-S536-R1-Physical-Boot-UART-Evidence-Contract-Proof.md olarak ayrıdır.
    • S536 kernel/src/main.rs ve simulation/src/lib.rs içinde S431–S535 generated bölgesinin dışında ayrı module/export kaydıdır; generator tekrarının S536'yı S535 ile birleştirmesi engellenir.
    • CPU1 timer service çağrısı S535 production service çağrısından sonra ve rpi5_g7d timer dönüşünden önce ayrı fail-closed match olarak yer alır.
    • Model wrong CPU'yu state mutation öncesi reddeder ve eksik S535 snapshot'ında AwaitingS535 döndürür.
    • Zero anchor, last sequence drift, completed-block drift, runtime observation drift, physical observation drift ve R2 acceptance drift S535AnchorDrift ile publication öncesi kapanır.
    • UART baud veya başka canonical contract alanı drift ederse ContractDrift publication öncesi kapanır.
    • Exact ilk çağrı immutable ContractPublished receipt'i, exact replay ContractRetained receipt'i üretir; farklı anchor ile replacement PublishedStateDrift olur.
    • Receipt S536/S535 kimliği, S535 anchor'ı, 15 readiness block ve önceki 105 grup/735 test sayaçlarını taşır.
    • Receipt supported-profile runtime observations=0, physical observations=0, uart_capture_observed=false, boot_to_ui_observed=false, r1_acceptance_complete=false ve runbook_executed=false taşır.
    • S536 coverage tuple'ı 7 source audit unit / 113 direct / 113 source-model / 113 production guarded / 0 unrouted olarak korunur.
    • S536 yeni mutable Scheduler aliası, yeni S247 state word, provider authority, admission publisher veya fiziksel observation üretmez.
    • S536 source'u process command, /dev/tty, capture helper veya SD write yolu içermez; fiziksel operatör eylemi koddan tetiklenmez.
    • Bu kapıda güç açma/kapatma, SD kart çıkarma/takma, Mac kart erişimi, UART açma/capture, raw validation, archive veya promotion yapılmadı.
    • physical/device operations=0 · RUNBOOK_EXECUTED_IN_S536=NO.
    • S536 dar source/contract kabulü PASS'tir; laboratuvar demonstratörü, supported-profile runtime, fiziksel boot, Boot-to-UI veya R1 ürün kabulü PASS değildir.

    Sınır / bekleyen kanıt

    • S536'da hiçbir fiziksel cihaz işlemi veya supported-profile runtime gözlemi yapılmadı.
    • BOOT_TO_UI_READY yalnız gelecekte aranacak zorunlu marker'dır; görülmüş bir UART satırı değildir.
    • S536–S565 planı garantili kapanış değildir ve red/tekrar halinde kayabilir.
    • Ekran/girdi S543, modem/ses S550, uygulama/recovery/update S557 ve R1 matrix S564 öncesinde tamamlanmış sayılmaz.
    • Filtresiz workspace'in dondurulmuş S96 tarihsel identity assertion'ı bu kapıda değiştirilmedi; global unfiltered GREEN iddia edilmez.
    • R1 laboratuvar demonstratörü, saha güvenilirliği veya günlük kullanım kabulü değildir.

    Terminal komutları ve gerçek yanıtlar

    S536 software-focused kapanışı ile R1 fiziksel kanıt gereksinimini ayırır. Buradaki PASS contract publication içindir; gerçek cihaz veya Boot-to-UI observation değildir.

    S535 terminal focused phase recheck
    TAM ÇIKTIexit 0
    Komut
    $ run S431-S535 focused targets as 105 independent serial commands
    Yanıt
    focused targets=105; result groups=105; passed=735; failed=0
no focused target after S535 existed before the S536 transition
    S536 focused R1 boot/UART evidence contract
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s536_r1_physical_boot_uart_evidence_contract -- --test-threads=1
    Yanıt
    test result: ok; 15 passed; 0 failed; 0 ignored; 0 filtered
R1 range=S536-S565; predecessor=S535; target=board-rpi5/CPU1; UART=115200/8N1
UART capture=false; Boot-to-UI=false; physical observations=0; R1 acceptance=false
    S536 dependency and remaining focused inventory
    TAM ÇIKTIexit 0
    Komut
    $ run S238-S536 exact dependency list twice and normalize timing fields$ run manifest-aware filtered serial workspace audit
    Yanıt
    dependency run1=300 groups / 5290 PASS; run2=300 groups / 5290 PASS
normalized summaries=67947 B; e289626ed85e08974f18e7be7cf268fe35ca471a66fa9707078e088a16c50921; byte-exact=true
workspace=499 groups / 7180 PASS / 0 fail / 7 historical filtered
    S536 four-profile compile acceptance
    TAM ÇIKTIexit 0
    Komut
    $ run four fresh isolated AArch64 profile builds
    Yanıt
    board-qemu + board-rpi4 + board-rpi5 + board-rpi5,smp = 4/4 exit 0
fresh target roots and ELF byte/SHA-256 measurements recorded separately
compile acceptance is not an RPi5 runtime or physical observation
    S536 initial website acceptance and production publication
    TAM ÇIKTIexit 0
    Komut
    $ npm test && npm run lint && npx tsc --noEmit && npm run build$ npm run deploy$ cache-busted curl and cmp on eight custom-domain routes
    Yanıt
    website=749/749; lint=PASS; TypeScript=exit 0 / empty; static=666/666
deployment=f913bc73-a332-4c46-870b-79d47b1d0c5f; assets=3325 upload + 84 existing
custom domain=8/8 HTTP 200 and byte-exact; live Code=536; Timeline/Roadmap=375/375
immutable hostname exit=28 / HTTP 000; PASS not claimed
    S536 evidence-synchronized production publication
    TAM ÇIKTIexit 0
    Komut
    $ repeat website acceptance$ deploy evidence sync$ repeat cache-busted eight-route custom-domain readback
    Yanıt
    website=749/749; lint=PASS; TypeScript=exit 0 / empty; static=666/666
deployment=46e9dbdc-1ceb-430c-b64c-f141eceb961d; assets=3325 upload + 84 existing
custom domain=8/8 HTTP 200 and byte-exact; live Code=536; Timeline/Roadmap=375/375