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

S574 · R2 fresh supported-profile tekrar aday dondurması

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

    S574 · R2 fresh supported-profile tekrar aday dondurması

    S574 dar host-only kapısı PASS'tir. S570/S571 dört-file payload'ı byte/SHA değiştirilmeden yeni S574 evidence yoluna dört fresh ve kaynak inode kümesiyle kesişmeyen inode üzerinden donduruldu. Exact S575 read-only preflight ile capture wrapper kaynakları bağlandı; board-rpi5 cargo check kalıcı log/SHA ile exit 0 verdi. S574 SD kartı veya Debug Probe'u incelemedi, SD/UART/güç/raw işlemi yapmadı ve concrete operatör yetkisi almadı. S575 transaction tool ve compiled capture binary henüz hazırlanmadığından execution permit false, repeatability ve R2 saha kabulü açıktır.

    Doğrulanan kanıt

    • S574 R2 workstream 1 içindedir: acceptance domain=supported_profile_fresh_repeat_candidate_freeze, profile=board-rpi5, arch=aarch64, campaign=r2-ws01-board-rpi5-repeat-01.
    • Kaynak package evidence/rpi5/r1/sequence-570-candidate-freeze/package; fresh package evidence/rpi5/r2/sequence-574-supported-profile-repeat-candidate-freeze/package'tır.
    • Dört destination dosyası kaynakla byte-eş ve SHA-eştir; source/destination inode kümeleri 4+4 distinct ve disjoint'tir. Package mode=0700; file mode=0444; nlink=1.
    • Image 945920 B / a24f4d24e838cd7d1a6b2ff217d864e9c4b08f12ce7dd165b302e8073a980b04; DTB 78703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00.
    • Config 401 B / f1fd182fec3a6b46639195881b2b452efe019ca88556c58081aff0a05daee865; package SHA256SUMS 248 B / 83e8eb41c5fa0b81f5d05557cc1445c1d9834617126de3b798037e6d96025fe1.
    • Freeze log 1439 B / 3742a9d9371240003395849d07a98911270ef6f97b2eb357153478888bac41a8; evidence manifest 531 B / 084d58b39eb2060639c839eb628b1e6f350ab992c53239b2a1a2b86f6bd27001 ve 6/6 rehash PASS'tir.
    • Freeze tool 8896 B / 5562c426b21f48cf61fae7818055b12725e32e546a3850bcd8061f40a0a1ba55; S575 read-only preflight 11430 B / f846a01e0e4800c39600471d0b529efbddc7811cf512f400f7789edf733c751a.
    • S575 capture wrapper 249 B / e4325ae7c9eef419aadc86cabdc2fcf94035d1026b3656d27ec1227060328c82 ve audited engine 20572 B / 9f001c4cec407bbb4310ca0f89d9cc7e8a1be32307ba8d7ea0541e315ff1efec olarak source-bound'dur; capture binary hazırlanmadı.
    • Focused test 1 grup / 26 passed / 0 failed / 0 ignored / 0 filtered verdi.
    • Board-rpi5 check exit 0'dır. Compiler 4496 warning bildirdi; aggregate dahil 4497 warning:-prefixed satır vardır ve zero-warning iddiası yoktur. Log 1698974 B / 879d6f5fb32ae95b6c6eecaba0e18b903e00a72f237211125ec4dd41e2bef60b'dir.
    • S574 model simulation-only ve kernel'e linkli değildir; board check runtime invocation veya fiziksel gözlem değildir.
    • Implementation 22716 B / cdd6b02b21eb0ec64bef2ed60606abf216679916f1361645dc274a17d3cccb35; focused test 27110 B / 6d3cedbeedd8a626ceeecb05341b27cbf55b0f1ef99ed355b6dca77f165de1e7; proof 5913 B / 716efe16358fc88a61a85cbd3981e8b4179b4e2448f86438debde1e2f9d4d3f7 SHA-256'dır.
    • New runtime/physical/repeat=0/0/0; physical/device operations=0; authorization_received=false; execution_permit=false; RUNBOOK_EXECUTED_IN_S574=NO.

    Sınır / bekleyen kanıt

    • S574 host-only candidate freeze PASS'tir; fiziksel tekrar veya supported-profile runtime gözlemi değildir.
    • Gerçek S575 card/probe/Pi-off preflight henüz çalıştırılmadı.
    • S575 transaction tool ve compiled capture binary henüz hazırlanmadı veya SHA-bound edilmedi.
    • Concrete S575 operatör token'ı alınmadı; expected token yalnız contract data'dır.
    • SD write/read-back/eject, UART open/pre-arm, power transition ve fresh raw capture sayıları S574'te sıfırdır.
    • Independent physical repeat, repeatability, cross-profile coverage, visible scanout/input ve R2 saha kabulü tamamlanmamıştır.
    • Board-rpi5 cargo check compile compatibility kanıtıdır; runtime veya fiziksel gözlem değildir.
    • Derleme warnings sıfır değildir.
    • RUNBOOK_EXECUTED_IN_S574=NO; physical/device operations=0.

    Terminal komutları ve gerçek yanıtlar

    S574 fresh repeat candidate freeze 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_s574_r2_supported_profile_repeat_candidate_freeze -- --test-threads=1
    Yanıt
    test result: ok. 26 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out
