Skip to content

Commit 3e1f139

Browse files
committed
Remove unnecessary envelope wrapping from unsigned examples
1 parent 2d278be commit 3e1f139

1 file changed

Lines changed: 0 additions & 22 deletions

File tree

papers/bcr-2026-004-anchor-predicates.md

Lines changed: 0 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -130,12 +130,10 @@ All proposed codepoints are in the **Core Registry** range (0-99).
130130
**Usage**: Declares which entity provided the anchor attestation.
131131

132132
```
133-
{
134133
Digest(my-assertion) [
135134
'anchoredBy': XID(log-operator)
136135
'anchoredAt': 2026-02-02T12:00:00Z
137136
]
138-
}
139137
```
140138

141139
**Notes**:
@@ -153,13 +151,11 @@ All proposed codepoints are in the **Core Registry** range (0-99).
153151
**Usage**: Establishes an explicit, verifiable link between an anchor assertion and the assertion it attests to.
154152

155153
```
156-
{
157154
Digest(anchor-assertion) [
158155
'anchors': Digest(original-assertion)
159156
'anchoredBy': XID(log-operator)
160157
'anchorDigest': Digest(abc123...)
161158
]
162-
}
163159
```
164160

165161
---
@@ -187,12 +183,10 @@ All proposed codepoints are in the **Core Registry** range (0-99).
187183
**Usage**: Cryptographically binds the anchor to a specific assertion representation.
188184

189185
```
190-
{
191186
Digest(anchor-assertion) [
192187
'anchors': Digest(original-assertion)
193188
'anchorDigest': Digest(e3b0c44298fc1c149afbf4c8996fb92427ae41e4649b934ca495991b7852b855)
194189
]
195-
}
196190
```
197191

198192
**Notes**:
@@ -211,12 +205,10 @@ All proposed codepoints are in the **Core Registry** range (0-99).
211205
**Usage**: Enables cross-log comparison and detection of inconsistent log views.
212206

213207
```
214-
{
215208
Digest(anchor-assertion) [
216209
'anchors': Digest(original-assertion)
217210
'anchorLog': "https://log.example.com/v1"
218211
]
219-
}
220212
```
221213

222214
---
@@ -230,11 +222,9 @@ All proposed codepoints are in the **Core Registry** range (0-99).
230222
**Usage**: Expresses governance or trust thresholds independently of verification.
231223

232224
```
233-
{
234225
Digest(high-value-assertion) [
235226
'anchorQuorum': 3
236227
]
237-
}
238228
```
239229

240230
**Notes**:
@@ -252,13 +242,11 @@ All proposed codepoints are in the **Core Registry** range (0-99).
252242
**Usage**: Supports detection of log equivocation and inconsistent ordering claims.
253243

254244
```
255-
{
256245
Digest(anchor-assertion) [
257246
'anchors': Digest(original-assertion)
258247
'anchorLog': "https://log.example.com/v1"
259248
'anchorIndex': 12345
260249
]
261-
}
262250
```
263251

264252
---
@@ -268,55 +256,45 @@ All proposed codepoints are in the **Core Registry** range (0-99).
268256
### Basic Anchoring
269257

270258
```
271-
{
272259
Digest(anchor-assertion) [
273260
'anchors': Digest(original-document)
274261
'anchoredBy': XID(transparency-log)
275262
'anchoredAt': 2026-02-02T12:00:00Z
276263
'anchorDigest': Digest(...)
277264
'anchorLog': "https://log.example.com/v1"
278265
]
279-
}
280266
```
281267

282268
### Multiple Anchors (Quorum)
283269

284270
```
285-
{
286271
Digest(important-assertion) [
287272
'anchorQuorum': 2
288273
]
289-
}
290274
291275
// Anchor 1
292-
{
293276
Digest(anchor-1) [
294277
'anchors': Digest(important-assertion)
295278
'anchoredBy': XID(log-operator-a)
296279
]
297-
}
298280
299281
// Anchor 2
300-
{
301282
Digest(anchor-2) [
302283
'anchors': Digest(important-assertion)
303284
'anchoredBy': XID(log-operator-b)
304285
]
305-
}
306286
```
307287

308288
### Anchor with Supersession
309289

310290
Using `supersedes` from BCR-2026-005 (General Assertions) to indicate an assertion has been replaced:
311291

312292
```
313-
{
314293
Digest(supersession-anchor) [
315294
'anchors': Digest(superseding-assertion)
316295
'supersedes': Digest(original-anchor)
317296
'anchoredBy': XID(log-operator)
318297
]
319-
}
320298
```
321299

322300
> **Important**: This creates a **new** anchor entry in the log. The original anchor remains permanently in the append-only log — it is not modified or deleted. The `supersedes` predicate creates a forward reference, allowing verifiers to discover that a newer version exists. This is how Certificate Transparency handles certificate revocation: the original certificate's log entry persists, but a newer entry supersedes it.

0 commit comments

Comments
 (0)