@@ -27,8 +27,16 @@ jobs:
         run: ./scripts/verify_locked_sources.sh
 
   tahoe-x86-64:
-    name: Tahoe x86_64 kext and universal userspace
+    name: Tahoe x86_64 (${{ matrix.profile }})
     runs-on: macos-26-intel
+    strategy:
+      fail-fast: false
+      matrix:
+        include:
+          - profile: placeholder
+            hardware_config: ''
+          - profile: gigabyte-2487-40e2
+            hardware_config: config/hardware.gigabyte-2487-40e2.json
     steps:
       - name: Check out source
         uses: actions/checkout@3d3c42e5aac5ba805825da76410c181273ba90b1
@@ -39,4 +47,6 @@ jobs:
           test -d "$(xcrun --sdk macosx --show-sdk-path)/System/Library/Frameworks/Kernel.framework/Headers"
           test "$(basename "$(xcrun --sdk macosx --show-sdk-path)")" = "MacOSX26.5.sdk"
       - name: Build, test, and inspect
+        env:
+          HARDWARE_CONFIG: ${{ matrix.hardware_config }}
         run: make check
@@ -5,6 +5,8 @@ evidence/private/
 
 # Build products
 build/
+work/
+outputs/
 DerivedData/
 *.dSYM/
 
 
@@ -25,6 +25,7 @@ policy:
 	$(PYTHON) tools/check_spdx.py
 	$(PYTHON) -m json.tool DEPENDENCIES.lock.json >/dev/null
 	$(PYTHON) -m json.tool config/hardware.example.json >/dev/null
+	$(PYTHON) -m json.tool config/hardware.gigabyte-2487-40e2.json >/dev/null
 
 macos-build:
 	@if [ "$$(uname -s)" != Darwin ]; then echo "macos-build requires macOS" >&2; exit 1; fi
 
@@ -12,10 +12,10 @@ RTXDarwin is an independent, open research project attempting to bring one
 specific Gigabyte GeForce RTX 3060 12 GB to one frozen Hackintosh target:
 
 - Ryzen 7 5700X;
-- the exact ASUS motherboard and BIOS still to be measured;
+- ASUS TUF GAMING B450M-PRO II, BIOS 4002 (reported by the Linux baseline);
 - macOS Tahoe **26.6.2 build 25G83**;
 - SMBIOS **MacPro7,1**;
-- one exact NVIDIA PCI device/subsystem identity, still to be measured.
+- NVIDIA `10de:2487`, Gigabyte subsystem `1458:40e2`, VGA function 0.
 
 The long-term order of proof is PCI probe → GSP/VRAM/channels → native GPU
 compute → NVK Vulkan Compute → one 60 Hz framebuffer → Metal compute.
@@ -29,7 +29,7 @@ under macOS yet.
 | Capability | Status | Evidence required to advance |
 |---|---|---|
 | Reproducible x86_64 kext build | Implemented and locally verified on Xcode 26.6 | CI must stay green |
-| Exact PCI/subsystem/build/SMBIOS gates | Implemented | Linux baseline supplies the real subsystem ID |
+| Exact PCI/subsystem/build/SMBIOS gates | Implemented; measured identity configured | Physical match/refusal tests still required |
 | Read-only PCI identity and BAR-length probe | Implemented in source | 20 physical Tahoe boots, IDs matched to Linux, no panic |
 | Root-only ABI v1 and `rtxctl probe/faults` | Implemented | Hardware output archive |
 | GSP, interrupts, VRAM | Not implemented | `v0.0.2-gsp` gate |
@@ -80,12 +80,29 @@ build/bin/librtxdarwin.a         universal userspace client library
 Do not install the placeholder kext. To build for the measured test card:
 
 ```sh
-HARDWARE_CONFIG=.local/evidence/linux-baseline.json ./scripts/build_macos.sh
+HARDWARE_CONFIG=.local/evidence/linux-baseline.json make check
 ```
 
 The generator rejects a non-NVIDIA device, a non-Gigabyte subsystem, an
 unknown OpenRM 570.144 RTX 3060 ID, function other than zero, placeholders,
 another macOS build, or another SMBIOS.
