A human-readable record of reasoning steps where each transition is explicitly justified and independently auditable.