ontology reports
Turn graph inspection into portable evidence.
Generate structured reports from the reusable package: diagnostics, validation issues, disconnected nodes, cycles, authority traces, dependencies, and evidence/value relationships.
Web4 authority and provenance
A visitor can trace who asserts authority, what delegates it, and which evidence supports the claim.
CanonLink agreement graph
A visitor can inspect an agreement relationship without any CanonLink-specific UI living inside the core package.
Valgraf and Incentivis value graph
A visitor can see how value and evidence move through a mission system instead of reading an opaque score.
preview
Web4 Semantic Infrastructure Report
3 authority traces
Authority
3 relationship trace(s) included.
Dependency
2 relationship trace(s) included.
Evidence/value
2 relationship trace(s) included.
# Web4 Semantic Infrastructure Report Generated: 2026-08-21T17:44:17.781Z An example Web4 graph spanning agents, registries, legal authority, value flows, and mission systems. ## Summary - Health: ready - Nodes: 8 - Edges: 7 - Node types: 8 - Edge types: 6 - Validation issues: 0 - Disconnected nodes: 0 - Cycles: 0 ## Validation - No validation issues detected. ## Node Types - system: 1 - agent: 1 - registry: 1 - legal: 1 - value: 1 - mission: 1 - evidence: 1 - schema: 1 ## Edge Types - dependency: 2 - registry: 1 - authority: 1 - delegates: 1 - value: 1 - provenance: 1 ## Disconnected Nodes - No disconnected nodes. ## Cycles - No directed cycles detected. ## Authority Traces - web4 -> authority-registry: registers (registry, authority 2) - canon-paper -> authority-registry: asserts (authority, authority 2) - authority-registry -> agent-runtime: authorizes (delegates, authority 4) ## Dependency Traces - web4 -> agent-runtime: hosts (dependency, authority 2) - schema-contract -> web4: types (dependency, authority 2) ## Evidence And Value Traces - mission-system -> value-graph: incentivizes (value, authority 2) - evidence-ledger -> canon-paper: supports (provenance, authority 2)