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: 2eb8544ee1f2…file 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: 9095ffdd48b2…file 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