Address warnings from building spec (#1523)

* Suppress warnings about unreferenced definitions

* Address RFC2119 keyword warnings

* Address example-ID warnings

* Fail spec builds on lint issues

To help catch unused definitions.

Author: apasel422

Makefile

@@ -18,7 +18,7 @@ $(bikeshed): $(venv-marker) Makefile
 	@touch $@
 
 $(OUT_DIR)/index.html: index.bs $(OUT_DIR) $(bikeshed)
-	$(bikeshed) --die-on=warning spec $< $@
+	$(bikeshed) --die-on=lint spec $< $@
 
 validator: $(OUT_DIR)/validate-headers.html $(OUT_DIR)/validate-headers.js $(OUT_DIR)/filters.html $(OUT_DIR)/filters-main.js
 

index.bs

@@ -431,7 +431,7 @@ a [=set=] of [=strings=] |allowedKeys|:
         value |value|, and the parameters |params| to |entries|.
 1. Return a [=structured header/dictionary=] containing |entries|.
 
-The user agent may "[=structured header/define new structured fields|grease=]" the
+The user agent can "[=structured header/define new structured fields|grease=]" the
 dictionary structured headers according to the preceding algorithm to help ensure that recipients
 use a proper structured header parser, rather than naive string equality or
 `contains` operations, which makes it easier to introduce backwards-compatible
@@ -443,14 +443,14 @@ members helps ensure that, e.g., "`key1, key2`" is treated equivalently to "`key
 In the following example, only the "`trigger`" key should be interpreted by the
 recipient after the header has been parsed as a structured dictionary:
 
-
+ id=grease-eligible>
 Attribution-Reporting-Eligible: not-event-source, trigger=event-source;navigation-source=3
 
 
 In the following example, only the "`os`" key should be interpreted by the
 recipient after the header has been parsed as a structured dictionary:
 
-
+ id=grease-support>
 Attribution-Reporting-Support: os=web
 
 
@@ -1173,7 +1173,7 @@ Possible values are:
 "source-storage-limit"
 "source-success"
 "source-trigger-state-cardinality-limit"
-"source-unknown-error"
+" noexport>source-unknown-error"
 
 
 A trigger debug data type is a [=debug data type=] for trigger registrations.
@@ -1201,7 +1201,7 @@ Possible values are:
 "trigger-no-matching-filter-data"
 "trigger-no-matching-source"
 "trigger-reporting-origin-limit"
-"trigger-unknown-error"
+" noexport>trigger-unknown-error"
 
 
 An OS debug data type is a [=debug data type=] for OS registrations.
@@ -1212,7 +1212,7 @@ Possible values are:
 "os-trigger-delegated"
 
 
-A header errors debug data type is a [=debug data type=] for
+A  noexport>header errors debug data type is a [=debug data type=] for
 registration header errors. Possible values are:
 
 
@@ -1587,7 +1587,7 @@ To serialize [=event-level report/attribution destinations=] |destina
 1. If |destinationStrings|'s [=set/size=] is equal to 1, return |destinationStrings|[0].
 1. Return |destinationStrings|.
 
-|destinations| is required to be sorted to avoid revealing extra
+|destinations| has to be sorted to avoid revealing extra
 information about the original source registration, namely the order of the
 "[=source-registration JSON key/destination=]" field in the
 original JSON registration, which can be used to distinguish semantically
@@ -1695,7 +1695,7 @@ To parse an aggregation coordinator given |value|:
 
 Parsing aggregatable debug reporting config
 
-An aggregatable-debug-reporting JSON key is one of the following:
+An  noexport>aggregatable-debug-reporting JSON key is one of the following:
 
 
 "aggregation_coordinator_origin"
@@ -1789,7 +1789,7 @@ and an [=aggregatable debug reporting config=] |default|:
 1. Return |aggregatableDebugReportingConfig|.
 
 The parsing errors are intentionally ignored in this algorithm with |default|
-returned to avoid data loss from the optional debug reporting feature.
+returned to avoid data loss from the debug reporting feature.
 
 Getting registration info
 
@@ -2124,9 +2124,9 @@ and a [=response=] |response|:
 
 1. The user-agent may ignore the response; if so, return.
 
-    The user-agent may prevent attribution for a number of reasons, such as user opt-out. In these
+    The user-agent can prevent attribution for a number of reasons, such as user opt-out. In these
     cases, it is preferred to abort the API flow at response time rather than at request time so this
-    state is not immediately detectable. Attribution may also be blocked if the reporting origin is not
+    state is not immediately detectable. Attribution can also be blocked if the reporting origin is not
     enrolled.
 
 1. [=Queue a task=] on the [=networking task source=] to proceed with the following steps.
@@ -2373,7 +2373,7 @@ To compute the scopes channel capacity of a source given a positive i
 
 Parsing source-registration JSON
 
-A source-registration JSON key is one of the following:
+A  noexport>source-registration JSON key is one of the following:
 
 
 "aggregatable_debug_reporting"
@@ -2857,11 +2857,11 @@ To delete sources for unexpired destination limit given a [=set=] of
         1. [=set/Append=] |report|'s [=event-level report/internal ID=] to |deletedEventLevelReports|.
         1. [=set/Remove=] |report| from the [=event-level report cache=].
 
-    Leaking browsing history of destinations deactivated for unexpired
+    Leaking browsing history of destinations deactivated for the unexpired
     destination limit from [=event-level reports=] whose [=event-level report/trigger time=]
     is earlier than |now| is mitigated by the presence of [=obtain a fake report|fake reports=].
     [=Event-level reports=] whose [=event-level report/trigger time=] is greater
-    than or equal to |now| must be deleted to avoid exposing whether an
+    than or equal to |now| have to be deleted to avoid exposing whether an
     [=attribution source=] has a [=attribution source/randomized response=].
 
 1. Let |deletedAggregatableReports| be a new [=set=].
@@ -3041,7 +3041,7 @@ a [=boolean=] |isNoised|, and a [=boolean=] |destinationLimitReplaced|:
 1. If |destinationLimitReplaced| is true, [=map/set=] |body|["`source_destination_limit`"]
     to the user agent's [=max destinations covered by unexpired sources=], [=serialize an integer|serialized=].
 
-The "`source_destination_limit`" field may be included to indicate that
+The "`source_destination_limit`" field can be included to indicate that
 [=max destinations covered by unexpired sources=] was hit, which is not
 reported as "[=source debug data type/source-destination-limit=]" to prevent side-channel
 leakage of cross-origin data.
@@ -3311,16 +3311,16 @@ To process an attribution source given an [=attribution source=] |sou
 privacy budget of all possible destinations.
 
 The limits that are not reported as [=source debug data type/source-success=]
-in [=verbose debug reports=] should be checked before any limits that are reported implicitly as
+in [=verbose debug reports=] have to be checked before any limits that are reported implicitly as
 [=source debug data type/source-success=] (
 [=source debug data type/source-destination-global-rate-limit=] and
 [=source debug data type/source-reporting-origin-limit=]) to
 prevent side-channel leakage of cross-origin data. Furthermore, the [=verbose debug data=]
-should be fully determined regardless of the result of checks on implicitly reported limits.
+have to be fully determined regardless of the result of checks on implicitly reported limits.
 
 # Triggering Algorithms # {#trigger-algorithms}
 
-A trigger-registration JSON key is one of the following:
+A  noexport>trigger-registration JSON key is one of the following:
 
 
 "aggregatable_debug_reporting"
@@ -3688,16 +3688,16 @@ To match [=filter values=] with negation given a [=filter value=] |a|
 
 To match an attribution source against a filter config given an
 [=attribution source=] |source|, a [=filter config=] |filter|, a [=moment=] |moment|, and a [=boolean=]
-isNegated:
+|isNegated|:
 
 1. Let |lookbackWindow| be |filter|'s [=filter config/lookback window=].
 1. If |lookbackWindow| is not null:
     1. If the [=duration from=] |moment| and the |source|'s [=attribution source/source time=] is greater than |lookbackWindow|:
         1. If |isNegated| is false, return false.
     1. Else if |isNegated| is true, return false.
 
-    If non-negated, the source must have been registered inside of the
-    lookback window. If negated, it must be outside of the lookback window.
+    If non-negated, the source had to be registered inside of the
+    lookback window. If negated, it had to be outside of the lookback window.
 
 1. Let |filterMap| be |filter|'s [=filter config/map=].
 1. Let |sourceData| be |source|'s [=attribution source/filter data=].
@@ -3926,7 +3926,7 @@ an [=event-level report=] |b| if any of the following are true:
 * |a|'s [=event-level report/trigger priority=] is equal to |b|'s [=event-level report/trigger priority=]
      and |a|'s [=event-level report/trigger time=] is greater than |b|'s [=event-level report/trigger time=].
 
-An event-level-report-replacement result is one of the following:
+An  noexport>event-level-report-replacement result is one of the following:
 
 
 : "add-new-report"
@@ -4541,7 +4541,7 @@ To queue reports for delivery given a [=set=] of
     1. [=set/Remove=] |report| from |cache|.
 
         In order to support sending, waiting, and retries across various
-         forms of interruption, including shutdown, the user agent may need to
+         forms of interruption, including shutdown, the user agent might need to
          persist reports that are in the process of being sent in some other
          storage.
     1. [=list/Append=] |report| to |reportsToSend|.
@@ -4646,7 +4646,7 @@ Issue: Specify this in terms of [=fetch=].
 
 The user agent might enforce weekly key rotation. If there are multiple keys, the user agent
 might independently pick a key uniformly at random for every encryption operation.
-The key should be uniquely identifiable.
+The key has to be uniquely identifiable.
 
 An [=aggregatable report=] |report|'s plaintext payload
 is the result of running the following steps:
@@ -5063,7 +5063,7 @@ configuration.
         
             
                 
-                
+