# HPT pre-freeze integration evidence

Status: passed development integration gate; not a frozen-candidate or release qualification
Type: evidence
Date: 2026-07-25
Source HEAD at capture: `4896fe86170b6e2128c80843d18e1f8a2ba38b9f`

## Exact development artifacts

- Debug S-record SHA-256:
  `74D00768F9A66BD7081E28FD4539C26A4AA7EE380E954E765D47728E14A82F73`
- Release S-record SHA-256:
  `2BBF9CA4B660562710081513041A0A9A1BF062BE88AB0ECB8506C0F022364ACB`
- Debug and Release clean managed-make rebuilds: pass
- Debug/Release size: text `2,867,468`, data `0`, BSS `28,463,052`
- All `script/check-*.ps1` source/invariant gates: pass
- Triple-circular model: pass through at least three wraps
- Exhaustive write-cut model: pass, `141` cut states
- Customer-export model: pass
- `git diff --check`: pass

The isolated e2 headless launcher was also attempted with 300-second and
600-second bounds. It did not reach compilation because the Renesas Eclipse
workspace repeatedly reported a missing
`com.renesas.ide.exttools.synergy.build.buildSupportFileTarget` and failed to
exit. This is a launcher/workspace defect, not a compiler result. The generated
managed makefiles were therefore rebuilt cleanly in place for both
configurations; both passed and reproduced the exact hashes above.

## Controller A / Setup A

- Controller assembly: `1751136`
- J-Link serial: `69664082`
- Program/verify/reset with the exact Debug image: pass
- Card: SanDisk/WD, MID `0x03`, OEM `SD`, product `SS08G`, revision `8.0`,
  serial `2540634244`, manufacture `2024-05`
- Raw CID:
  `035344535330384780976F0084018559`
- Protocol/public card state: `RAW_HPT` (`6`)
- CID valid / representative sector readable: `1 / 1`
- HPT media state/status: `HPT_READY / OK` (`5 / 0`)
- Triple store open / qualification state/status: `1 / 3 / 0`
- System errors: `0`

An active J-Link request rebuilt the 30-day graph from the triple iterator.
The request completed in the bounded observation window with status
`LOAD_COMPLETE`, request cleared, even publication sequence `4`, all
`720` hourly progress units complete, real retained data present, and newest
timestamp `301730040`. Production logging completed two records during the
observation (`10 -> 12`) while dropped records remained `0`.

Detailed artifacts:

- `controller-a/pre-freeze-integration-20260725/sd-card-identity.json`
- `controller-a/pre-freeze-integration-20260725/pre-freeze-integration.json`

## Controller B / Setup B

- Controller assembly: `1751219`
- J-Link serial: `69660123`
- Program/verify/reset with the exact Debug image: pass
- Card: SanDisk/WD, MID `0x03`, OEM `SD`, product `SS08G`, revision `8.0`,
  serial `2540634245`, manufacture `2024-05`
- Raw CID:
  `035344535330384780976F0085018507`
- Protocol/public card state: installed/unavailable to production HPT (`3`)
- CID valid / representative sector readable: `1 / 1`
- HPT media state: `FAT32_NEEDS_INITIALIZATION` (`1`)
- Guarded HPT initialization eligibility: true
- Initialization request issued: false
- System errors: `0`

Controller B remained read-only. No initialization, format, erase, or other
card write was requested. Its state proves the new Home notification has the
inputs required to offer the guarded Format workflow while leaving the card
unchanged.

Detailed artifacts:

- `controller-b/pre-freeze-integration-20260725/sd-card-identity.json`
- `controller-b/pre-freeze-integration-20260725/pre-freeze-integration.json`

## Disposition

The datalog CRUD migration, guarded installed/unformatted-card action, clean
managed builds, deterministic models, source invariants, exact-image loading,
and non-operator target checks are complete for the development phase.

Source and exact artifacts were frozen after this development gate. The
immutable source/artifact identity is recorded in
`integrated-candidate-freeze-20260725.md`. The fresh interactive checklist,
final screen wording/placement review, destructive initialization
success/failure cases, G-PWR-backed interruptions, degraded-media cases, and
multi-sample endurance/media qualification must use only that frozen candidate.
