# validation-rules.md field coverage registry.
# Each MODEL names a validation document or subject type. FIELD lines map stored
# properties (or Node enum cases) to rule ids or layer rule names. IGNORE lines
# document computed or out-of-scope constructs excluded from the coverage law.
# The meta-test in ValidationFieldCoverageTests must stay in sync with this file.

MODEL PureXML.Validation.DTDSchema
FIELD models dtdContentModel,dtdUndeclaredElement,dtdStandaloneElementWhitespace
FIELD attributes dtdRequiredAttributes,dtdFixedAttributeValues,dtdEnumeratedAttributeValues,dtdTokenizedAttributeTypes,dtdNotationAttributes,dtdUndeclaredAttributes,dtdStandaloneAttributes
FIELD notations dtdNotationAttributes,dtdDeclarationValidity
FIELD unparsedEntities dtdTokenizedAttributeTypes
FIELD doctypeName dtdRootElementType
FIELD declarationErrors dtdDeclarationValidity
FIELD standalone dtdStandaloneAttributes,dtdStandaloneElementWhitespace
FIELD externalElementModels dtdStandaloneElementWhitespace
FIELD externalAttributes dtdStandaloneAttributes
FIELD parseAdvisories dtdParseAdvisories
IGNORE isEmpty derived summary; no independent constraint

MODEL PureXML.Validation.XSDContext
FIELD types xsdTypeReferenceResolves,xsdContentModelStructure,xsdXsiTypeSubstitutionValid,xsdXsiTypeOverrideResolves,xsdStreamingShallowValidity
FIELD constraints xsdIdentityConstraintXPathsValid,xsdIdentityKeyFieldPresent,xsdIdentityValueUnique,xsdIdentityKeyrefResolves,xsdIdentityFieldCardinality,xsdIdentityFieldMustBeSimple
FIELD rootDeclaration xsdContentModelStructure
FIELD nillableElements xsdNilAttributeRequiresNillable
FIELD elementConstraints xsdNilElementNoFixedConstraint,xsdFixedElementNoChildren,xsdFixedElementValueMatches
FIELD abstractTypes xsdXsiTypeSubstitutionValid
FIELD typeBlock xsdXsiTypeSubstitutionValid
FIELD elementBlock xsdXsiTypeSubstitutionValid
FIELD typeDerivation xsdXsiTypeSubstitutionValid

MODEL PureXML.Model.Element
FIELD name dtdContentModel,dtdUndeclaredElement,dtdUndeclaredAttributes,htmlRequiredParent,htmlVoidElementsAreEmpty,xsdContentModelStructure
FIELD attributes uniqueAttributes,dtdRequiredAttributes,dtdFixedAttributeValues,dtdEnumeratedAttributeValues,dtdTokenizedAttributeTypes,dtdNotationAttributes,dtdUndeclaredAttributes,dtdStandaloneAttributes
FIELD children dtdContentModel,htmlVoidElementsAreEmpty,htmlRequiredParent,xsdContentModelStructure
IGNORE text derived from direct text and CDATA children

MODEL PureXML.Model.Attribute
FIELD name uniqueAttributes,dtdUndeclaredAttributes,dtdRequiredAttributes,dtdFixedAttributeValues,dtdEnumeratedAttributeValues,dtdTokenizedAttributeTypes,dtdNotationAttributes
FIELD value dtdFixedAttributeValues,dtdEnumeratedAttributeValues,dtdTokenizedAttributeTypes,dtdNotationAttributes,dtdIdentifierIntegrity

MODEL PureXML.Model.Node
CASE document dtdDeclarationValidity,dtdRootElementType,dtdIdentifierIntegrity,htmlUniqueIdentifiers,xsdContentModelStructure,xsdIdentityConstraintXPathsValid
CASE element uniqueAttributes,dtdContentModel,dtdRequiredAttributes,dtdFixedAttributeValues,dtdEnumeratedAttributeValues,dtdTokenizedAttributeTypes,dtdNotationAttributes,dtdUndeclaredElement,dtdUndeclaredAttributes,dtdStandaloneAttributes,dtdStandaloneElementWhitespace,htmlVoidElementsAreEmpty,htmlRequiredParent,xsdContentModelStructure
CASE text dtdContentModel
CASE cdata dtdContentModel
IGNORE comment no DTD or XSD constraints on comments
IGNORE processingInstruction no DTD or XSD constraints on processing instructions

MODEL PureXML.Validation.ConformanceCase
FIELD name conformanceMatchesExpected
FIELD actual conformanceMatchesExpected
FIELD expected conformanceMatchesExpected

MODEL PureXML.Schema.SchemaTypeFact
FIELD name xsdFinalRespected,xsdRestrictionsAreSubsets
FIELD derivation xsdFinalRespected,xsdRestrictionsAreSubsets

MODEL PureXML.Schema.CompiledSchemaFacts
FIELD types xsdFinalRespected,xsdRestrictionsAreSubsets
FIELD typeDerivation xsdFinalRespected,xsdRestrictionsAreSubsets
FIELD typeFinal xsdFinalRespected

MODEL PureXML.Schema.ResolvedElement
FIELD element xsdStreamingShallowValidity
FIELD type xsdStreamingShallowValidity
