Canon 0.5.0: uses_provisions so P stays purchased platform

A provision can name which other provision satisfies a catalog
dependency. Relation vocabulary is depends_on / may_use only.
Quoted sits below the invoiced/measured peer pair for propagation.

infospace/models/governance/InfoTechCanonGovernanceModel.md

@@ -1078,8 +1078,9 @@ assumed hourly rate are both numbers; they are not both knowledge.
 
 The closed vocabulary is held in `models/governance/evidence-basis.yaml` and
 is not restated as a second list here. Strength is a **tier**, not a total
-order: `invoiced` and `measured` are peers. `invoiced`, `measured`, and
-`quoted` are **evidenced**. Everything below that tier is inference.
+order: `invoiced` and `measured` are peers (`observed`). `quoted` sits
+below that pair for propagation and still counts as **evidenced** for
+decision grades. Everything below `quoted` is inference.
 
 Normative rules:
 

infospace/models/governance/evidence-basis.yaml

@@ -52,24 +52,35 @@ bases:
     description: No value exists. MUST NOT carry a quantity. MUST name the gap
       and its owner.
 # Strongest to weakest. Members of one tier are peers: weakest() among only
-# invoiced and measured MUST NOT imply a ranking.
+# invoiced and measured MUST NOT imply a ranking. quoted is evidenced for
+# decision grades but sits below that peer pair for propagation.
 tiers:
-  - id: evidenced
+  - id: observed
     rank: 0
-    members: [invoiced, measured, quoted]
-    note: invoiced and measured are peers. quoted is evidenced for grading but
-      does not outrank or sit below a measurement of a different quantity.
-  - id: projected
+    members: [invoiced, measured]
+    evidenced: true
+    note: peers. An invoice is authoritative for a payment; a measurement is
+      authoritative for a quantity. Neither outranks the other.
+  - id: quoted
     rank: 1
-    members: [projected]
-  - id: judgement
+    members: [quoted]
+    evidenced: true
+    note: stated by a counterparty. Weaker than observed for propagation;
+      still evidenced for decision grades.
+  - id: projected
     rank: 2
+    members: [projected]
+    evidenced: false
+  - id: judgement
+    rank: 3
     members: [estimated, assumed]
+    evidenced: false
     note: both yield decision grade indicative; they are not ranked against
       each other.
   - id: unknown
-    rank: 3
+    rank: 4
     members: [unknown]
+    evidenced: false
 rules:
   - id: weakest-input-wins
     statement: A derived value is only as strong as its weakest input, compared
@@ -96,7 +107,8 @@ qualifiers:
       basis. A value may be measured and still be a single noisy sample.
 decision_grades:
   - id: evidenced
-    when: Every load-bearing value resolves to the evidenced tier.
+    when: Every load-bearing value resolves to an evidenced tier
+      (observed or quoted).
   - id: projected
     when: The weakest resolved tier is projected.
   - id: indicative