ASELSANMicrokernel
S115 · SOURCE-BOUND GATE EVIDENCE

S115 system_profiler canonical-key preflight yazma ve lock öncesinde reddedildi

S115 ret kararı → exact system_profiler canonical-key preflight kodu Bu sayfa yalnız S115 kapısına aittir; komşu kapıların kaynakları bu kabulün içine katılmaz.

S115Komut / fiziksel sözleşmeOperations id exactsource SHA exact

operation: rpi5-g8h-s115-system-profiler-preflight-rejected

script/Makefile/config · Operations · 2 exact excerpt

sequence-bound=true · implementation-bound=false
01 · Yürütme / doğrulama kodu

Kapının gerçek repository sözleşmesi

tam shell fonksiyonuL711–L748
scripts/flash-rpi5-g8h-staged.sh::require_system_profiler_binding
require_system_profiler_binding() {
    surface=$1
    sp_require_root_array "$surface"
    printf '%s\n' "$surface" |
        "$PLUTIL" -extract 0 xml1 -expect dictionary -o - - >/dev/null 2>&1 ||
        fail "system_profiler top-level item 0 missing"
    if printf '%s\n' "$surface" |
       "$PLUTIL" -extract 1 xml1 -o - - >/dev/null 2>&1; then
        fail "system_profiler top-level cardinality is not exact1"
    fi
    sp_require_exact_one_dictionary "$surface" 0._items reader-list
    [ "$(sp_snapshot_value "$surface" 0._items.0._name string reader)" = "$EXPECTED_SP_READER_NAME" ] ||
        fail "system_profiler reader name mismatch"
    sp_require_exact_one_dictionary "$surface" 0._items.0._items card-list
    card=0._items.0._items.0
    [ "$(sp_snapshot_value "$surface" "$card._name" string card)" = "$EXPECTED_SP_CARD_NAME" ] || fail "system_profiler card name mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.bsd_name" string card)" = "${SD_DISK#/dev/}" ] || fail "system_profiler card BSD mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.partition_map_type" string card)" = master_boot_record_partition_map_type ] || fail "system_profiler card partition map mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.removable_media" string card)" = yes ] || fail "system_profiler card is not removable"
    [ "$(sp_snapshot_value "$surface" "$card.size_in_bytes" integer card)" = "$EXPECTED_DISK_BYTES" ] || fail "system_profiler card size mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.smart_status" string card)" = Verified ] || fail "system_profiler SMART mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.spcardreader_card_manufacturer-id" string card)" = 0x9f ] || fail "system_profiler manufacturer mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.spcardreader_card_manufacturing_date" string card)" = 2026-01 ] || fail "system_profiler manufacturing date mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.spcardreader_card_productname" string card)" = "$EXPECTED_SP_CARD_PRODUCT" ] || fail "system_profiler card product mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.spcardreader_card_productrevision" string card)" = 6.1 ] || fail "system_profiler card revision mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.spcardreader_card_serialnumber" string card)" = "$EXPECTED_CARD_SERIAL_HEX" ] || fail "system_profiler card serial mismatch"
    [ "$(sp_snapshot_value "$surface" "$card.spcardreader_card_specversion" string card)" = 3.0 ] || fail "system_profiler card specification mismatch"
    sp_require_exact_one_dictionary "$surface" "$card.volumes" volume-list
    volume=$card.volumes.0
    [ "$(sp_snapshot_value "$surface" "$volume._name" string volume)" = "$EXPECTED_VOLUME_NAME" ] || fail "system_profiler volume name mismatch"
    [ "$(sp_snapshot_value "$surface" "$volume.bsd_name" string volume)" = "${SD_DISK#/dev/}s1" ] || fail "system_profiler volume BSD mismatch"
    [ "$(sp_snapshot_value "$surface" "$volume.file_system" string volume)" = 'MS-DOS FAT32' ] || fail "system_profiler volume filesystem mismatch"
    [ "$(sp_snapshot_value "$surface" "$volume.iocontent" string volume)" = DOS_FAT_32 ] || fail "system_profiler volume content mismatch"
    [ "$(sp_snapshot_value "$surface" "$volume.mount_point" string volume)" = "$SD_MOUNT" ] || fail "system_profiler volume mount mismatch"
    [ "$(sp_snapshot_value "$surface" "$volume.size_in_bytes" integer volume)" = "$EXPECTED_PARTITION_MEDIA_BYTES" ] || fail "system_profiler volume media size mismatch"
    [ "$(sp_snapshot_value "$surface" "$volume.volume_uuid" string volume)" = "$EXPECTED_VOLUME_UUID" ] || fail "system_profiler volume UUID mismatch"
    [ "$(sp_snapshot_value "$surface" "$volume.writable" string volume)" = yes ] || fail "system_profiler volume is not writable"
}
snippet sha256: 2eb8544ee1f2file sha256: e6e76ea1e37c
02 · Kapı kimlik kaydı

