Configure linkchecker

.github/workflows/linkcheck.cfg.json

@@ -0,0 +1,10 @@
+{
+  "ignorePatterns": [
+    {
+      "pattern": "https://share.ansi.org/Shared%20Documents/Standards%20Activities/American%20National%20Standards/Procedures,%20Guides,%20and%20Forms/2020_ANSI_Essential_Requirements.pdf"
+    },
+    {
+      "pattern": "https://share.ansi.org/Shared%20Documents/Standards%20Activities/American%20National%20Standards/Procedures,%20Guides,%20and%20Forms/2020_ANSI_Essential_Requirements.pdf"
+    }
+  ]
+}

.github/workflows/linkcheck.yml

@@ -1,14 +1,22 @@
 name: Check Markdown links
 
-on: push
+on:
+  push:
+    branches:
+      - main
+  pull_request:
 
 jobs:
   markdown-link-check:
     runs-on: ubuntu-latest
     steps:
-    - uses: actions/checkout@master
-    - uses: gaurav-nelson/github-action-markdown-link-check@v1
-      with:
-        use-quiet-mode: 'yes'
-        check-modified-files-only: 'yes'
-        base-branch: 'main'
+      - uses: actions/checkout@master
+      - uses: gaurav-nelson/github-action-markdown-link-check@v1
+        with:
+          use-quiet-mode: "yes"
+          check-modified-files-only: "yes"
+          base-branch: "main"
+          config-file: "./.github/workflows/linkcheck.cfg.json"
+      - uses: DavidAnson/markdownlint-cli2-action@v9
+        with:
+          globs: "README.md"

README.md

@@ -328,7 +328,7 @@ Abilities MAY be organized in a hierarchy that abstract over many [Operation]s.
 
 ### 4.3.1 Reserved Abilities
 
-#### 43.1.1 `ucan` Namespace
+#### 4.3.1.1 `ucan` Namespace
 
 The `ucan` abilty namespace MUST be reserved. This MUST include any ability string matching the regex `/^ucan.*/`
 
@@ -378,10 +378,6 @@ flowchart BT
   ... --> *
 ```
 
-#### 4.3.1.3 Bottom
-
-In concept there is a "bottom" ability ("none" or "void"), but it is not possible to represent in an ability. As it is merely the absence of any ability, it is not possible to construct a capability with a bottom ability.
-
 ## 4.4 Caveats
 
 Caveats define a set of constraints on what can be redelegated or invoked. Caveat semantics MUST be established by the Subject. They are openly extensivle, but vocabularies may be reused across many Subjects.
@@ -437,36 +433,25 @@ The above MUST be interpreted as the set of capabilities below in the following
 When validating a delegation chain in the abstract, all caveats MUST be present in each sucessive delegation. At invocation time, only the capability being invoked MUST be match the delegation chain.
 Note that all caveats need to be understable to th execitor
 
-### 4.4.1 All or Nothing
-
-Caveats MAY include user-supplied fields, but there are two default cases that MUST be supported. These are called the "top" and "bottom" caveats.
+### 4.4.1 The "True" Caveat
 
-#### 4.4.1.1 The Top Caveat
-
-The top caveat MUST represent the lack of caveat. In predicate logic terms, it represents `true`. In [normal form], it MUST be represented as `[[{}]]`. In compact form, the caveat array MAY be omitted.
+The "True" caveat MUST represent the lack of caveat. In predicate logic terms, it represents `true`. In [normal form], it MUST be represented as `[[{}]]`. In compact form, the caveat array MAY be omitted.
 
 ``` js
-// Normal Form
+// True Caveat in Normal Form
 {
-  "did:key:z6MkiTBz1ymuepAQ4HEHYSF1H8quG5GLVVQR3djdX3mDooWp": {
+  "did:plc:ewvi7nxzyoun6zhxrhs64oiz": {
     "some/ability": [[{}]]
   }
 }
 
-// Compact Form
-{
-  "did:key:z6MkiTBz1ymuepAQ4HEHYSF1H8quG5GLVVQR3djdX3mDooWp": "some/ability",
-}
-```
-
-#### 4.4.1.2 The Bottom Caveat
-
-The explicitly empty caveat (`[[]]`) MUST represent disallowing any action on the resource. In predicate logic terms, this represents `false`. While possible to express with the bottom caveat, it is equivalent to simply omitting the affected branches or capabilities. For reasons of legibility and size, omission is RECOMMENDED.
-
-``` js
+// Valid Compact Forms of the True Caveat
 {
+  "did:plc:ewvi7nxzyoun6zhxrhs64oiz": "some/ability",
   "did:key:z6MkiTBz1ymuepAQ4HEHYSF1H8quG5GLVVQR3djdX3mDooWp": {
-    "some/ability": [[]] // Equivalent to omitting this ability
+    "foo/*": {}
+    "bar/*": []
+    "baz/*": [{}]
   }
 }
 ```
@@ -837,6 +822,7 @@ We want to especially recognize [Mark Miller] for his numerous contributions to
 
 [Facts]: #325-facts
 [Top Ability]: #4312--aka-top
+[noral form]
 
 <!-- External Links -->