# USB enumeration recovery six-insertion and export qualification

Status: complete
Result: complete; historical healthy-path and export evidence, with recovery proved by its successor
Type: evidence
Updated: 2026-08-01
Next Action: none; the deterministic v2 target proof exercised the bounded recovery
Campaign: 003-complete-bounded-hpt-slow-export-firmware-ticket
Final Evidence: work/evidence/usb-enumeration-deterministic-v2-target-proof-20260801.md

Project Map: work/maps/map-smi-firmware-stabilization-and-qualification.md
Workpackage: work/wp/completed/wp-restore-broad-usb-compatibility-baseline.md
Checklist: work/checklists/checklist-stage-1b-four-drive-usb-compatibility-baseline.md
Deployment Evidence: work/evidence/usb-enumeration-recovery-controller-deployment-20260801.md

## Scope and candidate identity

The deployed bounded-recovery candidate was exercised with six ordinary
powered insertions of `USB03_32G`, alternating between Controller B and
Controller A. The final Controller A insertion also completed a full retained
HPT export followed by independent read-only Raspberry Pi validation.

- Firmware source commit: `29fcaa11`.
- Release ELF SHA-256:
  `6E89C5664D3B4F7FDBAC1910BA826D5049934E895D9CDE28A60DF0F520766205`.
- Release S-record SHA-256:
  `E31845E8EA8993B7271F2123E8830113213FE954968B2CA133BE1FF0B217B888`.
- Expanded 4 MiB flash SHA-256:
  `9CAF4ED22E2E7E06B900D6098D110650DB8987A2DE629783CE91AD43D9D3AEF2`.
- USB identity: `USB03_32G`, PNY `USB 2.0 FD`, serial
  `071C49DE25C08808`, 31,042,043,904 bytes, partition UUID `BCE4-0E61`.

No controller or USB VBUS power cycle, specimen rule, transport retry, or
drive-specific timing was used.

## Six natural insertion observations

| Insertion | Controller | Media generation | Result |
| ---: | --- | ---: | --- |
| 1 | B / assembly `1751219` / J-Link `69660123` | 1 | PASS |
| 2 | A / assembly `1751136` / J-Link `69664082` | 1 | PASS |
| 3 | B / assembly `1751219` / J-Link `69660123` | 2 | PASS |
| 4 | A / assembly `1751136` / J-Link `69664082` | 2 | PASS |
| 5 | B / assembly `1751219` / J-Link `69660123` | 3 | PASS |
| 6 | A / assembly `1751136` / J-Link `69664082` | 3 | PASS |

Every insertion mounted on its first attempt at high speed. Every capture
reported configured USBX device state `3`, address `1`, speed `2`, HCD
operational state `2`, one root-hub connection, one HCD device, a valid FileX
media/application session, and zero USBX, USB-application, and system errors.

Enumeration recovery remained state `0`, attempt count `0` on every healthy
insertion. This is the required no-op behavior: the correction did not disturb
ordinary enumeration. It does not prove that the bounded retry works, because
the naturally intermittent final enumeration failure did not recur.

## Controller and SD identity gate

The same-run capture for every insertion retained protocol card status,
CID-valid state, representative-sector-read state, and complete SD identity.

| Gate | Controller A | Controller B |
| --- | --- | --- |
| SD state / CID valid / sector read | `5 / 1 / 1` | `5 / 1 / 1` |
| Manufacturer / MID | `SanDisk / 03` | `SanDisk / 03` |
| OEM / product / revision | `SD / SS08G / 8.0` | `SD / SS08G / 8.0` |
| Serial / manufacture date | `2540634244 / 2024-05` | `2540634245 / 2024-05` |
| Raw 128-bit CID | `035344535330384780976F0084018559` | `035344535330384780976F0085018507` |
| HPT state / status / SSP status | `5 / 0 / 0` | `5 / 0 / 0` |

No SD card was removed or inserted.

## End-to-end retained HPT export

The owner reported success from the Controller A export interface. The
authoritative target capture confirmed request `1`, terminal state/reason
`4 / 0`, HPT/USB status `0 / 0`, phase `14`, complete/published `1 / 1`, and
no first USB failure.

| Measure | Result |
| --- | --- |
| Entered start | `299655709` |
| Requested range | `301739760..302334116` |
| Actual range | `301739760..302334000` |
| Snapshot sequences | `1..9620` |
| Actual sequences | `2..9619` |
| Records | `9618` selected; `9618` healthy; `0` degraded; `0` gaps |
| Scan / USB / total | `12.16 s / 3.10 s / 15.28 s` |
| FileX writes | `15`, 483,324 bytes, maximum 32,768 bytes |
| Close / flush / rename | `0.01 s / 0.24 s / 0.08 s` |

The final attached-state capture still showed a valid generation-3 high-speed
session, zero errors, and zero recovery attempts.

## Independent Raspberry Pi validation

`USB03_32G` was detected as `/dev/sda1` and remained unmounted except for
explicit read-only inspection. The host checks found:

- `fsck.fat -n -v` reached the final sector and made no changes; its only
  nonzero finding was the pre-existing Windows volume-label convention.
- Both 7,574,016-byte FAT copies matched SHA-256
  `a03bb7ca83efdba71bf7120a5c9078e48a00442334935e4ee0ab434c0ce5b725`.
- No `*.tmp`, `*.part`, or `*.bak` publication artifacts existed.
- `SMI6_07162026_20260725t0836-20260801t0541.csv` was exactly 483,324 bytes
  with SHA-256
  `c3bf64e23b5e2884b62a6fd9159020be7eb1bb245a1eba1cbf08b261cd48befc`.
- A strict parser found exactly 9,618 data rows, numbered continuously
  `1..9618`, with no duplicates or gaps. Metadata matched the controller
  range/count evidence and the trailer reported `COMPLETE` with 9,618
  published records.
- The current insertion kernel log showed normal high-speed USB Mass Storage
  discovery and no reset, timeout, medium, offline, descriptor, sense, or I/O
  error.
- The partition was explicitly confirmed unmounted after validation.

## Disposition

The candidate passes its healthy enumeration/no-op gate and an end-to-end
32 KiB HPT publication/durability gate. Natural insertion cycling is stopped:
six more successful insertions cannot demonstrate the failure-only branch.
Production promotion remains blocked only on a reviewed, guarded deterministic
test that creates the already-observed final unconfigured USBX enumeration
failure and proves exactly one bounded retry recovers without VBUS action.

## Raw evidence locations

- `work/evidence/hpt-log-store-circular-mirror/controller-b/usb03-enumeration-recovery-20260801/insertion-01/`
- `work/evidence/hpt-log-store-circular-mirror/controller-b/usb03-enumeration-recovery-20260801/insertion-03/`
- `work/evidence/hpt-log-store-circular-mirror/controller-b/usb03-enumeration-recovery-20260801/insertion-05/`
- `work/evidence/hpt-log-store-circular-mirror/controller-a/usb03-enumeration-recovery-20260801/insertion-02/`
- `work/evidence/hpt-log-store-circular-mirror/controller-a/usb03-enumeration-recovery-20260801/insertion-04/`
- `work/evidence/hpt-log-store-circular-mirror/controller-a/usb03-enumeration-recovery-20260801/insertion-06/`
- `work/evidence/hpt-log-store-circular-mirror/controller-a/usb03-enumeration-recovery-20260801/final-export/`

The raw directories are intentionally ignored. This file is the small
versioned manifest.
