diff --git a/index.html b/index.html index e38b5ae..355c24b 100644 --- a/index.html +++ b/index.html @@ -1107,10 +1107,6 @@

Data delivery

  • Let |state:PressureState| be an [=adjusted pressure state=] given |data| and |source|. -
  • -
  • - Let |timestamp:DOMHighResTimeStamp| be a timestamp representing the time the |data| was - obtained from the |relevantGlobal|'s [=platform collector=].
  • +
  • + Let |timestamp| be a platform-specific timestamp converted in an [=implementation-defined=] + way to an [=monotonic clock/unsafe current time=] using the same [=monotonic clock=] + that is shared by [=environment settings object/time origins=]. + +
  • +
  • + Let |timeValue| be the [=relative high resolution time=] based on |timestamp| and + |relevantGlobal|. +
  • [=list/For each=] |observer:PressureObserver| in |relevantGlobal|'s [=registered observer list=] for |source|: @@ -1138,7 +1148,7 @@

    Data delivery

    Let |record:PressureRecord| be a new {{PressureRecord}} object with its {{PressureRecord/[[Source]]}} set to |source|, {{PressureRecord/[[State]]}} set to |state| - and {{PressureRecord/[[Time]]}} set to |timestamp|. + and {{PressureRecord/[[Time]]}} set to |timeValue|.
  • If |observer|.{{PressureObserver/[[AfterPenaltyRecordMap]]}}[source] [=map/exists=]: