16.58 15.3.9 Trazas de prueba y explicabilidad
| Campo | Definición |
|---|---|
proofId |
IRI or stable string |
outputAssertionId |
assertion or RDF-star statement reference |
ruleId |
INF-nnn |
reasoningProfileId |
RPn-* |
inputAssertionIds |
ordered array |
inputGraphDigests |
array<{graphId,digest,algorithm}> |
ruleSetDigest |
SHA-256 or identified digest |
engineId |
implementation and version |
startedAt |
timestamp |
completedAt |
timestamp |
confidence |
Deterministic|Bounded|Heuristic |
status |
Succeeded|Skipped|Rejected|Conflicted |
explanation |
human-readable rationale |
provActivityId |
PROV activity reference |
Cada salida derivada debe responder: qué regla, qué entradas, qué perfil, qué motor, qué versión y qué digest. La traza no debe depender de logs efímeros.
assertion A17
wasGeneratedBy reasoning-run-2026-08-01
ruleId INF-003
inputAssertions [A2, A9]
profile RP2-OWL2RL
ruleSetDigest sha256:...
output (x narrowerTechnique y)