+It also rejects contradictory PCI identity fields in a full baseline.
+Do not run a subsequent bare `make check` and install its result: that rebuilds
+the intentionally unmatchable placeholder. Pass `HARDWARE_CONFIG` every time.
+
+The public identity-only profile `config/hardware.gigabyte-2487-40e2.json` is
+also built in CI, so the configured driver cannot be optimized out of every
+software check. Neither CI profile is hardware evidence or a release.
+
+From a clean committed checkout, prepare a local ZIP with a fresh configured
+`make check`, module inspection, source/input hashes, and the Russian runbook:
+
+```sh
+python3 tools/package_probe.py --config .local/evidence/linux-baseline.json
+```
+
+Output goes under ignored `outputs/`. The packager never installs/loads code,
+modifies EFI, signs a kext, or includes the original hardware report/firmware.
 
 ## First hardware handoff
 
 
@@ -46,12 +46,23 @@ make check
 placeholder ID и ни к одной карте не подключится. После получения отчёта:
 
 ```sh
-HARDWARE_CONFIG=.local/evidence/linux-baseline.json \
-  ./scripts/build_macos.sh
+HARDWARE_CONFIG=.local/evidence/linux-baseline.json make check
 ```
 
 Генератор разрешит только NVIDIA + известный RTX 3060 ID + Gigabyte subsystem
 vendor + точный subsystem device + function 0 + build 25G83 + MacPro7,1.
+Также проверяется, что повторяющиеся PCI ID внутри отчёта не противоречат друг
+другу. Для полученной карты зафиксирован профиль `10de:2487 / 1458:40e2`.
+
+Важно: последующий `make check` без `HARDWARE_CONFIG` снова соберёт placeholder.
+Для ZIP из чистого закоммиченного checkout с повторным прогоном проверок:
+
+```sh
+python3 tools/package_probe.py --config .local/evidence/linux-baseline.json
+```
+
+Архив появится в `outputs/`, не содержит исходного Linux-отчёта, firmware или
+EFI и ничего сам не устанавливает. Kext не подписан и аппаратно не проверен.
 
 ## Что умеет probe-kext
 
 
@@ -0,0 +1,15 @@
+{
+  "schema_version": 1,
+  "gpu": {
+    "vendor_id": "0x10de",
+    "device_id": "0x2487",
+    "subsystem_vendor_id": "0x1458",
+    "subsystem_device_id": "0x40e2",
+    "function": 0
+  },
+  "target": {
+    "macos_version": "26.6.2",
+    "macos_build": "25G83",
+    "smbios": "MacPro7,1"
+  }
+}
@@ -74,8 +74,27 @@ The probe release performs these device accesses:
 1. read configuration dword 0x00 for vendor/device;
 2. read configuration dword 0x08 for revision/class;
 3. read configuration dword 0x2c for subsystem vendor/device;
