From 396649d1cd156051334bce457e175ce53d6e5b76 Mon Sep 17 00:00:00 2001 From: a Date: Tue, 30 Apr 2024 17:41:45 +0000 Subject: [PATCH] FEP-0391: Fix formatting issues on Codeberg (#311) Reviewed-on: https://codeberg.org/fediverse/fep/pulls/311 Co-authored-by: a Co-committed-by: a --- fep/0391/fep-0391.md | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/fep/0391/fep-0391.md b/fep/0391/fep-0391.md index 9710de5..6fe15e8 100644 --- a/fep/0391/fep-0391.md +++ b/fep/0391/fep-0391.md @@ -52,14 +52,19 @@ This is not particularly useful to prove, and at best can only be implied if ``'s following collection (`.following`) contains actor `` + Equivalent claim : Actor `` claims that `` is following `` + Another equivalent claim : Actor `` claims that `` is followed by `` + Inverse claim : Actor ``'s followers collection (`.followers`) contains actor `` + Equivalent inverse claim : Actor `` claims that `` is followed by `` + Another equivalent inverse claim : Actor `` claims that `` is following `` @@ -93,14 +98,19 @@ This can be verified by showing one of the following: Claim : Actor ``'s followers collection (`.followers`) contains actor `` + Equivalent claim : Actor `` claims that `` is followed by `` + Another equivalent claim : Actor `` claims that `` is following `` + Inverse claim : Actor ``'s following collection (`.following`) contains actor `` + Equivalent inverse claim : Actor `` claims that `` is following `` + Another equivalent inverse claim : Actor `` claims that `` is followed by `` @@ -162,6 +172,7 @@ The Announce activity `` MAY `result` in an `Add` activity `` targeting `< Claim : Object `` is `inReplyTo` object `` + Inverse claim : Object ``'s replies collection (`.replies`) contains object `` attributed to actor `` @@ -175,6 +186,7 @@ The inverse claim can be verified by showing that an activity exists where: Claim : Object `` has a `context` pointing to context collection `` + Inverse claim : Context collection `` contains object ``