プライベート集計 API

[Exposed=(InterestGroupScriptRunnerGlobalScope,SharedStorageWorklet),
 SecureContext]
interface PrivateAggregation {
  undefined contributeToHistogram(PAHistogramContribution contribution);
  undefined contributeToHistogramOnEvent(DOMString event,
                                         record<DOMString, any> contribution);
  undefined enableDebugMode(optional PADebugModeOptions options = {});
};

dictionary PAHistogramContribution {
  required bigint bucket;
  required long value;
  bigint filteringId = 0;
};

dictionary PADebugModeOptions {
  required bigint debugKey;
};

contributeToHistogram(PAHistogramContribution contribution) メソッド手順 は次のとおりである:

1. validationResult を、contribution と this の スコープ指定詳細を与えて、ヒストグラムコントリビューションを検証する結果とする。

2. validationResult が exception である場合、validationResult をthrow する。

3. Assert: validationResult はコントリビューションキャッシュ エントリである。

4. validationResult を コントリビューションキャッシュに追加する。

コントリビューションの 配列を受け入れることを検討する。[Issue #44]

contributeToHistogramOnEvent(event, contribution) メソッド手順は次のとおりである:

1. defaultProcessingResult を、this の 既定の contributeToHistogramOnEvent() 処理を実行すべきかを、this、event および contribution を与えて実行した結果とする。

2. defaultProcessingResult が exception である場合、defaultProcessingResult をthrow する。

3. defaultProcessingResult が false の場合、return する。

4. contribution を、contribution の JavaScript 値を IDL 型 PAHistogramContribution に変換した結果に設定する。

   注: contribution に互換性がない場合、 これは TypeError を throw する。

5. validationResult を、contribution と this のスコープ指定詳細を与えて、ヒストグラムコントリビューションを検証する結果とする。

6. validationResult が exception である場合、validationResult をthrow する。

7. Assert: validationResult は コントリビューションキャッシュ エントリである。

8. event が "reserved." で始まらない場合、TypeError をthrow する。

9. unprefixedEvent を、event 内で "reserved." の長さから event の長さまでのコード単位部分文字列とする。

10. unprefixedEvent がいずれかの 内部エラー イベントである場合:

    1. maybeContributionCacheEntry のエラーイベントを unprefixedEvent とする。

    2. maybeContributionCacheEntry をコントリビューションキャッシュに追加する。

注: 将来互換性のため、"reserved." で始まる認識されない イベントに対してはエラーを throw しない。

enableDebugMode(optional PADebugModeOptions options) メソッド手順は次のとおりである:

1. scopingDetails を this の スコープ指定詳細とする。

2. debugScope を、scopingDetails の デバッグスコープ取得手順を実行した結果とする。

3. デバッグスコープ マップ[debugScope] が存在する場合、"DataError" DOMException をthrow する。

   注: これは、このデバッグスコープについて enableDebugMode() が既に実行されている場合に発生する。

4. debugKey を null とする。

5. options が与えられた場合:

   1. options["debugKey"] が 0 から 2⁶⁴ までの範囲（両端を除く）に含まれない場合、"DataError" DOMException をthrow する。

   2. debugKey を options["debugKey"] に設定する。

6. debugDetails を、次の項目を持つ新しいデバッグ詳細とする:

   有効

   true

   キー

   debugKey

7. 任意で、debugDetails を新しいデバッグ詳細に設定する。

   注: これにより、ユーザーエージェントは デバッグモードを全体的に、または特定の呼び出し元についてのみ利用不可にできる。

8. Set デバッグスコープマップ[debugScope] を debugDetails にする。

エラーが適切な型であることを確認する。 たとえば InvalidAccessError は 非推奨である。

class ExampleOperation {
  async run(data) {
    privateAggregation.contributeToHistogram(...)  // これは許可される。
  }
}
register('example-operation', ExampleOperation);

privateAggregation.contributeToHistogram(...)  // これはエラーを引き起こす。

PrivateAggregation this を与えて privateAggregation を 取得するには:

1. scopingDetails を this のスコープ指定詳細とする。

2. scopingDetails が null の場合、"NotAllowedError" DOMException をthrow する。

   注: これは、たとえば読み込み後のスクリプトの 初期実行が完了していないために、API がまだ利用可能ではないことを示す。

   ここでの 開発者体験の改善を検討する（例: この場合を検出する方法）。

3. this の使用を許可されているが false の場合、 "InvalidAccessError" DOMException をthrow する。

4. this を返す。

エラーが適切な型であることを確認する。 たとえば InvalidAccessError は 非推奨である。

コントリビューション キャッシュエントリ entry を与えて コントリビューションキャッシュにエントリを追加するには:

1. entry をコントリビューションキャッシュに追加する。

デバッグ スコープ debugScope を与えて デバッグ 詳細を取得するには、次の手順を実行する。これらは デバッグ詳細を返す。

1. デバッグスコープ マップ[debugScope] が存在する場合、 デバッグスコープ マップ[debugScope] を返す。

2. そうでなければ、新しいデバッグ詳細を返す。

デバッグ スコープ debugScope と、省略可能な デバッグ詳細または null の debugDetailsOverride（既定値 null）を与えて デバッグスコープを完了としてマークするには:

1. debugDetails を debugDetailsOverride とする。

2. デバッグスコープ マップ[debugScope] が存在する場合:

   1. Assert: debugDetailsOverride は null である。

      注: オーバーライドは、デバッグ詳細が 他の方法で設定されていない場合に提供できる。

   2. debugDetails を デバッグスコープマップ[debugScope] に設定する。

   3. デバッグスコープマップ[debugScope] を削除する。

   4. debugDetails のキーが null でない場合、assert: debugDetails の有効は true である。

3. debugDetails が null の場合、debugDetails を新しいデバッグ詳細に設定する。

4. コントリビューションキャッシュの entry それぞれについて:

   1. entry のデバッグスコープが debugScope である場合、 entry のデバッグ詳細を debugDetails に設定する。

事前指定レポートパラメーター preSpecifiedParams と コンテキスト型 api を与えて レポートを決定論的に送信すべきかを判定するには、 次の手順を実行する。これらは boolean を返す:

1. preSpecifiedParams のコンテキスト IDが null でない場合、true を返す。

2. preSpecifiedParams のfiltering ID 最大 バイト数が既定の filtering ID 最大バイト数でない場合、true を返す。

3. effectiveMaxContributions を、api と preSpecifiedParams の最大コントリビューション数を用いて 最大コントリビューション数を判定する結果とする。

4. defaultMaxContributions を API ごとの既定 maxContributions[api] とする。

5. effectiveMaxContributions が defaultMaxContributions でない場合、true を返す。

6. false を返す。

注: コントリビューションがなかったという事実を隠すために 'null report' を送信する必要がある場合がある。たとえば、それ自体がクロスサイトデータである 予算が、要求されたコントリビューションに対して不足していた可能性がある。あるいは、呼び出し元が クロスサイトデータを読み取った後、コントリビューションを行わないことを選んだ可能性がある。 このようなシナリオでは、レポートが存在しないことにより、レポート送信エンドポイントへクロスサイトデータが 明らかになる可能性がある。レポート数を通じた漏えいからの保護を参照。

バッチ処理スコープ batchingScope、origin reportingOrigin、コンテキスト型 contextType、 および moment または null の timeout を与えて バッチ処理スコープについてコントリビューションを処理するには:

注: 埋め込み API は、レポートが決定論的でない場合、 またはタイムアウトに既に達していた場合、すなわちそれがこの呼び出しをトリガーした場合、 timeout を null に設定することが期待される。（決定論的レポートでは、常にタイムアウトを設定しなければならない。）

1. batchEntries を新しい list とする。

2. コントリビューションキャッシュの entry それぞれについて:

   1. entry のバッチ処理スコープが batchingScope である場合:

      1. Assert: entry のデバッグ詳細は null ではない。

         注: これは、バッチ処理スコープについて コントリビューションを処理する手順の前に、デバッグスコープを完了としてマークする 手順が実行されたことを assert する。

      2. entry を batchEntries に追加する。

3. aggregationCoordinator を既定の 集約コーディネーターとする。

4. 集約コーディネーター マップ[batchingScope] が存在する場合:

   1. aggregationCoordinator を 集約コーディネーター マップ[batchingScope] に設定する。

   2. 集約コーディネーター マップ[batchingScope] を削除する。

5. preSpecifiedParams を新しい事前指定レポートパラメーターとする。

6. 事前指定レポートパラメーター マップ[batchingScope] が存在する場合:

   1. preSpecifiedParams を 事前指定レポートパラメーター マップ[batchingScope] に設定する。

   2. 事前指定レポートパラメーター マップ[batchingScope] を削除する。

7. isDeterministicReport を、preSpecifiedParams と contextType を与えてレポートを 決定論的に送信すべきかを判定する結果とする。

8. isDeterministicReport が false の場合、assert: timeout は null である。

   注: タイムアウトは決定論的レポートにのみ使用できる。

9. batchEntries が空であり、 isDeterministicReport が false の場合、 return する。

10. batchedContributions を新しい ordered map とする。

11. batchEntries の entry それぞれについて:

    1. entry をコントリビューションキャッシュから削除する。

    2. debugDetails を entry のデバッグ詳細とする。

    3. batchedContributions[debugDetails] が存在しない場合、 batchedContributions[debugDetails] を新しい保留中のコントリビューションに設定する。

    4. entry のエラーイベントが null の場合:

       1. entry のコントリビューションを batchedContributions[debugDetails] の無条件 コントリビューションに追加する。

    5. そうでなければ:

       1. conditionalContributions を batchedContributions[debugDetails] の条件付き コントリビューションとする。

       2. conditionalContributions[errorEvent] が存在しない場合、 conditionalContributions[errorEvent] を新しいlistに設定する。

       3. entry のコントリビューションを conditionalContributions[errorEvent] に追加する。

12. batchedContributions が空である場合:

    1. debugDetails を新しいデバッグ詳細とする。

    2. batchedContributions[debugDetails] を新しい保留中のコントリビューションに設定する。

13. batchedContributions の debugDetails → pendingContributions それぞれについて:

    1. reportingOrigin、contextType、 pendingContributions、debugDetails、 aggregationCoordinator、preSpecifiedParams および timeout を用いて、 レポート作成およびスケジュール手順を実行する。

注: これらの手順は、各レポートが 1 セットのメタデータしか 持てないため、デバッグ詳細に基づいて コントリビューションを分割する。

origin origin を与えて オリジンが集約コーディネーターであるかを判定するには、 次の手順を実行する。これらは boolean を返す。

1. origin が集約コーディネーターであるかどうかを返す。

USVString originString を与えて Private Aggregation コーディネーターを取得するには、 次の手順を実行する。これらは 集約コーディネーターまたは DOMException を返す。

1. url を、originString に対してURL パーサーを実行した結果とする。

2. url が failure または null の場合、名前 "SyntaxError" の新しい DOMException を返す。

   パスが空でない場合に エラーを throw することを検討する。

3. origin を url のoriginとする。

4. origin を与えてオリジンが集約コーディネーターであるかを判定する 結果が false の場合、名前 "DataError" の新しい DOMException を返す。

5. origin を返す。

origin origin と バッチ処理スコープ batchingScope を与えて バッチ処理スコープの集約コーディネーターを設定するには:

1. Assert: origin は集約 コーディネーターである。

2. 集約コーディネーター マップ[batchingScope] を origin に設定する。

事前指定レポートパラメーター params と バッチ処理スコープ batchingScope を与えて バッチ処理スコープの事前指定レポート パラメーターを設定するには:

1. contextId を params のコンテキスト IDとする。

2. Assert: contextId は null である、または contextId の長さは 64 より大きくない。

3. filteringIdMaxBytes を params のfiltering ID 最大 バイト数とする。

4. Assert: filteringIdMaxBytes は有効な filtering ID 最大バイト数範囲に含まれる

5. maxContributions を params の最大コントリビューション数とする。

6. Assert: maxContributions は null である、または 0 より大きい。

7. 事前指定レポートパラメーター マップ[batchingScope] を params に設定する。

PAHistogramContribution contribution と スコープ指定詳細 scopingDetails を与えて ヒストグラムコントリビューションを検証するには、 次の手順を実行する。これらは コントリビューションキャッシュエントリまたは exception を返す。

1. contribution["bucket"] が 0 から 2¹²⁸ までの範囲（両端を除く）に含まれない場合、 RangeError を返す。

2. contribution["value"] が負である場合、RangeError を返す。

3. batchingScope を、scopingDetails のバッチ処理スコープ取得手順を実行した結果とする。

4. filteringIdMaxBytes を既定の filtering ID 最大バイト数とする。

5. 事前指定レポートパラメーター マップ[batchingScope] が存在する場合:

   1. filteringIdMaxBytes を 事前指定レポートパラメーター マップ[batchingScope] のfiltering ID 最大バイト数に設定する。

6. contribution["filteringId"] が 0 から 256^{filteringIdMaxBytes} までの範囲（両端を除く）に含まれない場合、RangeError を返す。

7. 次の項目を持つ新しいコントリビューションキャッシュエントリを返す:

   コントリビューション

   contribution

   バッチ処理スコープ

   batchingScope

   デバッグスコープ

   scopingDetails のデバッグスコープ取得手順を実行した結果。

エラーが適切な型であることを確認する。 たとえば InvalidAccessError は 非推奨である。

origin reportingOrigin、コンテキスト型 api、保留中の コントリビューション pendingContributions、デバッグ詳細 debugDetails、集約コーディネーター aggregationCoordinator、事前指定レポートパラメーター preSpecifiedParams および moment または null の timeout を用いて、レポート作成およびスケジュール手順を実行するには:

1. Assert: reportingOrigin は potentially trustworthy origin である。

2. 任意で、return する。

   注: この 実装定義の条件は、 ユーザーエージェントが、たとえばユーザーの オプトアウト、オリジンが 登録されていないこと、 または保留中レポートの上限に達したことなど、さまざまな理由でレポートを破棄できるようにすることを意図している。

3. currentWallTime を現在の壁時計時刻とする。

4. allUnmergedContributions を、reportingOrigin、api、 pendingContributions、preSpecifiedParams、timeout および currentWallTime を与えて、マージされていないすべてのコントリビューションをコンパイルする結果とする。

5. isDeterministicReport を、preSpecifiedParams と api を与えて レポートを 決定論的に送信すべきかを判定する結果とする。

6. effectiveMaxContributions を、api と preSpecifiedParams の 最大コントリビューション数を用いて、 最大コントリビューション数を判定する結果とする。

7. keptMergeKeys を新しい set とする。

8. allUnmergedContributions の contribution それぞれについて:

   1. mergeKey を contribution の マージキーとする。

   2. keptMergeKeys のサイズが effectiveMaxContributions であり、かつ keptMergeKeys が mergeKey を含まない場合、continue する。

   3. そうでなければ、mergeKey を keptMergeKeys に追加する。

9. allUnmergedContributions から、keptMergeKeys に含まれない マージキーを持つすべての項目を削除する。

10. finalBudgetResults を、allUnmergedContributions、reportingOrigin、 api、currentWallTime および true を与えて 予算を問い合わせる結果とする。

11. Assert: finalBudgetResults のサイズは allUnmergedContributions のサイズに等しい。

12. 0 から finalBudgetResults のサイズまでの範囲（上端を除く）の i それぞれについて:

    1. finalBudgetResults[i] が false の場合、 allUnmergedContributions[i] の value を 0 に設定する。

13. allUnmergedContributions から、value が 0 であるすべての項目を削除する。

14. mergedContributionsMap を新しい ordered map とする。

15. allUnmergedContributions の contribution それぞれについて:

    1. mergeKey を contribution のマージキーとする。

    2. mergedContributionsMap[mergeKey] が存在する場合、contribution の value を mergedContributionsMap[mergeKey] の value に加算する。

    3. そうでなければ、mergedContributionsMap[mergeKey] を contribution に設定する。

16. mergedContributions を mergedContributionsMap の値とする。

17. Assert: mergedContributions のサイズは effectiveMaxContributions 以下である。

18. mergedContributions が空であり、 isDeterministicReport が false である場合、return する。

19. report を、reportingOrigin、api、 mergedContributions、debugDetails、aggregationCoordinator、 preSpecifiedParams、timeout および currentWallTime を与えて 集約可能レポートを取得する結果とする。

20. report をユーザーエージェントの 集約可能レポートキャッシュに追加する。

origin reportingOrigin、コンテキスト型 api、保留中の コントリビューション pendingContributions、事前指定 レポートパラメーター preSpecifiedParams、moment または null の timeout、および moment currentWallTime を与えて、 マージされていないすべてのコントリビューションをコンパイルするには、次の手順を実行する。これらは PAHistogramContribution の listを返す。

1. wasTimeoutReached を、isDeterministicReport が true であり、かつ timeout が null であるかどうかを示すbooleanとする。

   Shared Storage から送信される timeout を更新して整合させる。

2. pendingContributions、 "contribution-timeout-reached" および wasTimeoutReached を与えて、内部エラーイベント結果を記録する。

3. provisionalBudgetResults を、pendingContributions の無条件 コントリビューション、reportingOrigin、api、currentWallTime および false を与えて 予算を問い合わせる結果とする。

4. Assert: provisionalBudgetResults のサイズは、pendingContributions の無条件 コントリビューションのサイズに等しい。

5. 0 から provisionalBudgetResults のサイズまでの範囲（上端を除く）の i それぞれについて:

   1. provisionalBudgetResults[i] が false の場合、 pendingContributions の無条件 コントリビューション[i] の value を 0 に設定する。

6. pendingContributions の無条件 コントリビューションから、value が 0 であるすべての項目を削除する。

7. insufficientBudget を、provisionalBudgetResults 内のいずれかの値が false であるかどうかを示す booleanとする。

8. pendingContributions、 "insufficient-budget" および insufficientBudget を与えて、内部エラーイベント結果を記録する。

9. pendingReportLimitReached を、実装定義アルゴリズムによって判定される booleanとする。

   注: これは、予算問い合わせにおいて同時に保留中の レポート数の上限に達した（ただし超過していない）時点を示すことを意図している。

10. pendingContributions、 "pending-report-limit-reached" および pendingReportLimitReached を与えて、内部エラーイベント結果を記録する。

11. isEmptyAndWouldBeDropped を、isDeterministicReport が false であり、かつ pendingContributions の無条件 コントリビューションが空であるかどうかを示す booleanとする。

12. pendingContributions、 "empty-report-dropped" および isEmptyAndWouldBeDropped を与えて、内部エラーイベント結果を記録する。

13. effectiveMaxContributions を、api と preSpecifiedParams の 最大コントリビューション数を用いて 最大コントリビューション数を判定する結果とする。

14. tooManyContributions を false とする。

15. provisionallyApprovedMergeKeys を新しい set とする。

16. pendingContributions の無条件 コントリビューションの contribution それぞれについて:

    1. mergeKey を contribution のマージキーとする。

    2. provisionallyApprovedMergeKeys のサイズが effectiveMaxContributions であり、かつ provisionallyApprovedMergeKeys が mergeKey を含まない場合、 tooManyContributions を true に設定する。

    3. そうでなければ、mergeKey を provisionallyApprovedMergeKeys に追加する。

17. pendingContributions、 "too-many-contributions" および tooManyContributions を与えて、内部エラーイベント結果を記録する。

18. pendingContributions の無条件 コントリビューションから、provisionallyApprovedMergeKeys に含まれない マージキーを持つすべての項目を削除する。

19. reportSuccess を、次のいずれも true でないかどうかを示すbooleanとする: isEmptyAndWouldBeDropped、tooManyContributions、 insufficientBudget、pendingReportLimitReached。

20. pendingContributions、 "report-success" および reportSuccess を与えて、内部エラーイベント結果を記録する。

21. allUnmergedContributions を新しい list とする。

22. すべてのエラーイベントの errorEvent それぞれについて:

    1. pendingContributions の条件付き コントリビューション[errorEvent] が存在しない場合、 continue する。

    2. Assert: pendingContributions のトリガー済みエラーイベントは errorEvent を含む、または errorEvent は "already triggered external error" である。

       注: 内部エラーイベントがトリガーされていないと 判定された場合、その条件付きコントリビューションは 内部エラーイベント結果を記録するにより削除される。

    3. allUnmergedContributions を pendingContributions の条件付き コントリビューション[errorEvent] で拡張する。

23. allUnmergedContributions を pendingContributions の無条件 コントリビューションで拡張する。

    注: エラーの測定成功を優先するため、無条件コントリビューションは 最後に置かれる。

24. allUnmergedContributions を返す。

各 PAHistogramContribution contribution は、次の tuple である マージキーを持つ: (contribution の bucket, contribution の filteringId)。

注: 同じレポートに対する 2 つの PAHistogramContribution は、 そのマージキーが同じである場合に、かつその場合に限り、マージできる。

PAHistogramContribution の list contributions、origin origin、コンテキスト型 api、moment currentTime および boolean consumeIfPermitted を与えて、予算を問い合わせるには、 次の手順を実行する。これらは contributions と同じサイズを持つ booleansの listを返す。

1. resultForEachContribution を新しい booleans のlistとする。

2. approvedValueSum を 0 とする。

3. contributions の contribution それぞれについて:

   1. valueToRequest を approvedValueSum + contribution の valueとする。

      注: これにより、各コントリビューションの結果が、 この呼び出しから以前に承認されたコントリビューションを考慮することが保証される（ consumeIfPermitted が false の場合であっても）。

   2. sufficientBudget を、valueToRequest、origin、 api および currentTime を与えた実装定義アルゴリズムによって判定される booleanとする。 このアルゴリズムは、たとえば直近 24 時間のコントリビューション合計のように、 時間にわたる使用量に予算を制限すべきである。

   3. sufficientBudget である場合、contribution の value を approvedValueSum に加算する。

   4. sufficientBudget を resultForEachContribution に追加する。

      注: 戻り値の i 番目の要素は、 contributions[i] の valueを 送信するのに十分な予算が残っているかどうかを示す。

4. consumeIfPermitted である場合、approvedValueSum、origin、 api および currentTime を与えて、実装定義アルゴリズムにより予算を消費する。

5. resultForEachContribution を返す。

保留中の コントリビューション pendingContributions、内部エラーイベント errorEvent および boolean wasTriggered を与えて、 内部エラーイベント結果を記録するには、次の手順を実行する:

1. wasTriggered である場合、errorEvent を pendingContributions のトリガー済みエラーイベントに追加する。

2. そうでなければ、pendingContributions の条件付き コントリビューション[errorEvent] を削除する。

origin reportingOrigin、コンテキスト型 api、PAHistogramContribution の list contributions、デバッグ 詳細 debugDetails、集約コーディネーター aggregationCoordinator、 事前指定レポートパラメーター preSpecifiedParams、moment または null の timeout、および moment currentTime を与えて、集約可能 レポートを取得するには、次の手順を実行する。これらは 集約可能レポートを返す。

1. Assert: reportingOrigin は potentially trustworthy origin である。

2. reportTime を、currentTime と timeout を与えて レポート配信時刻を取得する結果とする。

3. report を、次の項目を持つ新しい集約可能レポートとする:

   レポート送信元オリジン

   reportingOrigin

   元のレポート時刻

   reportTime

   レポート時刻

   reportTime

   コントリビューション

   contributions

   api

   api

   レポート ID

   ランダム UUID を生成する結果。

   デバッグ詳細

   debugDetails

   集約コーディネーター

   aggregationCoordinator

   コンテキスト ID

   preSpecifiedParams のコンテキスト ID

   filtering ID 最大バイト数

   preSpecifiedParams のfiltering ID 最大バイト数

   最大コントリビューション数

   api と preSpecifiedParams の最大 コントリビューション数を用いて、最大コントリビューション数を判定する結果。

   キュー済み

   false

4. report を返す。

moment currentTime と moment または null の timeout を与えて、 レポート 配信時刻を取得するには、次の手順を実行する。 これらは moment を返す。

1. timeout が null でない場合:

   1. timeout を返す。

2. 自動化ローカルテストモード有効が true の場合、currentTime を返す。

3. r を、0（含む）から 1（含まない）までの、一様確率のランダムな double とする。

4. currentTime + 最小レポート遅延 + r * ランダム化レポート遅延 を返す。

コンテキスト型 api と 正の整数または null の maxContributions を与えて、最大 コントリビューション数を判定するには、次の手順を実行する。これらは 正の整数を返す。

1. maxContributions が null の場合、API ごとの既定 maxContributions[api] を返す。

2. maxContributions が最大 maxContributions より大きい場合、最大 maxContributions を返す。

3. maxContributions を返す。

list の 集約可能 レポート reports を与えて、送信のためにレポートをキューに入れることを試みるには:

1. reports の report それぞれについて、これらの手順を並列に実行する:

   1. これらの手順を実行する。ただし、ユーザー エージェントがシャットダウンしたときに中止する:

      1. report のキュー済み値が true の場合、return する。

      2. report のキュー済み値を true に設定する。

      3. currentWallTime を現在の壁時計時刻とする。

      4. report のレポート時刻が currentWallTime より前である場合、report のレポート時刻を currentWallTime に実装定義のランダムな非負の durationを加えたものに設定する。

         注: 起動時に、ユーザーエージェントは、 ブラウザーが閉じている間にレポート時刻を過ぎた多数のレポートを送信する必要がある可能性がある。 ランダムな遅延を追加することで、レポートの時間的な結合を防ぐ。

      5. 現在の壁時計時刻が report のレポート時刻以降になるまで待つ。

      6. 任意で、さらに実装定義の非負の durationだけ待つ。

         注: これは、ユーザーエージェントが デバイスリソースの使用を最適化し、ユーザーエージェントがオンラインになるのを待てるようにすることを意図している。

      7. report を用いて レポートの配信を試みるを実行する。

   2. 中止された場合、report のキュー済み値を false に設定する。

      注: ユーザーエージェントが次に起動したときに この手順を実行する方が実用的である可能性がある。

集約可能レポート report を与えて、レポートの 配信を試みるには:

1. url を、report のレポート送信元オリジンと report のapiを与えて、レポート送信エンドポイントを取得する結果とする。

2. data を、report を与えて集約可能レポートをシリアライズする結果とする。

3. data がエラーである場合、report を集約可能レポートキャッシュから削除する。

   このタスクをキューに入れる必要があるか?

4. request を、url と data を与えてレポートリクエストを作成する結果とする。

5. request を、次の手順を processResponse として、fetch するタスクをキューに入れる:

   1. shouldRetry を実装定義の boolean とする。その値は エラーが発生しなかった場合 false であるべきである。

   2. shouldRetry が true の場合:

      1. report のレポート時刻を、現在の壁時計時刻に実装定義の非負の durationを加えたものに設定する。

      2. report のキュー済み値を false に設定する。

   3. そうでなければ、report を集約可能レポートキャッシュから削除する。

origin reportingOrigin と コンテキスト型 api を与えて、レポート送信 エンドポイントを取得するには、次の手順を実行する。これらは URL を返す。

1. Assert: reportingOrigin は potentially trustworthy origin である。

2. path を «".well-known/private-aggregation/report-", api» の連結とする。

   この well-known ディレクトリを登録する。[Issue #67]

3. base を、reportingOrigin のシリアライズに対して URL パーサーを実行した結果とする。

4. Assert: base は failure ではない。

5. result を、path に対して base を用いてURL パーサーを実行した結果とする。

6. Assert: result は failure ではない。

7. result を返す。

URL url と バイト列 body を与えて、レポート リクエストを作成するには:

1. request を、次のプロパティを持つ新しいrequestとする:

   method

   "POST"

   URL

   url

   header list

   «("Content-Type", "application/json")»

   unsafe-request flag

   set

   body

   body

   client

   null

   service-workers mode

   "none"

   initiator

   ""

   referrer

   "no-referrer"

   mode

   "cors"

   credentials mode

   "omit"

   cache mode

   "no-store"

2. request を返す。

集約可能 レポート report を与えて、集約可能レポートをシリアライズするには、次の手順を実行する。これらは バイト列またはエラーを返す。

1. aggregationServicePayloads を、report を与えて集約サービスペイロードを取得する結果とする。

2. aggregationServicePayloads がエラーである場合、 aggregationServicePayloads を返す。

3. data を、次のキー/値ペアのordered map とする:

   "aggregation_coordinator_origin"

   report の集約 コーディネーターをシリアライズしたもの。

   "aggregation_service_payloads"

   aggregationServicePayloads

   "shared_info"

   report を与えて レポートの共有情報を取得する結果。

4. debugKey を report のデバッグ詳細のキーとする。

5. debugKey が null でない場合、 data["debug_key"] を debugKey に設定する。

6. contextId を report のコンテキスト IDとする。

7. contextId が null でない場合、 data["context_id"] を contextId に設定する。

8. data に対してinfra 値を JSON バイトにシリアライズするを実行した結果のバイト列を返す。

集約可能 レポート report を与えて、集約サービスペイロードを取得するには、次の手順を実行する。これらは mapsの listまたはエラーを返す。

1. publicKeyTuple を、report の集約コーディネーターを与えて 暗号化用の公開鍵を取得する結果とする。

2. publicKeyTuple がエラーである場合、publicKeyTuple を返す。

3. (pkR, keyId) を publicKeyTuple とする。

4. plaintextPayload を、report を与えて平文ペイロードを取得する結果とする。

5. sharedInfo を、report を与えてレポートの 共有情報を取得する結果とする。

6. encryptedPayload を、plaintextPayload、pkR および sharedInfo を与えてペイロードを暗号化する結果とする。

7. encryptedPayload がエラーである場合、encryptedPayload を返す。

8. aggregationServicePayloads を新しい list とする。

9. aggregationServicePayload を、次の キー/値ペアの ordered map とする:

   "key_id"

   keyId

   "payload"

   encryptedPayload を base64 エンコードしたもの

10. report のデバッグ詳細の有効フィールドが true の場合:

    1. aggregationServicePayload[debug_cleartext_payload] を plaintextPayload のbase64 エンコードに設定する。

11. aggregationServicePayload を aggregationServicePayloads に追加する。

12. aggregationServicePayloads を返す。

集約 コーディネーター aggregationCoordinator を与えて、 暗号化用の公開鍵を取得するには、次の手順を実行する。これらは 公開鍵と string からなる tuple、 またはエラーを返す。

1. url を新しい URL record とする。

2. url のschemeを aggregationCoordinator のschemeに設定する。

3. url のhostを aggregationCoordinator のhostに設定する。

4. url のportを aggregationCoordinator のportに設定する。

5. url のpathを «".well-known", "aggregation-service", "v1", "public-keys"» に設定する。

6. url からの公開鍵と、その公開鍵を一意に識別すべき stringからなる、実装定義の tupleを返す。 または、ユーザーエージェントが url から公開鍵を取得できなかった場合は、 エラーを返す。この手順は非同期であってもよい。

これを fetch の観点で指定する。使用する暗号化 標準、長さ要件などの詳細を追加する。

注: ユーザーエージェントには、 定期的な鍵ローテーションを強制することが推奨される。複数の鍵がある場合、 ユーザーエージェントは各暗号化操作について独立に一様ランダムで鍵を選択できる。

集約可能レポート report を与えて、平文 ペイロードを取得するには、次の手順を実行する。これらは バイト列を返す。

1. payloadData を新しい list とする。

2. contributions を report のコントリビューションとする。

3. maxContributions を report の最大コントリビューション数とする。

4. Assert: contributions のサイズは maxContributions より大きくない。

5. contributions のサイズが maxContributions より小さい間:

   1. nullContribution を、次の項目を持つ新しい PAHistogramContribution とする:

      bucket

      0

      value

      0

      filteringId

      0

   2. nullContribution を contributions に追加する。

   注: このパディングは、暗号化されたペイロードサイズを通じて コントリビューション数が漏えいすることを防ぐ。下記の議論を参照。

6. report のコントリビューションの contribution それぞれについて:

   1. filteringIdMaxBytes を report のfiltering id 最大バイト数とする。

   2. Assert: contribution["filteringId"] は 0 から 256^{filteringIdMaxBytes} までの範囲（両端を除く）に含まれる。

   3. contributionData を、次のキー/値 ペアのordered mapとする:

      "bucket"

      contribution["bucket"] と 16 を与えて ペイロード用に整数をエンコードする結果。

      "value"

      contribution["value"] と 4 を与えて ペイロード用に整数をエンコードする結果。

      "id"

      contribution["filteringId"] と filteringIdMaxBytes を与えて ペイロード用に整数をエンコードする結果。

   4. contributionData を payloadData に追加する。

7. payload を、次のキー/値ペアのordered map とする:

   "data"

   payloadData

   "operation"

   "histogram"

8. payload を CBOR エンコード した結果のバイト列を返す。

バイト列 plaintextPayload、 公開鍵 pkR および string sharedInfo を与えて、ペイロードを 暗号化するには、次の手順を実行する。 これらは バイト列またはエラーを返す。

1. info を、« "aggregation_service", sharedInfo » の連結を UTF-8 エンコードした結果とする。

2. (kem_id, kdf_id, aead_id) を (0x0020, 0x0001, 0x0003) とする。

   注: 上記の暗号スイートの三つ組は、 HPKE アルゴリズム 識別子で構成されており、 KEM を DHKEM(X25519, HKDF-SHA256)、KDF 関数を HKDF-SHA256、AEAD 関数を ChaCha20Poly1305 として指定する。

3. (enc, hpkeContext) を、公開鍵 pkR、アプリケーション提供情報 info、KEM kem_id、KDF kdf_id、および AEAD aead_id を用いて SetupBaseS() を呼び出すことにより、 HPKE の送信者 コンテキストをセットアップした結果とする。この操作が 失敗した場合、エラーを返す。

   注: 明確さのために、上記では KEM、KDF、AEAD 識別子を SetupBaseS() に明示的に渡しているが、RFC9180 の 擬似コードではこれらのパラメーターは省略されている。

4. aad を ``（空のバイト 列）とする。

5. ciphertext を、追加認証データ aad と平文 plaintextPayload を用いて hpkeContext オブジェクト上で ContextS.Seal() を呼び出して ペイロードをシールした結果とする。 この操作が失敗した場合、エラーを返す。

6. encryptedPayload を、バイト 列 « enc, ciphertext » の連結とする。

   注: 選択した KEM によって生成されるカプセル化された 対称鍵 enc の長さは、RFC9180 の KEM ID 表に示されているように、正確に 32 バイトである。

7. バイト列 encryptedPayload を返す。

整数 intToEncode と整数 byteLength を与えて、 ペイロード用に整数を エンコードするには、必要に応じて左をゼロでパディングし、intToEncode を長さ byteLength のビッグエンディアンバイト列として表現したものを返す。

集約可能レポート report を与えて、レポートの 共有情報を取得するには、次の手順を実行する。これらは string を返す。

1. scheduledReportTime を、UNIX epoch から report の元のレポート時刻までのduration from とする。

2. sharedInfo を、次のキー/値ペアのordered map とする:

   "api"

   report のapi

   "report_id"

   report のレポート ID

   "reporting_origin"

   report のレポート送信元オリジンの シリアライズ

   "scheduled_report_time"

   scheduledReportTime 内の秒数を、最も近い整数秒へ切り捨てて シリアライズしたもの

   "version"

   "1.0"

3. sharedInfo を与えてinfra 値を json string にシリアライズする結果を返す。

session、URL variables および parameters を与えた リモートエンド手順は次のとおりである:

1. parameters が JSON 形式の Object でない場合、 エラー コード invalid argument を持つ WebDriver エラーを返す。

2. enabled を、parameters から "enabled" という名前のプロパティを 取得する結果とする。

3. enabled が undefined であるか、boolean でない場合、エラー コード invalid argument を持つ WebDriver エラーを返す。

4. 自動化ローカルテストモード 有効を enabled に設定する。

5. データ null を伴うsuccess を返す。

注: これがないと、集約可能レポートは 遅延の対象となり、テストが困難になる。