automated-qa 0.11.0

package/schemas/graph.schema.json

@@ -0,0 +1,2493 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "https://frontend-verify.dev/schemas/graph.schema.json",
+  "title": "semantic graph v2",
+  "description": "The one current semantic-graph root. Transcribed from lib/qa/coherence/graph.mjs, which remains the authority: schema validity is necessary and NOT sufficient. Storage-ID recomputation, the endpoint matrix, duplicate/conflict detection, unresolved attestation, coverage arithmetic and the unresolved ledger are semantic checks that only validateSemanticGraph can make.",
+  "type": "object",
+  "required": [
+    "artifact",
+    "schemaVersion",
+    "coverage",
+    "nodes",
+    "edges"
+  ],
+  "additionalProperties": false,
+  "properties": {
+    "artifact": {
+      "const": "frontend-verify.semantic-graph"
+    },
+    "schemaVersion": {
+      "const": 2
+    },
+    "coverage": {
+      "$ref": "#/$defs/coverage"
+    },
+    "nodes": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/node"
+      }
+    },
+    "edges": {
+      "type": "array",
+      "items": {
+        "$ref": "#/$defs/edge"
+      }
+    }
+  },
+  "$defs": {
+    "nodeId": {
+      "type": "string",
+      "pattern": "^graph:v2:node:[a-f0-9]{64}$"
+    },
+    "edgeId": {
+      "type": "string",
+      "pattern": "^graph:v2:edge:[a-f0-9]{64}$"
+    },
+    "recordRef": {
+      "type": "string",
+      "pattern": "^graph:v2:(node|edge):[a-f0-9]{64}$"
+    },
+    "domainId": {
+      "type": "string",
+      "pattern": "^[a-f0-9]{64}$"
+    },
+    "readId": {
+      "type": "string",
+      "pattern": "^sha256:[a-f0-9]{64}$"
+    },
+    "certainty": {
+      "enum": [
+        "exact",
+        "resolved",
+        "coarse",
+        "unresolved",
+        "uncertain"
+      ]
+    },
+    "repoPath": {
+      "type": [
+        "string",
+        "null"
+      ],
+      "pattern": "^(?![/\\\\])(?![A-Za-z]:)(?!.*(?:^|[/\\\\])\\.\\.(?:[/\\\\]|$)).{1,512}$"
+    },
+    "span": {
+      "anyOf": [
+        {
+          "type": "null"
+        },
+        {
+          "type": "object",
+          "required": [
+            "file",
+            "start",
+            "end",
+            "line",
+            "column"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "file": {
+              "type": "string",
+              "minLength": 1,
+              "pattern": "^(?![/\\\\])(?![A-Za-z]:)(?!.*(?:^|[/\\\\])\\.\\.(?:[/\\\\]|$)).{1,512}$",
+              "description": "Repository-relative, same rule as provenance.path (the module routes both through safePath). Inlined rather than $ref-composed because the local validator has no allOf."
+            },
+            "start": {
+              "type": "integer",
+              "minimum": 0
+            },
+            "end": {
+              "type": "integer",
+              "minimum": 1
+            },
+            "line": {
+              "type": "integer",
+              "minimum": 1
+            },
+            "column": {
+              "type": "integer",
+              "minimum": 1
+            }
+          }
+        }
+      ]
+    },
+    "provenance": {
+      "type": "object",
+      "required": [
+        "source",
+        "path",
+        "span",
+        "method",
+        "reason"
+      ],
+      "additionalProperties": false,
+      "properties": {
+        "source": {
+          "enum": [
+            "classify",
+            "declaration",
+            "inventory",
+            "rust",
+            "sweep"
+          ]
+        },
+        "path": {
+          "$ref": "#/$defs/repoPath"
+        },
+        "span": {
+          "$ref": "#/$defs/span"
+        },
+        "method": {
+          "enum": [
+            "cache-key",
+            "cache-operation",
+            "mutation",
+            "provenance-cap",
+            "query",
+            "route",
+            "surface",
+            "symbol",
+            "symbol-traversal",
+            "symbol-use"
+          ]
+        },
+        "reason": {
+          "enum": [
+            null,
+            "dynamic-import",
+            "namespace-spread",
+            "export-star",
+            "computed-member",
+            "ambiguous-alias",
+            "unresolved-module",
+            "unsupported-syntax",
+            "absent-producer",
+            "ambiguous-mutation-occurrence",
+            "contract-conflict",
+            "dynamic-key",
+            "no-resolvable-endpoint",
+            "non-json-value",
+            "unattributed-mutation-owner",
+            "unknown-helper",
+            "unsafe-number",
+            "unsupported-client",
+            "unsupported-expression"
+          ]
+        }
+      }
+    },
+    "provenanceList": {
+      "type": "array",
+      "maxItems": 64,
+      "items": {
+        "$ref": "#/$defs/provenance"
+      }
+    },
+    "coverage": {
+      "type": "object",
+      "required": [
+        "status",
+        "factsDiscovered",
+        "factsResolved",
+        "factsUnresolved",
+        "unresolvedIds"
+      ],
+      "additionalProperties": false,
+      "description": "Counts and status are recomputed by validateSemanticGraph; a schema can only check their shape. An absent producer is unmeasured, never a measured empty set.",
+      "properties": {
+        "status": {
+          "enum": [
+            "measured",
+            "partial",
+            "unmeasured"
+          ]
+        },
+        "factsDiscovered": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "factsResolved": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "factsUnresolved": {
+          "type": "integer",
+          "minimum": 0
+        },
+        "unresolvedIds": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/recordRef"
+          }
+        }
+      }
+    },
+    "node": {
+      "oneOf": [
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "finding"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "findingId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "findingId": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "severity",
+                "findingKind",
+                "status"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "severity": {},
+                "findingKind": {},
+                "status": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "feature"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "name"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "name": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "route"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "path"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "path": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "file"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "file": {
+                  "$ref": "#/$defs/repoPath"
+                }
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "surface"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "surfaceId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "surfaceId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "route",
+                "file",
+                "component",
+                "confidence",
+                "surfaceKind"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "route": {},
+                "file": {
+                  "$ref": "#/$defs/repoPath"
+                },
+                "component": {},
+                "confidence": {},
+                "surfaceKind": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "component"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "symbolKey",
+                "route"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "symbolKey": {
+                  "type": "string",
+                  "minLength": 1
+                },
+                "route": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "name",
+                "file"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "name": {},
+                "file": {
+                  "$ref": "#/$defs/repoPath"
+                }
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "symbol"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "symbolKey"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "symbolKey": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "name",
+                "file",
+                "exported",
+                "presentation"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "name": {},
+                "file": {
+                  "$ref": "#/$defs/repoPath"
+                },
+                "exported": {},
+                "presentation": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "query"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "readId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "readId": {
+                  "$ref": "#/$defs/readId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "keyId",
+                "file",
+                "line",
+                "span",
+                "pattern",
+                "endpoint",
+                "family",
+                "familySource",
+                "confidence"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "keyId": {},
+                "file": {
+                  "$ref": "#/$defs/repoPath"
+                },
+                "line": {},
+                "span": {},
+                "pattern": {},
+                "endpoint": {},
+                "family": {},
+                "familySource": {},
+                "confidence": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "api-resource"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "endpoint"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "endpoint": {
+                  "type": "string",
+                  "minLength": 1
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "mutation"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "mutationId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "mutationId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "file",
+                "line",
+                "hook",
+                "endpoint",
+                "family",
+                "familySource",
+                "confidence"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "file": {
+                  "$ref": "#/$defs/repoPath"
+                },
+                "line": {},
+                "hook": {},
+                "endpoint": {},
+                "family": {},
+                "familySource": {},
+                "confidence": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "cache-key"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "cacheKeyId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "cacheKeyId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "sourceProvenance"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "sourceProvenance": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "family"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "familyId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "familyId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "family"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "family": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "truth-subject"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "truthSubjectId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "truthSubjectId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "name"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "name": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "principal"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "principalId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "principalId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "name"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "name": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "context"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "contextId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "contextId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "kind",
+                "transition"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "kind": {},
+                "transition": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "invariant"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "invariantId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "invariantId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "name"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "name": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "flow"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "flowId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "flowId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "route"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "route": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "observation"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "observationId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "observationId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "material",
+                "status"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "material": {},
+                "status": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "workflow-transition"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "transitionId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "transitionId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "fromRoute",
+                "toRoute"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "fromRoute": {},
+                "toRoute": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "recordId",
+            "kind",
+            "identity",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "recordId": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "kind": {
+              "const": "provenance"
+            },
+            "identity": {
+              "type": "object",
+              "required": [
+                "provenanceId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "provenanceId": {
+                  "$ref": "#/$defs/domainId"
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "source",
+                "path",
+                "span",
+                "method",
+                "reason"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "source": {},
+                "path": {},
+                "span": {},
+                "method": {},
+                "reason": {}
+              }
+            }
+          }
+        }
+      ]
+    },
+    "edge": {
+      "oneOf": [
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for renders-through are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "renders-through"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for contains-surface are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "contains-surface"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for realizes are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "realizes"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for uses are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "uses"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [
+                "source"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "source": {}
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "reason"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "reason": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for declares are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "declares"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for requests are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "requests"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for uses-key are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "uses-key"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for reads are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "reads"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for writes are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "writes"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for calls are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "calls"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for invalidates are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "invalidates"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [
+                "operationId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "operationId": {}
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "operation"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "operation": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for direct-updates are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "direct-updates"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [
+                "operationId"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "operationId": {}
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "operation"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "operation": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for reads-via are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "reads-via"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [
+                "path"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "path": {}
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "ownership"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "ownership": {}
+              }
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for renders are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "renders"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for may-observe are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "may-observe"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for implements are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "implements"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for targets are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "targets"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for observed-at are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "observed-at"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for represents are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "represents"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for starts-at are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "starts-at"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for ends-at are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "ends-at"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [],
+              "additionalProperties": false,
+              "properties": {}
+            }
+          }
+        },
+        {
+          "type": "object",
+          "required": [
+            "artifactVersion",
+            "edgeId",
+            "from",
+            "to",
+            "relation",
+            "semanticKey",
+            "certainty",
+            "provenance",
+            "attrs"
+          ],
+          "additionalProperties": false,
+          "description": "Endpoint kinds for evidenced-by are enforced semantically: from/to are storage IDs, so a schema cannot see the kinds they resolve to.",
+          "properties": {
+            "artifactVersion": {
+              "const": 2
+            },
+            "edgeId": {
+              "$ref": "#/$defs/edgeId"
+            },
+            "from": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "to": {
+              "$ref": "#/$defs/nodeId"
+            },
+            "relation": {
+              "const": "evidenced-by"
+            },
+            "semanticKey": {
+              "type": "object",
+              "required": [
+                "reason"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "reason": {
+                  "enum": [
+                    "dynamic-import",
+                    "namespace-spread",
+                    "export-star",
+                    "computed-member",
+                    "ambiguous-alias",
+                    "unresolved-module",
+                    "unsupported-syntax"
+                  ],
+                  "description": "The Task 4 ownership vocabulary (lib/qa/coherence/contracts.mjs OWNERSHIP_REASONS, re-exported as the module's EVIDENCED_BY_REASONS). Closed: the reason is inside the edge digest, so an open value is an open identity input."
+                }
+              }
+            },
+            "certainty": {
+              "$ref": "#/$defs/certainty"
+            },
+            "provenance": {
+              "$ref": "#/$defs/provenanceList"
+            },
+            "attrs": {
+              "type": "object",
+              "required": [
+                "ownership"
+              ],
+              "additionalProperties": false,
+              "properties": {
+                "ownership": {}
+              }
+            }
+          }
+        }
+      ]
+    }
+  }
+}