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

S572 · R2 supported-profile runtime kanıtı baseline kaydı

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

    S572 · R2 supported-profile runtime kanıtı baseline kaydı

    S572 dar kapısı PASS'tir. S571'in tek-seferlik fiziksel Raspberry Pi 5 UART PASS kaydı, board-rpi5/aarch64/uart-115200-8n1 supported-profile runtime baseline'ı olarak salt-okunur içeri alındı. Exact S570 image, 20947 B raw, yedi girdili evidence manifesti, closeout ve gerçek marker matrisi tekrar doğrulandı. S572 yeni SD/UART/güç işlemi veya fiziksel gözlem yapmadı; host replay bağımsız fiziksel tekrar sayılmadığı için repeatability, cross-profile coverage, görünür scanout/input ve R2 saha kabulü false kalır.

    Doğrulanan kanıt

    • S572 R1→R2 geçişinin 1. iş alanını açar: acceptance domain=supported_profile_runtime_evidence, profile=board-rpi5, arch=aarch64 ve transport=uart-115200-8n1.
    • Kaynak gözlem S571 physical PASS'tir; retained runtime baseline/physical observation=1/1, S572 new runtime/physical observation=0/0'dır.
    • Exact candidate 945920 B / a24f4d24e838cd7d1a6b2ff217d864e9c4b08f12ce7dd165b302e8073a980b04 olarak korunur.
    • Exact raw 20947 B / 8eba34fcd970d7b5dd276690013b5513ec426020c915356d98d6e5bf0b4e1c83 / FNV-1a64 0xdd63b3898666dc73 / mode 0444 / nlink=1 olarak yeniden doğrulandı.
    • EVIDENCE_SHA256SUMS 606 B / 7887075a7c152e6491cc6fd520179efd9b92a0aa73f0a05331f55d98e796c5d3 ve yedi girdinin tamamı bağımsız tekrar hashlenerek PASS verdi.
    • Closeout 1319 B / 1b3557cb63999d7b98073392cbfeea16cc6739e3cde02a03c977bcf39ba7cdad kimliğine bağlıdır; S571 RERUN_FORBIDDEN=YES sınırı korunur.
    • Gerçek raw matrisi BOOT8G/BOOT8H/S541 handoff/S538 route/BOOT_TO_UI_READY=1/1/1/1/1; G8HERR/S541ERR/S538ERR/panic/unknown-IRQ=0/0/0/0/0'dır.
    • Focused test 1 grup / 18 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Implementation 13627 B / 698a706a546b468f5dc213b04dd748b6ffdd2abd867c8943cbe93e102b15d99d; focused test 17514 B / 9fd817e1d50b59962309fb77da130cf7cc082a35d94ccd4711d2a5965cf208d5; proof 4355 B / f7c6f009efd5255967dd34865bdfd063a139560d3c86948ec232428b6568f5be SHA-256'dır.
    • physical/device operations=0; SD/UART/power/new-raw=0/0/0/0 ve RUNBOOK_EXECUTED_IN_S572=NO'dur.
    • Independent physical repeats=0, cross-profile coverage=false, repeatability=false, visible scanout/input=false/false, R2 field acceptance=false ve automatic promotion=false'dur.

    Sınır / bekleyen kanıt

    • S572 yeni bir fiziksel koşu değildir; S571 raw'ını ve provenance zincirini salt-okunur taşır.
    • Aynı immutable raw'ın yeniden hashlenmesi bağımsız cihaz tekrarı veya uzun soak kanıtı değildir.
    • S571 retained one-shot lock değişmez ve yeniden kullanılamaz.
    • Visible scanout ve physical input gözlenmemiştir; ekran/touch PASS iddiası yoktur.
    • Cross-profile coverage, repeatability ve R2 field acceptance tamamlanmamıştır.
    • RUNBOOK_EXECUTED_IN_S572=NO; physical/device operations=0.

    Terminal komutları ve gerçek yanıtlar

    S572 supported-profile baseline focused kabulü
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo test -p aselsan_microkernel_simulation --test g8l_target_dispatch_scheduler_owner_scheduler_mutation_production_migration_lifecycle_s572_r2_supported_profile_runtime_evidence_baseline -- --test-threads=1
    Yanıt
    test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
retained runtime/physical=1/1; new runtime/physical=0/0; physical/device operations=0
    S572 S571 kanıt zinciri salt-okunur replay
    TAM ÇIKTIexit 0
    Komut
    $ shasum -a 256 evidence/rpi5/r1/sequence-571-physical-boot-uart/s571-uart.raw$ cd evidence/rpi5/r1/sequence-571-physical-boot-uart && shasum -a 256 -c EVIDENCE_SHA256SUMS
    Yanıt
    raw=20947 B / 8eba34fcd970d7b5dd276690013b5513ec426020c915356d98d6e5bf0b4e1c83 / mode=0444 / nlink=1
EVIDENCE_SHA256SUMS: 7/7 PASS
host replay validations=1; independent physical repeats=0
    S572 manifest ve Code/Operations yerel yayın bağı
    TAM ÇIKTIexit 0
    Komut
    $ python3 scripts/render-project-status.py --check$ node website/scripts/generate-code-gates.mjs --check
    Yanıt
    project status renderer: PASS
S572 source + focused test + proof + Operations record: exact identity-bound