16.61 15.3.12 Validación SHACL y quality gates
| Shape | Severidad | Restricciones |
|---|---|---|
| InferenceRuleShape | Violation | unique rule id known profile non-empty body and head materialization policy controlled |
| ProofTraceShape | Violation | rule resolves inputs resolve output resolves engine and ruleset digest present |
| NamedGraphSeparationShape | Violation | asserted facts not written into inferred graphs inferred facts never overwrite asserted facts |
| AssertionStatusShape | Violation | status controlled retracted assertion retains provenance unknown is not negative |
| StrictAcyclicRelationShape | Violation | no cycle for broaderTechnique, hasPrerequisite, supersedes, deprecatedInFavorOf |
| IrreflexiveRelationShape | Violation | no self-loop for controlled irreflexive predicates |
| InverseConsistencyShape | Warning | missing materialized inverse reported under RP2 |
| SymmetryConsistencyShape | Warning | missing symmetric counterpart reported under RP2 |
| CandidatePromotionShape | Violation | prerequisiteCandidate cannot become hasPrerequisite without adjudication activity |
| ExactEquivalenceShape | Violation | exactEquivalent requires semantic evidence and curator approval |
| ContradictionPreservationShape | Violation | positive and negative evidence retained conflict state emitted |
| QueryCatalogShape | Violation | query id unique profile resolves result contract and safeguard present |
| ReleaseReasoningManifestShape | Violation | profile list engine versions ruleset digest graph digests validation report |
| ExperimentalProfileShape | Violation | feature flag isolated graph draft specification version recorded |
| ClosedWorldProhibitionShape | Violation | no domain fact inferred solely from absence |
| PathQuerySafetyShape | Warning | timeout result limit allowed predicates cycle-safe graph |
| CanonicalDigestShape | Violation | algorithm identified digest present canonicalization success |
| ReasonerConformanceShape | Violation | mandatory test suite passed engine capability declaration matches profile |
SHACL puede ejecutarse sobre grafos que ya incluyen entailments o sobre una vista que los calcule; el requisito debe declararse mediante el perfil y las capacidades del procesador [P52-R7].