dm-interpreter/io.github.mbackschat.a12.dm.interpreter/ValidationFinding

ValidationFinding

data class ValidationFinding(val code: String, val rulePath: String, val errorPath: A12PartiallyKnownMultiPointer, val severity: ValidationSeverity, val type: ValidationFindingType, val text: String, val referenced: List<A12PartiallyKnownMultiPointer>, val fillToFix: List<A12PartiallyKnownMultiPointer>)

Detached, kernel-free projection of one validation finding.

Its three addresses are A12's message pointer. IMessage types getErrorFieldPointer(), getReferencedFieldsPointers() and getRefOmissionErrorResponsiblePointers() as PartiallyKnownDocumentMultiPointer, so errorPath, referenced and fillToFix carry A12PartiallyKnownMultiPointer — the value the engine retains, not a string it was rendered into. The distinction is observable: an unresolved level (A12PartiallyKnownMultiPointer.UNKNOWN) and a terminal wildcard are exactly what a rendered path drops, so a consumer that needs them can only get them from here.

Rendering is the consumer's call: A12PartiallyKnownMultiPointer.toExactPointer plus A12PointerFormat.render gives A12's canonical pointer string for an address that names one cell, and null for one that does not.