fresh record=true; byte-equal=true; source/destination inode sets disjoint=true
new runtime/physical/repeat=0/0/0; device operations=0; execution permit=false
    S574 immutable package ve evidence rehash
    TAM ÇIKTIexit 0
    Komut
    $ scripts/freeze-rpi5-s574-r2-repeat-candidate.sh --verify-package evidence/rpi5/r2/sequence-574-supported-profile-repeat-candidate-freeze/package$ cd evidence/rpi5/r2/sequence-574-supported-profile-repeat-candidate-freeze && shasum -a 256 -c EVIDENCE_SHA256SUMS
    Yanıt
    S574_PACKAGE_VERIFY=PASS; package exact4; directory=0700; files=0444/nlink1
reference and S574 payloads byte-equal; four fresh destination inodes
EVIDENCE_SHA256SUMS: 6/6 OK; SD/UART/power operations=0
    S575 read-only preflight source bağı
    TAM ÇIKTIexit 0
    Komut
    $ scripts/preflight-rpi5-s575-r2-repeat.sh --source-check evidence/rpi5/r2/sequence-574-supported-profile-repeat-candidate-freeze/package
    Yanıt
    S575_PREFLIGHT_SOURCE_CHECK=PASS; PACKAGE=S574; READ_ONLY=YES
DEVICE_OPERATIONS=0 SD_WRITES=0 EJECTS=0 UART_OPENS=0 POWER_TRANSITIONS=0
AUTHORIZATION_ACCEPTED=NO EXECUTION_PERMIT=0
    S574 supported board-profile compile kanıtı
    TAM ÇIKTIexit 0
    Komut
    $ CARGO_INCREMENTAL=0 cargo check -p aselsan_kernel --target aarch64-unknown-none --no-default-features --features board-rpi5
    Yanıt
    cargo check exit 0; target=aarch64-unknown-none; features=board-rpi5; default-features=false
compiler-reported warnings=4496; warning-prefixed lines including aggregate=4497; zero-warning claimed=false
immutable log=1698974 B / 879d6f5fb32ae95b6c6eecaba0e18b903e00a72f237211125ec4dd41e2bef60b
S574 module linked into kernel=false; runtime/physical observation=0/0
    S574 status, Operations ve Code yayın bağı
    TAM ÇIKTIexit 0
    Komut
    $ python3 scripts/render-project-status.py --check$ node website/scripts/generate-code-gates.mjs --check$ cd website && npm test && npx tsc --noEmit && npm run lint && npm run build$ cd website && npm run deploy
    Yanıt
    S574 source + focused test + proof + package/evidence + board log: exact identity-bound
Operations /operations/s574 and Code /code/s574: statically generated
production and custom-domain readback are required before closeout