...and I now see your response[1] to an equivalent question.
[1] https://news.ycombinator.com/item?id=24359220
Looking at the normative language of the early DP v1.1a § 3.3 Hot Plug/Unplug Detect Circuitry:
> The HPD signal is asserted by the DisplayPort Sink whenever the Sink is connected to either its main power supply or “trickle” power. HPD signal specification is shown in Table 3-2.
To be sure, HPD assertion on "trickle" power is the monitor's requirement.
Looking closer at Table 3-2 (empty Nom col removed, Comments col separated for clarity):
| Parameter | Min | Max | Units | Comments |
| ---------------------------------- | ---- | --- | ----- | -------- |
| HPD Voltage | 2.25 | 3.6 | Volt | (a) |
| Hot Plug Detection Threshold | 2.0 | | Volt | (b) |
| Hot Unplug Detection Threshold | 0.8 | | Volt | (b) |
| HPD source termination | 100 | | kΩ | (c) |
| HPD sink termination | 100 | | kΩ | (d) |
| IRQ HPD Pulse Width Driven by Sink | 0.5 | 1.0 | ms | (e) |
| IRQ HPD Pulse Detection Threshold | 2.0 | | ms | (f) |
>
Comments:> (a) HPD signal to be driven by the Sink Device
> (b) HPD signal to be detected by the Source Device
> (c) Source Device must pull down its HPD input with a ≥ 100kΩ resistor.
> (d) When a Sink Device is off, it must pull down its HPD output with ≥ 100kΩ resistor.
> (e) Sink generates a low going pulse within this range for IRQ (interrupt request) to the Source
> (f) When the pulse width is narrower than this threshold, the Source must read the link / sink status field of the DPCD first and take corrective action. When the pulse width is wider than this threshold, it is likely to be actual cable unplug / re-plug event. Upon detecting HPD high, the Source must read the link / sink status field, and if the link is unstable, read the link / sink capability field of the DPCD before initiating Link Training.
Then just below Table 3-2:
> The voltage level of the HPD pin is monitored by the Source Device. TTL levels must be used for the
detection.
> The Sink Device may detect the presence of the Source Device by monitoring the DC voltage level of the AUX CH lines. Source detection is an optional feature of a Sink Device.
Based on this language and description of noted workarounds, color me unconvinced that DP spec ambiguity was the root cause of this issue.