trigger state

index.bs

@@ -568,7 +568,7 @@ A trigger state is a [=struct=] with the following items:
 : <dfn>trigger data</dfn>
 :: A non-negative 64-bit integer.
 : <dfn>report window</dfn>
-:: A non-negative integer.
+:: A [=report window=].
 
 </dl>
 
@@ -581,7 +581,7 @@ A randomized response output configuration is a [=struct=] with the following it
 :: A positive integer.
 : <dfn>trigger data map</dfn>
 :: A [=map=] whose keys are trigger data (non-negative integers) and whose
-    values are the number of report windows (positive integers).
+    values are [=report window list=].
 
 </dl>
 
@@ -1658,8 +1658,8 @@ To <dfn export>process an attribution eligible response</dfn> given a [=suitable
 
 To <dfn>obtain a set of possible trigger states</dfn> given a [=randomized response output configuration=] |config|:
 1. Let |possibleTriggerStates| be a new [=list/is empty|empty=] [=set=].
-1. [=map/iterate|For each=] |triggerData| → |numReportWindows| of |config|:
-    1. For each integer |reportWindow| between 0 (inclusive) and |numReportWindows| (exclusive):
+1. [=map/iterate|For each=] |triggerData| → |reportWindows| of |config|:
+    1. [=list/For each=] |reportWindow| of |reportWindows|:
         1. Let |state| be a new [=trigger state=] with the items:
             : [=trigger state/trigger data=]
             :: |triggerData|
@@ -2926,12 +2926,10 @@ a [=report window=] |window|:
 1. Return |sourceTime| + |window|'s [=report window/end=].
 
 To <dfn>obtain the report time at a window</dfn> given an
-[=attribution source=] |source| and a non-negative integer |window|:
+[=attribution source=] |source| and a [=report window=] |window|:
 
-1. [=Assert=]: |source|'s [=attribution source/event-level report windows=][|window|] [=list/exists=].
-1. Let |win| be |source|'s [=attribution source/event-level report windows=][|window|].
 1. Return the result of running [=obtain a report time from a window=] with
-    |source|'s [=attribution source/source time=] and |win|.
+    |source|'s [=attribution source/source time=] and |window|.
 
 To <dfn>obtain an event-level report delivery time</dfn> given an [=attribution source=]
 |source| and a [=moment=] |triggerTime|: