G8g microSD yazımı doğrulandı; S91 gerçek UART pre-arm sırada

flash-rpi5-g8g-staged:
	@test "$(origin SD_DISK)" = "command line" || \
		(echo "HATA: SD_DISK explicit command-line değeri zorunlu"; exit 1)
	@test "$(origin SD_MOUNT)" = "command line" || \
		(echo "HATA: SD_MOUNT explicit command-line değeri zorunlu"; exit 1)
	@$(MAKE) verify-rpi5-g8g-staged-flash-source
	@$(MAKE) verify-sd-volume-rpi5 SD_DISK="$(SD_DISK)" SD_MOUNT="$(SD_MOUNT)"
	@sh scripts/flash-rpi5-g8g-staged.sh "$(RPI5_G8G_STAGED_PACKAGE)" "$(SD_DISK)" "$(SD_MOUNT)"

# S110 S90 direct-test compatibility boundary begin.
# Yıkıcı olmayan tarihsel G8g hedef sınırı; make davranışı taşımaz.
# S110 S90 direct-test compatibility boundary end.

# Sıra 101 destructive yüzeyi bilinçli olarak izoledir: prerequisite taşımaz,
# default/broad verify/image zincirine bağlı değildir ve üç yetki girdisini
# yalnız command line origin'den kabul eder. Source target device-free'dir.

  {
    id: "rpi5-g8g-verified-microsd-write",
    date: "2026-08-22",
    sequence: 90,
    status: "verified",
    title: "G8g microSD yazımı doğrulandı; S91 gerçek UART pre-arm sırada",
    summary:
      "Kullanıcı Raspberry Pi'nin kapalı olduğunu ve 60 saniye beklendiğini teyit ettikten sonra Sıra 89 frozen package değişmeden tek yetkili kaynak olarak kullanıldı. Salt-okunur preflight `/dev/disk6` aygıtını TISD64G / serial 0x425001fa / 62.549.655.552 B removable, ejectable, Physical WholeDisk ve `OSInternalMedia=false` olarak; FAT32 `ASELSANBOOT` bölümünü `/dev/disk6s1` ve `/Volumes/ASELSANBOOT` üzerinde doğruladı. Built-in reader `Internal=true` bildirir; bu yalnız okuyucu niteliğidir ve medya için `Internal=false` iddiası yapılmaz. S90 fiziksel microSD kapısı exact formatsız target ile exit 0 verdi; package exact 4, source mode 0444 4/4, manifest 3/3, write/read-back cmp 4/4 ve hash 4/4 PASS oldu. Helper'ın tek sync'inden sonra ikinci `/bin/sync` çalıştırıldı; `diskutil eject /dev/disk6` exit 0 ve post-eject disk/mount yokluğu doğrulanarak güvenli eject tamamlandı. Bağımsız post-write audit final GO verdi ve Sıra 90 tamamlandı. S91 capture helper source/PTY/adversarial kapıları 5/27/5 ve split 14/14; S91 freeze full simulation 244/244 PASS'tir. S92 strict physical-raw validator source-only final GO ve serialized full simulation 256/256'dır. Gerçek UART açılmadı/arm edilmedi, Pi'ye güç verilmedi ve canonical physical raw/capture üretilmedi. Aktif fiziksel kapı S91'dir; son fiziksel boot kabulü Sıra 80 BOOT8F olarak kalır.",
    evidence: [
      "Değişmeyen fiziksel prerequisite Sıra 80 BOOT8F raw'ıdır: 17.363 B, mode 0444, e70e1a9a2cf35f9079ee1b1a73d992106bf5ee9a19f1bbf2628582e836ea5068, direct validator PASS ve SCOPE=QUIESCENT_ATOMIC_HANDOFF_ONLY.",
      "Sıra 89 frozen source exact `evidence/rpi5/g8g/sequence-89-package-staged/package/` dizinidir: dört visible regular file, mode 0444 4/4 ve manifest 3/3 PASS.",
      "Frozen image exact 292.256 B / 985fbe1088566beb1f8a655dba7b06759f088256077446a1d542251f3683c747; SHA256SUMS exact 248 B / fb112a41f2f55a2355e9a91d58fd2c2e74ad969a6fbf11b0a8ad6956fed3cb7a.",
      "Frozen package content/mode manifestleri exact c84ceee02b828f239a9f909b29a23b322e5b3088bf720e969fb42a8cb8bd7e51 / 0861bc4ea513a6ccba11d317aed416a6d2d20b1e796bc24f32977b844633c4e1.",
      "S90 staged-write helper exact 9.570 B / 19428766891fa421073e176a8e22398c5b0ad218fac25b25f2519ea82e2cad5c; source testi exact 7.994 B / 7af7ee46231673e658021559610a9558759f7024ff162177857e68119ed958f3.",
      "S90 historical freeze Makefile exact 22.341 B / c1048c2ec8579df0954c8fd23fefd2cab32e0309728be5b94ad412d9b65990c1; sonraki S91 ekleri bu tarihsel hash'i additive olarak değiştirdi.",
      "S90 targeted source testleri 5/5, tarihsel full simulation 234/234, sh -n/fmt/whitespace ve `make verify-rpi5-g8g-staged-flash-source` PASS verdi; S91 freeze regresyonu yine 5/5 + source verifier ve full simulation 244/244 PASS'tir.",
      "Kullanıcı Pi'nin kapalı olduğunu, 60 saniye beklendiğini ve kartın Mac'e takıldığını exact fiziksel koordinasyon sınırında teyit etti; bu teyitten önce hiçbir aygıt yazma dalı çalışmadı.",
      "Salt-okunur kimlik `/dev/disk6`: TISD64G, serial 0x425001fa, 62.549.655.552 B, Secure Digital, Physical WholeDisk, `OSInternalMedia=false`, removable ve ejectable. Built-in reader `Internal=true` yalnız okuyucu niteliğidir; medya için `Internal=false` denmez.",
      "Tek mounted hedef `/dev/disk6s1`, FAT32/msdos `ASELSANBOOT`, volume UUID `44ABB50F-DB63-3DB8-A6B2-C5303E3211E9` ve exact mount `/Volumes/ASELSANBOOT` olarak bağlandı.",
      "Exact formatsız `make flash-rpi5-g8g-staged SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT` exit 0 verdi; source 5/5, package exact 4, source mode 0444 4/4 ve manifest 3/3 PASS'tir.",
      "Fiziksel write/read-back cmp 4/4 ve hash 4/4 PASS: image 292.256 B / 985fbe1088566beb1f8a655dba7b06759f088256077446a1d542251f3683c747; DTB 78.703 B / 40a2fbe9c29e8b9a4912cf726a943068defb779fc052ec38e457a79c58abca00.",
      "Config exact 501 B / 1248275cdc6f6ce951ce0ff2183471d194c5b9bb58c3dc3f66efa9156f91d76b; SHA256SUMS exact 248 B / fb112a41f2f55a2355e9a91d58fd2c2e74ad969a6fbf11b0a8ad6956fed3cb7a.",
      "Helper içindeki sync exact bir kez tamamlandı; parent ikinci `/bin/sync` çağrısını yaptı. `diskutil eject /dev/disk6` exit 0 verdi; post-eject `/dev/disk6` ve `/Volumes/ASELSANBOOT` ikisi de yoktu.",
      "Bağımsız post-write audit device identity, exact source, hedef hash/cmp ve eject sonrası yokluk sınırlarını yeniden okuyup FINAL GO verdi.",
      "S90 verified physical proof exact 129 satır / 4.108 B / f67e2921a3872b3ef37d8778ad6338f3a2a22f24a5e6b82cd92a2eef1b931a41.",
      "Negative S90 audit extra file, yanlış mode/hash, symlink ve alternate/wrong frozen source path sapmalarını exit 1 ile; eksik/tek/env Make argümanlarını exit 2 ile pre-device reddetti.",
      "Invalid disk/mount/missing-mount kontrolleri pre-device RED oldu. Fiziksel yürütmede format veya image rebuild yapılmadı; UART açma/arm, Pi power-on ve raw capture yüzeylerine geçilmedi.",
      "S91 capture helper exact 17.775 B / 0edad27372e6d89a940320dd232174cd1cf97ce1a9040904344f6932c6dd3599.",
      "S91 capture source testi exact 7.121 B / 4b64a5acb97e57c0245bb9867f60ffb50482c474c0f38b123701af15c2190384; PTY testi exact 18.449 B / 587275fb587cbac6773d954c4840705a9aa037327287847f87e2d8011b0d9de0.",
      "S91 freeze Makefile exact 23.289 B / 9dee1b2a6be7566906fa2b567bcce5077541cd8f94f8588beb6b894b13f4e6c2; simulation Cargo.toml 282 B / c3a332e97a0e2087c7adc64abae66e083910b937d93466c37751b74f560e3432 ve Cargo.lock 15.055 B / 8f0276b59c19ead604deb1701c835ecd77144d0cf9f9d782797db594efe2fabd.",
      "`make verify-rpi5-g8g-capture-source` source 5/5 + contract 27/27 + PTY 5/5 ve PTY-produced raw üzerinde direct strict CLI PASS verdi; full simulation 244/244 ve fmt/diff PASS'tir.",
      "Bağımsız dynamic audit marker boundary split 14/14, overlap/non-line rejection, signal-during-grace exit 4 + raw 0444, delivered-HUP exit 3 + raw 0444, strict raw PASS ve altı leading-NUL rejection kapılarını GREEN doğruladı.",
      "Darwin PTY capability sonucu dürüstçe `pty_tiocexcl_enforcement=UNAVAILABLE second_open=ALLOWED`'dır: helper'ın erken TIOCEXCL isteği testlidir, PTY üzerinde exclusivity enforcement iddia edilmez.",
      "Real S91 pre-arm hâlâ actual cu/tty IOSerial pair, holder-free lsof ve aynı açık descriptor doğrulamasını ister; bu kayıtta UART descriptor'ı açılmadı.",
      "S92 aggregate validator modülü exact 22.212 B / 29bf1f884e053e5eabd6f69be8ad886ba2bef43e62199f8bfc0bddad89373f06; CLI example exact 3.542 B / 735c648f8dd9e0106dae31a2bd3a41ccb6b0185951f286ff0834e153f24b4dc1.",
      "S92 semantic+operational testi exact 28.034 B / b4827f80b6c3cd5bb629776b147981ee4ad818a0784c1d54ea9e19422c0ba941 ve 7/7 PASS; source testi exact 7.979 B / c2c2942d715ad72e6f0c40049e4e39d37b58891754128514522983ac1dbb5ea1 ve 5/5 PASS'tir.",
      "S92 read-only shell gate exact 4.227 B, mode 0755 / 6cf921fdc55cda888e8ee83258cab4dae6502486e9ef0f35e47dda14907921b6; simulation lib exact 1.487 B / a2e339eb387726e601a45ee079695d82f5940b82851b81a7fd87751b71edeffa.",
      "S92 freeze simulation Cargo.toml exact 276 B / c9829bdad6ec09dd7679a7d136d4f58156418e5f509a74d3f36914eb2f892c25; Cargo.lock 16.895 B / 965e9b01d187648c35a8bd110b30e0b980154f60e070f760da48158c712347ec; Makefile 23.786 B / e922a3d49d513674a8b836e5101be7f7214a9d26b423ecca8ccb1032fe89feb7.",
      "Canonical exact-LF seven-fixture transcript 9.658 B / f8f9c41a4691a84dbe79b5f55c08b1324bdd24f8c871cc05229061fc4f9c2f6b; two-leading-NUL operational positive 9.660 B / a535d0b643255b19abda750d7c6b9a84f9ffa78cb5e641450597f54e8103b90c ve `physical=NO`'dur.",
      "Strict aggregate sözleşme 11/54/51 validator/milestone/distinct-tag exact toplamlarını, G7S1 exact 4 ve diğer markerları exact 1 zorunlu kılar; bütün historical parserlar yalnız kendi terminal prefix'ini alır, G8g full raw'ı alır.",
      "Operational okuma same-FD `O_NOFOLLOW|O_CLOEXEC|O_NONBLOCK`, fstat-before/after, exact+1 EOF ve 64 MiB upper bound ile dev/inode/mode0444/nlink1/bytes/SHA kimliğini validator öncesi ve sonrasında kilitler; locked/offline runner raw'a yazmaz.",
      "Independent read-only audit raw matrix 25/25 (1 accept + 24 expected reject) ve direct pinned CLI identity 8/8 PASS verdi; serialized full simulation 256/256, S90 regression 5/5 ve S91 source/contract/PTY 5/27/5 + strict CLI PASS'tir.",
      "S80 immutable 17.363 B / e70e1a9a…5068 raw compatibility kontrolünde Unicode/framing false reject üretmedi; yalnız henüz fiziksel olmayan dört G8g markerı eksik olduğu için beklendiği gibi STOP kaldı.",
      "Independent read-only audit FINAL GO yalnız source-only physical-raw validator preparation kapsamındadır; canonical physical BOOT8G raw/capture yoktur.",
    ],
    terminalSessionsNote:
      "Bu oturumlar S90 exact formatsız fiziksel microSD write/read-back/eject kanıtını ve S91/S92 source-only hazırlığını birlikte özetler. S90 boot kanıtı değildir; gerçek UART, Pi power-on ve physical BOOT8G hâlâ yapılmadı.",
    terminalSessions: [
      {
        id: "g8g-sequence90-verified-physical-microsd-write",
        title: "Frozen S89 package'ten formatsız fiziksel write/read-back",
        commandLines: [
          "readonly identify /dev/disk6 and /dev/disk6s1 before any write",
          "make flash-rpi5-g8g-staged SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT",
          "/bin/sync",
          "diskutil eject /dev/disk6",
        ],
        outputLines: [
          "identity=TISD64G serial0x425001fa · 62549655552 B · removable/ejectable",
          "volume=disk6s1 FAT32 ASELSANBOOT · UUID=44ABB50F-DB63-3DB8-A6B2-C5303E3211E9",
          "source=5/5 · package exact4/mode0444 4/4/manifest3/3",
          "write/read-back cmp4/4 hash4/4 · exact target exit=0",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8g-sequence91-capture-source-and-pty",
        title:
          "Same-descriptor capture helper source/PTY/adversarial hazırlığı",
        commandLines: [
          "make verify-rpi5-g8g-capture-source",
          "cargo test -p aselsan_microkernel_simulation",
          "run independent PTY split/signal/HUP/NUL/framing matrix with no real device",
        ],
        outputLines: [
          "source/contract/PTY=5/27/5 PASS · PTY raw CLI=PASS",
          "full simulation=244/244 PASS",
          "marker boundary splits=14/14 · signal/HUP durable raw0444=PASS",
          "PTY TIOCEXCL enforcement=UNAVAILABLE second_open=ALLOWED",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8g-sequence92-physical-raw-validator-source-only",
        title: "Tam G7a–G8g raw zinciri ve pinned same-FD identity hazırlığı",
        commandLines: [
          "make verify-rpi5-g8g-physical-raw-source",
          "run independent 25-case semantic raw and 8-case pinned identity matrices",
          "run serialized full simulation and S90/S91 compatibility regressions",
        ],
        outputLines: [
          "semantic+identity/source=7/5 PASS · validators/milestones/tags=11/54/51",
          "independent raw/identity=25/25 + 8/8 PASS",
          "canonical LF=9658 B · two-NUL positive=9660 B · physical=NO",
          "serialized full simulation=256/256 PASS · final verdict=SOURCE_ONLY_GO",
        ],
        exitCode: 0,
        outputMode: "complete",
      },
      {
        id: "g8g-sequence90-post-write-audit-and-eject",
        title: "İkinci sync, bağımsız audit ve güvenli eject sınırı",
        commandLines: [
          "run independent post-write identity/hash/cmp audit",
          "verify /dev/disk6 and /Volumes/ASELSANBOOT are absent after eject",
          "confirm UART/power/capture paths remain untouched",
        ],
        outputLines: [
          "helper sync=1 · parent /bin/sync=1 · diskutil eject exit=0",
          "post-eject disk6=ABSENT · mount=ABSENT · independent audit=FINAL_GO",
          "real UART open/arm=NOT_RUN · capture_armed=NO",
          "Pi power-on=NOT_PERFORMED · physical raw=ABSENT",
        ],
        exitCode: 0,
        outputMode: "selected",
      },
    ],
    limitations: [
      "S90 yalnız fiziksel SD kapısıdır: verified write/read-back/eject, fiziksel BOOT8G veya kernel runtime PASS değildir.",
      "Built-in SD reader `Internal=true` bildirir; removable/ejectable medya `OSInternalMedia=false` olarak doğrulandı. Okuyucu ve medya nitelikleri birbirine çevrilmez.",
      "Gerçek UART açılmadı veya arm edilmedi; Debug Probe descriptor'ı tutulmadı ve `capture_armed=YES` üretilmedi. Kart eject edildikten sonra Pi'ye takılmadı ve güç verilmedi.",
      "Darwin PTY TIOCEXCL sonucu `UNAVAILABLE second_open=ALLOWED` olduğundan exclusivity yalnız gerçek UART'ta pre-arm lsof + same-descriptor kontrolüyle kabul edilebilir.",
      "S91 gerçek same-descriptor pre-arm ayrı kapıdır; actual cu/tty IOSerial pair, holder-free lsof ve aynı descriptor readback doğrulanmadan güç istenmez.",
      "S92 canonical fixture/positive yalnız sentetik ve read-only'dir; canonical physical raw/capture üretilmedi, gerçek BOOT8G strict validator çalıştırılmadı ve firmware promotion yapılmadı.",
      "ELF/raw marker görünürlüğü veya PTY capture, fiziksel BOOT8G UART emission kanıtı değildir. Son fiziksel PASS Sıra 80 BOOT8F'tir.",
      "Generic SMP, scheduler/runqueue ownership, migration, TLBI, CPU2/CPU3, soak ve hotplug kapalıdır.",
      "Production deployment dirty/untracked workspace ve stale 47d22c9 source etiketiyle yapılır; canlı artifact doğrulansa da Git-provider provenance kurulmuş sayılmaz.",
    ],
  },