diff --git a/shacl12-core/index.html b/shacl12-core/index.html
index f9a6a2c0..fbad4cfa 100644
--- a/shacl12-core/index.html
+++ b/shacl12-core/index.html
@@ -1739,6 +1739,14 @@ <h4>Declaring the Severity of a Shape or Constraint</h4>
 							<th>Severity</th>
 							<th>Description</th>
 						</tr>
+						<tr>
+							<td><code>sh:Trace</code></td>
+							<td>A trace message that is not a violation.</td>
+						</tr>
+						<tr>
+							<td><code>sh:Debug</code></td>
+							<td>A debug message that is not a violation.</td>
+						</tr>
 						<tr>
 							<td><code>sh:Info</code></td>
 							<td>A non-critical constraint violation indicating an informative message.</td>
@@ -1752,6 +1760,10 @@ <h4>Declaring the Severity of a Shape or Constraint</h4>
 							<td>A constraint violation.</td>
 						</tr>
 					</table>
+					<p>
+						Validation engines MAY treat <code>sh:Info</code> and <code>sh:Warning</code> as non-violating based on
+						options passed to the engine. By default, they are treated as violations.
+					</p>
 					<p>
 						In addition to declaring severities per shape, the property <code>sh:severity</code> can also be used
 						on a <a>reifier</a> for a triple where the <a>shape</a> is the <a>subject</a> and one of the <a>parameters</a>
@@ -2802,7 +2814,7 @@ <h4>Handling of Recursive Shapes</h4>
 				<h3>Conformance Checking</h3>
 				<p>
 					A <a>focus node</a> <dfn data-lt="conform|conformance">conforms</dfn> to a <a>shape</a> if and only if
-					the set of result of the <a>validation</a> of the <a>focus node</a> against the <a>shape</a> is empty and no <a>failure</a>
+					the set of result of the <a>validation</a> of the <a>focus node</a> against the <a>shape</a> does not contain any results with a severity level representing a violation and no <a>failure</a>
 					has been reported by it.
 				</p>
 				<p>
@@ -2917,7 +2929,7 @@ <h5>Conforms (sh:conforms)</h5>
 						<p>
 							Each SHACL instance of <code>sh:ValidationReport</code> in the results graph has exactly one value for the property <code>sh:conforms</code> and the value is of datatype <code>xsd:boolean</code>.
 							It represents the outcome of the <a>conformance checking</a>.
-							The value of <code>sh:conforms</code> is <code>true</code> if and only if the <a>validation</a> did not produce any <a>validation results</a>, and <code>false</code> otherwise.
+							The value of <code>sh:conforms</code> is <code>true</code> if and only if the <a>validation</a> did not produce any <a>validation results</a> with a severity level representing a violation, and <code>false</code> otherwise.
 						</p>
 					</section>
 					<section id="result">
diff --git a/shacl12-vocabularies/shacl.ttl b/shacl12-vocabularies/shacl.ttl
index 58c2f834..993da322 100644
--- a/shacl12-vocabularies/shacl.ttl
+++ b/shacl12-vocabularies/shacl.ttl
@@ -221,6 +221,18 @@ sh:Severity
 	rdfs:subClassOf rdfs:Resource ;
 	rdfs:isDefinedBy sh: .
 
+sh:Trace
+	a sh:Severity ;
+	rdfs:label "Trace"@en ;
+	rdfs:comment "The severity for a trace validation result."@en ;
+	rdfs:isDefinedBy sh: .
+
+sh:Debug
+	a sh:Severity ;
+	rdfs:label "Debug"@en ;
+	rdfs:comment "The severity for a debug validation result."@en ;
+	rdfs:isDefinedBy sh: .
+
 sh:Info
 	a sh:Severity ;
 	rdfs:label "Info"@en ;