S107 · SOURCE-BOUND GATE EVIDENCE
Telefon ürün ana planı yazıldı; Timeline yapılanlar ve kabul kapılarıyla senkronlandı
Operations komutu/kapı ailesi → gerçek repository yürütme sözleşmesi Bu sayfa yalnız S107 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.
S107Komut / fiziksel sözleşmeOperations id exactsource SHA exact
operation: phone-product-master-plan-roadmap-synced
script/Makefile/config · Operations · 2 exact excerpt
sequence-bound=true · implementation-bound=false
01 · Yürütme sözleşmesi
Gerçek script / Makefile / config kaynağı
tam TypeScript öğesiL1–L162
website/src/components/PhoneOsPositioning.tsx::PhoneOsPositioning.tsx
const productComparison = [
{
surface: "Ürün sınıfı",
android: "Genel amaçlı akıllı telefon işletim sistemi",
ios: "Apple donanımına dikey entegre telefon işletim sistemi",
aselsan:
"Android’siz, güvenli ve denetlenebilir telefon işletim sistemi hedefi",
},
{
surface: "Çekirdek yaklaşımı",
android: "Linux çekirdeği üzerinde tam telefon yığını",
ios: "XNU hibrit çekirdeği üzerinde Apple telefon yığını",
aselsan: "Sıfırdan Rust ile yazılan capability tabanlı mikroçekirdek",
},
{
surface: "Uygulama modeli",
android: "ART, APK ve uygulama sandbox’ı",
ios: "İmzalı uygulamalar, sandbox ve entitlement modeli",
aselsan:
"Henüz ürün uygulama modeli yok; capability ile sınırlı EL0 görevleri var",
},
{
surface: "Servis iletişimi",
android: "Binder ve sistem servisleri",
ios: "Mach portları ve XPC servisleri",
aselsan: "Endpoint capability üzerinden Call / Recv / Reply IPC",
},
{
surface: "Bugünkü gerçeklik",
android: "Tam cihaz, servis ve uygulama ekosistemi",
ios: "Apple cihazlarında tamamlanmış ürün yığını",
aselsan:
"RPi 5 boot, UART ve dar CPU1 kanıtı; henüz telefon işletim sistemi değil",
},
] as const;
const phoneCapabilities = [
{
order: "01",
capability: "Kanıtlanmış çekirdek temeli",
current:
"Boot, MMU, GIC/timer, scheduler, EL0/SVC, capability ve senkron IPC temelleri; S124 BOOT8H ile dar G8h strict physical raw kanıtı.",
gap: "Bu, telefon süreç modeli veya genel çok çekirdek kabulü değildir; fiziksel kapsam G8H_STRICT_PHYSICAL_RAW_UART_2NDSTAGE_DISABLED sınırındadır.",
state: "Var",
tone: "available",
},
{
order: "02",
capability: "Süreç, bellek ve genel SMP",
current:
"Legacy BumpAllocator yanında allocation-free RuntimePmm, transactional accounting, pressure/OOM policy core, ASID allocator ve tracked lower-EL fault containment temelleri var. S125–S141 owned memory, audited effect, scheduler/IPC teardown, timer→strict EL0 ACK, capacity-8 FIFO ve task-bound session recovery zincirini kurdu. S142 gerçek lower-EL Data Abort recovery'yi, S143 reply-derived broker ACK/automatic close'u doğruladı. S144 CALL, S145 RECV, S146 notification deadline/signal/wake, S147 lifecycle ve S148 exact-once arbitration yollarını bağladı. S149 ortak allocation-free CALL/RECV/notification deadline registry'yi capacity=32, non-mutating 33. TableFull/QueueFull, IRQ başına tek-record drain, fresh epoch=33 ve stale snapshot reddiyle kapattı. S150 CNTVCT/CNTFRQ clock authority'sini gerçek PPI27 IRQ yoluna bağlayıp 32 ayrı IRQ'da 310064992 ns ≤ 320000000 ns SLA'yı 39 binary / 242/242, ABI/IPC 104/104, AArch64 4/4, W^X 31/31 ve KERNEL_FAULTS=0 ile doğruladı. S151 dört, S152 sekiz, S153 on altı, S154 otuz iki bounded workload replay çevrimini toplam 1920 retirement ile SLA içinde tekrar etti. S155 G8i per-CPU queue/exception ownership, S156 dormant runtime, S157 IRQ stack/context ownership, S158 handoff/lock discipline, S159 G8j EL1/shared-root/ASID0 migration admission ve S160 G8j round-trip modellerini, S161 G8k ASID encoding/TLB shootdown modelini 8/8 ile kapattı.",
gap: "Legacy BumpAllocator deallocate_frame gövdesi boş kalır. Production RuntimePmm dönüşü strict ELF LOAD/stack diliminde kanıtlıdır; IPC demo ve diğer legacy BumpAllocator üreticileri, bütün kernel kaynak sınıfları ve cap/endpoint/ASID global reconciliation açık. S150–S154 CPU0 counter-kalibre registry SLA ve bounded continuity yollarını, S155–S161 G8i/G8j/G8k per-CPU ownership/runtime/IRQ-stack/handoff/migration/round-trip/ASID-TLB sözleşmelerini bağladı; production workload sizing, uzun saturation soak, fiziksel RPi latency ve production Generic SMP cross-CPU scheduler/timer/signal/revoke/wake/reaper arbitration açık. Cross-subsystem rollback, diğer fault sınıfları ve eşzamanlı victim matrisi, signed product thresholds ve generic SMP-grade reaper açık. Tam teardown ve spawn–fault–exit soak yok. GENERIC_SMP=OFF; production migration, ASID/TLB shootdown, EL0/nonzero-ASID migration, CPU2/3, demand paging, CoW ve ASLR tamamlanmadı.",
state: "Kısmi",
tone: "partial",
},
{
order: "03",
capability: "IPC, servis keşfi ve boot politikası",
current:
"CNode mint/derive/revoke, ortak no_std ABI v1.3, capacity=8 bounded Call/Recv/Reply FIFO, QueueFull, one-shot reply, S144 CALL timeout, S145 RECV timeout, S146 notification signal/timed-wait, S147 exact lifecycle, S148 CPU0/global exact-once arbitration, S149 capacity-32 saturation/recovery, S150 counter-kalibre QEMU full-table SLA, S151 dört, S152 sekiz, S153 on altı ve S154 otuz iki bounded workload replay production yolları; S155 G8i per-CPU ownership, S156 dormant runtime, S157 IRQ stack/context, S158 handoff/lock discipline, S159 G8j migration admission, S160 G8j round-trip ve S161 G8k ASID/TLB shootdown host/model sözleşmeleri var.",
gap: "Production workload/uzun soak, fiziksel RPi latency ve Generic SMP cross-CPU timer/signal/revoke/timeout matrisi açık; capability transferi, paylaşılan bellek loan'u ve boot'ta hangi servisin hangi hakkı alacağını belirleyen init politikası yok.",
state: "Kısmi",
tone: "partial",
},
{
order: "04",
capability: "Güven kökü ve güncelleme",
current:
"Hash'li, immutable ve tekrarlanabilir laboratuvar artifact akışı var.",
gap: "Cihaz fuse zinciri, imzalı kernel/DTB, verified boot, anti-rollback, A/B slot, saha recovery ve imzalı OTA yok.",
state: "Tasarım",
tone: "design",
},
{
order: "05",
capability: "Depolama, dosya sistemi ve init",
current:
"Boot payload paketleme ve microSD kanıt protokolü var; karttaki FAT32 yalnız boot medyasıdır.",
gap: "Cihaz içi blok katmanı, kalıcı kullanıcı dosya sistemi, dizin/izin modeli, journaling, veri şifreleme ve kullanıcı alanı init servisi yok.",
state: "Yok",
tone: "missing",
},
{
order: "06",
capability: "Ekran, dokunma ve UI",
current:
"Framebuffer capability, grant, delegation ve revoke modeli var; grant reclaim edilebilir ham page-table root saklamaz, revoke canlı task'i yeniden çözer.",
gap: "RP1/DSI gerçek scanout, compositor, fiziksel vsync, GPU, dokunmatik, klavye, kilit ekranı ve sistem UI süreci yok.",
state: "Kısmi",
tone: "partial",
},
{
order: "07",
capability: "Güç, şarj ve termal",
current: "PSCI ile CPU1 açma ve dar güç kapılı bring-up kanıtı var.",
gap: "Batarya ölçümü, düzenli kapanış, idle, suspend/resume, DVFS, şarj yönetimi ve termal kontrol yok.",
state: "Yok",
tone: "missing",
},
{
order: "08",
capability: "Modem, SIM ve arama",
current:
"Sixfab S121 + EG25-G laboratuvar yolu ve modemi kernel dışında capability ile sınırlı servis yapma kararı var.",
gap: "UART/USB sahipliği, AT yanıt/timeout/URC motoru, SIM/eSIM, ağ kaydı, SMS, çağrı durumu, IMS ve acil arama yok.",
state: "Tasarım",
tone: "design",
},
{
order: "09",
capability: "Ses yolu",
current:
"Telefon ses yolunun kullanıcı alanında ayrıştırılması hedefleniyor.",
gap: "Modem PCM, codec, mikrofon, hoparlör, çağrı yönlendirme ve ses politikası yok.",
state: "Yok",
tone: "missing",
},
{
order: "10",
capability: "IP ağı, Wi-Fi ve Bluetooth",
current:
"Ağ bileşenlerini capability ile izole kullanıcı alanı servisleri yapma hedefi var.",
gap: "TCP/IP, DNS, TLS, firewall/VPN, hücresel veri, çalışan Wi-Fi/BT sürücüsü, firmware yönetimi ve bağlantı servisi yok.",
state: "Yok",
tone: "missing",
},
{
order: "11",
capability: "Kamera, sensör, konum ve NPU",
current:
"Kamera ve NPU'yu ayrı kullanıcı alanı servisleri yapma; GNSS için EG25'i değerlendirme hedefi var.",
gap: "Kamera sensörü/ISP, codec, medya grafiği, IMU/yaklaşım/ışık, GNSS servisi, GPU/NPU sürücüsü ve izinli buffer akışı yok.",
state: "Tasarım",
tone: "design",
},
{
order: "12",
capability: "Telefon güvenlik ürünü",
current:
"CNode yetki modeli ve framebuffer grant/revoke, cihaz nesnesi izolasyonunun prototipini veriyor.",
gap: "TEE, Secure Element sürücüsü, keystore, tam disk/veri şifreleme, kilit ekranı, kod imzası ve UART/DMA/modem üzerinde gerçek revoke bağı yok.",
state: "Tasarım",
tone: "design",
},
{
order: "13",
capability: "Uygulama runtime ve SDK",
current: "Hello ve IPC demo gibi dar EL0 programları bulunuyor.",
gap: "Kararlı uygulama ABI'si, libc, dinamik yükleme, imzalı paket biçimi, runtime, SDK, bildirim ve uygulama yaşam döngüsü yok.",
state: "Yok",
tone: "missing",
},
{
order: "14",
capability: "Sertifikasyon ve saha yaşam döngüsü",
current:
"Tekrarlanabilir artifact ve fail-closed kanıt yaklaşımı geliştiriliyor.",
gap: "RF/SAR/EMC, modem protokol ve operatör kabulü, 112 yolu, cihaz kimliği politikası ve ürün bakım süreci yok.",
state: "Yok",
tone: "missing",
},
] as const;snippet sha256: 57e67713d1da…file sha256: e3a3b83d2990…
02 · Kapı kimlik kaydı
Operations sıra, kimlik ve başlık bağı
tam Operations kaydıL27664–L27702
website/src/lib/operations.ts::phone-product-master-plan-roadmap-synced
{
id: "phone-product-master-plan-roadmap-synced",
date: "2026-08-22",
sequence: 107,
status: "verified",
title:
"Telefon ürün ana planı yazıldı; Timeline yapılanlar ve kabul kapılarıyla senkronlandı",
summary:
"readmee, readmee1 ve readmee2 boşluk analizleri yalnız öneri olarak kopyalanmadı; mevcut kernel kodu, QEMU/EL0/capability/IPC temeli ve güncel G8 fiziksel evidence sınırıyla karşılaştırılarak readmee4 ana programına dönüştürüldü. Android/iPhone OS karşılaştırmasının çıkardığı eksikler Timeline üzerinde açık Yapılanlar/Yapılacaklar envanterine, K/D/U/T/N/S mühendislik kapılarına ve R1/R2/R3 ürün birleşimlerine bağlandı. Bu S107 kaydı yalnız plan/dokümantasyon/statik-site işlemidir: S106 teknik STATIC STOP'u kaldırmaz, hiçbir helper veya aygıt komutu çalıştırmaz ve destructive microSD kapısını S108 NEXT/STOP'a kaydırır.",
evidence: [
"Kök readmee4: exact 1.653 satır / 78.615 B / SHA-256 2432901c918ecb4a7b20907a98e6f19aa074e6ca06210974fcc08f33bf2733be.",
"Ana plan üç ürün sınırı tanımlar: R1 telefon demonstratörü, R2 güvenli saha telefonu ve R3 geniş ekosistem; hiçbirini bugünkü prototip statüsüyle eşitlemez.",
"Timeline'a dört kanıtlı/kısmi baseline kartı, 17 kimlikli mühendislik kabul kapısı (K0–K3, D1–D3, U1–U3, T1–T3, N1, S1–S3) ve üç ürün birleşim kapısı R1/R2/R3 eklendi.",
"Canonical /timeline ve /yol-haritasi aynı Roadmap bileşenini kullanır; yapılanlar, yapılacaklar, kabul ölçütleri ve ürün çizgileri tek kaynaktan render edilir.",
"Web doğrulaması: node:test 202/202 PASS, ESLint exit 0 ve `tsc --noEmit` exit 0.",
"Next.js 16.3.1 production build başarıyla derlendi ve 23/23 statik sayfa üretildi; yalnız upstream Node DEP0205 `module.register()` deprecation uyarısı görüldü.",
"İşlem öncesi canlı baseline salt-okunur indirildi: /timeline 231.344 B / c201840b40878bbed932c9a705eae082f32e74834539b9feddf82880880110bc; /operations 3.693.376 B / 6ae1b5d7646dfae4f3db3380997db94a0cf08b5a24b31600d3edca42aec73400.",
"Sequence sözleşmesi açık tutuldu: S106 teknik STATIC STOP, S107 ürün-planı kaydı, S108 destructive microSD NEXT/STOP; son fiziksel PASS değişmeden S92 BOOT8G ve CPU1_PER_CPU_TIMER_ONLY'dir.",
],
terminalSessionsNote:
"Bu kayıt kaynak/doküman karşılaştırması ve statik web doğrulamasıdır. Komutlar repository ve canlı HTTP yüzeylerini salt-okunur inceler; fiziksel aygıt işlemi içermez.",
commands: [
"wc -l -w -c readmee4 website/src/components/PhoneOsPositioning.tsx website/src/components/Roadmap.tsx",
"shasum -a 256 readmee4",
"rg -n 'S107|S108|Yapılanlar|Yapılacaklar' website/src",
"npm test",
"npm run lint",
"npx tsc --noEmit",
"npm run build",
"curl -fsSL https://aselsan.kerege.net/timeline/",
"curl -fsSL https://aselsan.kerege.net/operations/",
],
limitations: [
"S107 yalnız ana plan, Timeline ve Operations kaydıdır; kernel, firmware, immutable G8h package veya kart içeriğini değiştirmez.",
"S106 STATIC STOP açıktır. S108 için yeni source-only GO, fresh read-only prewrite ve ayrıca açık destructive authorization zorunludur.",
"CARD_WRITE=0, HELPER=NOT_RUN, SYNC=0, EJECT=0, UART=STOP, POWER=STOP ve PHYSICAL_BOOT8H=STOP.",
"Bugünkü aselsanOS bir telefon ürünü değildir; R1/R2/R3 kartları yapılacak kabul birleşimleridir, tamamlanmış özellik iddiası değildir.",
],
},snippet sha256: 8a574a63326c…file sha256: 9726dbf00f84…
Kayıtlı yürütme/kanıt komutu
wc -l -w -c readmee4 website/src/components/PhoneOsPositioning.tsx website/src/components/Roadmap.tsxRegistry schema v5 · generator
website/scripts/generate-code-gates.mjs · Tam SHA-256: 91d38c7b6222f0b4c117be786454853543da55a160e543d9b951057cc20dcc06