"globally closed" schema?

sh:closed is *local*, i.e. per shape. It checks that a *targeted *node
doesn't include *unsanctioned props*.
I'm looking for ways to declare a *globally *closed schema, i.e. to
catch *untargeted
*nodes, i.e. that the KG doesn't include *unsanctioned nodes*.

1. I guess one can do it with SPARQL (SHACL advanced) by triggering off
some fixed node.
  Here's a very expensive way to catch all nodes: select distinct ?s {?s ?p
?o}
2. It would be useful to "mark" all nodes visited during SHACL validation.
- SHEX has a way to report positive results:
https://shexspec.github.io/primer/ShExJ#validation
- SHACL doesn't have a standard way to report positive results:
https://www.w3.org/TR/shacl/#results-validation-result .
  But there is a note "SHACL implementations may use other SHACL subclasses
of sh:AbstractResult, for example, to report successfully completed
constraint checks or accumulated results."
  Say we "standardize" a new class eg dash:PositiveValidation
Then one could look for nodes that don't appear in
sh:ValidationResult.focusNode nor dash:PositiveValidation.focusNode

All feedback is welcome!