# Engine Runner

`engine/audit/engine_runner.py` is a template generator.

Input: a small system config JSON describing period, target type, tier, mechanism, witness integer, margins, and (optionally) convergence certificate fields.

Output: either
- a WSC template (with stability_modulus filled), or
- a WOB stub (with required evidence fields).

This makes the “engine theorem” operational: outsiders can start from a context config and produce the correct artifact object shape immediately.

## Validator predicates

The runner emits a minimal `validator_predicates` ledger so generated WSC templates satisfy the completeness audits.
The predicate-to-obstruction mapping is defined in `engine/contracts/VALIDATOR_PREDICATE_SPEC.md`.
