Skip to content

Commit

Permalink
Script updating gh-pages from 41cef3b. [ci skip]
Browse files Browse the repository at this point in the history
  • Loading branch information
ID Bot committed Oct 30, 2024
1 parent b72ded2 commit ff7eead
Show file tree
Hide file tree
Showing 2 changed files with 25 additions and 27 deletions.
25 changes: 12 additions & 13 deletions bran/extension-probe/draft-ietf-ppm-dap.html
Original file line number Diff line number Diff line change
Expand Up @@ -2642,16 +2642,15 @@ <h3 id="name-task-configuration">
batch mode.<a href="#section-4.3-4.3.1" class="pilcrow"></a></p>
</li>
<li class="normal" id="section-4.3-4.4">
<p id="section-4.3-4.4.1"><code>task_start</code>: The time from which the Clients will start uploading reports
to a task. The Client is not expected to upload its report if the Client's
clock is earlier than <code>task_start</code>. Aggregators <span class="bcp14">MAY</span> reject reports with
timestamps earlier than <code>task_start</code>.<a href="#section-4.3-4.4.1" class="pilcrow"></a></p>
<p id="section-4.3-4.4.1"><code>task_start</code>: The time from which the Clients will start uploading reports to
a task. Aggregators <span class="bcp14">MUST</span> reject reports with timestamps earlier than
<code>task_start</code>.<a href="#section-4.3-4.4.1" class="pilcrow"></a></p>
</li>
<li class="normal" id="section-4.3-4.5">
<p id="section-4.3-4.5.1"><code>task_duration</code>: The duration of a task. The task is considered completed
after the end time <code>task_start + task_duration</code>. Aggregators <span class="bcp14">MAY</span> reject
reports that have timestamps later than the end time, and <span class="bcp14">MAY</span> reject the task
if <code>task_duration</code> is too long.<a href="#section-4.3-4.5.1" class="pilcrow"></a></p>
after the end time <code>task_start + task_duration</code>. Aggregators <span class="bcp14">MUST</span> reject
reports that have timestamps later than the end time, and <span class="bcp14">MAY</span> choose to opt
out of the task if <code>task_duration</code> is too long.<a href="#section-4.3-4.5.1" class="pilcrow"></a></p>
</li>
<li class="normal" id="section-4.3-4.6">
<p id="section-4.3-4.6.1">A unique identifier for the VDAF in use for the task, e.g., one of the VDAFs
Expand Down Expand Up @@ -2922,11 +2921,11 @@ <h4 id="name-upload-request">
violation. Note that this is also enforced by the Helper during the aggregation
interaction. The Leader <span class="bcp14">MAY</span> also abort the upload interaction and alert the
Client with error <code>reportRejected</code>.<a href="#section-4.5.2-21" class="pilcrow"></a></p>
<p id="section-4.5.2-22">The Leader <span class="bcp14">MAY</span> ignore any report whose timestamp is before the task's
<p id="section-4.5.2-22">The Leader <span class="bcp14">MUST</span> ignore any report whose timestamp is before the task's
<code>task_start</code>, or is past the end time <code>task_start + task_duration</code>. When it does
so, it <span class="bcp14">SHOULD</span> also abort the upload interaction and alert the Client with error
<code>reportRejected</code>. Client <span class="bcp14">MAY</span> choose to opt out of the task if its own clock is
earlier than <code>task_start</code>, or is past <code>task_start + task_duration</code>.<a href="#section-4.5.2-22" class="pilcrow"></a></p>
<code>reportRejected</code>. Clients <span class="bcp14">MUST NOT</span> upload a report if its timestamp would be
earlier than <code>task_start</code> or later than <code>task_start + task_duration</code>.<a href="#section-4.5.2-22" class="pilcrow"></a></p>
<p id="section-4.5.2-23">The Leader may need to buffer reports while waiting to aggregate them (e.g.,
while waiting for an aggregation parameter from the Collector; see
<a href="#collect-flow" class="auto internal xref">Section 4.7</a>). The Leader <span class="bcp14">SHOULD NOT</span> accept reports whose timestamps are too
Expand Down Expand Up @@ -3613,13 +3612,13 @@ <h5 id="name-input-share-validation">
</li>
<li id="section-4.6.1.4-3.3">
<p id="section-4.6.1.4-3.3.1">Check if the report's timestamp is before the task's <code>task_start</code> time. If
so, the Aggregator <span class="bcp14">MAY</span> mark the input share as invalid with the error
so, the Aggregator <span class="bcp14">MUST</span> mark the input share as invalid with the error
<code>task_not_started</code>.<a href="#section-4.6.1.4-3.3.1" class="pilcrow"></a></p>
</li>
<li id="section-4.6.1.4-3.4">
<p id="section-4.6.1.4-3.4.1">Check if the report's timestamp is past the task's end time, given by
<code>task_start + task_duration</code>. If so, the Aggregator <span class="bcp14">MAY</span> mark the input share
as invalid with the error <code>task_expired</code>.<a href="#section-4.6.1.4-3.4.1" class="pilcrow"></a></p>
<code>task_start + task_duration</code>. If so, the Aggregator <span class="bcp14">MUST</span> mark the input
share as invalid with the error <code>task_expired</code>.<a href="#section-4.6.1.4-3.4.1" class="pilcrow"></a></p>
</li>
<li id="section-4.6.1.4-3.5">
<p id="section-4.6.1.4-3.5.1">Check if the PlaintextInputShare contains unrecognized report extensions. If
Expand Down
27 changes: 13 additions & 14 deletions bran/extension-probe/draft-ietf-ppm-dap.txt
Original file line number Diff line number Diff line change
Expand Up @@ -1106,15 +1106,14 @@ Table of Contents
task if it does not recognize the batch mode.

