mirrors/fep
1
0
Fork 0
mirror of https://codeberg.org/fediverse/fep.git synced 2026-08-05 11:46:04 +00:00
Code Packages Wiki Activity

FEP-0391: Fix formatting issues on Codeberg (#311)

Browse Source 
Reviewed-on: https://codeberg.org/fediverse/fep/pulls/311
Co-authored-by: a <a@trwnh.com>
Co-committed-by: a <a@trwnh.com>
This commit is contained in:
a
2024-04-30 17:41:45 +00:00
committed by silverpill
parent 4a8789867e
commit 396649d1cd
1 changed files with 12 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
fep/0391/fep-0391.md
+12
View File
@@ -52,14 +52,19 @@ This is not particularly useful to prove, and at best can only be implied if `<B
Claim
: Actor `<B>`'s following collection (`<B>.following`) contains actor `<A>`
Equivalent claim
: Actor `<B>` claims that `<B>` is following `<A>`
Another equivalent claim
: Actor `<B>` claims that `<A>` is followed by `<B>`
Inverse claim
: Actor `<A>`'s followers collection (`<A>.followers`) contains actor `<B>`
Equivalent inverse claim
: Actor `<A>` claims that `<A>` is followed by `<B>`
Another equivalent inverse claim
: Actor `<A>` claims that `<B>` is following `<A>`
@@ -93,14 +98,19 @@ This can be verified by showing one of the following:
Claim
: Actor `<B>`'s followers collection (`<B>.followers`) contains actor `<A>`
Equivalent claim
: Actor `<B>` claims that `<B>` is followed by `<A>`
Another equivalent claim
: Actor `<B>` claims that `<A>` is following `<B>`
Inverse claim
: Actor `<A>`'s following collection (`<A>.following`) contains actor `<B>`
Equivalent inverse claim
: Actor `<A>` claims that `<A>` is following `<B>`
Another equivalent inverse claim
: Actor `<A>` claims that `<B>` is followed by `<A>`
@@ -162,6 +172,7 @@ The Announce activity `<S>` MAY `result` in an `Add` activity `<R>` targeting `<
Claim
: Object `<R>` is `inReplyTo` object `<O>`
Inverse claim
: Object `<O>`'s replies collection (`<O>.replies`) contains object `<R>` attributed to actor `<A>`
@@ -175,6 +186,7 @@ The inverse claim can be verified by showing that an activity exists where:
Claim
: Object `<O>` has a `context` pointing to context collection `<C>`
Inverse claim
: Context collection `<C>` contains object `<O>`