# PFES-TR-007 — Emulator Architecture, Baselines, and Proof Boundaries

## Authority

This reference is the canonical PFES summary of the MN103S/GDR emulator state
through v258. Exact source and live artifacts remain the primary evidence.

## Baselines

- **v206:** known-good Windows stateful iSCSI/eject-policy behavior.
- **v258:** current handoff and READ(10) parser/descriptor state-handoff baseline.
- **v235-v249:** rejected Windows-runner development line; do not revive without
  explicit direction.

## Proof classes

PFES distinguishes:

1. bridge/model behavior;
2. seeded microprobe behavior;
3. natural firmware parser/handler behavior;
4. firmware state handoff across separately bounded execution phases;
5. uninterrupted firmware execution;
6. hardware-validated behavior.

A result in one class must not be promoted into another without evidence.

## READ(10)

Natural front dispatch and host-LBA ingestion are proven. The phase-4 consumer
accepts the resulting state and builds the descriptor. This closes the current
READ(10) parser/descriptor state-handoff proof.

It does not close:

- one uninterrupted front-dispatch-to-main-loop call stack;
- downstream descriptor output consumption;
- locked/unlocked firmware window selection;
- firmware derivation of the 198,144-sector media offset.

## Hardware modeling

The known HL-handler stall at `0x90006227..0x90006231` is not parser failure.
The discriminator passed. Timer/MMIO fidelity is the later blocker.

## Profile ownership

- analyzer chain: device profile and proof pack;
- dumper/media tooling: media profile;
- session builder: runtime binding and overrides;
- firmware image: explicit external input;
- test generator: JSON emutest manifests.

## Validation policy

Probe/report-only changes do not justify the full live suite. Runtime, bridge,
state-machine, media-map, or baseline changes do.

## Package policy

Runnable update packages are clean and version-focused, use stable canonical
filenames, and never vendor firmware binaries. PFES snapshots remain cumulative.
