# `Pm4ExUnit.Conformance`

Formal Token-Based Replay and FSM Conformance Engine for Elixir / ExUnit.
Validates traces against allowed finite state machine transitions and execution paths.
Calculates token replay fitness:
  fitness = 0.5 * (1 - missing / consumed) + 0.5 * (1 - remaining / produced)

Replay semantics are a faithful port of pm4vitest's standard TBR engine
(servengine-frontend/packages/pm4vitest/src/conformance.ts): each valid path
becomes a parallel branch in a block-structured Petri net (shared source place,
per-activity transitions, shared sink place); a trace is replayed with bounded
backtracking choosing the firing sequence minimizing (missing, remaining)
lexicographically.

# `conformance_result`

```elixir
@type conformance_result() :: %{
  success: boolean(),
  fitness: float(),
  violations: [String.t()],
  diagnostics: map()
}
```

# `evaluate`

Evaluates a sequence of events/activities against a set of valid paths or allowed transitions.

---

*Consult [api-reference.md](api-reference.md) for complete listing*