* task_start: The time from which the Clients will start uploading
reports to a task. The Client is not expected to upload its
report if the Client's clock is earlier than task_start.
Aggregators MAY reject reports with timestamps earlier than
task_start.
reports to a task. Aggregators MUST reject reports with
timestamps earlier than task_start.

* task_duration: The duration of a task. The task is considered
completed after the end time task_start + task_duration.
Aggregators MAY reject reports that have timestamps later than the
end time, and MAY reject the task if task_duration is too long.
Aggregators MUST reject reports that have timestamps later than
the end time, and MAY choose to opt out of the task if
task_duration is too long.

* A unique identifier for the VDAF in use for the task, e.g., one of
the VDAFs defined in Section 10 of [VDAF].
Expand Down Expand Up @@ -1370,12 +1369,12 @@ Table of Contents
abort the upload interaction and alert the Client with error
reportRejected.

The Leader MAY ignore any report whose timestamp is before the task's
task_start, or is past the end time task_start + task_duration. When
it does so, it SHOULD also abort the upload interaction and alert the
Client with error reportRejected. Client MAY choose to opt out of
the task if its own clock is earlier than task_start, or is past
task_start + task_duration.
The Leader MUST ignore any report whose timestamp is before the
task's task_start, or is past the end time task_start +
task_duration. When it does so, it SHOULD also abort the upload
interaction and alert the Client with error reportRejected. Clients
MUST NOT upload a report if its timestamp would be earlier than
task_start or later than task_start + task_duration.

The Leader may need to buffer reports while waiting to aggregate them
(e.g., while waiting for an aggregation parameter from the Collector;
Expand Down Expand Up @@ -2024,11 +2023,11 @@ Table of Contents
invalid with the error report_too_early.

3. Check if the report's timestamp is before the task's task_start
time. If so, the Aggregator MAY mark the input share as invalid
time. If so, the Aggregator MUST mark the input share as invalid
with the error task_not_started.

4. Check if the report's timestamp is past the task's end time,
given by task_start + task_duration. If so, the Aggregator MAY
given by task_start + task_duration. If so, the Aggregator MUST
mark the input share as invalid with the error task_expired.

5. Check if the PlaintextInputShare contains unrecognized report
Expand Down

0 comments on commit ff7eead

Please sign in to comment.