Module executor 

Budgeted executor for Flow invariant predicates.

The executor is intentionally small: callers provide predicate runners, and this module owns scheduling, per-kind budgets, semantic cheap-judge limits, and deterministic replay drift detection.

Structs

CheapJudgeRequest

Request passed to the cheap semantic judge.

CheapJudgeResponse

Response returned by the cheap semantic judge.

PredicateContext

Runtime context made available to a predicate invocation.

PredicateExecutionRecord

Per-predicate execution metadata.

PredicateExecutionReport

Complete result of executing all predicates for one slice.

PredicateExecutor

Budgeted predicate executor.

PredicateExecutorConfig

Executor configuration.

PredicateSchedulerConfig

Cross-slice scheduling configuration.

SemanticReplayAuditMetadata

Replay-audit metadata for a semantic predicate’s judge call.

Enums

PredicateKind

Predicate execution mode declared by predicate author annotations.

Traits

CheapJudge

Host-provided adapter for semantic predicate judging.

PredicateRunner

Predicate runner supplied by a collector or Harn adapter.