diff --git a/scripts/validation-coverage.tsv b/scripts/validation-coverage.tsv
index 481ec9d..ba9f61a 100644
--- a/scripts/validation-coverage.tsv
+++ b/scripts/validation-coverage.tsv
@@ -24,6 +24,10 @@ PureYAML.Model.Value	validated	core YAML value; mapping-key uniqueness is a runt
 PureYAML.Model.Mapping	validated	mapping keys must be unique within a mapping
 PureYAML.Model.Pair	excluded	data-transfer key/value pair; no invariant beyond its components
 PureYAML.Model.Key	excluded	closed sum type (string/sequence/mapping); illegal states unrepresentable
+PureYAML.Model.LocatedValue	excluded	located projection of a Model.Value with source spans; the value invariant lives on the projected Model.Value
+PureYAML.Model.LocatedPair	excluded	located key/value pair; data-transfer, no invariant beyond its components
+PureYAML.Model.SourceRange	excluded	source span (start/end position); positional data-transfer, no invariant
+PureYAML.Model.SourcePosition	excluded	source position (line/column); positional data-transfer, no invariant
 
 # --- stream ---
 PureYAML.Stream.Document	excluded	wraps a validated Model.Value plus an index; no own invariant