[
 {"assertion_id":"A001","description":"Every candidate has seed and lineage","expected":"lineage completeness = 100%"},
 {"assertion_id":"A002","description":"Hard filtering precedes soft scoring","expected":"no rejected candidate enters scored set"},
 {"assertion_id":"A003","description":"Same seed is repeatable","expected":"same seed produces same stage counts and digest"},
 {"assertion_id":"A004","description":"Different seed changes generated population","expected":"different digest"},
 {"assertion_id":"A005","description":"Pipeline avoids full Cartesian explosion","expected":"peak candidates <= bounded budget"}
]