mixle.stats.latent.markov_stopping module

Shared validation and bounded-failure contracts for stopping-time Markov models.

exception HiddenMarkovNonterminationError(*, mode, max_steps, last_state=None)

Bases: RuntimeError

Raised when bounded stopping-time sampling does not reach its terminal event.

Parameters:

• mode (str)

• max_steps (int)

• last_state (int | None)

Return type:

None

validated_state_ids(values, n_states, *, context, field)

Return exact in-range state IDs without lossy integer coercion.

Parameters:

• values (Iterable[Any] | None)

• n_states (int)

• context (str)

• field (str)

Return type:

frozenset[int] | None

validated_terminal_states(values, n_states, *, context)

Return exact in-range terminal state IDs without lossy integer coercion.

Parameters:

• values (Iterable[Any] | None)

• n_states (int)

• context (str)

Return type:

frozenset[int] | None

validated_terminal_values(values, *, context)

Return an owned non-empty set of terminal emissions.

Parameters:

• values (Iterable[Any] | None)

• context (str)

Return type:

frozenset[Any] | None

validate_terminal_reachability(initial, transitions, terminal_states, *, context)

Require every initially reachable state to have a positive-probability path to termination.

Parameters:

• initial (Any)

• transitions (Any)

• terminal_states (frozenset[int] | None)

• context (str)

Return type:

None

validated_terminal_step_cap(value)

Return an exact positive stopping-time sampling bound.

Parameters:

value (Any)

Return type:

int

require_terminal_reached(reached, *, mode, max_steps, last_state=None)

Raise the typed bounded-sampling failure when the stop event was not reached.

Parameters:

• reached (bool)

• mode (str)

• max_steps (int)

• last_state (int | None)

Return type:

None