Operations sıra, kimlik ve başlık bağı

tam Operations kaydıL27382–L27413
website/src/lib/operations.ts::rpi5-g8h-s115-system-profiler-preflight-rejected
  {
    id: "rpi5-g8h-s115-system-profiler-preflight-rejected",
    date: "2026-08-23",
    sequence: 115,
    status: "passed",
    closure: {
      status: "passed",
      sequence: 119,
      operation_id: "rpi5-g8h-s119-appledouble-aware-microsd-write-verified",
      summary:
        "Canonical system_profiler kimlik düzeltmesi S119 exact-card transaction'ında storage PASS, dört cmp, iki sync ve eject ile doğrulandı.",
    },
    title:
      "S115 system_profiler canonical-key preflight yazma ve lock öncesinde reddedildi",
    summary:
      "İlk yetkili gerçek-card denemesi, helper'ın `system_profiler SPCardReaderDataType -xml` çıktısında yanlış alan adlarını beklediğini gösterdi. Exact disk/partition/mount eşleşmesi read-only incelendi; canonical `spcardreader_*` ve `volume_uuid` anahtarları bulunamayınca işlem lock veya write öncesinde fail-closed durdu. Parser gerçek anahtarlarla düzeltildi; eski alias'lar negatif fixture olarak reddedildi.",
    evidence: [
      "Hedef `/dev/disk6`, TISD64G, `0x425001fa`, 62549655552 B ve beklenen UUID idi; doğrulama yalnız read-only kaldı.",
      "LOCK=ABSENT, WRITE=0, SYNC=0 ve EJECT=0; final S89 exact4 değişmedi.",
      "Canonical anahtarlar `spcardreader_card_manufacturer-id`, `_manufacturing_date`, `_productname`, `_productrevision`, `_serialnumber`, `_specversion` ve `volume_uuid` olarak sabitlendi.",
      "Kalıcı kanıt: `evidence/rpi5/g8h/sequence-115-system-profiler-preflight-rejected`.",
    ],
    commands: [
      "make flash-rpi5-g8h-staged SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT S101_FLASH_AUTH=<exact-authorization-token>",
      "system_profiler SPCardReaderDataType -xml",
      "make verify-rpi5-g8h-staged-flash-source",
    ],
    limitations: [
      "Yazma branch'i açılmadı; bu kayıt S100 storage kabulü değildir.",
      "Kart boot edilmedi; UART=STOP, POWER=STOP ve PHYSICAL_BOOT8H=STOP.",
    ],
  },
snippet sha256: 9095ffdd48b2file sha256: 9726dbf00f84
Kayıtlı yürütme/kanıt komutu
make flash-rpi5-g8h-staged SD_DISK=/dev/disk6 SD_MOUNT=/Volumes/ASELSANBOOT S101_FLASH_AUTH=<exact-authorization-token>
Registry schema v5 · generator website/scripts/generate-code-gates.mjs · Tam SHA-256: 3050638b71a684d8f8f947a8a6faa237a17fa8db5dc0db04fb207b668b462af9