spec-correctness

Turn classified acceptance criteria into runnable property tests. Consumes quire properties --json per-criterion records, grounds each criterion's domain, precondition and oracle in the spec and the code, and emits property tests in the repo's own harness (proptest / fast-check / hypothesis) keyed on row_id. Emits a validated SpecReview recording every criterion it could not ground and why.