Spectre.Governance.Checker.Declarative.Rehearsability (Spectre v0.3.0)

Copy Markdown View Source

Defines the closed live behavior that the declarative checker can replay.

Agent callbacks are sampled behind a protected boundary. Custom routers, effectful handlers, model-backed routing, stateful cases, and unmarked input plugs are refused rather than represented by optimistic test evidence.

Summary

Types

agent_snapshot()
result()

Types

agent_snapshot()

@type agent_snapshot() :: %{
  agent: module(),
  config: keyword(),
  router: keyword(),
  rules: [map()]
}

result()

@type result() :: :ok | {:error, term()}