S546 kaynak denetiminin gösterdiği erişilemez live-ledger bağımlılığı S569'da kaldırıldı: tarihsel S544 kanıtı korunurken G8h artık exact frozen S431–S535 manifestinden S536'yı, ardından S537 ve S541'i timer arm öncesi çağırıyor; live ledger read/write 0/0 ve CPU0 primary_fail artık bounded G8HERR satırı üretiyor. S570 iki izole build ve final reproduction audit'iyle 945920 B / a24f4d24…80b04 imajını byte-exact dondurdu. S571 salt-okunur preflight'te exact Debug Probe, `/dev/disk6` kartı ve dört S545 predecessor payload'ını doğruladı. Ayrı operatör yetkisiyle dört dosya yazılıp byte-eş geri okundu ve kart eject edildi. UART power öncesi arm edildi; tek power-on sonrasında 20947 B / 8eba34fc…b4e1c83 immutable raw BOOT8G, BOOT8H, S541 handoff, S538 route ve BOOT_TO_UI_READY marker'larını exact-once, hata/panik marker'larını sıfır kaydetti. Capture durable kapandı ve operatör power-off bildirdi. S571 fiziksel kapı PASS'tir. Önceki üçüncü yetkili fiziksel koşu S546 immutable RED'dir: immutable raw 16990 B / a71a9107…3e485d son satır ASELSAN/BOOT8G'de biter; BOOT8H=0, BOOT_TO_UI_READY=0 ve hiçbir hata/panik marker'ı yoktur — yeni sınıf sessiz pre-BOOT8H askısı (Boot8hAbsentPrimaryFailSilent). S547–S568 yalnız kaynak-model kapılarıdır ve kendi donanım iddialarını taşımaz. S540 AwaitingPreflight, S543 Cpu0ReadinessTimeout ile iki ayrı immutable RED kaydıdır; S546 bunlara üçüncü ayrı RED'i ekledi. Güç geçişleri operatör beyanıdır ve bağımsız elektrik ölçümü yoktur. RUNBOOK_EXECUTED_IN_S540=YES, RUNBOOK_EXECUTED_IN_S543=YES, RUNBOOK_EXECUTED_IN_S546=YES ve RUNBOOK_EXECUTED_IN_S571=YES'tir. S571'de SD write/read-back/eject, UART/power/new-raw 4/4/1, 1/2/1'dir. Raw S538 satırı SCANOUT=NOT_OBSERVED ve INPUT=NOT_OBSERVED dediği için görünür ekran/touch ve genel R1 ürün kabulü hâlâ tamamlanmış değildir. S572 bu değişmez S571 kaydını board-rpi5/aarch64/uart-115200-8n1 supported-profile runtime baseline'ı olarak salt-okunur içeri aldı; yedi manifest girdisi yeniden hashlenip 18/18 focused PASS verdi. Yeni fiziksel gözlem, SD/UART/güç işlemi ve bağımsız tekrar 0'dır; cross-profile, repeatability ve R2 saha kabulü false kalır. S573, aynı 945920 B / a24f4d24…80b04 payload'ı için yeni `r2-ws01-board-rpi5-repeat-01` kampanyasını fail-closed tanımladı. S574 bu payload'ı yeni evidence yolunda dört fresh ve kaynak inode kümesiyle kesişmeyen inode üzerinden byte/SHA-eş dondurdu; package 0700, dört dosya 0444/nlink1 ve evidence rehash 6/6 PASS'tir. Focused sonuç 26/26 PASS; kalıcı board-rpi5 cargo check logu exit 0, compiler-reported warning 4496 ve aggregate dahil warning-prefixed satır 4497'dir. Zero-warning iddiası yoktur. S574'te authorization=false, execution permit=false, fiziksel işlem=0 ve RUNBOOK_EXECUTED_IN_S574=NO olarak kaldı. S575'te taze kart/probe preflight'ı, transaction tool, compiled capture binary ve ayrı operatör yetkisiyle fiziksel tekrar tamamlandı: 4 yazım/4 byte-eş read-back/1 eject, UART pre-arm ve tek power-on capture kapatıldı. S575 raw 20610 B / 96bc5fe9…ff77602, BOOT8G/BOOT8H/S541/S538/READY marker'larını birer kez ve hata/panik/unknown=0 kaydetti; güç geçişlerinin bağımsız elektriksel gözlemi yoktur. S575 dar PASS'tir; görünür scanout, input ve genel R1/R2 kabulü değildir. S576–S707, R1→R2 planının kalan on dört iş kolunu (whole-scheduler dışlama gözlemi, denetimli kurtarma, güç yaşam döngüsü, modem/paket veri, ses/arama, güvenli güncelleme, doğrulanmış boot ve rollback, üretim anahtarı/capability, depolama bütünlüğü, ağ politikası, ekran/giriş akışı, saha tanılama ve R2 fiziksel kabul matrisi) 132 ayrı kapı, 132 ayrı module, 132 ayrı focused test ve 132 ayrı kanıt belgesi olarak kaydeder; focused sonuç 132/132 grup ve 1056/1056 PASS'tir. S575 focused testi 25/25 PASS'tir. Bu aralık S575 fiziksel tekrar PASS'ini değişmez anchor olarak tüketir; yeni fiziksel çalışma, operatör yetkisi veya execution permit üretmez. S546 kök nedeni ve S569 ayrıştırması gereği bu 132 module board-rpi5 kernel'ine linklenmez ve exceptions.rs'e tek bir production callsite bile eklemez. Runtime/fiziksel/operatör/dış kabul gözlemi 0/0/0/0, r2_field_acceptance_complete=false ve RUNBOOK_EXECUTED_IN_S576…S707=NO'dur. S708–S899 bunun üstüne üç yayımlanmış release track'ini kapılara açar: R2 güvenli saha telefonu (S708–S758, 6 faz), R2→R3 geçişi (S759–S836, 6 iş kolu) ve R3 geniş ekosistem (S837–S899, 7 faz) — toplam 192 ayrı kapı, 19 blok ve 13 basamaklı kabul merdiveni; focused sonuç 192/192 grup ve 1536/1536 PASS'tir. Bu aralık S707 zincir ucuna tutunur ve S571 ile S575 fiziksel gözlemlerini retained=2 olarak salt-okunur taşır; hiçbiri yeniden kazanılmaz. Yeni runtime/fiziksel gözlem 0/0, operatör ve dış kabul 0/0, cross-profile kapsam false, release_track_complete false ve RUNBOOK_EXECUTED_IN_S708…S899=NO'dur.
Üç yetkili fiziksel koşu RED'dir ve raw kayıtları immutable tutulur: S540 BOOT8H sonrası S538ERR, S543 BOOT8H sonrası S541ERR, S546 ise hiçbir hata marker'ı basmadan ASELSAN/BOOT8G'de duran sessiz askıdır. S571 PASS bu üç kaydı geçersiz kılmaz, silmez ve yeniden koşturmaz.
S571 BOOT_TO_UI_READY marker'ını fiziksel UART'ta doğruladı; ancak aynı raw görünür scanout ve fiziksel input gözlemini açıkça dışlar. S547–S568 model kapılarının cihaz kanıtı yoktur. Bu yüzden S571 narrow PASS olsa da R1 umbrella PARTIAL ve genel kabul false kalır; S540/S543/S546 tarihsel RED'leri değişmez.
S569 kaynak düzeltmesi, S570 freeze ve S571 tek-seferlik fiziksel UART koşusu tamamlandı; S572 bu kaydı R2 baseline'ına taşıdı. S573 repeat zincirini tanımladı; S574 yeni immutable freeze kaydını ve board-rpi5 compile logunu kapattı. S575 bağımsız fiziksel tekrarını PASS olarak arşivledi; yeni fiziksel koşu yasaktır. Görünür ekran/input kanıtı ayrı kalır.
S540/S543/S546 ayrı RED kaldı. S569 remediation ve S570 exact freeze sonrasında S571 yetkili tek-seferlik, S575 ise ayrı kimlikli supported-profile fiziksel tekrar koşusu immutable UART raw ile PASS verdi.
Görüntü, dokunmatik/girdi ve system-UI kaynak modelleri S547–S553'te kapandı; fiziksel panel kanıtı bekliyor.
Modem/SMS/veri/arama/ses kaynak modelleri S554–S560'ta kapandı; fiziksel modem donanımı yok ve satın alınmadı.
Uygulama, recovery ve update kaynak modelleri S561–S567'de kapandı; cihaz üzerinde gösterim fiziksel kanıta bağlıdır.
Kaynak kanıt matrisi ve demo sınırı S568'de yayımlandı; R1 ancak önceki fiziksel bloklar kapanınca tamamlanır.
Güvenli telefon temaları burada doğrudan “çözüldü” diye eşlenmez. Her tema için hedef mimari ile bugün yayımlanmış kanıt sınırı birlikte gösterilir; ürün uyumluluğu, donanım entegrasyonu veya sertifika sonucu çıkarılmaz.
Hedef imajda her servis açık envantere, capability sınırına ve denetlenebilir ağ politikasına bağlanır. Bunun ürün kanıtı SBOM, runtime trafik ve güncelleme kabulüyle verilecektir.
UI, medya ve cihaz broker'larını ayrıştırmak hedef mimaridir. Bugünkü repo çekirdek, capability, IPC ve scheduler sınırlarını kanıtlar; tamamlanmış telefon stack'i sunmaz.
Capability modeli SE komut yolunu daraltabilir. Fiziksel secure-element entegrasyonu, DMA sınırı ve anahtar yaşam döngüsü henüz ölçülmüş ürün kanıtı değildir.
Modem/RAN bileşenlerini ayrı servis ve policy sınırlarına taşımak hedeflenir. Gerçek modem, veri, ses ve OTA uyumluluğu R1/R2 fiziksel kapılarında açık kalır.
Hedefte model, buffer ve ağ hakları ayrı capability'lerdir. Fiziksel NPU sürücüsü ve hiçbir-cloud politikası bugün doğrulanmış değildir.
Kaynak, test, runtime ve fiziksel kanıt birbirinden ayrılır. Common Criteria, FIPS veya saha uygunluğu yalnız ayrı sertifikasyon çalışmasıyla ileri sürülebilir.
| Ürün teması | Hedef mimari karşılığı | Bugünkü kanıt sınırı |
|---|---|---|
| Tracker'sız kontrollü OS | Açık servis envanteri, least-privilege capability ve denetlenebilir ağ politikası. | Kernel kaynak kontrolü vardır; tam ürün imajı, SBOM ve runtime trafik kabulü henüz yoktur. |
| Tamamen özel UI | UI ve cihaz servisleri microkernel IPC/capability sınırları üstünde çalışır. | S571 fiziksel UART'ta BOOT_TO_UI_READY exact-once PASS verdi; S575 aynı supported-profile zincirini bağımsız fiziksel tekrar olarak 20610 B immutable raw ile yeniden doğruladı; ancak görünür scanout ve fiziksel input gözlenmedi. S547–S553 ekran/girdi kapıları kaynak modelidir. |
| Fiziksel Secure Element | Donanım izolasyonuna ek olarak SE komut/buffer hakları ayrı capability'lerle sınırlandırılır. | Capability çekirdek altyapısı vardır; gerçek SE, DMA ve anahtar yaşam döngüsü entegrasyonu yoktur. |
| 5G/6G güncellenebilirliği | Modem ve RAN stack'i broker edilmiş servis/policy sınırında güncellenir. | Modem/veri/ses/audio kabulü S550–S556'da planlıdır; gerçek modem uyumluluğu henüz kanıtlanmamıştır. |
| On-device AI | NPU, model, frame ve ağ hakları birbirinden bağımsız devredilir ve geri alınır. | NPU runtime/driver ve no-cloud enforcement fiziksel veya supported-profile gözlem almamıştır. |
| Open-RAN uyumluluğu | Vendor API'leri dar bir modem/RAN broker'ına alınır; uygulamalar doğrudan erişmez. | Somut modem, RAN stack veya vendor API entegrasyonu yayımlanmamıştır. |
| B2B / kritik altyapı | Fail-closed yetki devri, revoke, recovery, güncelleme ve fiziksel kabul matrisi. | S537 dar ve non-authoritative kanıt isteği PASS'tir; R1 hazır değildir, R2 saha kabulü ve sertifikasyon açık kalır. |
Fiziksel test R1'in sonunda değil, ilk bloğunda yapılır. S536 fail-closed sözleşmeyi, S537 non-authoritative kanıt talebini yayımladı. S538 gerçek boot/UI marker bağlantısını tamamladı; S539 candidate'ı dondurdu. S540'ta exact SD read-back/eject ve UART pre-arm sonrası tek power-on koşusu yapıldı: BOOT8H görüldü fakat AwaitingPreflight nedeniyle required marker çıkmadı ve fiziksel sonuç RED oldu. Operatör daha sonra gücü kapattığını bildirdi; bu bağımsız elektrik gözlemi değildir. S541 readiness-handoff kaynağını ekledi, S542 yeni candidate'ı dondurdu. Ayrı yetkili S543 koşusu exact candidate'ı karta yazıp ikinci immutable raw'ı üretti; BOOT8H sonrasında S541 handoff görülmeden Cpu0ReadinessTimeout oluştu. Operatör gücü kapattığını bildirdi, UART holder kalmadı. S540 ve S543 ayrı immutable RED'dir; S544 yalnız reachable CPU1 producer kaynak düzeltmesidir. S545 yeni candidate'ı host üzerinde iki izole byte-eş build ile dondurdu. Ayrı yetkili S546 koşusu exact S545 imajıyla üçüncü immutable raw'ı üretti: son satır ASELSAN/BOOT8G, BOOT8H=0, BOOT_TO_UI_READY=0 ve hiçbir hata/panik marker'ı yok — sessiz pre-BOOT8H askısı (Boot8hAbsentPrimaryFailSilent) sınıfıyla RED. Kök neden kaynakta deterministiktir: S544 hook'unun istediği S431–S535 ledger anchor'ı yalnız G8h early-return'ün altındaki CPU1 PPI27 yolunda üretilir; AcceptanceLedgerNotReady → secondary_fail(43, 544, 7) → CPU0 sessiz primary_fail. S547–S568 yalnız kaynak-model kapılarıdır ve S546 verdiktine bağlı değildir. S569 bu imkânsız live-ledger bağımlılığını frozen source-manifest anchor'ıyla kaldırdı ve primary_fail'e bounded G8HERR ekledi. S570 yeni payload'ı 945920 B / a24f4d24…80b04 olarak iki izole build ve final reproduction audit ile dondurdu. S571'de exact operatör token'ıyla dört payload karta yazılıp byte-eş geri okundu, kart eject edildi ve UART 115200/8N1 güçten önce pre-arm edildi. Tek power-on 20947 B / 8eba34fc…b4e1c83 immutable raw üretti: BOOT8G, BOOT8H, S541 handoff, S538 route ve BOOT_TO_UI_READY exact-once; G8HERR/S541ERR/S538ERR, panic ve unknown IRQ sıfırdır. Capture durable kapandı, operatör power-off bildirdi ve UART holder=0 kaldı. RUNBOOK_EXECUTED_IN_S571=YES ve dar fiziksel UART readiness verdict PASS'tir. S575 ayrı yetkili fiziksel tekrarı dört SD write/read-back, eject, UART pre-arm ve tek power-on ile tamamladı; 20610 B / 96bc5fe9…ff77602 immutable raw BOOT8G, BOOT8H, S541 handoff, S538 route ve BOOT_TO_UI_READY marker'larını exact-once, hata/panik/ unknown=0 kaydetti. Güç geçişleri operatör bildirimi olup bağımsız elektrik gözlemi yoktur. Raw içindeki SCANOUT=NOT_OBSERVED ve INPUT=NOT_OBSERVED nedeniyle görünür ekran/touch ile genel R1 kabulü tamamlanmış değildir.
board-rpi5, CPU1, UART 115200/8N1 ve [R1:S536] BOOT_TO_UI_READY marker'ı bağlandı.
Physical/runtime evidence request yayımlandı; operator authorization ve execution permit false, cihaz işlemi sıfırdır.
Exact marker, prior boot/BCM2712/ELF/UART ve retained UI surface fail-closed doğrulamalarından sonra production tail'dedir; S571 immutable UART raw'ında exact-once gözlendi. Görünür scanout ve fiziksel input gözlenmedi.
Exact image dört dosyalı 0444 pakette donduruldu. `/dev/disk6` ve UART yolu yalnız read-only gözlendi; write/read-back ve 115200/8N1 pre-arm henüz yapılmadı.
Immutable raw 20525 B / fc3f9345…5114'tür. BOOT8H=1, BOOT_TO_UI_READY=0 ve S538ERR AwaitingPreflight=1; panic ve unknown IRQ sıfır olsa da required marker yokluğu doğrudan RED'dir.
S541 Release/Acquire readiness sözleşmesini ekledi; S542 941392 B / aa0c459b…d87c candidate'ı iki byte-exact build ve 0444 paketle dondurdu. Bunlar fiziksel PASS değildir.
Immutable raw 20509 B / 1f1111a1…dc11'dir. BOOT8H=1, S541 handoff=0, BOOT_TO_UI_READY=0 ve S541ERR Cpu0ReadinessTimeout=1'dir. Focused 18/18 yalnız RED kaydını doğrular; S544 otomatik PASS değildir.
S545 freeze 945760 B / ed1901a9…8d467 PASS. S546 immutable raw 16990 B / a71a9107…3e485d'dir: son satır ASELSAN/BOOT8G, BOOT8H=0, BOOT_TO_UI_READY=0 ve hata marker'ı 0'dır. Focused 24/24 yalnız RED kaydını doğrular. S569 source remediation 18/18 ve S570 byte-exact freeze 16/16 PASS'tir. S571 focused 17/17, RUNBOOK_EXECUTED_IN_S571=YES ve 20947 B / 8eba34fc…b4e1c83 raw ile dar fiziksel UART readiness PASS'tir; visible scanout/input=false S575 focused 25/25 ve supported-profile fiziksel repeat PASS'tir; visible scanout/input=false ve R1 acceptance=false kalır.