From 8a3deaebb4ef845ee97814199ee2d836430623b9 Mon Sep 17 00:00:00 2001 From: Mihaela Mihaljevic Date: Sun, 12 Jul 2026 18:11:40 +0200 Subject: [PATCH] chore(validation): update coverage manifest for the renamed types The pre-push validation-coverage gate caught the previous commit's renames (Check/Issue/SubjectContext/BuiltinCheck/AnyCheck) as unclassified new types and stale old entries. Reclassify them under their new names and add the new Traversable protocol. --- scripts/validation-coverage.tsv | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/scripts/validation-coverage.tsv b/scripts/validation-coverage.tsv index 0cb300c..c3eab15 100644 --- a/scripts/validation-coverage.tsv +++ b/scripts/validation-coverage.tsv @@ -63,16 +63,15 @@ PureYAML.Tagged.Document excluded wraps a validated Tagged.Node PureYAML.Tagged.ConstructionContext excluded construction context data-transfer type PureYAML.Tagged.ConstructionError excluded error enum; data-transfer PureYAML.Tagged.Constructor excluded tag-construction engine; not a validated subject -PureYAML.Tagged.BuiltinCheck excluded caseless namespace of the tagged layer's built-in checks -PureYAML.Tagged.Validator excluded tagged-tree traversal over the shared Check framework; not a validated subject +PureYAML.Tagged.BuiltinValidation excluded caseless namespace of the tagged layer's built-in checks PureYAML.Tagged.Dumper excluded tagged-tree emitter; renders a validated Tagged.Node, not a validated subject PureYAML.Tagged.ScalarStyle excluded closed enum; illegal states unrepresentable PureYAML.Tagged.CollectionStyle excluded closed enum; illegal states unrepresentable # --- validation framework's own types --- PureYAML.Validation.Validator excluded validation machinery; not a validated subject -PureYAML.Validation.Issue excluded validation error data-transfer type -PureYAML.Validation.Issue.Collection excluded error aggregate; data-transfer +PureYAML.Validation.ValidationError excluded validation error data-transfer type +PureYAML.Validation.ValidationErrorCollection excluded error aggregate; data-transfer PureYAML.Validation.Result excluded validation result data-transfer type PureYAML.Validation.Severity excluded closed enum; illegal states unrepresentable PureYAML.Validation.Path excluded coding-path data-transfer type @@ -86,10 +85,11 @@ PureYAML.Validation.Diagnostic excluded diagnostic data-transfer type PureYAML.Validation.DiagnosticKind excluded closed enum; illegal states unrepresentable PureYAML.Validation.PreflightScanner excluded pre-parse scanner engine; not a validated subject PureYAML.Validation.Validatable excluded marker protocol constraining check subjects; no instances or state of its own -PureYAML.Validation.SubjectContext excluded read-only context passed to a type-directed check; not a subject -PureYAML.Validation.Check excluded the type-directed validation value (Validation role); a rule, not a subject -PureYAML.Validation.AnyCheck excluded type-erased check; validation dispatch machinery -PureYAML.Validation.BuiltinCheck excluded caseless namespace of built-in checks +PureYAML.Validation.Traversable excluded traversal protocol constraining Validator's walked subjects; no instances or state of its own +PureYAML.Validation.ValidationContext excluded read-only context passed to a type-directed check; not a subject +PureYAML.Validation.Validation excluded the type-directed validation value; a rule, not a subject +PureYAML.Validation.AnyValidation excluded type-erased check; validation dispatch machinery +PureYAML.Validation.BuiltinValidation excluded caseless namespace of built-in checks PureYAML.Streaming.Token.Kind excluded closed enum mirroring libyaml token kinds; illegal states unrepresentable PureYAML.Streaming.Token.ScalarStyle excluded closed enum; illegal states unrepresentable PureYAML.Streaming excluded caseless namespace; holds no instances or state