AuditResult

DSL-layer view of ca.acendas.kstate.saga.journal.VerifyResult returned by the saga audit "id" DSL.

Provides plain-English sealed case names for pattern-matching:

when (val r = saga audit "order-42") {
    is AuditResult.Intact     -> log("chain ok, head=${r.headHash}")
    is AuditResult.Tampered   -> alert("tamper at seq ${r.atSeq}")
    is AuditResult.Incomplete -> resume(r.resumeFromSeq)
}

With import ca.acendas.kstate.saga.dsl.* the AuditResult. prefix can be dropped (see Intact, Tampered, Incomplete typealiases below).

Typed API coexistence

Users who need ca.acendas.kstate.saga.journal.VerifyResult.Valid.verifiedSeqs call journal.verify(runId) directly — the DSL form intentionally drops low-level fields to keep the audit vocabulary at the user's mental model.

Inheritors