-4. ask IOPCIFamily for each BAR's existing `IODeviceMemory` descriptor;
-5. read each present BAR's low flag nibble.
+4. retain the existing `IODeviceMemory` registry array and read each matching
+   `IOMemoryDescriptor`'s length/tag (the tag's low byte is the BAR register);
+5. read each present memory BAR's low flag nibble, or the low two bits for I/O.
+
+The PCI `getDeviceMemoryWithRegister`/`getDeviceMemoryWithIndex` accessors are
+not used: Apple's [IOPCIDevice implementation](https://github.com/apple-oss-distributions/IOPCIFamily/blob/main/IOPCIDevice.cpp)
+may change tunnel link-power policy in those accessors. Descriptor types are
+checked as `IOMemoryDescriptor`, consistent with the objects created by
+[`IOPCIBridge::constructRange`](https://github.com/apple-oss-distributions/IOPCIFamily/blob/main/IOPCIBridge.cpp).
+Missing descriptors report length/flags zero, not a measured zero-size BAR.
+Linux resource flags are `IORESOURCE_*`, not the Darwin raw BAR flag bits, and
+must not be compared directly. A 64-bit BAR's upper register is not another BAR.
+
+Module metadata follows the [Swift Build/Xcode generator](https://github.com/swiftlang/swift-build/blob/990525f9dd8a29f17448b92bef69ece0a9579f2d/Sources/SWBTaskConstruction/TaskProducers/BuildPhaseTaskProducers/SourcesTaskProducer.swift#L2212):
+`kmod_info.start/stop` point to libkmod's `_start/_stop` wrappers; the optional
+custom callbacks remain null. `tools/inspect_kext.py` checks these pointers in
+the linked Mach-O, as well as the plist and configured identity. This is not a
+kernel dependency-resolution, signing, loadability, or hardware test.
+
+`RTXDarwinMMIOWrites=0` is a declaration of this code's policy, not an
+instrumented hardware counter or independent evidence of bus traffic.
 
 It deliberately does not call PCI config-write methods, map methods, memory or
 bus-master enable methods, I/O port writes, DMA APIs, interrupts, or reset.
 
@@ -89,6 +89,14 @@ path/to/ocvalidate path/to/EFI/OC/config.plist
 После compute IOMMU тестируется отдельной матрицей. Не смешивать изменение IOMMU
 с первой загрузкой нового kext.
 
+Если рабочий Linux сейчас использует ReBAR/IOMMU, не менять его настройки ради
+сборки kext на MacBook. До физического эксперимента сохранить локально исходный
+BIOS-профиль и отдельно подготовить указанный выше тестовый профиль. После
+изменения ReBAR/Above 4G заново собрать Linux baseline в **новый файл**: размеры
+BAR могут измениться. Сравнивать Darwin нужно с отчётом того же BIOS-профиля,
+а не с исходной конфигурацией. Сам read-only probe не включает и не отключает
+ReBAR/IOMMU.
+
 ## 4. Установка Tahoe
 
 Устанавливать только на выделенный SATA SSD. При выборе диска физически
@@ -126,9 +134,7 @@ OpenCore `MinKernel`/`MaxKernel` для kext зафиксировать на Dar
 gitignored `.local/evidence`:
 
 ```sh
-HARDWARE_CONFIG=.local/evidence/linux-baseline.json \
-  ./scripts/build_macos.sh
-make check
+HARDWARE_CONFIG=.local/evidence/linux-baseline.json make check
 ```
 
 Проверить generated match:
@@ -141,6 +147,18 @@ file build/RTXDarwin.kext/Contents/MacOS/RTXDarwin
 В `IOPCIPrimaryMatch` и `IOPCISubsystemMatch` должны стоять ID именно из Linux.
 Не ставить placeholder build.
 
+Каждая сборка без `HARDWARE_CONFIG` снова создаёт placeholder. Чтобы случайно
+не взять его после тестов, можно собрать проверяемый ZIP одной командой из
+чистого закоммиченного checkout:
+
+```sh
+python3 tools/package_probe.py --config .local/evidence/linux-baseline.json
+```
+
+Kext в архиве **не подписан**. Проверка сборки на ARM MacBook не доказывает
+разрешение Intel kernel dependencies или принятие kext загрузчиком Tahoe.
+Никакой автоматической установки или изменения политики защиты нет.
+
 Копировать kext только в `EFI/OC/Kexts` тестового Tahoe SSD и добавить его в
 `Kernel/Add`; SSV и `/System/Library/Extensions` не изменять. Сначала загрузить
 `Tahoe Safe` и проверить, что система по-прежнему восстанавливается.
@@ -166,6 +184,12 @@ log show --last boot --predicate 'eventMessage CONTAINS "RTXDarwin"'
 5. проверка отказа при `rtxd=off`, неверном subsystem ID и non-root client;
 6. подписанный sanitized evidence manifest с commit SHA.
 
+Сравнивать длины memory BAR 0/1/3 с Linux при одинаковом BIOS-профиле. Linux
+resource flags и raw BAR flags Darwin — разные представления. BAR 2/4 могут
+быть старшими половинами 64-bit BAR, а BAR 5 — I/O port range. Если IOPCIFamily
+не публикует дескриптор диапазона, probe вернёт нули: это **не** доказательство
+отсутствия BAR. Такое расхождение требует разбора и не считается приёмкой.
+
 Если есть panic, зависание, исчезновение Linux-диска или нестабильность PCIe,
 сразу прекратить серию, загрузить `Tahoe Safe`/Linux и сохранить текстовые логи.
 Не повторять Active-режим автоматически.
 
@@ -0,0 +1,62 @@
+# RTXDarwin: экспериментальный probe-пакет
+
+**EXPERIMENTAL — MAY PANIC OR HANG THE GPU.** Kext не подписан. На физической
+RTX этот пакет ещё не проверен. Это не релиз `v0.0.1-probe` и не готовый драйвер.
+
+## Что внутри
+
+- `RTXDarwin.kext`: x86_64, только read-only probe, точные ID в `hardware.json`;
+- `rtxctl`: универсальная CLI arm64/x86_64; на MacBook kext не загружать;
+- `manifest.json`: commit исходников, SHA-256 входного JSON, toolchain,
+  результат программных проверок и hashes файлов;
+- `software-checks.txt`: вывод свежего `make check`, локальные пути заменены;
+- `SHA256SUMS`: контрольные суммы содержимого архива;
+- `BRINGUP.ru.md`: полный runbook. Firmware, VBIOS, исходного отчёта и EFI нет.
+
+После распаковки в каталоге пакета:
+
+```sh
+shasum -a 256 -c SHA256SUMS
+./rtxctl --version
+```
+
+Суммы обнаруживают повреждение файлов, но не заменяют доверенную цифровую
+подпись. Программные тесты не доказывают, что kernel loader примет kext.
+
+## Стоп перед установкой
+
+Нужны отдельный тестовый SATA SSD, физическое присутствие, работающий
+`Tahoe Safe`/Linux и проверенный SSH. Linux-диск и его EFI не изменять.
+Цель строго Tahoe 26.6.2 / 25G83 / MacPro7,1. Поле `target` в Linux-отчёте
+обозначает желаемую конфигурацию и **не подтверждает** установленную macOS.
+
+Пакет не содержит готовой EFI или автоматической команды установки. Если
+базовая Tahoe ещё не загружается стабильно, остановиться на подготовке стенда.
+Не менять SIP/SSV, не прошивать VBIOS, не обновлять BIOS и не менять Linux-драйвер
+ради этого пакета. Зафиксированные NVIDIA 570.144 firmware будут нужны только
+на будущем GSP-этапе; probe их вообще не использует.
+
+После подготовки/проверки тестовой EFI по `BRINGUP.ru.md` сначала проверить
+восстановительную загрузку `rtxd=off`; затем физический probe с `rtxd=probe`.
+`gsp`, `compute`, `fb`, `metal` в этой версии не захватывают карту.
+
+В Tahoe Probe получить **новые** результаты и передать их отдельно:
+
+```sh
+sudo ./rtxctl probe --json
+sudo ./rtxctl faults --json
+ioreg -l -w0 -r -c RTXDarwin
+```
+
+Ожидаются только `mode=probe`, `state=probed`, capability `probe` и
+`vramBytes=0`. Ноль VRAM здесь намеренный: этот этап ещё не инициализирует VRAM.
+Никаких успешных GSP/compute/Metal результатов пакет не генерирует.
+
+Сравнивать memory BAR с Linux при том же BIOS-профиле; 16-ГиБ aperture не равен
+16 ГиБ физической VRAM. Неполный/несовпадающий BAR-отчёт требует разбора, а не
+автоматического признания успеха. Linux I/O resource flags и Darwin BAR flags
+нельзя сравнивать как одинаковые числа.
+
+При panic, зависании или потере изображения прекратить эксперимент, выбрать
+`Tahoe Safe`/Linux и сохранить очищенный лог. Не повторять запуск автоматически.
+До `v0.0.1-probe` остаются 20 аппаратных загрузок и отрицательные проверки.
@@ -3,24 +3,15 @@
 
 extern "C" {
 
-// libkmod's entry points consult these slots. The kernel's kext loader uses
-// them for generated C++ constructor/destructor dispatch when required.
-kmod_start_func_t *_realmain = nullptr;
-kmod_stop_func_t *_antimain = nullptr;
+extern kern_return_t _start(kmod_info_t *info, void *data);
+extern kern_return_t _stop(kmod_info_t *info, void *data);
 
-kmod_info_t kmod_info = {
-    nullptr,
-    KMOD_INFO_VERSION,
-    UINT32_MAX,
-    "dev.onedeadmachine.RTXDarwin",
-    "0.0.0",
-    -1,
-    nullptr,
-    0,
-    0,
-    0,
-    nullptr,
-    nullptr,
-};
+// Match Xcode's generated module info: the kmod entry points are libkmod's
+// wrappers, even when this IOKit driver has no custom start/stop callbacks.
+__attribute__((visibility("default")))
+KMOD_EXPLICIT_DECL(dev.onedeadmachine.RTXDarwin, "0.0.0", _start, _stop)
+__attribute__((visibility("hidden"))) kmod_start_func_t *_realmain = nullptr;
+__attribute__((visibility("hidden"))) kmod_stop_func_t *_antimain = nullptr;
+__attribute__((visibility("hidden"))) int _kext_apple_cc = __APPLE_CC__;
 
 } // extern "C"