← Policy gallery

generated_tests_require_decomposition

formal-reasoning reasoning structural testingdecompositioncoverageformal-verification

Generated test artifacts must derive from a Decomposition artifact in their lineage.

Formula

G(GeneratedTests → Decomposition ∈ ancestors(derived_from))

Hover any operator or symbol for what it means.

Why it matters

Tests should be generated from formal region decomposition, not ad hoc. This ensures exhaustive coverage of the input space.

Examples

passes Decompose(step) → GenerateTests(step) with derived_from link

fails GenerateTests with no Decomposition ancestor in its artifact lineage

Use it

ponens policies add generated_tests_require_decomposition --into ./trace.json
ponens trace check ./trace.json