[compute-pressure] "no side channels" subsection issues (#205)

pes10k has just created a new issue for https://github.com/w3c/compute-pressure:

== "no side channels" subsection issues ==
This issue is being filed as part of the [requested PING review](https://github.com/w3cping/privacy-request/issues/113) and was broken off from [this previous issue](https://github.com/w3c/compute-pressure/issues/196)

One sub-section is called "no side channels." I found this text confusing since, i. the text in the section seems mostly unrelated to side channels, and ii. "no side channels" is a goal, not a design feature (at least w/o some form of formal modeling thats not present in this spec, and not common in specs).

Please view or discuss this issue at https://github.com/w3c/compute-pressure/issues/205 using your GitHub account

Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Tuesday, 28 March 2023 15:54:41 UTC